44 namespace Gecode {
namespace Set {
namespace Rel {
46 template<
class View0,
class View1>
52 template<
class View0,
class View1>
58 template<
class View0,
class View1>
64 template<
class View0,
class View1>
67 return new (home)
Subset(home,share,*
this);
70 template<
class View0,
class View1>
73 bool oneassigned = x0.assigned() || x1.assigned();
74 unsigned int x0glbsize;
80 x0glbsize = x0.glbSize();
83 }
while (x0.glbSize() > x0glbsize);
85 if (x0.cardMin() == x1.cardMax())