ExcNGL(Space &home, SetView x, int n)
Constructor for creation.
IncNGL(Space &home, SetView x, int n)
Constructor for creation.
Set view for set variables
ViewValNGL(Space &home, SetView x, int n)
const Gecode::PropCond PC_SET_ANY
Propagate when any bound or the cardinality of a view changes.
Gecode toplevel namespace