- Main Page
- Modules
- Namespaces
- Classes
- Related Pages

- Class List
- Class Hierarchy
- Class Members

# 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]`