public void addVarBlock(BDD var, boolean fixed) {  int[] set = var.scanSet(); bdd_addvarblock(set, fixed); }
public void addVarBlock(int first, int last, boolean fixed) { bdd_intaddvarblock(first, last, fixed); }
    public void addVarBlock(BDD var, boolean fixed) {        //int x = ((bdd) var)._index;        int[] set = var.scanSet();        bdd_addvarblock(set, fixed);    }