S
- state classI
- input symbol classT
- transition classpublic interface DeterministicTransitionSystem<S,I,T> extends TransitionSystem<S,I,T>, SimpleDTS<S,I>
TransitionSystem
, but in each state
there may exist at most one transition for each input symbol.Modifier and Type | Method and Description |
---|---|
T |
getTransition(S state,
I input)
Retrieves the transition triggered by the given input symbol.
|
getSuccessor, getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
T getTransition(S state, I input)
state
- the source state.input
- the input symbol.null
if no transition is triggered.TransitionSystem.getTransitions(Object, Object)
Copyright © 2015. All Rights Reserved.