36 class Vset implements Constants {  class
78     static final Vset DEAD_END = new Vset(-1, -1, fullX);
83     public Vset() {  in Vset()  method in Vset
87     private Vset(long vset, long uset, long x[]) {  in Vset()  method in Vset
97     public Vset copy() {  in copy()
101         Vset vs = new Vset(vset, uset, x);  in copy()
154     public Vset clearDeadEnd() {  in clearDeadEnd()
156             return new Vset(-1, -1, fullX);  in clearDeadEnd()
200     public Vset addVar(int varNumber) {  in addVar()
228     public Vset addVarUnassigned(int varNumber) {  in addVarUnassigned()
256     public Vset clearVar(int varNumber) {  in clearVar()
281     public Vset join(Vset other) {  in join()
335     public Vset addDAandJoinDU(Vset other) {  in addDAandJoinDU()
398     public static Vset firstDAandSecondDU(Vset sourceDA, Vset sourceDU) {  in firstDAandSecondDU()
425         return new Vset(sourceDA.vset, sourceDU.uset, x);  in firstDAandSecondDU()
435     public Vset removeAdditionalVars(int varNumber) {  in removeAdditionalVars()