S
- state classI
- input symbol classT
- transition classpublic interface TransitionSystem<S,I,T> extends SimpleTS<S,I>
SimpleTS
by introducing
the concept of inspectable transitions, allowing to associate other information
apart from the successor state with each transition.Modifier and Type | Method and Description |
---|---|
S |
getSuccessor(T transition)
Retrieves the successor state of a given transition.
|
Collection<T> |
getTransitions(S state,
I input)
Retrieves the transitions that can be triggered by the given
input symbol.
|
DeterministicTransitionSystem<? extends Set<S>,I,? extends Collection<T>> |
powersetView()
Retrieves a "powerset view" of this transition system.
|
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
Collection<T> getTransitions(S state, I input)
state
- the source state.input
- the input symbol.null
if no transitions
are triggered by this input symbol.S getSuccessor(T transition)
transition
- the transition.DeterministicTransitionSystem<? extends Set<S>,I,? extends Collection<T>> powersetView()
Copyright © 2015. All Rights Reserved.