Uses of Interface
net.automatalib.automaton.concept.InputAlphabetHolder
-
-
Uses of InputAlphabetHolder in net.automatalib.automaton
Subinterfaces of InputAlphabetHolder in net.automatalib.automaton Modifier and Type Interface Description interface
FiniteAlphabetAutomaton<S,I,T>
interface
UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>
Classes in net.automatalib.automaton that implement InputAlphabetHolder Modifier and Type Class Description class
UniversalCompactDet<I,SP,TP>
A default implementation forAbstractCompactDeterministic
that usesCompactTransition
as transition type and supports various types of state and transition properties.class
UniversalCompactSimpleDet<I,SP>
AAbstractCompactSimpleDeterministic
-based implementation for automata that need to store generic state properties. -
Uses of InputAlphabetHolder in net.automatalib.automaton.base
Classes in net.automatalib.automaton.base that implement InputAlphabetHolder Modifier and Type Class Description class
AbstractCompact<I,T,SP,TP>
Abstract super class for compact automata representations.class
AbstractCompactDeterministic<I,T,SP,TP>
Abstract super class that refinesAbstractCompact
for deterministic automata.class
AbstractCompactSimpleDeterministic<I,SP>
Abstract super class that refinesAbstractCompactDeterministic
for transition-property-less automata.class
AbstractCompactSimpleNondet<I,SP>
Abstract super class that refinesAbstractCompact
for transition-property-less automata.class
AbstractFastMutable<S extends AbstractFastState<?>,I,T,SP,TP>
Shared functionality for (non-) deterministic mutable automata.class
AbstractFastMutableDet<S extends AbstractFastState<T>,I,T,SP,TP>
class
AbstractFastMutableNondet<S extends AbstractFastState<Collection<T>>,I,T,SP,TP>
-
Uses of InputAlphabetHolder in net.automatalib.automaton.fsa
Classes in net.automatalib.automaton.fsa that implement InputAlphabetHolder Modifier and Type Class Description class
CompactDFA<I>
class
CompactNFA<I>
class
FastDFA<I>
class
FastNFA<I>
-
Uses of InputAlphabetHolder in net.automatalib.automaton.procedural
Subinterfaces of InputAlphabetHolder in net.automatalib.automaton.procedural Modifier and Type Interface Description (package private) interface
net.automatalib.automaton.procedural.ProceduralSystem<I,M extends UniversalDeterministicAutomaton<?,I,?,?,?>>
(Meta-) Interface for procedural systems, i.e., systems that consist of multiple procedural automata that can mutually call each other.interface
SBA<S,I>
A system of behavioral automata.interface
SPA<S,I>
A system of procedural automata.interface
SPMM<S,I,T,O>
A system of procedural Mealy machines.Classes in net.automatalib.automaton.procedural that implement InputAlphabetHolder 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
EmptySPMM<I,O>
A utility implementation of anSPMM
that transduces all input words to a sequence of the given erroneous output symbol.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
.class
StackSPMM<S,I,T,O>
A stack-based implementation for the (instrumented) transductions of anSPMM
. -
Uses of InputAlphabetHolder in net.automatalib.automaton.transducer
Classes in net.automatalib.automaton.transducer that implement InputAlphabetHolder Modifier and Type Class Description class
CompactMealy<I,O>
class
CompactMoore<I,O>
class
CompactSST<I,O>
class
FastMealy<I,O>
A fast implementation of a Mealy machine.class
FastMoore<I,O>
A fast implementation of a Moore automaton. -
Uses of InputAlphabetHolder in net.automatalib.automaton.transducer.probabilistic
Classes in net.automatalib.automaton.transducer.probabilistic that implement InputAlphabetHolder Modifier and Type Class Description class
FastProbMealy<I,O>
-
Uses of InputAlphabetHolder in net.automatalib.automaton.vpa
Subinterfaces of InputAlphabetHolder 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 InputAlphabetHolder 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 InputAlphabetHolder in net.automatalib.incremental.dfa
Classes in net.automatalib.incremental.dfa that implement InputAlphabetHolder Modifier and Type Class Description class
AbstractIncrementalDFABuilder<I>
Abstract base class forIncrementalDFABuilder
s. -
Uses of InputAlphabetHolder in net.automatalib.incremental.dfa.dag
Classes in net.automatalib.incremental.dfa.dag that implement InputAlphabetHolder Modifier and Type Class Description class
IncrementalDFADAGBuilder<I>
Incrementally builds an (acyclic) DFA, from a set of positive and negative words.class
IncrementalPCDFADAGBuilder<I>
The prefix-closed version ofIncrementalDFADAGBuilder
. -
Uses of InputAlphabetHolder in net.automatalib.incremental.dfa.tree
Classes in net.automatalib.incremental.dfa.tree that implement InputAlphabetHolder Modifier and Type Class Description class
IncrementalDFATreeBuilder<I>
Incrementally builds a tree, from a set of positive and negative words.class
IncrementalPCDFATreeBuilder<I>
The prefix-closed version ofIncrementalDFATreeBuilder
. -
Uses of InputAlphabetHolder in net.automatalib.incremental.mealy.dag
Classes in net.automatalib.incremental.mealy.dag that implement InputAlphabetHolder Modifier and Type Class Description class
IncrementalMealyDAGBuilder<I,O>
Incrementally builds an (acyclic) Mealy machine, from a set of input and corresponding output words. -
Uses of InputAlphabetHolder in net.automatalib.incremental.mealy.tree
Classes in net.automatalib.incremental.mealy.tree that implement InputAlphabetHolder Modifier and Type Class Description class
AdaptiveMealyTreeBuilder<I,O>
class
IncrementalMealyTreeBuilder<I,O>
Incrementally builds a tree with transition outputs from a set of input and corresponding output words. -
Uses of InputAlphabetHolder in net.automatalib.incremental.moore.dag
Classes in net.automatalib.incremental.moore.dag that implement InputAlphabetHolder Modifier and Type Class Description class
IncrementalMooreDAGBuilder<I,O>
Incrementally builds an (acyclic) Moore machine from a set of input and corresponding output words. -
Uses of InputAlphabetHolder in net.automatalib.modelchecking
Subinterfaces of InputAlphabetHolder in net.automatalib.modelchecking Modifier and Type Interface Description interface
Lasso<I,D>
A lasso is a single infinite word.static interface
Lasso.DFALasso<I>
A DFALasso is a lasso forDFA
s.static interface
Lasso.MealyLasso<I,O>
A MealyLasso is a lasso forMealyMachine
s.Classes in net.automatalib.modelchecking that implement InputAlphabetHolder Modifier and Type Class Description class
AbstractLasso<I,D>
class
DFALassoImpl<I>
A DFALasso is a lasso forDFA
s.class
MealyLassoImpl<I,O>
A MealyLasso is a lasso forMealyMachine
s. -
Uses of InputAlphabetHolder in net.automatalib.ts.modal
Subinterfaces of InputAlphabetHolder in net.automatalib.ts.modal Modifier and Type Interface Description interface
ModalTransitionSystem<S,I,T,TP extends ModalEdgeProperty>
A modal transition system is aUniversalAutomaton
in which transitions can be marked asmay
ormust
edges.interface
MutableModalTransitionSystem<S,I,T,TP extends MutableModalEdgeProperty>
A mutable version ofModalTransitionSystem
that allows to add states and transitions.Classes in net.automatalib.ts.modal that implement InputAlphabetHolder Modifier and Type Class Description class
AbstractCompactMTS<I,T,TP extends MutableModalEdgeProperty>
An abstract base-implementation forMutableModalTransitionSystem
s.class
CompactMTS<I>
-
Uses of InputAlphabetHolder in net.automatalib.util.automaton.fsa
Methods in net.automatalib.util.automaton.fsa with type parameters of type InputAlphabetHolder Modifier and Type Method Description static <I,A extends NFA<?,I> & InputAlphabetHolder<I>>
CompactDFA<I>NFAs. determinize(A nfa)
static <I,A extends NFA<?,I> & InputAlphabetHolder<I>>
CompactDFA<I>NFAs. determinize(A nfa, boolean partial, boolean minimize)
static <S,I,A extends DFA<S,I> & InputAlphabetHolder<I>>
CompactDFA<I>DFAs. minimize(A dfa)
Minimizes the given DFA. -
Uses of InputAlphabetHolder in net.automatalib.util.automaton.minimizer.hopcroft
Methods in net.automatalib.util.automaton.minimizer.hopcroft with type parameters of type InputAlphabetHolder Modifier and Type Method Description static <S,I,A extends DFA<S,I> & InputAlphabetHolder<I>>
CompactDFA<I>HopcroftMinimization. minimizeDFA(A dfa)
Minimizes the given DFA.static <S,I,A extends DFA<S,I> & InputAlphabetHolder<I>>
CompactDFA<I>HopcroftMinimization. minimizeDFA(A dfa, HopcroftMinimization.PruningMode pruningMode)
Minimizes the given DFA.static <S,I,T,O,A extends MealyMachine<S,I,T,O> & InputAlphabetHolder<I>>
CompactMealy<I,O>HopcroftMinimization. minimizeMealy(A mealy)
Minimizes the given Mealy machine.static <S,I,T,O,A extends MealyMachine<S,I,T,O> & InputAlphabetHolder<I>>
CompactMealy<I,O>HopcroftMinimization. minimizeMealy(A mealy, HopcroftMinimization.PruningMode pruningMode)
Minimizes the given Mealy machine. -
Uses of InputAlphabetHolder in net.automatalib.util.automaton.minimizer.paigetarjan
Methods in net.automatalib.util.automaton.minimizer.paigetarjan with type parameters of type InputAlphabetHolder Modifier and Type Method Description static <S,I,A extends DFA<S,I> & InputAlphabetHolder<I>>
CompactDFA<I>PaigeTarjanMinimization. minimizeDFA(A dfa)
Minimizes the given DFA.static <S,I,T,O,A extends MealyMachine<S,I,T,O> & InputAlphabetHolder<I>>
CompactMealy<I,O>PaigeTarjanMinimization. minimizeMealy(A mealy)
Minimizes the given Mealy machine. -
Uses of InputAlphabetHolder in net.automatalib.util.automaton.vpa
Classes in net.automatalib.util.automaton.vpa that implement InputAlphabetHolder Modifier and Type Class Description class
ProductOneSEVPA<L1,L2,I>
Production automaton that allows to join two givenOneSEVPA
s.
-