Uses of Class
de.learnlib.setting.LearnLibProperty

Packages that use LearnLibProperty

Package	Description
de.learnlib.setting

Uses of LearnLibProperty in de.learnlib.setting

Methods in de.learnlib.setting that return LearnLibProperty

Modifier and Type	Method and Description
static LearnLibProperty	LearnLibProperty.valueOf(String name) Returns the enum constant of this type with the specified name.
static LearnLibProperty[]	LearnLibProperty.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in de.learnlib.setting with parameters of type LearnLibProperty

Modifier and Type	Method and Description
boolean	LearnLibSettings.getBool(LearnLibProperty property, boolean defaultValue)
@Nullable Boolean	LearnLibSettings.getBoolean(LearnLibProperty property)
<E extends Enum<E>> E	LearnLibSettings.getEnumValue(LearnLibProperty property, Class<E> enumClazz)
<E extends Enum<E>> E	LearnLibSettings.getEnumValue(LearnLibProperty property, Class<E> enumClazz, E defaultValue)
int	LearnLibSettings.getInt(LearnLibProperty property, int defaultValue)
@Nullable Integer	LearnLibSettings.getInteger(LearnLibProperty property)
@Nullable String	LearnLibSettings.getProperty(LearnLibProperty property)
String	LearnLibSettings.getProperty(LearnLibProperty property, String defaultValue)