public BDDBitVector buildVector(int[] var) { BDDBitVector v = createBitVector(var.length); v.initialize(var);
public BDDBitVector buildVector(int bitnum, boolean b) { BDDBitVector v = createBitVector(bitnum); v.initialize(b);
    public BDDBitVector buildVector(int[] var) {        BDDBitVector v = createBitVector(var.length);        v.initialize(var);        return v;    }