if (f.isZDD()) Arrays.fill(set, 1);
    public String toString() {        BDDFactory f = this.getFactory();        int[] set = new int[f.varNum()];        StringBuffer sb = new StringBuffer();        bdd_printset_rec(f, sb, this, set);        return sb.toString();    }