All Packages
-
Package Summary Package Description 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.de.learnlib.algorithm.procedural.adapter.dfa de.learnlib.algorithm.procedural.adapter.mealy de.learnlib.algorithm.procedural.sba de.learnlib.algorithm.procedural.sba.manager de.learnlib.algorithm.procedural.spa de.learnlib.algorithm.procedural.spa.manager de.learnlib.algorithm.procedural.spmm de.learnlib.algorithm.procedural.spmm.manager