Package de.learnlib.algorithm.procedural.spa.manager

Class Summary

Class	Description
DefaultATRManager<I>	A default ATRManager that only extracts initial access sequences, terminating sequences, and return sequences from positive counterexamples.
OptimizingATRManager<I>	An optimizing ATRManager that continuously scans positive counterexamples and procedural models in order to find shorter access sequences, terminating sequences, and return sequences.