Range iterator for integer views.
void init(const View &x)
Initialize with values x.
ViewValues(void)
Default constructor.
Value iterator from range iterator.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
Post propagator for SetVar x