54
58
/* --------------------------- Access to Terms ---------------------------- */
56
c_bool styx_styx(PT_Term x, styx* x1); /* */
57
c_bool styx_Source(PT_Term x, styxSource* x1); /* */
58
c_bool styx_OptCfg(PT_Term x, styxOptCfg* x1); /* */
59
c_bool styx_QlxDfn(PT_Term x, styxQlxDfn* x1); /* */
60
c_bool styx_QlxCat(PT_Term x, styxQlxCat* x1); /* */
61
c_bool styx_QlxGrp(PT_Term x, styxQlxGrp* x1); /* */
62
c_bool styx_QlxOpt(PT_Term x, styxQlxOpt* x1); /* */
63
c_bool styx_Exp(PT_Term x, styxExp* x1); /* */
64
c_bool styx_OptNat(PT_Term x, styxOptNat* x1); /* */
65
c_bool styx_Limit(PT_Term x, styxLimit* x1); /* */
66
c_bool styx_Dfn(PT_Term x, styxDfn* x1); /* */
67
c_bool styx_Cat(PT_Term x, styxCat* x1); /* */
68
c_bool styx_DfnOpt(PT_Term x, styxDfnOpt* x1); /* */
69
c_bool styx_Lay(PT_Term x, styxLay* x1); /* */
70
c_bool styx_Prd(PT_Term x, styxPrd* x1); /* */
71
c_bool styx_Mbr(PT_Term x, styxMbr* x1); /* */
60
c_bool styx_styx(PT_Term x, styx* x1); /* */
61
c_bool styx_Source(PT_Term x, styxSource* x1); /* */
62
c_bool styx_OptCfg(PT_Term x, styxOptCfg* x1); /* */
63
c_bool styx_QlxDfn(PT_Term x, styxQlxDfn* x1); /* */
64
c_bool styx_QlxCat(PT_Term x, styxQlxCat* x1); /* */
65
c_bool styx_QlxGrp(PT_Term x, styxQlxGrp* x1); /* */
66
c_bool styx_QlxOpt(PT_Term x, styxQlxOpt* x1); /* */
67
c_bool styx_Exp(PT_Term x, styxExp* x1); /* */
68
c_bool styx_OptNat(PT_Term x, styxOptNat* x1); /* */
69
c_bool styx_Limit(PT_Term x, styxLimit* x1); /* */
70
c_bool styx_Dfn(PT_Term x, styxDfn* x1); /* */
71
c_bool styx_Cat(PT_Term x, styxCat* x1); /* */
72
c_bool styx_DfnOpt(PT_Term x, styxDfnOpt* x1); /* */
73
c_bool styx_Lay(PT_Term x, styxLay* x1); /* */
74
c_bool styx_Prd(PT_Term x, styxPrd* x1); /* */
75
c_bool styx_Mbr(PT_Term x, styxMbr* x1); /* */
76
c_bool styx_Conflict(PT_Term x, styxConflict* x1); /* */
77
c_bool styx_State(PT_Term x, styxState* x1); /* */
78
c_bool styx_Token(PT_Term x, styxToken* x1); /* */
79
c_bool styx_Rule(PT_Term x, styxRule* x1); /* */
73
81
/* --------------------------------- styx --------------------------------- */
87
95
/* -------------------------------- OptCfg -------------------------------- */
89
c_bool styxOptCfg_non(styxOptCfg x); /* */
90
c_bool styxOptCfg_cfg(styxOptCfg x, GLS_Lst(styxDfn)* x1); /* */
97
c_bool styxOptCfg_non(styxOptCfg x); /* */
98
c_bool styxOptCfg_cfg(styxOptCfg x, GLS_Lst(styxDfn)* x1, GLS_Lst(styxConflict)* x2); /* */
92
100
/* -------------------------------- QlxDfn -------------------------------- */
94
c_bool styxQlxDfn_mgrp(styxQlxDfn x, GLS_Tok* x1, GLS_Lst(GLS_Tok)* x2);/* */
95
c_bool styxQlxDfn_igrp(styxQlxDfn x, GLS_Tok* x1); /* */
102
c_bool styxQlxDfn_defd(styxQlxDfn x, GLS_Tok* x1); /* */
97
104
c_bool styxQlxDfn_defn(styxQlxDfn x, styxQlxCat* x1, styxQlxOpt* x2,
98
105
styxQlxGrp* x3, GLS_Tok* x4,
99
106
styxQlxGrp* x5, styxExp* x6)
109
c_bool styxQlxDfn_igrp(styxQlxDfn x, GLS_Tok* x1); /* */
110
c_bool styxQlxDfn_tgrp(styxQlxDfn x, GLS_Tok* x1); /* */
111
c_bool styxQlxDfn_mgrp(styxQlxDfn x, GLS_Tok* x1, GLS_Lst(GLS_Tok)* x2);/* */
102
112
c_bool styxQlxDfn_xgrp(styxQlxDfn x, GLS_Tok* x1); /* */
104
114
/* -------------------------------- QlxCat -------------------------------- */
116
c_bool styxQlxCat_comC(styxQlxCat x); /* */
117
c_bool styxQlxCat_indC(styxQlxCat x); /* */
118
c_bool styxQlxCat_letC(styxQlxCat x); /* */
106
119
c_bool styxQlxCat_tokC(styxQlxCat x); /* */
107
c_bool styxQlxCat_letC(styxQlxCat x); /* */
108
c_bool styxQlxCat_indC(styxQlxCat x); /* */
120
c_bool styxQlxCat_lanC(styxQlxCat x); /* */
109
121
c_bool styxQlxCat_ignC(styxQlxCat x); /* */
110
c_bool styxQlxCat_comC(styxQlxCat x); /* */
111
c_bool styxQlxCat_lanC(styxQlxCat x); /* */
113
123
/* -------------------------------- QlxGrp -------------------------------- */
125
c_bool styxQlxGrp_non(styxQlxGrp x); /* */
115
126
c_bool styxQlxGrp_pigrp(styxQlxGrp x); /* */
127
c_bool styxQlxGrp_pop(styxQlxGrp x); /* */
128
c_bool styxQlxGrp_igrp(styxQlxGrp x); /* */
116
129
c_bool styxQlxGrp_pgrp(styxQlxGrp x, GLS_Tok* x1); /* */
117
130
c_bool styxQlxGrp_grp(styxQlxGrp x, GLS_Tok* x1); /* */
118
c_bool styxQlxGrp_igrp(styxQlxGrp x); /* */
119
c_bool styxQlxGrp_non(styxQlxGrp x); /* */
120
c_bool styxQlxGrp_pop(styxQlxGrp x); /* */
122
132
/* -------------------------------- QlxOpt -------------------------------- */
134
c_bool styxQlxOpt_ignca(styxQlxOpt x); /* */
124
135
c_bool styxQlxOpt_non(styxQlxOpt x); /* */
125
c_bool styxQlxOpt_ignca(styxQlxOpt x); /* */
127
137
/* --------------------------------- Exp ---------------------------------- */
129
139
c_bool styxExp_conc(styxExp x, styxExp* x1, styxExp* x2); /* */
130
c_bool styxExp_ident(styxExp x, GLS_Tok* x1); /* */
131
140
c_bool styxExp_diff(styxExp x, styxExp* x1, styxExp* x2); /* */
141
c_bool styxExp_sequ(styxExp x, GLS_Tok* x1); /* */
132
142
c_bool styxExp_plusn(styxExp x, styxExp* x1, styxLimit* x2); /* */
133
c_bool styxExp_union(styxExp x, styxExp* x1, styxExp* x2); /* */
135
c_bool styxExp_epat(styxExp x, styxExp* x1, GLS_Tok* x2,
139
143
c_bool styxExp_plus0(styxExp x, styxExp* x1); /* */
140
c_bool styxExp_sequ(styxExp x, GLS_Tok* x1); /* */
145
c_bool styxExp_dyck(styxExp x, styxExp* x1, styxExp* x2,
141
149
c_bool styxExp_non(styxExp x); /* */
142
c_bool styxExp_quot(styxExp x, styxExp* x1, styxExp* x2); /* */
144
c_bool styxExp_spat(styxExp x, styxExp* x1, GLS_Tok* x2,
148
c_bool styxExp_dyck(styxExp x, styxExp* x1, styxExp* x2,
152
c_bool styxExp_set(styxExp x, GLS_Tok* x1); /* */
153
150
c_bool styxExp_opt(styxExp x, styxExp* x1); /* */
151
c_bool styxExp_range(styxExp x, styxExp* x1, styxExp* x2); /* */
154
152
c_bool styxExp_plus(styxExp x, styxExp* x1); /* */
154
c_bool styxExp_epat(styxExp x, styxExp* x1, GLS_Tok* x2,
158
c_bool styxExp_set(styxExp x, GLS_Tok* x1); /* */
159
c_bool styxExp_union(styxExp x, styxExp* x1, styxExp* x2); /* */
160
c_bool styxExp_quot(styxExp x, styxExp* x1, styxExp* x2); /* */
161
c_bool styxExp_ident(styxExp x, GLS_Tok* x1); /* */
155
162
c_bool styxExp_star(styxExp x, styxExp* x1); /* */
156
c_bool styxExp_range(styxExp x, styxExp* x1, styxExp* x2); /* */
164
c_bool styxExp_spat(styxExp x, styxExp* x1, GLS_Tok* x2,
158
169
/* -------------------------------- OptNat -------------------------------- */
171
c_bool styxOptNat_non(styxOptNat x); /* */
160
172
c_bool styxOptNat_nat(styxOptNat x, GLS_Tok* x1); /* */
161
c_bool styxOptNat_non(styxOptNat x); /* */
163
174
/* -------------------------------- Limit --------------------------------- */
176
c_bool styxLimit_range(styxLimit x, GLS_Tok* x1, styxOptNat* x2); /* */
165
177
c_bool styxLimit_ntime(styxLimit x, GLS_Tok* x1); /* */
166
c_bool styxLimit_range(styxLimit x, GLS_Tok* x1, styxOptNat* x2); /* */
168
179
/* --------------------------------- Dfn ---------------------------------- */
198
209
/* --------------------------------- Mbr ---------------------------------- */
200
c_bool styxMbr_tkm(styxMbr x, GLS_Tok* x1); /* */
202
c_bool styxMbr_klst0(styxMbr x, GLS_Lst(GLS_Tok)* x1, styxMbr* x2,
203
GLS_Lst(GLS_Tok)* x3, GLS_Lst(GLS_Tok)* x4)
206
c_bool styxMbr_else(styxMbr x); /* */
208
c_bool styxMbr_klst1(styxMbr x, GLS_Lst(GLS_Tok)* x1, styxMbr* x2,
209
GLS_Lst(GLS_Tok)* x3, GLS_Lst(GLS_Tok)* x4)
212
211
c_bool styxMbr_opt(styxMbr x, GLS_Lst(GLS_Tok)* x1, styxMbr* x2,
213
212
GLS_Lst(GLS_Tok)* x3)
216
c_bool styxMbr_ntm(styxMbr x, GLS_Tok* x1); /* */
215
c_bool styxMbr_dtok(styxMbr x, GLS_Tok* x1, GLS_Tok* x2); /* */
217
c_bool styxMbr_klst1(styxMbr x, GLS_Lst(GLS_Tok)* x1, styxMbr* x2,
218
GLS_Lst(GLS_Tok)* x3, GLS_Lst(GLS_Tok)* x4)
221
c_bool styxMbr_tkm(styxMbr x, GLS_Tok* x1); /* */
222
c_bool styxMbr_ntm(styxMbr x, GLS_Tok* x1); /* */
224
c_bool styxMbr_klst0(styxMbr x, GLS_Lst(GLS_Tok)* x1, styxMbr* x2,
225
GLS_Lst(GLS_Tok)* x3, GLS_Lst(GLS_Tok)* x4)
228
c_bool styxMbr_else(styxMbr x); /* */
230
/* ------------------------------- Conflict ------------------------------- */
232
c_bool styxConflict_defn(styxConflict x, styxState* x1, styxToken* x2,
233
GLS_Lst(styxRule)* x3)
237
/* -------------------------------- State --------------------------------- */
239
c_bool styxState_nat(styxState x, GLS_Tok* x1); /* */
240
c_bool styxState_ide(styxState x, GLS_Tok* x1); /* */
241
c_bool styxState_seq(styxState x, GLS_Tok* x1); /* */
243
/* -------------------------------- Token --------------------------------- */
245
c_bool styxToken_seq(styxToken x, GLS_Tok* x1); /* */
246
c_bool styxToken_ide(styxToken x, GLS_Tok* x1); /* */
248
/* --------------------------------- Rule --------------------------------- */
250
c_bool styxRule_red(styxRule x, GLS_Tok* x1, GLS_Tok* x2); /* */
219
253
#ifdef __cplusplus