Uses of Interface
net.automatalib.automaton.concept.SuffixOutput
-
Packages that use SuffixOutput 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.ts.acceptor net.automatalib.util.automaton.vpa -
-
Uses of SuffixOutput in net.automatalib.automaton.concept
Subinterfaces of SuffixOutput in net.automatalib.automaton.concept Modifier and Type Interface Description interface
DetSuffixOutputAutomaton<S,I,T,D>
-
Uses of SuffixOutput in net.automatalib.automaton.fsa
Subinterfaces of SuffixOutput 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 SuffixOutput Modifier and Type Class Description class
CompactDFA<I>
class
CompactNFA<I>
class
FastDFA<I>
class
FastNFA<I>
-
Uses of SuffixOutput in net.automatalib.automaton.procedural
Subinterfaces of SuffixOutput 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 SuffixOutput 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 SuffixOutput in net.automatalib.automaton.transducer
Subinterfaces of SuffixOutput 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 SuffixOutput 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 SuffixOutput in net.automatalib.automaton.vpa
Subinterfaces of SuffixOutput 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 SuffixOutput 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 SuffixOutput in net.automatalib.brics
Classes in net.automatalib.brics that implement SuffixOutput 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 SuffixOutput in net.automatalib.modelchecking
Subinterfaces of SuffixOutput in net.automatalib.modelchecking Modifier and Type Interface Description 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 SuffixOutput Modifier and Type Class Description class
DFALassoImpl<I>
A DFALasso is a lasso forDFA
s.class
MealyLassoImpl<I,O>
A MealyLasso is a lasso forMealyMachine
s. -
Uses of SuffixOutput in net.automatalib.ts.acceptor
Subinterfaces of SuffixOutput in net.automatalib.ts.acceptor Modifier and Type Interface Description interface
DeterministicAcceptorTS<S,I>
A deterministic acceptor transition system. -
Uses of SuffixOutput in net.automatalib.util.automaton.vpa
Classes in net.automatalib.util.automaton.vpa that implement SuffixOutput Modifier and Type Class Description class
ProductOneSEVPA<L1,L2,I>
Production automaton that allows to join two givenOneSEVPA
s.
-