Uses of Interface

Packages that use UniqueTable

Uses of UniqueTable in SableJBDD.bdd.internal

Classes in SableJBDD.bdd.internal that implement UniqueTable
 class AbstractUniqueTable
          A unique table is a canonical mapping from a triple key (var, low, high) to a BDD internal node.
 class PhantomUniqueTable
          A phantom unique table implements UniqueTable interface, and can recycle nodes not reachable from other programs other than this unique table.
 class RegularUniqueTable
          A regular unique table is a hash table using regular references.
 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.