Module de.learnlib.algorithm.procedural

This module 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.

This module is provided by the following Maven dependency:

 <dependency>
   <groupId>de.learnlib</groupId>
   <artifactId>learnlib-procedural</artifactId>
   <version>${version}</version>
 </dependency>
 

Packages

Package	Exported To Modules	Opened To Modules	Description
de.learnlib.algorithm.procedural	All Modules	All Modules
de.learnlib.algorithm.procedural.adapter.dfa	All Modules	All Modules
de.learnlib.algorithm.procedural.adapter.mealy	All Modules	All Modules
de.learnlib.algorithm.procedural.sba	All Modules	All Modules
de.learnlib.algorithm.procedural.sba.manager	All Modules	All Modules
de.learnlib.algorithm.procedural.spa	All Modules	All Modules
de.learnlib.algorithm.procedural.spa.manager	All Modules	All Modules
de.learnlib.algorithm.procedural.spmm	All Modules	All Modules
de.learnlib.algorithm.procedural.spmm.manager	All Modules	All Modules