Package net.automatalib.ts
Interface DeterministicTransitionSystem<S,I,T>
-
- Type Parameters:
S
- state classI
- input symbol classT
- transition class
- All Superinterfaces:
SimpleDTS<S,I>
,SimpleTS<S,I>
,TransitionSystem<S,I,T>
- All Known Subinterfaces:
DeterministicAcceptorTS<S,I>
,DeterministicAutomaton<S,I,T>
,DeterministicOutputTS<S,I,T,O>
,DeterministicStateOutputTS<S,I,T,O>
,DeterministicTransitionOutputTS<S,I,T,O>
,DetOutputAutomaton<S,I,T,D>
,DetSuffixOutputAutomaton<S,I,T,D>
,DFA<S,I>
,Lasso<I,D>
,Lasso.DFALasso<I>
,Lasso.MealyLasso<I,O>
,MealyMachine<S,I,T,O>
,MealyTransitionSystem<S,I,T,O>
,MooreMachine<S,I,T,O>
,MooreTransitionSystem<S,I,T,O>
,MutableDeterministic<S,I,T,SP,TP>
,MutableDFA<S,I>
,MutableMealyMachine<S,I,T,O>
,MutableMooreMachine<S,I,T,O>
,MutableSubsequentialTransducer<S,I,T,O>
,OneSEVPA<L,I>
,PowersetViewTS<S,I,T,OS,OT>
,SBA<S,I>
,SEVPA<L,I>
,ShrinkableDeterministic<S,I,T,SP,TP>
,SPA<S,I>
,SPMM<S,I,T,O>
,StateLocalInputMealyMachine<S,I,T,O>
,StateOutputAutomaton<S,I,T,O>
,SubsequentialTransducer<S,I,T,O>
,TransitionOutputAutomaton<S,I,T,O>
,UniversalDeterministicAutomaton<S,I,T,SP,TP>
,UniversalDTS<S,I,T,SP,TP>
- All Known Implementing Classes:
DirectPowersetDTS
public interface DeterministicTransitionSystem<S,I,T> extends TransitionSystem<S,I,T>, SimpleDTS<S,I>
Deterministic transition system. Like aTransitionSystem
, but in each state there may exist at most one transition for each input symbol.Implementation note: It is suggested to use a non-null type for the transition class, as
null
will be used to denote an undefined successor. Allowingnull
to identify a state won't allow you to differentiate between a defined and undefined successor.
-
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description default @Nullable S
getSuccessor(S state, I input)
Retrieves the successor state reachable by the given input symbol.default Set<S>
getSuccessors(S state, I input)
Retrieves the set of successors for the given input symbol.@Nullable T
getTransition(S state, I input)
Retrieves the transition triggered by the given input symbol.default Collection<T>
getTransitions(S state, I input)
Retrieves the transitions that can be triggered by the given input symbol.static <T> Set<T>
transToSet(@Nullable T trans)
-
Methods inherited from interface net.automatalib.ts.simple.SimpleDTS
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors
-
Methods inherited from interface net.automatalib.ts.simple.SimpleTS
createDynamicStateMapping, createStaticStateMapping, getSuccessors
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
getSuccessor, powersetView
-
-
-
-
Method Detail
-
getSuccessor
default @Nullable S getSuccessor(S state, I input)
Description copied from interface:SimpleDTS
Retrieves the successor state reachable by the given input symbol.- Specified by:
getSuccessor
in interfaceSimpleDTS<S,I>
- Parameters:
state
- the source state.input
- the input symbol.- Returns:
- the successor state reachable by the given input symbol, or
null
if no state is reachable by this symbol. - See Also:
TransitionSystem.getSuccessors(Object, Object)
-
getTransition
@Nullable T getTransition(S state, I input)
Retrieves the transition triggered by the given input symbol.- Parameters:
state
- the source state.input
- the input symbol.- Returns:
- the transition triggered by the given input symbol, or
null
if no transition is triggered. - See Also:
TransitionSystem.getTransitions(Object, Object)
-
getSuccessors
default Set<S> getSuccessors(S state, I input)
Description copied from interface:SimpleTS
Retrieves the set of successors for the given input symbol.- Specified by:
getSuccessors
in interfaceSimpleDTS<S,I>
- Specified by:
getSuccessors
in interfaceSimpleTS<S,I>
- Specified by:
getSuccessors
in interfaceTransitionSystem<S,I,T>
- Parameters:
state
- the source state.input
- the input symbol.- Returns:
- the set of successors reachable by this input.
-
getTransitions
default Collection<T> getTransitions(S state, I input)
Description copied from interface:TransitionSystem
Retrieves the transitions that can be triggered by the given input symbol.The return value must not be
null
; if there are no transitions triggered by the specified input,Collections.emptySet()
should be returned.- Specified by:
getTransitions
in interfaceTransitionSystem<S,I,T>
- Parameters:
state
- the source state.input
- the input symbol.- Returns:
- the transitions triggered by the given input
-
-