| 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 |