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