Uses of Interface
net.automatalib.automata.concepts.InputAlphabetHolder

Packages that use InputAlphabetHolder

Package	Description
net.automatalib.automata	This package contains the basic interfaces for automata.
net.automatalib.automata.base.compact
net.automatalib.automata.base.fast
net.automatalib.automata.fsa.impl
net.automatalib.automata.fsa.impl.compact
net.automatalib.automata.graphs
net.automatalib.automata.transducers.impl
net.automatalib.automata.transducers.impl.compact
net.automatalib.incremental.dfa
net.automatalib.incremental.dfa.dag
net.automatalib.incremental.dfa.tree
net.automatalib.incremental.mealy.dag
net.automatalib.incremental.mealy.tree
net.automatalib.modelchecking
net.automatalib.modelchecking.lasso
net.automatalib.util.automata.fsa
net.automatalib.util.automata.minimizer.hopcroft

Uses of InputAlphabetHolder in net.automatalib.automata

Subinterfaces of InputAlphabetHolder in net.automatalib.automata

Modifier and Type	Interface and Description
interface	FiniteAlphabetAutomaton<S,I,T>
interface	UniversalFiniteAlphabetAutomaton<S,I,T,SP,TP>

Uses of InputAlphabetHolder in net.automatalib.automata.base.compact

Classes in net.automatalib.automata.base.compact that implement InputAlphabetHolder

Modifier and Type	Class and Description
class	AbstractCompact<I,T,SP,TP> Abstract super class for compact automata representations.
class	AbstractCompactDeterministic<I,T,SP,TP> Abstract super class that refines AbstractCompact for deterministic automata.
class	AbstractCompactSimpleDeterministic<I,SP> Abstract super class that refines AbstractCompactDeterministic for transition-property-less automata.
class	AbstractCompactSimpleNondet<I,SP> Abstract super class that refines AbstractCompact for transition-property-less automata.
class	UniversalCompactSimpleDet<I,SP> A AbstractCompactSimpleDeterministic-based implementation for automata that need to store generic state properties.

Uses of InputAlphabetHolder in net.automatalib.automata.base.fast

Classes in net.automatalib.automata.base.fast that implement InputAlphabetHolder

Modifier and Type	Class and Description
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.automata.fsa.impl

Classes in net.automatalib.automata.fsa.impl that implement InputAlphabetHolder

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

Uses of InputAlphabetHolder in net.automatalib.automata.fsa.impl.compact

Classes in net.automatalib.automata.fsa.impl.compact that implement InputAlphabetHolder

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

Uses of InputAlphabetHolder in net.automatalib.automata.graphs

Methods in net.automatalib.automata.graphs with type parameters of type InputAlphabetHolder

Modifier and Type	Method and Description
static <S,I,T,A extends Automaton<S,I,T> & InputAlphabetHolder<I>> AutomatonGraphView<S,I,T,A>	AutomatonGraphView.create(A automaton)
static <S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,TP> & InputAlphabetHolder<I>> UniversalAutomatonGraphView<S,I,T,SP,TP,A>	UniversalAutomatonGraphView.create(A automaton)

Uses of InputAlphabetHolder in net.automatalib.automata.transducers.impl

Classes in net.automatalib.automata.transducers.impl that implement InputAlphabetHolder

Modifier and Type	Class and Description
class	FastMealy<I,O> A fast implementation of a Mealy machine.
class	FastMoore<I,O> A fast implementation of a Moore automaton.
class	FastProbMealy<I,O>

Uses of InputAlphabetHolder in net.automatalib.automata.transducers.impl.compact

Classes in net.automatalib.automata.transducers.impl.compact that implement InputAlphabetHolder

Modifier and Type	Class and Description
class	CompactMealy<I,O>
class	CompactMoore<I,O>

Uses of InputAlphabetHolder in net.automatalib.incremental.dfa

Classes in net.automatalib.incremental.dfa that implement InputAlphabetHolder

Modifier and Type	Class and Description
class	AbstractIncrementalDFABuilder<I> Abstract base class for IncrementalDFABuilders.

Uses of InputAlphabetHolder in net.automatalib.incremental.dfa.dag

Classes in net.automatalib.incremental.dfa.dag that implement InputAlphabetHolder

Modifier and Type	Class and Description
class	AbstractIncrementalDFADAGBuilder<I>
class	IncrementalDFADAGBuilder<I> Incrementally builds an (acyclic) DFA, from a set of positive and negative words.
class	IncrementalPCDFADAGBuilder<I> The prefix-closed version of IncrementalDFADAGBuilder.

Uses of InputAlphabetHolder in net.automatalib.incremental.dfa.tree

Classes in net.automatalib.incremental.dfa.tree that implement InputAlphabetHolder

Modifier and Type	Class and Description
class	IncrementalDFATreeBuilder<I> Incrementally builds a tree, from a set of positive and negative words.
class	IncrementalPCDFATreeBuilder<I> The prefix-closed version of IncrementalDFATreeBuilder.

Uses of InputAlphabetHolder in net.automatalib.incremental.mealy.dag

Classes in net.automatalib.incremental.mealy.dag that implement InputAlphabetHolder

Modifier and Type	Class and 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 and Description
class	IncrementalMealyTreeBuilder<I,O>

Uses of InputAlphabetHolder in net.automatalib.modelchecking

Subinterfaces of InputAlphabetHolder in net.automatalib.modelchecking

Modifier and Type	Interface and Description
interface	Lasso<I,D> A lasso is an single infinite word.
static interface	Lasso.DFALasso<I> A DFALasso is a lasso for DFAs.
static interface	Lasso.MealyLasso<I,O> A MealyLasso is a lasso for MealyMachines.

Uses of InputAlphabetHolder in net.automatalib.modelchecking.lasso

Classes in net.automatalib.modelchecking.lasso that implement InputAlphabetHolder

Modifier and Type	Class and Description
class	AbstractLasso<I,D>
class	DFALassoImpl<I> A DFALasso is a lasso for DFAs.
class	MealyLassoImpl<I,O> A MealyLasso is a lasso for MealyMachines.

Uses of InputAlphabetHolder in net.automatalib.util.automata.fsa

Methods in net.automatalib.util.automata.fsa with type parameters of type InputAlphabetHolder

Modifier and Type	Method and 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.automata.minimizer.hopcroft

Methods in net.automatalib.util.automata.minimizer.hopcroft with type parameters of type InputAlphabetHolder

Modifier and Type	Method and 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.