SableJBDD.bdd.internal
Class SoftBddCache

java.lang.Object
  extended bySableJBDD.bdd.internal.AbstractBddCache
      extended bySableJBDD.bdd.internal.SoftBddCache
All Implemented Interfaces:
BddCache, Profiling

public class SoftBddCache
extends AbstractBddCache

A soft triple key cache uses soft references for cached objects. It does not prevents cached objects from being garbage collected.


Field Summary
 
Fields inherited from interface SableJBDD.bdd.util.Profiling
PROFILING
 
Constructor Summary
SoftBddCache(TripleIntKeyCache impl)
          Defines a soft cache with a specific cache implementation.
 
Methods inherited from class SableJBDD.bdd.internal.AbstractBddCache
lookup, put, reportStatistics, reset, size
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SoftBddCache

public SoftBddCache(TripleIntKeyCache impl)
Defines a soft cache with a specific cache implementation.