edu.toronto.cs.cudd
Class CuddAdd.CubeIterator

java.lang.Object
  extended by edu.toronto.cs.cudd.CuddAdd.CubeIterator
All Implemented Interfaces:
java.util.Iterator
Enclosing class:
CuddAdd

public class CuddAdd.CubeIterator
extends java.lang.Object
implements java.util.Iterator


Constructor Summary
CuddAdd.CubeIterator(int _nodePtr)
           
 
Method Summary
protected  void finalize()
           
 int[] firstCube()
           
 void freeGen()
           
 boolean hasNext()
           
 java.lang.Object next()
           
 int[] nextCube()
           
 void remove()
           
 
Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CuddAdd.CubeIterator

public CuddAdd.CubeIterator(int _nodePtr)
Method Detail

remove

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

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

finalize

protected void finalize()
Overrides:
finalize in class java.lang.Object

firstCube

public int[] firstCube()

nextCube

public int[] nextCube()

freeGen

public void freeGen()