| add_unit_rows_and_space_dimensions(dimension_type dims) | Parma_Polyhedra_Library::Congruence_System |  | 
  | ascii_dump() const | Parma_Polyhedra_Library::Congruence_System |  | 
  | ascii_dump(std::ostream &s) const | Parma_Polyhedra_Library::Congruence_System |  | 
  | ascii_load(std::istream &s) | Parma_Polyhedra_Library::Congruence_System |  | 
  | begin() const | Parma_Polyhedra_Library::Congruence_System | inline | 
  | clear() | Parma_Polyhedra_Library::Congruence_System | inline | 
  | Congruence_System(Representation r=default_representation) | Parma_Polyhedra_Library::Congruence_System | inlineexplicit | 
  | Congruence_System(dimension_type d, Representation r=default_representation) | Parma_Polyhedra_Library::Congruence_System | inlineexplicit | 
  | Congruence_System(const Congruence &cg, Representation r=default_representation) | Parma_Polyhedra_Library::Congruence_System | inlineexplicit | 
  | Congruence_System(const Constraint &c, Representation r=default_representation) | Parma_Polyhedra_Library::Congruence_System | inlineexplicit | 
  | Congruence_System(const Constraint_System &cs, Representation r=default_representation) | Parma_Polyhedra_Library::Congruence_System | explicit | 
  | Congruence_System(const Congruence_System &cgs) | Parma_Polyhedra_Library::Congruence_System | inline | 
  | Congruence_System(const Congruence_System &cgs, Representation r) | Parma_Polyhedra_Library::Congruence_System | inline | 
  | empty() const | Parma_Polyhedra_Library::Congruence_System | inline | 
  | end() const | Parma_Polyhedra_Library::Congruence_System | inline | 
  | external_memory_in_bytes() const | Parma_Polyhedra_Library::Congruence_System | inline | 
  | finalize() | Parma_Polyhedra_Library::Congruence_System | static | 
  | has_linear_equalities() const | Parma_Polyhedra_Library::Congruence_System |  | 
  | initialize() | Parma_Polyhedra_Library::Congruence_System | static | 
  | insert(const Congruence &cg) | Parma_Polyhedra_Library::Congruence_System | inline | 
  | insert(Congruence &cg, Recycle_Input) | Parma_Polyhedra_Library::Congruence_System | inline | 
  | insert(const Constraint &c) | Parma_Polyhedra_Library::Congruence_System |  | 
  | insert(const Congruence_System &y) | Parma_Polyhedra_Library::Congruence_System |  | 
  | insert(Congruence_System &cgs, Recycle_Input) | Parma_Polyhedra_Library::Congruence_System |  | 
  | is_equal_to(const Congruence_System &y) const | Parma_Polyhedra_Library::Congruence_System |  | 
  | m_swap(Congruence_System &y) | Parma_Polyhedra_Library::Congruence_System | inline | 
  | max_space_dimension() | Parma_Polyhedra_Library::Congruence_System | inlinestatic | 
  | num_equalities() const | Parma_Polyhedra_Library::Congruence_System |  | 
  | num_proper_congruences() const | Parma_Polyhedra_Library::Congruence_System |  | 
  | OK() const | Parma_Polyhedra_Library::Congruence_System |  | 
  | operator<<(std::ostream &s, const Congruence_System &cgs) | Parma_Polyhedra_Library::Congruence_System | related | 
  | operator=(const Congruence_System &y) | Parma_Polyhedra_Library::Congruence_System | inline | 
  | operator==(const Congruence_System &x, const Congruence_System &y) | Parma_Polyhedra_Library::Congruence_System | related | 
  | permute_space_dimensions(const std::vector< Variable > &cycle) | Parma_Polyhedra_Library::Congruence_System |  | 
  | print() const | Parma_Polyhedra_Library::Congruence_System |  | 
  | representation() const | Parma_Polyhedra_Library::Congruence_System | inline | 
  | satisfies_all_congruences(const Grid_Generator &g) const | Parma_Polyhedra_Library::Congruence_System | protected | 
  | set_representation(Representation r) | Parma_Polyhedra_Library::Congruence_System | inline | 
  | set_space_dimension(dimension_type new_space_dim) | Parma_Polyhedra_Library::Congruence_System |  | 
  | space_dimension() const | Parma_Polyhedra_Library::Congruence_System | inline | 
  | swap(Congruence_System &x, Congruence_System &y) | Parma_Polyhedra_Library::Congruence_System | related | 
  | swap(Congruence_System &x, Congruence_System &y) | Parma_Polyhedra_Library::Congruence_System | related | 
  | swap_space_dimensions(Variable v1, Variable v2) | Parma_Polyhedra_Library::Congruence_System |  | 
  | total_memory_in_bytes() const | Parma_Polyhedra_Library::Congruence_System | inline | 
  | zero_dim_empty() | Parma_Polyhedra_Library::Congruence_System | inlinestatic | 
  | ~Congruence_System() | Parma_Polyhedra_Library::Congruence_System | inline |