42 namespace Gecode {
namespace Set {
namespace Rel {
49 template<
class View0,
class View1>
55 template<
class View0,
class View1>
62 template<
class View0,
class View1>
71 template<
class View0,
class View1>
77 template<
class View0,
class View1>
84 if (x0.cardMin()>x1.cardMax()) {
return home.
ES_SUBSUMED(*
this); }
90 if (breakers.
min() == breakers.
max()) {
91 int b1 = breakers.
min();
93 if (breakers()) {
return ES_FIX; }