This project has declared the following modules:
| Name | Description |
|---|---|
| LearnLib :: Algorithms :: Algorithm Features | Common interfaces providing features supported by various learning algorithms |
| LearnLib :: Algorithms :: DHC | The Direct Hypothesis Construction algorithm for active learning of Mealy machines |
| LearnLib :: Algorithms :: Generic L* | A flexible, optimized version of Dana Angluin's L* algorithm |
| LearnLib :: Algorithms :: Baseline L* | A simple, straightforward implementation of Dana Angluin's L* algorithm |
| LearnLib :: Algorithms :: Kearns/Vazirani | The automata learning algorithm described by Kearns & Vazirani |
| LearnLib :: Algorithms :: Discrimination Tree | Parent module for automata learning algorithms shipped with LearnLib |
| LearnLib :: Algorithms :: NL* | Parent module for automata learning algorithms shipped with LearnLib |
| LearnLib :: Algorithms :: TTT | The TTT Algorithm |