Package net.automatalib.ts.output

Interface DeterministicStateOutputTS<S,I,T,O>

All Superinterfaces:

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

All Known Subinterfaces:

MooreMachine<S,I,T,O>, MooreTransitionSystem<S,I,T,O>, MutableMooreMachine<S,I,T,O>, StateOutputAutomaton<S,I,T,O>

public interface DeterministicStateOutputTS<S,I,T,O>
extends DeterministicOutputTS<S,I,T,O>, StateOutput<S,O>

Method Summary

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

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

getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

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

getStateOutput

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, powersetView

Method Detail

trace

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

Specified by:

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