, including all inherited members.
| ascii_dump() const | Parma_Polyhedra_Library::Congruence | |
| ascii_dump(std::ostream &s) const | Parma_Polyhedra_Library::Congruence | |
| ascii_load(std::istream &s) | Parma_Polyhedra_Library::Congruence | |
| 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] |
| print() const | Parma_Polyhedra_Library::Congruence | |
| 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] |