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

Packages that use SBA

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

Uses of SBA in net.automatalib.automaton.procedural

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

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

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

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

Constructor	Description
SBAWMethodTestsIterator(SBA<?,I> sba)
SBAWMethodTestsIterator(SBA<?,I> sba, ProceduralInputAlphabet<I> alphabet)
SBAWMethodTestsIterator(SBA<?,I> sba, ProceduralInputAlphabet<I> alphabet, int maxDepth)

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

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

Modifier and Type	Method	Description
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> ATSequences<I>	SBAs.computeATSequences(SBA<?,I> sba)	Computes a set of access sequences and terminating sequences for a given SBA.
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> 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> @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> boolean	SBAs.isValid(SBA<?,I> sba)	Checks whether the given SBA is valid, This is a convenience method for SBAs.isValid(SBA, ProceduralInputAlphabet) that uses the input alphabet of the given SBA.
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> 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.
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> ContextFreeModalProcessSystem<I,Void>	SBAs.toCFMPS(SBA<?,I> sba)	Returns a ContextFreeModalProcessSystem-based view on the language of a given SBA such that there exists a w-labeled path in the returned CFMPS if and only if w is accepted by the given SBA.

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

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

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)