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:
DirectPowersetDTS
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)
-
-