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 aConflictSet
.
-
-
Constructor Summary
Constructors Constructor Description ConflictSetIterator(ConflictSet conflictset)
ConflictSetIterator(ConflictSet conflictset, java.util.function.Predicate breakCondition)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
hasNext()
Activation<?>
next()
void
remove()
-
-
-
Constructor Detail
-
ConflictSetIterator
public ConflictSetIterator(ConflictSet conflictset)
-
ConflictSetIterator
public ConflictSetIterator(ConflictSet conflictset, java.util.function.Predicate breakCondition)
- Since:
- 2.0
-
-
Method Detail
-
hasNext
public boolean hasNext()
- Specified by:
hasNext
in interfacejava.util.Iterator<Activation<?>>
-
next
public Activation<?> next()
- Specified by:
next
in interfacejava.util.Iterator<Activation<?>>
-
remove
public void remove()
- Specified by:
remove
in interfacejava.util.Iterator<Activation<?>>
-
-