Public Member Functions | List of all members
ConstrGraph::leIterator Class Reference


Definition at line 548 of file ConstrGraph.h.

Public Member Functions

 leIterator (const ConstrGraph *parent, const std::map< varID, std::map< varID, affineInequality > >::iterator &curX)
 leIterator (const ConstrGraph *parent, const varID &x)
bool isDone () const
varAffineInequality operator* () const
void operator++ ()
void operator++ (int)
bool operator== (const leIterator &otherIt) const
bool operator!= (const leIterator &otherIt) const

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