Interface StateOutputAutomaton<S,I,T,O>
-
- All Superinterfaces:
Automaton<S,I,T>,DeterministicAutomaton<S,I,T>,DeterministicOutputTS<S,I,T,O>,DeterministicStateOutputTS<S,I,T,O>,DeterministicTransitionSystem<S,I,T>,DetOutputAutomaton<S,I,T,Word<O>>,DetSuffixOutputAutomaton<S,I,T,Word<O>>,FiniteRepresentation,Iterable<S>,Output<I,Word<O>>,OutputAutomaton<S,I,T,Word<O>>,SimpleAutomaton<S,I>,SimpleDeterministicAutomaton<S,I>,SimpleDTS<S,I>,SimpleTS<S,I>,StateOutput<S,O>,SuffixOutput<I,Word<O>>,TransitionSystem<S,I,T>
- All Known Subinterfaces:
MooreMachine<S,I,T,O>,MutableMooreMachine<S,I,T,O>
public interface StateOutputAutomaton<S,I,T,O> extends DetSuffixOutputAutomaton<S,I,T,Word<O>>, DeterministicStateOutputTS<S,I,T,O>
-
-
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
All Methods Instance Methods Default Methods Modifier and Type Method Description default Word<O>computeStateOutput(S state, Iterable<? extends I> input)-
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.output.DeterministicOutputTS
trace
-
Methods inherited from interface net.automatalib.ts.output.DeterministicStateOutputTS
trace
-
Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor, getSuccessors, getTransition, getTransitions
-
Methods inherited from interface net.automatalib.automaton.concept.DetSuffixOutputAutomaton
computeOutput, computeSuffixOutput
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
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.automaton.concept.StateOutput
getStateOutput
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
getSuccessor, powersetView
-
-