PPL 1.0

- Main Page
- Related Pages
- Modules
- Namespaces
- Classes

- Class List
- Class Hierarchy
- Class Members

Public Member Functions
Parma_Polyhedra_Library::Constraint_System_const_iterator Class Reference
C++ Language Interface

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_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:

- ppl.hh