bdd.setVarOrder(new int[] { 0, 1, 2, 3, 4 });
try { bdd.setVarOrder(new int[] { 0, 1, 2, 3, 4 }); } catch (UnsupportedOperationException _) { }
    public void testLowHigh() {        reset();        Assert.assertTrue(hasNext());        while (hasNext()) {            BDDFactory bdd = nextFactory();            if (bdd.varNum() < 5) bdd.setVarNum(5);            bdd.setVarOrder(new int[] { 0, 1, 2, 3, 4 });            BDD a, b, c;            a = bdd.ithVar(0);            a.andWith(bdd.ithVar(1));            a.andWith(bdd.nithVar(2));            Assert.assertEquals(0, a.var());            b = a.low();            Assert.assertEquals(true, b.isZero());            b.free();            b = a.high();            Assert.assertEquals(1, b.var());            c = b.high();            b.free();            Assert.assertEquals(2, c.var());            b = c.low();            Assert.assertEquals(true, b.isOne());            a.free(); b.free(); c.free();        }    }