Parma_Polyhedra_Library::Generator_System Member List

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

add_corresponding_closure_points()	Parma_Polyhedra_Library::Generator_System	private
add_corresponding_points()	Parma_Polyhedra_Library::Generator_System	private
add_universe_rows_and_space_dimensions(dimension_type n)	Parma_Polyhedra_Library::Generator_System	inlineprivate
adjust_topology_and_space_dimension(Topology new_topology, dimension_type new_space_dim)	Parma_Polyhedra_Library::Generator_System	private
affine_image(Variable v, const Linear_Expression &expr, Coefficient_traits::const_reference denominator)	Parma_Polyhedra_Library::Generator_System	private
ascii_dump() const	Parma_Polyhedra_Library::Generator_System
ascii_dump(std::ostream &s) const	Parma_Polyhedra_Library::Generator_System
ascii_load(std::istream &s)	Parma_Polyhedra_Library::Generator_System
assign_with_pending(const Generator_System &y)	Parma_Polyhedra_Library::Generator_System	inlineprivate
back_substitute(dimension_type n_lines_or_equalities)	Parma_Polyhedra_Library::Generator_System	inlineprivate
begin() const	Parma_Polyhedra_Library::Generator_System	inline
check_sorted() const	Parma_Polyhedra_Library::Generator_System	inlineprivate
clear()	Parma_Polyhedra_Library::Generator_System	inline
const_iterator typedef	Parma_Polyhedra_Library::Generator_System
convert_into_non_necessarily_closed()	Parma_Polyhedra_Library::Generator_System	private
default_representation	Parma_Polyhedra_Library::Generator_System	static
empty() const	Parma_Polyhedra_Library::Generator_System	inline
end() const	Parma_Polyhedra_Library::Generator_System	inline
external_memory_in_bytes() const	Parma_Polyhedra_Library::Generator_System	inline
finalize()	Parma_Polyhedra_Library::Generator_System	static
first_pending_row() const	Parma_Polyhedra_Library::Generator_System	inlineprivate
gauss(dimension_type n_lines_or_equalities)	Parma_Polyhedra_Library::Generator_System	inlineprivate
Generator_System(Representation r=default_representation)	Parma_Polyhedra_Library::Generator_System	inline
Generator_System(const Generator &g, Representation r=default_representation)	Parma_Polyhedra_Library::Generator_System	inlineexplicit
Generator_System(const Generator_System &gs)	Parma_Polyhedra_Library::Generator_System	inline
Generator_System(const Generator_System &gs, Representation r)	Parma_Polyhedra_Library::Generator_System	inline
Generator_System(Topology topol, Representation r=default_representation)	Parma_Polyhedra_Library::Generator_System	inlineexplicitprivate
Generator_System(Topology topol, dimension_type space_dim, Representation r=default_representation)	Parma_Polyhedra_Library::Generator_System	inlineprivate
Generator_System_const_iterator class	Parma_Polyhedra_Library::Generator_System	friend
has_closure_points() const	Parma_Polyhedra_Library::Generator_System	private
has_no_rows() const	Parma_Polyhedra_Library::Generator_System	inlineprivate
has_points() const	Parma_Polyhedra_Library::Generator_System	private
initialize()	Parma_Polyhedra_Library::Generator_System	static
insert(const Generator &g)	Parma_Polyhedra_Library::Generator_System
insert(Generator &g, Recycle_Input)	Parma_Polyhedra_Library::Generator_System
insert(const Generator_System &y)	Parma_Polyhedra_Library::Generator_System	inlineprivate
insert_pending(const Generator_System &r)	Parma_Polyhedra_Library::Generator_System	inlineprivate
insert_pending(const Generator &g)	Parma_Polyhedra_Library::Generator_System	private
insert_pending(Generator &g, Recycle_Input)	Parma_Polyhedra_Library::Generator_System	private
is_necessarily_closed() const	Parma_Polyhedra_Library::Generator_System	inlineprivate
is_sorted() const	Parma_Polyhedra_Library::Generator_System	inlineprivate
m_swap(Generator_System &y)	Parma_Polyhedra_Library::Generator_System	inline
max_space_dimension()	Parma_Polyhedra_Library::Generator_System	inlinestatic
merge_rows_assign(const Generator_System &y)	Parma_Polyhedra_Library::Generator_System	inlineprivate
num_lines() const	Parma_Polyhedra_Library::Generator_System	private
num_lines_or_equalities() const	Parma_Polyhedra_Library::Generator_System	inlineprivate
num_pending_rows() const	Parma_Polyhedra_Library::Generator_System	inlineprivate
num_rays() const	Parma_Polyhedra_Library::Generator_System	private
num_rows() const	Parma_Polyhedra_Library::Generator_System	inlineprivate
OK() const	Parma_Polyhedra_Library::Generator_System
operator!=(const Generator_System &x, const Generator_System &y)	Parma_Polyhedra_Library::Generator_System	related
operator<<(std::ostream &s, const Generator_System &gs)	Parma_Polyhedra_Library::Generator_System	related
operator<<(std::ostream &s, const Generator_System &gs)	Parma_Polyhedra_Library::Generator_System	related
operator=(const Generator_System &y)	Parma_Polyhedra_Library::Generator_System	inline
operator==(const Generator_System &x, const Generator_System &y)	Parma_Polyhedra_Library::Generator_System	friend
operator==(const Generator_System &x, const Generator_System &y)	Parma_Polyhedra_Library::Generator_System	related
operator[](dimension_type k) const	Parma_Polyhedra_Library::Generator_System	inlineprivate
permute_space_dimensions(const std::vector< Variable > &cycle)	Parma_Polyhedra_Library::Generator_System	inlineprivate
Polyhedron class	Parma_Polyhedra_Library::Generator_System	friend
print() const	Parma_Polyhedra_Library::Generator_System
relation_with(const Constraint &c) const	Parma_Polyhedra_Library::Generator_System	private
remove_invalid_lines_and_rays()	Parma_Polyhedra_Library::Generator_System	private
remove_row(dimension_type i, bool keep_sorted=false)	Parma_Polyhedra_Library::Generator_System	inlineprivate
remove_rows(dimension_type first, dimension_type last, bool keep_sorted=false)	Parma_Polyhedra_Library::Generator_System	inlineprivate
remove_rows(const std::vector< dimension_type > &indexes)	Parma_Polyhedra_Library::Generator_System	inlineprivate
remove_space_dimensions(const Variables_Set &vars)	Parma_Polyhedra_Library::Generator_System	inlineprivate
remove_trailing_rows(dimension_type n)	Parma_Polyhedra_Library::Generator_System	inlineprivate
representation() const	Parma_Polyhedra_Library::Generator_System	inline
row_type typedef	Parma_Polyhedra_Library::Generator_System
satisfied_by_all_generators(const Constraint &c) const	Parma_Polyhedra_Library::Generator_System	private
satisfied_by_all_generators_C(const Constraint &c) const	Parma_Polyhedra_Library::Generator_System	private
satisfied_by_all_generators_NNC(const Constraint &c) const	Parma_Polyhedra_Library::Generator_System	private
set_index_first_pending_row(dimension_type i)	Parma_Polyhedra_Library::Generator_System	inlineprivate
set_representation(Representation r)	Parma_Polyhedra_Library::Generator_System	inline
set_sorted(bool b)	Parma_Polyhedra_Library::Generator_System	inlineprivate
set_space_dimension(dimension_type space_dim)	Parma_Polyhedra_Library::Generator_System	inline
shift_space_dimensions(Variable v, dimension_type n)	Parma_Polyhedra_Library::Generator_System	inlineprivate
simplify()	Parma_Polyhedra_Library::Generator_System	inlineprivate
sort_and_remove_with_sat(Bit_Matrix &sat)	Parma_Polyhedra_Library::Generator_System	inlineprivate
sort_pending_and_remove_duplicates()	Parma_Polyhedra_Library::Generator_System	inlineprivate
sort_rows()	Parma_Polyhedra_Library::Generator_System	inlineprivate
space_dimension() const	Parma_Polyhedra_Library::Generator_System	inline
strong_normalize()	Parma_Polyhedra_Library::Generator_System	inlineprivate
swap(Generator_System &x, Generator_System &y)	Parma_Polyhedra_Library::Generator_System	related
swap(Generator_System &x, Generator_System &y)	Parma_Polyhedra_Library::Generator_System	related
swap_space_dimensions(Variable v1, Variable v2)	Parma_Polyhedra_Library::Generator_System	inlineprivate
sys	Parma_Polyhedra_Library::Generator_System	private
topology() const	Parma_Polyhedra_Library::Generator_System	inlineprivate
total_memory_in_bytes() const	Parma_Polyhedra_Library::Generator_System	inline
unset_pending_rows()	Parma_Polyhedra_Library::Generator_System	inlineprivate
zero_dim_univ()	Parma_Polyhedra_Library::Generator_System	inlinestatic
zero_dim_univ_p	Parma_Polyhedra_Library::Generator_System	privatestatic
~Generator_System()	Parma_Polyhedra_Library::Generator_System	inline