Uses of Class
SableJBDD.bdd.JBddVariable

Packages that use JBddVariable
SableJBDD.bdd   
SableJBDD.bdd.internal   
 

Uses of JBddVariable in SableJBDD.bdd
 

Fields in SableJBDD.bdd declared as JBddVariable
 JBddVariable JBddNode.variable
           
 

Methods in SableJBDD.bdd that return JBddVariable
 JBddVariable JBddManager.getIthVariable(int i)
           
 JBddVariable JBddManager.getVariableAtLevel(int l)
           
 JBddVariable JBddManager.newVariable(java.lang.String name)
          Creates a new bdd variable with a name, it is automatically allocated at the top level.
 JBddVariable JBddManager.newVariableAtLevel(int level)
          Gets or creates a new bdd variable at a specific order (level).
 

Methods in SableJBDD.bdd with parameters of type JBddVariable
 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.
 JBDD JBddManager.posBddOf(JBddVariable var)
          Gets a BDD function representing the positive form of a variable.
 JBDD JBddManager.negBddOf(JBddVariable var)
          Gets a BDD function representing the negative form of a variable
 boolean JBDD.isRootOf(JBddVariable var)
          Checks if the root is a particular variable
 

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

Uses of JBddVariable in SableJBDD.bdd.internal
 

Methods in SableJBDD.bdd.internal with parameters of type JBddVariable
 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 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 AbstractUniqueTable.findOrCreate(JBddVariable var, JBddNode low, JBddNode high)
          Finds or creates a BddNode by a triple key.