[Javabdd-checkins] JavaBDD_tests/bdd CallbackTests.java,1.2,1.3

[John W. <joe...@us...>]

Update of /cvsroot/javabdd/JavaBDD_tests/bdd
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv24164/bdd

Modified Files:
	CallbackTests.java 
Log Message:
Fix reorder callback.

Index: CallbackTests.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD_tests/bdd/CallbackTests.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** CallbackTests.java	18 Apr 2005 12:00:41 -0000	1.2
--- CallbackTests.java	9 May 2005 09:58:02 -0000	1.3
***************
*** 67,72 ****
      volatile boolean reorder_called;
      
!     public void my_reorder_callback(int k, BDDFactory.ReorderStats stats) {
!         if (k == 0) {
              System.out.println(stats);
              reorder_called = true;
--- 67,72 ----
      volatile boolean reorder_called;
      
!     public void my_reorder_callback(boolean k, BDDFactory.ReorderStats stats) {
!         if (!k) {
              System.out.println(stats);
              reorder_called = true;
***************
*** 79,83 ****
          try {
              m = CallbackTests.class.getDeclaredMethod("my_reorder_callback",
!                 new Class[] { int.class, BDDFactory.ReorderStats.class });
          } catch (SecurityException e) {
              Assert.fail(e.toString());
--- 79,83 ----
          try {
              m = CallbackTests.class.getDeclaredMethod("my_reorder_callback",
!                 new Class[] { boolean.class, BDDFactory.ReorderStats.class });
          } catch (SecurityException e) {
              Assert.fail(e.toString());
***************
*** 93,96 ****
--- 93,97 ----
              reorder_called = false;
              if (bdd.varNum() < 5) bdd.setVarNum(5);
+             //bdd.varBlockAll();
              BDD x = bdd.ithVar(0);
              x.andWith(bdd.ithVar(1));