Uses of Interface
net.automatalib.ts.UniversalDTS
-
Packages that use UniversalDTS Package Description net.automatalib.automaton This package (including sub-packages) contains the basic classes concerning automata.net.automatalib.automaton.fsa net.automatalib.automaton.procedural net.automatalib.automaton.transducer net.automatalib.automaton.vpa net.automatalib.modelchecking net.automatalib.ts.acceptor net.automatalib.ts.output -
-
Uses of UniversalDTS in net.automatalib.automaton
Subinterfaces of UniversalDTS in net.automatalib.automaton Modifier and Type Interface Description 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. -
Uses of UniversalDTS in net.automatalib.automaton.fsa
Subinterfaces of UniversalDTS in net.automatalib.automaton.fsa Modifier and Type Interface Description interface
DFA<S,I>
Deterministic finite state acceptor.interface
MutableDFA<S,I>
-
Uses of UniversalDTS in net.automatalib.automaton.procedural
Subinterfaces of UniversalDTS 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. -
Uses of UniversalDTS in net.automatalib.automaton.transducer
Subinterfaces of UniversalDTS 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
SubsequentialTransducer<S,I,T,O>
A subsequential transducer (or SST) is anDeterministicOutputTS
whose state and transition properties are output-words
. -
Uses of UniversalDTS in net.automatalib.automaton.vpa
Subinterfaces of UniversalDTS 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. -
Uses of UniversalDTS in net.automatalib.modelchecking
Subinterfaces of UniversalDTS 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. -
Uses of UniversalDTS in net.automatalib.ts.acceptor
Subinterfaces of UniversalDTS in net.automatalib.ts.acceptor Modifier and Type Interface Description interface
DeterministicAcceptorTS<S,I>
A deterministic acceptor transition system. -
Uses of UniversalDTS in net.automatalib.ts.output
Subinterfaces of UniversalDTS in net.automatalib.ts.output Modifier and Type Interface Description interface
MealyTransitionSystem<S,I,T,O>
interface
MooreTransitionSystem<S,I,T,O>
-