Parma_Polyhedra_Library::Polyhedra_Powerset< PH > Member List

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

add_constraint(const Constraint &c)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
add_constraint_and_minimize(const Constraint &c)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
add_constraints(const Constraint_System &cs)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
add_constraints_and_minimize(const Constraint_System &cs)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
add_disjunct(const PH &ph)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
Powerset< Parma_Polyhedra_Library::Determinate< PH > >::add_disjunct(const Parma_Polyhedra_Library::Determinate< PH > &d)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
add_non_bottom_disjunct(const Parma_Polyhedra_Library::Determinate< PH > &d, iterator first, iterator last)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > [protected]
add_non_bottom_disjunct(const Parma_Polyhedra_Library::Determinate< PH > &d)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > [protected]
add_space_dimensions_and_embed(dimension_type m)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
add_space_dimensions_and_project(dimension_type m)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
ascii_dump() const Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
ascii_dump(std::ostream &s) const Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
ascii_load(std::istream &s)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
Base typedefParma_Polyhedra_Library::Polyhedra_Powerset< PH > [private]
begin()Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
begin() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
BGP99_extrapolation_assign(const Polyhedra_Powerset &y, Widening wf, unsigned max_disjuncts)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
BGP99_heuristics_assign(const Polyhedra_Powerset &y, Widening wf)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline, private]
BHZ03_widening_assign(const Polyhedra_Powerset &y, Widening wf)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
check_containment(const NNC_Polyhedron &ph, const Polyhedra_Powerset< NNC_Polyhedron > &ps)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [related]
check_containment(const PH &ph, const Polyhedra_Powerset< PH > &ps)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [related]
check_containment(const C_Polyhedron &ph, const Polyhedra_Powerset< C_Polyhedron > &ps)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [related]
clear()Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
collapse()Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
collapse(unsigned max_disjuncts)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > [protected]
collect_certificates(std::map< Cert, size_type, typename Cert::Compare > &cert_ms) const Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline, private]
concatenate_assign(const Polyhedra_Powerset &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
const_iterator typedefParma_Polyhedra_Library::Polyhedra_Powerset< PH >
const_reverse_iterator typedefParma_Polyhedra_Library::Polyhedra_Powerset< PH >
CS typedefParma_Polyhedra_Library::Polyhedra_Powerset< PH > [private]
definitely_entails(const Powerset &y) const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
drop_disjunct(iterator position)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
drop_disjuncts(iterator first, iterator last)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
element_type typedefParma_Polyhedra_Library::Polyhedra_Powerset< PH >
empty() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
end()Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
end() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
external_memory_in_bytes() const Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
geometrically_covers(const Polyhedra_Powerset &y) const Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
geometrically_covers(const Polyhedra_Powerset &y) constParma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
geometrically_covers(const Polyhedra_Powerset &y) constParma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
geometrically_equals(const Polyhedra_Powerset &y) const Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
geometrically_equals(const Polyhedra_Powerset &y) constParma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
intersection_assign(const Polyhedra_Powerset &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
is_bottom() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
is_cert_multiset_stabilizing(const std::map< Cert, size_type, typename Cert::Compare > &y_cert_ms) const Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline, private]
is_omega_reduced() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > [protected]
is_top() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
iterator typedefParma_Polyhedra_Library::Polyhedra_Powerset< PH >
least_upper_bound_assign(const Powerset &y)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
linear_partition(const PH &p, const PH &q)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [related]
linear_partition_aux(const Constraint &c, PH &qq, Polyhedra_Powerset< NNC_Polyhedron > &r)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [related]
map_space_dimensions(const Partial_Function &pfunc)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
max_space_dimension()Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline, static]
meet_assign(const Powerset &y)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
OK() const Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
Powerset< Parma_Polyhedra_Library::Determinate< PH > >::OK(bool disallow_bottom=false) const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
omega_reduce() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
operator=(const Polyhedra_Powerset &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
operator=(const Polyhedra_Powerset< QH > &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
Powerset< Parma_Polyhedra_Library::Determinate< PH > >::operator=(const Powerset &y)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
pairwise_apply_assign(const Powerset &y, Binary_Operator_Assign op_assign)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > [inline, protected]
pairwise_reduce()Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
poly_difference_assign(const Polyhedra_Powerset &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
poly_difference_assign(const Polyhedra_Powerset &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
poly_difference_assign(const Polyhedra_Powerset &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
poly_difference_assign(const Polyhedra_Powerset &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
Polyhedra_Powerset classParma_Polyhedra_Library::Polyhedra_Powerset< PH > [friend]
Polyhedra_Powerset(dimension_type num_dimensions=0, Degenerate_Element kind=UNIVERSE)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline, explicit]
Polyhedra_Powerset(const Polyhedra_Powerset &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
Polyhedra_Powerset(const PH &ph)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline, explicit]
Polyhedra_Powerset(const Polyhedra_Powerset< QH > &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline, explicit]
Polyhedra_Powerset(const Constraint_System &cs)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline, explicit]
Polyhedra_Powerset(const Congruence_System &cgs)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline, explicit]
Polyhedra_Powerset(const Polyhedra_Powerset< QH > &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
Polyhedra_Powerset(const Polyhedra_Powerset< QH > &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
Polyhedra_Powerset(const Polyhedra_Powerset< C_Polyhedron > &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
Polyhedra_Powerset(const Polyhedra_Powerset< NNC_Polyhedron > &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
Polyhedra_Powerset(const Polyhedra_Powerset< C_Polyhedron > &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
Polyhedra_Powerset(const Polyhedra_Powerset< NNC_Polyhedron > &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
Polyhedra_Powerset(const Polyhedra_Powerset< QH > &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
Polyhedra_Powerset(const Polyhedra_Powerset< QH > &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
Powerset()Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
Powerset(const Powerset &y)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
Powerset(const Parma_Polyhedra_Library::Determinate< PH > &d)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > [explicit]
print() const Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
rbegin()Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
rbegin() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
reducedParma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > [mutable, protected]
remove_higher_space_dimensions(dimension_type new_dimension)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
remove_space_dimensions(const Variables_Set &to_be_removed)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
rend()Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
rend() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
reverse_iterator typedefParma_Polyhedra_Library::Polyhedra_Powerset< PH >
sequenceParma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > [protected]
Sequence typedefParma_Polyhedra_Library::Polyhedra_Powerset< PH > [private]
Sequence_const_iterator typedefParma_Polyhedra_Library::Polyhedra_Powerset< PH > [private]
Sequence_iterator typedefParma_Polyhedra_Library::Polyhedra_Powerset< PH > [private]
size() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
size_type typedefParma_Polyhedra_Library::Polyhedra_Powerset< PH >
space_dimParma_Polyhedra_Library::Polyhedra_Powerset< PH > [private]
space_dimension() const Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
swap(Polyhedra_Powerset &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
swap(Parma_Polyhedra_Library::Polyhedra_Powerset< PH > &x, Parma_Polyhedra_Library::Polyhedra_Powerset< PH > &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [related]
Powerset< Parma_Polyhedra_Library::Determinate< PH > >::swap(Powerset &y)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
time_elapse_assign(const Polyhedra_Powerset &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
total_memory_in_bytes() const Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
upper_bound_assign(const Powerset &y)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
value_type typedefParma_Polyhedra_Library::Polyhedra_Powerset< PH >
widen_fun_ref(void(PH::*wm)(const PH &, unsigned *))Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [related]
widen_fun_ref(void(PH::*lwm)(const PH &, const CS &, unsigned *), const CS &cs)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [related]
~Powerset()Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >


Generated on Wed Jul 16 22:55:52 2008 for PPL by  doxygen 1.5.6