About LearnLib :: Commons

Parent module for common LearnLib utilities

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.)