42 namespace Gecode {
namespace Int {
ViewValues(void)
Default constructor.
Range iterator for integer views.
Value iterator from range iterator.
Node * x
Pointer to corresponding Boolean expression node.
Gecode toplevel namespace
void init(const View &x)
Initialize with values x.