Iterator for basic and advanced integer propagation levels. More...
#include <int.hh>
Public Member Functions | |
IntPropBasicAdvanced (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 |