SableJBDD.bdd.internal
Class WeakUniqueTable

java.lang.Object
  extended bySableJBDD.cache.CacheProfiler
      extended bySableJBDD.bdd.internal.AbstractUniqueTable
          extended bySableJBDD.bdd.internal.WeakUniqueTable
All Implemented Interfaces:
Profiling, UniqueTable

public class WeakUniqueTable
extends AbstractUniqueTable

A weak unique table is a unique table using weak references to objects. It does not prevents referred objects from being garbage collected.


Field Summary
 
Fields inherited from interface SableJBDD.bdd.util.Profiling
PROFILING
 
Constructor Summary
WeakUniqueTable(int size)
          Defines a unique table with a specific number of entries.
WeakUniqueTable(int size, BddNodeFactory factory)
           
 
Method Summary
 void reportStatistics(java.io.PrintStream out)
           
 
Methods inherited from class SableJBDD.bdd.internal.AbstractUniqueTable
findOrCreate
 
Methods inherited from class SableJBDD.cache.CacheProfiler
accesses, hitRate, hits, misses, missRate, steps
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WeakUniqueTable

public WeakUniqueTable(int size)
Defines a unique table with a specific number of entries.


WeakUniqueTable

public WeakUniqueTable(int size,
                       BddNodeFactory factory)
Method Detail

reportStatistics

public void reportStatistics(java.io.PrintStream out)
Specified by:
reportStatistics in interface Profiling
Overrides:
reportStatistics in class CacheProfiler