All Packages

Package Summary

Package	Description
de.learnlib.algorithm.adt	This package (and sub-packages) provides the implementation of the ADT learning algorithm as described in the Master thesis Active Automata Learning with Adaptive Distinguishing Sequences by Markus Frohme.
de.learnlib.algorithm.adt.ads
de.learnlib.algorithm.adt.adt
de.learnlib.algorithm.adt.api
de.learnlib.algorithm.adt.automaton
de.learnlib.algorithm.adt.config
de.learnlib.algorithm.adt.config.model
de.learnlib.algorithm.adt.config.model.calculator
de.learnlib.algorithm.adt.config.model.extender
de.learnlib.algorithm.adt.config.model.replacer
de.learnlib.algorithm.adt.learner
de.learnlib.algorithm.adt.model
de.learnlib.algorithm.adt.util