de.learnlib.passive.api

Interfaces