Module de.learnlib.algorithm.adt

This module provides the implementation of the ADT learning algorithm as described in the Master thesis Active Automata Learning with Adaptive Distinguishing Sequences by Markus Frohme.

This module is provided by the following Maven dependency:

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

Packages

Package	Exported To Modules	Opened To Modules	Description
de.learnlib.algorithm.adt.ads	All Modules	All Modules
de.learnlib.algorithm.adt.adt	All Modules	All Modules
de.learnlib.algorithm.adt.api	All Modules	All Modules
de.learnlib.algorithm.adt.automaton	All Modules	All Modules
de.learnlib.algorithm.adt.config	All Modules	All Modules
de.learnlib.algorithm.adt.learner	All Modules	All Modules
de.learnlib.algorithm.adt.model	All Modules	All Modules
de.learnlib.algorithm.adt.util	All Modules	All Modules