41 namespace Gecode {
namespace Int {
namespace NValues {
73 if (y.min() == x.
size()) {
83 vs.
add(home, x[
i].val());
91 assert(y.val() == vs.
size());
95 (void)
new (home)
EqInt<VY>(home, vs, x, y);
102 :
IntBase<VY>(home, share, p) {}
107 return new (home)
EqInt<VY>(home, share, *
this);
115 return sizeof(*this);
132 if (y.max() == vs.size())
133 return all_in_valset(home);
144 assert(y.val() == vs.size());