Lines Matching defs:Vset
36 class Vset implements Constants {
67 * This is the Vset which reports all vars assigned and unassigned.
78 static final Vset DEAD_END = new Vset(-1, -1, fullX);
81 * Create an empty Vset.
83 public Vset() {
87 private Vset(long vset, long uset, long x[]) {
94 * Create an copy of the given Vset.
97 public Vset copy() {
101 Vset vs = new Vset(vset, uset, x);
146 * equivalent Vset. The bits are unaltered, but
154 public Vset clearDeadEnd() {
156 return new Vset(-1, -1, fullX);
200 public Vset addVar(int varNumber) {
228 public Vset addVarUnassigned(int varNumber) {
256 public Vset clearVar(int varNumber) {
281 public Vset join(Vset other) {
335 public Vset addDAandJoinDU(Vset other) {
398 public static Vset firstDAandSecondDU(Vset sourceDA, Vset sourceDU) {
425 return new Vset(sourceDA.vset, sourceDU.uset, x);
435 public Vset removeAdditionalVars(int varNumber) {