public void addVarBlock(BDD var, boolean fixed) { BDD c1 = ((TestBDD)var).b1; BDD c2 = ((TestBDD)var).b2; f1.addVarBlock(c1, fixed); f2.addVarBlock(c2, fixed);
public void addVarBlock(int first, int last, boolean fixed) { f1.addVarBlock(first, last, fixed); f2.addVarBlock(first, last, fixed);
    public void addVarBlock(BDD var, boolean fixed) {        BDD c1 = ((TestBDD)var).b1;        BDD c2 = ((TestBDD)var).b2;        f1.addVarBlock(c1, fixed);        f2.addVarBlock(c2, fixed);    }