PPL  1.2
Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter Member List

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

add_mul_assign(Linear_Expression &e, Coefficient_traits::const_reference n, Variable v)Parma_Polyhedra_Library::Linear_Expressionrelated
add_mul_assign(Linear_Expression &e1, Coefficient_traits::const_reference factor, const Linear_Expression &e2)Parma_Polyhedra_Library::Linear_Expressionrelated
add_mul_assign(Linear_Expression &e, Coefficient_traits::const_reference n, const Variable v)Parma_Polyhedra_Library::Linear_Expressionrelated
all_homogeneous_terms_are_zero() const Parma_Polyhedra_Library::Linear_Expressioninline
all_zeroes(const Variables_Set &vars) const Parma_Polyhedra_Library::Linear_Expressioninline
Artificial_Parameter()Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameterinline
Artificial_Parameter(const Linear_Expression &expr, Coefficient_traits::const_reference d)Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter
Artificial_Parameter(const Artificial_Parameter &y)Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameterinline
ascii_dump() const Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter
ascii_dump(std::ostream &s) const Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter
ascii_load(std::istream &s)Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter
begin() const Parma_Polyhedra_Library::Linear_Expressioninline
coefficient(Variable v) const Parma_Polyhedra_Library::Linear_Expressioninline
compare(const Linear_Expression &x, const Linear_Expression &y)Parma_Polyhedra_Library::Linear_Expressionrelated
const_reference typedefParma_Polyhedra_Library::Linear_Expression
default_representationParma_Polyhedra_Library::Linear_Expressionstatic
denomParma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameterprivate
denominator() const Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameterinline
end() const Parma_Polyhedra_Library::Linear_Expressioninline
external_memory_in_bytes() const Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter
finalize()Parma_Polyhedra_Library::Linear_Expressionstatic
inhomogeneous_term() const Parma_Polyhedra_Library::Linear_Expressioninline
initialize()Parma_Polyhedra_Library::Linear_Expressionstatic
is_equal_to(const Linear_Expression &x) const Parma_Polyhedra_Library::Linear_Expressioninline
is_zero() const Parma_Polyhedra_Library::Linear_Expressioninline
linear_combine(const Linear_Expression &y, Variable v)Parma_Polyhedra_Library::Linear_Expression
linear_combine(const Linear_Expression &y, Coefficient_traits::const_reference c1, Coefficient_traits::const_reference c2)Parma_Polyhedra_Library::Linear_Expressioninline
linear_combine_lax(const Linear_Expression &y, Coefficient_traits::const_reference c1, Coefficient_traits::const_reference c2)Parma_Polyhedra_Library::Linear_Expressioninline
Linear_Expression(Representation r=default_representation)Parma_Polyhedra_Library::Linear_Expressionexplicit
Linear_Expression(const Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expression
Linear_Expression(const Linear_Expression &e, Representation r)Parma_Polyhedra_Library::Linear_Expression
Linear_Expression(const LE_Adapter &e, typename Enable_If< Is_Same_Or_Derived< Expression_Adapter_Base, LE_Adapter >::value, void * >::type=0)Parma_Polyhedra_Library::Linear_Expressioninlineexplicit
Linear_Expression(const LE_Adapter &e, Representation r, typename Enable_If< Is_Same_Or_Derived< Expression_Adapter_Base, LE_Adapter >::value, void * >::type=0)Parma_Polyhedra_Library::Linear_Expressioninline
Linear_Expression(const LE_Adapter &e, dimension_type space_dim, typename Enable_If< Is_Same_Or_Derived< Expression_Adapter_Base, LE_Adapter >::value, void * >::type=0)Parma_Polyhedra_Library::Linear_Expressioninlineexplicit
Linear_Expression(const LE_Adapter &e, dimension_type space_dim, Representation r, typename Enable_If< Is_Same_Or_Derived< Expression_Adapter_Base, LE_Adapter >::value, void * >::type=0)Parma_Polyhedra_Library::Linear_Expressioninline
Linear_Expression(Coefficient_traits::const_reference n, Representation r=default_representation)Parma_Polyhedra_Library::Linear_Expressionexplicit
Linear_Expression(Variable v, Representation r=default_representation)Parma_Polyhedra_Library::Linear_Expression
Linear_Expression(const Linear_Expression &e, dimension_type space_dim)Parma_Polyhedra_Library::Linear_Expression
Linear_Expression(const Linear_Expression &e, dimension_type space_dim, Representation r)Parma_Polyhedra_Library::Linear_Expression
lower_bound(Variable v) const Parma_Polyhedra_Library::Linear_Expressioninline
m_swap(Artificial_Parameter &y)Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameterinline
Parma_Polyhedra_Library::Linear_Expression::m_swap(Linear_Expression &y)Parma_Polyhedra_Library::Linear_Expressioninline
max_space_dimension()Parma_Polyhedra_Library::Linear_Expressionstatic
neg_assign(Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expressionrelated
neg_assign(Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expressionrelated
normalize()Parma_Polyhedra_Library::Linear_Expressioninline
OK() const Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter
operator!=(const Artificial_Parameter &y) const Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter
operator*(Coefficient_traits::const_reference n, const Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expressionrelated
operator*(const Linear_Expression &e, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Linear_Expressionrelated
operator*(const Linear_Expression &e, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Linear_Expressionrelated
operator*(Coefficient_traits::const_reference n, const Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expressionrelated
operator*=(Linear_Expression &e, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Linear_Expressionrelated
operator*=(Linear_Expression &e, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+(const Linear_Expression &e1, const Linear_Expression &e2)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+(Variable v, Variable w)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+(Variable v, const Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+(const Linear_Expression &e, Variable v)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+(Coefficient_traits::const_reference n, const Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+(const Linear_Expression &e, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+(const Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+(const Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+(const Linear_Expression &e, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+(const Linear_Expression &e, const Variable v)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+(const Linear_Expression &e1, const Linear_Expression &e2)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+(const Variable v, const Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+(Coefficient_traits::const_reference n, const Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+(const Variable v, const Variable w)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+=(Linear_Expression &e1, const Linear_Expression &e2)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+=(Linear_Expression &e, Variable v)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+=(Linear_Expression &e, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+=(Linear_Expression &e, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+=(Linear_Expression &e1, const Linear_Expression &e2)Parma_Polyhedra_Library::Linear_Expressionrelated
operator+=(Linear_Expression &e, const Variable v)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-(const Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-(const Linear_Expression &e1, const Linear_Expression &e2)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-(Variable v, Variable w)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-(Variable v, const Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-(const Linear_Expression &e, Variable v)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-(Coefficient_traits::const_reference n, const Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-(const Linear_Expression &e, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-(const Linear_Expression &e, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-(const Variable v, const Variable w)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-(const Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-(const Linear_Expression &e1, const Linear_Expression &e2)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-(const Variable v, const Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-(const Linear_Expression &e, const Variable v)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-(Coefficient_traits::const_reference n, const Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-=(Linear_Expression &e1, const Linear_Expression &e2)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-=(Linear_Expression &e, Variable v)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-=(Linear_Expression &e, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-=(Linear_Expression &e, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-=(Linear_Expression &e1, const Linear_Expression &e2)Parma_Polyhedra_Library::Linear_Expressionrelated
operator-=(Linear_Expression &e, const Variable v)Parma_Polyhedra_Library::Linear_Expressionrelated
operator/=(Linear_Expression &e, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Linear_Expressionrelated
operator/=(Linear_Expression &e, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Linear_Expressionrelated
operator<<(std::ostream &os, const PIP_Tree_Node::Artificial_Parameter &x)Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameterrelated
Parma_Polyhedra_Library::Linear_Expression::operator<<(std::ostream &s, const Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expressionrelated
operator=(const Linear_Expression &e)Parma_Polyhedra_Library::Linear_Expressioninline
operator==(const Artificial_Parameter &y) const Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter
permute_space_dimensions(const std::vector< Variable > &cycle)Parma_Polyhedra_Library::Linear_Expressioninline
print() const Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter
raw_type typedefParma_Polyhedra_Library::Linear_Expression
remove_space_dimensions(const Variables_Set &vars)Parma_Polyhedra_Library::Linear_Expressioninline
representation() const Parma_Polyhedra_Library::Linear_Expressioninline
set_coefficient(Variable v, Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Linear_Expressioninline
set_inhomogeneous_term(Coefficient_traits::const_reference n)Parma_Polyhedra_Library::Linear_Expressioninline
set_representation(Representation r)Parma_Polyhedra_Library::Linear_Expression
set_space_dimension(dimension_type n)Parma_Polyhedra_Library::Linear_Expressioninline
shift_space_dimensions(Variable v, dimension_type n)Parma_Polyhedra_Library::Linear_Expressioninline
sign_normalize()Parma_Polyhedra_Library::Linear_Expressioninline
space_dimension() const Parma_Polyhedra_Library::Linear_Expressioninline
sub_mul_assign(Linear_Expression &e1, Coefficient_traits::const_reference factor, const Linear_Expression &e2)Parma_Polyhedra_Library::Linear_Expressionrelated
sub_mul_assign(Linear_Expression &e, Coefficient_traits::const_reference n, Variable v)Parma_Polyhedra_Library::Linear_Expressionrelated
sub_mul_assign(Linear_Expression &e, Coefficient_traits::const_reference n, const Variable v)Parma_Polyhedra_Library::Linear_Expressionrelated
swap(PIP_Tree_Node::Artificial_Parameter &x, PIP_Tree_Node::Artificial_Parameter &y)Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameterrelated
swap(PIP_Tree_Node::Artificial_Parameter &x, PIP_Tree_Node::Artificial_Parameter &y)Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameterrelated
Parma_Polyhedra_Library::Linear_Expression::swap(Linear_Expression &x, Linear_Expression &y)Parma_Polyhedra_Library::Linear_Expressionrelated
swap_space_dimensions(Variable v1, Variable v2)Parma_Polyhedra_Library::Linear_Expressioninline
total_memory_in_bytes() const Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter
zero()Parma_Polyhedra_Library::Linear_Expressioninlinestatic
~Linear_Expression()Parma_Polyhedra_Library::Linear_Expressioninline