PPL  1.2
Parma_Polyhedra_Library::Linear_Expression_Interface Member List

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

add_mul_assign(Coefficient_traits::const_reference n, const Variable v)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
add_mul_assign(Coefficient_traits::const_reference factor, const Linear_Expression_Interface &e2)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
all_homogeneous_terms_are_zero() const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
all_zeroes(const Variables_Set &vars) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
all_zeroes(dimension_type start, dimension_type end) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
all_zeroes_except(const Variables_Set &vars, dimension_type start, dimension_type end) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
ascii_dump(std::ostream &s) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
ascii_load(std::istream &s)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
begin() const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
coefficient(Variable v) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
compare(const Linear_Expression_Interface &y) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacerelated
end() const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
exact_div_assign(Coefficient_traits::const_reference c, dimension_type start, dimension_type end)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
external_memory_in_bytes() const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
first_nonzero(dimension_type first, dimension_type last) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
gcd(dimension_type start, dimension_type end) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
get(dimension_type i) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
get_row(Dense_Row &r) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
get_row(Sparse_Row &r) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
has_a_free_dimension_helper(std::set< dimension_type > &x) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
have_a_common_variable(const Linear_Expression_Interface &x, Variable first, Variable last) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
inhomogeneous_term() const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
is_equal_to(const Linear_Expression_Interface &x) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
is_equal_to(const Linear_Expression_Interface &x, dimension_type start, dimension_type end) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
is_equal_to(const Linear_Expression_Interface &x, Coefficient_traits::const_reference c1, Coefficient_traits::const_reference c2, dimension_type start, dimension_type end) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
is_zero() const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
last_nonzero() const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
last_nonzero(dimension_type first, dimension_type last) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
linear_combine(const Linear_Expression_Interface &y, Variable v)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
linear_combine(const Linear_Expression_Interface &y, Coefficient_traits::const_reference c1, Coefficient_traits::const_reference c2)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
linear_combine(const Linear_Expression_Interface &y, dimension_type i)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
linear_combine(const Linear_Expression_Interface &y, Coefficient_traits::const_reference c1, Coefficient_traits::const_reference c2, dimension_type start, dimension_type end)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
linear_combine_lax(const Linear_Expression_Interface &y, Coefficient_traits::const_reference c1, Coefficient_traits::const_reference c2)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
linear_combine_lax(const Linear_Expression_Interface &y, Coefficient_traits::const_reference c1, Coefficient_traits::const_reference c2, dimension_type start, dimension_type end)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
lower_bound(Variable v) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
mul_assign(Coefficient_traits::const_reference n, dimension_type start, dimension_type end)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
negate(dimension_type first, dimension_type last)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
negate()=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
normalize()=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
num_zeroes(dimension_type start, dimension_type end) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
OK() const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
operator*=(Coefficient_traits::const_reference n)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
operator+=(Coefficient_traits::const_reference n)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
operator+=(const Linear_Expression_Interface &e2)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
operator+=(const Variable v)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
operator-=(Coefficient_traits::const_reference n)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
operator-=(const Linear_Expression_Interface &e2)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
operator-=(const Variable v)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
operator/=(Coefficient_traits::const_reference n)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
permute_space_dimensions(const std::vector< Variable > &cycle)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
print(std::ostream &s) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
remove_space_dimensions(const Variables_Set &vars)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
representation() const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
scalar_product_assign(Coefficient &result, const Linear_Expression_Interface &y, dimension_type start, dimension_type end) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
scalar_product_sign(const Linear_Expression_Interface &y, dimension_type start, dimension_type end) const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
set(dimension_type i, Coefficient_traits::const_reference n)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
set_coefficient(Variable v, Coefficient_traits::const_reference n)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
set_inhomogeneous_term(Coefficient_traits::const_reference n)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
set_space_dimension(dimension_type n)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
shift_space_dimensions(Variable v, dimension_type n)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
sign_normalize()=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
space_dimension() const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
sub_mul_assign(Coefficient_traits::const_reference n, const Variable v)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
sub_mul_assign(Coefficient_traits::const_reference factor, const Linear_Expression_Interface &e2)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
swap_space_dimensions(Variable v1, Variable v2)=0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
total_memory_in_bytes() const =0Parma_Polyhedra_Library::Linear_Expression_Interfacepure virtual
~Linear_Expression_Interface()Parma_Polyhedra_Library::Linear_Expression_Interfacevirtual