| 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(Representation r=default_representation) | Parma_Polyhedra_Library::Congruence | inlineexplicit | 
  | Congruence(const Congruence &cg) | Parma_Polyhedra_Library::Congruence | inline | 
  | Congruence(const Congruence &cg, Representation r) | Parma_Polyhedra_Library::Congruence | inline | 
  | Congruence(const Constraint &c, Representation r=default_representation) | Parma_Polyhedra_Library::Congruence | explicit | 
  | Congruence(const Congruence &cg, dimension_type new_space_dimension) | Parma_Polyhedra_Library::Congruence | inline | 
  | Congruence(const Congruence &cg, dimension_type new_space_dimension, Representation r) | Parma_Polyhedra_Library::Congruence | inline | 
  | Congruence(const Constraint &cg, dimension_type new_space_dimension, Representation r=default_representation) | Parma_Polyhedra_Library::Congruence |  | 
  | Congruence(Linear_Expression &le, Coefficient_traits::const_reference m, Recycle_Input) | Parma_Polyhedra_Library::Congruence | inline | 
  | create(const Linear_Expression &e1, const Linear_Expression &e2, Representation r=default_representation) | Parma_Polyhedra_Library::Congruence | static | 
  | create(const Linear_Expression &e, Coefficient_traits::const_reference n, Representation r=default_representation) | Parma_Polyhedra_Library::Congruence | inlinestatic | 
  | create(Coefficient_traits::const_reference n, const Linear_Expression &e, Representation r=default_representation) | Parma_Polyhedra_Library::Congruence | inlinestatic | 
  | default_representation | Parma_Polyhedra_Library::Congruence | static | 
  | expr_type typedef | Parma_Polyhedra_Library::Congruence |  | 
  | expression() const | Parma_Polyhedra_Library::Congruence | inline | 
  | 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_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 | inlinestatic | 
  | modulus() const | Parma_Polyhedra_Library::Congruence | inline | 
  | normalize() | Parma_Polyhedra_Library::Congruence |  | 
  | 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 |  | 
  | representation() const | Parma_Polyhedra_Library::Congruence | inline | 
  | scale(Coefficient_traits::const_reference factor) | Parma_Polyhedra_Library::Congruence |  | 
  | set_modulus(Coefficient_traits::const_reference m) | Parma_Polyhedra_Library::Congruence | inline | 
  | set_representation(Representation r) | Parma_Polyhedra_Library::Congruence | inline | 
  | set_space_dimension(dimension_type n) | Parma_Polyhedra_Library::Congruence | inline | 
  | shift_space_dimensions(Variable v, dimension_type n) | Parma_Polyhedra_Library::Congruence | inline | 
  | sign_normalize() | Parma_Polyhedra_Library::Congruence |  | 
  | space_dimension() const | Parma_Polyhedra_Library::Congruence | inline | 
  | strong_normalize() | Parma_Polyhedra_Library::Congruence |  | 
  | swap(Congruence &x, Congruence &y) | Parma_Polyhedra_Library::Congruence | related | 
  | swap(Congruence &x, Congruence &y) | Parma_Polyhedra_Library::Congruence | related | 
  | swap_space_dimensions(Variable v1, Variable v2) | Parma_Polyhedra_Library::Congruence | inline | 
  | total_memory_in_bytes() const | Parma_Polyhedra_Library::Congruence | inline | 
  | zero_dim_false() | Parma_Polyhedra_Library::Congruence | inlinestatic | 
  | zero_dim_integrality() | Parma_Polyhedra_Library::Congruence | inlinestatic | 
  | ~Congruence() | Parma_Polyhedra_Library::Congruence | inline |