net.automatalib

Class AutomataLibSettings

java.lang.Object

net.automatalib.AutomataLibSettings

public final class AutomataLibSettings
extends Object

Author:

Malte Isberner

Method Summary

Modifier and Type	Method and Description
static AutomataLibSettings	getInstance()
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 String getProperty(AutomataLibProperty property)

getProperty

public String getProperty(AutomataLibProperty property,
                          String defaultValue)