Uses of Interface
net.automatalib.alphabet.ProceduralInputAlphabet

Packages that use ProceduralInputAlphabet

Package	Description
net.automatalib.alphabet	This package contains the basic classes concerning alphabets.
net.automatalib.automaton.procedural
net.automatalib.util.automaton.conformance
net.automatalib.util.automaton.procedural
net.automatalib.util.automaton.random

Uses of ProceduralInputAlphabet in net.automatalib.alphabet

Classes in net.automatalib.alphabet that implement ProceduralInputAlphabet

Modifier and Type	Class	Description
class	DefaultProceduralInputAlphabet<I>	Default implementation of a ProceduralInputAlphabet.

Uses of ProceduralInputAlphabet in net.automatalib.automaton.procedural

Methods in net.automatalib.automaton.procedural that return ProceduralInputAlphabet

Modifier and Type	Method	Description
ProceduralInputAlphabet<I>	EmptySBA.getInputAlphabet()
ProceduralInputAlphabet<I>	EmptySPA.getInputAlphabet()
ProceduralInputAlphabet<I>	EmptySPMM.getInputAlphabet()
ProceduralInputAlphabet<I>	StackSBA.getInputAlphabet()
ProceduralInputAlphabet<I>	StackSPA.getInputAlphabet()
ProceduralInputAlphabet<I>	StackSPMM.getInputAlphabet()

Constructors in net.automatalib.automaton.procedural with parameters of type ProceduralInputAlphabet

Constructor	Description
EmptySBA(ProceduralInputAlphabet<I> alphabet)
EmptySPA(ProceduralInputAlphabet<I> alphabet)
EmptySPMM(ProceduralInputAlphabet<I> alphabet, O errorOutput)
StackSBA(ProceduralInputAlphabet<I> alphabet, @Nullable I initialCall, Map<I,? extends DFA<? extends S,I>> procedures)
StackSPA(ProceduralInputAlphabet<I> alphabet, @Nullable I initialCall, Map<I,? extends DFA<? extends S,I>> procedures)
StackSPMM(ProceduralInputAlphabet<I> alphabet, @Nullable I initialCall, O initialOutput, O errorOutput, Map<I,? extends MealyMachine<? extends S,I,? extends T,O>> procedures)

Uses of ProceduralInputAlphabet in net.automatalib.util.automaton.conformance

Constructors in net.automatalib.util.automaton.conformance with parameters of type ProceduralInputAlphabet

Constructor	Description
SBAWMethodTestsIterator(SBA<?,I> sba, ProceduralInputAlphabet<I> alphabet)
SBAWMethodTestsIterator(SBA<?,I> sba, ProceduralInputAlphabet<I> alphabet, int maxDepth)
SPATestsIterator(SPA<?,I> spa, ProceduralInputAlphabet<I> alphabet, BiFunction<DFA<?,I>,Collection<I>,Iterator<Word<I>>> conformanceTestProvider)
SPMMWMethodTestsIterator(SPMM<?,I,?,O> spmm, ProceduralInputAlphabet<I> alphabet)
SPMMWMethodTestsIterator(SPMM<?,I,?,O> spmm, ProceduralInputAlphabet<I> alphabet, int maxDepth)

Uses of ProceduralInputAlphabet in net.automatalib.util.automaton.procedural

Methods in net.automatalib.util.automaton.procedural with parameters of type ProceduralInputAlphabet

Modifier and Type	Method	Description
static <I> Pair<Map<I,Word<I>>,Map<I,Word<I>>>	SPAs.computeAccessAndReturnSequences(SPA<?,I> spa, ProceduralInputAlphabet<I> alphabet, Map<I,Word<I>> terminatingSequences)	Computes for a given SPA a set of access sequences and return sequences using the given alphabet.
static <I> Map<I,Word<I>>	SBAs.computeAccessSequences(SBA<?,I> sba, ProceduralInputAlphabet<I> alphabet, Map<I,Word<I>> terminatingSequences)	Computes for a given SBA a set of access sequences using the given alphabet.
static <I,O> Map<I,Word<I>>	SPMMs.computeAccessSequences(SPMM<?,I,?,O> spmm, ProceduralInputAlphabet<I> alphabet, Map<I,Word<I>> terminatingSequences)	Computes for a given SPMM a set of access sequences using the SPMM alphabet.
static <I> ATRSequences<I>	SPAs.computeATRSequences(SPA<?,I> spa, ProceduralInputAlphabet<I> alphabet)	Computes a set of access sequences, terminating sequences, and return sequences for a given SPA limited to the symbols of the given ProceduralInputAlphabet.
static <I> ATSequences<I>	SBAs.computeATSequences(SBA<?,I> sba, ProceduralInputAlphabet<I> alphabet)	Computes a set of access sequences and terminating sequences for a given SBA limited to the symbols of the given ProceduralInputAlphabet.
static <I,O> ATSequences<I>	SPMMs.computeATSequences(SPMM<?,I,?,O> spmm, ProceduralInputAlphabet<I> alphabet)	Computes a set of access sequences and return sequences for a given SPMM limited to the symbols of the given ProceduralInputAlphabet.
static <I> Map<I,Word<I>>	SBAs.computeTerminatingSequences(SBA<?,I> sba, ProceduralInputAlphabet<I> alphabet)	Computes for a given SBA a set of terminating sequences using the given alphabet.
static <I> Map<I,Word<I>>	SPAs.computeTerminatingSequences(SPA<?,I> spa, ProceduralInputAlphabet<I> alphabet)	Computes for a given SPA a set of terminating sequences using the given alphabet.
static <I,O> Map<I,Word<I>>	SPMMs.computeTerminatingSequences(SPMM<?,I,?,O> spmm, ProceduralInputAlphabet<I> alphabet)	Computes for a given SPMM the set of terminating sequences using the given alphabet.
static <I> @Nullable Word<I>	SBAs.findSeparatingWord(SBA<?,I> sba1, SBA<?,I> sba2, ProceduralInputAlphabet<I> alphabet)	Computes a separating word for the two given SBAs, if existent.
static <I> @Nullable Word<I>	SPAs.findSeparatingWord(SPA<?,I> spa1, SPA<?,I> spa2, ProceduralInputAlphabet<I> alphabet)	Computes a separating word for the two given SPAs, if existent.
static <I,O> @Nullable Word<I>	SPMMs.findSeparatingWord(SPMM<?,I,?,O> spmm1, SPMM<?,I,?,O> spmm2, ProceduralInputAlphabet<I> alphabet)	Computes a separating word for the two given SPMMs, if existent.
static <I> boolean	SPAs.isMinimal(ProceduralInputAlphabet<I> alphabet, ATRSequences<I> atrSequences)	Checks if a pre-computed set of ATRSequences of an SPA is minimal.
static <I> boolean	SPAs.isMinimal(SPA<?,I> spa, ProceduralInputAlphabet<I> alphabet)	Checks if a given SPA is redundancy-free, i.e. if for all procedures there exists an access sequence, terminating sequence, and return sequence.
static <I> boolean	SBAs.isValid(SBA<?,I> sba, ProceduralInputAlphabet<I> alphabet)	Checks whether the given SBA is valid with respect to the given ProceduralInputAlphabet, i.e., whether its procedures are prefix-closed, return-closed, and call-closed.
static <I,O> boolean	SPMMs.isValid(SPMM<?,I,?,O> spmm, ProceduralInputAlphabet<I> alphabet)	Checks whether the given SPMM is valid with respect to the given ProceduralInputAlphabet, i.e., whether its procedures are error-closed, return-closed, and call-closed.
static <I> SPA<?,I>	SBAs.reduce(SBA<?,I> sba, ProceduralInputAlphabet<I> alphabet)	Reduces a given SBA to its well-matched language restricted to the symbols of the given ProceduralInputAlphabet.
static <I> boolean	SBAs.testEquivalence(SBA<?,I> sba1, SBA<?,I> sba2, ProceduralInputAlphabet<I> alphabet)	Checks if the two given SBAs are equivalent, i.e. whether there exists a separating word for them.
static <I> boolean	SPAs.testEquivalence(SPA<?,I> spa1, SPA<?,I> spa2, ProceduralInputAlphabet<I> alphabet)	Checks if the two given SPAs are equivalent, i.e. whether there exists a separating word for them.
static <I,O> boolean	SPMMs.testEquivalence(SPMM<?,I,?,O> spmm1, SPMM<?,I,?,O> spmm2, ProceduralInputAlphabet<I> alphabet)	Checks if the two given SPMMs are equivalent, i.e. whether there exists a separating word for them.

Uses of ProceduralInputAlphabet in net.automatalib.util.automaton.random

Methods in net.automatalib.util.automaton.random with parameters of type ProceduralInputAlphabet

Modifier and Type	Method	Description
static <I> SBA<?,I>	RandomAutomata.randomSBA(Random random, ProceduralInputAlphabet<I> alphabet, int procedureSize)
static <I> SBA<?,I>	RandomAutomata.randomSBA(Random random, ProceduralInputAlphabet<I> alphabet, int procedureSize, boolean minimize)
static <I> SPA<?,I>	RandomAutomata.randomSPA(Random random, ProceduralInputAlphabet<I> alphabet, int procedureSize)
static <I> SPA<?,I>	RandomAutomata.randomSPA(Random random, ProceduralInputAlphabet<I> alphabet, int procedureSize, boolean minimize)
static <I,O> SPMM<?,I,?,O>	RandomAutomata.randomSPMM(Random random, ProceduralInputAlphabet<I> inputAlphabet, ProceduralOutputAlphabet<O> outputAlphabet, int procedureSize)
static <I,O> SPMM<?,I,?,O>	RandomAutomata.randomSPMM(Random random, ProceduralInputAlphabet<I> inputAlphabet, ProceduralOutputAlphabet<O> outputAlphabet, int procedureSize, boolean minimize)