Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
animationGlobalEnabledFalse |
"enable animation" |
public static final java.lang.String |
animationGlobalEnabledTrue |
"disable animation" |
public static final int |
popupEmptyRowHeight |
8 |
public static final int |
popupHistogramHeight |
120 |
public static final int |
popupHistogramYPadding |
10 |
public static final int |
popupPadding |
10 |
public static final int |
popupRightMargin |
40 |
public static final int |
popupRowHeight |
20 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
title |
"visual Miner" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
playAnimationOnStartupKey |
"playanimationonstartup" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
maxStates |
16777216 |
public static final double |
traceTimeOutInSec |
-1.0 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
complete |
"complete" |
public static final java.lang.String |
enqueue |
"enqueue" |
public static final java.lang.String |
start |
"start" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final double |
animationDuration |
180.0 |
public static final double |
initDuration |
2.0 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
tokenRadius |
4 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
columnMargin |
5 |
public static final int |
rowHeight |
22 |
public static final int |
rowMargin |
3 |
public static final long |
serialVersionUID |
-7487576728854691713L |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
explanation |
"Study influence of trace attributes on process behaviour.\nClick: highlight cohort;\tshift+click: highlight other traces;\tctrl+click: disable cohort highlighting." |
public static final java.lang.String |
name |
"Cohort analysis" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
explanation |
"Attributes at the event level.\nIf traces are highlighted, attributes will be shown for highlighted and non-highlighted traces." |
public static final java.lang.String |
name |
"Event attributes" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
explanation |
"Attributes at the log level." |
public static final java.lang.String |
name |
"Log attributes" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
pieSize |
40 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
explanation |
"Attributes at the trace level.\nIf traces are highlighted, attributes will be shown for highlighted and non-highlighted traces." |
public static final java.lang.String |
name |
"Trace attributes" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
TT_EOF |
-1 |
public static final int |
TT_EOL |
10 |
public static final int |
TT_NUMBER |
-2 |
public static final int |
TT_WORD |
-3 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
framerate |
30 |
public static final double |
timeMargin |
0.5 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
KEY_DFM |
"dfm" |
public static final java.lang.String |
KEY_DFM_ACTIVITIES |
"dfm:activities" |
public static final java.lang.String |
KEY_DFM_ACTIVITY |
"dfm:activity" |
public static final java.lang.String |
KEY_DFM_EDGE |
"dfm:edge" |
public static final java.lang.String |
KEY_DFM_EDGES |
"dfm:edges" |
public static final java.lang.String |
KEY_DFM_EMPTY_TRACES |
"dfm:emptytraces" |
public static final java.lang.String |
KEY_DFM_END_ACTIVITIES |
"dfm:endactivities" |
public static final java.lang.String |
KEY_DFM_END_ACTIVITY |
"dfm:endactivity" |
public static final java.lang.String |
KEY_DFM_START_ACTIVITIES |
"dfm:startactivities" |
public static final java.lang.String |
KEY_DFM_START_ACTIVITY |
"dfm:startactivity" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
KEY_CLASSIFIER |
"treealignment:classifier" |
public static final java.lang.String |
KEY_CLASSIFIER_FIELD |
"treealignment:classifier:field" |
public static final java.lang.String |
KEY_MODEL |
"treealignment:model" |
public static final java.lang.String |
KEY_MODEL_TYPE |
"treealignment:modeltype" |
public static final java.lang.String |
KEY_MOVE_MODEL_NODE |
"treealignment:movemodelnode" |
public static final java.lang.String |
KEY_MOVE_SOURCE_NODE |
"treealignment:movesourcenode" |
public static final java.lang.String |
KEY_MOVE_TYPE |
"treealignment:movetype" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
KEY_TREE |
"tree" |
public static final java.lang.String |
KEY_TREE_ACTIVITIES |
"tree:activities" |
public static final java.lang.String |
KEY_TREE_ACTIVITY |
"tree:activity" |
public static final java.lang.String |
KEY_TREE_NODE |
"tree:node" |
public static final java.lang.String |
KEY_TREE_NODES |
"tree:nodes" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final float |
fontSize |
11.0f |
public static final float |
fontSizeLarger |
12.0f |
Modifier and Type | Constant Field | Value |
---|---|---|
public final int |
valueNumericRange |
1000 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
maxCharactersPerLine |
43 |
public static final int |
popupWidthNodes |
300 |
public static final int |
popupWidthSourceSink |
350 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
maxColours |
7 |
public static final java.lang.String |
prefix |
" " |