de.learnlib.algorithm.procedural.spa (LearnLib 0.18.0 API)

Interface Summary
Interface Description

ATRManager<I>
A manager of access sequences, terminating sequences, and return sequences of SPAs during the learning process.

Interface Summary
Interface	Description
ATRManager<I>	A manager of access sequences, terminating sequences, and return sequences of `SPA`s during the learning process.

Class Summary
Class	Description
SPALearner<I,L extends LearningAlgorithm.DFALearner<I> & net.automatalib.alphabet.SupportsGrowingAlphabet<I> & AccessSequenceTransformer<I>>	A learning algorithm for `SPA`s.

Package de.learnlib.algorithm.procedural.spa