| 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 | |