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