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.brics	This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.
net.automatalib.modelchecking
net.automatalib.ts.acceptor
net.automatalib.util.automaton.vpa
net.automatalib.util.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.

Classes in net.automatalib.automaton.fsa that implement AcceptorTS

Modifier and Type	Class	Description
class	CompactDFA<I>
class	CompactNFA<I>
class	FastDFA<I>
class	FastNFA<I>

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.

Classes in net.automatalib.automaton.procedural that implement AcceptorTS

Modifier and Type	Class	Description
class	EmptySBA<I>	A utility implementation of an SBA that rejects all inputs, i.e., which describes the empty language.
class	EmptySPA<I>	A utility implementation of an SPA that rejects all inputs, i.e., describes the empty language.
class	StackSBA<S,I>	A stack-based implementation for the (instrumented) language of an SBA.
class	StackSPA<S,I>	A stack-based implementation for the (instrumented) language of an SPA.

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.

Classes in net.automatalib.automaton.vpa that implement AcceptorTS

Modifier and Type	Class	Description
class	AbstractDefaultSEVPA<I>	Basic functionality for Location-based SEVPA implementations.
class	AbstractSEVPA<L,I>	Abstract class for k-SEVPAs that implements functionality shared across different subtypes.
class	DefaultNSEVPA<I>	Default implementation for n-SEVPAs.
class	DefaultOneSEVPA<I>	Default implementation for 1-SEVPAs.

Uses of AcceptorTS in net.automatalib.brics

Classes in net.automatalib.brics that implement AcceptorTS

Modifier and Type	Class	Description
class	AbstractBricsAutomaton	Base class for Brics automata adapters.
class	BricsDFA	Adapter class for wrapping a Brics automaton as a DFA.
class	BricsNFA	Adapter class for wrapping a Brics automaton as an NFA.

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.

Classes in net.automatalib.modelchecking that implement AcceptorTS

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

Uses of AcceptorTS in net.automatalib.util.automaton.vpa

Classes in net.automatalib.util.automaton.vpa that implement AcceptorTS

Modifier and Type	Class	Description
class	ProductOneSEVPA<L1,L2,I>	Production automaton that allows to join two given OneSEVPAs.

Uses of AcceptorTS in net.automatalib.util.ts.acceptor

Methods in net.automatalib.util.ts.acceptor with type parameters of type AcceptorTS

Modifier and Type	Method	Description
static <S1,S2,I,TS1 extends AcceptorTS<S1,I>,TS2 extends AcceptorTS<S2,I>> AcceptorTS<Pair<S1,S2>,I>	Acceptors.combine(TS1 ts1, TS2 ts2, AcceptanceCombiner combiner)
static <S1,S2,I,TS1 extends AcceptorTS<S1,I>,TS2 extends AcceptorTS<S2,I>> AcceptorTS<Pair<S1,S2>,I>	Acceptors.combine(TS1 ts1, TS2 ts2, AcceptanceCombiner combiner)

Methods in net.automatalib.util.ts.acceptor that return AcceptorTS

Modifier and Type	Method	Description
static <S1,S2,I,TS1 extends AcceptorTS<S1,I>,TS2 extends AcceptorTS<S2,I>> AcceptorTS<Pair<S1,S2>,I>	Acceptors.combine(TS1 ts1, TS2 ts2, AcceptanceCombiner combiner)

Methods in net.automatalib.util.ts.acceptor with parameters of type AcceptorTS

Modifier and Type	Method	Description
static <S> Mapping<S,Boolean>	Acceptors.acceptance(AcceptorTS<S,?> acceptor)