Parma_Polyhedra_Library::Congruence_System::const_iterator Class Reference

An iterator over a system of congruences. More...

#include <Congruence_System_defs.hh>

Inheritance diagram for Parma_Polyhedra_Library::Congruence_System::const_iterator:

Collaboration diagram for Parma_Polyhedra_Library::Congruence_System::const_iterator:

Public Member Functions
	const_iterator ()
	Default constructor. More...
	const_iterator (const const_iterator &y)
	Ordinary copy constructor. More...
	~const_iterator ()
	Destructor. More...
const_iterator &	operator= (const const_iterator &y)
	Assignment operator. More...
const Congruence &	operator* () const
	Dereference operator. More...
const Congruence *	operator-> () const
	Indirect member selector. More...
const_iterator &	operator++ ()
	Prefix increment operator. More...
const_iterator	operator++ (int)
	Postfix increment operator. More...
bool	operator== (const const_iterator &y) const
	Returns true if and only if *this and y are identical. More...
bool	operator!= (const const_iterator &y) const
	Returns true if and only if *this and y are different. More...

Private Member Functions
	const_iterator (const Swapping_Vector< Congruence >::const_iterator &iter, const Congruence_System &cgs)
	Constructor. More...
void	skip_forward ()
	*this skips to the next non-trivial congruence. More...

Private Attributes
Swapping_Vector< Congruence >::const_iterator	i
	The const iterator over the vector of congruences. More...
const Swapping_Vector< Congruence > *	csp
	A const pointer to the vector of congruences. More...

Friends
class	Congruence_System

Detailed Description

An iterator over a system of congruences.

A const_iterator is used to provide read-only access to each congruence contained in an object of Congruence_System.

Example

The following code prints the system of congruences defining the grid gr:

const Congruence_System& cgs = gr.congruences();
for (Congruence_System::const_iterator i = cgs.begin(),
       cgs_end = cgs.end(); i != cgs_end; ++i)
  cout << *i << endl;

Definition at line 250 of file Congruence_System_defs.hh.

Constructor & Destructor Documentation

Parma_Polyhedra_Library::Congruence_System::const_iterator::const_iterator ( )

inline

Default constructor.

Definition at line 168 of file Congruence_System_inlines.hh.

  : i(), csp(0) {
}

Parma_Polyhedra_Library::Congruence_System::const_iterator::const_iterator ( const const_iterator &  y )

inline

Ordinary copy constructor.

Definition at line 173 of file Congruence_System_inlines.hh.

  : i(y.i), csp(y.csp) {
}

Parma_Polyhedra_Library::Congruence_System::const_iterator::~const_iterator ( )

inline

Destructor.

Definition at line 178 of file Congruence_System_inlines.hh.

                                                 {
}

Parma_Polyhedra_Library::Congruence_System::const_iterator::const_iterator ( const Swapping_Vector< Congruence >::const_iterator &  iter, const Congruence_System &  cgs  )

inlineprivate

Constructor.

Definition at line 224 of file Congruence_System_inlines.hh.

  : i(iter), csp(&cgs.rows) {
}

Member Function Documentation

bool Parma_Polyhedra_Library::Congruence_System::const_iterator::operator!= ( const const_iterator &  y ) const

inline

Returns true if and only if *this and y are different.

Definition at line 218 of file Congruence_System_inlines.hh.

References i.

                                                                         {
  return i != y.i;
}

const Congruence & Parma_Polyhedra_Library::Congruence_System::const_iterator::operator* ( ) const

inline

Dereference operator.

Definition at line 189 of file Congruence_System_inlines.hh.

                                                 {
  return *i;
}

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

inline

Prefix increment operator.

Definition at line 199 of file Congruence_System_inlines.hh.

                                            {
  ++i;
  skip_forward();
  return *this;
}

Congruence_System::const_iterator Parma_Polyhedra_Library::Congruence_System::const_iterator::operator++ ( int  )

inline

Postfix increment operator.

Definition at line 206 of file Congruence_System_inlines.hh.

                                               {
  const const_iterator tmp = *this;
  operator++();
  return tmp;
}

const Congruence * Parma_Polyhedra_Library::Congruence_System::const_iterator::operator-> ( ) const

inline

Indirect member selector.

Definition at line 194 of file Congruence_System_inlines.hh.

                                                  {
  return i.operator->();
}

Congruence_System::const_iterator & Parma_Polyhedra_Library::Congruence_System::const_iterator::operator= ( const const_iterator &  y )

inline

Assignment operator.

Definition at line 182 of file Congruence_System_inlines.hh.

References csp, and i.

                                                                  {
  i = y.i;
  csp = y.csp;
  return *this;
}

bool Parma_Polyhedra_Library::Congruence_System::const_iterator::operator== ( const const_iterator &  y ) const

inline

Returns true if and only if *this and y are identical.

Definition at line 213 of file Congruence_System_inlines.hh.

References i.

                                                                         {
  return i == y.i;
}

void Parma_Polyhedra_Library::Congruence_System::const_iterator::skip_forward ( )

private

*this skips to the next non-trivial congruence.

Definition at line 243 of file Congruence_System.cc.

References Parma_Polyhedra_Library::Congruence_System::end().

Referenced by Parma_Polyhedra_Library::Congruence_System::begin().

                                                 {
  const Swapping_Vector<Congruence>::const_iterator csp_end = csp->end();
  while (i != csp_end && (*this)->is_tautological()) {
    ++i;
  }
}

Friends And Related Function Documentation

friend class Congruence_System

friend

Definition at line 294 of file Congruence_System_defs.hh.

Member Data Documentation

const Swapping_Vector<Congruence>* Parma_Polyhedra_Library::Congruence_System::const_iterator::csp

private

A const pointer to the vector of congruences.

Definition at line 300 of file Congruence_System_defs.hh.

Referenced by operator=().

Swapping_Vector<Congruence>::const_iterator Parma_Polyhedra_Library::Congruence_System::const_iterator::i

private

The const iterator over the vector of congruences.

Definition at line 297 of file Congruence_System_defs.hh.

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

---

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

• Congruence_System_defs.hh
• Congruence_System.cc
• Congruence_System_inlines.hh