Uses of Class
net.automatalib.util.automaton.procedural.ATSequences

Packages that use ATSequences

Package	Description
net.automatalib.util.automaton.procedural

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

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

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