Package net.automatalib.common.setting
Class AutomataLibLocalPropertiesSource
java.lang.Object
net.automatalib.common.util.setting.LocalFileSource
net.automatalib.common.setting.AutomataLibLocalPropertiesSource
- All Implemented Interfaces:
AutomataLibSettingsSource,SettingsSource
@MetaInfServices(AutomataLibSettingsSource.class)
public class AutomataLibLocalPropertiesSource
extends LocalFileSource
implements AutomataLibSettingsSource
-
Constructor Summary
Constructors -
Method Summary
Methods inherited from class net.automatalib.common.util.setting.LocalFileSource
getPriority, loadSettingsMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface net.automatalib.common.util.setting.SettingsSource
getPriority, loadSettings
-
Constructor Details
-
AutomataLibLocalPropertiesSource
public AutomataLibLocalPropertiesSource()
-