About LearnLib :: Oracles
Parent module for oracles and oracle-related modules
Project Modules
This project has declared the following modules:
| Name | Description |
|---|---|
| LearnLib :: Oracles :: Emptiness Oracles | A collection of emptiness oracles |
| LearnLib :: Oracles :: Equivalence Oracles | A collection of equivalence oracles |
| LearnLib :: Oracles :: Membership Oracles | A collection of membership oracles |
| LearnLib :: Oracles :: Parallelism | Support for parallel membership queries and thread-safe caches |
| LearnLib :: Oracles :: Property Oracles | A collection of property oracles |