public class EventPayloadTransitionSystem extends PayloadTransitionSystem<org.deckfour.xes.model.XEvent>
Constructor and Description |
---|
EventPayloadTransitionSystem(java.lang.String label,
EventPayloadHandler handler) |
getPayloadHanlder, getSourceState, getTargetState, getTransition
addProxyMap, addState, addTransition, cloneFrom, findTransition, getEdges, getEdges, getEmptyClone, getNode, getNodes, getStates, getTransitions, putProxy, removeEdge, removeNode, removeState, removeTransition
checkAddEdge, compareTo, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdges
equals, getEdges, hashCode, removeFromEdges, removeNodeFromCollection
getAttributeMap, getLabel, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getLabel
getInEdges, getOutEdges
equals, getGraph, hashCode
public EventPayloadTransitionSystem(java.lang.String label, EventPayloadHandler handler)