Class SoftBddCache

  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
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


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