net.sourceforge.*
-
net.sourceforge.czt.parser.zeves.ContextFreeScanner
| Modifier and Type |
Constant Field |
Value |
public static final int |
YYEOF |
-1 |
public static final int |
YYINITIAL |
0 |
public static final int |
Z |
2 |
-
-
net.sourceforge.czt.parser.zeves.Sym
| Modifier and Type |
Constant Field |
Value |
public static final int |
_APPLICATION |
135 |
public static final int |
_RENAME |
136 |
public static final int |
ABOUT |
126 |
public static final int |
ALL |
29 |
public static final int |
AND |
24 |
public static final int |
ANDALSO |
22 |
public static final int |
APPLY |
84 |
public static final int |
ARG |
61 |
public static final int |
AX |
66 |
public static final int |
BACK |
85 |
public static final int |
BAR |
21 |
public static final int |
BY |
101 |
public static final int |
CASES |
86 |
public static final int |
CHECK |
112 |
public static final int |
COLON |
36 |
public static final int |
COMMA |
38 |
public static final int |
CONJECTURE |
23 |
public static final int |
CONJUNCTIVE |
87 |
public static final int |
CROSS |
31 |
public static final int |
DECLARATION |
127 |
public static final int |
DECLARE |
113 |
public static final int |
DECLWORD |
162 |
public static final int |
DECORWORD |
161 |
public static final int |
DEFEQUAL |
63 |
public static final int |
DEFFREE |
62 |
public static final int |
DISABLED |
104 |
public static final int |
DISABLEDDEFTAG |
79 |
public static final int |
DISABLEDTHMTAG |
78 |
public static final int |
DISJUNCTIVE |
88 |
public static final int |
DOT |
39 |
public static final int |
EL |
147 |
public static final int |
ELP |
146 |
public static final int |
ELSE |
53 |
public static final int |
ENABLED |
102 |
public static final int |
END |
65 |
public static final int |
EOF |
0 |
public static final int |
EQUALITY |
89 |
public static final int |
EQUALS |
34 |
public static final int |
ER |
149 |
public static final int |
ERE |
153 |
public static final int |
EREP |
152 |
public static final int |
ERP |
148 |
public static final int |
error |
1 |
public static final int |
ES |
156 |
public static final int |
EXI |
30 |
public static final int |
EXIONE |
64 |
public static final int |
EXPR |
3 |
public static final int |
EXPRESSION |
103 |
public static final int |
FALSE |
49 |
public static final int |
FORMULA |
128 |
public static final int |
FUNCTION |
56 |
public static final int |
GENAX |
69 |
public static final int |
GENERIC |
57 |
public static final int |
GENSCH |
68 |
public static final int |
HELP |
114 |
public static final int |
HISTORY |
129 |
public static final int |
I |
143 |
public static final int |
IF |
51 |
public static final int |
IFF |
27 |
public static final int |
IMP |
26 |
public static final int |
INSTANTIATE |
90 |
public static final int |
INSTROKE |
10 |
public static final int |
INVOKE |
91 |
public static final int |
IP |
142 |
public static final int |
L |
145 |
public static final int |
LAMBDA |
7 |
public static final int |
LBIND |
15 |
public static final int |
LBRACE |
19 |
public static final int |
LDATA |
17 |
public static final int |
LEFTASSOC |
58 |
public static final int |
LEMMA |
105 |
public static final int |
LET |
50 |
public static final int |
LISTARG |
60 |
public static final int |
LLABEL |
76 |
public static final int |
LP |
144 |
public static final int |
LPAREN |
11 |
public static final int |
LSQUARE |
13 |
public static final int |
MEM |
35 |
public static final int |
MU |
6 |
public static final int |
NEXT |
92 |
public static final int |
NEXTSTROKE |
8 |
public static final int |
NL |
45 |
public static final int |
NORMALIZATION |
106 |
public static final int |
NOT |
28 |
public static final int |
NUMERAL |
158 |
public static final int |
NUMSTROKE |
159 |
public static final int |
OOPS |
111 |
public static final int |
OR |
25 |
public static final int |
OUTSTROKE |
9 |
public static final int |
PARA |
2 |
public static final int |
PARENT |
115 |
public static final int |
PARENTS |
47 |
public static final int |
POST |
141 |
public static final int |
POSTP |
140 |
public static final int |
POWER |
32 |
public static final int |
PRE |
139 |
public static final int |
PRED |
4 |
public static final int |
PREDICATE |
107 |
public static final int |
PRENEX |
93 |
public static final int |
PREP |
138 |
public static final int |
PRINT |
116 |
public static final int |
PROOF |
130 |
public static final int |
PROOFWORD |
163 |
public static final int |
PROVE |
94 |
public static final int |
QNTINSTANTIATION |
75 |
public static final int |
QUIT |
117 |
public static final int |
RBIND |
16 |
public static final int |
RBRACE |
20 |
public static final int |
RDATA |
18 |
public static final int |
READ |
118 |
public static final int |
REARRANGE |
95 |
public static final int |
REDUCE |
164 |
public static final int |
RELATION |
55 |
public static final int |
RESET |
119 |
public static final int |
RETRY |
120 |
public static final int |
REWRITE |
165 |
public static final int |
RIGHTASSOC |
59 |
public static final int |
RLABEL |
77 |
public static final int |
RPAREN |
12 |
public static final int |
RSQUARE |
14 |
public static final int |
SCH |
67 |
public static final int |
SCRIPT |
131 |
public static final int |
SECTION |
46 |
public static final int |
SEMICOLON |
37 |
public static final int |
SIMPLIFY |
166 |
public static final int |
SLASH |
33 |
public static final int |
SORRY |
110 |
public static final int |
SPLIT |
98 |
public static final int |
SPOT |
40 |
public static final int |
SR |
151 |
public static final int |
SRE |
155 |
public static final int |
SREP |
154 |
public static final int |
SRP |
150 |
public static final int |
SS |
157 |
public static final int |
STATUS |
132 |
public static final int |
SUBSTITUTE |
108 |
public static final int |
SUMMARY |
133 |
public static final int |
SYNTAX |
121 |
public static final int |
TEXT |
137 |
public static final int |
THEN |
52 |
public static final int |
THEOREM |
71 |
public static final int |
THEOREMS |
122 |
public static final int |
THETA |
5 |
public static final int |
THMAXIOM |
83 |
public static final int |
THMFRULE |
82 |
public static final int |
THMGRULE |
81 |
public static final int |
THMNAME |
160 |
public static final int |
THMREPLACEMENT |
74 |
public static final int |
THMRULE |
80 |
public static final int |
THROUGH |
134 |
public static final int |
TO |
109 |
public static final int |
TRIVIAL |
96 |
public static final int |
TRUE |
48 |
public static final int |
TRY |
97 |
public static final int |
UNDO |
123 |
public static final int |
USE |
99 |
public static final int |
WITH |
100 |
public static final int |
ZCOMP |
43 |
public static final int |
ZED |
70 |
public static final int |
ZHIDE |
41 |
public static final int |
ZPIPE |
44 |
public static final int |
ZPRE |
54 |
public static final int |
ZPROJ |
42 |
public static final int |
ZPROOF |
72 |
public static final int |
ZPROOFCOMMANDSEP |
73 |
public static final int |
ZSECTION |
124 |
public static final int |
ZTAGS |
125 |
-
net.sourceforge.czt.print.zeves.ContextFreeScanner
| Modifier and Type |
Constant Field |
Value |
public static final int |
YYEOF |
-1 |
public static final int |
YYINITIAL |
0 |
public static final int |
Z |
2 |
-
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.