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:
AbstractCompactDeterministic
,AbstractCompactSimpleDeterministic
,AbstractDefaultSEVPA
,AbstractFastMutableDet
,AbstractLasso
,AbstractSEVPA
,BricsDFA
,CompactDFA
,CompactMealy
,CompactMoore
,CompactSST
,DefaultNSEVPA
,DefaultOneSEVPA
,DeterministicPowersetView
,DFALassoImpl
,DirectPowersetDTS
,DTSComposition
,EmptySBA
,EmptySPA
,EmptySPMM
,FastDFA
,FastMealy
,FastMoore
,FastPowersetDTS
,MealyLassoImpl
,ProductOneSEVPA
,StackSBA
,StackSPA
,StackSPMM
,UniversalCompactDet
,UniversalCompactSimpleDet
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
-
-