de.learnlib.api.statistic

Interfaces