KBinTerm

class KBinTerm : public KTerm

This class represent an expression of the form X (+ , -) Y + cste where X and Y are variables and cste an integer constant.

See

KUnTerm KLinTerm

Since

2016.1

Public Functions

KBinTerm()

Default Constructor.

KBinTerm(const KNumVar &v1, const bool sign1, const KNumVar &v2, const bool sign2, const double cste)

Primary constructor

Parameters

• v1 – the first variable

• sign1 – sign of v1

• v2 – the second variable

• sign2 – sign of v2

• cste – the constant

KBinTerm(const KBinTerm &binTermToCopy)

Copy constructor.

inline bool getSign1() const

return true if the sign of the first variable is positive

inline bool getSign2() const

return true if the sign of the second variable is positive

inline KNumVar *getV1() const

return a pointer to the first variable

inline KNumVar *getV2() const

return a pointer to the second variable

virtual void print(std::ostream &fout) const

pretty print method

virtual void print() const

pretty print method