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]
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]
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]
concatenate_assign(const Polyhedra_Powerset &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [inline]
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 > >
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_equals(const Polyhedra_Powerset &y) const Parma_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_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 > >
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]
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 >
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]
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]
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 > >
sequenceParma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > [protected]
size() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
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 > >
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:51:12 2008 for PPL by  doxygen 1.5.6