40 namespace Gecode {
namespace Int {
namespace NValues {
55 return new (home)
LqBool<VY>(home,share,*
this);
86 if (status & VS_ONE) {
92 }
else if (x[
i].
one()) {
93 if (status & VS_ZERO) {
101 assert(status != (VS_ZERO | VS_ONE));
103 assert((status != 0) && (y.min() >= 1));
116 if (status == (VS_ZERO | VS_ONE)) {
122 assert((status != 0) && (y.min() >= 1));
127 if (status == VS_ZERO) {
129 status = VS_ZERO | VS_ONE;
134 if (status == VS_ONE) {
136 status = VS_ZERO | VS_ONE;