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

Packages that use NFA

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

Uses of NFA in net.automatalib.automaton.fsa

Subinterfaces of NFA in net.automatalib.automaton.fsa

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

Uses of NFA in net.automatalib.modelchecking

Subinterfaces of NFA in net.automatalib.modelchecking

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