gov.nasa.jpf.vm

Class Transition.StepIterator

java.lang.Object

gov.nasa.jpf.vm.Transition.StepIterator

All Implemented Interfaces:

java.util.Iterator<Step>

Enclosing class:

Transition

public class Transition.StepIterator
extends java.lang.Object
implements java.util.Iterator<Step>

Constructor Summary

Constructors

Constructor and Description
StepIterator()

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
Step	next()
void	remove()

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

StepIterator

public StepIterator()

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<Step>

next

public Step next()

Specified by:

next in interface java.util.Iterator<Step>

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<Step>