Uses of Interface
SableJBDD.bdd.util.Profiling

Packages that use Profiling
SableJBDD.bdd.internal   
SableJBDD.cache   
 

Uses of Profiling in SableJBDD.bdd.internal
 

Subinterfaces of Profiling in SableJBDD.bdd.internal
 interface BddCache
          An abstract cache uses three integers as the key.
 interface BddNodeFactory
          BddNodeFactory defines the interface for making bdd nodes.
 interface UniqueTable
          A unique table is a canonical mapping from a triple key (var, low, high) to a BDD internal node.
 

Classes in SableJBDD.bdd.internal that implement Profiling
 class AbstractBddCache
          An abstract cache uses three integers as the key.
 class AbstractUniqueTable
          A unique table is a canonical mapping from a triple key (var, low, high) to a BDD internal node.
 class BddNodePool
          A BDD node pool pre-allocates and recycles bdd nodes.
 class DummyNodePool
          A dummy node pool doesn't nothing.
 class DynamicNodePool
          A dynamic, reclaimable node pool create a phantom reference for a newly created node, enqueue the reference, and release the first phantom reference.
 class EmptyBddCache
          An abstract cache uses three integers as the key.
 class ExpandibleNodePool
          An expandible and reclaimable node pool dynamically expands phantom node queue for recycling all newly created nodes(vs pre-allocated nodes).
 class FixedSizeNodePool
          A fixed size reclaimable node pool doesn't build phatom references for newly created nodes (vs pre-allocated nodes).
 class NonReclaimableNodePool
          A non-reclaimable node pool does nothing with newly created nodes, and doesn't recycle nodes too.
 class PhantomUniqueTable
          A phantom unique table implements UniqueTable interface, and can recycle nodes not reachable from other programs other than this unique table.
 class ReclaimableNodePool
          A reclaimable node pool creates a phantom reference for each newly created node.
 class RegularBddCache
          A regular triple key cache takes three objects as key.
 class RegularUniqueTable
          A regular unique table is a hash table using regular references.
 class SoftBddCache
          A soft triple key cache uses soft references for cached objects.
 class SoftUniqueTable
          A soft unique table is a unique table using soft references to objects.
 class WeakUniqueTable
          A weak unique table is a unique table using weak references to objects.
 

Uses of Profiling in SableJBDD.cache
 

Subinterfaces of Profiling in SableJBDD.cache
 interface TripleIntKeyCache
          A cache interface using three integers as the key, and an object as the value.
 

Classes in SableJBDD.cache that implement Profiling
 class CacheProfiler
          A cache profiler implements profiling interface.
 class IdealCache
           
 class MultiWayCache
           
 class OneWayCache