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.base
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.incremental.dfa
net.automatalib.incremental.dfa.tree
net.automatalib.modelchecking
net.automatalib.ts.acceptor
net.automatalib.ts.output
net.automatalib.util.automaton.vpa

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>	A DeterministicAutomaton with state and transition properties.

Classes in net.automatalib.automaton that implement UniversalDTS

Modifier and Type	Class	Description
class	UniversalCompactDet<I,SP,TP>	A default implementation for AbstractCompactDeterministic that uses CompactTransition as transition type and supports various types of state and transition properties.
class	UniversalCompactSimpleDet<I,SP>	A AbstractCompactSimpleDeterministic-based implementation for automata that need to store generic state properties.

Uses of UniversalDTS in net.automatalib.automaton.base

Classes in net.automatalib.automaton.base that implement UniversalDTS

Modifier and Type	Class	Description
class	AbstractCompactDeterministic<I,T,SP,TP>	Abstract super class that refines AbstractCompact for deterministic automata.
class	AbstractCompactSimpleDeterministic<I,SP>	Abstract super class that refines AbstractCompactDeterministic for transition-property-less automata.
class	AbstractFastMutableDet<S extends AbstractFastState<T>,I,T,SP,TP>

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>

Classes in net.automatalib.automaton.fsa that implement UniversalDTS

Modifier and Type	Class	Description
class	CompactDFA<I>
class	FastDFA<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.

Classes in net.automatalib.automaton.procedural that implement UniversalDTS

Modifier and Type	Class	Description
class	EmptySBA<I>	A utility implementation of an SBA that rejects all inputs, i.e., which describes the empty language.
class	EmptySPA<I>	A utility implementation of an SPA that rejects all inputs, i.e., describes the empty language.
class	EmptySPMM<I,O>	A utility implementation of an SPMM 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 an SBA.
class	StackSPA<S,I>	A stack-based implementation for the (instrumented) language of an SPA.
class	StackSPMM<S,I,T,O>	A stack-based implementation for the (instrumented) transductions of an SPMM.

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>	A mutable extension of a SubsequentialTransducer.
interface	StateLocalInputMealyMachine<S,I,T,O>
interface	SubsequentialTransducer<S,I,T,O>	A subsequential transducer (or SST) is an DeterministicOutputTS whose state and transition properties are output-words.

Classes in net.automatalib.automaton.transducer that implement UniversalDTS

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 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.

Classes in net.automatalib.automaton.vpa that implement UniversalDTS

Modifier and Type	Class	Description
class	AbstractDefaultSEVPA<I>	Basic functionality for Location-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 UniversalDTS in net.automatalib.brics

Classes in net.automatalib.brics that implement UniversalDTS

Modifier and Type	Class	Description
class	BricsDFA	Adapter class for wrapping a Brics automaton as a DFA.

Uses of UniversalDTS in net.automatalib.incremental.dfa

Methods in net.automatalib.incremental.dfa that return UniversalDTS

Modifier and Type	Method	Description
UniversalDTS<?,I,?,Acceptance,Void>	IncrementalDFABuilder.asTransitionSystem()

Uses of UniversalDTS in net.automatalib.incremental.dfa.tree

Methods in net.automatalib.incremental.dfa.tree that return UniversalDTS

Modifier and Type	Method	Description
UniversalDTS<?,I,?,Acceptance,Void>	IncrementalDFATreeBuilder.asTransitionSystem()
UniversalDTS<?,I,?,Acceptance,Void>	IncrementalPCDFATreeBuilder.asTransitionSystem()

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 for DFAs.
static interface	Lasso.MealyLasso<I,O>	A MealyLasso is a lasso for MealyMachines.

Classes in net.automatalib.modelchecking that implement UniversalDTS

Modifier and Type	Class	Description
class	DFALassoImpl<I>	A DFALasso is a lasso for DFAs.
class	MealyLassoImpl<I,O>	A MealyLasso is a lasso for MealyMachines.

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>

Uses of UniversalDTS in net.automatalib.util.automaton.vpa

Classes in net.automatalib.util.automaton.vpa that implement UniversalDTS

Modifier and Type	Class	Description
class	ProductOneSEVPA<L1,L2,I>	Production automaton that allows to join two given OneSEVPAs.