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