| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final String |
COMPLEX_INCLDECL_NAME_PATTERN |
"complexInclDecl" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final String |
PROP_IGNORE_UNKNOWN_LATEX_COMMANDS |
"ignore_unknown_latex_commands" |
public static final boolean |
PROP_IGNORE_UNKNOWN_LATEX_COMMANDS_DEFAULT |
false |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final int |
YYEOF |
-1 |
public static final int |
YYINITIAL |
0 |
public static final int |
Z |
2 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final int |
COMMENT_STATE |
6 |
public static final int |
ERROR |
8 |
public static final int |
MARKUP |
4 |
public static final int |
YYEOF |
-1 |
public static final int |
YYINITIAL |
0 |
public static final int |
ZED |
2 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final int |
_APPLICATION |
72 |
public static final int |
_RENAME |
73 |
public static final int |
ALL |
29 |
public static final int |
AND |
24 |
public static final int |
ANDALSO |
22 |
public static final int |
ARG |
61 |
public static final int |
AX |
66 |
public static final int |
BAR |
21 |
public static final int |
COLON |
36 |
public static final int |
COMMA |
38 |
public static final int |
CONJECTURE |
23 |
public static final int |
CROSS |
31 |
public static final int |
DECLWORD |
98 |
public static final int |
DECORWORD |
97 |
public static final int |
DEFEQUAL |
63 |
public static final int |
DEFFREE |
62 |
public static final int |
DOT |
39 |
public static final int |
EL |
84 |
public static final int |
ELP |
83 |
public static final int |
ELSE |
53 |
public static final int |
END |
65 |
public static final int |
EOF |
0 |
public static final int |
EQUALS |
34 |
public static final int |
ER |
86 |
public static final int |
ERE |
90 |
public static final int |
EREP |
89 |
public static final int |
ERP |
85 |
public static final int |
error |
1 |
public static final int |
ES |
93 |
public static final int |
EXI |
30 |
public static final int |
EXIONE |
64 |
public static final int |
EXPR |
3 |
public static final int |
FALSE |
49 |
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 |
I |
80 |
public static final int |
IF |
51 |
public static final int |
IFF |
27 |
public static final int |
IMP |
26 |
public static final int |
INSTROKE |
10 |
public static final int |
IP |
79 |
public static final int |
L |
82 |
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 |
LET |
50 |
public static final int |
LISTARG |
60 |
public static final int |
LP |
81 |
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 |
NEXTSTROKE |
8 |
public static final int |
NL |
45 |
public static final int |
NOT |
28 |
public static final int |
NUMERAL |
95 |
public static final int |
NUMSTROKE |
96 |
public static final int |
OR |
25 |
public static final int |
OUTSTROKE |
9 |
public static final int |
PARA |
2 |
public static final int |
PARENTS |
47 |
public static final int |
POST |
78 |
public static final int |
POSTP |
77 |
public static final int |
POWER |
32 |
public static final int |
PRE |
76 |
public static final int |
PRED |
4 |
public static final int |
PREP |
75 |
public static final int |
RBIND |
16 |
public static final int |
RBRACE |
20 |
public static final int |
RDATA |
18 |
public static final int |
RELATION |
55 |
public static final int |
RIGHTASSOC |
59 |
public static final int |
RPAREN |
12 |
public static final int |
RSQUARE |
14 |
public static final int |
SCH |
67 |
public static final int |
SECTION |
46 |
public static final int |
SEMICOLON |
37 |
public static final int |
SLASH |
33 |
public static final int |
SPOT |
40 |
public static final int |
SR |
88 |
public static final int |
SRE |
92 |
public static final int |
SREP |
91 |
public static final int |
SRP |
87 |
public static final int |
SS |
94 |
public static final int |
TEXT |
74 |
public static final int |
THEN |
52 |
public static final int |
THEOREM |
71 |
public static final int |
THETA |
5 |
public static final int |
TRUE |
48 |
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 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final String |
PROP_PRINT_NAME_IDS |
"print_name_ids" |
public static final boolean |
PROP_PRINT_NAME_IDS_DEFAULT |
false |
public static final String |
PROP_PRINT_ZEVES |
"print_z_eves" |
public static final boolean |
PROP_PRINT_ZEVES_DEFAULT |
false |
public static final String |
PROP_PRINTING_ONTHEFLY_SECTION_NAME |
"print_unknown_section_name" |
public static final String |
PROP_PRINTING_STRUCTURED_GOAL |
"print_structured_goal" |
public static final boolean |
PROP_PRINTING_STRUCTURED_GOAL_DEFAULT |
false |
public static final String |
PROP_TXT_TAB_SIZE |
"print_tab_size" |
public static final int |
PROP_TXT_TAB_SIZE_DEFAULT |
4 |
public static final String |
PROP_TXT_WIDTH |
"print_txt_width" |
public static final int |
PROP_TXT_WIDTH_DEFAULT |
80 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final String |
LATEX_POSTSCRIPT |
"\n\n%----------------------------------\n\\end{document}" |
public static final String |
LATEX_PREAMBLE |
"\\documentclass{article}\n\\usepackage{czt}\n\n\\begin{document}\n%----------------------------------\n\n" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final int |
YYEOF |
-1 |
public static final int |
YYINITIAL |
0 |
public static final int |
Z |
2 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final String |
PROP_LATEXPRINTER_WRAPPING |
"latexprinter_wrapping" |
public static final boolean |
PROP_LATEXPRINTER_WRAPPING_DEFAULT |
false |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final int |
AX |
13 |
public static final int |
CHAR_MARKUP |
33 |
public static final int |
DECORWORD |
39 |
public static final int |
END |
17 |
public static final int |
END_MARKUP |
26 |
public static final int |
EOF |
0 |
public static final int |
error |
1 |
public static final int |
GENAX |
15 |
public static final int |
GENSCH |
16 |
public static final int |
INDENT |
38 |
public static final int |
INSTROKE |
23 |
public static final int |
INWORD_MARKUP |
35 |
public static final int |
LBIND |
8 |
public static final int |
LBRACE |
6 |
public static final int |
LDATA |
10 |
public static final int |
LPAREN |
2 |
public static final int |
LSQUARE |
4 |
public static final int |
NEXTSTROKE |
25 |
public static final int |
NL |
18 |
public static final int |
NUMERAL |
30 |
public static final int |
NUMSTROKE |
31 |
public static final int |
OUTSTROKE |
24 |
public static final int |
PARA_END |
29 |
public static final int |
PARA_START |
28 |
public static final int |
PARENTS |
21 |
public static final int |
POSTWORD_MARKUP |
37 |
public static final int |
PREWORD_MARKUP |
36 |
public static final int |
RBIND |
9 |
public static final int |
RBRACE |
7 |
public static final int |
RDATA |
11 |
public static final int |
RPAREN |
3 |
public static final int |
RSQUARE |
5 |
public static final int |
SCH |
14 |
public static final int |
SECTION |
20 |
public static final int |
TEXT |
32 |
public static final int |
THEOREM |
19 |
public static final int |
TOKENSEQ |
27 |
public static final int |
WHERE |
22 |
public static final int |
WORD_MARKUP |
34 |
public static final int |
ZED |
12 |
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.