
Iterator for integer consistency levels. More...
#include <int.hh>
Public Member Functions | |
| IntConLevels (void) | |
| Initialize iterator. | |
| bool | operator() (void) const |
| Test whether iterator is done. | |
| void | operator++ (void) |
| Increment to next level. | |
| Gecode::IntConLevel | icl (void) const |
| Return current level. | |
| Test::Int::IntConLevels::IntConLevels | ( | void | ) | [inline] |
| bool Test::Int::IntConLevels::operator() | ( | void | ) | const [inline] |
| void Test::Int::IntConLevels::operator++ | ( | void | ) | [inline] |
| Gecode::IntConLevel Test::Int::IntConLevels::icl | ( | void | ) | const [inline] |