A transparent adapter for Linear_Expression objects. More...

#include <Expression_Adapter_defs.hh>

Inheritance diagram for Parma_Polyhedra_Library::Expression_Adapter_Transparent< T >:

Collaboration diagram for Parma_Polyhedra_Library::Expression_Adapter_Transparent< T >:

Public Types
typedef Expression_Adapter_Transparent< T >	const_reference
	The type of this object. More...

typedef base_type::inner_type	inner_type
	The type obtained by one-level unwrapping. More...

typedef base_type::raw_type	raw_type
	The raw, completely unwrapped type. More...

typedef base_type::const_iterator	const_iterator
	The type of const iterators on coefficients. More...

Public Types inherited from Parma_Polyhedra_Library::Expression_Adapter< T >
typedef Expression_Adapter< T >	const_reference
	The type of this object. More...

typedef T::const_reference	inner_type
	The type obtained by one-level unwrapping. More...

typedef T::raw_type	raw_type
	The raw, completely unwrapped type. More...

typedef raw_type::const_iterator	const_iterator
	The type of const iterators on coefficients. More...

Public Member Functions
	Expression_Adapter_Transparent (const raw_type &expr)
	Constructor. More...

Public Member Functions inherited from Parma_Polyhedra_Library::Expression_Adapter< T >
inner_type	inner () const
	Returns an adapter after one-level unwrapping. More...

Representation	representation () const
	Returns the current representation of `*this`. More...

const_iterator	begin () const
	Iterator pointing to the first nonzero variable coefficient. More...

const_iterator	end () const
	Iterator pointing after the last nonzero variable coefficient. More...

const_iterator	lower_bound (Variable v) const

dimension_type	space_dimension () const
	Returns the dimension of the vector space enclosing `*this`. More...

Coefficient_traits::const_reference	coefficient (Variable v) const
	Returns the coefficient of `v` in `*this`. More...

Coefficient_traits::const_reference	inhomogeneous_term () const
	Returns the inhomogeneous term of `*this`. More...

bool	is_zero () const
	Returns `true` if and only if `*this` is zero. More...

bool	all_homogeneous_terms_are_zero () const
	Returns `true` if and only if all the homogeneous terms of `*this` are zero. More...

template<typename Expression >
bool	is_equal_to (const Expression &y) const
	Returns `true` if `*this` is equal to `y`. More...

bool	all_zeroes (const Variables_Set &vars) const
	Returns `true` if the coefficient of each variable in `vars` is zero. More...

Coefficient_traits::const_reference	get (dimension_type i) const
	Returns the `i` -th coefficient. More...

Coefficient_traits::const_reference	get (Variable v) const
	Returns the coefficient of variable `v`. More...

bool	all_zeroes (dimension_type start, dimension_type end) const
	Returns `true` if (*this)[i] is zero, for each i in [start, end). More...

dimension_type	num_zeroes (dimension_type start, dimension_type end) const
	Returns the number of zero coefficient in [start, end). More...

Coefficient	gcd (dimension_type start, dimension_type end) const
	Returns the gcd of the nonzero coefficients in [start,end). Returns zero if all the coefficients in the range are zero. More...

dimension_type	last_nonzero () const

dimension_type	last_nonzero (dimension_type first, dimension_type last) const

dimension_type	first_nonzero (dimension_type first, dimension_type last) const

bool	all_zeroes_except (const Variables_Set &vars, dimension_type start, dimension_type end) const
	Returns `true` if all coefficients in [start,end), except those corresponding to variables in `vars`, are zero. More...

void	has_a_free_dimension_helper (std::set< dimension_type > &x) const
	Removes from set `x` all the indexes of nonzero elements in `*this`. More...

template<typename Expression >
bool	is_equal_to (const Expression &y, dimension_type start, dimension_type end) const

template<typename Expression >
bool	is_equal_to (const Expression &y, Coefficient_traits::const_reference c1, Coefficient_traits::const_reference c2, dimension_type start, dimension_type end) const

void	get_row (Dense_Row &r) const
	Sets `r` to a copy of the row as adapted by `*this`. More...

void	get_row (Sparse_Row &r) const
	Sets `r` to a copy of the row as adapted by `*this`. More...

template<typename Expression >
bool	have_a_common_variable (const Expression &y, Variable first, Variable last) const

Private Types
typedef Expression_Adapter< T >	base_type

Additional Inherited Members
Protected Member Functions inherited from Parma_Polyhedra_Library::Expression_Adapter< T >
	Expression_Adapter (const raw_type &expr)
	Constructor. More...

Protected Attributes inherited from Parma_Polyhedra_Library::Expression_Adapter< T >
const raw_type &	raw_
	The raw, completely unwrapped object subject to adaptation. More...