add_constraint(const Constraint &c)=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
add_constraints(const Constraint_System &cs)=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
add_space_dimensions_and_embed(dimension_type m)=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
add_space_dimensions_and_project(dimension_type m)=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
affine_dimension() const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
affine_image(Variable var, const Linear_Expression &expr, Coefficient_traits::const_reference denominator=Coefficient_one())=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
affine_preimage(Variable var, const Linear_Expression &expr, Coefficient_traits::const_reference denominator=Coefficient_one())=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
Any_Pointset() | Parma_Polyhedra_Library::Any_Pointset | inline |
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())=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
bounded_affine_preimage(Variable var, const Linear_Expression &lb_expr, const Linear_Expression &ub_expr, Coefficient_traits::const_reference denominator=Coefficient_one())=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
bounds_from_above(const Linear_Expression &expr) const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
bounds_from_below(const Linear_Expression &expr) const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
concatenate_assign(const Any_Pointset &y)=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
constraints() const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
contains(const Any_Pointset &y) const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
contains_integer_point() const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
difference_assign(const Any_Pointset &y)=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
expand_space_dimension(Variable var, dimension_type m) | Parma_Polyhedra_Library::Any_Pointset | |
external_memory_in_bytes() const =0 | Parma_Polyhedra_Library::Any_Pointset | pure 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())=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
generalized_affine_image(const Linear_Expression &lhs, Relation_Symbol relsym, const Linear_Expression &rhs)=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
generalized_affine_preimage(Variable var, Relation_Symbol relsym, const Linear_Expression &expr, Coefficient_traits::const_reference denominator=Coefficient_one())=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
generalized_affine_preimage(const Linear_Expression &lhs, Relation_Symbol relsym, const Linear_Expression &rhs)=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
hash_code() const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
intersection_assign(const Any_Pointset &y)=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
is_bounded() const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
is_discrete() const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
is_disjoint_from(const Any_Pointset &y) const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
is_empty() const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
is_topologically_closed() const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
is_universe() const =0 | Parma_Polyhedra_Library::Any_Pointset | pure 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 =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
maximize(const Linear_Expression &expr, Coefficient &sup_n, Coefficient &sup_d, bool &maximum, Generator &point) const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
minimize(const Linear_Expression &expr, Coefficient &inf_n, Coefficient &inf_d, bool &minimum) const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
minimize(const Linear_Expression &expr, Coefficient &inf_n, Coefficient &inf_d, bool &minimum, Generator &point) const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
OK() const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
operator!=(const Any_Pointset &x, const Any_Pointset &y) | Parma_Polyhedra_Library::Any_Pointset | related |
operator<<(std::ostream &s, const Any_Pointset &ph) | Parma_Polyhedra_Library::Any_Pointset | related |
operator==(const Any_Pointset &x, const Any_Pointset &y) | Parma_Polyhedra_Library::Any_Pointset | related |
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)=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
remove_space_dimensions(const Variables_Set &vars)=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
space_dimension() const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
strictly_contains(const Any_Pointset &y) const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
swap(Any_Pointset &x, Any_Pointset &y) | Parma_Polyhedra_Library::Any_Pointset | related |
time_elapse_assign(const Any_Pointset &y)=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
topological_closure_assign() | Parma_Polyhedra_Library::Any_Pointset | |
total_memory_in_bytes() const =0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
unconstrain(Variable var)=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
unconstrain(const Variables_Set &vars)=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
upper_bound_assign(const Any_Pointset &y)=0 | Parma_Polyhedra_Library::Any_Pointset | pure virtual |
~Any_Pointset() | Parma_Polyhedra_Library::Any_Pointset | inlinevirtual |