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