Parma_Polyhedra_Library::Dense_Row::iterator Class Reference

#include <Dense_Row_defs.hh>

Collaboration diagram for Parma_Polyhedra_Library::Dense_Row::iterator:

Public Types
typedef std::bidirectional_iterator_tag	iterator_category
typedef Coefficient	value_type
typedef std::ptrdiff_t	difference_type
typedef value_type *	pointer
typedef value_type &	reference

Public Member Functions
	iterator ()
	iterator (Dense_Row &r, dimension_type i)
Coefficient &	operator* ()
Coefficient_traits::const_reference	operator* () const
dimension_type	index () const
	Returns the index of the element pointed to by *this. More...
iterator &	operator++ ()
iterator	operator++ (int)
iterator &	operator-- ()
iterator	operator-- (int)
bool	operator== (const iterator &x) const
bool	operator!= (const iterator &x) const
	operator const_iterator () const
bool	OK () const

Private Attributes
Dense_Row *	row
dimension_type	idx

Detailed Description

Definition at line 432 of file Dense_Row_defs.hh.

Member Typedef Documentation

typedef std::ptrdiff_t Parma_Polyhedra_Library::Dense_Row::iterator::difference_type

Definition at line 437 of file Dense_Row_defs.hh.

typedef std::bidirectional_iterator_tag Parma_Polyhedra_Library::Dense_Row::iterator::iterator_category

Definition at line 435 of file Dense_Row_defs.hh.

typedef value_type* Parma_Polyhedra_Library::Dense_Row::iterator::pointer

Definition at line 438 of file Dense_Row_defs.hh.

typedef value_type& Parma_Polyhedra_Library::Dense_Row::iterator::reference

Definition at line 439 of file Dense_Row_defs.hh.

typedef Coefficient Parma_Polyhedra_Library::Dense_Row::iterator::value_type

Definition at line 436 of file Dense_Row_defs.hh.

Constructor & Destructor Documentation

Parma_Polyhedra_Library::Dense_Row::iterator::iterator ( )

inline

Definition at line 348 of file Dense_Row_inlines.hh.

References OK().

  : row(NULL), idx(0) {
  PPL_ASSERT(OK());
}

Parma_Polyhedra_Library::Dense_Row::iterator::iterator ( Dense_Row &  r, dimension_type  i  )

inline

Definition at line 354 of file Dense_Row_inlines.hh.

References OK().

  : row(&r), idx(i) {
  PPL_ASSERT(OK());
}

Member Function Documentation

dimension_type Parma_Polyhedra_Library::Dense_Row::iterator::index ( ) const

inline

Returns the index of the element pointed to by *this.

If itr is a valid iterator for row, row[itr.index()] is equivalent to *itr.

Returns

the index of the element pointed to by *this.

Definition at line 372 of file Dense_Row_inlines.hh.

                               {
  return idx;
}

bool Parma_Polyhedra_Library::Dense_Row::iterator::OK ( ) const

inline

Definition at line 422 of file Dense_Row_inlines.hh.

References Parma_Polyhedra_Library::Dense_Row::size().

Referenced by iterator().

                            {
  if (row == NULL) {
    return true;
  }
  // i can be equal to row.size() for past-the-end iterators
  return (idx <= row->size());
}

Parma_Polyhedra_Library::Dense_Row::iterator::operator const_iterator ( ) const

inline

Definition at line 417 of file Dense_Row_inlines.hh.

                                                 {
  return const_iterator(*row, idx);
}

bool Parma_Polyhedra_Library::Dense_Row::iterator::operator!= ( const iterator &  x ) const

inline

Definition at line 412 of file Dense_Row_inlines.hh.

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

Coefficient & Parma_Polyhedra_Library::Dense_Row::iterator::operator* ( )

inline

Definition at line 360 of file Dense_Row_inlines.hh.

References Parma_Polyhedra_Library::Dense_Row::size().

                             {
  PPL_ASSERT(idx < row->size());
  return (*row)[idx];
}

Coefficient_traits::const_reference Parma_Polyhedra_Library::Dense_Row::iterator::operator* ( ) const

inline

Definition at line 366 of file Dense_Row_inlines.hh.

References Parma_Polyhedra_Library::Dense_Row::size().

                                   {
  PPL_ASSERT(idx < row->size());
  return (*row)[idx];
}

Dense_Row::iterator & Parma_Polyhedra_Library::Dense_Row::iterator::operator++ ( )

inline

Definition at line 377 of file Dense_Row_inlines.hh.

References Parma_Polyhedra_Library::Dense_Row::OK(), and Parma_Polyhedra_Library::Dense_Row::size().

                              {
  PPL_ASSERT(idx < row->size());
  ++idx;
  PPL_ASSERT(OK());
  return *this;
}

Dense_Row::iterator Parma_Polyhedra_Library::Dense_Row::iterator::operator++ ( int  )

inline

Definition at line 385 of file Dense_Row_inlines.hh.

                                 {
  iterator tmp(*this);
  ++(*this);
  return tmp;
}

Dense_Row::iterator & Parma_Polyhedra_Library::Dense_Row::iterator::operator-- ( )

inline

Definition at line 392 of file Dense_Row_inlines.hh.

References Parma_Polyhedra_Library::Dense_Row::OK().

                              {
  PPL_ASSERT(idx > 0);
  --idx;
  PPL_ASSERT(OK());
  return *this;
}

Dense_Row::iterator Parma_Polyhedra_Library::Dense_Row::iterator::operator-- ( int  )

inline

Definition at line 400 of file Dense_Row_inlines.hh.

                                 {
  iterator tmp(*this);
  --(*this);
  return tmp;
}

bool Parma_Polyhedra_Library::Dense_Row::iterator::operator== ( const iterator &  x ) const

inline

Definition at line 407 of file Dense_Row_inlines.hh.

References idx, and row.

                                                     {
  return (row == x.row) && (idx == x.idx);
}

Member Data Documentation

dimension_type Parma_Polyhedra_Library::Dense_Row::iterator::idx

private

Definition at line 471 of file Dense_Row_defs.hh.

Referenced by operator==().

Dense_Row* Parma_Polyhedra_Library::Dense_Row::iterator::row

private

Definition at line 470 of file Dense_Row_defs.hh.

Referenced by operator==().

---

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

• Dense_Row_defs.hh
• Dense_Row_inlines.hh