
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.