public class ChoicePlaceSets
extends java.lang.Object
Constructor and Description |
---|
ChoicePlaceSets() |
ChoicePlaceSets(ChoicePlaceSets cp) |
ChoicePlaceSets(org.processmining.models.graphbased.directed.petrinet.elements.Place placeStart,
org.processmining.models.graphbased.directed.petrinet.elements.Place placeEnd) |
ChoicePlaceSets(org.processmining.models.graphbased.directed.petrinet.elements.Place placeStart,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeEnd) |
ChoicePlaceSets(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeStart,
org.processmining.models.graphbased.directed.petrinet.elements.Place placeEnd) |
ChoicePlaceSets(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeSetStart,
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeSetEnd) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getEndChoicePlaces() |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getStartChoicePlaces() |
void |
setEndChoicePlaces(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> endChoicePlacesSet) |
void |
setStartChoicePlaces(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> startChoicePlacesSet) |
public ChoicePlaceSets()
public ChoicePlaceSets(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeSetStart, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeSetEnd)
public ChoicePlaceSets(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeStart, org.processmining.models.graphbased.directed.petrinet.elements.Place placeEnd)
public ChoicePlaceSets(org.processmining.models.graphbased.directed.petrinet.elements.Place placeStart, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> placeEnd)
public ChoicePlaceSets(org.processmining.models.graphbased.directed.petrinet.elements.Place placeStart, org.processmining.models.graphbased.directed.petrinet.elements.Place placeEnd)
public ChoicePlaceSets(ChoicePlaceSets cp)
public void setStartChoicePlaces(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> startChoicePlacesSet)
public void setEndChoicePlaces(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> endChoicePlacesSet)
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getEndChoicePlaces()
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getStartChoicePlaces()