PPL  1.2
Parma_Polyhedra_Library::Any_Pointset Member List

This is the complete list of members for Parma_Polyhedra_Library::Any_Pointset, including all inherited members.

add_constraint(const Constraint &c)=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
add_constraints(const Constraint_System &cs)=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
add_space_dimensions_and_embed(dimension_type m)=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
add_space_dimensions_and_project(dimension_type m)=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
affine_dimension() const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
affine_image(Variable var, const Linear_Expression &expr, Coefficient_traits::const_reference denominator=Coefficient_one())=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
affine_preimage(Variable var, const Linear_Expression &expr, Coefficient_traits::const_reference denominator=Coefficient_one())=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
Any_Pointset()Parma_Polyhedra_Library::Any_Pointsetinline
Any_Pointset(const Any_Pointset &y)Parma_Polyhedra_Library::Any_Pointset
ascii_dump() const Parma_Polyhedra_Library::Any_Pointset
ascii_dump(std::ostream &s) const Parma_Polyhedra_Library::Any_Pointset
ascii_load(std::istream &s)Parma_Polyhedra_Library::Any_Pointset
bounded_affine_image(Variable var, const Linear_Expression &lb_expr, const Linear_Expression &ub_expr, Coefficient_traits::const_reference denominator=Coefficient_one())=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
bounded_affine_preimage(Variable var, const Linear_Expression &lb_expr, const Linear_Expression &ub_expr, Coefficient_traits::const_reference denominator=Coefficient_one())=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
bounds_from_above(const Linear_Expression &expr) const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
bounds_from_below(const Linear_Expression &expr) const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
concatenate_assign(const Any_Pointset &y)=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
constraints() const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
contains(const Any_Pointset &y) const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
contains_integer_point() const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
difference_assign(const Any_Pointset &y)=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
expand_space_dimension(Variable var, dimension_type m)Parma_Polyhedra_Library::Any_Pointset
external_memory_in_bytes() const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
fold_space_dimensions(const Variables_Set &vars, Variable dest)Parma_Polyhedra_Library::Any_Pointset
generalized_affine_image(Variable var, Relation_Symbol relsym, const Linear_Expression &expr, Coefficient_traits::const_reference denominator=Coefficient_one())=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
generalized_affine_image(const Linear_Expression &lhs, Relation_Symbol relsym, const Linear_Expression &rhs)=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
generalized_affine_preimage(Variable var, Relation_Symbol relsym, const Linear_Expression &expr, Coefficient_traits::const_reference denominator=Coefficient_one())=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
generalized_affine_preimage(const Linear_Expression &lhs, Relation_Symbol relsym, const Linear_Expression &rhs)=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
hash_code() const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
intersection_assign(const Any_Pointset &y)=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
is_bounded() const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
is_discrete() const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
is_disjoint_from(const Any_Pointset &y) const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
is_empty() const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
is_topologically_closed() const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
is_universe() const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
m_swap(Any_Pointset &y)Parma_Polyhedra_Library::Any_Pointset
maximize(const Linear_Expression &expr, Coefficient &sup_n, Coefficient &sup_d, bool &maximum) const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
maximize(const Linear_Expression &expr, Coefficient &sup_n, Coefficient &sup_d, bool &maximum, Generator &point) const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
minimize(const Linear_Expression &expr, Coefficient &inf_n, Coefficient &inf_d, bool &minimum) const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
minimize(const Linear_Expression &expr, Coefficient &inf_n, Coefficient &inf_d, bool &minimum, Generator &point) const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
OK() const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
operator!=(const Any_Pointset &x, const Any_Pointset &y)Parma_Polyhedra_Library::Any_Pointsetrelated
operator<<(std::ostream &s, const Any_Pointset &ph)Parma_Polyhedra_Library::Any_Pointsetrelated
operator==(const Any_Pointset &x, const Any_Pointset &y)Parma_Polyhedra_Library::Any_Pointsetrelated
print() const Parma_Polyhedra_Library::Any_Pointset
relation_with(const Constraint &c) const Parma_Polyhedra_Library::Any_Pointset
relation_with(const Generator &g) const Parma_Polyhedra_Library::Any_Pointset
remove_higher_space_dimensions(dimension_type new_dimension)=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
remove_space_dimensions(const Variables_Set &vars)=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
space_dimension() const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
strictly_contains(const Any_Pointset &y) const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
swap(Any_Pointset &x, Any_Pointset &y)Parma_Polyhedra_Library::Any_Pointsetrelated
time_elapse_assign(const Any_Pointset &y)=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
topological_closure_assign()Parma_Polyhedra_Library::Any_Pointset
total_memory_in_bytes() const =0Parma_Polyhedra_Library::Any_Pointsetpure virtual
unconstrain(Variable var)=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
unconstrain(const Variables_Set &vars)=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
upper_bound_assign(const Any_Pointset &y)=0Parma_Polyhedra_Library::Any_Pointsetpure virtual
~Any_Pointset()Parma_Polyhedra_Library::Any_Pointsetinlinevirtual