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) const | Parma_Polyhedra_Library::PowerSet< Parma_Polyhedra_Library::Determinate< 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 > | |
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 > > | |
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() 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 > > | [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 > > | |
reduced | Parma_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 > | |
sequence | Parma_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 > > | |
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] |