public enum AutomataLibProperty extends Enum<AutomataLibProperty>
Enum Constant and Description |
---|
DOT_EXE_DIR
automatalib.dot.exe.dir . |
DOT_EXE_NAME
automatalib.dot.exe.name . |
LTSMIN_PATH
automatalib.ltsmin.path . |
LTSMIN_VERBOSE
ltsmin.verbose . |
VISUALIZATION_PROVIDER
automatalib.visualization.provider . |
WORD_DELIM_LEFT
automatalib.word.delim.left . |
WORD_DELIM_RIGHT
automatalib.word.delim.right . |
WORD_EMPTY_REP
automatalib.word.empty . |
WORD_SYMBOL_DELIM_LEFT
automatalib.word.symbol.delim.left . |
WORD_SYMBOL_DELIM_RIGHT
automatalib.word.symbol.delim.right . |
WORD_SYMBOL_SEPARATOR
automatalib.word.symbol.separator . |
Modifier and Type | Method and Description |
---|---|
String |
getPropertyKey()
Returns the actual system property key of the property.
|
static AutomataLibProperty |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static AutomataLibProperty[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final AutomataLibProperty DOT_EXE_DIR
automatalib.dot.exe.dir
.
The path to the dot installation directory.
public static final AutomataLibProperty DOT_EXE_NAME
automatalib.dot.exe.name
.
The name of the DOT executable.
public static final AutomataLibProperty LTSMIN_PATH
automatalib.ltsmin.path
.
Path to the binary folder of the LTSmin installation.
public static final AutomataLibProperty LTSMIN_VERBOSE
ltsmin.verbose
.
Whether to make LTSmin's output more verbose.
If set to anything else but "false", LTSmin's output will be more verbose.
public static final AutomataLibProperty VISUALIZATION_PROVIDER
automatalib.visualization.provider
.
Property for setting the implementation of the visualization provider. The implementation must be available on the classpath.
public static final AutomataLibProperty WORD_DELIM_LEFT
automatalib.word.delim.left
.
When printing words, the left delimiter for a word.
public static final AutomataLibProperty WORD_DELIM_RIGHT
automatalib.word.delim.right
.
When printing words, the right delimiter for a word.
public static final AutomataLibProperty WORD_EMPTY_REP
automatalib.word.empty
.
When printing words, the representative for the empty word.
public static final AutomataLibProperty WORD_SYMBOL_DELIM_LEFT
automatalib.word.symbol.delim.left
.
When printing words, the left delimiter of a symbol.
public static final AutomataLibProperty WORD_SYMBOL_DELIM_RIGHT
automatalib.word.symbol.delim.right
.
When printing words, the left delimiter of a symbol.
public static final AutomataLibProperty WORD_SYMBOL_SEPARATOR
automatalib.word.symbol.separator
.
When printing words, the separator in between symbols.
public static AutomataLibProperty[] values()
for (AutomataLibProperty c : AutomataLibProperty.values()) System.out.println(c);
public static AutomataLibProperty valueOf(String name)
name
- the name of the enum constant to be returned.IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is nullpublic String getPropertyKey()
Copyright © 2019. All rights reserved.