Parma_Polyhedra_Library::Congruence Member List

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

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
coefficient(Variable v) const	Parma_Polyhedra_Library::Congruence	inline
Congruence(Representation r=default_representation)	Parma_Polyhedra_Library::Congruence	inlineexplicit
Congruence(const Congruence &cg)	Parma_Polyhedra_Library::Congruence	inline
Congruence(const Congruence &cg, Representation r)	Parma_Polyhedra_Library::Congruence	inline
Congruence(const Constraint &c, Representation r=default_representation)	Parma_Polyhedra_Library::Congruence	explicit
Congruence(const Congruence &cg, dimension_type new_space_dimension)	Parma_Polyhedra_Library::Congruence	inline
Congruence(const Congruence &cg, dimension_type new_space_dimension, Representation r)	Parma_Polyhedra_Library::Congruence	inline
Congruence(const Constraint &cg, dimension_type new_space_dimension, Representation r=default_representation)	Parma_Polyhedra_Library::Congruence
Congruence(Linear_Expression &le, Coefficient_traits::const_reference m, Recycle_Input)	Parma_Polyhedra_Library::Congruence	inline
create(const Linear_Expression &e1, const Linear_Expression &e2, Representation r=default_representation)	Parma_Polyhedra_Library::Congruence	static
create(const Linear_Expression &e, Coefficient_traits::const_reference n, Representation r=default_representation)	Parma_Polyhedra_Library::Congruence	inlinestatic
create(Coefficient_traits::const_reference n, const Linear_Expression &e, Representation r=default_representation)	Parma_Polyhedra_Library::Congruence	inlinestatic
default_representation	Parma_Polyhedra_Library::Congruence	static
expr_type typedef	Parma_Polyhedra_Library::Congruence
expression() const	Parma_Polyhedra_Library::Congruence	inline
external_memory_in_bytes() const	Parma_Polyhedra_Library::Congruence	inline
finalize()	Parma_Polyhedra_Library::Congruence	static
inhomogeneous_term() const	Parma_Polyhedra_Library::Congruence	inline
initialize()	Parma_Polyhedra_Library::Congruence	static
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
m_swap(Congruence &y)	Parma_Polyhedra_Library::Congruence	inline
max_space_dimension()	Parma_Polyhedra_Library::Congruence	inlinestatic
modulus() const	Parma_Polyhedra_Library::Congruence	inline
normalize()	Parma_Polyhedra_Library::Congruence
OK() const	Parma_Polyhedra_Library::Congruence
operator!=(const Congruence &x, const Congruence &y)	Parma_Polyhedra_Library::Congruence	related
operator!=(const Congruence &x, const Congruence &y)	Parma_Polyhedra_Library::Congruence	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 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	related
operator/(const Constraint &c, Coefficient_traits::const_reference m)	Parma_Polyhedra_Library::Congruence	related
operator/(const Congruence &cg, Coefficient_traits::const_reference k)	Parma_Polyhedra_Library::Congruence	related
operator/(const Constraint &c, Coefficient_traits::const_reference m)	Parma_Polyhedra_Library::Congruence	related
operator/=(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 &y)	Parma_Polyhedra_Library::Congruence	inline
operator==(const Congruence &x, const Congruence &y)	Parma_Polyhedra_Library::Congruence	related
operator==(const Congruence &x, const Congruence &y)	Parma_Polyhedra_Library::Congruence	related
print() const	Parma_Polyhedra_Library::Congruence
representation() const	Parma_Polyhedra_Library::Congruence	inline
scale(Coefficient_traits::const_reference factor)	Parma_Polyhedra_Library::Congruence
set_modulus(Coefficient_traits::const_reference m)	Parma_Polyhedra_Library::Congruence	inline
set_representation(Representation r)	Parma_Polyhedra_Library::Congruence	inline
set_space_dimension(dimension_type n)	Parma_Polyhedra_Library::Congruence	inline
shift_space_dimensions(Variable v, dimension_type n)	Parma_Polyhedra_Library::Congruence	inline
sign_normalize()	Parma_Polyhedra_Library::Congruence
space_dimension() const	Parma_Polyhedra_Library::Congruence	inline
strong_normalize()	Parma_Polyhedra_Library::Congruence
swap(Congruence &x, Congruence &y)	Parma_Polyhedra_Library::Congruence	related
swap(Congruence &x, Congruence &y)	Parma_Polyhedra_Library::Congruence	related
swap_space_dimensions(Variable v1, Variable v2)	Parma_Polyhedra_Library::Congruence	inline
total_memory_in_bytes() const	Parma_Polyhedra_Library::Congruence	inline
zero_dim_false()	Parma_Polyhedra_Library::Congruence	inlinestatic
zero_dim_integrality()	Parma_Polyhedra_Library::Congruence	inlinestatic
~Congruence()	Parma_Polyhedra_Library::Congruence	inline