net.sourceforge.czt.animation.eval.result

Class PowerSet.PowerSetIterator

java.lang.Object

net.sourceforge.czt.animation.eval.result.PowerSet.PowerSetIterator

All Implemented Interfaces:

Iterator<DiscreteSet>

Enclosing class:

PowerSet

protected class PowerSet.PowerSetIterator
extends Object
implements Iterator<DiscreteSet>

An iterator over the elements of a non-empty power set of a given base set.

Constructor Summary

Constructors

Constructor and Description
PowerSetIterator(Iterator<net.sourceforge.czt.z.ast.Expr> baseIter)

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
DiscreteSet	next()
void	remove() Not supported by this iterator so throws an UnsupportedOperationException when called.

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Iterator

forEachRemaining

Constructor Detail

PowerSetIterator

public PowerSetIterator(Iterator<net.sourceforge.czt.z.ast.Expr> baseIter)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<DiscreteSet>

next

public DiscreteSet next()

Specified by:

next in interface Iterator<DiscreteSet>

remove

public void remove()

Not supported by this iterator so throws an UnsupportedOperationException when called.

Specified by:

remove in interface Iterator<DiscreteSet>