Parent module for common LearnLib utilities
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.) |