
Iterator for simple integer propagation levels. More...
#include <int.hh>
Public Member Functions | |
| IntPropLevels (void) | |
| Initialize iterator. More... | |
| bool | operator() (void) const |
| Test whether iterator is done. More... | |
| void | operator++ (void) |
| Increment to next level. More... | |
| Gecode::IntPropLevel | ipl (void) const |
| Return current level. More... | |
|
inline |
|
inline |
|
inline |
|
inline |