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; }
/** Bug in JavaBDD. The method varRange does not work correctly. */ @Test public void testVarRange() { BDDFactory factory = BDDFactory.init("cudd", 10000, 10000); BDDDomain[] doms = factory.extDomain(new long[] {8}); BDD bdd = doms[0].varRange(2, 5); System.out.println(bdd.toStringWithDomains()); HashSet<Integer> set = new HashSet<Integer>(Arrays.asList(2, 3, 4, 5)); BDDIterator itr = bdd.iterator(doms[0].var); while (itr.hasNext()) { BDD tmp = itr.nextBDD(); Assert.assertTrue(set.contains(tmp.scanVar(doms[0]).longValue())); } bdd.free(); factory.done(); }
/* (non-Javadoc) * @see net.sf.javabdd.BDDFactory#nithVar(int) */ public BDD nithVar(int var) { BDD b = ithVar(var); BDD c = b.not(); b.free(); return c; }