Uses of Class
de.learnlib.setting.LearnLibSettings

Packages that use LearnLibSettings

Package	Description
de.learnlib.setting

Uses of LearnLibSettings in de.learnlib.setting

Methods in de.learnlib.setting that return LearnLibSettings

Modifier and Type	Method	Description
static LearnLibSettings	LearnLibSettings.getInstance()