About LearnLib :: Filters

Parent module for components that can be inserted in a chain of oracles

Project Modules

This project has declared the following modules:

Name Description
LearnLib :: Filters :: Cache Caches to avoid posing duplicate membership queries
LearnLib :: Filters :: Reuse Reuse Tree for (intelligently) caching membership queries as described in the paper "Reusing System States by Active Learning Algorithms" (https://doi.org/10.1007/978-3-642-28033-7_6) by Oliver Bauer, Johannes Neubauer, Bernhard Steffen, and Falk Howar.
LearnLib :: Filters :: Statistics Filters for collecting statistical data
LearnLib :: Filters :: Symbol Filters A collection of symbol filters