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

Packages that use DeterministicAcceptorTS

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

Uses of DeterministicAcceptorTS in net.automatalib.automaton.fsa

Subinterfaces of DeterministicAcceptorTS in net.automatalib.automaton.fsa

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

Uses of DeterministicAcceptorTS in net.automatalib.automaton.procedural

Subinterfaces of DeterministicAcceptorTS 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 DeterministicAcceptorTS in net.automatalib.automaton.vpa

Subinterfaces of DeterministicAcceptorTS 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 DeterministicAcceptorTS in net.automatalib.modelchecking

Subinterfaces of DeterministicAcceptorTS in net.automatalib.modelchecking

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