JavaScript is disabled on your browser.
java.lang.Object
net.automatalib.commons.util.settings.LocalFileSource
de.learnlib.setting.sources.LearnLibLocalPropertiesAutomataLibSettingsSource
Method Summary
Methods inherited from class net.automatalib.commons.util.settings.LocalFileSource
loadSettings
Methods inherited from class java.lang.Object
clone , equals , finalize , getClass , hashCode , notify , notifyAll , toString , wait , wait , wait
Methods inherited from interface net.automatalib.commons.util.settings.SettingsSource
loadSettings, readSettings, readSettings
Method Detail
getPriority
public int getPriority()
Specified by:
getPriority
in interface net.automatalib.commons.util.settings.SettingsSource
Overrides:
getPriority
in class net.automatalib.commons.util.settings.LocalFileSource
Copyright © 2018. All rights reserved.