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.brics This package contains adapter classes for treating the Automaton objects from the BRICS library as AutomataLib models.net.automatalib.modelchecking net.automatalib.util.automaton.vpa net.automatalib.util.ts.acceptor -
-
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>
Classes in net.automatalib.automaton.fsa that implement DeterministicAcceptorTS Modifier and Type Class Description class
CompactDFA<I>
class
FastDFA<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.Classes in net.automatalib.automaton.procedural that implement DeterministicAcceptorTS Modifier and Type Class Description class
EmptySBA<I>
A utility implementation of anSBA
that rejects all inputs, i.e., which describes the empty language.class
EmptySPA<I>
A utility implementation of anSPA
that rejects all inputs, i.e., describes the empty language.class
StackSBA<S,I>
A stack-based implementation for the (instrumented) language of anSBA
.class
StackSPA<S,I>
A stack-based implementation for the (instrumented) language of anSPA
. -
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.Classes in net.automatalib.automaton.vpa that implement DeterministicAcceptorTS Modifier and Type Class Description class
AbstractDefaultSEVPA<I>
Basic functionality forLocation
-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 DeterministicAcceptorTS in net.automatalib.brics
Classes in net.automatalib.brics that implement DeterministicAcceptorTS Modifier and Type Class Description class
BricsDFA
Adapter class for wrapping a Brics automaton as aDFA
. -
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 forDFA
s.Classes in net.automatalib.modelchecking that implement DeterministicAcceptorTS Modifier and Type Class Description class
DFALassoImpl<I>
A DFALasso is a lasso forDFA
s. -
Uses of DeterministicAcceptorTS in net.automatalib.util.automaton.vpa
Classes in net.automatalib.util.automaton.vpa that implement DeterministicAcceptorTS Modifier and Type Class Description class
ProductOneSEVPA<L1,L2,I>
Production automaton that allows to join two givenOneSEVPA
s. -
Uses of DeterministicAcceptorTS in net.automatalib.util.ts.acceptor
Methods in net.automatalib.util.ts.acceptor with type parameters of type DeterministicAcceptorTS Modifier and Type Method Description static <S1,S2,I,TS1 extends DeterministicAcceptorTS<S1,I>,TS2 extends DeterministicAcceptorTS<S2,I>>
DeterministicAcceptorTS<Pair<S1,S2>,I>Acceptors. combine(TS1 ts1, TS2 ts2, AcceptanceCombiner combiner)
static <S1,S2,I,TS1 extends DeterministicAcceptorTS<S1,I>,TS2 extends DeterministicAcceptorTS<S2,I>>
DeterministicAcceptorTS<Pair<S1,S2>,I>Acceptors. combine(TS1 ts1, TS2 ts2, AcceptanceCombiner combiner)
Methods in net.automatalib.util.ts.acceptor that return DeterministicAcceptorTS Modifier and Type Method Description static <S1,S2,I,TS1 extends DeterministicAcceptorTS<S1,I>,TS2 extends DeterministicAcceptorTS<S2,I>>
DeterministicAcceptorTS<Pair<S1,S2>,I>Acceptors. combine(TS1 ts1, TS2 ts2, AcceptanceCombiner combiner)
-