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.brics This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.net.automatalib.modelchecking -
-
Uses of DetOutputAutomaton in net.automatalib.automaton.concept
Subinterfaces of DetOutputAutomaton in net.automatalib.automaton.concept Modifier and Type Interface Description interface
DetSuffixOutputAutomaton<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 interface
DFA<S,I>
Deterministic finite state acceptor.interface
MutableDFA<S,I>
Classes in net.automatalib.automaton.fsa that implement DetOutputAutomaton Modifier and Type Class Description class
CompactDFA<I>
class
FastDFA<I>
-
Uses of DetOutputAutomaton in net.automatalib.automaton.transducer
Subinterfaces of DetOutputAutomaton in net.automatalib.automaton.transducer Modifier and Type Interface Description interface
MealyMachine<S,I,T,O>
interface
MooreMachine<S,I,T,O>
interface
MutableMealyMachine<S,I,T,O>
interface
MutableMooreMachine<S,I,T,O>
interface
MutableSubsequentialTransducer<S,I,T,O>
Amutable
extension of aSubsequentialTransducer
.interface
StateLocalInputMealyMachine<S,I,T,O>
interface
StateOutputAutomaton<S,I,T,O>
interface
SubsequentialTransducer<S,I,T,O>
A subsequential transducer (or SST) is anDeterministicOutputTS
whose state and transition properties are output-words
.interface
TransitionOutputAutomaton<S,I,T,O>
Classes in net.automatalib.automaton.transducer that implement DetOutputAutomaton Modifier and Type Class Description class
CompactMealy<I,O>
class
CompactMoore<I,O>
class
CompactSST<I,O>
class
FastMealy<I,O>
A fast implementation of a Mealy machine.class
FastMoore<I,O>
A fast implementation of a Moore automaton. -
Uses of DetOutputAutomaton in net.automatalib.brics
Classes in net.automatalib.brics that implement DetOutputAutomaton Modifier and Type Class Description class
BricsDFA
Adapter class for wrapping a Brics automaton as aDFA
. -
Uses of DetOutputAutomaton in net.automatalib.modelchecking
Subinterfaces of DetOutputAutomaton in net.automatalib.modelchecking Modifier and Type Interface Description interface
Lasso<I,D>
A lasso is a single infinite word.static interface
Lasso.DFALasso<I>
A DFALasso is a lasso forDFA
s.static interface
Lasso.MealyLasso<I,O>
A MealyLasso is a lasso forMealyMachine
s.Classes in net.automatalib.modelchecking that implement DetOutputAutomaton Modifier and Type Class Description class
AbstractLasso<I,D>
class
DFALassoImpl<I>
A DFALasso is a lasso forDFA
s.class
MealyLassoImpl<I,O>
A MealyLasso is a lasso forMealyMachine
s.Methods in net.automatalib.modelchecking that return DetOutputAutomaton Modifier and Type Method Description DetOutputAutomaton<?,I,?,D>
AbstractLasso. getAutomaton()
DetOutputAutomaton<?,I,?,D>
Lasso. getAutomaton()
Returns the original automaton from which this lasso is constructed.Constructors in net.automatalib.modelchecking with parameters of type DetOutputAutomaton Constructor Description AbstractLasso(DetOutputAutomaton<S,I,?,D> automaton, Collection<? extends I> inputs, int unfoldTimes)
Constructs a finite representation of a given automaton (that contains a lasso), by unrolling the loopunfoldTimes
.DFALassoImpl(DetOutputAutomaton<?,I,?,Boolean> automaton, Collection<? extends I> inputs, int unfoldTimes)
MealyLassoImpl(DetOutputAutomaton<?,I,?,Word<O>> automaton, Collection<? extends I> inputs, int unfoldTimes)
-