net.automatalib.automata.concepts

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>, 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>, MealyMachine<S,I,T,O>, MooreMachine<S,I,T,O>, MutableDFA<S,I>, MutableMealyMachine<S,I,T,O>, MutableMooreMachine<S,I,T,O>, TransitionOutputAutomaton<S,I,T,O>

All Known Implementing Classes:

BricsDFA, CompactDFA, CompactMealy, FastDFA, FastMealy, FastMoore

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.

Author:

Malte Isberner

Nested Class Summary

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

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

Method Summary

Methods inherited from interface net.automatalib.automata.concepts.Output

computeOutput

Methods inherited from interface net.automatalib.automata.DeterministicAutomaton

fullIntAbstraction, fullIntAbstraction, stateIntAbstraction

Methods inherited from interface net.automatalib.automata.Automaton

transitionGraphView

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

createStaticStateMapping, getStates, iterator, size, stateIDs

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransition, getTransitions, transToSet

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, powersetView

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

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

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

createDynamicStateMapping, getSuccessors