[Javabdd-checkins] JavaBDD/net/sf/javabdd JFactory.java,1.25,1.26

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

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

Modified Files:
	JFactory.java 
Log Message:
Fixed bug in reorder_rehashAll()

Index: JFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/JFactory.java,v
retrieving revision 1.25
retrieving revision 1.26
diff -C2 -d -r1.25 -r1.26
*** JFactory.java	10 May 2005 21:16:00 -0000	1.25
--- JFactory.java	11 May 2005 01:24:05 -0000	1.26
***************
*** 5318,5323 ****
          bdd_pairs_vardown(level);
  
!         if (resizedInMakenode)
              reorder_rehashAll();
  
          return 0;
--- 5318,5324 ----
          bdd_pairs_vardown(level);
  
!         if (resizedInMakenode) {
              reorder_rehashAll();
+         }
  
          return 0;
***************
*** 5353,5362 ****
  
          for (n = bddnodesize - 1; n >= 2; n--) {
- 
              if (HASREF(n)) {
!                 int hash2;
! 
!                 hash2 = NODEHASH2(VARr(n), LOW(n), HIGH(n));
!                 SETNEXT(n, hash2);
                  SETHASH(hash2, n);
              } else {
--- 5354,5360 ----
  
          for (n = bddnodesize - 1; n >= 2; n--) {
              if (HASREF(n)) {
!                 int hash2 = NODEHASH2(VARr(n), LOW(n), HIGH(n));
!                 SETNEXT(n, HASH(hash2));
                  SETHASH(hash2, n);
              } else {