Parma_Polyhedra_Library::Saturation_Matrix Member List

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

add_row(const Saturation_Row &row)Parma_Polyhedra_Library::Saturation_Matrix
ascii_dump() const Parma_Polyhedra_Library::Saturation_Matrix
ascii_dump(std::ostream &s) const Parma_Polyhedra_Library::Saturation_Matrix
ascii_load(std::istream &s)Parma_Polyhedra_Library::Saturation_Matrix
check_sorted() const Parma_Polyhedra_Library::Saturation_Matrix
clear()Parma_Polyhedra_Library::Saturation_Matrix [inline]
columns_erase_to_end(dimension_type first_to_erase)Parma_Polyhedra_Library::Saturation_Matrix [inline]
external_memory_in_bytes() const Parma_Polyhedra_Library::Saturation_Matrix
max_num_rows()Parma_Polyhedra_Library::Saturation_Matrix [inline, static]
num_columns() const Parma_Polyhedra_Library::Saturation_Matrix [inline]
num_rows() const Parma_Polyhedra_Library::Saturation_Matrix [inline]
OK() const Parma_Polyhedra_Library::Saturation_Matrix
operator=(const Saturation_Matrix &y)Parma_Polyhedra_Library::Saturation_Matrix
operator[](dimension_type k)Parma_Polyhedra_Library::Saturation_Matrix [inline]
operator[](dimension_type k) const Parma_Polyhedra_Library::Saturation_Matrix [inline]
Parma_Polyhedra_Library::Linear_System::sort_and_remove_with_sat(Saturation_Matrix &sat)Parma_Polyhedra_Library::Saturation_Matrix [friend]
print() const Parma_Polyhedra_Library::Saturation_Matrix
resize(dimension_type new_n_rows, dimension_type new_n_columns)Parma_Polyhedra_Library::Saturation_Matrix
row_sizeParma_Polyhedra_Library::Saturation_Matrix [private]
rowsParma_Polyhedra_Library::Saturation_Matrix [private]
rows_erase_to_end(dimension_type first_to_erase)Parma_Polyhedra_Library::Saturation_Matrix [inline]
Saturation_Matrix()Parma_Polyhedra_Library::Saturation_Matrix [inline]
Saturation_Matrix(dimension_type n_rows, dimension_type n_columns)Parma_Polyhedra_Library::Saturation_Matrix [inline]
Saturation_Matrix(const Saturation_Matrix &y)Parma_Polyhedra_Library::Saturation_Matrix [inline]
sort_rows()Parma_Polyhedra_Library::Saturation_Matrix
sorted_contains(const Saturation_Row &row) const Parma_Polyhedra_Library::Saturation_Matrix [inline]
swap(Saturation_Matrix &y)Parma_Polyhedra_Library::Saturation_Matrix [inline]
swap(Parma_Polyhedra_Library::Saturation_Matrix &x, Parma_Polyhedra_Library::Saturation_Matrix &y)Parma_Polyhedra_Library::Saturation_Matrix [related]
total_memory_in_bytes() const Parma_Polyhedra_Library::Saturation_Matrix [inline]
transpose()Parma_Polyhedra_Library::Saturation_Matrix
transpose_assign(const Saturation_Matrix &y)Parma_Polyhedra_Library::Saturation_Matrix
~Saturation_Matrix()Parma_Polyhedra_Library::Saturation_Matrix [inline]


Generated on Wed Jul 16 22:55:46 2008 for PPL by  doxygen 1.5.6