Parma_Polyhedra_Library::Constraint_System Member List

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

add_low_level_constraints()	Parma_Polyhedra_Library::Constraint_System	inlineprivate
add_universe_rows_and_space_dimensions(dimension_type n)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
adjust_topology_and_space_dimension(Topology new_topology, dimension_type new_space_dim)	Parma_Polyhedra_Library::Constraint_System	private
affine_preimage(Variable 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 Constraint_System &y)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
back_substitute(dimension_type n_lines_or_equalities)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
begin() const	Parma_Polyhedra_Library::Constraint_System	inline
check_sorted() const	Parma_Polyhedra_Library::Constraint_System	inlineprivate
clear()	Parma_Polyhedra_Library::Constraint_System	inline
const_iterator typedef	Parma_Polyhedra_Library::Constraint_System
Constraint_System(Representation r=default_representation)	Parma_Polyhedra_Library::Constraint_System	inlineexplicit
Constraint_System(const Constraint &c, Representation r=default_representation)	Parma_Polyhedra_Library::Constraint_System	inlineexplicit
Constraint_System(const Congruence_System &cgs, Representation r=default_representation)	Parma_Polyhedra_Library::Constraint_System	explicit
Constraint_System(const Constraint_System &cs)	Parma_Polyhedra_Library::Constraint_System	inline
Constraint_System(const Constraint_System &cs, Representation r)	Parma_Polyhedra_Library::Constraint_System	inline
Constraint_System(Topology topol, Representation r=default_representation)	Parma_Polyhedra_Library::Constraint_System	inlineexplicitprivate
Constraint_System(Topology topol, dimension_type space_dim, Representation r=default_representation)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
Constraint_System_const_iterator class	Parma_Polyhedra_Library::Constraint_System	friend
default_representation	Parma_Polyhedra_Library::Constraint_System	static
empty() const	Parma_Polyhedra_Library::Constraint_System	inline
end() const	Parma_Polyhedra_Library::Constraint_System	inline
external_memory_in_bytes() const	Parma_Polyhedra_Library::Constraint_System	inline
finalize()	Parma_Polyhedra_Library::Constraint_System	static
first_pending_row() const	Parma_Polyhedra_Library::Constraint_System	inlineprivate
gauss(dimension_type n_lines_or_equalities)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
has_equalities() const	Parma_Polyhedra_Library::Constraint_System
has_no_rows() const	Parma_Polyhedra_Library::Constraint_System	inlineprivate
has_strict_inequalities() const	Parma_Polyhedra_Library::Constraint_System
initialize()	Parma_Polyhedra_Library::Constraint_System	static
insert(const Constraint &c)	Parma_Polyhedra_Library::Constraint_System
insert(Constraint &r, Recycle_Input)	Parma_Polyhedra_Library::Constraint_System	private
insert(Constraint_System &r, Recycle_Input)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
insert(const Constraint_System &y)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
insert_pending(const Constraint &c)	Parma_Polyhedra_Library::Constraint_System	private
insert_pending(Constraint &r, Recycle_Input)	Parma_Polyhedra_Library::Constraint_System	private
insert_pending(Constraint_System &r, Recycle_Input)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
insert_pending(const Constraint_System &r)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
is_necessarily_closed() const	Parma_Polyhedra_Library::Constraint_System	inlineprivate
is_sorted() const	Parma_Polyhedra_Library::Constraint_System	inlineprivate
m_swap(Constraint_System &y)	Parma_Polyhedra_Library::Constraint_System	inline
mark_as_necessarily_closed()	Parma_Polyhedra_Library::Constraint_System	inlineprivate
mark_as_not_necessarily_closed()	Parma_Polyhedra_Library::Constraint_System	inlineprivate
max_space_dimension()	Parma_Polyhedra_Library::Constraint_System	inlinestatic
merge_rows_assign(const Constraint_System &y)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
num_constraints(const Constraint_System &cs)	Parma_Polyhedra_Library::Constraint_System	related
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::Constraint_System	inlineprivate
num_pending_rows() const	Parma_Polyhedra_Library::Constraint_System	inlineprivate
num_rows() const	Parma_Polyhedra_Library::Constraint_System	inlineprivate
OK() const	Parma_Polyhedra_Library::Constraint_System
operator!=(const Constraint_System &x, const Constraint_System &y)	Parma_Polyhedra_Library::Constraint_System	related
operator<<(std::ostream &s, const Constraint_System &cs)	Parma_Polyhedra_Library::Constraint_System	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
operator==(const Constraint_System &x, const Constraint_System &y)	Parma_Polyhedra_Library::Constraint_System	friend
operator==(const Constraint_System &x, const Constraint_System &y)	Parma_Polyhedra_Library::Constraint_System	related
operator[](dimension_type k) const	Parma_Polyhedra_Library::Constraint_System	inlineprivate
permute_space_dimensions(const std::vector< Variable > &cycle)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
Polyhedron class	Parma_Polyhedra_Library::Constraint_System	friend
print() const	Parma_Polyhedra_Library::Constraint_System
remove_row(dimension_type i, bool keep_sorted=false)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
remove_rows(const std::vector< dimension_type > &indexes)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
remove_rows(dimension_type first, dimension_type last, bool keep_sorted=false)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
remove_space_dimensions(const Variables_Set &vars)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
remove_trailing_rows(dimension_type n)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
representation() const	Parma_Polyhedra_Library::Constraint_System	inline
row_type typedef	Parma_Polyhedra_Library::Constraint_System
satisfies_all_constraints(const Generator &g) const	Parma_Polyhedra_Library::Constraint_System	private
set_index_first_pending_row(dimension_type i)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
set_representation(Representation r)	Parma_Polyhedra_Library::Constraint_System	inline
set_sorted(bool b)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
set_space_dimension(dimension_type space_dim)	Parma_Polyhedra_Library::Constraint_System	inline
shift_space_dimensions(Variable v, dimension_type n)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
simplify()	Parma_Polyhedra_Library::Constraint_System	inlineprivate
sort_and_remove_with_sat(Bit_Matrix &sat)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
sort_pending_and_remove_duplicates()	Parma_Polyhedra_Library::Constraint_System	inlineprivate
sort_rows()	Parma_Polyhedra_Library::Constraint_System	inlineprivate
space_dimension() const	Parma_Polyhedra_Library::Constraint_System	inline
strong_normalize()	Parma_Polyhedra_Library::Constraint_System	inlineprivate
swap(Constraint_System &x, Constraint_System &y)	Parma_Polyhedra_Library::Constraint_System	related
swap(Constraint_System &x, Constraint_System &y)	Parma_Polyhedra_Library::Constraint_System	related
swap_space_dimensions(Variable v1, Variable v2)	Parma_Polyhedra_Library::Constraint_System	inlineprivate
sys	Parma_Polyhedra_Library::Constraint_System	private
Termination_Helpers class	Parma_Polyhedra_Library::Constraint_System	friend
topology() const	Parma_Polyhedra_Library::Constraint_System	inlineprivate
total_memory_in_bytes() const	Parma_Polyhedra_Library::Constraint_System	inline
unset_pending_rows()	Parma_Polyhedra_Library::Constraint_System	inlineprivate
zero_dim_empty()	Parma_Polyhedra_Library::Constraint_System	inlinestatic
zero_dim_empty_p	Parma_Polyhedra_Library::Constraint_System	privatestatic
~Constraint_System()	Parma_Polyhedra_Library::Constraint_System	inline