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_recycled_row(Row &y)Parma_Polyhedra_Library::Matrix [private]
add_row(const Row &y)Parma_Polyhedra_Library::Matrix [inline, private]
add_unit_rows_and_columns(dimension_type dims)Parma_Polyhedra_Library::Congruence_System
add_zero_columns(dimension_type n)Parma_Polyhedra_Library::Matrix [private]
add_zero_rows(dimension_type n, Row::Flags row_flags)Parma_Polyhedra_Library::Matrix [private]
add_zero_rows_and_columns(dimension_type n, dimension_type m, Row::Flags row_flags)Parma_Polyhedra_Library::Matrix [private]
affine_preimage(dimension_type 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 &cgs)Parma_Polyhedra_Library::Congruence_System [private]
Congruence_System()Parma_Polyhedra_Library::Congruence_System [inline]
Congruence_System(const Congruence &cg)Parma_Polyhedra_Library::Congruence_System [inline, explicit]
Congruence_System(const Constraint &c)Parma_Polyhedra_Library::Congruence_System [inline, explicit]
Congruence_System(const Constraint_System &cs)Parma_Polyhedra_Library::Congruence_System [explicit]
Congruence_System(const Congruence_System &cgs)Parma_Polyhedra_Library::Congruence_System [inline]
Congruence_System(dimension_type d)Parma_Polyhedra_Library::Congruence_System [inline, explicit, private]
const_iterator classParma_Polyhedra_Library::Congruence_System [friend]
empty() const Parma_Polyhedra_Library::Congruence_System [inline]
end() const Parma_Polyhedra_Library::Congruence_System [inline]
erase_to_end(dimension_type first_to_erase)Parma_Polyhedra_Library::Matrix [inline, private]
external_memory_in_bytes() const Parma_Polyhedra_Library::Congruence_System [inline]
finalize()Parma_Polyhedra_Library::Congruence_System [static]
Grid classParma_Polyhedra_Library::Congruence_System [friend]
Grid_Certificate classParma_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::Matrix [inline, private]
increase_space_dimension(dimension_type new_space_dim)Parma_Polyhedra_Library::Congruence_System [private]
initialize()Parma_Polyhedra_Library::Congruence_System [static]
insert(const Congruence &cg)Parma_Polyhedra_Library::Congruence_System [inline]
insert(const Constraint &c)Parma_Polyhedra_Library::Congruence_System
insert(const Congruence_System &cgs)Parma_Polyhedra_Library::Congruence_System
insert_verbatim(const Congruence &cg)Parma_Polyhedra_Library::Congruence_System [private]
is_equal_to(const Congruence_System &cgs) const Parma_Polyhedra_Library::Congruence_System
Matrix()Parma_Polyhedra_Library::Matrix [inline, private]
Matrix(dimension_type n_rows, dimension_type n_columns, Row::Flags row_flags=Row::Flags())Parma_Polyhedra_Library::Matrix [private]
Matrix(const Matrix &y)Parma_Polyhedra_Library::Matrix [inline, private]
max_num_columns()Parma_Polyhedra_Library::Matrix [inline, private, static]
max_num_rows()Parma_Polyhedra_Library::Matrix [inline, private, static]
max_space_dimension()Parma_Polyhedra_Library::Congruence_System [inline, static]
normalize_moduli()Parma_Polyhedra_Library::Congruence_System [private]
num_columns() const Parma_Polyhedra_Library::Matrix [inline, private]
num_equalities() const Parma_Polyhedra_Library::Congruence_System
num_proper_congruences() const Parma_Polyhedra_Library::Congruence_System
num_rows() const Parma_Polyhedra_Library::Matrix [inline, private]
OK() const Parma_Polyhedra_Library::Congruence_System
operator!=(const Matrix &x, const Matrix &y)Parma_Polyhedra_Library::Matrix [related]
operator=(const Congruence_System &cgs)Parma_Polyhedra_Library::Congruence_System [inline]
Parma_Polyhedra_Library::Matrix::operator=(const Matrix &y)Parma_Polyhedra_Library::Matrix [inline, private]
operator==(const Congruence_System &x, const Congruence_System &y)Parma_Polyhedra_Library::Congruence_System [friend]
Parma_Polyhedra_Library::Matrix::operator==(const Matrix &x, const Matrix &y)Parma_Polyhedra_Library::Matrix [related]
operator[](dimension_type k)Parma_Polyhedra_Library::Congruence_System [inline, private]
operator[](dimension_type k) const Parma_Polyhedra_Library::Congruence_System [inline, private]
permute_columns(const std::vector< dimension_type > &cycles)Parma_Polyhedra_Library::Matrix [private]
print() const Parma_Polyhedra_Library::Congruence_System
recycling_insert(Congruence_System &cgs)Parma_Polyhedra_Library::Congruence_System
remove_higher_space_dimensions(dimension_type new_dimension)Parma_Polyhedra_Library::Congruence_System [private]
remove_trailing_columns(dimension_type n)Parma_Polyhedra_Library::Matrix [private]
resize_no_copy(dimension_type new_num_rows, dimension_type new_num_columns)Parma_Polyhedra_Library::Congruence_System [inline, private]
Parma_Polyhedra_Library::Matrix::resize_no_copy(dimension_type new_n_rows, dimension_type new_n_columns, Row::Flags row_flags)Parma_Polyhedra_Library::Matrix [private]
row_capacityParma_Polyhedra_Library::Matrix [private]
row_sizeParma_Polyhedra_Library::Matrix [private]
rowsParma_Polyhedra_Library::Matrix [private]
satisfies_all_congruences(const Grid_Generator &g) const Parma_Polyhedra_Library::Congruence_System [protected]
space_dimension() const Parma_Polyhedra_Library::Congruence_System [inline]
swap(Congruence_System &cgs)Parma_Polyhedra_Library::Congruence_System [inline]
swap(Parma_Polyhedra_Library::Congruence_System &x, Parma_Polyhedra_Library::Congruence_System &y)Parma_Polyhedra_Library::Congruence_System [friend]
Parma_Polyhedra_Library::Matrix::swap(Matrix &y)Parma_Polyhedra_Library::Matrix [inline, private]
Parma_Polyhedra_Library::Matrix::swap(Parma_Polyhedra_Library::Matrix &x, Parma_Polyhedra_Library::Matrix &y)Parma_Polyhedra_Library::Matrix [related]
swap_columns(dimension_type i, dimension_type j)Parma_Polyhedra_Library::Matrix [private]
total_memory_in_bytes() const Parma_Polyhedra_Library::Congruence_System [inline]
zero_dim_empty()Parma_Polyhedra_Library::Congruence_System [inline, static]
zero_dim_empty_pParma_Polyhedra_Library::Congruence_System [private, static]
~Congruence_System()Parma_Polyhedra_Library::Congruence_System [inline]
~Matrix()Parma_Polyhedra_Library::Matrix [inline, private]


Generated on Sat Oct 11 10:41:08 2008 for PPL by  doxygen 1.5.6