| add_disjunct(const CS &d) | Parma_Polyhedra_Library::Powerset< CS > | |
| add_non_bottom_disjunct(Sequence &s, const CS &d, iterator &first, iterator last) | Parma_Polyhedra_Library::Powerset< CS > | [protected, static] |
| add_non_bottom_disjunct(Sequence &s, const CS &d) | Parma_Polyhedra_Library::Powerset< CS > | [protected, static] |
| begin() const | Parma_Polyhedra_Library::Powerset< CS > | |
| collapse() | Parma_Polyhedra_Library::Powerset< CS > | |
| collapse(unsigned max_disjuncts) | Parma_Polyhedra_Library::Powerset< CS > | [protected] |
| definitely_entails(const Powerset &y) const | Parma_Polyhedra_Library::Powerset< CS > | |
| end() const | Parma_Polyhedra_Library::Powerset< CS > | |
| external_memory_in_bytes() const | Parma_Polyhedra_Library::Powerset< CS > | |
| is_bottom() const | Parma_Polyhedra_Library::Powerset< CS > | |
| is_omega_reduced() const | Parma_Polyhedra_Library::Powerset< CS > | [protected] |
| is_top() const | Parma_Polyhedra_Library::Powerset< CS > | |
| least_upper_bound_assign(const Powerset &y) | Parma_Polyhedra_Library::Powerset< CS > | |
| meet_assign(const Powerset &y) | Parma_Polyhedra_Library::Powerset< CS > | |
| OK(bool disallow_bottom=false) const | Parma_Polyhedra_Library::Powerset< CS > | |
| omega_reduce() const | Parma_Polyhedra_Library::Powerset< CS > | |
| operator!=(const Powerset< CS > &x, const Powerset< CS > &y) | Parma_Polyhedra_Library::Powerset< CS > | [related] |
| operator<<(std::ostream &s, const Powerset< CS > &x) | Parma_Polyhedra_Library::Powerset< CS > | [related] |
| operator=(const Powerset &y) | Parma_Polyhedra_Library::Powerset< CS > | |
| operator==(const Powerset< CS > &x, const Powerset< CS > &y) | Parma_Polyhedra_Library::Powerset< CS > | [related] |
| pairwise_apply_assign(const Powerset &y, Binary_Operator_Assign op_assign) | Parma_Polyhedra_Library::Powerset< CS > | [protected] |
| Powerset() | Parma_Polyhedra_Library::Powerset< CS > | |
| Powerset(const Powerset &y) | Parma_Polyhedra_Library::Powerset< CS > | |
| Powerset(const CS &d) | Parma_Polyhedra_Library::Powerset< CS > | [explicit] |
| reduced | Parma_Polyhedra_Library::Powerset< CS > | [mutable, protected] |
| sequence | Parma_Polyhedra_Library::Powerset< CS > | [protected] |
| Sequence typedef | Parma_Polyhedra_Library::Powerset< CS > | [protected] |
| swap(Powerset &y) | Parma_Polyhedra_Library::Powerset< CS > | |
| swap(Parma_Polyhedra_Library::Powerset< CS > &x, Parma_Polyhedra_Library::Powerset< CS > &y) | Parma_Polyhedra_Library::Powerset< CS > | [related] |
| total_memory_in_bytes() const | Parma_Polyhedra_Library::Powerset< CS > | |
| upper_bound_assign(const Powerset &y) | Parma_Polyhedra_Library::Powerset< CS > | |
| ~Powerset() | Parma_Polyhedra_Library::Powerset< CS > | |