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