Uses of Interface
net.automatalib.ts.DeterministicTransitionSystem

Packages that use DeterministicTransitionSystem

Package	Description
net.automatalib.automaton	This package (including sub-packages) contains the basic classes concerning automata.
net.automatalib.automaton.concept
net.automatalib.automaton.fsa
net.automatalib.automaton.procedural
net.automatalib.automaton.transducer
net.automatalib.automaton.vpa
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

Uses of DeterministicTransitionSystem in net.automatalib.automaton

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

Uses of DeterministicTransitionSystem in net.automatalib.automaton.concept

Subinterfaces of DeterministicTransitionSystem 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 DeterministicTransitionSystem in net.automatalib.automaton.fsa

Subinterfaces of DeterministicTransitionSystem in net.automatalib.automaton.fsa

Modifier and Type	Interface	Description
interface	DFA<S,I>	Deterministic finite state acceptor.
interface	MutableDFA<S,I>

Uses of DeterministicTransitionSystem in net.automatalib.automaton.procedural

Subinterfaces of DeterministicTransitionSystem 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 DeterministicTransitionSystem in net.automatalib.automaton.transducer

Subinterfaces of DeterministicTransitionSystem 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	StateOutputAutomaton<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.
interface	TransitionOutputAutomaton<S,I,T,O>

Uses of DeterministicTransitionSystem in net.automatalib.automaton.vpa

Subinterfaces of DeterministicTransitionSystem 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 DeterministicTransitionSystem in net.automatalib.modelchecking

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

Uses of DeterministicTransitionSystem in net.automatalib.ts

Subinterfaces of DeterministicTransitionSystem in net.automatalib.ts

Modifier and Type	Interface	Description
interface	PowersetViewTS<S,I,T,OS,OT>
interface	UniversalDTS<S,I,T,SP,TP>	Universal deterministic transition system.

Uses of DeterministicTransitionSystem in net.automatalib.ts.acceptor

Subinterfaces of DeterministicTransitionSystem in net.automatalib.ts.acceptor

Modifier and Type	Interface	Description
interface	DeterministicAcceptorTS<S,I>	A deterministic acceptor transition system.

Uses of DeterministicTransitionSystem in net.automatalib.ts.output

Subinterfaces of DeterministicTransitionSystem 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 DeterministicTransitionSystem in net.automatalib.ts.powerset

Classes in net.automatalib.ts.powerset that implement DeterministicTransitionSystem

Modifier and Type	Class	Description
class	DirectPowersetDTS<S,I,T>