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

Packages that use SPA

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

Uses of SPA in net.automatalib.automaton.procedural

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

Modifier and Type	Class	Description
class	EmptySPA<I>	A utility implementation of an SPA that rejects all inputs, i.e., describes the empty language.
class	StackSPA<S,I>	A stack-based implementation for the (instrumented) language of an SPA.

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

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

Constructor	Description
SPATestsIterator(SPA<?,I> spa, BiFunction<DFA<?,I>,Collection<I>,Iterator<Word<I>>> conformanceTestProvider)
SPATestsIterator(SPA<?,I> spa, ProceduralInputAlphabet<I> alphabet, BiFunction<DFA<?,I>,Collection<I>,Iterator<Word<I>>> conformanceTestProvider)

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

Methods in net.automatalib.util.automaton.procedural that return SPA

Modifier and Type	Method	Description
static <I> SPA<?,I>	SBAs.reduce(SBA<?,I> sba)	Reduces a given SBA to its well-matched language.
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.

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

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> ATRSequences<I>	SPAs.computeATRSequences(SPA<?,I> spa)	Computes a set of access sequences, terminating sequences, and return sequences for a given SPA.
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> 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> @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> boolean	SPAs.isMinimal(SPA<?,I> spa)	Convenience method for SPAs.isMinimal(SPA, ProceduralInputAlphabet) that uses InputAlphabetHolder.getInputAlphabet() as alphabet.
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	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> ContextFreeModalProcessSystem<I,Void>	SPAs.toCFMPS(SPA<?,I> spa)	Returns a ContextFreeModalProcessSystem-based view on the language of a given SPA such that there exists a w-labeled path to the final node of the returned CFMPS' main procedure if and only if w is accepted by the given SPA.
static <I> SEVPA<?,I>	SPAs.toNSEVPA(SPA<?,I> spa)	Transforms the given SPA into a language-equivalent N-SEVPA.
static <I> OneSEVPA<?,I>	SPAs.toOneSEVPA(SPA<?,I> spa)	Transforms the given SPA into a language-equivalent OneSEVPA.

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

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

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