edu.toronto.cs.mdd
Class MDDLeafNode

java.lang.Object
  extended by edu.toronto.cs.mdd.MDDNode
      extended by edu.toronto.cs.mdd.MDDLeafNode

public class MDDLeafNode
extends MDDNode


Field Summary
 
Fields inherited from class edu.toronto.cs.mdd.MDDNode
hashChildren, primes
 
Constructor Summary
MDDLeafNode()
           
MDDLeafNode(int _value)
           
 
Method Summary
 int childrenSize()
           
 boolean equals(MDDLeafNode node)
           
 boolean equals(java.lang.Object o)
           
 MDDNode getChild(int i)
           
 MDDNode[] getChildren()
           
 int getCubeLastVar()
           
 java.util.BitSet getImage()
           
 int getValue()
           
 int getVarIndex()
           
 int hashCode()
           
 boolean isConstant()
           
 void setValue(int v)
           
 java.lang.String toString()
           
 
Methods inherited from class edu.toronto.cs.mdd.MDDNode
objectHashCode
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

MDDLeafNode

public MDDLeafNode()

MDDLeafNode

public MDDLeafNode(int _value)
Method Detail

getValue

public int getValue()
Specified by:
getValue in class MDDNode

getImage

public java.util.BitSet getImage()
Specified by:
getImage in class MDDNode

setValue

public void setValue(int v)

isConstant

public boolean isConstant()
Specified by:
isConstant in class MDDNode

childrenSize

public int childrenSize()
Specified by:
childrenSize in class MDDNode

getChildren

public MDDNode[] getChildren()
Specified by:
getChildren in class MDDNode

getChild

public MDDNode getChild(int i)
Specified by:
getChild in class MDDNode

getVarIndex

public int getVarIndex()
Specified by:
getVarIndex in class MDDNode

equals

public boolean equals(java.lang.Object o)
Overrides:
equals in class java.lang.Object

equals

public boolean equals(MDDLeafNode node)

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

getCubeLastVar

public int getCubeLastVar()
Specified by:
getCubeLastVar in class MDDNode

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object