Package de.learnlib.algorithm.procedural.sba.manager

Class Summary

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