Package net.automatalib.ts.output

Interface DeterministicOutputTS<S,I,T,O>

All Superinterfaces:

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

All Known Subinterfaces:

DeterministicStateOutputTS<S,I,T,O>, DeterministicTransitionOutputTS<S,I,T,O>, Lasso.MealyLasso<I,O>, MealyMachine<S,I,T,O>, MealyTransitionSystem<S,I,T,O>, MooreMachine<S,I,T,O>, MooreTransitionSystem<S,I,T,O>, MutableMealyMachine<S,I,T,O>, MutableMooreMachine<S,I,T,O>, MutableSubsequentialTransducer<S,I,T,O>, SPMM<S,I,T,O>, StateLocalInputMealyMachine<S,I,T,O>, StateOutputAutomaton<S,I,T,O>, SubsequentialTransducer<S,I,T,O>, TransitionOutputAutomaton<S,I,T,O>

public interface DeterministicOutputTS<S,I,T,O>
extends DeterministicTransitionSystem<S,I,T>

Method Summary

Modifier and Type	Method	Description
default boolean	trace(Iterable<? extends I> input, List<? super O> output)
boolean	trace(S state, Iterable<? extends I> input, List<? super O> output)

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.ts.TransitionSystem

getSuccessor, powersetView

Method Detail

trace

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

trace

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