| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
DESCRIPTION |
"Improved version also supports silent transitions and just has a different internal structure" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
DESCRIPTION |
"NaiveLogConsumer has the following limitations: ignores silent transitions, assumes unique transition labels" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
DESCRIPTION |
"Standard version supports silent transitions" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
OUTPUT |
"Analysis Result" |
public static final java.lang.String |
PARAMETERS |
"Parameters" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
HELP |
"This plugin provides an interactive way to analyze conformance and performance for individual places." |