, including all inherited members.
coefficient(Variable v) const | Parma_Polyhedra_Library::Constraint | [inline] |
Constraint(const Constraint &c) | Parma_Polyhedra_Library::Constraint | [inline] |
Constraint(const Congruence &cg) | Parma_Polyhedra_Library::Constraint | [explicit] |
EQUALITY enum value | Parma_Polyhedra_Library::Constraint | |
external_memory_in_bytes() const | Parma_Polyhedra_Library::Constraint | [inline] |
finalize() | Parma_Polyhedra_Library::Constraint | [static] |
inhomogeneous_term() const | Parma_Polyhedra_Library::Constraint | [inline] |
initialize() | Parma_Polyhedra_Library::Constraint | [static] |
is_equality() const | Parma_Polyhedra_Library::Constraint | [inline] |
is_equivalent_to(const Constraint &y) const | Parma_Polyhedra_Library::Constraint | |
is_inconsistent() const | Parma_Polyhedra_Library::Constraint | |
is_inequality() const | Parma_Polyhedra_Library::Constraint | [inline] |
is_nonstrict_inequality() const | Parma_Polyhedra_Library::Constraint | [inline] |
is_strict_inequality() const | Parma_Polyhedra_Library::Constraint | [inline] |
is_tautological() const | Parma_Polyhedra_Library::Constraint | |
max_space_dimension() | Parma_Polyhedra_Library::Constraint | [inline, static] |
NONSTRICT_INEQUALITY enum value | Parma_Polyhedra_Library::Constraint | |
OK() const | Parma_Polyhedra_Library::Constraint | |
operator!=(const Constraint &x, const Constraint &y) | Parma_Polyhedra_Library::Constraint | [related] |
operator<(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | [friend] |
operator<(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | [friend] |
operator<(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | [friend] |
operator<(Variable v1, Variable v2) | Parma_Polyhedra_Library::Constraint | [related] |
operator<<(std::ostream &s, const Constraint &c) | Parma_Polyhedra_Library::Constraint | [related] |
operator<<(std::ostream &s, const Constraint::Type &t) | Parma_Polyhedra_Library::Constraint | [related] |
operator<=(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | [friend] |
operator<=(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | [friend] |
operator<=(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | [friend] |
operator<=(Variable v1, Variable v2) | Parma_Polyhedra_Library::Constraint | [related] |
operator=(const Constraint &c) | Parma_Polyhedra_Library::Constraint | [inline] |
operator==(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | [friend] |
operator==(Variable v1, Variable v2) | Parma_Polyhedra_Library::Constraint | [friend] |
operator==(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | [friend] |
operator==(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | [friend] |
operator==(const Constraint &x, const Constraint &y) | Parma_Polyhedra_Library::Constraint | [related] |
operator>(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | [friend] |
operator>(Variable v1, Variable v2) | Parma_Polyhedra_Library::Constraint | [friend] |
operator>(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | [friend] |
operator>(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | [friend] |
operator>=(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | [friend] |
operator>=(Variable v1, Variable v2) | Parma_Polyhedra_Library::Constraint | [friend] |
operator>=(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | [friend] |
operator>=(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | [friend] |
space_dimension() const | Parma_Polyhedra_Library::Constraint | [inline] |
STRICT_INEQUALITY enum value | Parma_Polyhedra_Library::Constraint | |
swap(Constraint &y) | Parma_Polyhedra_Library::Constraint | [inline] |
swap(Parma_Polyhedra_Library::Constraint &x, Parma_Polyhedra_Library::Constraint &y) | Parma_Polyhedra_Library::Constraint | [related] |
total_memory_in_bytes() const | Parma_Polyhedra_Library::Constraint | [inline] |
type() const | Parma_Polyhedra_Library::Constraint | [inline] |
Type enum name | Parma_Polyhedra_Library::Constraint | |
zero_dim_false() | Parma_Polyhedra_Library::Constraint | [inline, static] |
zero_dim_positivity() | Parma_Polyhedra_Library::Constraint | [inline, static] |
~Constraint() | Parma_Polyhedra_Library::Constraint | [inline] |