public class ReplayableTransition extends java.lang.Object implements ReplayableActivity
Constructor and Description |
---|
ReplayableTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getLabel() |
java.lang.String |
toString() |
public ReplayableTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
public java.lang.String getLabel()
getLabel
in interface ReplayableActivity
public java.lang.String toString()
toString
in class java.lang.Object