40 namespace Gecode {
namespace Set {
namespace Rel {
42 template<
class View0,
class View1>
48 template<
class View0,
class View1>
54 template<
class View0,
class View1>
61 template<
class View0,
class View1>
64 return new (home)
Subset(home,*
this);
67 template<
class View0,
class View1>
70 bool oneassigned = x0.assigned() || x1.assigned();
71 unsigned int x0glbsize;
77 x0glbsize = x0.glbSize();
80 }
while (x0.glbSize() > x0glbsize);
82 if (x0.cardMin() == x1.cardMax())