Parma_Polyhedra_Library::Constraint Member List

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

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 |
coefficient(Variable v) const | Parma_Polyhedra_Library::Constraint | inline
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
default_representation | Parma_Polyhedra_Library::Constraint | static
epsilon_geq_zero() | Parma_Polyhedra_Library::Constraint | inlinestatic
epsilon_leq_one() | Parma_Polyhedra_Library::Constraint | inlinestatic
EQUALITY enum value | Parma_Polyhedra_Library::Constraint |
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
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_nonstrict_inequality() const | Parma_Polyhedra_Library::Constraint | inline
is_strict_inequality() const | Parma_Polyhedra_Library::Constraint | inline
is_tautological() const | Parma_Polyhedra_Library::Constraint |
m_swap(Constraint &y) | Parma_Polyhedra_Library::Constraint | inline
max_space_dimension() | Parma_Polyhedra_Library::Constraint | inlinestatic
NONSTRICT_INEQUALITY enum value | Parma_Polyhedra_Library::Constraint |
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 | 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<=(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 | 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 | 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 | 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 |
print() const | Parma_Polyhedra_Library::Constraint |
remove_space_dimensions(const Variables_Set &vars) | Parma_Polyhedra_Library::Constraint | inline
representation() const | Parma_Polyhedra_Library::Constraint | inline
set_representation(Representation r) | Parma_Polyhedra_Library::Constraint | inline
set_space_dimension(dimension_type space_dim) | Parma_Polyhedra_Library::Constraint | inline
shift_space_dimensions(Variable v, dimension_type n) | Parma_Polyhedra_Library::Constraint | inline
space_dimension() const | Parma_Polyhedra_Library::Constraint | inline
STRICT_INEQUALITY enum value | Parma_Polyhedra_Library::Constraint |
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 |
total_memory_in_bytes() const | Parma_Polyhedra_Library::Constraint | inline
type() const | Parma_Polyhedra_Library::Constraint | inline
Type enum name | Parma_Polyhedra_Library::Constraint |
zero_dim_false() | Parma_Polyhedra_Library::Constraint | inlinestatic
zero_dim_positivity() | Parma_Polyhedra_Library::Constraint | inlinestatic
~Constraint() | Parma_Polyhedra_Library::Constraint | inline