001package de.learnlib.statistics; 002 003import de.learnlib.api.SUL; 004 005public interface StatisticSUL<I, O> extends SUL<I,O> { 006 007 public StatisticData getStatisticalData(); 008 009}