Package net.automatalib

Class AutomataLibLocalPropertiesSource

java.lang.Object

net.automatalib.common.util.setting.LocalFileSource

net.automatalib.AutomataLibLocalPropertiesSource

All Implemented Interfaces:

AutomataLibSettingsSource, SettingsSource

@MetaInfServices(AutomataLibSettingsSource.class)
public class AutomataLibLocalPropertiesSource
extends LocalFileSource
implements AutomataLibSettingsSource

Constructor Summary

Constructors

Constructor	Description
AutomataLibLocalPropertiesSource()

Method Summary

Methods inherited from class net.automatalib.common.util.setting.LocalFileSource

getPriority, 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.common.util.setting.SettingsSource

getPriority, loadSettings

Constructor Detail

AutomataLibLocalPropertiesSource

public AutomataLibLocalPropertiesSource()