Module de.learnlib.filter.reuse


module de.learnlib.filter.reuse
This module provides a reuse tree for (intelligently) caching membership queries as described in the paper Reusing System States by Active Learning Algorithms by Oliver Bauer, Johannes Neubauer, Bernhard Steffen, and Falk Howar.

This module is provided by the following Maven dependency:

 <dependency>
   <groupId>de.learnlib</groupId>
   <artifactId>learnlib-reuse</artifactId>
   <version>${version}</version>
 </dependency>