Package net.automatalib.alphabet
This package contains the basic classes concerning alphabets.
-
Interface Summary Interface Description Alphabet<I> Class implementing an (indexed) alphabet.GrowingAlphabet<I> Alphabet
class that supports adding new symbols.ProceduralInputAlphabet<I> A specialized version of aVPAlphabet
that is tailored towards procedural systems.ProceduralOutputAlphabet<O> A specializedAlphabet
for procedural systems that combines a regular output alphabet with a designated error symbol.SupportsGrowingAlphabet<I> Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation.VPAlphabet<I> Alphabet definition for visible push-down automata. -
Class Summary Class Description AbstractAlphabet<I> AbstractSymbol<S extends AbstractSymbol<S>> AbstractVPAlphabet<I> Abstract utility class that implements functionality shared across different subtypes.Alphabets Utility methods concerning alphabets.ArrayAlphabet<I> DefaultProceduralInputAlphabet<I> Default implementation of aProceduralInputAlphabet
.DefaultProceduralOutputAlphabet<O> Default implementation of aProceduralOutputAlphabet
.DefaultVPAlphabet<I> An alphabet-based, fixed size implementation of aVPAlphabet
.EnumAlphabet<E extends Enum<E>> FastAlphabet<I extends MutableNumericID> A fast alphabet implementation, that assumes identifiers are stored directly in the input symbols.GrowingMapAlphabet<I> An extension of theMapAlphabet
that also allows adding new symbol after construction.GrowingVPAlphabet<I> AVPAlphabet
implementation that allows to add new symbols after its construction.ListAlphabet<I> MapAlphabet<I> A map-based alphabet implementation, that does not impose any restriction on the input symbol class.SingletonAlphabet<I> A specialized implementation forAlphabet
s containing only a single symbol.Symbol<I> VPSym<T> Utility class used to wrap input symbols of aVPAlphabet
. -
Enum Summary Enum Description VPAlphabet.SymbolType Classifies an input symbol either as a call symbol, an internal symbol, or a return symbol.