Main Page | Modules | Namespace List | Class Hierarchy | Class List | Directories | Namespace Members | Class Members | Related Pages

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 >
add_constraint_and_minimize(const Constraint &c)Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
add_constraints(const Constraint_System &cs)Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
add_constraints_and_minimize(const Constraint_System &cs)Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
add_disjunct(const Parma_Polyhedra_Library::Determinate< PH > &d)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
add_non_bottom_disjunct(Sequence &s, const Parma_Polyhedra_Library::Determinate< PH > &d, iterator &first, iterator last)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > [protected, static]
add_non_bottom_disjunct(Sequence &s, const Parma_Polyhedra_Library::Determinate< PH > &d)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > [protected, static]
add_space_dimensions_and_embed(dimension_type m)Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
add_space_dimensions_and_project(dimension_type m)Parma_Polyhedra_Library::Polyhedra_Powerset< 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 >
BHZ03_widening_assign(const Polyhedra_Powerset &y, Widening wf)Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
BHZ03_widening_assign(const Polyhedra_Powerset &y, Widening wf)Parma_Polyhedra_Library::Polyhedra_Powerset< 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 >
definitely_entails(const Powerset &y) const 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 >
geometrically_covers(const Polyhedra_Powerset &y) const Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
geometrically_equals(const Polyhedra_Powerset &y) const Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
intersection_assign(const Polyhedra_Powerset &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
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 >
max_space_dimension()Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [static]
meet_assign(const Powerset &y)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >
OK() const Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
Parma_Polyhedra_Library::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 >
operator=(const Polyhedra_Powerset< QH > &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
Parma_Polyhedra_Library::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 > > [protected]
pairwise_reduce()Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
poly_difference_assign(const Polyhedra_Powerset &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
Polyhedra_Powerset(dimension_type num_dimensions=0, Polyhedron::Degenerate_Kind kind=Polyhedron::UNIVERSE)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [explicit]
Polyhedra_Powerset(const Polyhedra_Powerset &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
Polyhedra_Powerset(const PH &ph)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [explicit]
Polyhedra_Powerset(const Polyhedra_Powerset< QH > &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [explicit]
Polyhedra_Powerset(const Constraint_System &cs)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [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]
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 >
remove_space_dimensions(const Variables_Set &to_be_removed)Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
sequenceParma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > [protected]
space_dimension() const Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
swap(Polyhedra_Powerset &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
swap(Parma_Polyhedra_Library::Polyhedra_Powerset< PH > &x, Parma_Polyhedra_Library::Polyhedra_Powerset< PH > &y)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [related]
Parma_Polyhedra_Library::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 >
total_memory_in_bytes() const Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
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 Constraint_System &, unsigned *), const Constraint_System &cs)Parma_Polyhedra_Library::Polyhedra_Powerset< PH > [related]
~Powerset()Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >


Generated on Fri Dec 24 16:50:19 2004 for PPL by  doxygen 1.3.9.1-20041213