de.learnlib.api.algorithm

Interfaces