BDD s0 = zero.support(); BDD s1 = one.support(); Assert.assertTrue(bdd.toString(), s0.isOne()); Assert.assertTrue(bdd.toString(), s1.isOne());
BDDVarSet s0 = zero.support(); BDDVarSet s1 = one.support(); Assert.assertTrue(bdd.toString(), s0.isEmpty()); Assert.assertTrue(bdd.toString(), s1.isEmpty());
    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());            BDD s0 = zero.support();            BDD s1 = one.support();            Assert.assertTrue(bdd.toString(), s0.isOne());            Assert.assertTrue(bdd.toString(), s1.isOne());            zero.free(); one.free();            s0.free(); s1.free();        }    }