SableJBDD.bdd.internal
Class RegularUniqueTable

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

public class RegularUniqueTable
extends AbstractUniqueTable

A regular unique table is a hash table using regular references. It keeps all cached objects strongly reachable.


Field Summary
 
Fields inherited from interface SableJBDD.bdd.util.Profiling
PROFILING
 
Constructor Summary
RegularUniqueTable(int size)
          Defines a unique table with a specific number of entries.
 
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

RegularUniqueTable

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