public class LearnLibLocalPropertiesAutomataLibSettingsSource extends LocalFileSource implements AutomataLibSettingsSource
Constructor and Description |
---|
LearnLibLocalPropertiesAutomataLibSettingsSource() |
Modifier and Type | Method and Description |
---|---|
int |
getPriority() |
loadSettings
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
loadSettings, readSettings, readSettings
public LearnLibLocalPropertiesAutomataLibSettingsSource()
public int getPriority()
getPriority
in interface SettingsSource
getPriority
in class LocalFileSource
Copyright © 2015. All rights reserved.