Parma_Polyhedra_Library::Congruence Member List

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

allocate(dimension_type capacity, Flags f)Parma_Polyhedra_Library::Row [inline, private]
ascii_dump() const Parma_Polyhedra_Library::Congruence
ascii_dump(std::ostream &s) const Parma_Polyhedra_Library::Congruence
ascii_load(std::istream &s)Parma_Polyhedra_Library::Congruence
assign(Row &y)Parma_Polyhedra_Library::Row [inline, private]
coefficient(Variable v) const Parma_Polyhedra_Library::Congruence [inline]
Congruence(const Congruence &cg)Parma_Polyhedra_Library::Congruence [inline]
Congruence(const Constraint &c)Parma_Polyhedra_Library::Congruence [explicit]
Congruence()Parma_Polyhedra_Library::Congruence [private]
Congruence(const Congruence &cg, dimension_type sz, dimension_type capacity)Parma_Polyhedra_Library::Congruence [inline, private]
Congruence(const Constraint &c, dimension_type sz, dimension_type capacity)Parma_Polyhedra_Library::Congruence [private]
Congruence(const Congruence &cg, Coefficient_traits::const_reference k)Parma_Polyhedra_Library::Congruence [inline, private]
Congruence(Linear_Expression &le, Coefficient_traits::const_reference m)Parma_Polyhedra_Library::Congruence [inline, private]
construct(dimension_type sz, Flags f)Parma_Polyhedra_Library::Row [inline, private]
construct(dimension_type sz, dimension_type capacity, Flags f)Parma_Polyhedra_Library::Row [inline, private]
create(const Linear_Expression &e1, const Linear_Expression &e2)Parma_Polyhedra_Library::Congruence [static]
create(const Linear_Expression &e, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Congruence [inline, static]
create(Coefficient_traits::const_reference n, const Linear_Expression &e)Parma_Polyhedra_Library::Congruence [inline, static]
expand_within_capacity(dimension_type new_size)Parma_Polyhedra_Library::Row [inline, private]
external_memory_in_bytes() const Parma_Polyhedra_Library::Congruence [inline]
Parma_Polyhedra_Library::Row::external_memory_in_bytes(dimension_type capacity) const Parma_Polyhedra_Library::Row [inline, private]
finalize()Parma_Polyhedra_Library::Congruence [static]
flags() const Parma_Polyhedra_Library::Row [inline, private]
flags()Parma_Polyhedra_Library::Row [inline, private]
inhomogeneous_term() const Parma_Polyhedra_Library::Congruence [inline]
initialize()Parma_Polyhedra_Library::Congruence [static]
is_equal_at_dimension(dimension_type dim, const Congruence &cg) const Parma_Polyhedra_Library::Congruence [inline]
is_equality() const Parma_Polyhedra_Library::Congruence [inline]
is_inconsistent() const Parma_Polyhedra_Library::Congruence
is_proper_congruence() const Parma_Polyhedra_Library::Congruence [inline]
is_tautological() const Parma_Polyhedra_Library::Congruence
iter_swap(std::vector< Parma_Polyhedra_Library::Row >::iterator x, std::vector< Parma_Polyhedra_Library::Row >::iterator y)Parma_Polyhedra_Library::Row [related]
max_size()Parma_Polyhedra_Library::Row [inline, private, static]
max_space_dimension()Parma_Polyhedra_Library::Congruence [inline, static]
modulus() const Parma_Polyhedra_Library::Congruence [inline]
negate(dimension_type start, dimension_type end)Parma_Polyhedra_Library::Congruence [inline, private]
normalize()Parma_Polyhedra_Library::Congruence [protected]
OK() const Parma_Polyhedra_Library::Congruence
Parma_Polyhedra_Library::Row::OK(dimension_type row_size, dimension_type row_capacity) const Parma_Polyhedra_Library::Row [private]
operator!=(const Congruence &x, const Congruence &y)Parma_Polyhedra_Library::Congruence [friend]
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::Congruence [related]
operator%=(const Linear_Expression &e, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Congruence [related]
operator/(const Congruence &cg, Coefficient_traits::const_reference k)Parma_Polyhedra_Library::Congruence [friend]
operator/(const Constraint &c, Coefficient_traits::const_reference m)Parma_Polyhedra_Library::Congruence [friend]
operator/=(Coefficient_traits::const_reference k)Parma_Polyhedra_Library::Congruence [inline]
operator<<(std::ostream &s, const Congruence_System &cgs)Parma_Polyhedra_Library::Congruence [friend]
operator<<(std::ostream &s, const Congruence &c)Parma_Polyhedra_Library::Congruence [related]
operator=(const Congruence &cg)Parma_Polyhedra_Library::Congruence [inline]
Parma_Polyhedra_Library::Row::operator=(const Row &y)Parma_Polyhedra_Library::Row [inline, private]
operator==(const Congruence &x, const Congruence &y)Parma_Polyhedra_Library::Congruence [friend]
Parma_Polyhedra_Library::Row::operator==(const Row &x, const Row &y)Parma_Polyhedra_Library::Row [related]
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_System classParma_Polyhedra_Library::Congruence [friend]
Parma_Polyhedra_Library::Congruence_System::const_iterator classParma_Polyhedra_Library::Congruence [friend]
Parma_Polyhedra_Library::Constraint classParma_Polyhedra_Library::Congruence [friend]
Parma_Polyhedra_Library::Grid classParma_Polyhedra_Library::Congruence [friend]
Parma_Polyhedra_Library::Linear_Expression classParma_Polyhedra_Library::Congruence [friend]
Parma_Polyhedra_Library::Scalar_Products classParma_Polyhedra_Library::Congruence [friend]
print() const Parma_Polyhedra_Library::Congruence
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::Congruence [inline, private]
shrink(dimension_type new_size)Parma_Polyhedra_Library::Row [inline, private]
sign_normalize()Parma_Polyhedra_Library::Congruence [protected]
size() const Parma_Polyhedra_Library::Row [inline, private]
space_dimension() const Parma_Polyhedra_Library::Congruence [inline]
strong_normalize()Parma_Polyhedra_Library::Congruence [protected]
swap(Congruence &y)Parma_Polyhedra_Library::Congruence [inline, private]
swap(Parma_Polyhedra_Library::Congruence &x, Parma_Polyhedra_Library::Congruence &y)Parma_Polyhedra_Library::Congruence [friend]
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 *v_name, Variable v) const Parma_Polyhedra_Library::Congruence [private]
throw_invalid_argument(const char *method, const char *message) const Parma_Polyhedra_Library::Congruence [private]
total_memory_in_bytes() const Parma_Polyhedra_Library::Congruence [inline]
Parma_Polyhedra_Library::Row::total_memory_in_bytes(dimension_type capacity) const Parma_Polyhedra_Library::Row [inline, private]
zero_dim_false()Parma_Polyhedra_Library::Congruence [inline, static]
zero_dim_false_pParma_Polyhedra_Library::Congruence [private, static]
zero_dim_integrality()Parma_Polyhedra_Library::Congruence [inline, static]
zero_dim_integrality_pParma_Polyhedra_Library::Congruence [private, static]
~Congruence()Parma_Polyhedra_Library::Congruence [inline]
~Row()Parma_Polyhedra_Library::Row [inline, private]


Generated on Sat Oct 11 10:41:07 2008 for PPL by  doxygen 1.5.6