bdd b = new bdd(result[i]);
BDD b = makeBDD(result[i]);
        public String toString() {            StringBuffer sb = new StringBuffer();            sb.append('{');            boolean any = false;            for (int i = 0; i < result.length; ++i) {                if (result[i] != bdd_ithvar(bddlevel2var[i])) {                    if (any) sb.append(", ");                    any = true;                    sb.append(bddlevel2var[i]);                    sb.append('=');                    bdd b = new bdd(result[i]);                    sb.append(b);                    b.free();                }            }            sb.append('}');            return sb.toString();        }