Package net.automatalib

Class AutomataLibSettings

java.lang.Object

net.automatalib.AutomataLibSettings

public final class AutomataLibSettings
extends Object

Method Summary

Modifier and Type	Method	Description
static AutomataLibSettings	getInstance()
@Nullable String	getProperty(AutomataLibProperty property)
String	getProperty(AutomataLibProperty property, String defaultValue)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getInstance

public static AutomataLibSettings getInstance()

getProperty

public @Nullable String getProperty(AutomataLibProperty property)

getProperty

public String getProperty(AutomataLibProperty property,
                          String defaultValue)