Project Modules
This project has declared the following modules:
| Name | Description |
|---|---|
| LearnLib :: Commons :: Abstract Counterexamples | An abstract counterexample analysis framework |
| LearnLib :: Commons :: Counterexamples | A collection of standard algorithms for handling counterexamples in automata learning |
| LearnLib :: Commons :: Settings | A collection of utility methods to parse LearnLib specific settings |
| LearnLib :: Commons :: Util | A collection of utility methods for learning setups (oracle wrappers, etc.) |