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;
}
