static Set<Integer> setOf(BDD bdd, BDDDomain dom) { if (bdd == null) return null; Set<Integer> set = new HashSet<Integer>(); if (bdd.isZero()) return set; BDDIterator itr = bdd.iterator(dom.set()); while (itr.hasNext()) { BDD a = itr.nextBDD(); set.add(a.scanVar(dom).intValue()); a.free(); } return set; }