41 namespace Gecode {
namespace Int {
namespace NValues {
56 return new (home)
EqBool<VY>(home,share,*
this);
93 if (status & VS_ONE) {
99 }
else if (x[
i].
one()) {
100 if (status & VS_ZERO) {
108 assert(status != (VS_ZERO | VS_ONE));
116 (void)
new (home)
EqBool<VY>(home,status,x,y);
123 if (status == (VS_ZERO | VS_ONE)) {
135 if (status == VS_ZERO) {
137 status = VS_ZERO | VS_ONE;
142 if (status == VS_ONE) {
144 status = VS_ZERO | VS_ONE;
158 if (status == VS_ZERO) {
160 }
else if (status == VS_ONE) {