#include <Linear_Expression_defs.hh>

Collaboration diagram for Parma_Polyhedra_Library::Linear_Expression::const_iterator:

Public Types
typedef std::bidirectional_iterator_tag	iterator_category

typedef const Coefficient	value_type

typedef std::ptrdiff_t	difference_type

typedef value_type *	pointer

typedef Coefficient_traits::const_reference	reference

Public Member Functions
	const_iterator ()
	Constructs an invalid const_iterator. More...

	const_iterator (const const_iterator &i)
	The copy constructor. More...

	~const_iterator ()

void	m_swap (const_iterator &i)
	Swaps `i` with `*this`. More...

const_iterator &	operator= (const const_iterator &i)
	Assigns `i` to *this . More...

const_iterator &	operator++ ()
	Navigates to the next nonzero coefficient. More...

const_iterator &	operator-- ()
	Navigates to the previous nonzero coefficient. More...

reference	operator* () const
	Returns the current element. More...

Variable	variable () const
	Returns the variable of the coefficient pointed to by `*this`. More...

bool	operator== (const const_iterator &i) const
	Compares `*this` with `i`. More...

bool	operator!= (const const_iterator &i) const
	Compares `*this` with `i` . More...

Private Member Functions
	const_iterator (Linear_Expression_Interface::const_iterator_interface *i)

Private Attributes
Linear_Expression_Interface::const_iterator_interface *	itr

Friends
class	Linear_Expression

Related Functions
(Note that these are not member functions.)
void	swap (Linear_Expression::const_iterator &x, Linear_Expression::const_iterator &y)
	Swaps `x` with `y`. More...

void	swap (Linear_Expression::const_iterator &x, Linear_Expression::const_iterator &y)

Detailed Description

A const iterator on the expression (homogeneous) coefficient that are nonzero.

These iterators are invalidated by operations that modify the expression.

Definition at line 395 of file Linear_Expression_defs.hh.

Member Typedef Documentation

typedef std::ptrdiff_t Parma_Polyhedra_Library::Linear_Expression::const_iterator::difference_type

Definition at line 400 of file Linear_Expression_defs.hh.

typedef std::bidirectional_iterator_tag Parma_Polyhedra_Library::Linear_Expression::const_iterator::iterator_category

Definition at line 398 of file Linear_Expression_defs.hh.

typedef value_type* Parma_Polyhedra_Library::Linear_Expression::const_iterator::pointer

Definition at line 401 of file Linear_Expression_defs.hh.

typedef Coefficient_traits::const_reference Parma_Polyhedra_Library::Linear_Expression::const_iterator::reference

Definition at line 402 of file Linear_Expression_defs.hh.

typedef const Coefficient Parma_Polyhedra_Library::Linear_Expression::const_iterator::value_type

Definition at line 399 of file Linear_Expression_defs.hh.

Constructor & Destructor Documentation

Parma_Polyhedra_Library::Linear_Expression::const_iterator::const_iterator ( )

inlineexplicit

Constructs an invalid const_iterator.

This constructor takes $O(1)$ time.

Definition at line 623 of file Linear_Expression_inlines.hh.

624 : itr(NULL) {

625 }

Parma_Polyhedra_Library::Linear_Expression::const_iterator::itr

Linear_Expression_Interface::const_iterator_interface * itr

Definition: Linear_Expression_defs.hh:481

Parma_Polyhedra_Library::Linear_Expression::const_iterator::const_iterator ( const const_iterator & i )

inline

The copy constructor.

Parameters

i	The iterator that will be copied.

This constructor takes $O(1)$ time.

Definition at line 629 of file Linear_Expression_inlines.hh.

630 : itr(i.itr->clone()) {

631 }

Parma_Polyhedra_Library::Linear_Expression::const_iterator::itr

Linear_Expression_Interface::const_iterator_interface * itr

Definition: Linear_Expression_defs.hh:481

Parma_Polyhedra_Library::Linear_Expression::const_iterator::~const_iterator ( )

inline

Definition at line 635 of file Linear_Expression_inlines.hh.

                   {
   // Note that this does nothing if itr == NULL.
   delete itr;
 }

Parma_Polyhedra_Library::Linear_Expression::const_iterator::const_iterator ( Linear_Expression_Interface::const_iterator_interface * i )

inlineprivate

Constructor from a const_iterator_interface*. The new object takes ownership of the dynamic object.

Definition at line 701 of file Linear_Expression_inlines.hh.

   : itr(i) {
   PPL_ASSERT(i != NULL);
 }

Member Function Documentation

void Parma_Polyhedra_Library::Linear_Expression::const_iterator::m_swap ( const_iterator & i )

inline

Swaps i with *this.

Parameters

i	The iterator that will be swapped with `*this`.

This method takes $O(1)$ time.

Definition at line 641 of file Linear_Expression_inlines.hh.

References itr, Parma_Polyhedra_Library::swap(), and Parma_Polyhedra_Library::Linear_Expression::swap().

Referenced by swap().

                                                          {
   using std::swap;
   swap(itr, i.itr);
 }

bool Parma_Polyhedra_Library::Linear_Expression::const_iterator::operator!= ( const const_iterator & i ) const

inline

Compares *this with i .

Parameters

i	The iterator that will be compared with *this.

Definition at line 695 of file Linear_Expression_inlines.hh.

                                           {
   return !(*this == i);
 }

Linear_Expression::const_iterator::reference Parma_Polyhedra_Library::Linear_Expression::const_iterator::operator* ( ) const

inline

Returns the current element.

Definition at line 673 of file Linear_Expression_inlines.hh.

                   {
   PPL_ASSERT(itr != NULL);
   return *(*itr);
 }

Linear_Expression::const_iterator & Parma_Polyhedra_Library::Linear_Expression::const_iterator::operator++ ( )

inline

Navigates to the next nonzero coefficient.

This method takes $O(n)$ time for dense expressions, and $O(1)$ time for sparse expressions.

Definition at line 657 of file Linear_Expression_inlines.hh.

              {
   PPL_ASSERT(itr != NULL);
   ++(*itr);
   return *this;
 }

Linear_Expression::const_iterator & Parma_Polyhedra_Library::Linear_Expression::const_iterator::operator-- ( )

inline

Navigates to the previous nonzero coefficient.

This method takes $O(n)$ time for dense expressions, and $O(1)$ time for sparse expressions.

Definition at line 665 of file Linear_Expression_inlines.hh.

              {
   PPL_ASSERT(itr != NULL);
   --(*itr);
   return *this;
 }

Linear_Expression::const_iterator & Parma_Polyhedra_Library::Linear_Expression::const_iterator::operator= ( const const_iterator & i )

inline

Assigns i to *this .

Parameters

i	The iterator that will be assigned into *this.

This method takes $O(1)$ time.

Definition at line 648 of file Linear_Expression_inlines.hh.

References Parma_Polyhedra_Library::swap(), and Parma_Polyhedra_Library::Linear_Expression::swap().

                                    {
   const_iterator tmp = i;
   using std::swap;
   swap(*this, tmp);
   return *this;
 }

bool Parma_Polyhedra_Library::Linear_Expression::const_iterator::operator== ( const const_iterator & i ) const

inline

Compares *this with i.

Parameters

i	The iterator that will be compared with *this.

Definition at line 687 of file Linear_Expression_inlines.hh.

References itr.

                                           {
   PPL_ASSERT(itr != NULL);
   PPL_ASSERT(i.itr != NULL);
   return *itr == *(i.itr);
 }

Variable Parma_Polyhedra_Library::Linear_Expression::const_iterator::variable ( ) const

inline

Returns the variable of the coefficient pointed to by *this.

Returns: the variable of the coefficient pointed to by *this.

Definition at line 680 of file Linear_Expression_inlines.hh.

Referenced by Parma_Polyhedra_Library::Polyhedron::modify_according_to_evolution().

                  {
   PPL_ASSERT(itr != NULL);
   return itr->variable();
 }

Friends And Related Function Documentation

friend class Linear_Expression

friend

Definition at line 483 of file Linear_Expression_defs.hh.

void swap	(	Linear_Expression::const_iterator &	x,
		Linear_Expression::const_iterator &	y
	)

References m_swap().

                                          {
   x.m_swap(y);
 }

void swap	(	Linear_Expression::const_iterator &	x,
		Linear_Expression::const_iterator &	y
	)

Member Data Documentation

Linear_Expression_Interface::const_iterator_interface* Parma_Polyhedra_Library::Linear_Expression::const_iterator::itr

private

Definition at line 481 of file Linear_Expression_defs.hh.

Referenced by m_swap(), and operator==().

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

Public Types

Public Member Functions

Private Member Functions

Private Attributes

Friends

Related Functions

Detailed Description

Member Typedef Documentation

Constructor & Destructor Documentation

Member Function Documentation

Friends And Related Function Documentation

Member Data Documentation