Uses of Interface
SableJBDD.bdd.internal.BddCache

Packages that use BddCache
SableJBDD.bdd.internal   
 

Uses of BddCache in SableJBDD.bdd.internal
 

Classes in SableJBDD.bdd.internal that implement BddCache
 class AbstractBddCache
          An abstract cache uses three integers as the key.
 class EmptyBddCache
          An abstract cache uses three integers as the key.
 class RegularBddCache
          A regular triple key cache takes three objects as key.
 class SoftBddCache
          A soft triple key cache uses soft references for cached objects.