PPL  1.0
Parma_Polyhedra_Library::Constraint_System_const_iterator Class Reference

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

#include <ppl.hh>

List of all members.

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_iteratoroperator= (const Constraint_System_const_iterator &y)
 Assignment operator.
const Constraintoperator* () const
 Dereference operator.
const Constraintoperator-> () const
 Indirect member selector.
Constraint_System_const_iteratoroperator++ ()
 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: