public class TSMinerTransitionSystem extends EventPayloadTransitionSystem
Constructor and Description |
---|
TSMinerTransitionSystem(java.lang.String label,
TSMinerPayloadHandler 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, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getLabel
getInEdges, getOutEdges
equals, getGraph, hashCode
public TSMinerTransitionSystem(java.lang.String label, TSMinerPayloadHandler handler)