/** 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();
}
