public void addVarBlock(BDD var, boolean fixed) { addVarBlock0((BuDDyBDD) var, fixed); }
public void addVarBlock(BDD var, boolean fixed) { BuDDyBDD bb = (BuDDyBDD) var; addVarBlock0(bb._id, fixed); }
    public void addVarBlock(BDD var, boolean fixed) { addVarBlock0((BuDDyBDD) var, fixed); }