edu.toronto.cs.mdd
Class MDDManager.MDDMintermIterator

java.lang.Object
  extended by edu.toronto.cs.mdd.MDDManager.MDDMintermIterator
All Implemented Interfaces:
java.util.Iterator
Enclosing class:
MDDManager

public class MDDManager.MDDMintermIterator
extends java.lang.Object
implements java.util.Iterator

Iterates over minterms of a given value vars parameter is used to fill-in don't care variables


Constructor Summary
MDDManager.MDDMintermIterator(MDDNode node, MDDNode _background, MDDNode _vars, int _termVal)
           
 
Method Summary
 boolean hasNext()
           
 java.lang.Object next()
           
 void remove()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MDDManager.MDDMintermIterator

public MDDManager.MDDMintermIterator(MDDNode node,
                                     MDDNode _background,
                                     MDDNode _vars,
                                     int _termVal)
Method Detail

hasNext

public boolean hasNext()
Specified by:
hasNext in interface java.util.Iterator

next

public java.lang.Object next()
Specified by:
next in interface java.util.Iterator

remove

public void remove()
Specified by:
remove in interface java.util.Iterator