public void my_reorder_callback(int k, BDDFactory.ReorderStats stats) { if (k == 0) {
public void my_reorder_callback(boolean k, BDDFactory.ReorderStats stats) { if (!k) {
    public void my_reorder_callback(int k, BDDFactory.ReorderStats stats) {        if (k == 0) {            System.out.println(stats);            reorder_called = true;        }    }