public class SilentChangeEvent extends ActualChangeEvent
ChangeEvent.ChangeEventTypeTRACE_END, TRACE_STARTEND, START| Constructor and Description |
|---|
SilentChangeEvent(ChangeEvent.ChangeEventType type,
org.processmining.models.graphbased.directed.petrinet.elements.Transition transition) |
getTransitionpublic SilentChangeEvent(ChangeEvent.ChangeEventType type, org.processmining.models.graphbased.directed.petrinet.elements.Transition transition)