Module de.learnlib.filter.statistic

This module provides filters for collecting statistical data.

This module is provided by the following Maven dependency:

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

Packages

Package	Exported To Modules	Opened To Modules	Description
de.learnlib.filter.statistic	All Modules	All Modules
de.learnlib.filter.statistic.learner	All Modules	All Modules
de.learnlib.filter.statistic.oracle	All Modules	All Modules
de.learnlib.filter.statistic.sul	All Modules	All Modules