edu.toronto.cs.mdd
Class MDDNode
java.lang.Object
edu.toronto.cs.mdd.MDDNode
- Direct Known Subclasses:
- MDDLeafNode, MDDTreeNode
public abstract class MDDNode
- extends java.lang.Object
an abstrct mdd node
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
primes
public static long[] primes
hashChildren
public static int hashChildren
MDDNode
public MDDNode()
childrenSize
public abstract int childrenSize()
isConstant
public abstract boolean isConstant()
getChildren
public abstract MDDNode[] getChildren()
getVarIndex
public abstract int getVarIndex()
getCubeLastVar
public abstract int getCubeLastVar()
getValue
public abstract int getValue()
getChild
public abstract MDDNode getChild(int i)
getImage
public abstract java.util.BitSet getImage()
objectHashCode
public int objectHashCode()