Module de.learnlib.algorithm.procedural

Package de.learnlib.algorithm.procedural.sba

Interface Summary

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

Class Summary

Class	Description
SBALearner<I,L extends LearningAlgorithm.DFALearner<SymbolWrapper<I>> & net.automatalib.alphabet.SupportsGrowingAlphabet<SymbolWrapper<I>> & AccessSequenceTransformer<SymbolWrapper<I>>>	A learning algorithm for SBAs.