edu.toronto.cs.mdd
Class MDDTreeNode

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

public class MDDTreeNode
extends MDDNode


Field Summary
static java.util.BitSet EMPTY_BIT_SET
           
 
Fields inherited from class edu.toronto.cs.mdd.MDDNode
hashChildren, primes
 
Constructor Summary
protected MDDTreeNode()
           
  MDDTreeNode(int _varIndex, MDDNode[] _children)
           
 
Method Summary
 int childrenSize()
           
 java.util.BitSet cloneImage()
           
 boolean equals(MDDTreeNode node)
           
 boolean equals(java.lang.Object o)
           
 MDDNode getChild(int i)
           
 MDDNode[] getChildren()
           
 int getCubeLastVar()
          Find what is the largest variable index along a path over a branch 'val'
 java.util.BitSet getImage()
           
 int getValue()
           
 int getVarIndex()
           
 int hashCode()
           
 boolean inImage(int v)
          Check to see if value v is in image
 boolean isConstant()
           
 void setChildren(MDDNode[] v)
           
 void setVarIndex(int v)
           
 
Methods inherited from class edu.toronto.cs.mdd.MDDNode
objectHashCode
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

EMPTY_BIT_SET

public static final java.util.BitSet EMPTY_BIT_SET
Constructor Detail

MDDTreeNode

protected MDDTreeNode()

MDDTreeNode

public MDDTreeNode(int _varIndex,
                   MDDNode[] _children)
Method Detail

childrenSize

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

isConstant

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

getChildren

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

setChildren

public void setChildren(MDDNode[] v)

getChild

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

getVarIndex

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

setVarIndex

public void setVarIndex(int v)

getValue

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

getCubeLastVar

public int getCubeLastVar()
Find what is the largest variable index along a path over a branch 'val'

Specified by:
getCubeLastVar in class MDDNode

inImage

public boolean inImage(int v)
Check to see if value v is in image


cloneImage

public java.util.BitSet cloneImage()

getImage

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

equals

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

equals

public boolean equals(MDDTreeNode node)

hashCode

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