[Javabdd-checkins] JavaBDD/net/sf/javabdd JFactory.java,1.8,1.9

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

Update of /cvsroot/javabdd/JavaBDD/net/sf/javabdd
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv13118/net/sf/javabdd

Modified Files:
	JFactory.java 
Log Message:
Fix for buddy bug #1111195:
BDD corruption with GC and reordering

Index: JFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/JFactory.java,v
retrieving revision 1.8
retrieving revision 1.9
diff -C2 -d -r1.8 -r1.9
*** JFactory.java	27 Jan 2005 03:48:59 -0000	1.8
--- JFactory.java	28 Jan 2005 03:27:13 -0000	1.9
***************
*** 1489,1494 ****
--- 1489,1496 ----
          }
  
+         quantlast = -1;
          for (n = r; n > 1; n = HIGH(n)) {
              quantvarset[LEVEL(n)] = quantvarsetID;
+             if (VERIFY_ASSERTIONS) _assert(quantlast < LEVEL(n));
              quantlast = LEVEL(n);
          }
***************
*** 1513,1516 ****
--- 1515,1519 ----
          }
  
+         quantlast = 0;
          for (n = r; !ISCONST(n);) {
              if (ISZERO(LOW(n))) {
***************
*** 1521,1524 ****
--- 1524,1528 ----
                  n = LOW(n);
              }
+             if (VERIFY_ASSERTIONS) _assert(quantlast < LEVEL(n));
              quantlast = LEVEL(n);
          }
***************
*** 5338,5342 ****
              return;
  
!         if (!HASREF(r)) {
              bddfreenum--;
  
--- 5342,5346 ----
              return;
  
!         if (!HASREF(r) || MARKED(r)) {
              bddfreenum--;