Uses of Interface
net.automatalib.automaton.concept.DetSuffixOutputAutomaton
-
Packages that use DetSuffixOutputAutomaton Package Description net.automatalib.automaton.fsa net.automatalib.automaton.transducer net.automatalib.modelchecking -
-
Uses of DetSuffixOutputAutomaton in net.automatalib.automaton.fsa
Subinterfaces of DetSuffixOutputAutomaton in net.automatalib.automaton.fsa Modifier and Type Interface Description interfaceDFA<S,I>Deterministic finite state acceptor.interfaceMutableDFA<S,I> -
Uses of DetSuffixOutputAutomaton in net.automatalib.automaton.transducer
Subinterfaces of DetSuffixOutputAutomaton in net.automatalib.automaton.transducer Modifier and Type Interface Description interfaceMealyMachine<S,I,T,O>interfaceMooreMachine<S,I,T,O>interfaceMutableMealyMachine<S,I,T,O>interfaceMutableMooreMachine<S,I,T,O>interfaceMutableSubsequentialTransducer<S,I,T,O>Amutableextension of aSubsequentialTransducer.interfaceStateLocalInputMealyMachine<S,I,T,O>interfaceStateOutputAutomaton<S,I,T,O>interfaceSubsequentialTransducer<S,I,T,O>A subsequential transducer (or SST) is anDeterministicOutputTSwhose state and transition properties are output-words.interfaceTransitionOutputAutomaton<S,I,T,O> -
Uses of DetSuffixOutputAutomaton in net.automatalib.modelchecking
Subinterfaces of DetSuffixOutputAutomaton in net.automatalib.modelchecking Modifier and Type Interface Description static interfaceLasso.DFALasso<I>A DFALasso is a lasso forDFAs.static interfaceLasso.MealyLasso<I,O>A MealyLasso is a lasso forMealyMachines.
-