40 namespace Gecode {
namespace Set {
Range iterator for the greatest lower bound.
void init(const T &x)
Initialize with unknown set ranges for set variable x.
UnknownRanges(void)
Default constructor.
Gecode toplevel namespace
Range iterator for computing set difference.