Module net.automatalib.api

Package net.automatalib.ts.output

Interface DeterministicTransitionOutputTS<S,I,T,O>

All Superinterfaces:

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

All Known Subinterfaces:

Lasso.MealyLasso<I,O>, MealyMachine<S,I,T,O>, MealyTransitionSystem<S,I,T,O>, MutableMealyMachine<S,I,T,O>, SPMM<S,I,T,O>, StateLocalInputMealyMachine<S,I,T,O>, TransitionOutputAutomaton<S,I,T,O>

All Known Implementing Classes:

CompactMealy, EmptySPMM, FastMealy, MealyLassoImpl, StackSPMM

public interface DeterministicTransitionOutputTS<S,I,T,O>
extends DeterministicOutputTS<S,I,T,O>, TransitionOutput<T,O>

Method Summary

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

Methods inherited from interface net.automatalib.ts.output.DeterministicOutputTS

trace

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions, powersetView

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

getInitialState, getInitialStates, getState, getStates, getSuccessor

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Methods inherited from interface net.automatalib.automaton.concept.TransitionOutput

getTransitionOutput

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor

Method Detail

getOutput

default @Nullable O getOutput(S state,
                              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(S state,
                      Iterable<? extends I> input,
                      List<? super O> output)

Specified by:

trace in interface DeterministicOutputTS<S,I,T,O>