PPL  1.2
Parma_Polyhedra_Library::Congruence_System Member List

This is the complete list of members for Parma_Polyhedra_Library::Congruence_System, including all inherited members.

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_Systemprivate
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_Systeminline
clear()Parma_Polyhedra_Library::Congruence_Systeminline
concatenate(const Congruence_System &y)Parma_Polyhedra_Library::Congruence_Systemprivate
Congruence_System(Representation r=default_representation)Parma_Polyhedra_Library::Congruence_Systeminlineexplicit
Congruence_System(dimension_type d, Representation r=default_representation)Parma_Polyhedra_Library::Congruence_Systeminlineexplicit
Congruence_System(const Congruence &cg, Representation r=default_representation)Parma_Polyhedra_Library::Congruence_Systeminlineexplicit
Congruence_System(const Constraint &c, Representation r=default_representation)Parma_Polyhedra_Library::Congruence_Systeminlineexplicit
Congruence_System(const Constraint_System &cs, Representation r=default_representation)Parma_Polyhedra_Library::Congruence_Systemexplicit
Congruence_System(const Congruence_System &cgs)Parma_Polyhedra_Library::Congruence_Systeminline
Congruence_System(const Congruence_System &cgs, Representation r)Parma_Polyhedra_Library::Congruence_Systeminline
default_representationParma_Polyhedra_Library::Congruence_Systemstatic
empty() const Parma_Polyhedra_Library::Congruence_Systeminline
end() const Parma_Polyhedra_Library::Congruence_Systeminline
external_memory_in_bytes() const Parma_Polyhedra_Library::Congruence_Systeminline
finalize()Parma_Polyhedra_Library::Congruence_Systemstatic
Grid classParma_Polyhedra_Library::Congruence_Systemfriend
has_a_free_dimension() const Parma_Polyhedra_Library::Congruence_Systemprivate
has_linear_equalities() const Parma_Polyhedra_Library::Congruence_System
has_no_rows() const Parma_Polyhedra_Library::Congruence_Systeminlineprivate
initialize()Parma_Polyhedra_Library::Congruence_Systemstatic
insert(const Congruence &cg)Parma_Polyhedra_Library::Congruence_Systeminline
insert(Congruence &cg, Recycle_Input)Parma_Polyhedra_Library::Congruence_Systeminline
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_Systemprivate
is_equal_to(const Congruence_System &y) const Parma_Polyhedra_Library::Congruence_System
m_swap(Congruence_System &y)Parma_Polyhedra_Library::Congruence_Systeminline
max_space_dimension()Parma_Polyhedra_Library::Congruence_Systeminlinestatic
normalize_moduli()Parma_Polyhedra_Library::Congruence_Systemprivate
num_equalities() const Parma_Polyhedra_Library::Congruence_System
num_proper_congruences() const Parma_Polyhedra_Library::Congruence_System
num_rows() const Parma_Polyhedra_Library::Congruence_Systeminlineprivate
OK() const Parma_Polyhedra_Library::Congruence_System
operator<<(std::ostream &s, const Congruence_System &cgs)Parma_Polyhedra_Library::Congruence_Systemrelated
operator<<(std::ostream &s, const Congruence_System &cgs)Parma_Polyhedra_Library::Congruence_Systemrelated
operator=(const Congruence_System &y)Parma_Polyhedra_Library::Congruence_Systeminline
operator==(const Congruence_System &x, const Congruence_System &y)Parma_Polyhedra_Library::Congruence_Systemfriend
operator==(const Congruence_System &x, const Congruence_System &y)Parma_Polyhedra_Library::Congruence_Systemrelated
operator==(const Congruence_System &x, const Congruence_System &y)Parma_Polyhedra_Library::Congruence_Systemrelated
operator[](dimension_type k) const Parma_Polyhedra_Library::Congruence_Systeminlineprivate
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_Systemprivate
remove_trailing_rows(dimension_type n)Parma_Polyhedra_Library::Congruence_Systeminlineprivate
representation() const Parma_Polyhedra_Library::Congruence_Systeminline
representation_Parma_Polyhedra_Library::Congruence_Systemprivate
row_type typedefParma_Polyhedra_Library::Congruence_System
rowsParma_Polyhedra_Library::Congruence_Systemprivate
satisfies_all_congruences(const Grid_Generator &g) const Parma_Polyhedra_Library::Congruence_Systemprotected
set_representation(Representation r)Parma_Polyhedra_Library::Congruence_Systeminline
set_space_dimension(dimension_type new_space_dim)Parma_Polyhedra_Library::Congruence_System
space_dimension() const Parma_Polyhedra_Library::Congruence_Systeminline
space_dimension_Parma_Polyhedra_Library::Congruence_Systemprivate
swap(Congruence_System &x, Congruence_System &y)Parma_Polyhedra_Library::Congruence_Systemrelated
swap(Congruence_System &x, Congruence_System &y)Parma_Polyhedra_Library::Congruence_Systemrelated
swap_space_dimensions(Variable v1, Variable v2)Parma_Polyhedra_Library::Congruence_System
total_memory_in_bytes() const Parma_Polyhedra_Library::Congruence_Systeminline
zero_dim_empty()Parma_Polyhedra_Library::Congruence_Systeminlinestatic
zero_dim_empty_pParma_Polyhedra_Library::Congruence_Systemprivatestatic
~Congruence_System()Parma_Polyhedra_Library::Congruence_Systeminline