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 classUniversalCompactDet<I,SP,TP>A default implementation forAbstractCompactDeterministicthat usesCompactTransitionas transition type and supports various types of state and transition properties.classUniversalCompactSimpleDet<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 classAbstractCompact<I,T,SP,TP>Abstract super class for compact automata representations.classAbstractCompactDeterministic<I,T,SP,TP>Abstract super class that refinesAbstractCompactfor deterministic automata.classAbstractCompactSimpleDeterministic<I,SP>Abstract super class that refinesAbstractCompactDeterministicfor transition-property-less automata.classAbstractCompactSimpleNondet<I,SP>Abstract super class that refinesAbstractCompactfor transition-property-less automata.classAbstractFastMutable<S extends AbstractFastState<?>,I,T,SP,TP>Shared functionality for (non-) deterministic mutable automata.classAbstractFastMutableDet<S extends AbstractFastState<T>,I,T,SP,TP>classAbstractFastMutableNondet<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 classCompactDFA<I>classCompactNFA<I>classFastDFA<I>classFastNFA<I> -
Uses of SupportsGrowingAlphabet in net.automatalib.automaton.transducer
Classes in net.automatalib.automaton.transducer that implement SupportsGrowingAlphabet Modifier and Type Class Description classCompactMealy<I,O>classCompactMoore<I,O>classCompactSST<I,O>classFastMealy<I,O>A fast implementation of a Mealy machine.classFastMoore<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 classFastProbMealy<I,O> -
Uses of SupportsGrowingAlphabet in net.automatalib.incremental.dfa
Subinterfaces of SupportsGrowingAlphabet in net.automatalib.incremental.dfa Modifier and Type Interface Description interfaceIncrementalDFABuilder<I>General interface for incremental DFA builders.Classes in net.automatalib.incremental.dfa that implement SupportsGrowingAlphabet Modifier and Type Class Description classAbstractIncrementalDFABuilder<I>Abstract base class forIncrementalDFABuilders. -
Uses of SupportsGrowingAlphabet in net.automatalib.incremental.dfa.dag
Classes in net.automatalib.incremental.dfa.dag that implement SupportsGrowingAlphabet Modifier and Type Class Description classIncrementalDFADAGBuilder<I>Incrementally builds an (acyclic) DFA, from a set of positive and negative words.classIncrementalPCDFADAGBuilder<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 classIncrementalDFATreeBuilder<I>Incrementally builds a tree, from a set of positive and negative words.classIncrementalPCDFATreeBuilder<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 interfaceAdaptiveMealyBuilder<I,O>A variation of theIncrementalMealyBuilderinterface that allows one to override previously inserted traces.interfaceIncrementalMealyBuilder<I,O>General interface for incremental Mealy builders.interfaceMealyBuilder<I,O>A utility interface to share functionality betweenIncrementalMealyBuilders andAdaptiveMealyBuilders. -
Uses of SupportsGrowingAlphabet in net.automatalib.incremental.mealy.dag
Classes in net.automatalib.incremental.mealy.dag that implement SupportsGrowingAlphabet Modifier and Type Class Description classIncrementalMealyDAGBuilder<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 classAdaptiveMealyTreeBuilder<I,O>classDynamicIncrementalMealyTreeBuilder<I,O>A variation of the normalIncrementalMealyTreeBuilderwhich stores the successor information of each tree-node in a dynamically allocatedMap.classIncrementalMealyTreeBuilder<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 interfaceIncrementalMooreBuilder<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 classIncrementalMooreDAGBuilder<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 classIncrementalMooreTreeBuilder<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 classAbstractCompactMTS<I,T,TP extends MutableModalEdgeProperty>An abstract base-implementation forMutableModalTransitionSystems.classCompactMTS<I>
-