Lines Matching refs:vset
37 long vset; // DA bits for first 64 variables
51 // that (this.x != fullX || (this.vset == -1 && this.uset == -1)).
61 // For more thorough testing of long vset support, it is helpful to
64 static final int VBITS = 64; // number of bits in vset (uset)
87 private Vset(long vset, long uset, long x[]) {
88 this.vset = vset;
101 Vset vs = new Vset(vset, uset, x);
118 * Ask if this is a vset for a dead end.
132 * Ask if this is a vset for a dead end.
173 return (vset & bit) != 0;
218 vset |= bit;
246 vset &=~ bit;
271 vset &=~ bit;
278 * Join with another vset. This is set intersection.
286 // dead-end vset has already produced an error message,
304 vset &= other.vset;
328 * Add in the definite assignment bits of another vset,
331 * original vset 'this' is destroyed by this operation.
337 // Return a dead-end if either vset is a dead end.
338 // If either vset is the canonical DEAD_END, the
356 vset = vset | other.vset;
357 uset = (uset & other.uset) & ~other.vset;
390 * Construct a vset consisting of the DA bits of the first argument
425 return new Vset(sourceDA.vset, sourceDU.uset, x);
429 * Remove variables from the vset that are no longer part of
455 vset &= (bit - 1);
465 long vset;
470 vset = x[i];
472 vset |= x[i+1]; // check the "uset" also
474 if (vset != 0) {
479 vset = this.vset;
480 vset |= this.uset; // check the "uset" also
481 if (vset != 0) {
488 while (vset != 0) {
490 vset >>>= 1;