Uses of Interface
net.automatalib.alphabet.Alphabet

Packages that use Alphabet

Package	Description
net.automatalib.alphabet	This package contains the basic classes concerning alphabets.
net.automatalib.automaton	This package (including sub-packages) contains the basic classes concerning automata.
net.automatalib.automaton.base
net.automatalib.automaton.concept
net.automatalib.automaton.fsa
net.automatalib.automaton.procedural
net.automatalib.automaton.simple
net.automatalib.automaton.transducer
net.automatalib.automaton.transducer.probabilistic
net.automatalib.automaton.visualization
net.automatalib.exception
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.incremental.moore.dag
net.automatalib.incremental.moore.tree
net.automatalib.modelchecking
net.automatalib.serialization	This package (including sub-packages) contains several (de-) serializers for the different types of automata, transition systems, and graphs supported by AutomataLib.
net.automatalib.serialization.aut
net.automatalib.serialization.automaton
net.automatalib.serialization.dot
net.automatalib.serialization.etf.writer
net.automatalib.serialization.learnlibv2
net.automatalib.serialization.saf
net.automatalib.serialization.taf
net.automatalib.ts.modal
net.automatalib.util.automaton.ads
net.automatalib.util.automaton.builder
net.automatalib.util.automaton.conformance
net.automatalib.util.automaton.equivalence
net.automatalib.util.automaton.fsa
net.automatalib.util.automaton.minimizer.hopcroft
net.automatalib.util.automaton.minimizer.paigetarjan
net.automatalib.util.automaton.random
net.automatalib.util.automaton.transducer
net.automatalib.util.partitionrefinement
net.automatalib.word	This package contains the basic classes concerning words.

Uses of Alphabet in net.automatalib.alphabet

Subinterfaces of Alphabet in net.automatalib.alphabet

Modifier and Type	Interface	Description
interface	GrowingAlphabet<I>	Alphabet class that supports adding new symbols.
interface	ProceduralInputAlphabet<I>	A specialized version of a VPAlphabet that is tailored towards procedural systems.
interface	ProceduralOutputAlphabet<O>	A specialized Alphabet for procedural systems that combines a regular output alphabet with a designated error symbol.
interface	VPAlphabet<I>	Alphabet definition for visible push-down automata.

Classes in net.automatalib.alphabet that implement Alphabet

Modifier and Type	Class	Description
class	AbstractAlphabet<I>
class	AbstractVPAlphabet<I>	Abstract utility class that implements functionality shared across different subtypes.
class	ArrayAlphabet<I>
class	DefaultProceduralInputAlphabet<I>	Default implementation of a ProceduralInputAlphabet.
class	DefaultProceduralOutputAlphabet<O>	Default implementation of a ProceduralOutputAlphabet.
class	DefaultVPAlphabet<I>	An alphabet-based, fixed size implementation of a VPAlphabet.
class	EnumAlphabet<E extends Enum<E>>
class	FastAlphabet<I extends MutableNumericID>	A fast alphabet implementation, that assumes identifiers are stored directly in the input symbols.
class	GrowingMapAlphabet<I>	An extension of the MapAlphabet that also allows adding new symbol after construction.
class	GrowingVPAlphabet<I>	A VPAlphabet implementation that allows to add new symbols after its construction.
class	ListAlphabet<I>
class	MapAlphabet<I>	A map-based alphabet implementation, that does not impose any restriction on the input symbol class.
class	SingletonAlphabet<I>	A specialized implementation for Alphabets containing only a single symbol.

Methods in net.automatalib.alphabet that return Alphabet

Modifier and Type	Method	Description
static Alphabet<Character>	Alphabets.characters(char startInclusive, char endInclusive)
static Alphabet<String>	Alphabets.closedCharStringRange(char startInclusive, char endInclusive)
static <T> Alphabet<T>	Alphabets.fromArray(T... symbols)
static <I> Alphabet<I>	Alphabets.fromCollection(Collection<? extends I> coll)
static <I> Alphabet<I>	Alphabets.fromCollections(Collection<? extends I>... colls)
static <E extends Enum<E>> Alphabet<E>	Alphabets.fromEnum(Class<E> enumClazz)
static <E extends Enum<E>> Alphabet<E>	Alphabets.fromEnum(Class<E> enumClazz, boolean withNull)
static <T> Alphabet<T>	Alphabets.fromList(List<? extends T> list)
Alphabet<I>	AbstractVPAlphabet.getCallAlphabet()
Alphabet<I>	VPAlphabet.getCallAlphabet()	Returns the call symbols of this alphabet as a (sub-) alphabet.
Alphabet<I>	AbstractVPAlphabet.getInternalAlphabet()
Alphabet<I>	VPAlphabet.getInternalAlphabet()	Returns the internal symbols of this alphabet as a (sub-) alphabet.
Alphabet<I>	DefaultProceduralInputAlphabet.getProceduralAlphabet()
Alphabet<I>	ProceduralInputAlphabet.getProceduralAlphabet()	Returns the union of call and internal symbols.
Alphabet<O>	DefaultProceduralOutputAlphabet.getRegularAlphabet()
Alphabet<O>	ProceduralOutputAlphabet.getRegularAlphabet()	Returns the regular output symbols of this alphabet.
Alphabet<I>	AbstractVPAlphabet.getReturnAlphabet()
Alphabet<I>	VPAlphabet.getReturnAlphabet()	Returns the return symbols of this alphabet as a (sub-) alphabet.
static Alphabet<Integer>	Alphabets.integers(int startInclusive, int endInclusive)
static <T> Alphabet<T>	Alphabets.singleton(T symbol)

Methods in net.automatalib.alphabet with parameters of type Alphabet

Modifier and Type	Method	Description
static <I> GrowingAlphabet<I>	Alphabets.toGrowingAlphabetOrThrowException(Alphabet<I> alphabet)	Casts the given alphabet to a GrowingAlphabet if possible (i.e. the given alphabet is actually an instance of a GrowingAlphabet).
default <I2> Mapping<I2,I>	Alphabet.translateFrom(Alphabet<I2> other)

Constructors in net.automatalib.alphabet with parameters of type Alphabet

Constructor	Description
AbstractVPAlphabet(Alphabet<I> internalAlphabet, Alphabet<I> callAlphabet, Alphabet<I> returnAlphabet)
DefaultProceduralInputAlphabet(Alphabet<I> internalAlphabet, Alphabet<I> callAlphabet, I returnSymbol)
DefaultProceduralOutputAlphabet(Alphabet<O> regularAlphabet, O errorSymbol)
DefaultVPAlphabet(Alphabet<I> internalAlphabet, Alphabet<I> callAlphabet, Alphabet<I> returnAlphabet)

Uses of Alphabet in net.automatalib.automaton

Methods in net.automatalib.automaton with parameters of type Alphabet

Modifier and Type	Method	Description
A	AutomatonCreator.createAutomaton(Alphabet<I> alphabet)
default A	AutomatonCreator.createAutomaton(Alphabet<I> alphabet, int numStatesHint)
default DeterministicAutomaton.FullIntAbstraction<T>	DeterministicAutomaton.fullIntAbstraction(Alphabet<I> alphabet)
default MutableDeterministic.FullIntAbstraction<T,SP,TP>	MutableDeterministic.fullIntAbstraction(Alphabet<I> alphabet)
default UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>	UniversalDeterministicAutomaton.fullIntAbstraction(Alphabet<I> alphabet)

Constructors in net.automatalib.automaton with parameters of type Alphabet

Constructor	Description
UniversalCompactDet(Alphabet<I> alphabet)
UniversalCompactDet(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
UniversalCompactDet(Alphabet<I> alphabet, UniversalCompactDet<?,SP,TP> other)
UniversalCompactSimpleDet(Alphabet<I> alphabet)
UniversalCompactSimpleDet(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
UniversalCompactSimpleDet(Alphabet<I> alphabet, UniversalCompactSimpleDet<?,@Nullable SP> other)

Uses of Alphabet in net.automatalib.automaton.base

Fields in net.automatalib.automaton.base declared as Alphabet

Modifier and Type	Field	Description
protected Alphabet<I>	AbstractFastMutable.inputAlphabet

Methods in net.automatalib.automaton.base that return Alphabet

Modifier and Type	Method	Description
Alphabet<I>	AbstractCompact.getInputAlphabet()
Alphabet<I>	AbstractFastMutable.getInputAlphabet()

Methods in net.automatalib.automaton.base with parameters of type Alphabet

Modifier and Type	Method	Description
MutableDeterministic.FullIntAbstraction<T,SP,TP>	AbstractCompactDeterministic.fullIntAbstraction(Alphabet<I> alphabet)

Constructors in net.automatalib.automaton.base with parameters of type Alphabet

Constructor	Description
AbstractCompact(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
AbstractCompact(Alphabet<I> alphabet, AbstractCompact<?,?,?,?> other)
AbstractCompactDeterministic(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
AbstractCompactDeterministic(Alphabet<I> alphabet, AbstractCompactDeterministic<?,?,?,?> other)
AbstractCompactSimpleDeterministic(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
AbstractCompactSimpleDeterministic(Alphabet<I> alphabet, AbstractCompactSimpleDeterministic<?,SP> other)
AbstractCompactSimpleNondet(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
AbstractCompactSimpleNondet(Alphabet<I> alphabet, AbstractCompactSimpleNondet<?,?> other)
AbstractFastMutable(Alphabet<I> inputAlphabet)
AbstractFastMutableDet(Alphabet<I> inputAlphabet)
AbstractFastMutableNondet(Alphabet<I> inputAlphabet)

Uses of Alphabet in net.automatalib.automaton.concept

Methods in net.automatalib.automaton.concept that return Alphabet

Modifier and Type	Method	Description
Alphabet<I>	InputAlphabetHolder.getInputAlphabet()

Uses of Alphabet in net.automatalib.automaton.fsa

Methods in net.automatalib.automaton.fsa with parameters of type Alphabet

Modifier and Type	Method	Description
CompactDFA<I>	CompactDFA.Creator.createAutomaton(Alphabet<I> alphabet)
CompactDFA<I>	CompactDFA.Creator.createAutomaton(Alphabet<I> alphabet, int numStates)
CompactNFA<I>	CompactNFA.Creator.createAutomaton(Alphabet<I> alphabet)
CompactNFA<I>	CompactNFA.Creator.createAutomaton(Alphabet<I> alphabet, int numStates)
<I2> CompactDFA<I2>	CompactDFA.translate(Alphabet<I2> newAlphabet)
<I2> CompactNFA<I2>	CompactNFA.translate(Alphabet<I2> newAlphabet)

Constructors in net.automatalib.automaton.fsa with parameters of type Alphabet

Constructor	Description
CompactDFA(Alphabet<I> alphabet)
CompactDFA(Alphabet<I> alphabet, float resizeFactor)
CompactDFA(Alphabet<I> alphabet, int stateCapacity)
CompactDFA(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
CompactDFA(Alphabet<I> alphabet, CompactDFA<?> other)
CompactNFA(Alphabet<I> alphabet)
CompactNFA(Alphabet<I> alphabet, int stateCapacity)
CompactNFA(Alphabet<I> alphabet, CompactNFA<?> other)
FastDFA(Alphabet<I> alphabet)
FastNFA(Alphabet<I> inputAlphabet)

Uses of Alphabet in net.automatalib.automaton.procedural

Constructors in net.automatalib.automaton.procedural with parameters of type Alphabet

Constructor	Description
ProceduralGraphView(Alphabet<I> internalAlphabet, Collection<I> proceduralAlphabet, Map<I,? extends UniversalDeterministicAutomaton<? extends S,I,?,?,?>> subModels)

Uses of Alphabet in net.automatalib.automaton.simple

Methods in net.automatalib.automaton.simple with parameters of type Alphabet

Modifier and Type	Method	Description
default SimpleDeterministicAutomaton.FullIntAbstraction	SimpleDeterministicAutomaton.fullIntAbstraction(Alphabet<I> alphabet)	Retrieves a SimpleDeterministicAutomaton.FullIntAbstraction of this automaton, using the mapping induced by the given alphabet as the abstraction for the input symbols.

Uses of Alphabet in net.automatalib.automaton.transducer

Methods in net.automatalib.automaton.transducer with parameters of type Alphabet

Modifier and Type	Method	Description
CompactMealy<I,O>	CompactMealy.Creator.createAutomaton(Alphabet<I> alphabet)
CompactMealy<I,O>	CompactMealy.Creator.createAutomaton(Alphabet<I> alphabet, int sizeHint)
CompactMoore<I,O>	CompactMoore.Creator.createAutomaton(Alphabet<I> alphabet)
CompactMoore<I,O>	CompactMoore.Creator.createAutomaton(Alphabet<I> alphabet, int sizeHint)

Constructors in net.automatalib.automaton.transducer with parameters of type Alphabet

Constructor	Description
CompactMealy(Alphabet<I> alphabet)
CompactMealy(Alphabet<I> alphabet, int stateCapacity)
CompactMealy(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
CompactMealy(Alphabet<I> alphabet, CompactMealy<?,O> other)
CompactMoore(Alphabet<I> alphabet)
CompactMoore(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
CompactMoore(Alphabet<I> alphabet, CompactMoore<?,@Nullable O> other)
CompactSST(Alphabet<I> alphabet)
FastMealy(Alphabet<I> alphabet)	Constructor.
FastMoore(Alphabet<I> alphabet)

Uses of Alphabet in net.automatalib.automaton.transducer.probabilistic

Constructors in net.automatalib.automaton.transducer.probabilistic with parameters of type Alphabet

Constructor	Description
FastProbMealy(Alphabet<I> inputAlphabet)

Uses of Alphabet in net.automatalib.automaton.visualization

Constructors in net.automatalib.automaton.visualization with parameters of type Alphabet

Constructor	Description
ProceduralVisualizationHelper(Alphabet<I> internalAlphabet, Map<I,? extends UniversalDeterministicAutomaton<? extends S,I,?,?,?>> subModels)

Uses of Alphabet in net.automatalib.exception

Constructors in net.automatalib.exception with parameters of type Alphabet

Constructor	Description
GrowingAlphabetNotSupportedException(Alphabet<I> alphabet)

Uses of Alphabet in net.automatalib.incremental.dfa

Fields in net.automatalib.incremental.dfa declared as Alphabet

Modifier and Type	Field	Description
protected Alphabet<I>	AbstractIncrementalDFABuilder.inputAlphabet

Methods in net.automatalib.incremental.dfa that return Alphabet

Modifier and Type	Method	Description
Alphabet<I>	AbstractIncrementalDFABuilder.getInputAlphabet()

Constructors in net.automatalib.incremental.dfa with parameters of type Alphabet

Constructor	Description
AbstractIncrementalDFABuilder(Alphabet<I> inputAlphabet)	Constructor.

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

Constructors in net.automatalib.incremental.dfa.dag with parameters of type Alphabet

Constructor	Description
IncrementalDFADAGBuilder(Alphabet<I> inputAlphabet)	Constructor.
IncrementalPCDFADAGBuilder(Alphabet<I> inputAlphabet)

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

Constructors in net.automatalib.incremental.dfa.tree with parameters of type Alphabet

Constructor	Description
IncrementalDFATreeBuilder(Alphabet<I> inputAlphabet)
IncrementalPCDFATreeBuilder(Alphabet<I> alphabet)

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

Methods in net.automatalib.incremental.mealy.dag that return Alphabet

Modifier and Type	Method	Description
Alphabet<I>	IncrementalMealyDAGBuilder.getInputAlphabet()

Constructors in net.automatalib.incremental.mealy.dag with parameters of type Alphabet

Constructor	Description
IncrementalMealyDAGBuilder(Alphabet<I> inputAlphabet)	Constructor.

Uses of Alphabet in net.automatalib.incremental.mealy.tree

Constructors in net.automatalib.incremental.mealy.tree with parameters of type Alphabet

Constructor	Description
AdaptiveMealyTreeBuilder(Alphabet<I> inputAlphabet)
IncrementalMealyTreeBuilder(Alphabet<I> inputAlphabet)

Uses of Alphabet in net.automatalib.incremental.moore.dag

Methods in net.automatalib.incremental.moore.dag that return Alphabet

Modifier and Type	Method	Description
Alphabet<I>	IncrementalMooreDAGBuilder.getInputAlphabet()

Constructors in net.automatalib.incremental.moore.dag with parameters of type Alphabet

Constructor	Description
IncrementalMooreDAGBuilder(Alphabet<I> inputAlphabet)	Constructor.

Uses of Alphabet in net.automatalib.incremental.moore.tree

Constructors in net.automatalib.incremental.moore.tree with parameters of type Alphabet

Constructor	Description
IncrementalMooreTreeBuilder(Alphabet<I> alphabet)

Uses of Alphabet in net.automatalib.modelchecking

Methods in net.automatalib.modelchecking that return Alphabet

Modifier and Type	Method	Description
Alphabet<I>	AbstractLasso.getInputAlphabet()	Gets the input alphabet of this automaton.

Uses of Alphabet in net.automatalib.serialization

Fields in net.automatalib.serialization declared as Alphabet

Modifier and Type	Field	Description
Alphabet<I>	InputModelData.alphabet

Methods in net.automatalib.serialization with parameters of type Alphabet

Modifier and Type	Method	Description
default void	InputModelSerializer.writeModel(File f, M model, Alphabet<I> alphabet)	Writes the model to the given file.
void	InputModelSerializer.writeModel(OutputStream os, M model, Alphabet<I> alphabet)	Writes the model to the given output stream.

Constructors in net.automatalib.serialization with parameters of type Alphabet

Constructor	Description
InputModelData(M model, Alphabet<I> alphabet)

Uses of Alphabet in net.automatalib.serialization.aut

Methods in net.automatalib.serialization.aut with parameters of type Alphabet

Modifier and Type	Method	Description
static <S,I> void	AUTWriter.writeAutomaton(SimpleAutomaton<S,I> automaton, Alphabet<I> alphabet, OutputStream os)
static <S,I> void	AUTWriter.writeAutomaton(SimpleAutomaton<S,I> automaton, Alphabet<I> alphabet, Function<I,String> inputTransformer, OutputStream os)
<I2> void	AUTSerializationProvider.writeModel(OutputStream os, SimpleAutomaton<?,I2> model, Alphabet<I2> alphabet, Function<I2,String> inputTransformer)

Uses of Alphabet in net.automatalib.serialization.automaton

Methods in net.automatalib.serialization.automaton with parameters of type Alphabet

Modifier and Type	Method	Description
default <I2> void	SimpleAutomatonSerializer.writeModel(File f, SimpleAutomaton<?,I2> model, Alphabet<I2> alphabet, Function<I2,I> inputTransformer)	Writes the model to the given file.
default void	SimpleAutomatonSerializer.writeModel(OutputStream os, SimpleAutomaton<?,I> model, Alphabet<I> alphabet)
<I2> void	SimpleAutomatonSerializer.writeModel(OutputStream os, SimpleAutomaton<?,I2> model, Alphabet<I2> alphabet, Function<I2,I> inputTransformer)	Writes the model to the given output stream.

Uses of Alphabet in net.automatalib.serialization.dot

Constructors in net.automatalib.serialization.dot with parameters of type Alphabet

Constructor	Description
DOTInputModelData(M model, Alphabet<I> alphabet, Mapping<S,String> stateLabels)

Uses of Alphabet in net.automatalib.serialization.etf.writer

Methods in net.automatalib.serialization.etf.writer with parameters of type Alphabet

Modifier and Type	Method	Description
protected void	AbstractETFWriter.write(PrintWriter printWriter, A a, Alphabet<I> inputs)	Write the full ETF.
protected abstract void	AbstractETFWriter.writeETF(PrintWriter printWriter, A a, Alphabet<I> inputs)	Write parts of the ETF that are dependent on A.
protected void	DFA2ETFWriter.writeETF(PrintWriter pw, DFA<?,I> dfa, Alphabet<I> inputs)	Write DFA specific parts in the ETF.
protected void	Mealy2ETFWriterAlternating.writeETF(PrintWriter pw, MealyMachine<?,I,?,O> mealy, Alphabet<I> inputs)	Write the specific parts of the ETF for Mealy machines with alternating edge semantics.
protected void	Mealy2ETFWriterIO.writeETF(PrintWriter pw, MealyMachine<?,I,?,O> mealy, Alphabet<I> inputs)	Write ETF parts specific for Mealy machines with IO semantics.
void	DFA2ETFWriter.writeModel(OutputStream os, DFA<?,I> model, Alphabet<I> alphabet)
void	Mealy2ETFWriterAlternating.writeModel(OutputStream os, MealyMachine<?,I,?,O> model, Alphabet<I> alphabet)
void	Mealy2ETFWriterIO.writeModel(OutputStream os, MealyMachine<?,I,?,O> model, Alphabet<I> alphabet)

Uses of Alphabet in net.automatalib.serialization.learnlibv2

Methods in net.automatalib.serialization.learnlibv2 with parameters of type Alphabet

Modifier and Type	Method	Description
<I> void	LearnLibV2Serialization.writeGenericModel(OutputStream os, DFA<?,I> model, Alphabet<I> alphabet)
void	LearnLibV2Serialization.writeModel(OutputStream os, DFA<?,Integer> model, Alphabet<Integer> alphabet)

Uses of Alphabet in net.automatalib.serialization.saf

Methods in net.automatalib.serialization.saf with parameters of type Alphabet

Modifier and Type	Method	Description
<I,SP,TP> void	SAFOutput.writeAutomaton(UniversalAutomaton<?,I,?,SP,TP> source, Alphabet<I> alphabet, AutomatonType expectedType, BlockPropertyEncoder<? super SP> spEncoder, SinglePropertyEncoder<? super TP> tpEncoder)
<I> void	SAFOutput.writeDFA(DFA<?,I> automaton, Alphabet<I> alphabet)
void	SAFSerializationDFA.writeModel(OutputStream os, DFA<?,Integer> model, Alphabet<Integer> alphabet)
void	SAFSerializationNFA.writeModel(OutputStream os, NFA<?,Integer> model, Alphabet<Integer> alphabet)
<I> void	SAFOutput.writeNFA(NFA<?,I> automaton, Alphabet<I> alphabet)

Uses of Alphabet in net.automatalib.serialization.taf

Methods in net.automatalib.serialization.taf with parameters of type Alphabet

Modifier and Type	Method	Description
void	TAFSerializationDFA.writeModel(OutputStream os, DFA<?,String> model, Alphabet<String> alphabet)
void	TAFSerializationMealy.writeModel(OutputStream os, MealyMachine<?,String,?,?> model, Alphabet<String> alphabet)

Uses of Alphabet in net.automatalib.ts.modal

Constructors in net.automatalib.ts.modal with parameters of type Alphabet

Constructor	Description
AbstractCompactMTS(Alphabet<I> alphabet)
AbstractCompactMTS(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
CompactMTS(Alphabet<I> alphabet)
CompactMTS(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)

Uses of Alphabet in net.automatalib.util.automaton.ads

Methods in net.automatalib.util.automaton.ads with parameters of type Alphabet

Modifier and Type	Method	Description
static <S,I,O> Optional<ADSNode<S,I,O>>	ADS.compute(MealyMachine<S,I,?,O> automaton, Alphabet<I> input, Set<S> states)	Compute an adaptive distinguishing sequence for the given automaton and the given set of states.
static <S,I,O> Optional<ADSNode<S,I,O>>	BacktrackingSearch.compute(MealyMachine<S,I,?,O> automaton, Alphabet<I> input, Set<S> states)	Computes an ADS by constructing (growing) splitting words for the current set of states and recursively computing sub-ADSs for the induced partitions.
static <S,I,O> LYResult<S,I,O>	LeeYannakakis.compute(MealyMachine<S,I,?,O> automaton, Alphabet<I> input)	Computes an ADS using the algorithm of Lee and Yannakakis.
static <S,I,O> Optional<ADSNode<S,I,O>>	StateEquivalence.compute(MealyMachine<S,I,?,O> automaton, Alphabet<I> input, Set<S> states)	Computes a two-state ADS by using Automata.findSeparatingWord(UniversalDeterministicAutomaton, UniversalDeterministicAutomaton, Collection).
static <S,I,O> Optional<ADSNode<S,I,O>>	BacktrackingSearch.computeOptimal(MealyMachine<S,I,?,O> automaton, Alphabet<I> input, Set<S> states, BacktrackingSearch.CostAggregator costAggregator)	Computes an ADS by iterating over the successor tree in a breadth-first manner, yielding an optimal (dependent on the passed optimization function) ADS.

Uses of Alphabet in net.automatalib.util.automaton.builder

Methods in net.automatalib.util.automaton.builder with parameters of type Alphabet

Modifier and Type	Method	Description
static <I> DFABuilder<Integer,I,CompactDFA<I>>	AutomatonBuilders.newDFA(Alphabet<I> alphabet)
static <I,O> MealyBuilder<Integer,I,CompactTransition<O>,O,CompactMealy<I,O>>	AutomatonBuilders.newMealy(Alphabet<I> alphabet)
static <I,O> MooreBuilder<Integer,I,Integer,O,CompactMoore<I,O>>	AutomatonBuilders.newMoore(Alphabet<I> alphabet)
static <I> FSABuilder<Integer,I,CompactNFA<I>>	AutomatonBuilders.newNFA(Alphabet<I> alphabet)
static <I,O> AutomatonBuilder<Integer,I,CompactTransition<Word<O>>,Word<O>,Word<O>,CompactSST<I,O>>	AutomatonBuilders.newSST(Alphabet<I> alphabet)

Uses of Alphabet in net.automatalib.util.automaton.conformance

Constructors in net.automatalib.util.automaton.conformance with parameters of type Alphabet

Constructor	Description
IncrementalWMethodTestsIterator(Alphabet<I> alphabet)

Uses of Alphabet in net.automatalib.util.automaton.equivalence

Methods in net.automatalib.util.automaton.equivalence with parameters of type Alphabet

Modifier and Type	Method	Description
static <I> @Nullable Word<I>	NearLinearEquivalenceTest.findSeparatingWord(UniversalDeterministicAutomaton<?,I,?,?,?> target, UniversalDeterministicAutomaton<?,I,?,?,?> other, Alphabet<I> inputs)
static <S,S2,I,T,T2,SP,SP2,TP,TP2> @Nullable Word<I>	NearLinearEquivalenceTest.findSeparatingWord(UniversalDeterministicAutomaton<S,I,T,SP,TP> target, UniversalDeterministicAutomaton<S2,I,T2,SP2,TP2> other, Alphabet<I> inputs, boolean ignoreUndefinedTransitions)

Uses of Alphabet in net.automatalib.util.automaton.fsa

Methods in net.automatalib.util.automaton.fsa with parameters of type Alphabet

Modifier and Type	Method	Description
static <I> CompactDFA<I>	DFAs.and(DFA<?,I> dfa1, DFA<?,I> dfa2, Alphabet<I> inputAlphabet)	Calculates the conjunction ("and") of two DFA, and returns the result as a new DFA.
static <I> CompactNFA<I>	NFAs.and(NFA<?,I> nfa1, NFA<?,I> nfa2, Alphabet<I> inputAlphabet)	Calculates the conjunction ("and") of two NFAs, and returns the result as a new NFA.
static <I> CompactDFA<I>	DFAs.combine(DFA<?,I> dfa1, DFA<?,I> dfa2, Alphabet<I> inputAlphabet, AcceptanceCombiner combiner)	Most general way of combining two DFAs.
static <I> CompactNFA<I>	NFAs.combine(NFA<?,I> nfa1, NFA<?,I> nfa2, Alphabet<I> inputAlphabet, AcceptanceCombiner combiner)	Most general way of combining two NFAs.
static <I> CompactDFA<I>	DFAs.complement(DFA<?,I> dfa, Alphabet<I> inputAlphabet)	Calculates the complement (negation) of a DFA, and returns the result as a new DFA.
static <I> CompactDFA<I>	DFAs.complete(DFA<?,I> dfa, Alphabet<I> inputs)
static <I> CompactDFA<I>	NFAs.determinize(NFA<?,I> nfa, Alphabet<I> inputAlphabet)
static <I> CompactDFA<I>	NFAs.determinize(NFA<?,I> nfa, Alphabet<I> inputAlphabet, boolean partial, boolean minimize)
static <I> CompactDFA<I>	DFAs.equiv(DFA<?,I> dfa1, DFA<?,I> dfa2, Alphabet<I> inputAlphabet)	Calculates the equivalence ("<=>") of two DFA, and returns the result as a new DFA.
static <I> CompactNFA<I>	NFAs.equiv(NFA<?,I> nfa1, NFA<?,I> nfa2, Alphabet<I> inputAlphabet)	Calculates the equivalence ("<=>") of two NFAs, and returns the result as a new NFA.
static <I> CompactDFA<I>	DFAs.impl(DFA<?,I> dfa1, DFA<?,I> dfa2, Alphabet<I> inputAlphabet)	Calculates the implication ("=>") of two DFA, and returns the result as a new DFA.
static <I> CompactNFA<I>	NFAs.impl(NFA<?,I> nfa1, NFA<?,I> nfa2, Alphabet<I> inputAlphabet)	Calculates the implication ("=>") of two NFAs, and returns the result as a new NFA.
static <I> CompactDFA<I>	DFAs.minimize(DFA<?,I> dfa, Alphabet<I> alphabet)	Minimizes the given DFA over the given alphabet.
static <I> CompactDFA<I>	DFAs.or(DFA<?,I> dfa1, DFA<?,I> dfa2, Alphabet<I> inputAlphabet)	Calculates the disjunction ("or") of two DFA, and returns the result as a new DFA.
static <I> CompactNFA<I>	NFAs.or(NFA<?,I> nfa1, NFA<?,I> nfa2, Alphabet<I> inputAlphabet)	Calculates the disjunction ("or") of two NFAs, and returns the result as a new NFA.
static <I> CompactDFA<I>	DFAs.xor(DFA<?,I> dfa1, DFA<?,I> dfa2, Alphabet<I> inputAlphabet)	Calculates the exclusive-or ("xor") of two DFA, and returns the result as a new DFA.
static <I> CompactNFA<I>	NFAs.xor(NFA<?,I> nfa1, NFA<?,I> nfa2, Alphabet<I> inputAlphabet)	Calculates the exclusive-or ("xor") of two NFAs, and returns the result as a new NFA.

Uses of Alphabet in net.automatalib.util.automaton.minimizer.hopcroft

Methods in net.automatalib.util.automaton.minimizer.hopcroft with parameters of type Alphabet

Modifier and Type	Method	Description
static <I> CompactDFA<I>	HopcroftMinimization.minimizeDFA(DFA<?,I> dfa, Alphabet<I> alphabet)	Minimizes the given DFA.
static <I> CompactDFA<I>	HopcroftMinimization.minimizeDFA(DFA<?,I> dfa, Alphabet<I> alphabet, HopcroftMinimization.PruningMode pruningMode)	Minimizes the given DFA.
static <A extends MutableDFA<?,I>,I> A	HopcroftMinimization.minimizeDFA(DFA<?,I> dfa, Alphabet<I> alphabet, HopcroftMinimization.PruningMode pruningMode, AutomatonCreator<A,I> creator)	Minimizes the given DFA.
static <I,O> CompactMealy<I,O>	HopcroftMinimization.minimizeMealy(MealyMachine<?,I,?,O> mealy, Alphabet<I> alphabet)	Minimizes the given Mealy machine.
static <I,O> CompactMealy<I,O>	HopcroftMinimization.minimizeMealy(MealyMachine<?,I,?,O> mealy, Alphabet<I> alphabet, HopcroftMinimization.PruningMode pruningMode)	Minimizes the given Mealy machine.
static <A extends MutableMealyMachine<?,I,?,O>,I,O> A	HopcroftMinimization.minimizeMealy(MealyMachine<?,I,?,O> mealy, Alphabet<I> alphabet, HopcroftMinimization.PruningMode pruningMode, AutomatonCreator<A,I> creator)	Minimizes the given Mealy machine.
static <I,T,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>> A	HopcroftMinimization.minimizeUniversal(UniversalDeterministicAutomaton<?,I,T,SP,TP> automaton, Alphabet<I> alphabet, AutomatonCreator<A,I> creator, AutomatonInitialPartitioning ap, HopcroftMinimization.PruningMode pruningMode)	Minimizes the given automaton depending on the given partitioning function.

Uses of Alphabet in net.automatalib.util.automaton.minimizer.paigetarjan

Methods in net.automatalib.util.automaton.minimizer.paigetarjan with parameters of type Alphabet

Modifier and Type	Method	Description
static <I> CompactDFA<I>	PaigeTarjanMinimization.minimizeDFA(DFA<?,I> dfa, Alphabet<I> alphabet)	Minimizes the given DFA.
static <A extends MutableDFA<?,I>,I> A	PaigeTarjanMinimization.minimizeDFA(DFA<?,I> dfa, Alphabet<I> alphabet, AutomatonCreator<A,I> creator)	Minimizes the given DFA.
static <I,O> CompactMealy<I,O>	PaigeTarjanMinimization.minimizeMealy(MealyMachine<?,I,?,O> mealy, Alphabet<I> alphabet)	Minimizes the given Mealy machine.
static <A extends MutableMealyMachine<?,I,?,O>,I,O> A	PaigeTarjanMinimization.minimizeMealy(MealyMachine<?,I,?,O> mealy, Alphabet<I> alphabet, AutomatonCreator<A,I> creator)	Minimizes the given Mealy machine.
static <I,T,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>> A	PaigeTarjanMinimization.minimizeUniversal(UniversalDeterministicAutomaton<?,I,T,SP,TP> automaton, Alphabet<I> alphabet, AutomatonCreator<A,I> creator, AutomatonInitialPartitioning ap, Object sinkClassification)	Minimizes the given automaton depending on the given partitioning function.

Uses of Alphabet in net.automatalib.util.automaton.random

Methods in net.automatalib.util.automaton.random with parameters of type Alphabet

Modifier and Type	Method	Description
<I,A extends MutableDeterministic<?,I,?,? super SP,? super TP>> A	RandomICAutomatonGenerator.generateICDeterministicAutomaton(int numStates, Alphabet<I> alphabet, AutomatonCreator<? extends A,I> creator, Random r)	Generates an initially-connected (IC) deterministic automaton with the given parameters.
static <I> CompactDFA<I>	RandomAutomata.randomDFA(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs)
static <I> CompactDFA<I>	RandomAutomata.randomDFA(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs, boolean minimize)
static <I> CompactDFA<I>	RandomAutomata.randomICDFA(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs, boolean minimize)	Randomly generates an initially connected DFA (ICDFA), i.e., a DFA where all states are reachable from the initial state.
static <I,O> CompactMealy<I,O>	RandomAutomata.randomMealy(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs)
static <I,O> CompactMealy<I,O>	RandomAutomata.randomMealy(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs, boolean minimize)
static <I,O> CompactMoore<I,O>	RandomAutomata.randomMoore(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs)
static <I,O> CompactMoore<I,O>	RandomAutomata.randomMoore(Random rand, @org.checkerframework.checker.index.qual.NonNegative int numStates, Alphabet<I> inputs, Collection<? extends O> outputs, boolean minimize)

Uses of Alphabet in net.automatalib.util.automaton.transducer

Methods in net.automatalib.util.automaton.transducer with parameters of type Alphabet

Modifier and Type	Method	Description
static <I,O1,O2> CompactMealy<I,Pair<O1,O2>>	MealyMachines.combine(MealyMachine<?,I,?,O1> mealy1, MealyMachine<?,I,?,O2> mealy2, Alphabet<I> inputAlphabet)	Constructs the product automaton for two Mealy Machines.
static <I,O> CompactMealy<I,O>	MealyMachines.complete(MealyMachine<?,I,?,O> mealy, Alphabet<I> inputs, O undefinedOutput)	Constructs a copy of the given Mealy machine in which every transition (in regard to the specified alphabet) is guaranteed to be defined.
static <I,O> CompactMealy<I,O>	MealyFilter.filterByOutput(MealyMachine<?,I,?,O> in, Alphabet<I> inputs, Predicate<? super O> outputPred)
static <I,O> CompactMealy<I,O>	MealyFilter.pruneTransitionsWithOutput(MealyMachine<?,I,?,O> in, Alphabet<I> inputs, Collection<? super O> outputs)	Returns a Mealy machine with all transitions removed that have one of the specified output values.
static <I,O> CompactMealy<I,O>	MealyFilter.pruneTransitionsWithOutput(MealyMachine<?,I,?,O> in, Alphabet<I> inputs, O... outputs)	Returns a Mealy machine with all transitions removed that have one of the specified output values.
static <I,O> CompactMealy<I,O>	MealyFilter.retainTransitionsWithOutput(MealyMachine<?,I,?,O> in, Alphabet<I> inputs, Collection<? super O> outputs)	Returns a Mealy machine with all transitions removed that have an output not among the specified values.
static <I,O> CompactMealy<I,O>	MealyFilter.retainTransitionsWithOutput(MealyMachine<?,I,?,O> in, Alphabet<I> inputs, O... outputs)	Returns a Mealy machine with all transitions removed that have an output not among the specified values.

Uses of Alphabet in net.automatalib.util.partitionrefinement

Methods in net.automatalib.util.partitionrefinement with parameters of type Alphabet

Modifier and Type	Method	Description
static <S,I> StateSignature	StateSignature.byFullSignature(UniversalDeterministicAutomaton<S,I,?,?,?> automaton, Alphabet<I> alphabet, S state)
static <S,I> StateSignature	StateSignature.byTransitionProperties(UniversalDeterministicAutomaton<S,I,?,?,?> automaton, Alphabet<I> alphabet, S state)
static <I,SP,TP,A extends MutableDeterministic<?,I,?,SP,TP>> A	PaigeTarjanExtractors.toDeterministic(PaigeTarjan pt, AutomatonCreator<A,I> creator, Alphabet<I> inputs, SimpleDeterministicAutomaton.FullIntAbstraction absOriginal, IntFunction<? extends SP> spExtractor, BiIntFunction<? extends TP> tpExtractor, boolean pruneUnreachable)	Translates the results of the coarsest stable partition computation into a deterministic automaton.

Uses of Alphabet in net.automatalib.word

Methods in net.automatalib.word with parameters of type Alphabet

Modifier and Type	Method	Description
Word<I>	Word.canonicalNext(Alphabet<I> sigma)	Retrieves the next word after this in canonical order.