public BDD buildCube(int value, Collection var) { return this.buildCube0(value, (BuDDyBDD[]) var.toArray(new BuDDyBDD[var.size()]));
public BDD buildCube(int value, List var) { int[] a = toBuDDyArray(var); int id = buildCube0(value, a); return new BuDDyBDD(id);
    public BDD buildCube(int value, Collection var) {        return this.buildCube0(value, (BuDDyBDD[]) var.toArray(new BuDDyBDD[var.size()]));    }