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

Packages that use SimpleDeterministicAutomaton

Package	Description
net.automatalib.automata	This package contains the basic interfaces for automata.
net.automatalib.automata.concepts
net.automatalib.automata.fsa
net.automatalib.automata.simple
net.automatalib.automata.transout

Uses of SimpleDeterministicAutomaton in net.automatalib.automata

Subinterfaces of SimpleDeterministicAutomaton in net.automatalib.automata

Modifier and Type	Interface and 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 SimpleDeterministicAutomaton in net.automatalib.automata.concepts

Subinterfaces of SimpleDeterministicAutomaton in net.automatalib.automata.concepts

Modifier and Type	Interface and 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.automata.fsa

Subinterfaces of SimpleDeterministicAutomaton in net.automatalib.automata.fsa

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

Uses of SimpleDeterministicAutomaton in net.automatalib.automata.simple

Classes in net.automatalib.automata.simple with type parameters of type SimpleDeterministicAutomaton

Modifier and Type	Class and Description
static class	SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction<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	SimpleDeterministicAutomaton.StateIntAbstraction.DefaultAbstraction<S,I,A extends SimpleDeterministicAutomaton<S,I>> Base class implementing the default way of obtaining a SimpleDeterministicAutomaton.StateIntAbstraction.

Fields in net.automatalib.automata.simple declared as SimpleDeterministicAutomaton

Modifier and Type	Field and Description
protected A	SimpleDeterministicAutomaton.IntAbstraction.DefaultAbstraction.automaton

Uses of SimpleDeterministicAutomaton in net.automatalib.automata.transout

Subinterfaces of SimpleDeterministicAutomaton in net.automatalib.automata.transout

Modifier and Type	Interface and 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	TransitionOutputAutomaton<S,I,T,O>