Parma_Polyhedra_Library::Constraint Member List

This is the complete list of members for Parma_Polyhedra_Library::Constraint, including all inherited members.

ascii_dump() const Parma_Polyhedra_Library::Constraint
ascii_dump(std::ostream &s) const Parma_Polyhedra_Library::Constraint [inline]
ascii_load(std::istream &s)Parma_Polyhedra_Library::Constraint [inline]
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 valueParma_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 valueParma_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]
print() const Parma_Polyhedra_Library::Constraint
space_dimension() const Parma_Polyhedra_Library::Constraint [inline]
STRICT_INEQUALITY enum valueParma_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 nameParma_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]


Generated on Tue Nov 4 10:38:37 2008 for PPL by  doxygen 1.5.7.1-20081012