Uses of Interface
net.automatalib.automaton.concept.Output
-
Packages that use Output Package Description net.automatalib.automaton.concept net.automatalib.automaton.fsa net.automatalib.automaton.procedural net.automatalib.automaton.transducer net.automatalib.automaton.vpa net.automatalib.brics This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.net.automatalib.modelchecking net.automatalib.serialization.fsm.parser net.automatalib.ts.acceptor net.automatalib.util.automaton.vpa -
-
Uses of Output in net.automatalib.automaton.concept
Subinterfaces of Output in net.automatalib.automaton.concept Modifier and Type Interface Description interface
DetOutputAutomaton<S,I,T,D>
An automaton which deterministically produces an output for an input word.interface
DetSuffixOutputAutomaton<S,I,T,D>
interface
OutputAutomaton<S,I,T,D>
interface
SuffixOutput<I,D>
Feature for automata that compute a suffix-observable output function, i.e., they compute an output containing a part that can be attributed to a suffix of the input. -
Uses of Output in net.automatalib.automaton.fsa
Subinterfaces of Output in net.automatalib.automaton.fsa Modifier and Type Interface Description interface
DFA<S,I>
Deterministic finite state acceptor.interface
FiniteStateAcceptor<S,I>
FiniteStateAcceptor
s accept regular languages.interface
MutableDFA<S,I>
interface
MutableFSA<S,I>
interface
MutableNFA<S,I>
interface
NFA<S,I>
Nondeterministic finite state acceptor.Classes in net.automatalib.automaton.fsa that implement Output Modifier and Type Class Description class
CompactDFA<I>
class
CompactNFA<I>
class
FastDFA<I>
class
FastNFA<I>
-
Uses of Output in net.automatalib.automaton.procedural
Subinterfaces of Output in net.automatalib.automaton.procedural Modifier and Type Interface Description interface
SBA<S,I>
A system of behavioral automata.interface
SPA<S,I>
A system of procedural automata.interface
SPMM<S,I,T,O>
A system of procedural Mealy machines.Classes in net.automatalib.automaton.procedural that implement Output Modifier and Type Class Description class
EmptySBA<I>
A utility implementation of anSBA
that rejects all inputs, i.e., which describes the empty language.class
EmptySPA<I>
A utility implementation of anSPA
that rejects all inputs, i.e., describes the empty language.class
EmptySPMM<I,O>
A utility implementation of anSPMM
that transduces all input words to a sequence of the given erroneous output symbol.class
StackSBA<S,I>
A stack-based implementation for the (instrumented) language of anSBA
.class
StackSPA<S,I>
A stack-based implementation for the (instrumented) language of anSPA
.class
StackSPMM<S,I,T,O>
A stack-based implementation for the (instrumented) transductions of anSPMM
. -
Uses of Output in net.automatalib.automaton.transducer
Subinterfaces of Output 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 Output 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 Output in net.automatalib.automaton.vpa
Subinterfaces of Output in net.automatalib.automaton.vpa Modifier and Type Interface Description interface
OneSEVPA<L,I>
A specialized interface for 1-SEVPAs (1-module single entry visibly push-down automata).interface
SEVPA<L,I>
Interface for k-SEVPAs (k-module single entry visibly push-down automata), a visibly push-down automaton of specific structure and semantics.Classes in net.automatalib.automaton.vpa that implement Output Modifier and Type Class Description class
AbstractDefaultSEVPA<I>
Basic functionality forLocation
-based SEVPA implementations.class
AbstractSEVPA<L,I>
Abstract class for k-SEVPAs that implements functionality shared across different subtypes.class
DefaultNSEVPA<I>
Default implementation for n-SEVPAs.class
DefaultOneSEVPA<I>
Default implementation for 1-SEVPAs. -
Uses of Output in net.automatalib.brics
Classes in net.automatalib.brics that implement Output Modifier and Type Class Description class
AbstractBricsAutomaton
Base class for Brics automata adapters.class
BricsDFA
Adapter class for wrapping a Brics automaton as aDFA
.class
BricsNFA
Adapter class for wrapping a Brics automaton as anNFA
. -
Uses of Output in net.automatalib.modelchecking
Subinterfaces of Output 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 Output 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. -
Uses of Output in net.automatalib.serialization.fsm.parser
Methods in net.automatalib.serialization.fsm.parser with parameters of type Output Modifier and Type Method Description static <E> FSM2MealyParserAlternating<E,E>
FSM2MealyParserAlternating. getParser(@Nullable Collection<? extends E> targetInputs, @Nullable Output<E,Word<E>> output, Function<String,E> edgeParser)
static <I,O>
FSM2MealyParserAlternating<I,O>FSM2MealyParserAlternating. getParser(@Nullable Collection<? extends I> targetInputs, @Nullable Output<I,Word<O>> output, Function<String,I> inputParser, Function<String,O> outputParser)
-
Uses of Output in net.automatalib.ts.acceptor
Subinterfaces of Output in net.automatalib.ts.acceptor Modifier and Type Interface Description interface
DeterministicAcceptorTS<S,I>
A deterministic acceptor transition system. -
Uses of Output in net.automatalib.util.automaton.vpa
Classes in net.automatalib.util.automaton.vpa that implement Output Modifier and Type Class Description class
ProductOneSEVPA<L1,L2,I>
Production automaton that allows to join two givenOneSEVPA
s.
-