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 :: 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