de.learnlib.filter.cache

Interfaces