Package de.learnlib.algorithm.procedural

This package (and sub-packages) provides the implementations of various learning algorithms for systems of procedural automata such as the ones described in the papers Compositional learning of mutually recursive procedural systems and From Languages to Behaviors and Back by Markus Frohme and Bernhard Steffen.

Class Summary

Class	Description
SymbolWrapper<I>	A utility class to annotate an input symbol with a (boolean) continuable flag.