Uses of Interface
net.automatalib.alphabet.SupportsGrowingAlphabet
-
Packages that use SupportsGrowingAlphabet Package Description net.automatalib.automaton This package (including sub-packages) contains the basic classes concerning automata.net.automatalib.automaton.base net.automatalib.automaton.fsa net.automatalib.automaton.transducer net.automatalib.automaton.transducer.probabilistic net.automatalib.incremental.dfa net.automatalib.incremental.dfa.dag net.automatalib.incremental.dfa.tree net.automatalib.incremental.mealy net.automatalib.incremental.mealy.dag net.automatalib.incremental.mealy.tree net.automatalib.incremental.moore net.automatalib.incremental.moore.dag net.automatalib.incremental.moore.tree net.automatalib.ts.modal -
-
Uses of SupportsGrowingAlphabet in net.automatalib.automaton
Classes in net.automatalib.automaton that implement SupportsGrowingAlphabet 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 SupportsGrowingAlphabet in net.automatalib.automaton.base
Classes in net.automatalib.automaton.base that implement SupportsGrowingAlphabet 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 SupportsGrowingAlphabet in net.automatalib.automaton.fsa
Classes in net.automatalib.automaton.fsa that implement SupportsGrowingAlphabet Modifier and Type Class Description class
CompactDFA<I>
class
CompactNFA<I>
class
FastDFA<I>
class
FastNFA<I>
-
Uses of SupportsGrowingAlphabet in net.automatalib.automaton.transducer
Classes in net.automatalib.automaton.transducer that implement SupportsGrowingAlphabet 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 SupportsGrowingAlphabet in net.automatalib.automaton.transducer.probabilistic
Classes in net.automatalib.automaton.transducer.probabilistic that implement SupportsGrowingAlphabet Modifier and Type Class Description class
FastProbMealy<I,O>
-
Uses of SupportsGrowingAlphabet in net.automatalib.incremental.dfa
Subinterfaces of SupportsGrowingAlphabet in net.automatalib.incremental.dfa Modifier and Type Interface Description interface
IncrementalDFABuilder<I>
General interface for incremental DFA builders.Classes in net.automatalib.incremental.dfa that implement SupportsGrowingAlphabet Modifier and Type Class Description class
AbstractIncrementalDFABuilder<I>
Abstract base class forIncrementalDFABuilder
s. -
Uses of SupportsGrowingAlphabet in net.automatalib.incremental.dfa.dag
Classes in net.automatalib.incremental.dfa.dag that implement SupportsGrowingAlphabet 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 SupportsGrowingAlphabet in net.automatalib.incremental.dfa.tree
Classes in net.automatalib.incremental.dfa.tree that implement SupportsGrowingAlphabet 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 SupportsGrowingAlphabet in net.automatalib.incremental.mealy
Subinterfaces of SupportsGrowingAlphabet in net.automatalib.incremental.mealy Modifier and Type Interface Description interface
AdaptiveMealyBuilder<I,O>
A variation of theIncrementalMealyBuilder
interface that allows one to override previously inserted traces.interface
IncrementalMealyBuilder<I,O>
General interface for incremental Mealy builders.interface
MealyBuilder<I,O>
A utility interface to share functionality betweenIncrementalMealyBuilder
s andAdaptiveMealyBuilder
s. -
Uses of SupportsGrowingAlphabet in net.automatalib.incremental.mealy.dag
Classes in net.automatalib.incremental.mealy.dag that implement SupportsGrowingAlphabet 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 SupportsGrowingAlphabet in net.automatalib.incremental.mealy.tree
Classes in net.automatalib.incremental.mealy.tree that implement SupportsGrowingAlphabet Modifier and Type Class Description class
AdaptiveMealyTreeBuilder<I,O>
class
DynamicIncrementalMealyTreeBuilder<I,O>
A variation of the normalIncrementalMealyTreeBuilder
which stores the successor information of each tree-node in a dynamically allocatedMap
.class
IncrementalMealyTreeBuilder<I,O>
Incrementally builds a tree with transition outputs from a set of input and corresponding output words. -
Uses of SupportsGrowingAlphabet in net.automatalib.incremental.moore
Subinterfaces of SupportsGrowingAlphabet in net.automatalib.incremental.moore Modifier and Type Interface Description interface
IncrementalMooreBuilder<I,O>
General interface for incremental Moore builders. -
Uses of SupportsGrowingAlphabet in net.automatalib.incremental.moore.dag
Classes in net.automatalib.incremental.moore.dag that implement SupportsGrowingAlphabet 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 SupportsGrowingAlphabet in net.automatalib.incremental.moore.tree
Classes in net.automatalib.incremental.moore.tree that implement SupportsGrowingAlphabet Modifier and Type Class Description class
IncrementalMooreTreeBuilder<I,O>
Incrementally builds a (tree-based) Moore machine from a set of input and corresponding output words. -
Uses of SupportsGrowingAlphabet in net.automatalib.ts.modal
Classes in net.automatalib.ts.modal that implement SupportsGrowingAlphabet Modifier and Type Class Description class
AbstractCompactMTS<I,T,TP extends MutableModalEdgeProperty>
An abstract base-implementation forMutableModalTransitionSystem
s.class
CompactMTS<I>
-