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 givenSPA
.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 givenSPA
limited to the symbols of the givenProceduralInputAlphabet
.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 ofATRSequences
of anSPA
is minimal.
-