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

Packages that use ATRSequences

Package	Description
net.automatalib.util.automaton.procedural

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

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

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

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

Modifier and Type	Method	Description
static <I> boolean	SPAs.isMinimal(ProceduralInputAlphabet<I> alphabet, ATRSequences<I> atrSequences)	Checks if a pre-computed set of ATRSequences of an SPA is minimal.