Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
BIEDGE |
12 |
public static final int |
BOOLEAN |
28 |
public static final int |
COMMA |
10 |
public static final int |
CONTINUOUS |
25 |
public static final int |
DATE |
27 |
public static final int |
DEFAULT |
4 |
public static final int |
DISCRETE |
26 |
public static final int |
EDGE |
11 |
public static final int |
EOF |
0 |
public static final int |
EXPRESSION |
31 |
public static final int |
FINAL_HEADER |
19 |
public static final int |
GUARDS |
0 |
public static final int |
GUARDS_HEADER |
20 |
public static final int |
HASH |
13 |
public static final int |
ID |
23 |
public static final int |
INITIAL_HEADER |
18 |
public static final int |
INVISIBLE_HEADER |
17 |
public static final int |
LABEL |
32 |
public static final int |
LBRACK |
8 |
public static final int |
LITERAL |
24 |
public static final int |
LPAREN |
6 |
public static final int |
MARKINGS |
2 |
public static final int |
NAME_HEADER |
14 |
public static final int |
NORMAL_LABEL |
33 |
public static final int |
PLACES_HEADER |
15 |
public static final int |
QUOTED_LABEL |
34 |
public static final int |
RBRACK |
9 |
public static final int |
RPAREN |
7 |
public static final int |
TOKENS |
29 |
public static final int |
TRANSITIONS_HEADER |
16 |
public static final int |
UNKNOWN |
35 |
public static final int |
VARIABLES |
3 |
public static final int |
VARIABLES_HEADER |
21 |
public static final int |
WRITEOPS |
1 |
public static final int |
WRITES |
30 |
public static final int |
WRITES_HEADER |
22 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
JJTBIEDGE |
7 |
public static final int |
JJTEDGE |
6 |
public static final int |
JJTFINAL |
13 |
public static final int |
JJTGUARD |
10 |
public static final int |
JJTINITIAL |
12 |
public static final int |
JJTINVISIBLE |
14 |
public static final int |
JJTPLACE |
9 |
public static final int |
JJTPLACEFLOW |
4 |
public static final int |
JJTROOT |
0 |
public static final int |
JJTTRANSITION |
8 |
public static final int |
JJTTRANSITIONFLOW |
5 |
public static final int |
JJTVARIABLE |
2 |
public static final int |
JJTVARIABLES |
1 |
public static final int |
JJTVOID |
3 |
public static final int |
JJTWRITE |
11 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
staticFlag |
false |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final float |
STANDARD_HORIZONTAL_RATIO |
0.30000001192092896f |
public static final float |
STANDARD_VERTICAL_RATIO |
1.2999999523162842f |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final char |
WRITE_CHAR |
39 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
LOG |
"Log" |
public static final java.lang.String |
PETRINETGRAPH |
"PetrinetGraph" |
public static final java.lang.String |
PNREPRESULT |
"PetriNetResult" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
LOG |
"Log" |
public static final java.lang.String |
PETRINETGRAPH |
"PetrinetGraph" |
public static final java.lang.String |
PNREPRESULT |
"PetriNetResult" |