Package de.learnlib.setting.sources

Class LearnLibSystemPropertiesAutomataLibSettingsSource

java.lang.Object

net.automatalib.common.util.setting.AbstractSystemPropertiesSource

de.learnlib.setting.sources.LearnLibSystemPropertiesAutomataLibSettingsSource

All Implemented Interfaces:

AutomataLibSettingsSource, SettingsSource

@MetaInfServices(net.automatalib.AutomataLibSettingsSource.class)
public class LearnLibSystemPropertiesAutomataLibSettingsSource
extends AbstractSystemPropertiesSource
implements AutomataLibSettingsSource

Constructor Summary

Constructors

Constructor	Description
LearnLibSystemPropertiesAutomataLibSettingsSource()

Method Summary

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

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

LearnLibSystemPropertiesAutomataLibSettingsSource

public LearnLibSystemPropertiesAutomataLibSettingsSource()