Uses of Interface
net.automatalib.automaton.UniversalDeterministicAutomaton

Packages that use UniversalDeterministicAutomaton

Package	Description
net.automatalib.automaton	This package (including sub-packages) contains the basic classes concerning automata.
net.automatalib.automaton.abstraction
net.automatalib.automaton.fsa
net.automatalib.automaton.procedural
net.automatalib.automaton.transducer
net.automatalib.automaton.visualization
net.automatalib.modelchecking

Uses of UniversalDeterministicAutomaton in net.automatalib.automaton

Subinterfaces of UniversalDeterministicAutomaton 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.

Uses of UniversalDeterministicAutomaton in net.automatalib.automaton.abstraction

Classes in net.automatalib.automaton.abstraction with type parameters of type UniversalDeterministicAutomaton

Modifier and Type	Class	Description
static class	UniversalDeterministicAbstractions.StateIntAbstraction<S,I,T,SP,TP,A extends UniversalDeterministicAutomaton<S,I,T,SP,TP>>

Uses of UniversalDeterministicAutomaton in net.automatalib.automaton.fsa

Subinterfaces of UniversalDeterministicAutomaton in net.automatalib.automaton.fsa

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

Uses of UniversalDeterministicAutomaton in net.automatalib.automaton.procedural

Constructor parameters in net.automatalib.automaton.procedural with type arguments of type UniversalDeterministicAutomaton

Constructor	Description
ProceduralGraphView(Alphabet<I> internalAlphabet, Collection<I> proceduralAlphabet, Map<I,? extends UniversalDeterministicAutomaton<? extends S,I,?,?,?>> subModels)

Uses of UniversalDeterministicAutomaton in net.automatalib.automaton.transducer

Subinterfaces of UniversalDeterministicAutomaton 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.

Uses of UniversalDeterministicAutomaton in net.automatalib.automaton.visualization

Constructor parameters in net.automatalib.automaton.visualization with type arguments of type UniversalDeterministicAutomaton

Constructor	Description
ProceduralVisualizationHelper(Alphabet<I> internalAlphabet, Map<I,? extends UniversalDeterministicAutomaton<? extends S,I,?,?,?>> subModels)

Uses of UniversalDeterministicAutomaton in net.automatalib.modelchecking

Subinterfaces of UniversalDeterministicAutomaton 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.