Project Modules
This project has declared the following modules:
Name | Description |
---|---|
LearnLib :: Commons :: Counterexamples | A collection of 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.) |