net.automatalib.settingssources

Class AutomataLibPropertiesSource

java.lang.Object

net.automatalib.commons.util.settings.ClassPathFileSource

net.automatalib.settingssources.AutomataLibPropertiesSource

All Implemented Interfaces:

AutomataLibSettingsSource, SettingsSource

public class AutomataLibPropertiesSource
extends ClassPathFileSource
implements AutomataLibSettingsSource

Constructor Summary

Constructors

Constructor and Description
AutomataLibPropertiesSource()

Method Summary

Methods inherited from class net.automatalib.commons.util.settings.ClassPathFileSource

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

getPriority, loadSettings, readSettings, readSettings

Constructor Detail

AutomataLibPropertiesSource

public AutomataLibPropertiesSource()