, including all inherited members.
all_homogeneous_terms_are_zero() const | Parma_Polyhedra_Library::Linear_Row | [private] |
allocate(dimension_type capacity, Flags f) | Parma_Polyhedra_Library::Row | [inline, private] |
ascii_dump() const | Parma_Polyhedra_Library::Constraint | |
ascii_dump(std::ostream &s) const | Parma_Polyhedra_Library::Constraint | [inline] |
ascii_load(std::istream &s) | Parma_Polyhedra_Library::Constraint | [inline] |
assign(Row &y) | Parma_Polyhedra_Library::Row | [inline, private] |
check_strong_normalized() const | Parma_Polyhedra_Library::Linear_Row | [private] |
coefficient(Variable v) const | Parma_Polyhedra_Library::Constraint | [inline] |
Parma_Polyhedra_Library::Linear_Row::coefficient(dimension_type n) const | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
compare(const Linear_Row &x, const Linear_Row &y) | Parma_Polyhedra_Library::Linear_Row | [related] |
Constraint(const Constraint &c) | Parma_Polyhedra_Library::Constraint | [inline] |
Constraint(const Congruence &cg) | Parma_Polyhedra_Library::Constraint | [explicit] |
Constraint() | Parma_Polyhedra_Library::Constraint | [private] |
Constraint(Linear_Expression &e, Type type, Topology topology) | Parma_Polyhedra_Library::Constraint | [inline, private] |
Constraint(const Congruence &cg, dimension_type sz, dimension_type capacity) | Parma_Polyhedra_Library::Constraint | [private] |
Constraint(const Constraint &c, dimension_type sz) | Parma_Polyhedra_Library::Constraint | [inline, private] |
construct(dimension_type sz, Flags f) | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
construct(dimension_type sz, dimension_type capacity, Flags f) | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
construct_epsilon_geq_zero() | Parma_Polyhedra_Library::Constraint | [private, static] |
epsilon_geq_zero() | Parma_Polyhedra_Library::Constraint | [inline, private, static] |
epsilon_geq_zero_p | Parma_Polyhedra_Library::Constraint | [private, static] |
epsilon_leq_one() | Parma_Polyhedra_Library::Constraint | [inline, private, static] |
epsilon_leq_one_p | Parma_Polyhedra_Library::Constraint | [private, static] |
EQUALITY enum value | Parma_Polyhedra_Library::Constraint | |
expand_within_capacity(dimension_type new_size) | Parma_Polyhedra_Library::Row | [inline, private] |
external_memory_in_bytes() const | Parma_Polyhedra_Library::Constraint | [inline] |
Parma_Polyhedra_Library::Linear_Row::external_memory_in_bytes(dimension_type capacity) const | Parma_Polyhedra_Library::Row | [inline, private] |
finalize() | Parma_Polyhedra_Library::Constraint | [static] |
flags() const | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
flags() | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
inhomogeneous_term() const | Parma_Polyhedra_Library::Constraint | [inline] |
initialize() | Parma_Polyhedra_Library::Constraint | [static] |
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::Linear_Row | [inline, private] |
is_necessarily_closed() const | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
is_nonstrict_inequality() const | Parma_Polyhedra_Library::Constraint | [inline] |
is_not_necessarily_closed() const | Parma_Polyhedra_Library::Linear_Row | [private] |
is_ray_or_point_or_inequality() const | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
is_strict_inequality() const | Parma_Polyhedra_Library::Constraint | [inline] |
is_tautological() const | Parma_Polyhedra_Library::Constraint | |
iter_swap(std::vector< Parma_Polyhedra_Library::Linear_Row >::iterator x, std::vector< Parma_Polyhedra_Library::Linear_Row >::iterator y) | Parma_Polyhedra_Library::Linear_Row | [related] |
Parma_Polyhedra_Library::Row::iter_swap(std::vector< Parma_Polyhedra_Library::Row >::iterator x, std::vector< Parma_Polyhedra_Library::Row >::iterator y) | Parma_Polyhedra_Library::Row | [related] |
Kind enum name | Parma_Polyhedra_Library::Linear_Row | [private] |
LINE_OR_EQUALITY enum value | Parma_Polyhedra_Library::Linear_Row | [private] |
linear_combine(const Linear_Row &y, dimension_type k) | Parma_Polyhedra_Library::Linear_Row | [private] |
Linear_Row() | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
Linear_Row(dimension_type sz, Flags f) | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
Linear_Row(dimension_type sz, dimension_type capacity, Flags f) | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
Linear_Row(const Linear_Row &y) | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
Linear_Row(const Linear_Row &y, dimension_type capacity) | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
Linear_Row(const Linear_Row &y, dimension_type sz, dimension_type capacity) | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
max_size() | Parma_Polyhedra_Library::Row | [inline, private, static] |
max_space_dimension() | Parma_Polyhedra_Library::Constraint | [inline, static] |
NONSTRICT_INEQUALITY enum value | Parma_Polyhedra_Library::Constraint | |
normalize() | Parma_Polyhedra_Library::Row | [private] |
OK() const | Parma_Polyhedra_Library::Constraint | |
Parma_Polyhedra_Library::Linear_Row::OK(dimension_type row_size, dimension_type row_capacity) const | Parma_Polyhedra_Library::Linear_Row | [private] |
operator!=(const Constraint &x, const Constraint &y) | Parma_Polyhedra_Library::Constraint | [related] |
Parma_Polyhedra_Library::Linear_Row::operator!=(const Linear_Row &x, const Linear_Row &y) | Parma_Polyhedra_Library::Linear_Row | [related] |
Parma_Polyhedra_Library::Row::operator!=(const Row &x, const Row &y) | Parma_Polyhedra_Library::Row | [related] |
operator<(const Linear_Expression &e1, const Linear_Expression &e2) | 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<(Variable v1, Variable v2) | 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<=(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<=(Variable v1, Variable v2) | Parma_Polyhedra_Library::Constraint | [related] |
operator=(const Constraint &c) | Parma_Polyhedra_Library::Constraint | [inline] |
Parma_Polyhedra_Library::Linear_Row::operator=(const Row &y) | Parma_Polyhedra_Library::Row | [inline, private] |
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 Constraint &x, const Constraint &y) | Parma_Polyhedra_Library::Constraint | [related] |
Parma_Polyhedra_Library::Linear_Row::operator==(const Linear_Row &x, const Linear_Row &y) | Parma_Polyhedra_Library::Linear_Row | [related] |
Parma_Polyhedra_Library::Row::operator==(const Row &x, const Row &y) | Parma_Polyhedra_Library::Row | [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 | [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[](dimension_type k) | Parma_Polyhedra_Library::Row | [inline, private] |
operator[](dimension_type k) const | Parma_Polyhedra_Library::Row | [inline, private] |
Parma_Polyhedra_Library::Congruence class | Parma_Polyhedra_Library::Constraint | [friend] |
Parma_Polyhedra_Library::Constraint class | Parma_Polyhedra_Library::Linear_Row | [friend] |
Parma_Polyhedra_Library::Constraint_System class | Parma_Polyhedra_Library::Constraint | [friend] |
Parma_Polyhedra_Library::Constraint_System::const_iterator class | Parma_Polyhedra_Library::Constraint | [friend] |
Parma_Polyhedra_Library::Generator class | Parma_Polyhedra_Library::Linear_Row | [friend] |
Parma_Polyhedra_Library::Linear_Expression class | Parma_Polyhedra_Library::Linear_Row | [friend] |
Parma_Polyhedra_Library::Linear_Expression::Linear_Expression(const Constraint &c) | Parma_Polyhedra_Library::Constraint | [private] |
Parma_Polyhedra_Library::Polyhedron class | Parma_Polyhedra_Library::Constraint | [friend] |
Parma_Polyhedra_Library::Scalar_Products class | Parma_Polyhedra_Library::Constraint | [friend] |
Parma_Polyhedra_Library::Topology_Adjusted_Scalar_Product_Sign class | Parma_Polyhedra_Library::Constraint | [friend] |
print() const | Parma_Polyhedra_Library::Constraint | |
RAY_OR_POINT_OR_INEQUALITY enum value | Parma_Polyhedra_Library::Linear_Row | [private] |
Row() | Parma_Polyhedra_Library::Row | [inline, private] |
Row(dimension_type sz, Flags f) | Parma_Polyhedra_Library::Row | [inline, private] |
Row(dimension_type sz, dimension_type capacity, Flags f) | Parma_Polyhedra_Library::Row | [inline, private] |
Row(const Row &y) | Parma_Polyhedra_Library::Row | [inline, private] |
Row(const Row &y, dimension_type capacity) | Parma_Polyhedra_Library::Row | [inline, private] |
Row(const Row &y, dimension_type sz, dimension_type capacity) | Parma_Polyhedra_Library::Row | [inline, private] |
set_is_equality() | Parma_Polyhedra_Library::Constraint | [inline, private] |
set_is_inequality() | Parma_Polyhedra_Library::Constraint | [inline, private] |
set_is_line_or_equality() | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
set_is_ray_or_point_or_inequality() | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
set_necessarily_closed() | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
set_not_necessarily_closed() | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
shrink(dimension_type new_size) | Parma_Polyhedra_Library::Row | [inline, private] |
sign_normalize() | Parma_Polyhedra_Library::Linear_Row | [private] |
size() const | Parma_Polyhedra_Library::Row | [inline, private] |
space_dimension() const | Parma_Polyhedra_Library::Constraint | [inline] |
STRICT_INEQUALITY enum value | Parma_Polyhedra_Library::Constraint | |
strong_normalize() | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
swap(Constraint &y) | Parma_Polyhedra_Library::Constraint | [inline] |
swap(Parma_Polyhedra_Library::Constraint &x, Parma_Polyhedra_Library::Constraint &y) | Parma_Polyhedra_Library::Constraint | [related] |
Parma_Polyhedra_Library::Linear_Row::swap(Parma_Polyhedra_Library::Linear_Row &x, Parma_Polyhedra_Library::Linear_Row &y) | Parma_Polyhedra_Library::Linear_Row | [related] |
Parma_Polyhedra_Library::Row::swap(Row &y) | Parma_Polyhedra_Library::Row | [inline, private] |
Parma_Polyhedra_Library::Row::swap(Parma_Polyhedra_Library::Row &x, Parma_Polyhedra_Library::Row &y) | Parma_Polyhedra_Library::Row | [related] |
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::Linear_Row | [inline, private] |
total_memory_in_bytes() const | Parma_Polyhedra_Library::Constraint | [inline] |
Parma_Polyhedra_Library::Linear_Row::total_memory_in_bytes(dimension_type capacity) const | Parma_Polyhedra_Library::Row | [inline, private] |
Type enum name | Parma_Polyhedra_Library::Constraint | |
type() const | Parma_Polyhedra_Library::Constraint | [inline] |
zero_dim_false() | Parma_Polyhedra_Library::Constraint | [inline, static] |
zero_dim_false_p | Parma_Polyhedra_Library::Constraint | [private, static] |
zero_dim_positivity() | Parma_Polyhedra_Library::Constraint | [inline, static] |
zero_dim_positivity_p | Parma_Polyhedra_Library::Constraint | [private, static] |
~Constraint() | Parma_Polyhedra_Library::Constraint | [inline] |
~Linear_Row() | Parma_Polyhedra_Library::Linear_Row | [inline, private] |
~Row() | Parma_Polyhedra_Library::Row | [inline, private] |