| Package | Description |
|---|---|
| net.automatalib.automata |
This package contains the basic interfaces for automata.
|
| net.automatalib.automata.concepts | |
| net.automatalib.automata.simple | |
| net.automatalib.words |
| Modifier and Type | Method and Description |
|---|---|
A |
AutomatonCreator.createAutomaton(Alphabet<I> alphabet) |
default A |
AutomatonCreator.createAutomaton(Alphabet<I> alphabet,
int numStatesHint) |
default MutableDeterministic.FullIntAbstraction<T,SP,TP> |
MutableDeterministic.fullIntAbstraction(Alphabet<I> alphabet) |
default DeterministicAutomaton.FullIntAbstraction<T> |
DeterministicAutomaton.fullIntAbstraction(Alphabet<I> alphabet) |
default UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP> |
UniversalDeterministicAutomaton.fullIntAbstraction(Alphabet<I> alphabet) |
| Modifier and Type | Method and Description |
|---|---|
Alphabet<I> |
InputAlphabetHolder.getInputAlphabet() |
| Modifier and Type | Method and 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. |
| Modifier and Type | Interface and Description |
|---|---|
interface |
GrowingAlphabet<I>
Alphabet class that supports adding new symbols. |
interface |
VPDAlphabet<I>
Alphabet definition for visible push-down automata.
|
| Modifier and Type | Method and Description |
|---|---|
Alphabet<I> |
VPDAlphabet.getCallAlphabet() |
Alphabet<I> |
VPDAlphabet.getInternalAlphabet() |
Alphabet<I> |
VPDAlphabet.getReturnAlphabet() |
| Modifier and Type | Method and Description |
|---|---|
Word<I> |
Word.canonicalNext(Alphabet<I> sigma)
Retrieves the next word after this in canonical order.
|
default <I2> Mapping<I2,I> |
Alphabet.translateFrom(Alphabet<I2> other) |
Copyright © 2018. All rights reserved.