Uses of Interface
net.automatalib.automaton.concept.DetOutputAutomaton
-
Packages that use DetOutputAutomaton Package Description net.automatalib.automaton.concept net.automatalib.automaton.fsa net.automatalib.automaton.transducer net.automatalib.modelchecking -
-
Uses of DetOutputAutomaton in net.automatalib.automaton.concept
Subinterfaces of DetOutputAutomaton in net.automatalib.automaton.concept Modifier and Type Interface Description interfaceDetSuffixOutputAutomaton<S,I,T,D> -
Uses of DetOutputAutomaton in net.automatalib.automaton.fsa
Subinterfaces of DetOutputAutomaton in net.automatalib.automaton.fsa Modifier and Type Interface Description interfaceDFA<S,I>Deterministic finite state acceptor.interfaceMutableDFA<S,I> -
Uses of DetOutputAutomaton in net.automatalib.automaton.transducer
Subinterfaces of DetOutputAutomaton 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 DetOutputAutomaton in net.automatalib.modelchecking
Subinterfaces of DetOutputAutomaton in net.automatalib.modelchecking Modifier and Type Interface Description interfaceLasso<I,D>A lasso is a single infinite word.static interfaceLasso.DFALasso<I>A DFALasso is a lasso forDFAs.static interfaceLasso.MealyLasso<I,O>A MealyLasso is a lasso forMealyMachines.Methods in net.automatalib.modelchecking that return DetOutputAutomaton Modifier and Type Method Description DetOutputAutomaton<?,I,?,D>Lasso. getAutomaton()Returns the original automaton from which this lasso is constructed.
-