44 namespace Gecode {
namespace Set {
namespace Rel {
46 template<
class View0,
class View1>
51 template<
class View0,
class View1>
56 template<
class View0,
class View1>
59 (void)
new (home)
Eq(home,x,y);
63 template<
class View0,
class View1>
66 return new (home)
Eq(home,share,*
this);
69 template<
class View0,
class View1>
99 unsigned int max =
std::min(x0.cardMax(),x1.cardMax());
100 unsigned int min =
std::max(x0.cardMin(),x1.cardMin());
108 assert (x1.assigned());