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_preserve_reduction(const D &d, iterator first, iterator last)Parma_Polyhedra_Library::Powerset< D > [inline, protected]
add_non_bottom_disjunct_preserve_reduction(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 > [inline, protected]
const_iterator typedefParma_Polyhedra_Library::Powerset< D >
const_reverse_iterator typedefParma_Polyhedra_Library::Powerset< D >
definitely_entails(const Powerset &y) const Parma_Polyhedra_Library::Powerset< D > [inline]
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 > [inline]
is_bottom() const Parma_Polyhedra_Library::Powerset< D > [inline]
is_omega_reduced() const Parma_Polyhedra_Library::Powerset< D > [inline, protected]
is_top() const Parma_Polyhedra_Library::Powerset< D > [inline]
iterator typedefParma_Polyhedra_Library::Powerset< D >
least_upper_bound_assign(const Powerset &y)Parma_Polyhedra_Library::Powerset< D > [inline]
meet_assign(const Powerset &y)Parma_Polyhedra_Library::Powerset< D > [inline]
OK(bool disallow_bottom=false) const Parma_Polyhedra_Library::Powerset< D > [inline]
omega_reduce() const Parma_Polyhedra_Library::Powerset< D > [inline]
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 > [inline, 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]
reducedParma_Polyhedra_Library::Powerset< D > [mutable, protected]
rend()Parma_Polyhedra_Library::Powerset< D > [inline]
rend() const Parma_Polyhedra_Library::Powerset< D > [inline]
reverse_iterator typedefParma_Polyhedra_Library::Powerset< D >
sequenceParma_Polyhedra_Library::Powerset< D > [protected]
Sequence typedefParma_Polyhedra_Library::Powerset< D > [protected]
Sequence_const_iterator typedefParma_Polyhedra_Library::Powerset< D > [protected]
Sequence_iterator typedefParma_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]
upper_bound_assign_if_exact(const Powerset &y)Parma_Polyhedra_Library::Powerset< D > [inline]
~Powerset()Parma_Polyhedra_Library::Powerset< D > [inline]
Generated on Sun Feb 27 10:10:58 2011 for PPL by  doxygen 1.6.3