Parma_Polyhedra_Library::Linear_System Member List

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

add_pending_row(Linear_Row::Flags flags)Parma_Polyhedra_Library::Linear_System
add_pending_row(const Linear_Row &r)Parma_Polyhedra_Library::Linear_System
add_pending_rows(const Linear_System &y)Parma_Polyhedra_Library::Linear_System
add_recycled_row(Row &y)Parma_Polyhedra_Library::Matrix
add_row(const Linear_Row &r)Parma_Polyhedra_Library::Linear_System
Parma_Polyhedra_Library::Matrix::add_row(const Row &y)Parma_Polyhedra_Library::Matrix [inline]
add_rows(const Linear_System &y)Parma_Polyhedra_Library::Linear_System
add_rows_and_columns(dimension_type n)Parma_Polyhedra_Library::Linear_System
add_zero_columns(dimension_type n)Parma_Polyhedra_Library::Matrix
add_zero_rows(dimension_type n, Row::Flags row_flags)Parma_Polyhedra_Library::Matrix
add_zero_rows_and_columns(dimension_type n, dimension_type m, Row::Flags row_flags)Parma_Polyhedra_Library::Matrix
ascii_dump() const Parma_Polyhedra_Library::Linear_System
ascii_dump(std::ostream &s) const Parma_Polyhedra_Library::Linear_System
ascii_load(std::istream &s)Parma_Polyhedra_Library::Linear_System
assign_with_pending(const Linear_System &y)Parma_Polyhedra_Library::Linear_System [inline]
back_substitute(dimension_type n_lines_or_equalities)Parma_Polyhedra_Library::Linear_System
begin() const Parma_Polyhedra_Library::Matrix [inline]
check_sorted() const Parma_Polyhedra_Library::Linear_System
clear()Parma_Polyhedra_Library::Linear_System [inline]
end() const Parma_Polyhedra_Library::Matrix [inline]
erase_to_end(dimension_type first_to_erase)Parma_Polyhedra_Library::Matrix [inline]
external_memory_in_bytes() const Parma_Polyhedra_Library::Linear_System [inline]
first_pending_row() const Parma_Polyhedra_Library::Linear_System [inline]
gauss(dimension_type n_lines_or_equalities)Parma_Polyhedra_Library::Linear_System
index_first_pendingParma_Polyhedra_Library::Linear_System [private]
insert(const Linear_Row &r)Parma_Polyhedra_Library::Linear_System
insert_pending(const Linear_Row &r)Parma_Polyhedra_Library::Linear_System
is_necessarily_closed() const Parma_Polyhedra_Library::Linear_System [inline]
is_sorted() const Parma_Polyhedra_Library::Linear_System [inline]
Linear_System(Topology topol)Parma_Polyhedra_Library::Linear_System [inline]
Linear_System(Topology topol, dimension_type n_rows, dimension_type n_columns)Parma_Polyhedra_Library::Linear_System [inline]
Linear_System(const Linear_System &y)Parma_Polyhedra_Library::Linear_System [inline]
Linear_System(const Linear_System &y, With_Pending)Parma_Polyhedra_Library::Linear_System [inline]
Matrix()Parma_Polyhedra_Library::Matrix [inline]
Matrix(dimension_type n_rows, dimension_type n_columns, Row::Flags row_flags=Row::Flags())Parma_Polyhedra_Library::Matrix
Matrix(const Matrix &y)Parma_Polyhedra_Library::Matrix [inline]
max_num_columns()Parma_Polyhedra_Library::Matrix [inline, static]
max_num_rows()Parma_Polyhedra_Library::Matrix [inline, static]
max_space_dimension()Parma_Polyhedra_Library::Linear_System [inline, static]
merge_rows_assign(const Linear_System &y)Parma_Polyhedra_Library::Linear_System
normalize()Parma_Polyhedra_Library::Linear_System
num_columns() const Parma_Polyhedra_Library::Matrix [inline]
num_lines_or_equalities() const Parma_Polyhedra_Library::Linear_System
num_pending_rows() const Parma_Polyhedra_Library::Linear_System [inline]
num_rows() const Parma_Polyhedra_Library::Matrix [inline]
OK(bool check_strong_normalized=true) const Parma_Polyhedra_Library::Linear_System
Parma_Polyhedra_Library::Matrix::OK() const Parma_Polyhedra_Library::Matrix
operator!=(const Linear_System &x, const Linear_System &y)Parma_Polyhedra_Library::Linear_System [related]
Parma_Polyhedra_Library::Matrix::operator!=(const Matrix &x, const Matrix &y)Parma_Polyhedra_Library::Matrix [related]
operator=(const Linear_System &y)Parma_Polyhedra_Library::Linear_System [inline]
Parma_Polyhedra_Library::Matrix::operator=(const Matrix &y)Parma_Polyhedra_Library::Matrix [inline]
operator==(const Linear_System &x, const Linear_System &y)Parma_Polyhedra_Library::Linear_System [related]
Parma_Polyhedra_Library::Matrix::operator==(const Matrix &x, const Matrix &y)Parma_Polyhedra_Library::Matrix [related]
operator[](dimension_type k)Parma_Polyhedra_Library::Linear_System [inline]
operator[](dimension_type k) const Parma_Polyhedra_Library::Linear_System [inline]
permute_columns(const std::vector< dimension_type > &cycles)Parma_Polyhedra_Library::Linear_System [inline]
print() const Parma_Polyhedra_Library::Linear_System
remove_trailing_columns(dimension_type n)Parma_Polyhedra_Library::Linear_System [inline]
resize_no_copy(dimension_type new_n_rows, dimension_type new_n_columns)Parma_Polyhedra_Library::Linear_System [inline]
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
row_capacityParma_Polyhedra_Library::Matrix [protected]
row_sizeParma_Polyhedra_Library::Matrix [protected]
row_topologyParma_Polyhedra_Library::Linear_System [private]
rowsParma_Polyhedra_Library::Matrix [protected]
set_index_first_pending_row(dimension_type i)Parma_Polyhedra_Library::Linear_System [inline]
set_necessarily_closed()Parma_Polyhedra_Library::Linear_System [inline]
set_not_necessarily_closed()Parma_Polyhedra_Library::Linear_System [inline]
set_rows_topology()Parma_Polyhedra_Library::Linear_System
set_sorted(bool b)Parma_Polyhedra_Library::Linear_System [inline]
sign_normalize()Parma_Polyhedra_Library::Linear_System
simplify()Parma_Polyhedra_Library::Linear_System
sort_and_remove_with_sat(Saturation_Matrix &sat)Parma_Polyhedra_Library::Linear_System
sort_pending_and_remove_duplicates()Parma_Polyhedra_Library::Linear_System
sort_rows()Parma_Polyhedra_Library::Linear_System
sort_rows(dimension_type first_row, dimension_type last_row)Parma_Polyhedra_Library::Linear_System
sortedParma_Polyhedra_Library::Linear_System [private]
space_dimension() const Parma_Polyhedra_Library::Linear_System [inline]
strong_normalize()Parma_Polyhedra_Library::Linear_System
swap(Linear_System &y)Parma_Polyhedra_Library::Linear_System [inline]
swap(Parma_Polyhedra_Library::Linear_System &x, Parma_Polyhedra_Library::Linear_System &y)Parma_Polyhedra_Library::Linear_System [related]
Parma_Polyhedra_Library::Matrix::swap(Matrix &y)Parma_Polyhedra_Library::Matrix [inline]
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
topology() const Parma_Polyhedra_Library::Linear_System [inline]
total_memory_in_bytes() const Parma_Polyhedra_Library::Linear_System [inline]
unset_pending_rows()Parma_Polyhedra_Library::Linear_System [inline]
~Matrix()Parma_Polyhedra_Library::Matrix [inline]


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