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