java.lang.Object
- java.lang.Enum<AutomataLibProperty>
- - net.automatalib.AutomataLibProperty

All Implemented Interfaces:

Serializable, Comparable<AutomataLibProperty>
```
public enum AutomataLibProperty
extends Enum<AutomataLibProperty>
```
An enum of all the system properties currently used by AutomataLib.

Enum Constant Summary

Enum Constants
Enum Constant	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`.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	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.

Methods inherited from class java.lang.Enum
clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

- Enum Constant Detail
  - DOT_EXE_DIR
```
public static final AutomataLibProperty DOT_EXE_DIR
```
    automatalib.dot.exe.dir.
    The path to the dot installation directory.
  - DOT_EXE_NAME
```
public static final AutomataLibProperty DOT_EXE_NAME
```
    automatalib.dot.exe.name.
    The name of the DOT executable.
  - LTSMIN_PATH
```
public static final AutomataLibProperty LTSMIN_PATH
```
    automatalib.ltsmin.path.
    Path to the binary folder of the LTSmin installation.
  - LTSMIN_VERBOSE
```
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.
  - VISUALIZATION_PROVIDER
```
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.
  - WORD_DELIM_LEFT
```
public static final AutomataLibProperty WORD_DELIM_LEFT
```
    automatalib.word.delim.left.
    When printing words, the left delimiter for a word.
  - WORD_DELIM_RIGHT
```
public static final AutomataLibProperty WORD_DELIM_RIGHT
```
    automatalib.word.delim.right.
    When printing words, the right delimiter for a word.
  - WORD_EMPTY_REP
```
public static final AutomataLibProperty WORD_EMPTY_REP
```
    automatalib.word.empty.
    When printing words, the representative for the empty word.
  - WORD_SYMBOL_DELIM_LEFT
```
public static final AutomataLibProperty WORD_SYMBOL_DELIM_LEFT
```
    automatalib.word.symbol.delim.left.
    When printing words, the left delimiter of a symbol.
  - WORD_SYMBOL_DELIM_RIGHT
```
public static final AutomataLibProperty WORD_SYMBOL_DELIM_RIGHT
```
    automatalib.word.symbol.delim.right.
    When printing words, the left delimiter of a symbol.
  - WORD_SYMBOL_SEPARATOR
```
public static final AutomataLibProperty WORD_SYMBOL_SEPARATOR
```
    automatalib.word.symbol.separator.
    When printing words, the separator in between symbols.
- Method Detail
  - values
```
public static AutomataLibProperty[] values()
```
    Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
    for (AutomataLibProperty c : AutomataLibProperty.values()) System.out.println(c);
    Returns:
    
    an array containing the constants of this enum type, in the order they are declared
  - valueOf
```
public static AutomataLibProperty valueOf(String name)
```
    Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)
    
    Parameters:
    
    name - the name of the enum constant to be returned.
    
    Returns:
    
    the enum constant with the specified name
    
    Throws:
    
    IllegalArgumentException - if this enum type has no constant with the specified name
    
    NullPointerException - if the argument is null
  - getPropertyKey
```
public String getPropertyKey()
```
    Returns the actual system property key of the property.
    
    Returns:
    
    the system property key of the property.

Enum AutomataLibProperty

Enum Constant Summary

Method Summary

Methods inherited from class java.lang.Enum

Methods inherited from class java.lang.Object

Enum Constant Detail

DOT_EXE_DIR

DOT_EXE_NAME

LTSMIN_PATH

LTSMIN_VERBOSE

VISUALIZATION_PROVIDER

WORD_DELIM_LEFT

WORD_DELIM_RIGHT

WORD_EMPTY_REP

WORD_SYMBOL_DELIM_LEFT

WORD_SYMBOL_DELIM_RIGHT

WORD_SYMBOL_SEPARATOR

Method Detail

values

valueOf

getPropertyKey