add_unit_rows_and_space_dimensions(dimension_type dims) | Parma_Polyhedra_Library::Congruence_System | |
affine_preimage(Variable v, const Linear_Expression &expr, Coefficient_traits::const_reference denominator) | Parma_Polyhedra_Library::Congruence_System | private |
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 |
concatenate(const Congruence_System &y) | Parma_Polyhedra_Library::Congruence_System | private |
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 |
default_representation | Parma_Polyhedra_Library::Congruence_System | static |
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 |
Grid class | Parma_Polyhedra_Library::Congruence_System | friend |
has_a_free_dimension() const | Parma_Polyhedra_Library::Congruence_System | private |
has_linear_equalities() const | Parma_Polyhedra_Library::Congruence_System | |
has_no_rows() const | Parma_Polyhedra_Library::Congruence_System | inlineprivate |
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 | |
insert_verbatim(Congruence &cg, Recycle_Input) | Parma_Polyhedra_Library::Congruence_System | private |
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 |
normalize_moduli() | Parma_Polyhedra_Library::Congruence_System | private |
num_equalities() const | Parma_Polyhedra_Library::Congruence_System | |
num_proper_congruences() const | Parma_Polyhedra_Library::Congruence_System | |
num_rows() const | Parma_Polyhedra_Library::Congruence_System | inlineprivate |
OK() const | Parma_Polyhedra_Library::Congruence_System | |
operator<<(std::ostream &s, const Congruence_System &cgs) | Parma_Polyhedra_Library::Congruence_System | related |
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 | friend |
operator==(const Congruence_System &x, const Congruence_System &y) | Parma_Polyhedra_Library::Congruence_System | related |
operator==(const Congruence_System &x, const Congruence_System &y) | Parma_Polyhedra_Library::Congruence_System | related |
operator[](dimension_type k) const | Parma_Polyhedra_Library::Congruence_System | inlineprivate |
permute_space_dimensions(const std::vector< Variable > &cycle) | Parma_Polyhedra_Library::Congruence_System | |
print() const | Parma_Polyhedra_Library::Congruence_System | |
remove_rows(dimension_type first, dimension_type last, bool keep_sorted) | Parma_Polyhedra_Library::Congruence_System | private |
remove_trailing_rows(dimension_type n) | Parma_Polyhedra_Library::Congruence_System | inlineprivate |
representation() const | Parma_Polyhedra_Library::Congruence_System | inline |
representation_ | Parma_Polyhedra_Library::Congruence_System | private |
row_type typedef | Parma_Polyhedra_Library::Congruence_System | |
rows | Parma_Polyhedra_Library::Congruence_System | private |
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 |
space_dimension_ | Parma_Polyhedra_Library::Congruence_System | private |
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 |
zero_dim_empty_p | Parma_Polyhedra_Library::Congruence_System | privatestatic |
~Congruence_System() | Parma_Polyhedra_Library::Congruence_System | inline |