38 namespace Gecode {
namespace Set {
namespace Rel {
40 template<
class View0,
class View1, ReifyMode rm,
bool strict>
50 template<
class View0,
class View1, ReifyMode rm,
bool strict>
54 x0.update(home,share,p.
x0);
55 x1.update(home,share,p.
x1);
59 template<
class View0,
class View1, ReifyMode rm,
bool strict>
66 template<
class View0,
class View1, ReifyMode rm,
bool strict>
76 template<
class View0,
class View1, ReifyMode rm,
bool strict>
84 template<
class View0,
class View1, ReifyMode rm,
bool strict>
90 template<
class View0,
class View1, ReifyMode rm,
bool strict>
104 if (x0.cardMax() == 0) {
105 if ( (!strict) || x1.cardMin() > 0) {
110 if (strict && x1.cardMax() == 0) {
117 if (x0.assigned() && x1.assigned()) {
125 if ((!strict) && x0.cardMax() == x1.cardMax()) {
144 if (strict && x0.cardMax() == x1.cardMax()) {
158 assert(min01 != min10);
170 if (x1.cardMax() > 0) {
173 int x1umin=x1u.
min();
175 if (
d() && d.
min() < x1umin) {
182 if (x0.cardMax() > 0) {
185 int x0umin=x0u.
min();
187 if (
d() && d.
min() < x0umin) {