Parent module for oracles and oracle-related 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 :: Filters | Parent module for components that can be inserted in a chain of oracles |
LearnLib :: Oracles :: Membership Oracles | A collection of membership oracles |
LearnLib :: Oracles :: Parallelism | Support for parallelizing membership queries |
LearnLib :: Oracles :: Property Oracles | A collection of property oracles |