| 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] |
| collapse() | Parma_Polyhedra_Library::PowerSet< CS > | |
| definitely_entails(const PowerSet &y) 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 > | |
| 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 > | [protected] |
| 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] |
| PowerSet() | Parma_Polyhedra_Library::PowerSet< CS > | |
| PowerSet(const PowerSet &y) | Parma_Polyhedra_Library::PowerSet< CS > | |
| reduced | Parma_Polyhedra_Library::PowerSet< CS > | [mutable, protected] |
| Sequence typedef | Parma_Polyhedra_Library::PowerSet< CS > | [protected] |
| sequence | 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] |
| upper_bound_assign(const PowerSet &y) | Parma_Polyhedra_Library::PowerSet< CS > | |