Uses of Package
net.automatalib.automaton.transducer
-
Packages that use net.automatalib.automaton.transducer Package Description net.automatalib.automaton.transducer net.automatalib.automaton.visualization net.automatalib.modelchecking -
Classes in net.automatalib.automaton.transducer used by net.automatalib.automaton.transducer Class Description MealyMachine MooreMachine StateOutputAutomaton SubsequentialTransducer A subsequential transducer (or SST) is anDeterministicOutputTS
whose state and transition properties are output-words
.TransitionOutputAutomaton -
Classes in net.automatalib.automaton.transducer used by net.automatalib.automaton.visualization Class Description MooreMachine SubsequentialTransducer A subsequential transducer (or SST) is anDeterministicOutputTS
whose state and transition properties are output-words
.TransitionOutputAutomaton -
Classes in net.automatalib.automaton.transducer used by net.automatalib.modelchecking Class Description MealyMachine TransitionOutputAutomaton