Main Page
Related Pages
Modules
Namespaces
Classes
Files
Alphabetical List
Class List
Class Hierarchy
Class Members
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_size
Parma_Polyhedra_Library::Saturation_Matrix
[private]
rows
Parma_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
1.5.6