Module net.automatalib.api
Interface DeterministicOutputAutomaton<S,I,T,D>
- Type Parameters:
S- state typeI- input symbol typeT- transition typeD- output domain type
- All Superinterfaces:
Automaton<S,,I, T> DeterministicAutomaton<S,,I, T> DeterministicOutputTS<S,,I, T, D> DeterministicTransitionSystem<S,,I, T> FiniteRepresentation,InitialState<S>,InitialStates<S>,Iterable<S>,Output<I,,D> OutputAutomaton<S,,I, T, D> OutputTS<S,,I, T, D> SimpleAutomaton<S,,I> SimpleDeterministicAutomaton<S,,I> SimpleDTS<S,,I> SimpleTS<S,,I> TransitionSystem<S,I, T>
- All Known Subinterfaces:
DeterministicSuffixOutputAutomaton<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>
- All Known Implementing Classes:
AbstractLasso,BricsDFA,CompactDFA,CompactMealy,CompactMoore,CompactSST,DFALassoImpl,FastDFA,FastMealy,FastMoore,MealyLassoImpl,ReducedMMLTSemantics
public interface DeterministicOutputAutomaton<S,I,T,D>
extends OutputAutomaton<S,I,T,D>, DeterministicAutomaton<S,I,T>, DeterministicOutputTS<S,I,T,D>
A deterministic output automaton is a
deterministic automaton that can produce
outputs.-
Nested Class Summary
Nested classes/interfaces inherited from interface net.automatalib.automaton.Automaton
Automaton.RegularAutomaton<S,I, T> Nested classes/interfaces inherited from interface net.automatalib.automaton.DeterministicAutomaton
DeterministicAutomaton.RegularAutomaton<S,I, T> -
Method Summary
Methods inherited from interface net.automatalib.automaton.Automaton
transitionGraphViewMethods inherited from interface net.automatalib.automaton.DeterministicAutomaton
fullIntAbstraction, fullIntAbstraction, stateIntAbstractionMethods inherited from interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor, getSuccessors, getTransition, getTransitions, powersetViewMethods inherited from interface net.automatalib.automaton.concept.InitialState
getInitialState, getInitialStatesMethods inherited from interface java.lang.Iterable
forEach, spliteratorMethods inherited from interface net.automatalib.automaton.concept.Output
computeOutputMethods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDsMethods inherited from interface net.automatalib.ts.simple.SimpleDTS
getState, getStates, getSuccessor, getSuccessorsMethods inherited from interface net.automatalib.ts.simple.SimpleTS
getSuccessorsMethods inherited from interface net.automatalib.ts.TransitionSystem
getSuccessor