Uses of Interface
net.automatalib.automata.concepts.DetOutputAutomaton

Packages that use DetOutputAutomaton

Package	Description
net.automatalib.automata.concepts
net.automatalib.automata.fsa
net.automatalib.automata.fsa.impl
net.automatalib.automata.fsa.impl.compact
net.automatalib.automata.transducers
net.automatalib.automata.transducers.impl
net.automatalib.automata.transducers.impl.compact
net.automatalib.brics
net.automatalib.modelchecking
net.automatalib.modelchecking.lasso

Uses of DetOutputAutomaton in net.automatalib.automata.concepts

Subinterfaces of DetOutputAutomaton in net.automatalib.automata.concepts

Modifier and Type	Interface and Description
interface	DetSuffixOutputAutomaton<S,I,T,D>

Uses of DetOutputAutomaton in net.automatalib.automata.fsa

Subinterfaces of DetOutputAutomaton 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 DetOutputAutomaton in net.automatalib.automata.fsa.impl

Classes in net.automatalib.automata.fsa.impl that implement DetOutputAutomaton

Modifier and Type	Class and Description
class	FastDFA<I>

Uses of DetOutputAutomaton in net.automatalib.automata.fsa.impl.compact

Classes in net.automatalib.automata.fsa.impl.compact that implement DetOutputAutomaton

Modifier and Type	Class and Description
class	CompactDFA<I>

Uses of DetOutputAutomaton in net.automatalib.automata.transducers

Subinterfaces of DetOutputAutomaton in net.automatalib.automata.transducers

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	StateLocalInputMealyMachine<S,I,T,O>
interface	StateOutputAutomaton<S,I,T,O>
interface	TransitionOutputAutomaton<S,I,T,O>

Uses of DetOutputAutomaton in net.automatalib.automata.transducers.impl

Classes in net.automatalib.automata.transducers.impl that implement DetOutputAutomaton

Modifier and Type	Class and Description
class	FastMealy<I,O> A fast implementation of a Mealy machine.
class	FastMoore<I,O> A fast implementation of a Moore automaton.

Uses of DetOutputAutomaton in net.automatalib.automata.transducers.impl.compact

Classes in net.automatalib.automata.transducers.impl.compact that implement DetOutputAutomaton

Modifier and Type	Class and Description
class	CompactMealy<I,O>
class	CompactMoore<I,O>

Uses of DetOutputAutomaton in net.automatalib.brics

Classes in net.automatalib.brics that implement DetOutputAutomaton

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

Uses of DetOutputAutomaton in net.automatalib.modelchecking

Subinterfaces of DetOutputAutomaton in net.automatalib.modelchecking

Modifier and Type	Interface and Description
interface	Lasso<I,D> A lasso is an 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.

Methods in net.automatalib.modelchecking that return DetOutputAutomaton

Modifier and Type	Method and Description
DetOutputAutomaton<?,I,?,D>	Lasso.getAutomaton() Returns the original automaton from which this lasso is constructed.

Uses of DetOutputAutomaton in net.automatalib.modelchecking.lasso

Classes in net.automatalib.modelchecking.lasso that implement DetOutputAutomaton

Modifier and Type	Class and 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.

Methods in net.automatalib.modelchecking.lasso that return DetOutputAutomaton

Modifier and Type	Method and Description
DetOutputAutomaton<?,I,?,D>	AbstractLasso.getAutomaton()

Constructors in net.automatalib.modelchecking.lasso with parameters of type DetOutputAutomaton

Constructor and Description
AbstractLasso(DetOutputAutomaton<S,I,?,D> automaton, Collection<? extends I> inputs, int unfoldTimes) Constructs a finite representation of a given automaton (that contains a lasso), by unrolling the loop unfoldTimes.
DFALassoImpl(DetOutputAutomaton<?,I,?,Boolean> automaton, Collection<? extends I> inputs, int unfoldTimes)
MealyLassoImpl(DetOutputAutomaton<?,I,?,Word<O>> automaton, Collection<? extends I> inputs, int unfoldTimes)