This project has declared the following modules:
Name | Description |
---|---|
LearnLib :: Drivers :: Basic | Basic Test Driver Generation Support |
LearnLib :: Drivers :: Mapper | Translation utilities for mapping abstract hypothesis symbols to concrete SUL symbols |
LearnLib :: Drivers :: Simulator | Utilities for simulating SULs |