Parma_Polyhedra_Library::Linear_System< Row > Member List

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

add_universe_rows_and_space_dimensions(dimension_type n)	Parma_Polyhedra_Library::Linear_System< Row >
ascii_dump() const	Parma_Polyhedra_Library::Linear_System< Row >
ascii_dump(std::ostream &s) const	Parma_Polyhedra_Library::Linear_System< Row >
ascii_load(std::istream &s)	Parma_Polyhedra_Library::Linear_System< Row >
assign_with_pending(const Linear_System &y)	Parma_Polyhedra_Library::Linear_System< Row >	inline
back_substitute(dimension_type n_lines_or_equalities)	Parma_Polyhedra_Library::Linear_System< Row >
begin()	Parma_Polyhedra_Library::Linear_System< Row >	inline
begin() const	Parma_Polyhedra_Library::Linear_System< Row >	inline
check_sorted() const	Parma_Polyhedra_Library::Linear_System< Row >
clear()	Parma_Polyhedra_Library::Linear_System< Row >	inline
const_iterator typedef	Parma_Polyhedra_Library::Linear_System< Row >
end()	Parma_Polyhedra_Library::Linear_System< Row >	inline
end() const	Parma_Polyhedra_Library::Linear_System< Row >	inline
external_memory_in_bytes() const	Parma_Polyhedra_Library::Linear_System< Row >	inline
first_pending_row() const	Parma_Polyhedra_Library::Linear_System< Row >	inline
gauss(dimension_type n_lines_or_equalities)	Parma_Polyhedra_Library::Linear_System< Row >
Generator_System class	Parma_Polyhedra_Library::Linear_System< Row >	friend
has_no_rows() const	Parma_Polyhedra_Library::Linear_System< Row >	inline
index_first_pending	Parma_Polyhedra_Library::Linear_System< Row >	private
insert(const Row &r)	Parma_Polyhedra_Library::Linear_System< Row >
insert(Row &r, Recycle_Input)	Parma_Polyhedra_Library::Linear_System< Row >
insert(const Linear_System &y)	Parma_Polyhedra_Library::Linear_System< Row >
insert(Linear_System &r, Recycle_Input)	Parma_Polyhedra_Library::Linear_System< Row >
insert_no_ok(Row &r, Recycle_Input)	Parma_Polyhedra_Library::Linear_System< Row >	private
insert_pending(const Row &r)	Parma_Polyhedra_Library::Linear_System< Row >
insert_pending(Row &r, Recycle_Input)	Parma_Polyhedra_Library::Linear_System< Row >
insert_pending(const Linear_System &r)	Parma_Polyhedra_Library::Linear_System< Row >
insert_pending(Linear_System &r, Recycle_Input)	Parma_Polyhedra_Library::Linear_System< Row >
insert_pending_no_ok(Row &r, Recycle_Input)	Parma_Polyhedra_Library::Linear_System< Row >	private
is_necessarily_closed() const	Parma_Polyhedra_Library::Linear_System< Row >	inline
is_sorted() const	Parma_Polyhedra_Library::Linear_System< Row >	inline
iterator typedef	Parma_Polyhedra_Library::Linear_System< Row >
Linear_System(Topology topol, Representation r)	Parma_Polyhedra_Library::Linear_System< Row >	inline
Linear_System(Topology topol, dimension_type space_dim, Representation r)	Parma_Polyhedra_Library::Linear_System< Row >	inline
Linear_System(const Linear_System &y)	Parma_Polyhedra_Library::Linear_System< Row >	inline
Linear_System(const Linear_System &y, Representation r)	Parma_Polyhedra_Library::Linear_System< Row >	inline
Linear_System(const Linear_System &y, With_Pending)	Parma_Polyhedra_Library::Linear_System< Row >	inline
Linear_System(const Linear_System &y, Representation r, With_Pending)	Parma_Polyhedra_Library::Linear_System< Row >	inline
m_swap(Linear_System &y)	Parma_Polyhedra_Library::Linear_System< Row >	inline
mark_as_necessarily_closed()	Parma_Polyhedra_Library::Linear_System< Row >	inline
mark_as_not_necessarily_closed()	Parma_Polyhedra_Library::Linear_System< Row >	inline
max_space_dimension()	Parma_Polyhedra_Library::Linear_System< Row >	inlinestatic
merge_rows_assign(const Linear_System &y)	Parma_Polyhedra_Library::Linear_System< Row >
num_lines_or_equalities() const	Parma_Polyhedra_Library::Linear_System< Row >
num_pending_rows() const	Parma_Polyhedra_Library::Linear_System< Row >	inline
num_rows() const	Parma_Polyhedra_Library::Linear_System< Row >	inline
OK() const	Parma_Polyhedra_Library::Linear_System< Row >
operator!=(const Linear_System< Row > &x, const Linear_System< Row > &y)	Parma_Polyhedra_Library::Linear_System< Row >	related
operator!=(const Linear_System< Row > &x, const Linear_System< Row > &y)	Parma_Polyhedra_Library::Linear_System< Row >	related
operator=(const Linear_System &y)	Parma_Polyhedra_Library::Linear_System< Row >	inline
operator==(const Linear_System< Row > &x, const Linear_System< Row > &y)	Parma_Polyhedra_Library::Linear_System< Row >	related
operator==(const Linear_System< Row > &x, const Linear_System< Row > &y)	Parma_Polyhedra_Library::Linear_System< Row >	related
operator[](dimension_type k) const	Parma_Polyhedra_Library::Linear_System< Row >	inline
permute_space_dimensions(const std::vector< Variable > &cycle)	Parma_Polyhedra_Library::Linear_System< Row >	inline
Polyhedron class	Parma_Polyhedra_Library::Linear_System< Row >	friend
print() const	Parma_Polyhedra_Library::Linear_System< Row >
remove_row(dimension_type i, bool keep_sorted=false)	Parma_Polyhedra_Library::Linear_System< Row >	inline
remove_row_no_ok(dimension_type i, bool keep_sorted=false)	Parma_Polyhedra_Library::Linear_System< Row >	inlineprivate
remove_rows(dimension_type first, dimension_type last, bool keep_sorted=false)	Parma_Polyhedra_Library::Linear_System< Row >	inline
remove_rows(const std::vector< dimension_type > &indexes)	Parma_Polyhedra_Library::Linear_System< Row >	inline
remove_space_dimensions(const Variables_Set &vars)	Parma_Polyhedra_Library::Linear_System< Row >
remove_trailing_rows(dimension_type n)	Parma_Polyhedra_Library::Linear_System< Row >	inline
representation() const	Parma_Polyhedra_Library::Linear_System< Row >	inline
representation_	Parma_Polyhedra_Library::Linear_System< Row >	private
row_topology	Parma_Polyhedra_Library::Linear_System< Row >	private
rows	Parma_Polyhedra_Library::Linear_System< Row >
set_index_first_pending_row(dimension_type i)	Parma_Polyhedra_Library::Linear_System< Row >	inline
set_necessarily_closed()	Parma_Polyhedra_Library::Linear_System< Row >	inline
set_not_necessarily_closed()	Parma_Polyhedra_Library::Linear_System< Row >	inline
set_representation(Representation r)	Parma_Polyhedra_Library::Linear_System< Row >	inline
set_sorted(bool b)	Parma_Polyhedra_Library::Linear_System< Row >	inline
set_space_dimension(dimension_type space_dim)	Parma_Polyhedra_Library::Linear_System< Row >	inline
set_space_dimension_no_ok(dimension_type space_dim)	Parma_Polyhedra_Library::Linear_System< Row >	inlineprivate
set_topology(Topology t)	Parma_Polyhedra_Library::Linear_System< Row >	inline
shift_space_dimensions(Variable v, dimension_type n)	Parma_Polyhedra_Library::Linear_System< Row >
sign_normalize()	Parma_Polyhedra_Library::Linear_System< Row >
simplify()	Parma_Polyhedra_Library::Linear_System< Row >
sort_and_remove_with_sat(Bit_Matrix &sat)	Parma_Polyhedra_Library::Linear_System< Row >
sort_pending_and_remove_duplicates()	Parma_Polyhedra_Library::Linear_System< Row >
sort_rows()	Parma_Polyhedra_Library::Linear_System< Row >
sort_rows(dimension_type first_row, dimension_type last_row)	Parma_Polyhedra_Library::Linear_System< Row >
sorted	Parma_Polyhedra_Library::Linear_System< Row >	private
space_dimension() const	Parma_Polyhedra_Library::Linear_System< Row >	inline
space_dimension_	Parma_Polyhedra_Library::Linear_System< Row >	private
strong_normalize()	Parma_Polyhedra_Library::Linear_System< Row >
swap(Parma_Polyhedra_Library::Linear_System< Row > &x, Parma_Polyhedra_Library::Linear_System< Row > &y)	Parma_Polyhedra_Library::Linear_System< Row >	related
swap(Linear_System< Row > &x, Linear_System< Row > &y)	Parma_Polyhedra_Library::Linear_System< Row >	related
swap_row_intervals(dimension_type first, dimension_type last, dimension_type offset)	Parma_Polyhedra_Library::Linear_System< Row >	inlineprivate
swap_space_dimensions(Variable v1, Variable v2)	Parma_Polyhedra_Library::Linear_System< Row >	inline
topology() const	Parma_Polyhedra_Library::Linear_System< Row >	inline
total_memory_in_bytes() const	Parma_Polyhedra_Library::Linear_System< Row >	inline
unset_pending_rows()	Parma_Polyhedra_Library::Linear_System< Row >	inline