, 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 | |
m_swap(Congruence &y) | Parma_Polyhedra_Library::Congruence | [inline] |
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 &x, const Congruence &y) | Parma_Polyhedra_Library::Congruence | [related] |
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 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 | [related] |
operator/(const Constraint &c, Coefficient_traits::const_reference m) | Parma_Polyhedra_Library::Congruence | [related] |
operator/(const Congruence &cg, Coefficient_traits::const_reference k) | Parma_Polyhedra_Library::Congruence | [related] |
operator/(const Constraint &c, Coefficient_traits::const_reference m) | Parma_Polyhedra_Library::Congruence | [related] |
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 &y) | Parma_Polyhedra_Library::Congruence | [inline] |
operator==(const Congruence &x, const Congruence &y) | Parma_Polyhedra_Library::Congruence | [related] |
operator==(const Congruence &x, const Congruence &y) | Parma_Polyhedra_Library::Congruence | [related] |
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(Congruence &x, Congruence &y) | Parma_Polyhedra_Library::Congruence | [related] |
swap(Congruence &x, 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] |