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

#include <ppl.hh>

Inherits iterator< std::forward_iterator_tag, Constraint, std::ptrdiff_t, const Constraint *, const Constraint & >.

Public Member Functions
	Constraint_System_const_iterator ()
	Default constructor.

	Constraint_System_const_iterator (const Constraint_System_const_iterator &y)
	Ordinary copy constructor.

	~Constraint_System_const_iterator ()
	Destructor.

Constraint_System_const_iterator &	operator= (const Constraint_System_const_iterator &y)
	Assignment operator.

const Constraint &	operator* () const
	Dereference operator.

const Constraint *	operator-> () const
	Indirect member selector.

Constraint_System_const_iterator &	operator++ ()
	Prefix increment operator.

Constraint_System_const_iterator	operator++ (int)
	Postfix increment operator.

bool	operator== (const Constraint_System_const_iterator &y) const
	Returns `true` if and only if `*this` and `y` are identical.

bool	operator!= (const Constraint_System_const_iterator &y) const
	Returns `true` if and only if `*this` and `y` are different.

Detailed Description

An iterator over a system of constraints.

A const_iterator is used to provide read-only access to each constraint contained in a Constraint_System object.

Example: The following code prints the system of constraints defining the polyhedron ph:
const Constraint_System& cs = ph.constraints();

for (Constraint_System::const_iterator i = cs.begin(),

cs_end = cs.end(); i != cs_end; ++i)

cout << *i << endl;

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

Public Member Functions