Package net.automatalib.automaton.concept

Interface DetOutputAutomaton<S,I,T,D>

Type Parameters:

S - state class

I - input symbol class

T - transition class

D - output domain class

All Superinterfaces:

Automaton<S,I,T>, DeterministicAutomaton<S,I,T>, DeterministicTransitionSystem<S,I,T>, FiniteRepresentation, Iterable<S>, Output<I,D>, OutputAutomaton<S,I,T,D>, SimpleAutomaton<S,I>, SimpleDeterministicAutomaton<S,I>, SimpleDTS<S,I>, SimpleTS<S,I>, TransitionSystem<S,I,T>

All Known Subinterfaces:

DetSuffixOutputAutomaton<S,I,T,D>, DFA<S,I>, Lasso<I,D>, Lasso.DFALasso<I>, Lasso.MealyLasso<I,O>, MealyMachine<S,I,T,O>, MooreMachine<S,I,T,O>, MutableDFA<S,I>, MutableMealyMachine<S,I,T,O>, MutableMooreMachine<S,I,T,O>, MutableSubsequentialTransducer<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 DetOutputAutomaton<S,I,T,D>
extends OutputAutomaton<S,I,T,D>, DeterministicAutomaton<S,I,T>

An automaton which deterministically produces an output for an input word. Here, output refers to the complete output that is made when an input word is read, not a single symbol.

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.automaton.DeterministicAutomaton

DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.IntAbstraction<T>, DeterministicAutomaton.StateIntAbstraction<I,T>

Method Summary

Methods inherited from interface net.automatalib.automaton.Automaton

transitionGraphView

Methods inherited from interface net.automatalib.automaton.DeterministicAutomaton

fullIntAbstraction, fullIntAbstraction, stateIntAbstraction

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions

Methods inherited from interface java.lang.Iterable

forEach, spliterator

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

computeOutput

Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton

createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs

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

getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, getSuccessors

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

getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, powersetView