Package net.automatalib.ts

Interface DeterministicTransitionSystem<S,I,T>

Type Parameters:

S - state class

I - input symbol class

T - 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:

DirectPowersetDTS

public interface DeterministicTransitionSystem<S,I,T>
extends TransitionSystem<S,I,T>, SimpleDTS<S,I>

Deterministic transition system. Like a TransitionSystem, 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. 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
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 interface SimpleDTS<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 interface SimpleDTS<S,I>

Specified by:

getSuccessors in interface SimpleTS<S,I>

Specified by:

getSuccessors in interface TransitionSystem<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 interface TransitionSystem<S,I,T>

Parameters:

state - the source state.

input - the input symbol.

Returns:

the transitions triggered by the given input

transToSet

static <T> Set<T> transToSet(@Nullable T trans)