net.automatalib.automata.concepts

Interface SODetOutputAutomaton<S,I,T,O>

All Superinterfaces:

Automaton<S,I,T>, DeterministicAutomaton<S,I,T>, DeterministicTransitionSystem<S,I,T>, DetOutputAutomaton<S,I,T,O>, Iterable<S>, Output<I,O>, OutputAutomaton<S,I,T,O>, SimpleAutomaton<S,I>, SimpleDeterministicAutomaton<S,I>, SimpleDTS<S,I>, SimpleTS<S,I>, SuffixOutput<I,O>, TransitionSystem<S,I,T>

All Known Subinterfaces:

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:

AbstractDFA, AbstractMutableDFA, BricsDFA, CompactDFA, CompactMealy, FastDFA, FastMealy, FastMoore

public interface SODetOutputAutomaton<S,I,T,O>
extends DetOutputAutomaton<S,I,T,O>, SuffixOutput<I,O>

Method Summary

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

computeOutput

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

getStates, size, stateIDs

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getTransition

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getTransitions, powersetView

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

getInitialState, getState, getSuccessor, getSuccessor

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

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

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

computeSuffixOutput