SableJBDD.bdd.internal
Class SoftUniqueTable

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

public class SoftUniqueTable
extends AbstractUniqueTable

A soft unique table is a unique table using soft 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
SoftUniqueTable(int size)
          Defines a unique table with a specific number of entries.
SoftUniqueTable(int size, BddNodeFactory factory)
          Defines a unique table with a specific number of entries and a JBddNode pool.
 
Methods inherited from class SableJBDD.bdd.internal.AbstractUniqueTable
findOrCreate
 
Methods inherited from class SableJBDD.cache.CacheProfiler
accesses, hitRate, hits, misses, missRate, reportStatistics, steps
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface SableJBDD.bdd.util.Profiling
reportStatistics
 

Constructor Detail

SoftUniqueTable

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


SoftUniqueTable

public SoftUniqueTable(int size,
                       BddNodeFactory factory)
Defines a unique table with a specific number of entries and a JBddNode pool.