Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
GRAPHANIMATION |
"GraphAnimation" |
public static final java.lang.String |
YAWL |
"YawlNet" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
CLASSES |
"XEventClasses" |
public static final java.lang.String |
LOG |
"Log" |
public static final java.lang.String |
MODEL |
"Model" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
YAWL |
"YawlNet" |
public static final java.lang.String |
YAWLPERFORMANCERESULT |
"YawlPerformanceResult" |
public static final java.lang.String |
YAWLREPLAYRESULT |
"YawlReplayResult" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
MAXWIDTH |
5 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
BRANCHINGBOXWIDTH |
50 |
public static final int |
MAXLABELCHAR |
21 |
public static final int |
MINHEIGHT |
60 |
public static final int |
PADDINGFROMBOXTOTEXT |
10 |
public static final int |
STANDARDHEIGHT |
100 |
public static final int |
STANDARDWIDTH |
300 |
public static final int |
TEXTHEIGHT |
6 |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final int |
UP |
1200 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
PIPVIEWATTRIBUTE |
"signalPIPView" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NOTMAPPED |
"<Unmapped>" |