org.eclipse.viatra.transformation.evm.api

Class ConflictSetIterator

java.lang.Object

org.eclipse.viatra.transformation.evm.api.ConflictSetIterator

All Implemented Interfaces:

java.util.Iterator<Activation<?>>

public class ConflictSetIterator
extends java.lang.Object
implements java.util.Iterator<Activation<?>>

Iterator that iterates through the elements of a ConflictSet.

Constructor Summary

Constructors

Constructor and Description
ConflictSetIterator(ConflictSet conflictset)
ConflictSetIterator(ConflictSet conflictset, com.google.common.base.Predicate breakCondition)

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
Activation<?>	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

ConflictSetIterator

public ConflictSetIterator(ConflictSet conflictset)

ConflictSetIterator

public ConflictSetIterator(ConflictSet conflictset,
                           com.google.common.base.Predicate breakCondition)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<Activation<?>>

next

public Activation<?> next()

Specified by:

next in interface java.util.Iterator<Activation<?>>

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<Activation<?>>