44 namespace Gecode {
namespace Set {
namespace Rel {
46 template<
class View0,
class View1>
51 template<
class View0,
class View1>
57 template<
class View0,
class View1>
76 template<
class View0,
class View1>
82 template<
class View0,
class View1>
85 assert(x0.assigned()||x1.assigned());
106 template<
class View0>
112 template<
class View0>
121 assert(x0.lubSize()-x0.glbSize() >0);
122 if (x0.cardMin()>y.cardMax()) {
return home.
ES_SUBSUMED(*
this); }
123 if (x0.cardMax()<y.cardMin()) {
return home.
ES_SUBSUMED(*
this); }
134 if (x0.lubSize() == y.cardMin() && x0.lubSize() > 0) {
138 if (x0.glbSize() == y.cardMin()) {
145 template<
class View0>
150 template<
class View0>