Parma_Polyhedra_Library::Congruence Member List

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

coefficient(Variable v) const Parma_Polyhedra_Library::Congruence [inline]
Congruence(const Congruence &cg)Parma_Polyhedra_Library::Congruence [inline]
Congruence(const Constraint &c)Parma_Polyhedra_Library::Congruence [explicit]
create(const Linear_Expression &e1, const Linear_Expression &e2)Parma_Polyhedra_Library::Congruence [static]
create(const Linear_Expression &e, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Congruence [inline, static]
create(Coefficient_traits::const_reference n, const Linear_Expression &e)Parma_Polyhedra_Library::Congruence [inline, static]
external_memory_in_bytes() const Parma_Polyhedra_Library::Congruence [inline]
finalize()Parma_Polyhedra_Library::Congruence [static]
inhomogeneous_term() const Parma_Polyhedra_Library::Congruence [inline]
initialize()Parma_Polyhedra_Library::Congruence [static]
is_equal_at_dimension(dimension_type dim, const Congruence &cg) const Parma_Polyhedra_Library::Congruence [inline]
is_equality() const Parma_Polyhedra_Library::Congruence [inline]
is_inconsistent() const Parma_Polyhedra_Library::Congruence
is_proper_congruence() const Parma_Polyhedra_Library::Congruence [inline]
is_tautological() const Parma_Polyhedra_Library::Congruence
max_space_dimension()Parma_Polyhedra_Library::Congruence [inline, static]
modulus() const Parma_Polyhedra_Library::Congruence [inline]
normalize()Parma_Polyhedra_Library::Congruence [protected]
OK() const Parma_Polyhedra_Library::Congruence
operator!=(const Congruence &x, const Congruence &y)Parma_Polyhedra_Library::Congruence [friend]
operator%=(const Linear_Expression &e1, const Linear_Expression &e2)Parma_Polyhedra_Library::Congruence [related]
operator%=(const Linear_Expression &e, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Congruence [related]
operator/(const Congruence &cg, Coefficient_traits::const_reference k)Parma_Polyhedra_Library::Congruence [friend]
operator/(const Constraint &c, Coefficient_traits::const_reference m)Parma_Polyhedra_Library::Congruence [friend]
operator/=(Coefficient_traits::const_reference k)Parma_Polyhedra_Library::Congruence [inline]
operator<<(std::ostream &s, const Congruence &c)Parma_Polyhedra_Library::Congruence [related]
operator=(const Congruence &cg)Parma_Polyhedra_Library::Congruence [inline]
operator==(const Congruence &x, const Congruence &y)Parma_Polyhedra_Library::Congruence [friend]
sign_normalize()Parma_Polyhedra_Library::Congruence [protected]
space_dimension() const Parma_Polyhedra_Library::Congruence [inline]
strong_normalize()Parma_Polyhedra_Library::Congruence [protected]
swap(Parma_Polyhedra_Library::Congruence &x, Parma_Polyhedra_Library::Congruence &y)Parma_Polyhedra_Library::Congruence [related]
total_memory_in_bytes() const Parma_Polyhedra_Library::Congruence [inline]
zero_dim_false()Parma_Polyhedra_Library::Congruence [inline, static]
zero_dim_integrality()Parma_Polyhedra_Library::Congruence [inline, static]
~Congruence()Parma_Polyhedra_Library::Congruence [inline]


Generated on Tue Oct 7 22:03:26 2008 for PPL by  doxygen 1.5.7.1