PPL: Member List

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) 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]`