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>, 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>, ShrinkableDeterministic<S,I,T,SP,TP>, 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.

Author:

Malte Isberner

See Also:

UniversalTransitionSystem, DeterministicTransitionSystem

Method Summary

Modifier and Type	Method and Description
default 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.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions, transToSet

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

getTransitionProperty

default 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 or not 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