Package net.automatalib.ts.simple

Interface SimpleDTS<S,I>

Type Parameters:

S - state class

I - 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. Allowing null to identify a state won't allow you to differentiate between a defined and undefined successor.

Method Summary

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 interface SimpleTS<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 interface SimpleTS<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 to getSuccessors(getInitialStates(), input).

Specified by:

getStates in interface SimpleTS<S,I>

Parameters:

input - the sequence of input symbols.

Returns:

the set of states reachable by this input from an initial state, or null if no successor state is reachable.

getInitialStates

default Set<S> getInitialStates()

Description copied from interface: SimpleTS

Retrieves the set of initial states of the transition system.

Specified by:

getInitialStates in interface SimpleTS<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()

stateToSet

static <S> Set<S> stateToSet(@Nullable S state)

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)