bdd.registerReorderCallback(this, m);
try { bdd.registerReorderCallback(this, m); } catch (UnsupportedOperationException _) { System.err.println("Warning: "+bdd.getVersion()+" does not support callbacks"); continue; }
    public void testReorderCallback() {        reset();        Method m;        try {            m = CallbackTests.class.getDeclaredMethod("my_reorder_callback",                new Class[] { boolean.class, BDDFactory.ReorderStats.class });        } catch (SecurityException e) {            Assert.fail(e.toString());            return;        } catch (NoSuchMethodException e) {            Assert.fail(e.toString());            return;        }        Assert.assertTrue(hasNext());        while (hasNext()) {            BDDFactory bdd = nextFactory();            bdd.registerReorderCallback(this, m);            reorder_called = false;            if (bdd.varNum() < 5) bdd.setVarNum(5);            //bdd.varBlockAll();            BDD x = bdd.ithVar(0);            x.andWith(bdd.ithVar(1));            x.andWith(bdd.ithVar(2));            x.andWith(bdd.ithVar(3));            bdd.reorder(BDDFactory.REORDER_SIFT);            Assert.assertTrue(reorder_called);            x.free();            bdd.unregisterReorderCallback(this, m);        }    }