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