public class TraceExecutor.TraceExecutorIterator
extends java.lang.Object
implements java.util.Iterator<org.eclipse.viatra.transformation.evm.api.Activation<?>>
Constructor and Description |
---|
TraceExecutor.TraceExecutorIterator(java.util.Iterator<org.eclipse.viatra.transformation.evm.api.Activation<?>> delegatedIterator) |
public TraceExecutor.TraceExecutorIterator(java.util.Iterator<org.eclipse.viatra.transformation.evm.api.Activation<?>> delegatedIterator)
public boolean hasNext()
hasNext
in interface java.util.Iterator<org.eclipse.viatra.transformation.evm.api.Activation<?>>
public org.eclipse.viatra.transformation.evm.api.Activation<?> next()
next
in interface java.util.Iterator<org.eclipse.viatra.transformation.evm.api.Activation<?>>
public void remove()
remove
in interface java.util.Iterator<org.eclipse.viatra.transformation.evm.api.Activation<?>>