KUnTerm

class KUnTerm : public KTerm

This class represent an expression of the form X + cste where X is a variable and cste , an integer constant

See

KBinTerm KLinTerm

Since

2016.1

Public Functions

KUnTerm()

Default constructor.

KUnTerm(const KNumVar &v1, const bool sign1, const double cste)

Primary constructor.

KUnTerm(const KUnTerm &unTermToCopy)

Copy constructor.

bool getSign1() const

return true if the sign of the first variable is positive

KNumVar *getV1() const

return a pointer to the first variable

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

Pretty print method.

virtual void print(void) const

pretty print method