, including all inherited members.
| add_constraint(const Constraint &c) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| add_constraint_and_minimize(const Constraint &c) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| add_constraints(const Constraint_System &cs) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| add_constraints_and_minimize(const Constraint_System &cs) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| add_disjunct(const PH &ph) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| 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 > | [inline] |
| add_space_dimensions_and_project(dimension_type m) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| ascii_dump() const | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | |
| ascii_dump(std::ostream &s) const | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| ascii_load(std::istream &s) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| Base typedef | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [private] |
| 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 > | [inline] |
| BGP99_heuristics_assign(const Polyhedra_Powerset &y, Widening wf) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline, private] |
| BHZ03_widening_assign(const Polyhedra_Powerset &y, Widening wf) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| 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] |
| check_containment(const C_Polyhedron &ph, const Polyhedra_Powerset< C_Polyhedron > &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] |
| collect_certificates(std::map< Cert, size_type, typename Cert::Compare > &cert_ms) const | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline, private] |
| concatenate_assign(const Polyhedra_Powerset &y) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| const_iterator typedef | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | |
| const_reverse_iterator typedef | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | |
| CS typedef | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [private] |
| 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 > > | |
| element_type typedef | Parma_Polyhedra_Library::Polyhedra_Powerset< 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_covers(const Polyhedra_Powerset &y) 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] |
| 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_cert_multiset_stabilizing(const std::map< Cert, size_type, typename Cert::Compare > &y_cert_ms) const | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline, private] |
| 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 > > | |
| iterator typedef | Parma_Polyhedra_Library::Polyhedra_Powerset< 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] |
| linear_partition_aux(const Constraint &c, PH &qq, Polyhedra_Powerset< NNC_Polyhedron > &r) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [related] |
| map_space_dimensions(const Partial_Function &pfunc) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| 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 > | [inline] |
| 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] |
| 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 > > | [inline, protected] |
| pairwise_reduce() | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| poly_difference_assign(const Polyhedra_Powerset &y) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | |
| poly_difference_assign(const Polyhedra_Powerset &y) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| poly_difference_assign(const Polyhedra_Powerset &y) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| poly_difference_assign(const Polyhedra_Powerset &y) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| Polyhedra_Powerset class | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [friend] |
| 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 > | [inline, 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] |
| Polyhedra_Powerset(const Polyhedra_Powerset< QH > &y) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| Polyhedra_Powerset(const Polyhedra_Powerset< QH > &y) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| Polyhedra_Powerset(const Polyhedra_Powerset< C_Polyhedron > &y) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| Polyhedra_Powerset(const Polyhedra_Powerset< NNC_Polyhedron > &y) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| Polyhedra_Powerset(const Polyhedra_Powerset< C_Polyhedron > &y) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| Polyhedra_Powerset(const Polyhedra_Powerset< NNC_Polyhedron > &y) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| Polyhedra_Powerset(const Polyhedra_Powerset< QH > &y) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| Polyhedra_Powerset(const Polyhedra_Powerset< QH > &y) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| 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] |
| print() const | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | |
| 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 > | [inline] |
| remove_space_dimensions(const Variables_Set &to_be_removed) | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [inline] |
| rend() | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > | |
| rend() const | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > | |
| reverse_iterator typedef | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | |
| sequence | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > | [protected] |
| Sequence typedef | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [private] |
| Sequence_const_iterator typedef | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [private] |
| Sequence_iterator typedef | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [private] |
| size() const | Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PH > > | |
| size_type typedef | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | |
| space_dim | Parma_Polyhedra_Library::Polyhedra_Powerset< PH > | [private] |
| 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] |
| 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 > > | |
| value_type typedef | Parma_Polyhedra_Library::Polyhedra_Powerset< 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 > > | |
