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 |