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 interfaceGrowingAlphabet<I>Alphabetclass that supports adding new symbols.interfaceProceduralInputAlphabet<I>A specialized version of aVPAlphabetthat is tailored towards procedural systems.interfaceProceduralOutputAlphabet<O>A specializedAlphabetfor procedural systems that combines a regular output alphabet with a designated error symbol.interfaceVPAlphabet<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 ofthisalphabet as a (sub-) alphabet.Alphabet<I>VPAlphabet. getInternalAlphabet()Returns the internal symbols ofthisalphabet 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 ofthisalphabet 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 AAutomatonCreator. createAutomaton(Alphabet<I> alphabet)default AAutomatonCreator. 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.FullIntAbstractionSimpleDeterministicAutomaton. fullIntAbstraction(Alphabet<I> alphabet)Retrieves aSimpleDeterministicAutomaton.FullIntAbstractionof 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.
-