Uses of Interface
net.automatalib.ts.acceptor.AcceptorTS

Packages that use AcceptorTS

Package	Description
net.automatalib.automaton.fsa
net.automatalib.automaton.procedural
net.automatalib.automaton.vpa
net.automatalib.modelchecking
net.automatalib.ts.acceptor

Uses of AcceptorTS in net.automatalib.automaton.fsa

Subinterfaces of AcceptorTS in net.automatalib.automaton.fsa

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

Uses of AcceptorTS in net.automatalib.automaton.procedural

Subinterfaces of AcceptorTS in net.automatalib.automaton.procedural

Modifier and Type	Interface	Description
interface	SBA<S,I>	A system of behavioral automata.
interface	SPA<S,I>	A system of procedural automata.

Uses of AcceptorTS in net.automatalib.automaton.vpa

Subinterfaces of AcceptorTS in net.automatalib.automaton.vpa

Modifier and Type	Interface	Description
interface	OneSEVPA<L,I>	A specialized interface for 1-SEVPAs (1-module single entry visibly push-down automata).
interface	SEVPA<L,I>	Interface for k-SEVPAs (k-module single entry visibly push-down automata), a visibly push-down automaton of specific structure and semantics.

Uses of AcceptorTS in net.automatalib.modelchecking

Subinterfaces of AcceptorTS in net.automatalib.modelchecking

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

Uses of AcceptorTS in net.automatalib.ts.acceptor

Subinterfaces of AcceptorTS in net.automatalib.ts.acceptor

Modifier and Type	Interface	Description
interface	DeterministicAcceptorTS<S,I>	A deterministic acceptor transition system.