Iterator for telling variable domains by scanning support. More...
#include <extensional.hh>
Public Member Functions | |
LayerValues (void) | |
Default constructor. More... | |
LayerValues (const Layer &l) | |
Initialize for support of layer l. More... | |
void | init (const Layer &l) |
Initialize for support of layer l. More... | |
bool | operator() (void) const |
Test whether more values supported. More... | |
void | operator++ (void) |
Move to next supported value. More... | |
int | val (void) const |
Return supported value. More... | |
Iterator for telling variable domains by scanning support.
Definition at line 104 of file extensional.hh.
|
inline |
Default constructor.
Definition at line 128 of file layered-graph.hpp.
|
inline |
Initialize for support of layer l.
Definition at line 132 of file layered-graph.hpp.
|
inline |
Initialize for support of layer l.
Definition at line 136 of file layered-graph.hpp.
|
inline |
Test whether more values supported.
Definition at line 142 of file layered-graph.hpp.
|
inline |
Move to next supported value.
Definition at line 147 of file layered-graph.hpp.
|
inline |
Return supported value.
Definition at line 152 of file layered-graph.hpp.