Module de.learnlib.algorithm.procedural

Package de.learnlib.algorithm.procedural.spmm

package de.learnlib.algorithm.procedural.spmm

Related Packages

Package	Description
de.learnlib.algorithm.procedural
de.learnlib.algorithm.procedural.spmm.manager
de.learnlib.algorithm.procedural.sba
de.learnlib.algorithm.procedural.spa

Class	Description
ATManager<I,O>	A manager of access sequences and terminating sequences of SPMMs during the learning process.
SPMMLearner<I,O,L extends LearningAlgorithm.MealyLearner<SymbolWrapper<I>,O> & SupportsGrowingAlphabet<SymbolWrapper<I>> & AccessSequenceTransformer<SymbolWrapper<I>>>	A learning algorithm for SPMMs.