38 namespace Gecode {
namespace Set {
namespace Rel {
40 template<
class View0,
class View1,
bool strict>
50 template<
class View0,
class View1,
bool strict>
54 x0.update(home,share,p.
x0);
55 x1.update(home,share,p.
x1);
59 template<
class View0,
class View1,
bool strict>
65 template<
class View0,
class View1,
bool strict>
75 template<
class View0,
class View1,
bool strict>
83 template<
class View0,
class View1,
bool strict>
89 template<
class View0,
class View1,
bool strict>
97 if (x0.cardMax() == 0) {
98 if ( (!strict) || x1.cardMin() > 0) {
102 if (strict && x1.cardMax() == 0) {
108 if (x0.assigned() && x1.assigned()) {
116 if ((!strict) && x0.cardMax() == x1.cardMax()) {
133 if (strict && x0.cardMax() == x1.cardMax()) {
145 assert(min01 != min10);
155 if (x1.cardMax() > 0) {
158 int x1umin=x1u.
min();
160 if (
d() && d.
min() < x1umin) {
166 if (x0.cardMax() > 0) {
169 int x0umin=x0u.
min();
171 if (
d() && d.
min() < x0umin) {