public abstract void addVarBlock(BDD var, boolean fixed);
public void addVarBlock(BDDVarSet var, boolean fixed) { int[] v = var.toArray(); int first, last; if (v.length < 1) throw new BDDException("Invalid parameter for addVarBlock");  first = last = v[0];  for (int n = 1; n < v.length; n++) { if (v[n] < first) first = v[n]; if (v[n] > last) last = v[n]; }  addVarBlock(first, last, fixed); }
    public abstract void addVarBlock(BDD var, boolean fixed);