net.sourceforge.czt.animation.eval.result

Class ProdSet.ProdSetIterator

java.lang.Object

net.sourceforge.czt.animation.eval.result.ProdSet.ProdSetIterator

Enclosing class:

ProdSet

protected class ProdSet.ProdSetIterator
extends Object

Constructor Summary

Constructors

Constructor and Description
ProdSetIterator()

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
net.sourceforge.czt.z.ast.TupleExpr	next()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ProdSetIterator

public ProdSetIterator()

Method Detail

hasNext

public boolean hasNext()

next

public net.sourceforge.czt.z.ast.TupleExpr next()