LearnLib :: Algorithms :: Procedural 0.17.0 API
| 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 |