Package de.learnlib.algorithm.procedural.spmm.manager

Class Summary

Class	Description
DefaultATManager<I,O>	A default ATManager that only extracts initial access sequences and terminating sequences from positive counterexamples.
OptimizingATManager<I,O>	An optimizing ATManager that continuously scans positive counterexamples and procedural models in order to find shorter access sequences and terminating sequences.