Lines Matching defs:uset
38 long uset; // DU bits for first 64 variables
51 // that (this.x != fullX || (this.vset == -1 && this.uset == -1)).
64 static final int VBITS = 64; // number of bits in vset (uset)
87 private Vset(long vset, long uset, long x[]) {
89 this.uset = uset;
101 Vset vs = new Vset(vset, uset, x);
185 // index "uset" extension
192 return (uset & bit) != 0;
219 uset &=~ bit;
237 // index "uset" extension
245 uset |= bit;
272 uset &=~ bit;
305 uset &= other.uset;
357 uset = (uset & other.uset) & ~other.vset;
425 return new Vset(sourceDA.vset, sourceDU.uset, x);
445 x[i] &= (bit - 1); // do the "uset" extension also
456 uset &= (bit - 1);
472 vset |= x[i+1]; // check the "uset" also
480 vset |= this.uset; // check the "uset" also