Module net.automatalib.api
Package net.automatalib.ts

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

All Superinterfaces:
DeterministicTransitionSystem<S,I,T>, InitialState<S>, InitialStates<S>, SimpleDTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,T>, UniversalTransitionSystem<S,I,T,SP,TP>
All Known Subinterfaces:
AcceptorPowersetViewTS<S,I,OS>, DeterministicAcceptorTS<S,I>, DFA<S,I>, Lasso.DFALasso<I>, Lasso.MealyLasso<I,O>, MealyMachine<S,I,T,O>, MealyTransitionSystem<S,I,T,O>, MMLT<S,I,T,O>, MMLTSemantics<S,I,T,O>, MooreMachine<S,I,T,O>, MooreTransitionSystem<S,I,T,O>, MutableDeterministic<S,I,T,SP,TP>, MutableDeterministic.RegularAutomaton<S,I,T,SP,TP>, MutableDFA<S,I>, MutableMealyMachine<S,I,T,O>, MutableMMLT<S,I,T,O>, MutableMooreMachine<S,I,T,O>, MutableSubsequentialTransducer<S,I,T,O>, SBA<S,I>, SPA<S,I>, SPMM<S,I,T,O>, StateLocalInputMealyMachine<S,I,T,O>, SubsequentialTransducer<S,I,T,O>, UniversalDeterministicAutomaton<S,I,T,SP,TP>, UniversalDeterministicAutomaton.RegularAutomaton<S,I,T,SP,TP>
All Known Implementing Classes:
AbstractCompactDeterministic, AbstractCompactSimpleDeterministic, AbstractFastMutableDet, AcceptorPowersetView, BricsDFA, CompactDFA, CompactMealy, CompactMMLT, CompactMoore, CompactNFA.CompactAcceptorPowersetDTS, CompactSST, CompactTransitionOutput, DefaultMMLTSemantics, DeterministicAcceptorPowersetView, DFALassoImpl, EmptySBA, EmptySPA, EmptySPMM, FastAcceptorPowersetDTS, FastDFA, FastMealy, FastMoore, MealyLassoImpl, ReducedMMLTSemantics, SEVPASemantics, StackSBA, StackSPA, StackSPMM, UniversalCompactDet, UniversalCompactDetAutomaton, UniversalCompactSimpleDet
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:

  • Method Details

    • 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