PPL  1.0
Parma_Polyhedra_Library::Linear_Expression_Interface::const_iterator_interface Class Reference

#include <ppl.hh>

List of all members.

Public Member Functions

virtual const_iterator_interfaceclone () const =0
virtual void operator++ ()=0
virtual void operator-- ()=0
virtual reference operator* () const =0
 Returns the current element.
virtual Variable variable () const =0
 Returns the variable of the coefficient pointed to by *this.
virtual bool operator== (const const_iterator_interface &x) const =0
 Compares *this with x .

Detailed Description

An interface for const iterators on the expression (homogeneous) coefficients that are nonzero.

These iterators are invalidated by operations that modify the expression.


Member Function Documentation

virtual const_iterator_interface* Parma_Polyhedra_Library::Linear_Expression_Interface::const_iterator_interface::clone ( ) const
pure virtual

Returns a copy of *this. This returns a pointer to dynamic-allocated memory. The caller has the duty to free the memory when it's not needed anymore.

virtual void Parma_Polyhedra_Library::Linear_Expression_Interface::const_iterator_interface::operator++ ( )
pure virtual

Navigates to the next nonzero coefficient. Note that this method does *not* return a reference, to increase efficiency since it's virtual.

virtual void Parma_Polyhedra_Library::Linear_Expression_Interface::const_iterator_interface::operator-- ( )
pure virtual

Navigates to the previous nonzero coefficient. Note that this method does *not* return a reference, to increase efficiency since it's virtual.

virtual Variable Parma_Polyhedra_Library::Linear_Expression_Interface::const_iterator_interface::variable ( ) const
pure virtual

Returns the variable of the coefficient pointed to by *this.

Returns:
the variable of the coefficient pointed to by *this.
virtual bool Parma_Polyhedra_Library::Linear_Expression_Interface::const_iterator_interface::operator== ( const const_iterator_interface x) const
pure virtual

Compares *this with x .

Parameters:
xThe iterator that will be compared with *this.

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