| ascii_dump() const | Parma_Polyhedra_Library::Constraint | |
| ascii_dump(std::ostream &s) const | Parma_Polyhedra_Library::Constraint | |
| ascii_load(std::istream &s) | Parma_Polyhedra_Library::Constraint | |
| check_strong_normalized() const | Parma_Polyhedra_Library::Constraint | private |
| coefficient(Variable v) const | Parma_Polyhedra_Library::Constraint | inline |
| compare(const Constraint &x, const Constraint &y) | Parma_Polyhedra_Library::Constraint | friend |
| compare(const Constraint &x, const Constraint &y) | Parma_Polyhedra_Library::Constraint | related |
| compare(const Constraint &x, const Constraint &y) | Parma_Polyhedra_Library::Constraint | related |
| Constraint(Representation r=default_representation) | Parma_Polyhedra_Library::Constraint | inlineexplicit |
| Constraint(const Constraint &c) | Parma_Polyhedra_Library::Constraint | inline |
| Constraint(const Constraint &c, dimension_type space_dim) | Parma_Polyhedra_Library::Constraint | inline |
| Constraint(const Constraint &c, Representation r) | Parma_Polyhedra_Library::Constraint | inline |
| Constraint(const Constraint &c, dimension_type space_dim, Representation r) | Parma_Polyhedra_Library::Constraint | inline |
| Constraint(const Congruence &cg, Representation r=default_representation) | Parma_Polyhedra_Library::Constraint | explicit |
| Constraint(dimension_type space_dim, Kind kind, Topology topology, Representation r=default_representation) | Parma_Polyhedra_Library::Constraint | inlineprivate |
| Constraint(Linear_Expression &e, Kind kind, Topology topology) | Parma_Polyhedra_Library::Constraint | inlineprivate |
| Constraint(Linear_Expression &e, Type type, Topology topology) | Parma_Polyhedra_Library::Constraint | inlineprivate |
| Constraint_System class | Parma_Polyhedra_Library::Constraint | friend |
| construct_epsilon_geq_zero() | Parma_Polyhedra_Library::Constraint | privatestatic |
| default_representation | Parma_Polyhedra_Library::Constraint | static |
| epsilon_coefficient() const | Parma_Polyhedra_Library::Constraint | inlineprivate |
| epsilon_geq_zero() | Parma_Polyhedra_Library::Constraint | inlinestatic |
| epsilon_geq_zero_p | Parma_Polyhedra_Library::Constraint | privatestatic |
| epsilon_leq_one() | Parma_Polyhedra_Library::Constraint | inlinestatic |
| epsilon_leq_one_p | Parma_Polyhedra_Library::Constraint | privatestatic |
| EQUALITY enum value | Parma_Polyhedra_Library::Constraint | |
| expr | Parma_Polyhedra_Library::Constraint | private |
| expr_type typedef | Parma_Polyhedra_Library::Constraint | |
| expression() const | Parma_Polyhedra_Library::Constraint | inline |
| external_memory_in_bytes() const | Parma_Polyhedra_Library::Constraint | inline |
| finalize() | Parma_Polyhedra_Library::Constraint | static |
| Grid class | Parma_Polyhedra_Library::Constraint | friend |
| inhomogeneous_term() const | Parma_Polyhedra_Library::Constraint | inline |
| initialize() | Parma_Polyhedra_Library::Constraint | static |
| is_equal_to(const Constraint &y) const | Parma_Polyhedra_Library::Constraint | |
| is_equality() const | Parma_Polyhedra_Library::Constraint | inline |
| is_equivalent_to(const Constraint &y) const | Parma_Polyhedra_Library::Constraint | |
| is_inconsistent() const | Parma_Polyhedra_Library::Constraint | |
| is_inequality() const | Parma_Polyhedra_Library::Constraint | inline |
| is_line_or_equality() const | Parma_Polyhedra_Library::Constraint | inlineprivate |
| is_necessarily_closed() const | Parma_Polyhedra_Library::Constraint | inlineprivate |
| is_nonstrict_inequality() const | Parma_Polyhedra_Library::Constraint | inline |
| is_not_necessarily_closed() const | Parma_Polyhedra_Library::Constraint | inlineprivate |
| is_ray_or_point_or_inequality() const | Parma_Polyhedra_Library::Constraint | inlineprivate |
| is_strict_inequality() const | Parma_Polyhedra_Library::Constraint | inline |
| is_tautological() const | Parma_Polyhedra_Library::Constraint | |
| Kind enum name | Parma_Polyhedra_Library::Constraint | private |
| kind_ | Parma_Polyhedra_Library::Constraint | private |
| LINE_OR_EQUALITY enum value | Parma_Polyhedra_Library::Constraint | private |
| linear_combine(const Constraint &y, dimension_type i) | Parma_Polyhedra_Library::Constraint | private |
| Linear_System< Constraint > class | Parma_Polyhedra_Library::Constraint | friend |
| m_swap(Constraint &y) | Parma_Polyhedra_Library::Constraint | inline |
| mark_as_necessarily_closed() | Parma_Polyhedra_Library::Constraint | inlineprivate |
| mark_as_not_necessarily_closed() | Parma_Polyhedra_Library::Constraint | inlineprivate |
| max_space_dimension() | Parma_Polyhedra_Library::Constraint | inlinestatic |
| NONSTRICT_INEQUALITY enum value | Parma_Polyhedra_Library::Constraint | |
| Octagonal_Shape class | Parma_Polyhedra_Library::Constraint | friend |
| OK() const | Parma_Polyhedra_Library::Constraint | |
| operator!=(const Constraint &x, const Constraint &y) | Parma_Polyhedra_Library::Constraint | related |
| operator!=(const Constraint &x, const Constraint &y) | Parma_Polyhedra_Library::Constraint | related |
| operator<(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | friend |
| operator<(Variable v1, Variable v2) | Parma_Polyhedra_Library::Constraint | friend |
| operator<(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | friend |
| operator<(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | friend |
| operator<(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | related |
| operator<(Variable v1, Variable v2) | Parma_Polyhedra_Library::Constraint | related |
| operator<(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | related |
| operator<(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | related |
| operator<(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | related |
| operator<(const Variable v1, const Variable v2) | Parma_Polyhedra_Library::Constraint | related |
| operator<(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | related |
| operator<(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | related |
| operator<<(std::ostream &s, const Constraint &c) | Parma_Polyhedra_Library::Constraint | related |
| operator<<(std::ostream &s, const Constraint::Type &t) | Parma_Polyhedra_Library::Constraint | related |
| operator<<(std::ostream &s, const Constraint &c) | Parma_Polyhedra_Library::Constraint | related |
| operator<<(std::ostream &s, const Constraint::Type &t) | Parma_Polyhedra_Library::Constraint | related |
| operator<=(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | friend |
| operator<=(Variable v1, Variable v2) | Parma_Polyhedra_Library::Constraint | friend |
| operator<=(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | friend |
| operator<=(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | friend |
| operator<=(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | related |
| operator<=(Variable v1, Variable v2) | Parma_Polyhedra_Library::Constraint | related |
| operator<=(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | related |
| operator<=(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | related |
| operator<=(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | related |
| operator<=(const Variable v1, const Variable v2) | Parma_Polyhedra_Library::Constraint | related |
| operator<=(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | related |
| operator<=(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | related |
| operator=(const Constraint &c) | Parma_Polyhedra_Library::Constraint | inline |
| operator==(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | friend |
| operator==(Variable v1, Variable v2) | Parma_Polyhedra_Library::Constraint | friend |
| operator==(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | friend |
| operator==(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | friend |
| operator==(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | related |
| operator==(Variable v1, Variable v2) | Parma_Polyhedra_Library::Constraint | related |
| operator==(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | related |
| operator==(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | related |
| operator==(const Constraint &x, const Constraint &y) | Parma_Polyhedra_Library::Constraint | related |
| operator==(const Constraint &x, const Constraint &y) | Parma_Polyhedra_Library::Constraint | related |
| operator==(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | related |
| operator==(Variable v1, Variable v2) | Parma_Polyhedra_Library::Constraint | related |
| operator==(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | related |
| operator==(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | related |
| operator>(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | friend |
| operator>(Variable v1, Variable v2) | Parma_Polyhedra_Library::Constraint | friend |
| operator>(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | friend |
| operator>(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | friend |
| operator>(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | related |
| operator>(Variable v1, Variable v2) | Parma_Polyhedra_Library::Constraint | related |
| operator>(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | related |
| operator>(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | related |
| operator>(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | related |
| operator>(const Variable v1, const Variable v2) | Parma_Polyhedra_Library::Constraint | related |
| operator>(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | related |
| operator>(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | related |
| operator>=(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | friend |
| operator>=(Variable v1, Variable v2) | Parma_Polyhedra_Library::Constraint | friend |
| operator>=(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | friend |
| operator>=(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | friend |
| operator>=(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | related |
| operator>=(Variable v1, Variable v2) | Parma_Polyhedra_Library::Constraint | related |
| operator>=(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | related |
| operator>=(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | related |
| operator>=(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Constraint | related |
| operator>=(const Variable v1, const Variable v2) | Parma_Polyhedra_Library::Constraint | related |
| operator>=(Coefficient_traits::const_reference n, const Linear_Expression &e) | Parma_Polyhedra_Library::Constraint | related |
| operator>=(const Linear_Expression &e, Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | related |
| permute_space_dimensions(const std::vector< Variable > &cycle) | Parma_Polyhedra_Library::Constraint | |
| Polyhedron class | Parma_Polyhedra_Library::Constraint | friend |
| print() const | Parma_Polyhedra_Library::Constraint | |
| RAY_OR_POINT_OR_INEQUALITY enum value | Parma_Polyhedra_Library::Constraint | private |
| remove_space_dimensions(const Variables_Set &vars) | Parma_Polyhedra_Library::Constraint | inline |
| representation() const | Parma_Polyhedra_Library::Constraint | inline |
| Scalar_Products class | Parma_Polyhedra_Library::Constraint | friend |
| set_epsilon_coefficient(Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Constraint | inlineprivate |
| set_is_equality() | Parma_Polyhedra_Library::Constraint | inlineprivate |
| set_is_inequality() | Parma_Polyhedra_Library::Constraint | inlineprivate |
| set_is_line_or_equality() | Parma_Polyhedra_Library::Constraint | inlineprivate |
| set_is_ray_or_point_or_inequality() | Parma_Polyhedra_Library::Constraint | inlineprivate |
| set_necessarily_closed() | Parma_Polyhedra_Library::Constraint | inlineprivate |
| set_not_necessarily_closed() | Parma_Polyhedra_Library::Constraint | inlineprivate |
| set_representation(Representation r) | Parma_Polyhedra_Library::Constraint | inline |
| set_space_dimension(dimension_type space_dim) | Parma_Polyhedra_Library::Constraint | inline |
| set_space_dimension_no_ok(dimension_type space_dim) | Parma_Polyhedra_Library::Constraint | inlineprivate |
| set_topology(Topology x) | Parma_Polyhedra_Library::Constraint | inlineprivate |
| shift_space_dimensions(Variable v, dimension_type n) | Parma_Polyhedra_Library::Constraint | inline |
| sign_normalize() | Parma_Polyhedra_Library::Constraint | private |
| space_dimension() const | Parma_Polyhedra_Library::Constraint | inline |
| STRICT_INEQUALITY enum value | Parma_Polyhedra_Library::Constraint | |
| strong_normalize() | Parma_Polyhedra_Library::Constraint | inlineprivate |
| swap(Constraint &x, Constraint &y) | Parma_Polyhedra_Library::Constraint | related |
| swap(Constraint &x, Constraint &y) | Parma_Polyhedra_Library::Constraint | related |
| swap_space_dimensions(Variable v1, Variable v2) | Parma_Polyhedra_Library::Constraint | |
| Termination_Helpers class | Parma_Polyhedra_Library::Constraint | friend |
| throw_dimension_incompatible(const char *method, const char *name_var, Variable v) const | Parma_Polyhedra_Library::Constraint | private |
| throw_invalid_argument(const char *method, const char *message) const | Parma_Polyhedra_Library::Constraint | private |
| topology() const | Parma_Polyhedra_Library::Constraint | inlineprivate |
| topology_ | Parma_Polyhedra_Library::Constraint | private |
| Topology_Adjusted_Scalar_Product_Sign class | Parma_Polyhedra_Library::Constraint | friend |
| total_memory_in_bytes() const | Parma_Polyhedra_Library::Constraint | inline |
| Type enum name | Parma_Polyhedra_Library::Constraint | |
| type() const | Parma_Polyhedra_Library::Constraint | inline |
| zero_dim_false() | Parma_Polyhedra_Library::Constraint | inlinestatic |
| zero_dim_false_p | Parma_Polyhedra_Library::Constraint | privatestatic |
| zero_dim_positivity() | Parma_Polyhedra_Library::Constraint | inlinestatic |
| zero_dim_positivity_p | Parma_Polyhedra_Library::Constraint | privatestatic |
| ~Constraint() | Parma_Polyhedra_Library::Constraint | inline |
1.8.9.1