Module de.learnlib.algorithm.procedural

Package de.learnlib.algorithm.procedural.spmm

Interface Summary

Interface	Description
ATManager<I,O>	A manager of access sequences and terminating sequences of SPMMs during the learning process.

Class Summary

Class	Description
SPMMLearner<I,O,L extends LearningAlgorithm.MealyLearner<SymbolWrapper<I>,O> & net.automatalib.alphabet.SupportsGrowingAlphabet<SymbolWrapper<I>> & AccessSequenceTransformer<SymbolWrapper<I>>>	A learning algorithm for SPMMs.