public class EventPayloadTransitionSystem extends PayloadTransitionSystem<org.deckfour.xes.model.XEvent>
| Constructor and Description |
|---|
EventPayloadTransitionSystem(java.lang.String label,
EventPayloadHandler handler) |
getPayloadHanlder, getSourceState, getTargetState, getTransitionaddProxyMap, addState, addTransition, cloneFrom, findTransition, getEdges, getEdges, getEmptyClone, getNode, getNodes, getStates, getTransitions, putProxy, removeEdge, removeNode, removeState, removeTransitioncheckAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdgesequals, getEdges, hashCode, removeFromEdges, removeNodeFromCollectiongetAttributeMap, getLabel, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitgetLabelgetInEdges, getOutEdgesequals, getGraph, hashCodepublic EventPayloadTransitionSystem(java.lang.String label,
EventPayloadHandler handler)