Uses of Class
SableJBDD.bdd.JBddNode

Packages that use JBddNode
SableJBDD.bdd   
SableJBDD.bdd.internal   
 

Uses of JBddNode in SableJBDD.bdd
 

Subclasses of JBddNode in SableJBDD.bdd
 class JBddInternalNode
          A class for bdd internal nodes.
 

Fields in SableJBDD.bdd declared as JBddNode
 JBddNode JBddNode.low
           
 JBddNode JBddNode.high
           
 

Methods in SableJBDD.bdd that return JBddNode
 JBddNode JBddNode.getNext()
           
 

Methods in SableJBDD.bdd with parameters of type JBddNode
 void JBddNode.mutate(JBddVariable newv, JBddNode newl, JBddNode newh)
          Mutates a reclaimed node to a new instance.
 boolean JBddNode.matches(JBddVariable v, JBddNode l, JBddNode h)
          Checks if this bdd node matches (v, l, h) triple.
 void JBddNode.setNext(JBddNode next)
           
 

Constructors in SableJBDD.bdd with parameters of type JBddNode
JBddInternalNode(JBddVariable v, JBddNode l, JBddNode h)
          Defines an internal bdd node.
JBddInternalNode(JBddNode next)
          Allocate an empty BDD node.
 

Uses of JBddNode in SableJBDD.bdd.internal
 

Methods in SableJBDD.bdd.internal that return JBddNode
 JBddNode UniqueTable.findOrCreate(JBddVariable var, JBddNode low, JBddNode high)
          Finds or creates a BddNode by a triple key.
 JBddNode ReclaimableNodePool.getFreshNode(JBddVariable var, JBddNode low, JBddNode high)
          Gets a node from a pool either by reusing an existing node or by creating a new object.
 JBddNode PhantomUniqueTable.findOrCreate(JBddVariable var, JBddNode low, JBddNode high)
          Finds or creates a BddNode by a triple key.
 JBddNode EmptyBddCache.lookup(SableJBDD.bdd.internal.Unique f, SableJBDD.bdd.internal.Unique g, SableJBDD.bdd.internal.Unique h)
          Looks up a bdd node by f, g, and h.
 JBddNode DummyNodePool.getFreshNode(JBddVariable var, JBddNode low, JBddNode high)
           
 JBddNode BddNodePool.getFreshNode(JBddVariable var, JBddNode low, JBddNode high)
          Gets a node from a pool either by reusing an existing node or by creating a new object.
 JBddNode BddNodeFactory.getFreshNode(JBddVariable var, JBddNode low, JBddNode high)
           
 JBddNode BddCache.lookup(SableJBDD.bdd.internal.Unique f, SableJBDD.bdd.internal.Unique g, SableJBDD.bdd.internal.Unique h)
          Looks up a bdd node by three unique keys, f, g, and h could be a bdd variable, a bdd node, or operations.
 JBddNode AbstractUniqueTable.findOrCreate(JBddVariable var, JBddNode low, JBddNode high)
          Finds or creates a BddNode by a triple key.
 JBddNode AbstractBddCache.lookup(SableJBDD.bdd.internal.Unique f, SableJBDD.bdd.internal.Unique g, SableJBDD.bdd.internal.Unique h)
          Looks up a bdd node by f, g, and h.
 

Methods in SableJBDD.bdd.internal with parameters of type JBddNode
 JBddNode UniqueTable.findOrCreate(JBddVariable var, JBddNode low, JBddNode high)
          Finds or creates a BddNode by a triple key.
 JBddNode ReclaimableNodePool.getFreshNode(JBddVariable var, JBddNode low, JBddNode high)
          Gets a node from a pool either by reusing an existing node or by creating a new object.
 JBddNode PhantomUniqueTable.findOrCreate(JBddVariable var, JBddNode low, JBddNode high)
          Finds or creates a BddNode by a triple key.
 void EmptyBddCache.put(SableJBDD.bdd.internal.Unique f, SableJBDD.bdd.internal.Unique g, SableJBDD.bdd.internal.Unique h, JBddNode result)
          Puts the ite(f,g,h) in the cache.
 JBddNode DummyNodePool.getFreshNode(JBddVariable var, JBddNode low, JBddNode high)
           
 JBddNode BddNodePool.getFreshNode(JBddVariable var, JBddNode low, JBddNode high)
          Gets a node from a pool either by reusing an existing node or by creating a new object.
 JBddNode BddNodeFactory.getFreshNode(JBddVariable var, JBddNode low, JBddNode high)
           
 void BddCache.put(SableJBDD.bdd.internal.Unique f, SableJBDD.bdd.internal.Unique g, SableJBDD.bdd.internal.Unique h, JBddNode node)
          Puts a bdd node into the cache.
 JBddNode AbstractUniqueTable.findOrCreate(JBddVariable var, JBddNode low, JBddNode high)
          Finds or creates a BddNode by a triple key.
 void AbstractBddCache.put(SableJBDD.bdd.internal.Unique f, SableJBDD.bdd.internal.Unique g, SableJBDD.bdd.internal.Unique h, JBddNode result)
          Puts the ite(f,g,h) in the cache.