Uses of Interface
net.automatalib.automaton.procedural.SPMM

Packages that use SPMM

Package	Description
net.automatalib.automaton.procedural
net.automatalib.util.automaton.conformance
net.automatalib.util.automaton.procedural
net.automatalib.util.automaton.random

Uses of SPMM in net.automatalib.automaton.procedural

Classes in net.automatalib.automaton.procedural that implement SPMM

Modifier and Type	Class	Description
class	EmptySPMM<I,O>	A utility implementation of an SPMM that transduces all input words to a sequence of the given erroneous output symbol.
class	StackSPMM<S,I,T,O>	A stack-based implementation for the (instrumented) transductions of an SPMM.

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

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

Constructor	Description
SPMMWMethodTestsIterator(SPMM<?,I,?,O> spmm)
SPMMWMethodTestsIterator(SPMM<?,I,?,O> spmm, ProceduralInputAlphabet<I> alphabet)
SPMMWMethodTestsIterator(SPMM<?,I,?,O> spmm, ProceduralInputAlphabet<I> alphabet, int maxDepth)

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

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

Modifier and Type	Method	Description
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,O> ATSequences<I>	SPMMs.computeATSequences(SPMM<?,I,?,O> spmm)	Computes a set of access sequences and terminating sequences for a given SPMM.
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,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,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,O> boolean	SPMMs.isValid(SPMM<?,I,?,O> spmm)	Checks whether the given SPMM is valid, This is a convenience method for SPMMs.isValid(SPMM, ProceduralInputAlphabet) that uses the input alphabet of the given SPMM.
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,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 SPMM in net.automatalib.util.automaton.random

Methods in net.automatalib.util.automaton.random that return SPMM

Modifier and Type	Method	Description
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)