return this.buildCube(value, width, (BDD[]) var.toArray(new BDD[var.size()]));
return this.buildCube(value, width, (BuDDyBDD[]) var.toArray(new BuDDyBDD[var.size()]));
    public BDD buildCube(int value, int width, Collection var) {        return this.buildCube(value, width, (BDD[]) var.toArray(new BDD[var.size()]));    }