Parma_Polyhedra_Library::Constraint Member List

This is the complete list of members for Parma_Polyhedra_Library::Constraint, 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()Parma_Polyhedra_Library::Constraint [private]
Constraint(Linear_Expression &e, Type type, Topology topology)Parma_Polyhedra_Library::Constraint [inline, 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_leq_one()Parma_Polyhedra_Library::Constraint [inline, private, static]
EQUALITY enum valueParma_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]
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]
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 nameParma_Polyhedra_Library::Linear_Row [private]
LINE_OR_EQUALITY enum valueParma_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 valueParma_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<<(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=(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==(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>(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>=(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 classParma_Polyhedra_Library::Constraint [friend]
Parma_Polyhedra_Library::Constraint classParma_Polyhedra_Library::Linear_Row [friend]
Parma_Polyhedra_Library::Constraint_System classParma_Polyhedra_Library::Constraint [friend]
Parma_Polyhedra_Library::Constraint_System::const_iterator classParma_Polyhedra_Library::Constraint [friend]
Parma_Polyhedra_Library::Generator classParma_Polyhedra_Library::Linear_Row [friend]
Parma_Polyhedra_Library::Linear_Expression classParma_Polyhedra_Library::Linear_Row [friend]
Parma_Polyhedra_Library::Linear_Expression::Linear_Expression(const Constraint &c)Parma_Polyhedra_Library::Constraint [private]
Parma_Polyhedra_Library::Polyhedron classParma_Polyhedra_Library::Constraint [friend]
Parma_Polyhedra_Library::Scalar_Products classParma_Polyhedra_Library::Constraint [friend]
Parma_Polyhedra_Library::Topology_Adjusted_Scalar_Product_Sign classParma_Polyhedra_Library::Constraint [friend]
print() const Parma_Polyhedra_Library::Constraint
RAY_OR_POINT_OR_INEQUALITY enum valueParma_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 valueParma_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]
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() const Parma_Polyhedra_Library::Constraint [inline]
Type enum nameParma_Polyhedra_Library::Constraint
zero_dim_false()Parma_Polyhedra_Library::Constraint [inline, static]
zero_dim_positivity()Parma_Polyhedra_Library::Constraint [inline, static]
~Constraint()Parma_Polyhedra_Library::Constraint [inline]
~Linear_Row()Parma_Polyhedra_Library::Linear_Row [inline, private]
~Row()Parma_Polyhedra_Library::Row [inline, private]


Generated on Wed Jul 16 22:55:46 2008 for PPL by  doxygen 1.5.6