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 booleanhasNext()Activation<?>next()voidremove()
-
-
-
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:
hasNextin interfacejava.util.Iterator<Activation<?>>
-
next
public Activation<?> next()
- Specified by:
nextin interfacejava.util.Iterator<Activation<?>>
-
remove
public void remove()
- Specified by:
removein interfacejava.util.Iterator<Activation<?>>
-
-