coefficient(Variable v) const | Parma_Polyhedra_Library::Constraint | |
Constraint(const Constraint &c) | Parma_Polyhedra_Library::Constraint | |
EQUALITY enum value | Parma_Polyhedra_Library::Constraint | |
inhomogeneous_term() const | Parma_Polyhedra_Library::Constraint | |
is_equality() const | Parma_Polyhedra_Library::Constraint | |
is_inequality() const | Parma_Polyhedra_Library::Constraint | |
is_nonstrict_inequality() const | Parma_Polyhedra_Library::Constraint | |
is_strict_inequality() const | Parma_Polyhedra_Library::Constraint | |
NONSTRICT_INEQUALITY enum value | Parma_Polyhedra_Library::Constraint | |
OK() const | Parma_Polyhedra_Library::Constraint | |
operator<(const LinExpression &e1, const LinExpression &e2) | Parma_Polyhedra_Library::Constraint | [related] |
operator<(const LinExpression &e, const Integer &n) | Parma_Polyhedra_Library::Constraint | [related] |
operator<(const Integer &n, const LinExpression &e) | Parma_Polyhedra_Library::Constraint | [related] |
operator<<(std::ostream &s, const Constraint &c) | Parma_Polyhedra_Library::Constraint | [related] |
operator<=(const LinExpression &e1, const LinExpression &e2) | Parma_Polyhedra_Library::Constraint | [related] |
operator<=(const LinExpression &e, const Integer &n) | Parma_Polyhedra_Library::Constraint | [related] |
operator<=(const Integer &n, const LinExpression &e) | Parma_Polyhedra_Library::Constraint | [related] |
operator=(const Constraint &c) | Parma_Polyhedra_Library::Constraint | |
operator==(const LinExpression &e1, const LinExpression &e2) | Parma_Polyhedra_Library::Constraint | [related] |
operator==(const LinExpression &e, const Integer &n) | Parma_Polyhedra_Library::Constraint | [related] |
operator==(const Integer &n, const LinExpression &e) | Parma_Polyhedra_Library::Constraint | [related] |
operator>(const LinExpression &e1, const LinExpression &e2) | Parma_Polyhedra_Library::Constraint | [related] |
operator>(const LinExpression &e, const Integer &n) | Parma_Polyhedra_Library::Constraint | [related] |
operator>(const Integer &n, const LinExpression &e) | Parma_Polyhedra_Library::Constraint | [related] |
operator>=(const LinExpression &e1, const LinExpression &e2) | Parma_Polyhedra_Library::Constraint | [related] |
operator>=(const LinExpression &e, const Integer &n) | Parma_Polyhedra_Library::Constraint | [related] |
operator>=(const Integer &n, const LinExpression &e) | Parma_Polyhedra_Library::Constraint | [related] |
space_dimension() const | Parma_Polyhedra_Library::Constraint | |
STRICT_INEQUALITY enum value | Parma_Polyhedra_Library::Constraint | |
swap(Parma_Polyhedra_Library::Constraint &x, Parma_Polyhedra_Library::Constraint &y) | Parma_Polyhedra_Library::Constraint | [related] |
Type enum name | Parma_Polyhedra_Library::Constraint | |
type() const | Parma_Polyhedra_Library::Constraint | |
zero_dim_false() | Parma_Polyhedra_Library::Constraint | [static] |
zero_dim_positivity() | Parma_Polyhedra_Library::Constraint | [static] |
~Constraint() | Parma_Polyhedra_Library::Constraint | |