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]
external_memory_in_bytes() const Parma_Polyhedra_Library::Congruence [inline]
inhomogeneous_term() const Parma_Polyhedra_Library::Congruence [inline]
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_proper_congruence() const Parma_Polyhedra_Library::Congruence [inline]
is_trivial_false() const Parma_Polyhedra_Library::Congruence
is_trivial_true() 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 [related]
operator/(const Congruence &cg, const Coefficient_traits::const_reference k)Parma_Polyhedra_Library::Congruence [related]
operator/(const Constraint &c, const Coefficient_traits::const_reference m)Parma_Polyhedra_Library::Congruence [related]
operator/=(const 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 [related]
sign_normalize()Parma_Polyhedra_Library::Congruence [protected]
space_dimension() const Parma_Polyhedra_Library::Congruence [inline]
strong_normalize()Parma_Polyhedra_Library::Congruence [protected]
swap(PPL::Congruence &x, PPL::Congruence &y)Parma_Polyhedra_Library::Congruence [friend]
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 Wed Jul 16 22:51:12 2008 for PPL by  doxygen 1.5.6