public class PetrinetPlaceIterator
extends java.lang.Object
implements java.util.Iterator<org.processmining.models.graphbased.directed.petrinet.elements.Place>, java.lang.Iterable<org.processmining.models.graphbased.directed.petrinet.elements.Place>
Constructor and Description |
---|
PetrinetPlaceIterator(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net,
org.processmining.models.graphbased.directed.petrinet.elements.Place start) |
PetrinetPlaceIterator(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) |
PetrinetPlaceIterator(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<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
iterator() |
org.processmining.models.graphbased.directed.petrinet.elements.Place |
next() |
void |
remove() |
public PetrinetPlaceIterator(org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net, org.processmining.models.graphbased.directed.petrinet.elements.Place start)
public PetrinetPlaceIterator(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 PetrinetPlaceIterator(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<org.processmining.models.graphbased.directed.petrinet.elements.Place> iterator()
iterator
in interface java.lang.Iterable<org.processmining.models.graphbased.directed.petrinet.elements.Place>
public void remove()
remove
in interface java.util.Iterator<org.processmining.models.graphbased.directed.petrinet.elements.Place>
public boolean hasNext()
hasNext
in interface java.util.Iterator<org.processmining.models.graphbased.directed.petrinet.elements.Place>
public org.processmining.models.graphbased.directed.petrinet.elements.Place next()
next
in interface java.util.Iterator<org.processmining.models.graphbased.directed.petrinet.elements.Place>