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