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>, DeterministicTransitionOutputTS<S,I,T,O>, DeterministicTransitionSystem<S,I,T>, DetOutputAutomaton<S,I,T,D>, DetSuffixOutputAutomaton<S,I,T,D>, DFA<S,I>, MealyMachine<S,I,T,O>, MealyTransitionSystem<S,I,T,O>, MooreMachine<S,I,T,O>, MutableDeterministic<S,I,T,SP,TP>, MutableDFA<S,I>, MutableMealyMachine<S,I,T,O>, MutableMooreMachine<S,I,T,O>, OneSEVPA<L,I>, PowersetViewTS<S,I,T,OS,OT>, ShrinkableDeterministic<S,I,T,SP,TP>, SimpleDeterministicAutomaton<S,I>, TransitionOutputAutomaton<S,I,T,O>, UniversalDeterministicAutomaton<S,I,T,SP,TP>, UniversalDTS<S,I,T,SP,TP>

All Known Implementing Classes:

DirectPowersetDTS

@ParametersAreNonnullByDefault
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.

Author:

Malte Isberner

Method Summary

Modifier and Type	Method and Description
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 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.
S	getSuccessor(S state, I input) Retrieves the successor state reachable by the given input symbol.
default 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(S state)

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Method Detail

getSuccessors

@Nonnull
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, or null if no successor states are reachable by this input.

getSuccessors

@Nonnull
default Set<S> getSuccessors(S state,
                                      @Nullable
                                      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, or null if no successor states are reachable by this input.

getStates

@Nonnull
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

@Nullable
default 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(S state)

getSuccessor

@Nullable
default 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,
                         @Nullable
                         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)