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

- Class List
- Class Hierarchy
- Class Members

# Parma_Polyhedra_Library::Powerset< D > Member List

This is the complete list of members for Parma_Polyhedra_Library::Powerset< D >, including all inherited members.

add_disjunct(const D &d) | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
add_non_bottom_disjunct(const D &d, iterator first, iterator last) | Parma_Polyhedra_Library::Powerset< D > | `[protected]`
add_non_bottom_disjunct(const D &d) | Parma_Polyhedra_Library::Powerset< D > | `[inline, protected]`
begin() | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
begin() const | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
clear() | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
collapse() | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
collapse(unsigned max_disjuncts) | Parma_Polyhedra_Library::Powerset< D > | `[protected]`
const_iterator typedef | Parma_Polyhedra_Library::Powerset< D > |
const_reverse_iterator typedef | Parma_Polyhedra_Library::Powerset< D > |
definitely_entails(const Powerset &y) const | Parma_Polyhedra_Library::Powerset< D > |
drop_disjunct(iterator position) | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
drop_disjuncts(iterator first, iterator last) | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
empty() const | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
end() | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
end() const | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
external_memory_in_bytes() const | Parma_Polyhedra_Library::Powerset< D > |
is_bottom() const | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
is_omega_reduced() const | Parma_Polyhedra_Library::Powerset< D > | `[protected]`
is_top() const | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
iterator typedef | Parma_Polyhedra_Library::Powerset< D > |
least_upper_bound_assign(const Powerset &y) | Parma_Polyhedra_Library::Powerset< D > |
meet_assign(const Powerset &y) | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
OK(bool disallow_bottom=false) const | Parma_Polyhedra_Library::Powerset< D > |
omega_reduce() const | Parma_Polyhedra_Library::Powerset< D > |
operator!=(const Powerset< D > &x, const Powerset< D > &y) | Parma_Polyhedra_Library::Powerset< D > | `[related]`
operator<<(std::ostream &s, const Powerset< D > &x) | Parma_Polyhedra_Library::Powerset< D > | `[related]`
operator=(const Powerset &y) | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
operator==(const Powerset< D > &x, const Powerset< D > &y) | Parma_Polyhedra_Library::Powerset< D > | `[related]`
pairwise_apply_assign(const Powerset &y, Binary_Operator_Assign op_assign) | Parma_Polyhedra_Library::Powerset< D > | `[protected]`
Powerset() | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
Powerset(const Powerset &y) | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
Powerset(const D &d) | Parma_Polyhedra_Library::Powerset< D > | `[inline, explicit]`
rbegin() | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
rbegin() const | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
reduced | Parma_Polyhedra_Library::Powerset< D > | `[mutable, protected]`
rend() | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
rend() const | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
reverse_iterator typedef | Parma_Polyhedra_Library::Powerset< D > |
sequence | Parma_Polyhedra_Library::Powerset< D > | `[protected]`
Sequence typedef | Parma_Polyhedra_Library::Powerset< D > | `[protected]`
Sequence_const_iterator typedef | Parma_Polyhedra_Library::Powerset< D > | `[protected]`
Sequence_iterator typedef | Parma_Polyhedra_Library::Powerset< D > | `[protected]`
size() const | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
swap(Powerset &y) | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
swap(Parma_Polyhedra_Library::Powerset< D > &x, Parma_Polyhedra_Library::Powerset< D > &y) | Parma_Polyhedra_Library::Powerset< D > | `[related]`
total_memory_in_bytes() const | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
upper_bound_assign(const Powerset &y) | Parma_Polyhedra_Library::Powerset< D > | `[inline]`
~Powerset() | Parma_Polyhedra_Library::Powerset< D > | `[inline]`