public final class AbstractionPattern
extends java.lang.Object
Constructor and Description |
---|
AbstractionPattern(java.lang.String patternName,
org.processmining.datapetrinets.DataPetriNet net) |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.graphbased.directed.petrinet.elements.Place |
getCardinalityPlace() |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getCompleteTransition() |
org.processmining.datapetrinets.DataPetriNet |
getDPN() |
java.lang.String |
getPatternName() |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getStartTransition() |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getTransitions() |
java.util.Set<java.lang.String> |
getTransitionsAsLocalIds() |
void |
setCardinalityPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place cardinalityPlace) |
void |
setCompleteTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition completeTransition) |
void |
setStartTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition startTransition) |
public AbstractionPattern(java.lang.String patternName, org.processmining.datapetrinets.DataPetriNet net)
public java.lang.String getPatternName()
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getTransitions()
public java.util.Set<java.lang.String> getTransitionsAsLocalIds()
public org.processmining.models.graphbased.directed.petrinet.elements.Transition getStartTransition()
public void setStartTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition startTransition)
public org.processmining.models.graphbased.directed.petrinet.elements.Transition getCompleteTransition()
public void setCompleteTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition completeTransition)
public org.processmining.models.graphbased.directed.petrinet.elements.Place getCardinalityPlace()
public void setCardinalityPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place cardinalityPlace)
public org.processmining.datapetrinets.DataPetriNet getDPN()