, 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, bool capacity=true) | 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] |
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] |
flags() const | Parma_Polyhedra_Library::Row | [inline, private] |
flags() | Parma_Polyhedra_Library::Row | [inline, private] |
inhomogeneous_term() const | Parma_Polyhedra_Library::Congruence | [inline] |
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_proper_congruence() const | Parma_Polyhedra_Library::Congruence | [inline] |
is_trivial_false() const | Parma_Polyhedra_Library::Congruence | |
is_trivial_true() 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] |
modulus() | Parma_Polyhedra_Library::Congruence | [inline, private] |
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 | [related] |
Parma_Polyhedra_Library::Row::operator!=(const Row &x, const Row &y) | Parma_Polyhedra_Library::Row | [related] |
operator/(const Congruence &cg, const Coefficient_traits::const_reference k) | Parma_Polyhedra_Library::Congruence | [related] |
operator/(const Constraint &c, const Coefficient_traits::const_reference m) | Parma_Polyhedra_Library::Congruence | [related] |
operator/=(const Coefficient_traits::const_reference k) | Parma_Polyhedra_Library::Congruence | [inline] |
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 | [related] |
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] |
PPL::Congruence_System class | Parma_Polyhedra_Library::Congruence | [friend] |
PPL::Congruence_System::const_iterator class | Parma_Polyhedra_Library::Congruence | [friend] |
PPL::Grid class | Parma_Polyhedra_Library::Congruence | [friend] |
PPL::IO_Operators::operator<<(std::ostream &s, const Congruence_System &cgs) | Parma_Polyhedra_Library::Congruence | [friend] |
PPL::Linear_Expression class | Parma_Polyhedra_Library::Congruence | [friend] |
PPL::operator!=(const Congruence &x, const Congruence &y) | Parma_Polyhedra_Library::Congruence | [friend] |
PPL::operator%=(const Linear_Expression &e1, const Linear_Expression &e2) | Parma_Polyhedra_Library::Congruence | [friend] |
PPL::operator%=(const Linear_Expression &e, const Coefficient_traits::const_reference n) | Parma_Polyhedra_Library::Congruence | [friend] |
PPL::operator/(const Congruence &cg, const Coefficient_traits::const_reference k) | Parma_Polyhedra_Library::Congruence | [friend] |
PPL::operator/(const Constraint &c, const Coefficient_traits::const_reference m) | Parma_Polyhedra_Library::Congruence | [friend] |
PPL::operator==(const Congruence &x, const Congruence &y) | Parma_Polyhedra_Library::Congruence | [friend] |
PPL::Scalar_Products class | Parma_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(PPL::Congruence &x, PPL::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_integrality() | Parma_Polyhedra_Library::Congruence | [inline, static] |
~Congruence() | Parma_Polyhedra_Library::Congruence | [inline] |
~Row() | Parma_Polyhedra_Library::Row | [inline, private] |