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>, DeterministicTransitionOutputTS<S,I,T,O>, DetOutputAutomaton<S,I,T,D>, DetSuffixOutputAutomaton<S,I,T,D>, DFA<S,I>, IncrementalDFABuilder.TransitionSystemView<S,I,T>, 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>, TransitionOutputAutomaton<S,I,T,O>, UniversalDeterministicAutomaton<S,I,T,SP,TP>, UniversalDTS<S,I,T,SP,TP>

All Known Implementing Classes:

AbstractCompactDeterministic, AbstractCompactSimpleDet, AbstractFastMutableDet, AbstractIncrementalDFABuilder.AbstractTransitionSystemView, AbstractIncrementalDFADAGBuilder.TransitionSystemView, AbstractOneSEVPA, BricsDFA, CompactDFA, CompactMealy, DefaultOneSEVPA, DetAcceptorComposition, DeterministicPowersetView, DirectPowersetDTS, DTSComposition, FastDFA, FastMealy, FastMoore, FastPowersetDTS, IncrementalDFATreeBuilder.TransitionSystemView, IncrementalMealyDAGBuilder.AutomatonView, IncrementalMealyTreeBuilder.TransitionSystemView, IncrementalPCDFATreeBuilder.TransitionSystemView, ProductOneSEVPA, UniversalCompactSimpleDet

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

Author:

Malte Isberner

Method Summary

Modifier and Type	Method and Description
default 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.
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(T trans)

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, powersetView

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

getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Method Detail

getSuccessor

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

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

getTransitions

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

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