[Javabdd-checkins] JavaBDD/net/sf/javabdd MicroFactory.java,1.2,1.3

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

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

Modified Files:
	MicroFactory.java 
Log Message:
Added support for finding compulsory misses in cache.
Standardized naming so we can move code between here and JFactory.

Index: MicroFactory.java
===================================================================
RCS file: /cvsroot/javabdd/JavaBDD/net/sf/javabdd/MicroFactory.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -C2 -d -r1.2 -r1.3
*** MicroFactory.java	31 Jan 2005 00:07:11 -0000	1.2
--- MicroFactory.java	31 Jan 2005 10:08:35 -0000	1.3
***************
*** 7,14 ****
--- 7,16 ----
  import java.util.Collection;
  import java.util.Comparator;
+ import java.util.HashSet;
  import java.util.Iterator;
  import java.util.LinkedList;
  import java.util.List;
  import java.util.Random;
+ import java.util.Set;
  import java.io.BufferedReader;
[...1833 lines suppressed...]
+         if (itecache != null) {
+             System.out.println("ITE cache: "+itecache);
+             cachestats.opHit += itecache.cacheHit;
+             cachestats.opMiss += itecache.cacheMiss;
+         }
+         if (countcache != null) {
+             System.out.println("Count cache: "+countcache);
+             cachestats.opHit += countcache.cacheHit;
+             cachestats.opMiss += countcache.cacheMiss;
+         }
+         if (misccache != null) {
+             System.out.println("Misc cache: "+misccache);
+             cachestats.opHit += misccache.cacheHit;
+             cachestats.opMiss += misccache.cacheMiss;
+         }
+         return cachestats;
+     }
+     
      public static final String REVISION = "$Revision$";