[Javabdd-checkins] JavaBDD/org/sf/javabdd JFactory.java,1.3,1.4

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

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

Modified Files:
	JFactory.java 
Log Message:
Fix satcount() bug.

Index: JFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/JFactory.java,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** JFactory.java	23 Jul 2004 01:04:03 -0000	1.3
--- JFactory.java	28 Jul 2004 01:58:06 -0000	1.4
***************
*** 3044,3047 ****
--- 3044,3048 ----
          BddCache_reset(replacecache);
          BddCache_reset(misccache);
+         BddCache_reset(countcache);
      }
  
***************
*** 3054,3057 ****
--- 3055,3060 ----
          //memset(quantvarset, 0, sizeof(int)*bddvarnum);
          quantvarsetID = 0;
+         
+         BddCache_reset(countcache);
      }
  
***************
*** 3066,3069 ****
--- 3069,3073 ----
              BddCache_resize(replacecache, newcachesize);
              BddCache_resize(misccache, newcachesize);
+             BddCache_resize(countcache, newcachesize);
          }
      }