, including all inherited members.
add_low_level_constraints() | Parma_Polyhedra_Library::Constraint_System | [inline, private] |
add_pending_row(Linear_Row::Flags flags) | Parma_Polyhedra_Library::Linear_System | [private] |
add_pending_row(const Linear_Row &r) | Parma_Polyhedra_Library::Linear_System | [private] |
add_pending_rows(const Linear_System &y) | Parma_Polyhedra_Library::Linear_System | [private] |
add_recycled_row(Row &y) | Parma_Polyhedra_Library::Matrix | [private] |
add_row(const Linear_Row &r) | Parma_Polyhedra_Library::Linear_System | [private] |
Parma_Polyhedra_Library::Matrix::add_row(const Row &y) | Parma_Polyhedra_Library::Matrix | [inline, private] |
add_rows(const Linear_System &y) | Parma_Polyhedra_Library::Linear_System | [private] |
add_rows_and_columns(dimension_type n) | Parma_Polyhedra_Library::Linear_System | [private] |
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] |
adjust_topology_and_space_dimension(Topology topol, dimension_type num_dimensions) | Parma_Polyhedra_Library::Constraint_System | [private] |
affine_preimage(dimension_type v, const Linear_Expression &expr, Coefficient_traits::const_reference denominator) | Parma_Polyhedra_Library::Constraint_System | [private] |
ascii_dump() const | Parma_Polyhedra_Library::Constraint_System | |
ascii_dump(std::ostream &s) const | Parma_Polyhedra_Library::Constraint_System | |
ascii_load(std::istream &s) | Parma_Polyhedra_Library::Constraint_System | |
assign_with_pending(const Linear_System &y) | Parma_Polyhedra_Library::Linear_System | [inline, private] |
back_substitute(dimension_type n_lines_or_equalities) | Parma_Polyhedra_Library::Linear_System | [private] |
begin() const | Parma_Polyhedra_Library::Constraint_System | [inline] |
check_sorted() const | Parma_Polyhedra_Library::Linear_System | [private] |
clear() | Parma_Polyhedra_Library::Constraint_System | [inline] |
const_iterator class | Parma_Polyhedra_Library::Constraint_System | [friend] |
Constraint_System() | Parma_Polyhedra_Library::Constraint_System | [inline] |
Constraint_System(const Constraint &c) | Parma_Polyhedra_Library::Constraint_System | [inline, explicit] |
Constraint_System(const Constraint_System &cs) | Parma_Polyhedra_Library::Constraint_System | [inline] |
Constraint_System(Topology topol) | Parma_Polyhedra_Library::Constraint_System | [inline, explicit, private] |
Constraint_System(Topology topol, dimension_type n_rows, dimension_type n_columns) | Parma_Polyhedra_Library::Constraint_System | [inline, private] |
end() const | Parma_Polyhedra_Library::Constraint_System | [inline] |
erase_to_end(dimension_type first_to_erase) | Parma_Polyhedra_Library::Matrix | [inline, private] |
external_memory_in_bytes() const | Parma_Polyhedra_Library::Constraint_System | [inline] |
first_pending_row() const | Parma_Polyhedra_Library::Linear_System | [inline, private] |
gauss(dimension_type n_lines_or_equalities) | Parma_Polyhedra_Library::Linear_System | [private] |
has_strict_inequalities() const | Parma_Polyhedra_Library::Constraint_System | |
insert(const Constraint &c) | Parma_Polyhedra_Library::Constraint_System | |
Parma_Polyhedra_Library::Linear_System::insert(const Linear_Row &r) | Parma_Polyhedra_Library::Linear_System | [private] |
insert_pending(const Constraint &c) | Parma_Polyhedra_Library::Constraint_System | [private] |
Parma_Polyhedra_Library::Linear_System::insert_pending(const Linear_Row &r) | Parma_Polyhedra_Library::Linear_System | [private] |
is_necessarily_closed() const | Parma_Polyhedra_Library::Linear_System | [inline, private] |
is_sorted() const | Parma_Polyhedra_Library::Linear_System | [inline, private] |
Linear_System(Topology topol) | Parma_Polyhedra_Library::Linear_System | [inline, private] |
Linear_System(Topology topol, dimension_type n_rows, dimension_type n_columns) | Parma_Polyhedra_Library::Linear_System | [inline, private] |
Linear_System(const Linear_System &y) | Parma_Polyhedra_Library::Linear_System | [inline, private] |
Linear_System(const Linear_System &y, With_Pending) | Parma_Polyhedra_Library::Linear_System | [inline, private] |
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::Constraint_System | [inline, static] |
merge_rows_assign(const Linear_System &y) | Parma_Polyhedra_Library::Linear_System | [private] |
normalize() | Parma_Polyhedra_Library::Linear_System | [private] |
num_columns() const | Parma_Polyhedra_Library::Matrix | [inline, private] |
num_equalities() const | Parma_Polyhedra_Library::Constraint_System | [private] |
num_inequalities() const | Parma_Polyhedra_Library::Constraint_System | [private] |
num_lines_or_equalities() const | Parma_Polyhedra_Library::Linear_System | [private] |
num_pending_rows() const | Parma_Polyhedra_Library::Linear_System | [inline, private] |
num_rows() const | Parma_Polyhedra_Library::Matrix | [inline, private] |
OK() const | Parma_Polyhedra_Library::Constraint_System | |
Parma_Polyhedra_Library::Linear_System::OK(bool check_strong_normalized=true) const | Parma_Polyhedra_Library::Linear_System | [private] |
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<<(std::ostream &s, const Constraint_System &cs) | Parma_Polyhedra_Library::Constraint_System | [related] |
operator=(const Constraint_System &y) | Parma_Polyhedra_Library::Constraint_System | [inline] |
Parma_Polyhedra_Library::Linear_System::operator=(const Linear_System &y) | Parma_Polyhedra_Library::Linear_System | [inline, private] |
Parma_Polyhedra_Library::Matrix::operator=(const Matrix &y) | Parma_Polyhedra_Library::Matrix | [inline, private] |
operator==(const Polyhedron &x, const Polyhedron &y) | Parma_Polyhedra_Library::Constraint_System | [friend] |
Parma_Polyhedra_Library::Linear_System::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::Constraint_System | [inline, private] |
operator[](dimension_type k) const | Parma_Polyhedra_Library::Constraint_System | [inline, private] |
Parma_Polyhedra_Library::LP_Problem class | Parma_Polyhedra_Library::Constraint_System | [friend] |
Parma_Polyhedra_Library::Polyhedron class | Parma_Polyhedra_Library::Constraint_System | [friend] |
permute_columns(const std::vector< dimension_type > &cycles) | Parma_Polyhedra_Library::Linear_System | [inline, private] |
print() const | Parma_Polyhedra_Library::Constraint_System | |
remove_trailing_columns(dimension_type n) | Parma_Polyhedra_Library::Linear_System | [inline, private] |
resize_no_copy(dimension_type new_n_rows, dimension_type new_n_columns) | Parma_Polyhedra_Library::Linear_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_capacity | Parma_Polyhedra_Library::Matrix | [private] |
row_size | Parma_Polyhedra_Library::Matrix | [private] |
rows | Parma_Polyhedra_Library::Matrix | [private] |
satisfies_all_constraints(const Generator &g) const | Parma_Polyhedra_Library::Constraint_System | [private] |
set_index_first_pending_row(dimension_type i) | Parma_Polyhedra_Library::Linear_System | [inline, private] |
set_necessarily_closed() | Parma_Polyhedra_Library::Linear_System | [inline, private] |
set_not_necessarily_closed() | Parma_Polyhedra_Library::Linear_System | [inline, private] |
set_rows_topology() | Parma_Polyhedra_Library::Linear_System | [private] |
set_sorted(bool b) | Parma_Polyhedra_Library::Linear_System | [inline, private] |
sign_normalize() | Parma_Polyhedra_Library::Linear_System | [private] |
simplify() | Parma_Polyhedra_Library::Constraint_System | [inline, private] |
sort_and_remove_with_sat(Saturation_Matrix &sat) | Parma_Polyhedra_Library::Linear_System | [private] |
sort_pending_and_remove_duplicates() | Parma_Polyhedra_Library::Linear_System | [private] |
sort_rows() | Parma_Polyhedra_Library::Linear_System | [private] |
sort_rows(dimension_type first_row, dimension_type last_row) | Parma_Polyhedra_Library::Linear_System | [private] |
space_dimension() const | Parma_Polyhedra_Library::Constraint_System | [inline] |
strong_normalize() | Parma_Polyhedra_Library::Linear_System | [private] |
swap(Constraint_System &y) | Parma_Polyhedra_Library::Constraint_System | [inline] |
swap(Parma_Polyhedra_Library::Constraint_System &x, Parma_Polyhedra_Library::Constraint_System &y) | Parma_Polyhedra_Library::Constraint_System | [related] |
Parma_Polyhedra_Library::Linear_System::swap(Linear_System &y) | Parma_Polyhedra_Library::Linear_System | [inline, private] |
Parma_Polyhedra_Library::Linear_System::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, 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] |
topology() const | Parma_Polyhedra_Library::Linear_System | [inline, private] |
total_memory_in_bytes() const | Parma_Polyhedra_Library::Constraint_System | [inline] |
unset_pending_rows() | Parma_Polyhedra_Library::Linear_System | [inline, private] |
zero_dim_empty() | Parma_Polyhedra_Library::Constraint_System | [inline, static] |
~Constraint_System() | Parma_Polyhedra_Library::Constraint_System | [inline] |
~Matrix() | Parma_Polyhedra_Library::Matrix | [inline, private] |