Main Page | Modules | Namespace List | Class Hierarchy | Class List | 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 ConSys &cs)Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >
add_constraints_and_minimize(const ConSys &cs)Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >
add_dimensions_and_embed(dimension_type m)Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >
add_dimensions_and_project(dimension_type m)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]
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 > >
concatenate_assign(const Polyhedra_PowerSet &y)Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >
definitely_entails(const PowerSet &y) constParma_Polyhedra_Library::PowerSet< Parma_Polyhedra_Library::Determinate< PH > >
geometrically_covers(const Polyhedra_PowerSet &y) constParma_Polyhedra_Library::Polyhedra_PowerSet< PH >
geometrically_equals(const Polyhedra_PowerSet &y) constParma_Polyhedra_Library::Polyhedra_PowerSet< PH >
is_bottom() constParma_Polyhedra_Library::PowerSet< Parma_Polyhedra_Library::Determinate< PH > >
is_omega_reduced() constParma_Polyhedra_Library::PowerSet< Parma_Polyhedra_Library::Determinate< PH > > [protected]
is_top() constParma_Polyhedra_Library::PowerSet< Parma_Polyhedra_Library::Determinate< PH > >
linear_partition(const PH &p, const PH &q)Parma_Polyhedra_Library::Polyhedra_PowerSet< PH > [related]
map_dimensions(const PartialFunction &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() constParma_Polyhedra_Library::Polyhedra_PowerSet< PH >
Parma_Polyhedra_Library::PowerSet< Parma_Polyhedra_Library::Determinate< PH > >::OK(bool disallow_bottom=false) constParma_Polyhedra_Library::PowerSet< Parma_Polyhedra_Library::Determinate< PH > >
omega_reduce() constParma_Polyhedra_Library::PowerSet< Parma_Polyhedra_Library::Determinate< PH > > [protected]
operator=(const Polyhedra_PowerSet &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_reduce()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 ConSys &cs)Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >
PowerSet()Parma_Polyhedra_Library::PowerSet< Parma_Polyhedra_Library::Determinate< PH > >
PowerSet(const PowerSet &y)Parma_Polyhedra_Library::PowerSet< Parma_Polyhedra_Library::Determinate< PH > >
reducedParma_Polyhedra_Library::PowerSet< Parma_Polyhedra_Library::Determinate< PH > > [mutable, protected]
remove_dimensions(const Variables_Set &to_be_removed)Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >
remove_higher_dimensions(dimension_type new_dimension)Parma_Polyhedra_Library::Polyhedra_PowerSet< PH >
sequenceParma_Polyhedra_Library::PowerSet< Parma_Polyhedra_Library::Determinate< PH > > [protected]
space_dimension() constParma_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 > >
upper_bound_assign(const PowerSet &y)Parma_Polyhedra_Library::PowerSet< Parma_Polyhedra_Library::Determinate< PH > >
widen_fun(void(PH::*wm)(const PH &, unsigned *))Parma_Polyhedra_Library::Polyhedra_PowerSet< PH > [related]
widen_fun(void(PH::*lwm)(const PH &, const ConSys &, unsigned *), const ConSys &cs)Parma_Polyhedra_Library::Polyhedra_PowerSet< PH > [related]


Generated on Fri Aug 20 20:04:46 2004 for PPL by doxygen 1.3.8-20040812