public interface UniversalDTS<S,I,T,SP,TP> extends UniversalTransitionSystem<S,I,T,SP,TP>, DeterministicTransitionSystem<S,I,T>
UniversalTransitionSystem
,
DeterministicTransitionSystem
Modifier and Type | Method and Description |
---|---|
default TP |
getTransitionProperty(S state,
I input)
Retrieves the transition property of the outgoing transition corresponding
to the given state and input, if it exists.
|
getStateProperty, getTransitionProperty
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getSuccessor, powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, createStaticStateMapping, getSuccessors
default TP getTransitionProperty(S state, I input)
null
is returned.
Note that this method alone is insufficient for determining whether or not a
transition actually exists, as null
might either be property of an existing
transition, or indicate that the transition does not exist.
state
- the source stateinput
- the input symbolnull
Copyright © 2015. All rights reserved.