de.learnlib.api.setting

Interfaces