edu.toronto.cs.mdd
Class MDDLeafNode
java.lang.Object
edu.toronto.cs.mdd.MDDNode
edu.toronto.cs.mdd.MDDLeafNode
public class MDDLeafNode
- extends MDDNode
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
MDDLeafNode
public MDDLeafNode()
MDDLeafNode
public MDDLeafNode(int _value)
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