public void addVarBlock(BDD var, boolean fixed) { TypedBDD bdd1 = (TypedBDD) var; factory.addVarBlock(bdd1.bdd, fixed);
public void addVarBlock(int first, int last, boolean fixed) { factory.addVarBlock(first, last, fixed);
    public void addVarBlock(BDD var, boolean fixed) {        TypedBDD bdd1 = (TypedBDD) var;        factory.addVarBlock(bdd1.bdd, fixed);    }