Uses of Interface
net.automatalib.automaton.fsa.FiniteStateAcceptor

Packages that use FiniteStateAcceptor

Package	Description
net.automatalib.automaton.fsa
net.automatalib.automaton.visualization
net.automatalib.modelchecking

Uses of FiniteStateAcceptor in net.automatalib.automaton.fsa

Classes in net.automatalib.automaton.fsa with type parameters of type FiniteStateAcceptor

Modifier and Type	Class	Description
static class	FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>

Subinterfaces of FiniteStateAcceptor in net.automatalib.automaton.fsa

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

Uses of FiniteStateAcceptor in net.automatalib.automaton.visualization

Constructors in net.automatalib.automaton.visualization with parameters of type FiniteStateAcceptor

Constructor	Description
FSAVisualizationHelper(FiniteStateAcceptor<S,I> automaton)

Uses of FiniteStateAcceptor in net.automatalib.modelchecking

Subinterfaces of FiniteStateAcceptor in net.automatalib.modelchecking

Modifier and Type	Interface	Description
static interface	Lasso.DFALasso<I>	A DFALasso is a lasso for DFAs.