Uses of Package
net.automatalib.alphabet
-
Classes in net.automatalib.alphabet used by net.automatalib.alphabet Class Description AbstractAlphabet AbstractSymbol AbstractVPAlphabet Abstract utility class that implements functionality shared across different subtypes.Alphabet Class implementing an (indexed) alphabet.ArrayAlphabet DefaultVPAlphabet An alphabet-based, fixed size implementation of aVPAlphabet
.FastAlphabet A fast alphabet implementation, that assumes identifiers are stored directly in the input symbols.GrowingAlphabet Alphabet
class that supports adding new symbols.MapAlphabet A map-based alphabet implementation, that does not impose any restriction on the input symbol class.ProceduralInputAlphabet A specialized version of aVPAlphabet
that is tailored towards procedural systems.ProceduralOutputAlphabet A specializedAlphabet
for procedural systems that combines a regular output alphabet with a designated error symbol.VPAlphabet Alphabet definition for visible push-down automata.VPAlphabet.SymbolType Classifies an input symbol either as a call symbol, an internal symbol, or a return symbol.VPSym Utility class used to wrap input symbols of aVPAlphabet
. -
Classes in net.automatalib.alphabet used by net.automatalib.automaton Class Description Alphabet Class implementing an (indexed) alphabet.SupportsGrowingAlphabet Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation. -
Classes in net.automatalib.alphabet used by net.automatalib.automaton.base Class Description Alphabet Class implementing an (indexed) alphabet.SupportsGrowingAlphabet Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation. -
Classes in net.automatalib.alphabet used by net.automatalib.automaton.concept Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.automaton.fsa Class Description Alphabet Class implementing an (indexed) alphabet.SupportsGrowingAlphabet Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation. -
Classes in net.automatalib.alphabet used by net.automatalib.automaton.procedural Class Description Alphabet Class implementing an (indexed) alphabet.ProceduralInputAlphabet A specialized version of aVPAlphabet
that is tailored towards procedural systems. -
Classes in net.automatalib.alphabet used by net.automatalib.automaton.simple Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.automaton.transducer Class Description Alphabet Class implementing an (indexed) alphabet.SupportsGrowingAlphabet Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation. -
Classes in net.automatalib.alphabet used by net.automatalib.automaton.transducer.probabilistic Class Description Alphabet Class implementing an (indexed) alphabet.SupportsGrowingAlphabet Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation. -
Classes in net.automatalib.alphabet used by net.automatalib.automaton.visualization Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.automaton.vpa Class Description VPAlphabet Alphabet definition for visible push-down automata. -
Classes in net.automatalib.alphabet used by net.automatalib.exception Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.incremental.dfa Class Description Alphabet Class implementing an (indexed) alphabet.SupportsGrowingAlphabet Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation. -
Classes in net.automatalib.alphabet used by net.automatalib.incremental.dfa.dag Class Description Alphabet Class implementing an (indexed) alphabet.SupportsGrowingAlphabet Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation. -
Classes in net.automatalib.alphabet used by net.automatalib.incremental.dfa.tree Class Description Alphabet Class implementing an (indexed) alphabet.SupportsGrowingAlphabet Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation. -
Classes in net.automatalib.alphabet used by net.automatalib.incremental.mealy Class Description SupportsGrowingAlphabet Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation. -
Classes in net.automatalib.alphabet used by net.automatalib.incremental.mealy.dag Class Description Alphabet Class implementing an (indexed) alphabet.SupportsGrowingAlphabet Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation. -
Classes in net.automatalib.alphabet used by net.automatalib.incremental.mealy.tree Class Description Alphabet Class implementing an (indexed) alphabet.SupportsGrowingAlphabet Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation. -
Classes in net.automatalib.alphabet used by net.automatalib.incremental.moore Class Description SupportsGrowingAlphabet Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation. -
Classes in net.automatalib.alphabet used by net.automatalib.incremental.moore.dag Class Description Alphabet Class implementing an (indexed) alphabet.SupportsGrowingAlphabet Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation. -
Classes in net.automatalib.alphabet used by net.automatalib.incremental.moore.tree Class Description Alphabet Class implementing an (indexed) alphabet.SupportsGrowingAlphabet Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation. -
Classes in net.automatalib.alphabet used by net.automatalib.modelchecking Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.serialization Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.serialization.aut Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.serialization.automaton Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.serialization.dot Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.serialization.etf.writer Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.serialization.learnlibv2 Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.serialization.saf Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.serialization.taf Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.ts.modal Class Description Alphabet Class implementing an (indexed) alphabet.SupportsGrowingAlphabet Interface for declaring that a data structure supports adding new alphabet symbols after its instantiation. -
Classes in net.automatalib.alphabet used by net.automatalib.util.automaton.ads Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.util.automaton.builder Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.util.automaton.conformance Class Description Alphabet Class implementing an (indexed) alphabet.ProceduralInputAlphabet A specialized version of aVPAlphabet
that is tailored towards procedural systems. -
Classes in net.automatalib.alphabet used by net.automatalib.util.automaton.equivalence Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.util.automaton.fsa Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.util.automaton.minimizer.hopcroft Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.util.automaton.minimizer.paigetarjan Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.util.automaton.procedural Class Description ProceduralInputAlphabet A specialized version of aVPAlphabet
that is tailored towards procedural systems. -
Classes in net.automatalib.alphabet used by net.automatalib.util.automaton.random Class Description Alphabet Class implementing an (indexed) alphabet.ProceduralInputAlphabet A specialized version of aVPAlphabet
that is tailored towards procedural systems.ProceduralOutputAlphabet A specializedAlphabet
for procedural systems that combines a regular output alphabet with a designated error symbol.VPAlphabet Alphabet definition for visible push-down automata. -
Classes in net.automatalib.alphabet used by net.automatalib.util.automaton.transducer Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.util.automaton.vpa Class Description VPAlphabet Alphabet definition for visible push-down automata. -
Classes in net.automatalib.alphabet used by net.automatalib.util.minimizer Class Description VPAlphabet Alphabet definition for visible push-down automata. -
Classes in net.automatalib.alphabet used by net.automatalib.util.partitionrefinement Class Description Alphabet Class implementing an (indexed) alphabet. -
Classes in net.automatalib.alphabet used by net.automatalib.word Class Description Alphabet Class implementing an (indexed) alphabet.