net.automatalib.ts.transout

Interface DeterministicTransitionOutputTS<S,I,T,O>

All Superinterfaces:

DeterministicTransitionSystem<S,I,T>, SimpleDTS<S,I>, SimpleTS<S,I>, TransitionOutput<T,O>, TransitionSystem<S,I,T>

All Known Subinterfaces:

MealyMachine<S,I,T,O>, MealyTransitionSystem<S,I,T,O>, MooreMachine<S,I,T,O>, MutableMealyMachine<S,I,T,O>, MutableMooreMachine<S,I,T,O>, TransitionOutputAutomaton<S,I,T,O>

@ParametersAreNonnullByDefault
public interface DeterministicTransitionOutputTS<S,I,T,O>
extends DeterministicTransitionSystem<S,I,T>, TransitionOutput<T,O>

Method Summary

Modifier and Type	Method and Description
default O	getOutput(S state, I input) Retrieves the output for the given input symbol in the given state.
default boolean	trace(Iterable<? extends I> input, List<? super O> output)
default boolean	trace(S state, Iterable<? extends I> input, List<? super O> output)

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

Methods inherited from interface net.automatalib.automata.concepts.TransitionOutput

getTransitionOutput

Method Detail

getOutput

@Nullable
default O getOutput(S state,
                              @Nullable
                              I input)

Retrieves the output for the given input symbol in the given state. This is roughly equivalent to calling TransitionOutput.getTransitionOutput(Object) on the transition returned by DeterministicTransitionSystem.getTransition(Object, Object), however it should be noted that this function does not allow distinguishing between a null output and an undefined transition.

Parameters:

state - the source state

input - the input symbol

Returns:

the output symbol (or null if the transition is undefined)

trace

default boolean trace(Iterable<? extends I> input,
                      List<? super O> output)

trace

default boolean trace(S state,
                      Iterable<? extends I> input,
                      List<? super O> output)