Package net.automatalib.ts

Interface UniversalDTS<S,I,T,SP,TP>

All Superinterfaces:

DeterministicTransitionSystem<S,I,T>, SimpleDTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,T>, UniversalTransitionSystem<S,I,T,SP,TP>

All Known Subinterfaces:

DeterministicAcceptorTS<S,I>, DFA<S,I>, 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>, 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>, SubsequentialTransducer<S,I,T,O>, UniversalDeterministicAutomaton<S,I,T,SP,TP>

public interface UniversalDTS<S,I,T,SP,TP>
extends UniversalTransitionSystem<S,I,T,SP,TP>, DeterministicTransitionSystem<S,I,T>

Universal deterministic transition system.

See Also:

UniversalTransitionSystem, DeterministicTransitionSystem

Method Summary

Modifier and Type	Method	Description
default @Nullable TP	getTransitionProperty(S state, I input)	Retrieves the transition property of the outgoing transition corresponding to the given state and input, if it exists.

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions

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

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Method Detail

getTransitionProperty

default @Nullable TP getTransitionProperty(S state,
                                           I input)

Retrieves the transition property of the outgoing transition corresponding to the given state and input, if it exists. Otherwise, null is returned.

Note that this method alone is insufficient for determining whether a transition actually exists, as null might either be property of an existing transition, or indicate that the transition does not exist.

Parameters:

state - the source state

input - the input symbol

Returns:

the property of the outgoing transition, or null