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.concept net.automatalib.automaton.procedural net.automatalib.automaton.simple net.automatalib.automaton.visualization net.automatalib.exception 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 aVPAlphabet
that is tailored towards procedural systems.interface
ProceduralOutputAlphabet<O>
A specializedAlphabet
for procedural systems that combines a regular output alphabet with a designated error symbol.interface
VPAlphabet<I>
Alphabet definition for visible push-down automata.Methods in net.automatalib.alphabet that return Alphabet Modifier and Type Method Description Alphabet<I>
VPAlphabet. getCallAlphabet()
Returns the call symbols ofthis
alphabet as a (sub-) alphabet.Alphabet<I>
VPAlphabet. getInternalAlphabet()
Returns the internal symbols ofthis
alphabet as a (sub-) alphabet.Alphabet<I>
ProceduralInputAlphabet. getProceduralAlphabet()
Alphabet<O>
ProceduralOutputAlphabet. getRegularAlphabet()
Returns the regular output symbols of this alphabet.Alphabet<I>
VPAlphabet. getReturnAlphabet()
Returns the return symbols ofthis
alphabet as a (sub-) alphabet.Methods in net.automatalib.alphabet with parameters of type Alphabet Modifier and Type Method Description default <I2> Mapping<I2,I>
Alphabet. translateFrom(Alphabet<I2> other)
-
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)
-
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.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 aSimpleDeterministicAutomaton.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.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.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.
-