Uses of Interface
net.automatalib.automaton.simple.SimpleDeterministicAutomaton

Packages that use SimpleDeterministicAutomaton

Package	Description
net.automatalib.automaton	This package (including sub-packages) contains the basic classes concerning automata.
net.automatalib.automaton.abstraction
net.automatalib.automaton.base
net.automatalib.automaton.concept
net.automatalib.automaton.fsa
net.automatalib.automaton.transducer
net.automatalib.brics	This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.
net.automatalib.modelchecking

Uses of SimpleDeterministicAutomaton in net.automatalib.automaton

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

Classes in net.automatalib.automaton that implement SimpleDeterministicAutomaton

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 SimpleDeterministicAutomaton in net.automatalib.automaton.abstraction

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

Modifier and Type	Class	Description
static class	SimpleDeterministicAbstractions.IntAbstraction<S,A extends SimpleDeterministicAutomaton<S,?>>	Base class implementing the default way of obtaining an integer abstraction from an automaton, i.e., by mapping states to integers and vice versa using the StateIDs mapping obtained via SimpleAutomaton.stateIDs().
static class	SimpleDeterministicAbstractions.StateIntAbstraction<S,I,A extends SimpleDeterministicAutomaton<S,I>>	Base class implementing the default way of obtaining a SimpleDeterministicAutomaton.StateIntAbstraction.

Fields in net.automatalib.automaton.abstraction declared as SimpleDeterministicAutomaton

Modifier and Type	Field	Description
protected A	SimpleDeterministicAbstractions.IntAbstraction.automaton

Uses of SimpleDeterministicAutomaton in net.automatalib.automaton.base

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

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 SimpleDeterministicAutomaton in net.automatalib.automaton.concept

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

Subinterfaces of SimpleDeterministicAutomaton 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 SimpleDeterministicAutomaton

Modifier and Type	Class	Description
class	CompactDFA<I>
class	FastDFA<I>

Uses of SimpleDeterministicAutomaton in net.automatalib.automaton.transducer

Subinterfaces of SimpleDeterministicAutomaton 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>

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

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 SimpleDeterministicAutomaton in net.automatalib.brics

Classes in net.automatalib.brics that implement SimpleDeterministicAutomaton

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

Uses of SimpleDeterministicAutomaton in net.automatalib.modelchecking

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

Classes in net.automatalib.modelchecking that implement SimpleDeterministicAutomaton

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