Parma_Polyhedra_Library::Pointset_Powerset< PS > Member List

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

add_congruence(const Congruence &c)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
add_congruence_and_minimize(const Congruence &c)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
add_congruences(const Congruence_System &cgs)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
add_congruences_and_minimize(const Congruence_System &cs)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
add_constraint(const Constraint &c)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
add_constraint_and_minimize(const Constraint &c)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
add_constraints(const Constraint_System &cs)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
add_constraints_and_minimize(const Constraint_System &cs)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
add_disjunct(const PS &ph)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
Powerset< Parma_Polyhedra_Library::Determinate< PS > >::add_disjunct(const D &d)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
add_non_bottom_disjunct_preserve_reduction(const D &d, iterator first, iterator last)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > > [protected]
add_non_bottom_disjunct_preserve_reduction(const D &d)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > > [protected]
add_space_dimensions_and_embed(dimension_type m)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
add_space_dimensions_and_project(dimension_type m)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
affine_dimension() const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
affine_image(Variable var, const Linear_Expression &expr, Coefficient_traits::const_reference denominator=Coefficient_one())Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
affine_preimage(Variable var, const Linear_Expression &expr, Coefficient_traits::const_reference denominator=Coefficient_one())Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
approximate_partition(const Grid &p, const Grid &q, bool &finite_partition)Parma_Polyhedra_Library::Pointset_Powerset< PS > [related]
ascii_dump() const Parma_Polyhedra_Library::Pointset_Powerset< PS >
ascii_dump(std::ostream &s) const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
ascii_load(std::istream &s)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
begin()Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
begin() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
BGP99_extrapolation_assign(const Pointset_Powerset &y, Widening wf, unsigned max_disjuncts)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
BHZ03_widening_assign(const Pointset_Powerset &y, Widening wf)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
bounded_affine_image(Variable var, const Linear_Expression &lb_expr, const Linear_Expression &ub_expr, Coefficient_traits::const_reference denominator=Coefficient_one())Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
bounded_affine_preimage(Variable var, const Linear_Expression &lb_expr, const Linear_Expression &ub_expr, Coefficient_traits::const_reference denominator=Coefficient_one())Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
bounds_from_above(const Linear_Expression &expr) const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
bounds_from_below(const Linear_Expression &expr) const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
check_containment(const NNC_Polyhedron &ph, const Pointset_Powerset< NNC_Polyhedron > &ps)Parma_Polyhedra_Library::Pointset_Powerset< PS > [related]
check_containment(const Grid &ph, const Pointset_Powerset< Grid > &ps)Parma_Polyhedra_Library::Pointset_Powerset< PS > [related]
check_containment(const PS &ph, const Pointset_Powerset< PS > &ps)Parma_Polyhedra_Library::Pointset_Powerset< PS > [related]
check_containment(const C_Polyhedron &ph, const Pointset_Powerset< C_Polyhedron > &ps)Parma_Polyhedra_Library::Pointset_Powerset< PS > [related]
clear()Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
collapse()Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
collapse(unsigned max_disjuncts)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > > [protected]
concatenate_assign(const Pointset_Powerset &y)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
constrains(Variable var) const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
contains(const Pointset_Powerset &y) const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
contains_integer_point() const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
definitely_entails(const Powerset &y) const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
difference_assign(const Pointset_Powerset &y)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
drop_disjunct(iterator position)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
drop_disjuncts(iterator first, iterator last)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
empty() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
end()Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
end() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
expand_space_dimension(Variable var, dimension_type m)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
external_memory_in_bytes() const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
fold_space_dimensions(const Variables_Set &to_be_folded, Variable var)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
generalized_affine_image(Variable var, Relation_Symbol relsym, const Linear_Expression &expr, Coefficient_traits::const_reference denominator=Coefficient_one())Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
generalized_affine_image(const Linear_Expression &lhs, Relation_Symbol relsym, const Linear_Expression &rhs)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
generalized_affine_preimage(Variable var, Relation_Symbol relsym, const Linear_Expression &expr, Coefficient_traits::const_reference denominator=Coefficient_one())Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
generalized_affine_preimage(const Linear_Expression &lhs, Relation_Symbol relsym, const Linear_Expression &rhs)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
geometrically_covers(const Pointset_Powerset &y) const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
geometrically_equals(const Pointset_Powerset &y) const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
hash_code() const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
intersection_assign(const Pointset_Powerset &y)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
intersection_assign_and_minimize(const Pointset_Powerset &y)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
is_bottom() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
is_bounded() const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
is_discrete() const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
is_disjoint_from(const Pointset_Powerset &y) const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
is_empty() const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
is_omega_reduced() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > > [protected]
is_top() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
is_topologically_closed() const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
is_universe() const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
least_upper_bound_assign(const Powerset &y)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
linear_partition(const PS &p, const PS &q)Parma_Polyhedra_Library::Pointset_Powerset< PS > [related]
map_space_dimensions(const Partial_Function &pfunc)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
max_space_dimension()Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline, static]
maximize(const Linear_Expression &expr, Coefficient &sup_n, Coefficient &sup_d, bool &maximum) const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
maximize(const Linear_Expression &expr, Coefficient &sup_n, Coefficient &sup_d, bool &maximum, Generator &g) const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
meet_assign(const Powerset &y)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
minimize(const Linear_Expression &expr, Coefficient &inf_n, Coefficient &inf_d, bool &minimum) const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
minimize(const Linear_Expression &expr, Coefficient &inf_n, Coefficient &inf_d, bool &minimum, Generator &g) const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
OK() const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
Powerset< Parma_Polyhedra_Library::Determinate< PS > >::OK(bool disallow_bottom=false) const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
omega_reduce() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
operator=(const Pointset_Powerset &y)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
operator=(const Pointset_Powerset< QH > &y)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
Powerset< Parma_Polyhedra_Library::Determinate< PS > >::operator=(const Powerset &y)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
pairwise_apply_assign(const Powerset &y, Binary_Operator_Assign op_assign)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > > [inline, protected]
pairwise_reduce()Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
Pointset_Powerset(dimension_type num_dimensions=0, Degenerate_Element kind=UNIVERSE)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline, explicit]
Pointset_Powerset(const Pointset_Powerset &y, Complexity_Class complexity=ANY_COMPLEXITY)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
Pointset_Powerset(const Pointset_Powerset< QH > &y, Complexity_Class complexity=ANY_COMPLEXITY)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline, explicit]
Pointset_Powerset(const Partially_Reduced_Product< QH1, QH2, R > &prp, Complexity_Class complexity=ANY_COMPLEXITY)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline, explicit]
Pointset_Powerset(const Constraint_System &cs)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline, explicit]
Pointset_Powerset(const Congruence_System &cgs)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline, explicit]
Pointset_Powerset(const C_Polyhedron &ph, Complexity_Class complexity=ANY_COMPLEXITY)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline, explicit]
Pointset_Powerset(const NNC_Polyhedron &ph, Complexity_Class complexity=ANY_COMPLEXITY)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline, explicit]
Pointset_Powerset(const Grid &gr, Complexity_Class complexity=ANY_COMPLEXITY)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline, explicit]
Pointset_Powerset(const Octagonal_Shape< T > &os, Complexity_Class complexity=ANY_COMPLEXITY)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline, explicit]
Pointset_Powerset(const BD_Shape< T > &bds, Complexity_Class complexity=ANY_COMPLEXITY)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline, explicit]
Pointset_Powerset(const Box< Interval > &box, Complexity_Class complexity=ANY_COMPLEXITY)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline, explicit]
Powerset()Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
Powerset(const Powerset &y)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
Powerset(const D &d)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > > [explicit]
print() const Parma_Polyhedra_Library::Pointset_Powerset< PS >
rbegin()Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
rbegin() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
reducedParma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > > [mutable, protected]
refine_with_congruence(const Congruence &cg)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
refine_with_congruences(const Congruence_System &cgs)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
refine_with_constraint(const Constraint &c)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
refine_with_constraints(const Constraint_System &cs)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
relation_with(const Constraint &c) const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
relation_with(const Generator &g) const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
relation_with(const Congruence &cg) const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
remove_higher_space_dimensions(dimension_type new_dimension)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
remove_space_dimensions(const Variables_Set &to_be_removed)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
rend()Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
rend() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
sequenceParma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > > [protected]
simplify_using_context_assign(const Pointset_Powerset &y)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
size() const Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
space_dimension() const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
strictly_contains(const Pointset_Powerset &y) const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
swap(Pointset_Powerset &y)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
swap(Parma_Polyhedra_Library::Pointset_Powerset< PS > &x, Parma_Polyhedra_Library::Pointset_Powerset< PS > &y)Parma_Polyhedra_Library::Pointset_Powerset< PS > [related]
Powerset< Parma_Polyhedra_Library::Determinate< PS > >::swap(Powerset &y)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
time_elapse_assign(const Pointset_Powerset &y)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
topological_closure_assign()Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
total_memory_in_bytes() const Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
unconstrain(Variable var)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
unconstrain(const Variables_Set &to_be_unconstrained)Parma_Polyhedra_Library::Pointset_Powerset< PS > [inline]
upper_bound_assign(const Powerset &y)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
upper_bound_assign_if_exact(const Powerset &y)Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >
widen_fun_ref(void(PH::*wm)(const PH &, unsigned *))Parma_Polyhedra_Library::Pointset_Powerset< PS > [related]
widen_fun_ref(void(PH::*lwm)(const PH &, const CS &, unsigned *), const CS &cs)Parma_Polyhedra_Library::Pointset_Powerset< PS > [related]
~Powerset()Parma_Polyhedra_Library::Powerset< Parma_Polyhedra_Library::Determinate< PS > >


Generated on Tue Apr 14 07:11:48 2009 for PPL by  doxygen 1.5.7.1