Uses of Interface
net.automatalib.ts.simple.SimpleDTS
-
Packages that use SimpleDTS Package Description net.automatalib.automaton This package (including sub-packages) contains the basic classes concerning automata.net.automatalib.automaton.base net.automatalib.automaton.concept net.automatalib.automaton.fsa net.automatalib.automaton.procedural net.automatalib.automaton.simple 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 This package (including sub-packages) contains the basic classes concerning transition systems.net.automatalib.ts.acceptor net.automatalib.ts.output net.automatalib.ts.powerset net.automatalib.util.automaton.vpa net.automatalib.util.ts.comp -
-
Uses of SimpleDTS in net.automatalib.automaton
Subinterfaces of SimpleDTS in net.automatalib.automaton Modifier and Type Interface Description interface
DeterministicAutomaton<S,I,T>
Basic interface for a deterministic automaton.interface
MutableDeterministic<S,I,T,SP,TP>
Interface for a mutable deterministic automaton.interface
ShrinkableDeterministic<S,I,T,SP,TP>
A mutable deterministic automaton that also supports destructive operations, i.e., removal of states and transitions.interface
UniversalDeterministicAutomaton<S,I,T,SP,TP>
ADeterministicAutomaton
with state and transition properties.Classes in net.automatalib.automaton that implement SimpleDTS Modifier and Type Class Description class
UniversalCompactDet<I,SP,TP>
A default implementation forAbstractCompactDeterministic
that usesCompactTransition
as transition type and supports various types of state and transition properties.class
UniversalCompactSimpleDet<I,SP>
AAbstractCompactSimpleDeterministic
-based implementation for automata that need to store generic state properties. -
Uses of SimpleDTS in net.automatalib.automaton.base
Classes in net.automatalib.automaton.base that implement SimpleDTS Modifier and Type Class Description class
AbstractCompactDeterministic<I,T,SP,TP>
Abstract super class that refinesAbstractCompact
for deterministic automata.class
AbstractCompactSimpleDeterministic<I,SP>
Abstract super class that refinesAbstractCompactDeterministic
for transition-property-less automata.class
AbstractFastMutableDet<S extends AbstractFastState<T>,I,T,SP,TP>
-
Uses of SimpleDTS in net.automatalib.automaton.concept
Subinterfaces of SimpleDTS 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>
-
Uses of SimpleDTS in net.automatalib.automaton.fsa
Subinterfaces of SimpleDTS 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 SimpleDTS Modifier and Type Class Description class
CompactDFA<I>
class
FastDFA<I>
-
Uses of SimpleDTS in net.automatalib.automaton.procedural
Subinterfaces of SimpleDTS 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 SimpleDTS 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 SimpleDTS in net.automatalib.automaton.simple
Subinterfaces of SimpleDTS in net.automatalib.automaton.simple Modifier and Type Interface Description interface
SimpleDeterministicAutomaton<S,I>
A simple deterministic automaton. -
Uses of SimpleDTS in net.automatalib.automaton.transducer
Subinterfaces of SimpleDTS 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 SimpleDTS 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 SimpleDTS in net.automatalib.automaton.vpa
Subinterfaces of SimpleDTS 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 SimpleDTS 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 SimpleDTS in net.automatalib.brics
Classes in net.automatalib.brics that implement SimpleDTS Modifier and Type Class Description class
BricsDFA
Adapter class for wrapping a Brics automaton as aDFA
. -
Uses of SimpleDTS in net.automatalib.modelchecking
Subinterfaces of SimpleDTS 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 SimpleDTS 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 SimpleDTS in net.automatalib.ts
Subinterfaces of SimpleDTS in net.automatalib.ts Modifier and Type Interface Description interface
DeterministicTransitionSystem<S,I,T>
Deterministic transition system.interface
PowersetViewTS<S,I,T,OS,OT>
interface
UniversalDTS<S,I,T,SP,TP>
Universal deterministic transition system. -
Uses of SimpleDTS in net.automatalib.ts.acceptor
Subinterfaces of SimpleDTS in net.automatalib.ts.acceptor Modifier and Type Interface Description interface
DeterministicAcceptorTS<S,I>
A deterministic acceptor transition system. -
Uses of SimpleDTS in net.automatalib.ts.output
Subinterfaces of SimpleDTS in net.automatalib.ts.output Modifier and Type Interface Description interface
DeterministicOutputTS<S,I,T,O>
interface
DeterministicStateOutputTS<S,I,T,O>
interface
DeterministicTransitionOutputTS<S,I,T,O>
interface
MealyTransitionSystem<S,I,T,O>
interface
MooreTransitionSystem<S,I,T,O>
-
Uses of SimpleDTS in net.automatalib.ts.powerset
Classes in net.automatalib.ts.powerset that implement SimpleDTS Modifier and Type Class Description class
DeterministicPowersetView<S,I,T>
class
DirectPowersetDTS<S,I,T>
class
FastPowersetDTS<S extends NumericID,I,T>
-
Uses of SimpleDTS in net.automatalib.util.automaton.vpa
Classes in net.automatalib.util.automaton.vpa that implement SimpleDTS Modifier and Type Class Description class
ProductOneSEVPA<L1,L2,I>
Production automaton that allows to join two givenOneSEVPA
s. -
Uses of SimpleDTS in net.automatalib.util.ts.comp
Classes in net.automatalib.util.ts.comp that implement SimpleDTS Modifier and Type Class Description class
DTSComposition<S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>>
-