bdd.setVarOrder(new int[] { 0, 1, 2, 3, 4 });
try { bdd.setVarOrder(new int[] { 0, 1, 2, 3, 4 }); } catch (UnsupportedOperationException _) { }
    public void testVar() {        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 = bdd.ithVar(1);            BDD b = bdd.ithVar(2);            BDD c = bdd.ithVar(3);            BDD d = bdd.one();            BDD e = bdd.zero();            Assert.assertEquals(1, a.var());            Assert.assertEquals(2, b.var());            Assert.assertEquals(3, c.var());            try {                d.var();                Assert.fail();            } catch (BDDException x) { }            try {                e.var();                Assert.fail();            } catch (BDDException x) { }            BDD f = a.and(b);            Assert.assertEquals(1, f.var());            a.free(); b.free(); c.free(); d.free(); e.free(); f.free();        }    }