apron::linexpr0::iterator Class Reference

Iterator to traverse and mutate a linear expression. More...

#include <apxx_linexpr0.hh>

Inherits apron::linexpr0::const_iterator.

Public Member Functions
	iterator (linexpr0 &e)
	Starts a new iterator to traverse the linear expression.
	iterator (const iterator &i)
	Duplicates the iterator.
iterator &	operator= (const iterator &i)
	Assigns the iterator.
coeff &	get_coeff () const
	Returns a (modifiable) reference to the coefficient at the current iterator position.
Public Member Functions inherited from apron::linexpr0::const_iterator
	const_iterator (const linexpr0 &e)
	Starts a new iterator to traverse the linear expression.
	const_iterator (const const_iterator &i)
	Duplicates the iterator.
const_iterator &	operator= (const const_iterator &i)
	Assigns the iterator.
ap_dim_t	get_dim () const
	Returns the dimension of the coefficient at the current iterator position.
const coeff &	get_coeff () const
	Returns a reference to the coefficient at the current iterator position.
void	next ()
	Moves the iterator to the following position.
void	operator++ ()
	Moves the iterator to the following position.
bool	valid () const
	Whether we are at a valid position (true) or past the last iterator position (false).

Protected Member Functions
	iterator (ap_linexpr0_t *l)
	Internal use only.
Protected Member Functions inherited from apron::linexpr0::const_iterator
void	skip_AP_DIM_MAX ()
	Internal use only. Skips free coefficients in sparse expressions.
	const_iterator (ap_linexpr0_t *l)
	Internal use only.

Additional Inherited Members
Protected Attributes inherited from apron::linexpr0::const_iterator
ap_linexpr0_t *	l
	Internal use only. Pointer to the underlying APRON structure.
ap_dim_t	pos
	Internal use only. Current index.

Detailed Description

Iterator to traverse and mutate a linear expression.

As const_iterator, but for non-constant linexpr0.

Caution: do not modify the expression during traversal, except through the iterator.

Sample code:

for (linexpr0::iterator i = m.begin();i.valid();++i) i.get_coeff().neg(); 

Constructor & Destructor Documentation

iterator() [1/3]

apron::linexpr0::iterator::iterator ( ap_linexpr0_t * l )

inlineprotected

Internal use only.

iterator() [2/3]

linexpr0::iterator::iterator ( linexpr0 & e )

inline

Starts a new iterator to traverse the linear expression.

iterator() [3/3]

linexpr0::iterator::iterator ( const iterator & i )

inline

Duplicates the iterator.

Member Function Documentation

get_coeff()

coeff & linexpr0::iterator::get_coeff ( ) const

inline

Returns a (modifiable) reference to the coefficient at the current iterator position.

Exceptions

std::out_of_range

if valid() returns false (we are past the last position).

operator=()

linexpr0::iterator & linexpr0::iterator::operator= ( const iterator & i )

inline

Assigns the iterator.

---

The documentation for this class was generated from the following files:

• /home/mine/apron/apronxx/apxx_linexpr0.hh
• /home/mine/apron/apronxx/apxx_linexpr0_inline.hh