Module net.automatalib.api

Package net.automatalib.ts.output

Interface DeterministicTransitionOutputTS<S,I,T,O>

Type Parameters:

S - state type

I - input symbol type

T - transition type

O - output symbol type

All Superinterfaces:

DeterministicOutputTS<S,I,T,Word<O>>, DeterministicSuffixOutputTS<S,I,T,Word<O>>, DeterministicTraceableTS<S,I,T,O>, DeterministicTransitionSystem<S,I,T>, InitialState<S>, InitialStates<S>, Output<I,Word<O>>, OutputTS<S,I,T,Word<O>>, SimpleDTS<S,I>, SimpleTS<S,I>, SuffixOutput<I,Word<O>>, TransitionOutput<T,O>, TransitionSystem<S,I,T>

All Known Subinterfaces:

Lasso.MealyLasso<I,O>, MealyMachine<S,I,T,O>, MealyTransitionSystem<S,I,T,O>, MMLTSemantics<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, DefaultMMLTSemantics, EmptySPMM, FastMealy, MealyLassoImpl, ReducedMMLTSemantics, StackSPMM

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

A deterministic transition output transition system is a deterministic output transition system that produces outputs based on its transition outputs.

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)	Traces for a given state and input sequence, the observed outputs and writes them to the provided list.

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

computeStateOutput, computeSuffixOutput, trace

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions, powersetView

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

getInitialState, getInitialStates

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

getState, getStates, getSuccessor

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

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

computeOutput

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

getTransitionOutput

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor

Method Details

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)

Description copied from interface: DeterministicTraceableTS

Traces for a given state and input sequence, the observed outputs and writes them to the provided list.

Specified by:

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

Parameters:

state - the state from which to start the traversal

input - the input sequence to apply

output - the output list to which the observed outputs should be written to

Returns:

true if the complete input sequence could be applied, false if undefined transitions have been encountered