public class LoopStartEndPlaces
extends java.lang.Object
Constructor and Description |
---|
LoopStartEndPlaces() |
LoopStartEndPlaces(LoopStartEndPlaces cp) |
LoopStartEndPlaces(com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeSetStart,
com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeSetEnd) |
LoopStartEndPlaces(org.processmining.models.graphbased.directed.petrinet.elements.Place placeStart,
org.processmining.models.graphbased.directed.petrinet.elements.Place placeEnd) |
LoopStartEndPlaces(org.processmining.models.graphbased.directed.petrinet.elements.Place placeStart,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeEnd) |
LoopStartEndPlaces(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeSync,
org.processmining.models.graphbased.directed.petrinet.elements.Place placeOrg) |
LoopStartEndPlaces(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeSync,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeOrg) |
Modifier and Type | Method and Description |
---|---|
void |
copyPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place orgP,
org.processmining.models.graphbased.directed.petrinet.elements.Place newP) |
com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getEndLoopPlaces() |
com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getStartLoopPlaces() |
void |
remove(org.processmining.models.graphbased.directed.petrinet.elements.Place p) |
void |
setEndLoopPlaces(com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> endPlaces) |
void |
setEndLoopPlaces(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> endLoopPlacesSet) |
void |
setStartLoopPlaces(com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> startLoopPlacesSet) |
void |
setStartLoopPlaces(org.processmining.models.graphbased.directed.petrinet.elements.Place startLoopPlacesSet) |
void |
setStartLoopPlaces(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> startLoopPlacesSet) |
public LoopStartEndPlaces(com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeSetStart, com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeSetEnd)
public LoopStartEndPlaces()
public LoopStartEndPlaces(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeSync, org.processmining.models.graphbased.directed.petrinet.elements.Place placeOrg)
public LoopStartEndPlaces(LoopStartEndPlaces cp)
public LoopStartEndPlaces(org.processmining.models.graphbased.directed.petrinet.elements.Place placeStart, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeEnd)
public LoopStartEndPlaces(org.processmining.models.graphbased.directed.petrinet.elements.Place placeStart, org.processmining.models.graphbased.directed.petrinet.elements.Place placeEnd)
public LoopStartEndPlaces(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeSync, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeOrg)
public com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> getEndLoopPlaces()
public void setStartLoopPlaces(org.processmining.models.graphbased.directed.petrinet.elements.Place startLoopPlacesSet)
public void setStartLoopPlaces(com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> startLoopPlacesSet)
public com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> getStartLoopPlaces()
public void setStartLoopPlaces(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> startLoopPlacesSet)
public void setEndLoopPlaces(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> endLoopPlacesSet)
public void setEndLoopPlaces(com.google.common.collect.Multiset<org.processmining.models.graphbased.directed.petrinet.elements.Place> endPlaces)
public void copyPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place orgP, org.processmining.models.graphbased.directed.petrinet.elements.Place newP)
public void remove(org.processmining.models.graphbased.directed.petrinet.elements.Place p)