- Main Page
- Modules
- Namespaces
- Classes
- Related Pages

- Class List
- Class Hierarchy
- Class Members

# 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 PH &ph) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > |
Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > >::add_disjunct(const Parma_Polyhedra_Library::Determinate< PH > &d) | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > |
add_non_bottom_disjunct(const Parma_Polyhedra_Library::Determinate< PH > &d, iterator first, iterator last) | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > | `[protected]`
add_non_bottom_disjunct(const Parma_Polyhedra_Library::Determinate< PH > &d) | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > | `[protected]`
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() | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< 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 > |
check_containment(const NNC_Polyhedron &ph, const Polyhedra_Powerset< NNC_Polyhedron > &ps) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | `[related]`
check_containment(const PH &ph, const Polyhedra_Powerset< PH > &ps) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | `[related]`
clear() | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< 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 > > |
drop_disjunct(iterator position) | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > |
drop_disjuncts(iterator first, iterator last) | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > |
empty() const | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > |
end() | 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 > | `[inline]`
geometrically_covers(const Polyhedra_Powerset &y) const | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | `[inline]`
geometrically_equals(const Polyhedra_Powerset &y) const | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | `[inline]`
intersection_assign(const Polyhedra_Powerset &y) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | `[inline]`
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 > | `[inline, 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 > | `[inline]`
operator=(const Polyhedra_Powerset< QH > &y) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | `[inline]`
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, Degenerate_Element kind=UNIVERSE) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | `[inline, explicit]`
Polyhedra_Powerset(const Polyhedra_Powerset &y) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | `[inline]`
Polyhedra_Powerset(const PH &ph) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | `[inline, 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 > | `[inline, explicit]`
Polyhedra_Powerset(const Congruence_System &cgs) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | `[inline, 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]`
rbegin() | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > |
rbegin() const | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > |
reduced | Parma_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 > |
rend() | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > |
rend() const | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > |
sequence | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > | `[protected]`
size() const | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > |
space_dimension() const | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | `[inline]`
swap(Polyhedra_Powerset &y) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | `[inline]`
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 > | `[inline]`
total_memory_in_bytes() const | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | `[inline]`
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 CS &, unsigned *), const CS &cs) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | `[related]`
~Powerset() | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > |