Assert.assertTrue(bdd.toString(), zero.isZero()); Assert.assertTrue(bdd.toString(), one.isOne());
Assert.assertTrue(bdd.getVersion(), zero.isZero()); Assert.assertTrue(bdd.getVersion(), one.isOne());
    public void testR2() {        Assert.assertTrue(hasNext());        while (hasNext()) {            BDDFactory bdd = nextFactory();            BDD zero = bdd.zero();            BDD one = bdd.one();            Assert.assertTrue(bdd.toString(), zero.isZero());            Assert.assertTrue(bdd.toString(), one.isOne());            BDDVarSet s0 = zero.support();            BDDVarSet s1 = one.support();            Assert.assertTrue(bdd.toString(), s0.isEmpty());            Assert.assertTrue(bdd.toString(), s1.isEmpty());            zero.free(); one.free();            s0.free(); s1.free();        }    }