Package net.automatalib.ts.simple
Interface SimpleDTS<S,I>
-
- Type Parameters:
S
- state classI
- input symbol class
- All Superinterfaces:
SimpleTS<S,I>
- 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>
,DeterministicTransitionSystem<S,I,T>
,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>
,SimpleDeterministicAutomaton<S,I>
,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 SimpleDTS<S,I> extends SimpleTS<S,I>
A simple deterministic transition system. In a deterministic transition system, there exists in each state at most one successor state for each input symbol.Implementation note: It is suggested to use a non-null type for the state 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 @Nullable S
getInitialState()
Retrieves the initial state of this transition system.default Set<S>
getInitialStates()
Retrieves the set of initial states of the transition system.default @Nullable S
getState(Iterable<? extends I> input)
Retrieves the state reachable by the given sequence of input symbols from the initial state.default Set<S>
getStates(Iterable<? extends I> input)
Retrieves the set of all states reachable by the given sequence of input symbols from an initial state.@Nullable S
getSuccessor(S state, I input)
Retrieves the successor state reachable by the given input symbol.default @Nullable S
getSuccessor(S state, Iterable<? extends I> input)
Retrieves the successor state reachable by the given sequence of input symbols.default Set<S>
getSuccessors(S state, I input)
Retrieves the set of successors for the given input symbol.default Set<S>
getSuccessors(S state, Iterable<? extends I> input)
Retrieves the set of successors for the given sequence of input symbols.static <S> Set<S>
stateToSet(@Nullable S state)
-
Methods inherited from interface net.automatalib.ts.simple.SimpleTS
createDynamicStateMapping, createStaticStateMapping, getSuccessors
-
-
-
-
Method Detail
-
getSuccessors
default Set<S> getSuccessors(S state, Iterable<? extends I> input)
Description copied from interface:SimpleTS
Retrieves the set of successors for the given sequence of input symbols.- Specified by:
getSuccessors
in interfaceSimpleTS<S,I>
- Parameters:
state
- the source state.input
- the sequence of input symbols.- Returns:
- the set of successors reachable by this input.
-
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 interfaceSimpleTS<S,I>
- Parameters:
state
- the source state.input
- the input symbol.- Returns:
- the set of successors reachable by this input.
-
getStates
default Set<S> getStates(Iterable<? extends I> input)
Description copied from interface:SimpleTS
Retrieves the set of all states reachable by the given sequence of input symbols from an initial state. Calling this method is equivalent togetSuccessors(getInitialStates(), input)
.
-
getInitialStates
default Set<S> getInitialStates()
Description copied from interface:SimpleTS
Retrieves the set of initial states of the transition system.- Specified by:
getInitialStates
in interfaceSimpleTS<S,I>
- Returns:
- the initial states.
-
getState
default @Nullable S getState(Iterable<? extends I> input)
Retrieves the state reachable by the given sequence of input symbols from the initial state.- Parameters:
input
- the input word.- Returns:
- the state reachable by the given input word, or
null
if no state is reachable by this word. - See Also:
SimpleTS.getStates(Iterable)
-
getInitialState
@Nullable S getInitialState()
Retrieves the initial state of this transition system.- Returns:
- the initial state.
- See Also:
SimpleTS.getInitialStates()
-
getSuccessor
default @Nullable S getSuccessor(S state, Iterable<? extends I> input)
Retrieves the successor state reachable by the given sequence of input symbols.- Parameters:
state
- the source state.input
- the input symbol.- Returns:
- the successor state reachable by the given sequence of input symbols, or
null
if no state is reachable by this symbol. - See Also:
SimpleTS.getSuccessors(Object, Iterable)
-
getSuccessor
@Nullable S getSuccessor(S state, I input)
Retrieves the successor state reachable by the given input symbol.- 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)
-
-