edu.toronto.cs.mdd
Class MDDNode

java.lang.Object
  extended by edu.toronto.cs.mdd.MDDNode
Direct Known Subclasses:
MDDLeafNode, MDDTreeNode

public abstract class MDDNode
extends java.lang.Object

an abstrct mdd node


Field Summary
static int hashChildren
           
static long[] primes
           
 
Constructor Summary
MDDNode()
           
 
Method Summary
abstract  int childrenSize()
           
abstract  MDDNode getChild(int i)
           
abstract  MDDNode[] getChildren()
           
abstract  int getCubeLastVar()
           
abstract  java.util.BitSet getImage()
           
abstract  int getValue()
           
abstract  int getVarIndex()
           
abstract  boolean isConstant()
           
 int objectHashCode()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

primes

public static long[] primes

hashChildren

public static int hashChildren
Constructor Detail

MDDNode

public MDDNode()
Method Detail

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()