Parma_Polyhedra_Library::Dense_Row::const_iterator Class Reference

#include <Dense_Row_defs.hh>

Collaboration diagram for Parma_Polyhedra_Library::Dense_Row::const_iterator:

Public Types
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 ()
	const_iterator (const Dense_Row &r, dimension_type i)
Coefficient_traits::const_reference	operator* () const
dimension_type	index () const
	Returns the index of the element pointed to by *this. More...
const_iterator &	operator++ ()
const_iterator	operator++ (int)
const_iterator &	operator-- ()
const_iterator	operator-- (int)
bool	operator== (const const_iterator &x) const
bool	operator!= (const const_iterator &x) const
bool	OK () const

Private Attributes
const Dense_Row *	row
dimension_type	idx

Detailed Description

Definition at line 474 of file Dense_Row_defs.hh.

Member Typedef Documentation

typedef std::ptrdiff_t Parma_Polyhedra_Library::Dense_Row::const_iterator::difference_type

Definition at line 478 of file Dense_Row_defs.hh.

typedef value_type* Parma_Polyhedra_Library::Dense_Row::const_iterator::pointer

Definition at line 479 of file Dense_Row_defs.hh.

typedef Coefficient_traits::const_reference Parma_Polyhedra_Library::Dense_Row::const_iterator::reference

Definition at line 480 of file Dense_Row_defs.hh.

typedef const Coefficient Parma_Polyhedra_Library::Dense_Row::const_iterator::value_type

Definition at line 477 of file Dense_Row_defs.hh.

Constructor & Destructor Documentation

Parma_Polyhedra_Library::Dense_Row::const_iterator::const_iterator ( )

inline

Definition at line 432 of file Dense_Row_inlines.hh.

References OK().

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

Parma_Polyhedra_Library::Dense_Row::const_iterator::const_iterator ( const Dense_Row &  r, dimension_type  i  )

inline

Definition at line 438 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::const_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 451 of file Dense_Row_inlines.hh.

                                     {
  return idx;
}

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

inline

Definition at line 496 of file Dense_Row_inlines.hh.

References Parma_Polyhedra_Library::Dense_Row::size().

Referenced by const_iterator().

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

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

inline

Definition at line 491 of file Dense_Row_inlines.hh.

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

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

inline

Definition at line 445 of file Dense_Row_inlines.hh.

References Parma_Polyhedra_Library::Dense_Row::size().

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

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

inline

Definition at line 456 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::const_iterator Parma_Polyhedra_Library::Dense_Row::const_iterator::operator++ ( int  )

inline

Definition at line 464 of file Dense_Row_inlines.hh.

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

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

inline

Definition at line 471 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::const_iterator Parma_Polyhedra_Library::Dense_Row::const_iterator::operator-- ( int  )

inline

Definition at line 479 of file Dense_Row_inlines.hh.

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

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

inline

Definition at line 486 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::const_iterator::idx

private

Definition at line 509 of file Dense_Row_defs.hh.

Referenced by operator==().

const Dense_Row* Parma_Polyhedra_Library::Dense_Row::const_iterator::row

private

Definition at line 508 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