public interface TransitionSystem extends org.processmining.models.graphbased.directed.DirectedGraph<State,Transition>
Modifier and Type | Method and Description |
---|---|
boolean |
addState(java.lang.Object identifier) |
boolean |
addTransition(java.lang.Object fromState,
java.lang.Object toState,
java.lang.Object identifier) |
Transition |
findTransition(java.lang.Object fromState,
java.lang.Object toState,
java.lang.Object identifier) |
java.util.Collection<Transition> |
getEdges(java.lang.Object identifier) |
java.lang.String |
getLabel() |
State |
getNode(java.lang.Object identifier) |
java.util.Collection<? extends java.lang.Object> |
getStates() |
java.util.Collection<java.lang.Object> |
getTransitions() |
java.lang.Object |
removeState(java.lang.Object identifier) |
java.lang.Object |
removeTransition(java.lang.Object fromState,
java.lang.Object toState,
java.lang.Object identifier) |
getEdges, getInEdges, getNodes, getOutEdges, removeEdge, removeNode
equals, getGraph, hashCode
java.lang.String getLabel()
getLabel
in interface org.processmining.models.graphbased.directed.DirectedGraphElement
boolean addTransition(java.lang.Object fromState, java.lang.Object toState, java.lang.Object identifier)
java.lang.Object removeTransition(java.lang.Object fromState, java.lang.Object toState, java.lang.Object identifier)
java.util.Collection<java.lang.Object> getTransitions()
java.util.Collection<Transition> getEdges(java.lang.Object identifier)
boolean addState(java.lang.Object identifier)
java.lang.Object removeState(java.lang.Object identifier)
java.util.Collection<? extends java.lang.Object> getStates()
State getNode(java.lang.Object identifier)
Transition findTransition(java.lang.Object fromState, java.lang.Object toState, java.lang.Object identifier)