44 namespace Gecode {
namespace Set {
namespace RelOp {
46 template<
class View0,
class View1,
class View2>
49 (
Home home, View0 y0, View1 y1, View2 y2)
53 template<
class View0,
class View1,
class View2>
60 template<
class View0,
class View1,
class View2>
63 View0 x0, View1 x1, View2 x2) {
68 template<
class View0,
class View1,
class View2>
74 template<
class View0,
class View1,
class View2>
78 bool allassigned = x0.assigned() && x1.assigned() && x2.assigned();
84 bool modified =
false;
130 if (m < x0.cardMin() + x1.cardMin()) {
133 x0.cardMin()+x1.cardMin() - m ) );
135 if (m + x2.cardMax() > x1.cardMin()) {
138 m+x2.cardMax()-x1.cardMin() ) );
140 if (m + x2.cardMax() > x0.cardMin()) {
143 m+x2.cardMax()-x0.cardMin() ) );
156 if (x0.assigned() + x1.assigned() + x2.assigned() >= 2) {