Modifier and Type | Constant Field | Value |
---|---|---|
public static final long |
MAX_INBETWEEN_TICKS |
100L |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
MIN_WIDTH |
1000 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
BOX_HEIGHT |
12 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
MAX_XSCALE |
1000 |
public static final int |
MAX_YSCALE |
4 |
public static final double |
MIN_YSCALE |
0.62 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
HELP |
"This plugin provides an interactive integration of the PSM with Petrinets and Alignments." |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
DURATION_HISTOGRAM_HEIGHT |
250 |
public static final int |
DURATION_HISTOGRAM_WIDTH |
400 |
public static final int |
VARIANT_BARCHART_HEIGHT |
200 |
public static final int |
VARIANT_BARCHART_WIDTH |
350 |