public class PetrinetMarkingIterator
extends java.lang.Object
implements java.util.Iterator<java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place>>, java.lang.Iterable<java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place>>
Constructor and Description |
---|
PetrinetMarkingIterator(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.graphbased.directed.petrinet.elements.Place start) |
PetrinetMarkingIterator(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.graphbased.directed.petrinet.elements.Place start,
org.processmining.models.graphbased.directed.petrinet.elements.Place end,
boolean includeEnd) |
PetrinetMarkingIterator(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> start,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> end,
boolean includeEnd) |
Modifier and Type | Method and Description |
---|---|
boolean |
hasNext() |
java.util.Iterator<java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place>> |
iterator() |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
next() |
void |
remove() |
public PetrinetMarkingIterator(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.graphbased.directed.petrinet.elements.Place start)
public PetrinetMarkingIterator(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.graphbased.directed.petrinet.elements.Place start, org.processmining.models.graphbased.directed.petrinet.elements.Place end, boolean includeEnd)
public PetrinetMarkingIterator(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> start, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> end, boolean includeEnd)
public java.util.Iterator<java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place>> iterator()
iterator
in interface java.lang.Iterable<java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place>>
public void remove()
remove
in interface java.util.Iterator<java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place>>
public boolean hasNext()
hasNext
in interface java.util.Iterator<java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place>>
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> next()
next
in interface java.util.Iterator<java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place>>