SableJBDD.bdd
Class JBddInternalNode

java.lang.Object
  extended bySableJBDD.bdd.internal.UniqueObject
      extended bySableJBDD.bdd.JBddNode
          extended bySableJBDD.bdd.JBddInternalNode
All Implemented Interfaces:
SableJBDD.bdd.internal.Unique

public final class JBddInternalNode
extends JBddNode

A class for bdd internal nodes.


Field Summary
 
Fields inherited from class SableJBDD.bdd.JBddNode
high, low, variable
 
Constructor Summary
JBddInternalNode(JBddNode next)
          Allocate an empty BDD node.
JBddInternalNode(JBddVariable v, JBddNode l, JBddNode h)
          Defines an internal bdd node.
 
Method Summary
 java.lang.String toString()
           
 
Methods inherited from class SableJBDD.bdd.JBddNode
clearNext, getNext, matches, mutate, reclaim, setNext
 
Methods inherited from class SableJBDD.bdd.internal.UniqueObject
equals, getUniqueId, hashCode
 
Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

JBddInternalNode

public JBddInternalNode(JBddVariable v,
                        JBddNode l,
                        JBddNode h)
Defines an internal bdd node. To ensure the uniqueness of a bdd node, the node should only be created from a unique table.

Parameters:
v - the variable
l - the false branch
h - the true branch

JBddInternalNode

public JBddInternalNode(JBddNode next)
Allocate an empty BDD node.

Method Detail

toString

public java.lang.String toString()
Returns:
the name of the node