public class SwappedMove
extends java.lang.Object
Constructor and Description |
---|
SwappedMove(org.processmining.models.graphbased.directed.petrinet.elements.Transition occurTrans,
org.processmining.models.graphbased.directed.petrinet.elements.Transition insteadOf) |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getInsteadOf() |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getOccurTrans() |
void |
setInsteadOf(org.processmining.models.graphbased.directed.petrinet.elements.Transition insteadOf) |
void |
setOccurTrans(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition) |
java.lang.String |
toString() |
public SwappedMove(org.processmining.models.graphbased.directed.petrinet.elements.Transition occurTrans, org.processmining.models.graphbased.directed.petrinet.elements.Transition insteadOf)
public org.processmining.models.graphbased.directed.petrinet.elements.Transition getOccurTrans()
public void setOccurTrans(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)
transition
- the transition to setpublic org.processmining.models.graphbased.directed.petrinet.elements.Transition getInsteadOf()
public void setInsteadOf(org.processmining.models.graphbased.directed.petrinet.elements.Transition insteadOf)
insteadOf
- the swappedWith to setpublic java.lang.String toString()
toString
in class java.lang.Object