de.learnlib.api.setting
Interfaces
LearnLibSettingsSource