Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET > Member List

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

absorb()	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >	protected
add_constraint(const Constraint &c)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
add_constraints(const Constraint_System &cs)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
add_disjunct(const PSET &ph)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
add_pair(const Ask_Tell_Pair< Parma_Polyhedra_Library::Determinate< PSET > > &p)	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
add_pair(const Parma_Polyhedra_Library::Determinate< PSET > &ask, const Parma_Polyhedra_Library::Determinate< PSET > &tell)	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
add_space_dimensions_and_embed(dimension_type m)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
add_space_dimensions_and_project(dimension_type m)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
ascii_dump() const	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
ascii_dump(std::ostream &s) const	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
ascii_load(std::istream &s)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
Ask_Tell()	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
Ask_Tell(const Ask_Tell &y)	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
Ask_Tell(const Ask_Tell_Pair< Parma_Polyhedra_Library::Determinate< PSET > > &p)	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >	explicit
Ask_Tell(const Parma_Polyhedra_Library::Determinate< PSET > &ask, const Parma_Polyhedra_Library::Determinate< PSET > &tell)	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
Base typedef	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	private
begin()	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
begin() const	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
BGP99_extrapolation_assign(const Pointset_Ask_Tell &y, Widening widen_fun, unsigned max_disjuncts)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
BGP99_heuristics_assign(const Pointset_Ask_Tell &y, Widening widen_fun)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	private
BHZ03_widening_assign(const Pointset_Ask_Tell &y, Widening widen_fun)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
check_containment(const PSET &ph, const Pointset_Ask_Tell< PSET > &ps)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	related
check_containment(const C_Polyhedron &ph, const Pointset_Ask_Tell< C_Polyhedron > &ps)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	related
check_normalized() const	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >	protected
clear()	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
collect_certificates(std::map< Cert, size_type, typename Cert::Compare > &cert_ms) const	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	private
concatenate_assign(const Pointset_Ask_Tell &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
const_iterator typedef	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
const_reverse_iterator typedef	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
deabsorb() const	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >	protected
deduce()	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >	protected
definitely_entails(const Ask_Tell &y) const	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
Det_PSET typedef	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	private
drop_pair(iterator position)	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
drop_pairs(iterator first, iterator last)	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
element_type typedef	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
empty() const	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
end()	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
end() const	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
external_memory_in_bytes() const	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inline
geometrically_covers(const Pointset_Ask_Tell &y) const	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inline
geometrically_covers(const Pointset_Ask_Tell &y) const	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
geometrically_equals(const Pointset_Ask_Tell &y) const	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inline
geometrically_equals(const Pointset_Ask_Tell &y) const	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inline
hash_code() const	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inline
intersection_assign(const Pointset_Ask_Tell &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inline
is_bottom() const	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
is_cert_multiset_stabilizing(const std::map< Cert, size_type, typename Cert::Compare > &y_cert_ms) const	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	private
is_normalized() const	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >	protected
is_top() const	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
iterator typedef	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
m_swap(Pointset_Ask_Tell &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inline
Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >::m_swap(Ask_Tell &y)	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
map_space_dimensions(const Partial_Function &pfunc)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
max_space_dimension()	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inlinestatic
meet_assign(const Ask_Tell &y)	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
normalize() const	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
normalized	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >	mutableprotected
OK() const	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
operator=(const Pointset_Ask_Tell &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inline
operator=(const Pointset_Ask_Tell< QH > &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
operator=(const Pointset_Ask_Tell< QH > &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inline
Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >::operator=(const Ask_Tell &y)	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
Pair typedef	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	private
pair_insert(const Parma_Polyhedra_Library::Determinate< PSET > &a, const Parma_Polyhedra_Library::Determinate< PSET > &t)	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >	protected
pair_insert_good(const Parma_Polyhedra_Library::Determinate< PSET > &a, const Parma_Polyhedra_Library::Determinate< PSET > &t)	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >	protected
pairwise_reduce()	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
Pointset_Ask_Tell(dimension_type num_dimensions=0, Degenerate_Element kind=UNIVERSE)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inlineexplicit
Pointset_Ask_Tell(const Pointset_Ask_Tell &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inline
Pointset_Ask_Tell(const PSET &ph)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inlineexplicit
Pointset_Ask_Tell(const Pointset_Ask_Tell< QH > &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	explicit
Pointset_Ask_Tell(const Constraint_System &cs)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inlineexplicit
Pointset_Ask_Tell(const Congruence_System &cgs)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inlineexplicit
Pointset_Ask_Tell(const Pointset_Ask_Tell< C_Polyhedron > &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
Pointset_Ask_Tell(const Pointset_Ask_Tell< NNC_Polyhedron > &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
Pointset_Ask_Tell(const Pointset_Ask_Tell< QH > &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
Pointset_Ask_Tell(const Pointset_Ask_Tell< QH > &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
Pointset_Ask_Tell(const Pointset_Ask_Tell< C_Polyhedron > &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
Pointset_Ask_Tell(const Pointset_Ask_Tell< NNC_Polyhedron > &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
Pointset_Ask_Tell(const Pointset_Ask_Tell< QH > &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
Pointset_Ask_Tell(const Pointset_Ask_Tell< QH > &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
Pointset_Ask_Tell< NNC_Polyhedron > class	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	friend
poly_difference_assign(const Pointset_Ask_Tell &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
poly_difference_assign(const Pointset_Ask_Tell &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
poly_difference_assign(const Pointset_Ask_Tell &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inline
print() const	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
probe(const Parma_Polyhedra_Library::Determinate< PSET > &tellv, const Parma_Polyhedra_Library::Determinate< PSET > &askv) const	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >	protected
rbegin()	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
rbegin() const	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
reduce()	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >	protected
remove_higher_space_dimensions(dimension_type new_dimension)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
remove_space_dimensions(const Variables_Set &vars)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
rend()	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
rend() const	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
reverse_iterator typedef	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
sequence	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >	protected
Sequence typedef	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	private
Sequence_const_iterator typedef	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	private
Sequence_iterator typedef	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	private
size() const	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
size_type typedef	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
space_dim	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	private
space_dimension() const	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inline
swap(Pointset_Ask_Tell< PSET > &x, Pointset_Ask_Tell< PSET > &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	related
swap(Pointset_Ask_Tell< PSET > &x, Pointset_Ask_Tell< PSET > &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	related
time_elapse_assign(const Pointset_Ask_Tell &y)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inline
total_memory_in_bytes() const	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >	inline
unconstrain(Variable var)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
unconstrain(const Variables_Set &vars)	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
upper_bound_assign(const Ask_Tell &y)	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >
value_type typedef	Parma_Polyhedra_Library::Pointset_Ask_Tell< PSET >
~Ask_Tell()	Parma_Polyhedra_Library::Ask_Tell< Parma_Polyhedra_Library::Determinate< PSET > >