enum RelationalOperator

inline Term operator*(const Variable & variable, double coefficient)

inline Term operator/(const Variable & variable, double denominator)

inline Term operator-(const Variable & variable)

inline Term operator*(const Term & term, double coefficient)

inline Term operator/(const Term & term, double denominator)

inline Term operator-(const Term & term)

inline Expression operator*(const Expression & expression, double coefficient)

inline Expression operator/(const Expression & expression, double denominator)

inline Expression operator-(const Expression & expression)

inline Expression operator*(double coefficient, const Expression & expression)

inline Term operator*(double coefficient, const Term & term)

inline Term operator*(double coefficient, const Variable & variable)

inline Expression operator+(const Expression & first, const Expression & second)

inline Expression operator+(const Expression & first, const Term & second)

inline Expression operator+(const Expression & expression, const Variable & variable)

inline Expression operator+(const Expression & expression, double constant)

inline Expression operator-(const Expression & first, const Expression & second)

inline Expression operator-(const Expression & expression, const Term & term)

inline Expression operator-(const Expression & expression, const Variable & variable)

inline Expression operator-(const Expression & expression, double constant)

inline Expression operator+(const Term & term, const Expression & expression)

inline Expression operator+(const Term & first, const Term & second)

inline Expression operator+(const Term & term, const Variable & variable)

inline Expression operator+(const Term & term, double constant)

inline Expression operator-(const Term & term, const Expression & expression)

inline Expression operator-(const Term & first, const Term & second)

inline Expression operator-(const Term & term, const Variable & variable)

inline Expression operator-(const Term & term, double constant)

inline Expression operator+(const Variable & variable, const Expression & expression)

inline Expression operator+(const Variable & variable, const Term & term)

inline Expression operator+(const Variable & first, const Variable & second)

inline Expression operator+(const Variable & variable, double constant)

inline Expression operator-(const Variable & variable, const Expression & expression)

inline Expression operator-(const Variable & variable, const Term & term)

inline Expression operator-(const Variable & first, const Variable & second)

inline Expression operator-(const Variable & variable, double constant)

inline Expression operator+(double constant, const Expression & expression)

inline Expression operator+(double constant, const Term & term)

inline Expression operator+(double constant, const Variable & variable)

inline Expression operator-(double constant, const Expression & expression)

inline Expression operator-(double constant, const Term & term)

inline Expression operator-(double constant, const Variable & variable)

inline Constraint operator==(const Expression & first, const Expression & second)

inline Constraint operator==(const Expression & expression, const Term & term)

inline Constraint operator==(const Expression & expression, const Variable & variable)

inline Constraint operator==(const Expression & expression, double constant)

inline Constraint operator<=(const Expression & first, const Expression & second)

inline Constraint operator<=(const Expression & expression, const Term & term)

inline Constraint operator<=(const Expression & expression, const Variable & variable)

inline Constraint operator<=(const Expression & expression, double constant)

inline Constraint operator>=(const Expression & first, const Expression & second)

inline Constraint operator>=(const Expression & expression, const Term & term)

inline Constraint operator>=(const Expression & expression, const Variable & variable)

inline Constraint operator>=(const Expression & expression, double constant)

inline Constraint operator==(const Term & term, const Expression & expression)

inline Constraint operator==(const Term & first, const Term & second)

inline Constraint operator==(const Term & term, const Variable & variable)

inline Constraint operator==(const Term & term, double constant)

inline Constraint operator<=(const Term & term, const Expression & expression)

inline Constraint operator<=(const Term & first, const Term & second)

inline Constraint operator<=(const Term & term, const Variable & variable)

inline Constraint operator<=(const Term & term, double constant)

inline Constraint operator>=(const Term & term, const Expression & expression)

inline Constraint operator>=(const Term & first, const Term & second)

inline Constraint operator>=(const Term & term, const Variable & variable)

inline Constraint operator>=(const Term & term, double constant)

inline Constraint operator==(const Variable & variable, const Expression & expression)

inline Constraint operator==(const Variable & variable, const Term & term)

inline Constraint operator==(const Variable & first, const Variable & second)

inline Constraint operator==(const Variable & variable, double constant)

inline Constraint operator<=(const Variable & variable, const Expression & expression)

inline Constraint operator<=(const Variable & variable, const Term & term)

inline Constraint operator<=(const Variable & first, const Variable & second)

inline Constraint operator<=(const Variable & variable, double constant)

inline Constraint operator>=(const Variable & variable, const Expression & expression)

inline Constraint operator>=(const Variable & variable, const Term & term)

inline Constraint operator>=(const Variable & first, const Variable & second)

inline Constraint operator>=(const Variable & variable, double constant)

inline Constraint operator==(double constant, const Expression & expression)

inline Constraint operator==(double constant, const Term & term)

inline Constraint operator==(double constant, const Variable & variable)

inline Constraint operator<=(double constant, const Expression & expression)

inline Constraint operator<=(double constant, const Term & term)

inline Constraint operator<=(double constant, const Variable & variable)

inline Constraint operator>=(double constant, const Expression & expression)

inline Constraint operator>=(double constant, const Term & term)

inline Constraint operator>=(double constant, const Variable & variable)

inline Constraint operator|(const Constraint & constraint, double strength)

inline Constraint operator|(double strength, const Constraint & constraint)