@tuprolog/arg2p 0.14.1 → 0.14.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/2p-dsl-core.js +192 -192
- package/2p-dsl-core.js.map +1 -1
- package/2p-dsl-solve.js +7 -7
- package/2p-dsl-theory.js +6 -6
- package/2p-dsl-unify.js +9 -9
- package/arg2p-core.js +8 -8
- package/arg2p-core.js.map +1 -1
- package/kotlin-kotlin-stdlib.js +20 -20
- package/kotlin-kotlin-stdlib.js.map +1 -1
- package/package.json +1 -1
package/2p-dsl-core.js
CHANGED
|
@@ -104,197 +104,6 @@
|
|
|
104
104
|
}
|
|
105
105
|
initMetadataForInterface(BaseLogicProgrammingScope, 'BaseLogicProgrammingScope', VOID, VOID, [Scope]);
|
|
106
106
|
initMetadataForCompanion(Companion);
|
|
107
|
-
function termPlus(_this__u8e3s4, other) {
|
|
108
|
-
return this.structOf('+', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
109
|
-
}
|
|
110
|
-
function number(_this__u8e3s4, other) {
|
|
111
|
-
return this.termPlus(this.convertToTerm(_this__u8e3s4), other);
|
|
112
|
-
}
|
|
113
|
-
function booleanPlus(_this__u8e3s4, other) {
|
|
114
|
-
return this.termPlus(this.convertToTerm(_this__u8e3s4), other);
|
|
115
|
-
}
|
|
116
|
-
function charPlus(_this__u8e3s4, other) {
|
|
117
|
-
return this.termPlus(this.convertToTerm(new Char(_this__u8e3s4)), other);
|
|
118
|
-
}
|
|
119
|
-
function termMinus(_this__u8e3s4, other) {
|
|
120
|
-
return this.structOf('-', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
121
|
-
}
|
|
122
|
-
function numberMinus(_this__u8e3s4, other) {
|
|
123
|
-
return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
|
|
124
|
-
}
|
|
125
|
-
function booleanMinus(_this__u8e3s4, other) {
|
|
126
|
-
return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
|
|
127
|
-
}
|
|
128
|
-
function charMinus(_this__u8e3s4, other) {
|
|
129
|
-
return this.termMinus(this.convertToTerm(new Char(_this__u8e3s4)), other);
|
|
130
|
-
}
|
|
131
|
-
function stringMinus(_this__u8e3s4, other) {
|
|
132
|
-
return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
|
|
133
|
-
}
|
|
134
|
-
function termTimes(_this__u8e3s4, other) {
|
|
135
|
-
return this.structOf('*', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
136
|
-
}
|
|
137
|
-
function numberTimes(_this__u8e3s4, other) {
|
|
138
|
-
return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
|
|
139
|
-
}
|
|
140
|
-
function booleanTimes(_this__u8e3s4, other) {
|
|
141
|
-
return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
|
|
142
|
-
}
|
|
143
|
-
function charTimes(_this__u8e3s4, other) {
|
|
144
|
-
return this.termTimes(this.convertToTerm(new Char(_this__u8e3s4)), other);
|
|
145
|
-
}
|
|
146
|
-
function stringTimes(_this__u8e3s4, other) {
|
|
147
|
-
return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
|
|
148
|
-
}
|
|
149
|
-
function termDiv(_this__u8e3s4, other) {
|
|
150
|
-
return this.indicatorOf(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
|
|
151
|
-
}
|
|
152
|
-
function numberDiv(_this__u8e3s4, other) {
|
|
153
|
-
return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
|
|
154
|
-
}
|
|
155
|
-
function booleanDiv(_this__u8e3s4, other) {
|
|
156
|
-
return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
|
|
157
|
-
}
|
|
158
|
-
function charDiv(_this__u8e3s4, other) {
|
|
159
|
-
return this.termDiv(this.convertToTerm(new Char(_this__u8e3s4)), other);
|
|
160
|
-
}
|
|
161
|
-
function stringDiv(_this__u8e3s4, other) {
|
|
162
|
-
return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
|
|
163
|
-
}
|
|
164
|
-
function anyEqualsTo(_this__u8e3s4, other) {
|
|
165
|
-
return this.structOf('=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
166
|
-
}
|
|
167
|
-
function anyNotEqualsTo(_this__u8e3s4, other) {
|
|
168
|
-
return this.structOf('\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
169
|
-
}
|
|
170
|
-
function anyGreaterThan(_this__u8e3s4, other) {
|
|
171
|
-
return this.structOf('>', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
172
|
-
}
|
|
173
|
-
function anyGreaterThanOrEqualsTo(_this__u8e3s4, other) {
|
|
174
|
-
return this.structOf('>=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
175
|
-
}
|
|
176
|
-
function anyNonLowerThan(_this__u8e3s4, other) {
|
|
177
|
-
return this.anyGreaterThanOrEqualsTo(_this__u8e3s4, other);
|
|
178
|
-
}
|
|
179
|
-
function anyLowerThan(_this__u8e3s4, other) {
|
|
180
|
-
return this.structOf('<', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
181
|
-
}
|
|
182
|
-
function anyLowerThanOrEqualsTo(_this__u8e3s4, other) {
|
|
183
|
-
return this.structOf('=<', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
184
|
-
}
|
|
185
|
-
function anyNonGreaterThan(_this__u8e3s4, other) {
|
|
186
|
-
return this.anyLowerThanOrEqualsTo(_this__u8e3s4, other);
|
|
187
|
-
}
|
|
188
|
-
function anyIntDiv(_this__u8e3s4, other) {
|
|
189
|
-
return this.structOf('//', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
190
|
-
}
|
|
191
|
-
function termRem(_this__u8e3s4, other) {
|
|
192
|
-
return this.structOf('rem', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
193
|
-
}
|
|
194
|
-
function numberRem(_this__u8e3s4, other) {
|
|
195
|
-
return this.termRem(this.convertToTerm(_this__u8e3s4), other);
|
|
196
|
-
}
|
|
197
|
-
function booleanRem(_this__u8e3s4, other) {
|
|
198
|
-
return this.termRem(this.convertToTerm(_this__u8e3s4), other);
|
|
199
|
-
}
|
|
200
|
-
function charRem(_this__u8e3s4, other) {
|
|
201
|
-
return this.termRem(this.convertToTerm(new Char(_this__u8e3s4)), other);
|
|
202
|
-
}
|
|
203
|
-
function stringRem(_this__u8e3s4, other) {
|
|
204
|
-
return this.termRem(this.convertToTerm(_this__u8e3s4), other);
|
|
205
|
-
}
|
|
206
|
-
function anyAnd(_this__u8e3s4, other) {
|
|
207
|
-
// Inline function 'kotlin.let' call
|
|
208
|
-
var it = this.convertToTerm(_this__u8e3s4);
|
|
209
|
-
var otherTerm = this.convertToTerm(other);
|
|
210
|
-
var tmp;
|
|
211
|
-
if (isInterface(it, Tuple)) {
|
|
212
|
-
tmp = this.tupleOfIterable(plus(it.sw(), otherTerm));
|
|
213
|
-
} else {
|
|
214
|
-
tmp = this.tupleOf([this.convertToTerm(_this__u8e3s4), otherTerm]);
|
|
215
|
-
}
|
|
216
|
-
return tmp;
|
|
217
|
-
}
|
|
218
|
-
function anyOr(_this__u8e3s4, other) {
|
|
219
|
-
return this.structOf(';', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
220
|
-
}
|
|
221
|
-
function anyPow(_this__u8e3s4, other) {
|
|
222
|
-
return this.structOf('**', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
223
|
-
}
|
|
224
|
-
function anySup(_this__u8e3s4, other) {
|
|
225
|
-
return this.structOf('^', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
226
|
-
}
|
|
227
|
-
function anyIs(_this__u8e3s4, other) {
|
|
228
|
-
return this.structOf('is', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
229
|
-
}
|
|
230
|
-
function anyThen(_this__u8e3s4, other) {
|
|
231
|
-
return this.structOf('->', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
232
|
-
}
|
|
233
|
-
function anyImpliedBy(_this__u8e3s4, other) {
|
|
234
|
-
var t = this.convertToTerm(_this__u8e3s4);
|
|
235
|
-
var tmp;
|
|
236
|
-
if (isInterface(t, Struct)) {
|
|
237
|
-
tmp = this.ruleOf(t, this.convertToTerm(other), []);
|
|
238
|
-
} else {
|
|
239
|
-
raiseErrorConvertingTo(_this__u8e3s4, getKClass(Struct));
|
|
240
|
-
}
|
|
241
|
-
return tmp;
|
|
242
|
-
}
|
|
243
|
-
function anyIf(_this__u8e3s4, other) {
|
|
244
|
-
return this.anyImpliedBy(_this__u8e3s4, other);
|
|
245
|
-
}
|
|
246
|
-
function anyImpliedByVararg(_this__u8e3s4, other) {
|
|
247
|
-
var tmp = Companion_instance_1;
|
|
248
|
-
// Inline function 'kotlin.collections.map' call
|
|
249
|
-
// Inline function 'kotlin.collections.mapTo' call
|
|
250
|
-
var destination = ArrayList_init_$Create$(other.length);
|
|
251
|
-
var inductionVariable = 0;
|
|
252
|
-
var last = other.length;
|
|
253
|
-
while (inductionVariable < last) {
|
|
254
|
-
var item = other[inductionVariable];
|
|
255
|
-
inductionVariable = inductionVariable + 1 | 0;
|
|
256
|
-
var tmp$ret$0 = this.convertToTerm(item);
|
|
257
|
-
destination.m(tmp$ret$0);
|
|
258
|
-
}
|
|
259
|
-
return this.anyImpliedBy(_this__u8e3s4, tmp.wrapIterableIfNeeded(destination));
|
|
260
|
-
}
|
|
261
|
-
function anyIfVararg(_this__u8e3s4, other) {
|
|
262
|
-
return this.anyImpliedByVararg(_this__u8e3s4, other.slice());
|
|
263
|
-
}
|
|
264
|
-
initMetadataForInterface(LogicProgrammingScopeWithOperators, 'LogicProgrammingScopeWithOperators', VOID, VOID, [BaseLogicProgrammingScope]);
|
|
265
|
-
function varTo(_this__u8e3s4, termObject) {
|
|
266
|
-
return Companion_getInstance_0().of(_this__u8e3s4, this.convertToTerm(termObject));
|
|
267
|
-
}
|
|
268
|
-
function stringTo(_this__u8e3s4, termObject) {
|
|
269
|
-
return Companion_getInstance_0().of(this.varOf(_this__u8e3s4), this.convertToTerm(termObject));
|
|
270
|
-
}
|
|
271
|
-
function substitutionGet(_this__u8e3s4, term) {
|
|
272
|
-
var t = this.convertToTerm(term);
|
|
273
|
-
var tmp;
|
|
274
|
-
if (isInterface(t, Var)) {
|
|
275
|
-
tmp = _this__u8e3s4.h2(t);
|
|
276
|
-
} else {
|
|
277
|
-
raiseErrorConvertingTo(term, getKClass(Var));
|
|
278
|
-
}
|
|
279
|
-
return tmp;
|
|
280
|
-
}
|
|
281
|
-
function substitutionContainsKey(_this__u8e3s4, term) {
|
|
282
|
-
var t = this.convertToTerm(term);
|
|
283
|
-
var tmp;
|
|
284
|
-
if (isInterface(t, Var)) {
|
|
285
|
-
tmp = _this__u8e3s4.f2(t);
|
|
286
|
-
} else {
|
|
287
|
-
raiseErrorConvertingTo(term, getKClass(Var));
|
|
288
|
-
}
|
|
289
|
-
return tmp;
|
|
290
|
-
}
|
|
291
|
-
function substitutionContains(_this__u8e3s4, term) {
|
|
292
|
-
return this.substitutionContainsKey(_this__u8e3s4, term);
|
|
293
|
-
}
|
|
294
|
-
function substitutionContainsValue(_this__u8e3s4, term) {
|
|
295
|
-
return _this__u8e3s4.g2(this.convertToTerm(term));
|
|
296
|
-
}
|
|
297
|
-
initMetadataForInterface(LogicProgrammingScopeWithSubstitutions, 'LogicProgrammingScopeWithSubstitutions', VOID, VOID, [BaseLogicProgrammingScope]);
|
|
298
107
|
function at_end_of_stream1(alias) {
|
|
299
108
|
return this.structOf('at_end_of_stream', [this.convertToTerm(alias)]);
|
|
300
109
|
}
|
|
@@ -482,6 +291,164 @@
|
|
|
482
291
|
return this.structOf('include', [this.convertToTerm(url)]);
|
|
483
292
|
}
|
|
484
293
|
initMetadataForInterface(LogicProgrammingScopeWithPrologStandardLibrary, 'LogicProgrammingScopeWithPrologStandardLibrary', VOID, VOID, [BaseLogicProgrammingScope]);
|
|
294
|
+
function termPlus(_this__u8e3s4, other) {
|
|
295
|
+
return this.structOf('+', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
296
|
+
}
|
|
297
|
+
function number(_this__u8e3s4, other) {
|
|
298
|
+
return this.termPlus(this.convertToTerm(_this__u8e3s4), other);
|
|
299
|
+
}
|
|
300
|
+
function booleanPlus(_this__u8e3s4, other) {
|
|
301
|
+
return this.termPlus(this.convertToTerm(_this__u8e3s4), other);
|
|
302
|
+
}
|
|
303
|
+
function charPlus(_this__u8e3s4, other) {
|
|
304
|
+
return this.termPlus(this.convertToTerm(new Char(_this__u8e3s4)), other);
|
|
305
|
+
}
|
|
306
|
+
function termMinus(_this__u8e3s4, other) {
|
|
307
|
+
return this.structOf('-', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
308
|
+
}
|
|
309
|
+
function numberMinus(_this__u8e3s4, other) {
|
|
310
|
+
return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
|
|
311
|
+
}
|
|
312
|
+
function booleanMinus(_this__u8e3s4, other) {
|
|
313
|
+
return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
|
|
314
|
+
}
|
|
315
|
+
function charMinus(_this__u8e3s4, other) {
|
|
316
|
+
return this.termMinus(this.convertToTerm(new Char(_this__u8e3s4)), other);
|
|
317
|
+
}
|
|
318
|
+
function stringMinus(_this__u8e3s4, other) {
|
|
319
|
+
return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
|
|
320
|
+
}
|
|
321
|
+
function termTimes(_this__u8e3s4, other) {
|
|
322
|
+
return this.structOf('*', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
323
|
+
}
|
|
324
|
+
function numberTimes(_this__u8e3s4, other) {
|
|
325
|
+
return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
|
|
326
|
+
}
|
|
327
|
+
function booleanTimes(_this__u8e3s4, other) {
|
|
328
|
+
return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
|
|
329
|
+
}
|
|
330
|
+
function charTimes(_this__u8e3s4, other) {
|
|
331
|
+
return this.termTimes(this.convertToTerm(new Char(_this__u8e3s4)), other);
|
|
332
|
+
}
|
|
333
|
+
function stringTimes(_this__u8e3s4, other) {
|
|
334
|
+
return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
|
|
335
|
+
}
|
|
336
|
+
function termDiv(_this__u8e3s4, other) {
|
|
337
|
+
return this.indicatorOf(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
|
|
338
|
+
}
|
|
339
|
+
function numberDiv(_this__u8e3s4, other) {
|
|
340
|
+
return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
|
|
341
|
+
}
|
|
342
|
+
function booleanDiv(_this__u8e3s4, other) {
|
|
343
|
+
return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
|
|
344
|
+
}
|
|
345
|
+
function charDiv(_this__u8e3s4, other) {
|
|
346
|
+
return this.termDiv(this.convertToTerm(new Char(_this__u8e3s4)), other);
|
|
347
|
+
}
|
|
348
|
+
function stringDiv(_this__u8e3s4, other) {
|
|
349
|
+
return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
|
|
350
|
+
}
|
|
351
|
+
function anyEqualsTo(_this__u8e3s4, other) {
|
|
352
|
+
return this.structOf('=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
353
|
+
}
|
|
354
|
+
function anyNotEqualsTo(_this__u8e3s4, other) {
|
|
355
|
+
return this.structOf('\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
356
|
+
}
|
|
357
|
+
function anyGreaterThan(_this__u8e3s4, other) {
|
|
358
|
+
return this.structOf('>', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
359
|
+
}
|
|
360
|
+
function anyGreaterThanOrEqualsTo(_this__u8e3s4, other) {
|
|
361
|
+
return this.structOf('>=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
362
|
+
}
|
|
363
|
+
function anyNonLowerThan(_this__u8e3s4, other) {
|
|
364
|
+
return this.anyGreaterThanOrEqualsTo(_this__u8e3s4, other);
|
|
365
|
+
}
|
|
366
|
+
function anyLowerThan(_this__u8e3s4, other) {
|
|
367
|
+
return this.structOf('<', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
368
|
+
}
|
|
369
|
+
function anyLowerThanOrEqualsTo(_this__u8e3s4, other) {
|
|
370
|
+
return this.structOf('=<', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
371
|
+
}
|
|
372
|
+
function anyNonGreaterThan(_this__u8e3s4, other) {
|
|
373
|
+
return this.anyLowerThanOrEqualsTo(_this__u8e3s4, other);
|
|
374
|
+
}
|
|
375
|
+
function anyIntDiv(_this__u8e3s4, other) {
|
|
376
|
+
return this.structOf('//', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
377
|
+
}
|
|
378
|
+
function termRem(_this__u8e3s4, other) {
|
|
379
|
+
return this.structOf('rem', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
380
|
+
}
|
|
381
|
+
function numberRem(_this__u8e3s4, other) {
|
|
382
|
+
return this.termRem(this.convertToTerm(_this__u8e3s4), other);
|
|
383
|
+
}
|
|
384
|
+
function booleanRem(_this__u8e3s4, other) {
|
|
385
|
+
return this.termRem(this.convertToTerm(_this__u8e3s4), other);
|
|
386
|
+
}
|
|
387
|
+
function charRem(_this__u8e3s4, other) {
|
|
388
|
+
return this.termRem(this.convertToTerm(new Char(_this__u8e3s4)), other);
|
|
389
|
+
}
|
|
390
|
+
function stringRem(_this__u8e3s4, other) {
|
|
391
|
+
return this.termRem(this.convertToTerm(_this__u8e3s4), other);
|
|
392
|
+
}
|
|
393
|
+
function anyAnd(_this__u8e3s4, other) {
|
|
394
|
+
// Inline function 'kotlin.let' call
|
|
395
|
+
var it = this.convertToTerm(_this__u8e3s4);
|
|
396
|
+
var otherTerm = this.convertToTerm(other);
|
|
397
|
+
var tmp;
|
|
398
|
+
if (isInterface(it, Tuple)) {
|
|
399
|
+
tmp = this.tupleOfIterable(plus(it.sw(), otherTerm));
|
|
400
|
+
} else {
|
|
401
|
+
tmp = this.tupleOf([this.convertToTerm(_this__u8e3s4), otherTerm]);
|
|
402
|
+
}
|
|
403
|
+
return tmp;
|
|
404
|
+
}
|
|
405
|
+
function anyOr(_this__u8e3s4, other) {
|
|
406
|
+
return this.structOf(';', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
407
|
+
}
|
|
408
|
+
function anyPow(_this__u8e3s4, other) {
|
|
409
|
+
return this.structOf('**', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
410
|
+
}
|
|
411
|
+
function anySup(_this__u8e3s4, other) {
|
|
412
|
+
return this.structOf('^', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
413
|
+
}
|
|
414
|
+
function anyIs(_this__u8e3s4, other) {
|
|
415
|
+
return this.structOf('is', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
416
|
+
}
|
|
417
|
+
function anyThen(_this__u8e3s4, other) {
|
|
418
|
+
return this.structOf('->', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
419
|
+
}
|
|
420
|
+
function anyImpliedBy(_this__u8e3s4, other) {
|
|
421
|
+
var t = this.convertToTerm(_this__u8e3s4);
|
|
422
|
+
var tmp;
|
|
423
|
+
if (isInterface(t, Struct)) {
|
|
424
|
+
tmp = this.ruleOf(t, this.convertToTerm(other), []);
|
|
425
|
+
} else {
|
|
426
|
+
raiseErrorConvertingTo(_this__u8e3s4, getKClass(Struct));
|
|
427
|
+
}
|
|
428
|
+
return tmp;
|
|
429
|
+
}
|
|
430
|
+
function anyIf(_this__u8e3s4, other) {
|
|
431
|
+
return this.anyImpliedBy(_this__u8e3s4, other);
|
|
432
|
+
}
|
|
433
|
+
function anyImpliedByVararg(_this__u8e3s4, other) {
|
|
434
|
+
var tmp = Companion_instance_1;
|
|
435
|
+
// Inline function 'kotlin.collections.map' call
|
|
436
|
+
// Inline function 'kotlin.collections.mapTo' call
|
|
437
|
+
var destination = ArrayList_init_$Create$(other.length);
|
|
438
|
+
var inductionVariable = 0;
|
|
439
|
+
var last = other.length;
|
|
440
|
+
while (inductionVariable < last) {
|
|
441
|
+
var item = other[inductionVariable];
|
|
442
|
+
inductionVariable = inductionVariable + 1 | 0;
|
|
443
|
+
var tmp$ret$0 = this.convertToTerm(item);
|
|
444
|
+
destination.m(tmp$ret$0);
|
|
445
|
+
}
|
|
446
|
+
return this.anyImpliedBy(_this__u8e3s4, tmp.wrapIterableIfNeeded(destination));
|
|
447
|
+
}
|
|
448
|
+
function anyIfVararg(_this__u8e3s4, other) {
|
|
449
|
+
return this.anyImpliedByVararg(_this__u8e3s4, other.slice());
|
|
450
|
+
}
|
|
451
|
+
initMetadataForInterface(LogicProgrammingScopeWithOperators, 'LogicProgrammingScopeWithOperators', VOID, VOID, [BaseLogicProgrammingScope]);
|
|
485
452
|
function stringInvoke(_this__u8e3s4, term, terms) {
|
|
486
453
|
var tmp = sequenceOf(arrayConcat([[term], terms]));
|
|
487
454
|
return this.structOfSequence(_this__u8e3s4, map(tmp, MinimalLogicProgrammingScope$invoke$lambda(this)));
|
|
@@ -616,7 +583,40 @@
|
|
|
616
583
|
return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$factOf$ref(this));
|
|
617
584
|
}
|
|
618
585
|
initMetadataForInterface(MinimalLogicProgrammingScope, 'MinimalLogicProgrammingScope', VOID, VOID, [BaseLogicProgrammingScope]);
|
|
619
|
-
|
|
586
|
+
function varTo(_this__u8e3s4, termObject) {
|
|
587
|
+
return Companion_getInstance_0().of(_this__u8e3s4, this.convertToTerm(termObject));
|
|
588
|
+
}
|
|
589
|
+
function stringTo(_this__u8e3s4, termObject) {
|
|
590
|
+
return Companion_getInstance_0().of(this.varOf(_this__u8e3s4), this.convertToTerm(termObject));
|
|
591
|
+
}
|
|
592
|
+
function substitutionGet(_this__u8e3s4, term) {
|
|
593
|
+
var t = this.convertToTerm(term);
|
|
594
|
+
var tmp;
|
|
595
|
+
if (isInterface(t, Var)) {
|
|
596
|
+
tmp = _this__u8e3s4.h2(t);
|
|
597
|
+
} else {
|
|
598
|
+
raiseErrorConvertingTo(term, getKClass(Var));
|
|
599
|
+
}
|
|
600
|
+
return tmp;
|
|
601
|
+
}
|
|
602
|
+
function substitutionContainsKey(_this__u8e3s4, term) {
|
|
603
|
+
var t = this.convertToTerm(term);
|
|
604
|
+
var tmp;
|
|
605
|
+
if (isInterface(t, Var)) {
|
|
606
|
+
tmp = _this__u8e3s4.f2(t);
|
|
607
|
+
} else {
|
|
608
|
+
raiseErrorConvertingTo(term, getKClass(Var));
|
|
609
|
+
}
|
|
610
|
+
return tmp;
|
|
611
|
+
}
|
|
612
|
+
function substitutionContains(_this__u8e3s4, term) {
|
|
613
|
+
return this.substitutionContainsKey(_this__u8e3s4, term);
|
|
614
|
+
}
|
|
615
|
+
function substitutionContainsValue(_this__u8e3s4, term) {
|
|
616
|
+
return _this__u8e3s4.g2(this.convertToTerm(term));
|
|
617
|
+
}
|
|
618
|
+
initMetadataForInterface(LogicProgrammingScopeWithSubstitutions, 'LogicProgrammingScopeWithSubstitutions', VOID, VOID, [BaseLogicProgrammingScope]);
|
|
619
|
+
initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [LogicProgrammingScopeWithPrologStandardLibrary, LogicProgrammingScopeWithOperators, MinimalLogicProgrammingScope, LogicProgrammingScopeWithSubstitutions, BaseLogicProgrammingScope, Scope]);
|
|
620
620
|
initMetadataForCompanion(Companion_0);
|
|
621
621
|
initMetadataForClass(DefaultTermificator, 'DefaultTermificator', VOID, AbstractTermificator);
|
|
622
622
|
//endregion
|
package/2p-dsl-core.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":["../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/Termificator.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/BaseLogicProgrammingScope.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/LogicProgrammingScopeWithOperators.kt","common/src/generated/_Arrays.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/LogicProgrammingScopeWithSubstitutions.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/LogicProgrammingScopeWithPrologStandardLibrary.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/MinimalLogicProgrammingScope.kt","js/src/kotlin/collectionJs.kt","common/src/generated/_Collections.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/AbstractTermificator.kt","src/kotlin/collections/Maps.kt","src/kotlin/util/Preconditions.kt","src/kotlin/text/Strings.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/DSL.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/LogicProgrammingScope.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/LogicProgrammingScopeImpl.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/jsMain/kotlin/it/unibo/tuprolog/dsl/DefaultTermificator.js.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null],"ignoreList":[],"x_google_ignoreList":[],"names":["copy$default","scope","toTerm","<this>","toSpecificSubTypeOfTerm","type","converter","t","plus","other","minus","times","div","equalsTo","notEqualsTo","greaterThan","greaterThanOrEqualsTo","nonLowerThan","lowerThan","lowerThanOrEqualsTo","nonGreaterThan","intDiv","rem","and","otherTerm","or","pow","sup","is","then","impliedBy","if","item","to","termObject","get","term","containsKey","contains","containsValue","at_end_of_stream","alias","call","goal","catch","error","continuation","throw","not","naf","assert","clause","asserta","assertz","arg","index","compound","argument","atom","atomic","between","min","max","number","callable","struct","current_op","precedence","specifier","functor","op","findall","template","bag","float","arity","ground","integer","natural","nonvar","var","write","univ","eq","right","neq","id","nid","arithEq","arithNeq","member","list","retract","append","left","result","retractall","abolish","indicator","atom_chars","chars","atom_codes","codes","atom_concat","first","second","atom_length","length","char_code","char","code","head","body","copy_term","copy","current_flag","name","value","current_prolog_flag","sub_atom","before","after","number_chars","number_codes","bagof","setof","consult","url","set_flag","set_prolog_flag","dynamic","static","solve","initialization","load","include","invoke","terms","structOf","args","tupleOf","logicListOf","blockOf","factOf","consOf","tail","directiveOf","function","logicList","items","logicList$default","rule","directive","fact","AbstractTermificator$handleType$lambda","$conversion","AbstractTermificator$handleType$lambda$lambda","AbstractTermificator$handleSequenceAsList$lambda","AbstractTermificator$handleSequenceAsList$lambda$lambda","AbstractTermificator$handleCharAsString$ref","p0","AbstractTermificator$handleCharAsString$ref$lambda","AbstractTermificator$handleBooleanAsTruth$ref","AbstractTermificator$handleBooleanAsTruth$ref$lambda","AbstractTermificator$handleStringAsAtomOrVariable$ref","AbstractTermificator$handleStringAsAtomOrVariable$ref$lambda","AbstractTermificator$handleBigIntegerAsInteger$ref","AbstractTermificator$handleBigIntegerAsInteger$ref$lambda","AbstractTermificator$handleBigDecimalAsReal$ref","AbstractTermificator$handleBigDecimalAsReal$ref$lambda","AbstractTermificator$handleNumberAsNumeric$ref","AbstractTermificator$handleNumberAsNumeric$ref$lambda","AbstractTermificator$handleArrayAsList$ref","AbstractTermificator$handleArrayAsList$ref$lambda","AbstractTermificator$handleSequenceAsList$ref","AbstractTermificator$handleSequenceAsList$ref$lambda","AbstractTermificator$handleIterableAsList$ref","AbstractTermificator$handleIterableAsList$ref$lambda","AbstractTermificator$handleKotlinListAsLogicList$ref","AbstractTermificator$handleKotlinListAsLogicList$ref$lambda","AbstractTermificator$handleSetAsBlock$ref","AbstractTermificator$handleSetAsBlock$ref$lambda","AbstractTermificator$handlePairAsTuple$ref","AbstractTermificator$handlePairAsTuple$ref$lambda","AbstractTermificator$handleTripletAsTuple$ref","AbstractTermificator$handleTripletAsTuple$ref$lambda","AbstractTermificator$handleKeyValuePairAsStruct$ref","AbstractTermificator$handleKeyValuePairAsStruct$ref$lambda","AbstractTermificator$handleMapAsBlock$ref","AbstractTermificator$handleMapAsBlock$ref$lambda","<init>","<get-scope>","handleType","conversion","termify","message","exactConverter","superType","handleBooleanAsTruth","handleCharAsString","handleStringAsAtomOrVariable","handleBigIntegerAsInteger","handleBigDecimalAsReal","handleArrayAsList","handleSequenceAsList","handleIterableAsList","handleKotlinListAsLogicList","handleSetAsBlock","handlePairAsTuple","handleTripletAsTuple","handleKeyValuePairAsStruct","handleMapAsBlock","legacyConfiguration","novelConfiguration","defaultConfiguration","novel","logicProgramming","raiseErrorConvertingTo","class","empty","of","termificator","variablesProvider","of$default","<get-termificator>","newScope","body1","variable","where","lambda","with","varOf","atomOf","logicListFrom","last","ruleOf","clauseOf","indicatorOf","anonymous","whatever","numOf","intOf","radix","realOf","truthOf","unifierOf","assignments","substitutionOf","<get-emptyLogicList>","<get-_>","getValue","thisRef","property","<get-X>","<get-Y>","MinimalLogicProgrammingScope$invoke$lambda","MinimalLogicProgrammingScope$invoke$lambda$lambda","MinimalLogicProgrammingScope$directiveOf$ref","MinimalLogicProgrammingScope$directiveOf$ref$lambda","MinimalLogicProgrammingScope$factOf$ref","MinimalLogicProgrammingScope$factOf$ref$lambda","default","legacy","handleNumberAsNumeric"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;eAeIA,CAASC,K,QAATD,E;6BAAwB,IAAK,M;;G;;;wBCF7BE,CAAIC,aAAJD,EAAyB;A,IAA0B,OAA1B,UAAa,QAAQ,aAAR,C;EAAY,C;yCAIlDE,CAAeD,a,EACXE,I,EACAC,SAFJF,EAGK;A,QACDG,IAAQ,iC;;IAEJ,IAAA,IAAK,IAAW,CAAX,CAAL,C;wBAAsB,C,UAAA,C;;MACtB,2B;cAAe,UAAU,CAAV,C;;QACP,sCAAuB,IAAvB,C;;;IAHZ,U;EAKJ,C;;;mBCfSC,CAAIL,a,EAAUM,KAAdD,EAAoC;A,IAA4C,OAA5C,cAAS,GAAT,EAAmB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAnB,C;EAA2C,C;iBAG/EA,CAAIL,a,EAAYM,KAAhBD,EAAsC;A,IAAgB,OAAhB,iDAAW,KAAX,C;EAAe,C;sBAGrDA,CAAIL,a,EAAaM,KAAjBD,EAAuC;A,IAAgB,OAAhB,iDAAW,KAAX,C;EAAe,C;mBAGtDA,CAAIL,a,EAAUM,KAAdD,EAAoC;A,IAAgB,OAAhB,2DAAW,KAAX,C;EAAe,C;oBAGnDE,CAAIP,a,EAAWM,KAAfC,EAAqC;A,IAA4C,OAA5C,cAAS,GAAT,EAAmB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAnB,C;EAA2C,C;sBAGhFA,CAAIP,a,EAAaM,KAAjBC,EAAuC;A,IAAgB,OAAhB,kDAAW,KAAX,C;EAAe,C;uBAGtDA,CAAIP,a,EAAcM,KAAlBC,EAAwC;A,IAAgB,OAAhB,kDAAW,KAAX,C;EAAe,C;oBAGvDA,CAAIP,a,EAAWM,KAAfC,EAAqC;A,IAAgB,OAAhB,4DAAW,KAAX,C;EAAe,C;sBAGpDA,CAAIP,a,EAAaM,KAAjBC,EAAuC;A,IAAgB,OAAhB,kDAAW,KAAX,C;EAAe,C;oBAGtDC,CAAIR,a,EAAWM,KAAfE,EAAqC;A,IAA4C,OAA5C,cAAS,GAAT,EAAmB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAnB,C;EAA2C,C;sBAGhFA,CAAIR,a,EAAaM,KAAjBE,EAAuC;A,IAAgB,OAAhB,kDAAW,KAAX,C;EAAe,C;uBAGtDA,CAAIR,a,EAAcM,KAAlBE,EAAwC;A,IAAgB,OAAhB,kDAAW,KAAX,C;EAAe,C;oBAGvDA,CAAIR,a,EAAWM,KAAfE,EAAqC;A,IAAgB,OAAhB,4DAAW,KAAX,C;EAAe,C;sBAGpDA,CAAIR,a,EAAaM,KAAjBE,EAAuC;A,IAAgB,OAAhB,kDAAW,KAAX,C;EAAe,C;kBAGtDC,CAAIT,a,EAASM,KAAbG,EAAsC;A,IAA0C,OAA1C,iBAAY,IAAK,eAAL,aAAK,CAAjB,EAA2B,IAAM,eAAN,KAAM,CAAjC,C;EAAyC,C;oBAG/EA,CAAIT,a,EAAWM,KAAfG,EAAqC;A,IAAgB,OAAhB,gDAAW,KAAX,C;EAAe,C;qBAGpDA,CAAIT,a,EAAYM,KAAhBG,EAAsC;A,IAAgB,OAAhB,gDAAW,KAAX,C;EAAe,C;kBAGrDA,CAAIT,a,EAASM,KAAbG,EAAmC;A,IAAgB,OAAhB,0DAAW,KAAX,C;EAAe,C;oBAGlDA,CAAIT,a,EAAWM,KAAfG,EAAqC;A,IAAgB,OAAhB,gDAAW,KAAX,C;EAAe,C;sBAIvDC,CAAIV,a,EAAaM,KAAjBI,EAAuC;A,IAA4C,OAA5C,cAAS,GAAT,EAAmB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAnB,C;EAA2C,C;yBAGlFC,CAAIX,a,EAAgBM,KAApBK,EAA0C;A,IAA8C,OAA9C,cAAS,KAAT,EAAqB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAArB,C;EAA6C,C;yBAGvFC,CAAIZ,a,EAAgBM,KAApBM,EAA0C;A,IAA4C,OAA5C,cAAS,GAAT,EAAmB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAnB,C;EAA2C,C;mCAGrFC,CAAIb,a,EAA0BM,KAA9BO,EAAoD;A,IAA6C,OAA7C,cAAS,IAAT,EAAoB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAApB,C;EAA4C,C;0BAGhGC,CAAId,a,EAAiBM,KAArBQ,EAA2C;A,IAAgC,OAAhC,6CAA2B,KAA3B,C;EAA+B,C;uBAG1EC,CAAIf,a,EAAcM,KAAlBS,EAAwC;A,IAA4C,OAA5C,cAAS,GAAT,EAAmB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAnB,C;EAA2C,C;iCAGnFC,CAAIhB,a,EAAwBM,KAA5BU,EAAkD;A,IAA6C,OAA7C,cAAS,IAAT,EAAoB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAApB,C;EAA4C,C;4BAG9FC,CAAIjB,a,EAAmBM,KAAvBW,EAA6C;A,IAA8B,OAA9B,2CAAyB,KAAzB,C;EAA6B,C;oBAG1EC,CAAIlB,a,EAAWM,KAAfY,EAAqC;A,IAA6C,OAA7C,cAAS,IAAT,EAAoB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAApB,C;EAA4C,C;kBAGxEC,CAAInB,a,EAASM,KAAba,EAAmC;A,IAA8C,OAA9C,cAAS,KAAT,EAAqB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAArB,C;EAA6C,C;oBAGhFA,CAAInB,a,EAAWM,KAAfa,EAAqC;A,IAAgB,OAAhB,gDAAW,KAAX,C;EAAe,C;qBAGpDA,CAAInB,a,EAAYM,KAAhBa,EAAsC;A,IAAgB,OAAhB,gDAAW,KAAX,C;EAAe,C;kBAGrDA,CAAInB,a,EAASM,KAAba,EAAmC;A,IAAgB,OAAhB,0DAAW,KAAX,C;EAAe,C;oBAGlDA,CAAInB,a,EAAWM,KAAfa,EAAqC;A,IAAgB,OAAhB,gDAAW,KAAX,C;EAAe,C;iBAG7DC,CAAIpB,a,EAAQM,KAAZc,EACF;A;aAAA,iC;QACIC,YAAgB,IAAM,eAAN,KAAM,C;;IAClB,2B;YACA,qBAAiB,KAAT,EAAG,KAAM,EAAO,SAAP,CAAjB,C;;YAEA,aAAa,CAAL,IAAK,eAAL,aAAK,GAAU,SAAV,CAAb,C;;IAEP,OALG,G;EAKJ,C;gBAGEC,CAAItB,a,EAAOM,KAAXgB,EAAiC;A,IAA4C,OAA5C,cAAS,GAAT,EAAmB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAnB,C;EAA2C,C;iBAG5EC,CAAIvB,a,EAAQM,KAAZiB,EAAkC;A,IAA6C,OAA7C,cAAS,IAAT,EAAoB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAApB,C;EAA4C,C;iBAG9EC,CAAIxB,a,EAAQM,KAAZkB,EAAkC;A,IAA4C,OAA5C,cAAS,GAAT,EAAmB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAnB,C;EAA2C,C;gBAI7EC,CAAIzB,a,EAASM,KAAbmB,EAAmC;A,IAA6C,OAA7C,cAAS,IAAT,EAAoB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAApB,C;EAA4C,C;kBAG/EC,CAAI1B,a,EAASM,KAAboB,EAAmC;A,IAA6C,OAA7C,cAAS,IAAT,EAAoB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAApB,C;EAA4C,C;uBAG/EC,CAAI3B,a,EAAcM,KAAlBqB,EACF;A,QAAMvB,IAAQ,IAAK,eAAL,aAAK,C;;IACf,2B;YAAa,YAAO,CAAP,EAAU,IAAM,eAAN,KAAM,CAAhB,K;;MACL,wD;;IACX,U;EAAD,C;gBAIEwB,CAAI5B,a,EAASM,KAAbsB,EAAiC;A,IAAoB,OAApB,iCAAe,KAAf,C;EAAmB,C;6BAG1DD,CAAI3B,a,EAAcM,KAAlBqB,EAA6C;A;;;sBCkyWhC,wBDlyWkE,KCkyWlE,CAAa,MAAb,C;QA2VA,qB;QAAA,OD7nXkE,KC6nXlE,O;WAAb,oBAAa,I,EAAb;A,UAAKE,OD7nX0E,KC6nXlE,mB;MAAA,6C;UD7nXyF,YAAX,IAAG,eC8nXhE,ID9nXgE,C;MC8nX1F,WAAY,GAAI,SAAJ,C;;ID9nXyF,OAA5D,iCAAqB,yBC+nX3D,WD/nX2D,CAArB,C;EAA2D,C;sBAIxGD,CAAI5B,a,EAASM,KAAbsB,EAAwC;A,IAAsB,OAAtB,IAAK,oBAAL,aAAK,EAAW,KAAD,QAAV,C;EAAgB,C;;gBEhJvDE,CAAI9B,a,EAAO+B,UAAXD,EAAoD;A,IAA0C,OAA7B,6BAAG,aAAH,EAAS,IAAW,eAAX,UAAW,CAApB,C;EAA4B,C;mBAG7FA,CAAI9B,a,EAAU+B,UAAdD,EAAuD;A,IAAiD,OAApC,6BAAG,WAAM,aAAN,CAAH,EAAgB,IAAW,eAAX,UAAW,CAA3B,C;EAAmC,C;0BAGpGE,CAAIhC,a,EAAiBiC,IAArBD,EACL;A,QAAM5B,IAAQ,IAAK,eAAL,IAAK,C;;IACf,wB;YAAU,iBAAK,CAAL,C;;MACG,uBAAL,IAAK,iB;;IAChB,U;EAAD,C;kCAGJ8B,CAAIlC,a,EAAyBiC,IAA7BC,EACI;A,QAAM9B,IAAQ,IAAK,eAAL,IAAK,C;;IACf,wB;YAAU,aAAK,IAAY,CAAZ,C;;MACF,uBAAL,IAAK,iB;;IAChB,U;EAAD,C;+BAGK+B,CAAInC,a,EAAsBiC,IAA1BE,EAAgD;A,IAAiB,OAAjB,4CAAY,IAAZ,C;EAAgB,C;oCAGzEC,CAAIpC,a,EAA2BiC,IAA/BG,EAAqD;A,IAAiC,OAAjC,aAAK,IAAc,IAAK,eAAL,IAAK,CAAnB,C;EAA2B,C;;4BCRrFC,CAAqBC,KAArBD,EAA2C;A,IAA4C,OAA5C,cAAS,kBAAT,EAAmC,CAAN,IAAM,eAAN,KAAM,EAAnC,C;EAA2C,C;gBAGtFE,CAASC,IAATD,EAA8B;A,IAA+B,OAA/B,cAAS,MAAT,EAAsB,CAAL,IAAK,eAAL,IAAK,EAAtB,C;EAA8B,C;iBAG5DE,CACID,I,EACAE,K,EACAC,YAHJF,EAIY;A,IAAuE,OAAvE,cAAS,OAAT,EAAuB,CAAL,IAAK,eAAL,IAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,EAA0B,IAAa,eAAb,YAAa,CAAvC,CAAvB,C;EAAsE,C;iBAGlFG,CAAYF,KAAZE,EAAkC;A,IAAiC,OAAjC,cAAS,OAAT,EAAwB,CAAN,IAAM,eAAN,KAAM,EAAxB,C;EAAgC,C;eAGlEC,CAAQL,IAARK,EAA6B;A,IAA8B,OAA9B,cAAS,KAAT,EAAqB,CAAL,IAAK,eAAL,IAAK,EAArB,C;EAA6B,C;eAG1DC,CAAQN,IAARM,EAA6B;A,IAA8B,OAA9B,cAAS,KAAT,EAAqB,CAAL,IAAK,eAAL,IAAK,EAArB,C;EAA6B,C;kBAG1DC,CAAWC,MAAXD,EAAkC;A,IAAmC,OAAnC,cAAS,QAAT,EAA0B,CAAP,IAAO,eAAP,MAAO,EAA1B,C;EAAkC,C;mBAGpEE,CAAYD,MAAZC,EAAmC;A,IAAoC,OAApC,cAAS,SAAT,EAA2B,CAAP,IAAO,eAAP,MAAO,EAA3B,C;EAAmC,C;mBAGtEC,CAAYF,MAAZE,EAAmC;A,IAAoC,OAApC,cAAS,SAAT,EAA2B,CAAP,IAAO,eAAP,MAAO,EAA3B,C;EAAmC,C;eAGtEC,CACIC,K,EACAC,Q,EACAC,QAHJH,EAIY;A,IAAqE,OAArE,cAAS,KAAT,EAAsB,CAAN,IAAM,eAAN,KAAM,GAAU,IAAS,eAAT,QAAS,CAAnB,EAA6B,IAAS,eAAT,QAAS,CAAtC,CAAtB,C;EAAoE,C;gBAGhFI,CAASA,IAATA,EAA8B;A,IAA+B,OAA/B,cAAS,MAAT,EAAsB,CAAL,IAAK,eAAL,IAAK,EAAtB,C;EAA8B,C;kBAG5DC,CAAWA,MAAXA,EAAkC;A,IAAmC,OAAnC,cAAS,QAAT,EAA0B,CAAP,IAAO,eAAP,MAAO,EAA1B,C;EAAkC,C;mBAGpEC,CACIC,G,EACAC,G,EACAC,MAHJH,EAIY;A,IAAgE,OAAhE,cAAS,SAAT,EAAwB,CAAJ,IAAI,eAAJ,GAAI,GAAU,IAAI,eAAJ,GAAI,CAAd,EAAwB,IAAO,eAAP,MAAO,CAA/B,CAAxB,C;EAA+D,C;oBAG3EI,CAAarB,IAAbqB,EAAkC;A,IAAmC,OAAnC,cAAS,UAAT,EAA0B,CAAL,IAAK,eAAL,IAAK,EAA1B,C;EAAkC,C;oBAGpER,CAAaS,MAAbT,EAAoC;A,IAAqC,OAArC,cAAS,UAAT,EAA4B,CAAP,IAAO,eAAP,MAAO,EAA5B,C;EAAoC,C;sBAGxEU,CACIC,U,EACAC,S,EACAC,OAHJH,EAIY;A,IAAiF,OAAjF,cAAS,YAAT,EAAkC,CAAX,IAAW,eAAX,UAAW,GAAU,IAAU,eAAV,SAAU,CAApB,EAA8B,IAAQ,eAAR,OAAQ,CAAtC,CAAlC,C;EAAgF,C;cAG5FI,CACIH,U,EACAC,S,EACAC,OAHJC,EAIY;A,IAAyE,OAAzE,cAAS,IAAT,EAA0B,CAAX,IAAW,eAAX,UAAW,GAAU,IAAU,eAAV,SAAU,CAApB,EAA8B,IAAQ,eAAR,OAAQ,CAAtC,CAA1B,C;EAAwE,C;mBAGpFC,CACIC,Q,EACA7B,I,EACA8B,GAHJF,EAIY;A,IAAmE,OAAnE,cAAS,SAAT,EAA6B,CAAT,IAAS,eAAT,QAAS,GAAU,IAAK,eAAL,IAAK,CAAf,EAAyB,IAAI,eAAJ,GAAI,CAA7B,CAA7B,C;EAAkE,C;iBAG9EG,CAAUX,MAAVW,EAAiC;A,IAAkC,OAAlC,cAAS,OAAT,EAAyB,CAAP,IAAO,eAAP,MAAO,EAAzB,C;EAAiC,C;mBAGlEL,CACIJ,M,EACAI,O,EACAM,KAHJN,EAIY;A,IAAsE,OAAtE,cAAS,SAAT,EAA2B,CAAP,IAAO,eAAP,MAAO,GAAU,IAAQ,eAAR,OAAQ,CAAlB,EAA4B,IAAM,eAAN,KAAM,CAAlC,CAA3B,C;EAAqE,C;kBAGjFO,CAAWxC,IAAXwC,EAAgC;A,IAAiC,OAAjC,cAAS,QAAT,EAAwB,CAAL,IAAK,eAAL,IAAK,EAAxB,C;EAAgC,C;mBAGhEC,CAAYd,MAAZc,EAAmC;A,IAAoC,OAApC,cAAS,SAAT,EAA2B,CAAP,IAAO,eAAP,MAAO,EAA3B,C;EAAmC,C;kBAGtEC,CAAYf,MAAZe,EAAmC;A,IAAoC,OAApC,cAAS,SAAT,EAA2B,CAAP,IAAO,eAAP,MAAO,EAA3B,C;EAAmC,C;kBAGtEC,CAAWhB,MAAXgB,EAAkC;A,IAAmC,OAAnC,cAAS,QAAT,EAA0B,CAAP,IAAO,eAAP,MAAO,EAA1B,C;EAAkC,C;kBAGpEhB,CAAWA,MAAXA,EAAkC;A,IAAmC,OAAnC,cAAS,QAAT,EAA0B,CAAP,IAAO,eAAP,MAAO,EAA1B,C;EAAkC,C;eAGpEiB,CAAU5C,IAAV4C,EAA+B;A,IAA8B,OAA9B,cAAS,KAAT,EAAqB,CAAL,IAAK,eAAL,IAAK,EAArB,C;EAA6B,C;iBAG5DC,CAAU7C,IAAV6C,EAA+B;A,IAAgC,OAAhC,cAAS,OAAT,EAAuB,CAAL,IAAK,eAAL,IAAK,EAAvB,C;EAA+B,C;gBAGxDC,CAAI/E,a,EAASM,KAAbyE,EAAmC;A,IAA8C,OAA9C,cAAS,KAAT,EAAqB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAArB,C;EAA6C,C;cAGhFC,CAAIhF,a,EAAOiF,KAAXD,EAAiC;A,IAA4C,OAA5C,cAAS,GAAT,EAAmB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAnB,C;EAA2C,C;eAG5EE,CAAIlF,a,EAAQiF,KAAZC,EAAkC;A,IAA8C,OAA9C,cAAS,KAAT,EAAqB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAArB,C;EAA6C,C;cAG/EC,CAAInF,a,EAAOiF,KAAXE,EAAiC;A,IAA6C,OAA7C,cAAS,IAAT,EAAoB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAApB,C;EAA4C,C;eAG7EC,CAAIpF,a,EAAQiF,KAAZG,EAAkC;A,IAA+C,OAA/C,cAAS,MAAT,EAAsB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAtB,C;EAA8C,C;mBAGhFC,CAAIrF,a,EAAYiF,KAAhBI,EAAsC;A,IAA8C,OAA9C,cAAS,KAAT,EAAqB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAArB,C;EAA6C,C;oBAGnFC,CAAItF,a,EAAaiF,KAAjBK,EAAuC;A,IAA+C,OAA/C,cAAS,MAAT,EAAsB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAtB,C;EAA8C,C;kBAG3FC,CACI1D,I,EACA2D,IAFJD,EAGY;A,IAAgD,OAAhD,cAAS,QAAT,EAAwB,CAAL,IAAK,eAAL,IAAK,GAAU,IAAK,eAAL,IAAK,CAAf,CAAxB,C;EAA+C,C;mBAG3DE,CAAYzC,MAAZyC,EAAmC;A,IAAoC,OAApC,cAAS,SAAT,EAA2B,CAAP,IAAO,eAAP,MAAO,EAA3B,C;EAAmC,C;kBAGtEC,CACIC,I,EACAV,K,EACAW,MAHJF,EAIY;A,IAAkE,OAAlE,cAAS,QAAT,EAAwB,CAAL,IAAK,eAAL,IAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,EAA0B,IAAO,eAAP,MAAO,CAAjC,CAAxB,C;EAAiE,C;sBAG7EG,CAAe7C,MAAf6C,EAAsC;A,IAAuC,OAAvC,cAAS,YAAT,EAA8B,CAAP,IAAO,eAAP,MAAO,EAA9B,C;EAAsC,C;mBAG5EC,CAAYC,SAAZD,EAAsC;A,IAAuC,OAAvC,cAAS,SAAT,EAA8B,CAAV,IAAU,eAAV,SAAU,EAA9B,C;EAAsC,C;sBAG5EE,CACIzC,I,EACA0C,KAFJD,EAGY;A,IAAqD,OAArD,cAAS,YAAT,EAA4B,CAAL,IAAK,eAAL,IAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAA5B,C;EAAoD,C;sBAGhEE,CACI3C,I,EACA4C,KAFJD,EAGY;A,IAAqD,OAArD,cAAS,YAAT,EAA4B,CAAL,IAAK,eAAL,IAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAA5B,C;EAAoD,C;uBAGhEE,CACIC,K,EACAC,M,EACAV,MAHJQ,EAIY;A,IAAyE,OAAzE,cAAS,aAAT,EAA8B,CAAN,IAAM,eAAN,KAAM,GAAU,IAAO,eAAP,MAAO,CAAjB,EAA2B,IAAO,eAAP,MAAO,CAAlC,CAA9B,C;EAAwE,C;uBAGpFG,CACIhD,I,EACAiD,MAFJD,EAGY;A,IAAuD,OAAvD,cAAS,aAAT,EAA6B,CAAL,IAAK,eAAL,IAAK,GAAU,IAAO,eAAP,MAAO,CAAjB,CAA7B,C;EAAsD,C;qBAGlEE,CACIC,I,EACAC,IAFJF,EAGY;A,IAAmD,OAAnD,cAAS,WAAT,EAA2B,CAAL,IAAK,eAAL,IAAK,GAAU,IAAK,eAAL,IAAK,CAAf,CAA3B,C;EAAkD,C;kBAG9DzD,CACI4D,I,EACAC,IAFJ7D,EAGY;A,IAAgD,OAAhD,cAAS,QAAT,EAAwB,CAAL,IAAK,eAAL,IAAK,GAAU,IAAK,eAAL,IAAK,CAAf,CAAxB,C;EAA+C,C;qBAG3D8D,CACI7E,I,EACA8E,IAFJD,EAGY;A,IAAmD,OAAnD,cAAS,WAAT,EAA2B,CAAL,IAAK,eAAL,IAAK,GAAU,IAAK,eAAL,IAAK,CAAf,CAA3B,C;EAAkD,C;wBAG9DE,CACIC,I,EACAC,KAFJF,EAGY;A,IAAuD,OAAvD,cAAS,cAAT,EAA8B,CAAL,IAAK,eAAL,IAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAA9B,C;EAAsD,C;+BAOlEG,CACIF,I,EACAC,KAFJC,EAGY;A,IAA8D,OAA9D,cAAS,qBAAT,EAAqC,CAAL,IAAK,eAAL,IAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAArC,C;EAA6D,C;oBAGzEC,CACI7D,I,EACA8D,M,EACAb,M,EACAc,K,EACAF,QALJA,EAMY;A,IAAwG,OAAxG,cAAS,UAAT,EAA0B,CAAL,IAAK,eAAL,IAAK,GAAU,IAAO,eAAP,MAAO,CAAjB,EAA2B,IAAO,eAAP,MAAO,CAAlC,EAA4C,IAAM,eAAN,KAAM,CAAlD,EAA4D,IAAS,eAAT,QAAS,CAArE,CAA1B,C;EAAuG,C;wBAGnHG,CACIlB,K,EACAC,MAFJiB,EAGY;A,IAAyD,OAAzD,cAAS,cAAT,EAA+B,CAAN,IAAM,eAAN,KAAM,GAAU,IAAO,eAAP,MAAO,CAAjB,CAA/B,C;EAAwD,C;wBAGpEC,CACInB,K,EACAC,MAFJkB,EAGY;A,IAAyD,OAAzD,cAAS,cAAT,EAA+B,CAAN,IAAM,eAAN,KAAM,GAAU,IAAO,eAAP,MAAO,CAAjB,CAA/B,C;EAAwD,C;iBAGpEC,CACIpD,Q,EACA7B,I,EACA8B,GAHJmD,EAIY;A,IAAiE,OAAjE,cAAS,OAAT,EAA2B,CAAT,IAAS,eAAT,QAAS,GAAU,IAAK,eAAL,IAAK,CAAf,EAAyB,IAAI,eAAJ,GAAI,CAA7B,CAA3B,C;EAAgE,C;iBAG5EC,CACIrD,Q,EACA7B,I,EACA8B,GAHJoD,EAIY;A,IAAiE,OAAjE,cAAS,OAAT,EAA2B,CAAT,IAAS,eAAT,QAAS,GAAU,IAAK,eAAL,IAAK,CAAf,EAAyB,IAAI,eAAJ,GAAI,CAA7B,CAA3B,C;EAAgE,C;mBAG5EC,CAAYC,GAAZD,EAAgC;A,IAAiC,OAAjC,cAAS,SAAT,EAAwB,CAAJ,IAAI,eAAJ,GAAI,EAAxB,C;EAAgC,C;oBAGhEE,CACIZ,I,EACAC,KAFJW,EAGY;A,IAAmD,OAAnD,cAAS,UAAT,EAA0B,CAAL,IAAK,eAAL,IAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAA1B,C;EAAkD,C;2BAO9DC,CACIb,I,EACAC,KAFJY,EAGY;A,IAA0D,OAA1D,cAAS,iBAAT,EAAiC,CAAL,IAAK,eAAL,IAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAjC,C;EAAyD,C;mBAGrEC,CAAYhC,SAAZgC,EAAsC;A,IAAuC,OAAvC,cAAS,SAAT,EAA8B,CAAV,IAAU,eAAV,SAAU,EAA9B,C;EAAsC,C;kBAG5EC,CAAWjC,SAAXiC,EAAqC;A,IAAsC,OAAtC,cAAS,QAAT,EAA6B,CAAV,IAAU,eAAV,SAAU,EAA7B,C;EAAqC,C;iBAG1EC,CAAUzF,IAAVyF,EAA+B;A,IAAgC,OAAhC,cAAS,OAAT,EAAuB,CAAL,IAAK,eAAL,IAAK,EAAvB,C;EAA+B,C;0BAG9DC,CAAmB1F,IAAnB0F,EAAwC;A,IAAyC,OAAzC,cAAS,gBAAT,EAAgC,CAAL,IAAK,eAAL,IAAK,EAAhC,C;EAAwC,C;gBAGhFC,CAASP,GAATO,EAA6B;A,IAA8B,OAA9B,cAAS,MAAT,EAAqB,CAAJ,IAAI,eAAJ,GAAI,EAArB,C;EAA6B,C;mBAG1DC,CAAYR,GAAZQ,EAAgC;A,IAAiC,OAAjC,cAAS,SAAT,EAAwB,CAAJ,IAAI,eAAJ,GAAI,EAAxB,C;EAAgC,C;;uBClSvDC,CAAIrI,a,EACTiC,I,EACAqG,KAFKD,EAGG;A,cAAe,WAAW,qBAAO,KAAP,EAAX,C;IAA6C,OAA5D,sBAAS,aAAT,EAAwC,SAAI,gDAAJ,CAAxC,C;EAA2D,C;sBAGvEE,CACIrE,O,EACAsE,IAFJD,EAGY;A;;sBHg6WC,wBGh6WkB,IHg6WlB,CAAa,MAAb,C;QA2VA,qB;QAAA,OG3vXkB,IH2vXlB,O;WAAb,oBAAa,I,EAAb;A,UAAK1G,OG3vX0B,IH2vXlB,mB;MAAA,6C;UG3vXwC,YAAX,IAAG,eH4vXf,IG5vXe,C;MH4vXzC,WAAY,GAAI,SAAJ,C;;;QI1vXmE,YAAjB,YJ2vX3D,WI3vX2D,C;IDFK,OAA3D,cAAS,OAAT,EAA4C,SAA1B,QAAlB,C;EAA0D,C;qBAGtE4G,CAAYH,KAAZG,EAAwC;A;;sBH65W3B,wBG75WoC,KH65WpC,CAAa,MAAb,C;QA2VA,qB;QAAA,OGxvXoC,KHwvXpC,O;WAAb,oBAAa,I,EAAb;A,UAAK5G,OGxvX4C,KHwvXpC,mB;MAAA,6C;UGxvX2D,YAAX,IAAG,eHyvXlC,IGzvXkC,C;MHyvX5D,WAAY,GAAI,SAAJ,C;;;QI1vXmE,YAAjB,YJ2vX3D,WI3vX2D,C;IDCwB,OAAlD,aAAmC,SAA3B,QAAR,C;EAAiD,C;yBAGzF6G,CAAgBJ,KAAhBI,EAAgD;A;;sBH05WnC,wBG15WqD,KH05WrD,CAAa,MAAb,C;QA2VA,qB;QAAA,OGrvXqD,KHqvXrD,O;WAAb,oBAAa,I,EAAb;A,UAAK7G,OGrvX6D,KHqvXrD,mB;MAAA,6C;UGrvX4E,YAAX,IAAG,eHsvXnD,IGtvXmD,C;MHsvX7E,WAAY,GAAI,SAAJ,C;;;QI1vXmE,YAAjB,YJ2vX3D,WI3vX2D,C;IDIyC,OAA3D,IAAK,aAAuC,SAA3B,QAAZ,C;EAAqD,C;qBAG1G8G,CAAYL,KAAZK,EAAwC;A;;sBHu5W3B,wBGv5WyC,KHu5WzC,CAAa,MAAb,C;QA2VA,qB;QAAA,OGlvXyC,KHkvXzC,O;WAAb,oBAAa,I,EAAb;A,UAAK9G,OGlvXiD,KHkvXzC,mB;MAAA,6C;UGlvXgE,YAAX,IAAG,eHmvXvC,IGnvXuC,C;MHmvXjE,WAAY,GAAI,SAAJ,C;;;QI1vXmE,YAAjB,YJ2vX3D,WI3vX2D,C;IDO6B,OAAvD,IAAK,SAAmC,SAA3B,QAAR,C;EAAiD,C;oBAG9F+G,CAAW3G,IAAX2G,EAA8B;A,cAAO,IAAK,eAAL,IAAK,C;IAAmB,OAA/B,uCAAO,GAAP,e;EAA8B,C;oBAG5DC,CACIjC,I,EACAkC,IAFJD,EAGU;A,IAAoC,OAApC,YAAO,IAAK,eAAL,IAAK,CAAZ,EAAsB,IAAK,eAAL,IAAK,CAA3B,C;EAAmC,C;yBAG7CE,CACI9G,I,EACAqG,KAFJS,EAGe;A,cAAY,IAAK,eAAL,IAAK,C;;;sBHw4WnB,wBGx4W8B,KHw4W9B,CAAa,MAAb,C;QA2VA,qB;QAAA,OGnuX8B,KHmuX9B,O;WAAb,oBAAa,I,EAAb;A,UAAKlH,OGnuXsC,KHmuX9B,mB;MAAA,6C;UGnuXqD,YAAX,IAAG,eHouX5B,IGpuX4B,C;MHouXtD,WAAY,GAAI,SAAJ,C;;;QI1vXmE,YAAjB,YJ2vX3D,WI3vX2D,C;IDsBkB,OAArE,sBAAsD,SAA3B,QAA3B,C;EAAoE,C;oBAGnF/B,CAAckJ,UAAdlJ,EAAwC;A,IAAqB,OAAV,WAAX,eAAW,C;EAAS,C;oBAG5DmJ,CACIC,K,EACAJ,IAFJG,EAII;A;iBAAA,OAAQ,KAAD,QAAP,C;;sBEu/CS,wBAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UADCpH,OAAQ,qB;UFlkDuB,YAAX,IAAG,eEmkDE,IFnkDF,C;MEmkDxB,WAAY,GAAI,SAAJ,C;IAAmB,C;;;IFlkDvB,cAAQ,IAAR,E;YACA,SEkkDL,WFlkDK,EAAyB,IAAK,eAAL,IAAK,CAA9B,C;;YAEA,yBEgkDL,WFhkDK,C;;IAEP,OALG,G;EAKJ,C;sBAVJsH,CACID,K,EACAJ,I,QAFJK,E;2BAEiB,I;;G;eAWjBC,CAASJ,UAATI,EAAwC;A,cAAA,IAAsB,eAAX,WAAX,eAAW,CAAW,C;IAAgB,gCAAtC,GAAsC,c;EAAD,C;oBAM7EC,CAAcL,UAAdK,EACI;A,cAAW,WAAX,eAAW,C;;IAAuE,OAAlF,IAAsB,4CAA0C,kDAA1C,C;EAA2D,C;eAGrFC,CAASN,UAATM,EAAwC;A,cAAW,WAAX,eAAW,C;;IAA6D,OAAxE,IAAsB,4CAAqC,6CAArC,C;EAAiD,C;;;;;;iDGvDxFC,CAFnBC,WAEmBD,E;oBAAAE,CAAA,EAAAA,EAAA;A,MAEI,OAAnB,cAAW,EAAX,YAAW,EAAX,e;IACJ,C;G;2DA8CsCC,CAFhC,MAEgCA,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAAa,OAAX,WAAQ,EAAR,C;IAAY,C;G;sDAiC5BC,CAAAC,EAAAD,E;qBAAAE,C,aAAAA,EAAA;A,aAAA,0B;IAAmB,C;;;G;wDAChBC,CAAAF,EAAAE,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAqB,C;;;G;gEACtBC,CAAAJ,EAAAI,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAA6B,C;;;G;6DACzBC,CAAAN,EAAAM,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAA0B,C;;;G;0DAC1BC,CAAAR,EAAAQ,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAuB,C;;;G;yDAC3BC,CAAAV,EAAAU,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAsB,C;;;G;qDACvBC,CAAAZ,EAAAY,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAkB,C;;;G;wDACfC,CAAAd,EAAAc,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAqB,C;;;G;wDACrBC,CAAAhB,EAAAgB,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAqB,C;;;G;wDAIzBlB,CAAAC,EAAAD,E;qBAAAE,C,aAAAA,EAAA;A,aAAA,0B;IAAmB,C;;;G;0DAChBC,CAAAF,EAAAE,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAqB,C;;;G;kEACtBC,CAAAJ,EAAAI,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAA6B,C;;;G;+DACzBC,CAAAN,EAAAM,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAA0B,C;;;G;4DAC1BC,CAAAR,EAAAQ,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAuB,C;;;G;2DAC3BC,CAAAV,EAAAU,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAsB,C;;;G;uDACvBC,CAAAZ,EAAAY,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAkB,C;;;G;0DACfC,CAAAd,EAAAc,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAqB,C;;;G;+DACvBG,CAAAlB,EAAAkB,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAA4B,C;;;G;oDAC/BC,CAAApB,EAAAoB,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAiB,C;;;G;qDAChBC,CAAAtB,EAAAsB,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAkB,C;;;G;wDAChBC,CAAAxB,EAAAwB,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAqB,C;;;G;8DAClBC,CAAA1B,EAAA0B,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAA2B,C;;;G;oDACjCC,CAAA5B,EAAA4B,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAiB,C;;;G;0DACZb,CAAAhB,EAAAgB,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAqB,C;;;G;+BArHtBa,CACtB7L,KADsB6L,EAAA;A,IAC/B,kB;cAEiE,I;;IAAA,YC0GP,6B;ED7G3B,C;+CACtBC,CAAAA,EAAA;A,IAAA,iB;EAAe,C;+CAIdC,CACN3L,I,EACA4L,UAFMD,EAGR;A,eACE,I,CAAA,K;;gBAAmB,kD;ICkPvB,QDlPe,ICkPf,EAAS,KAAT,C;ED9OA,C;+CAESE,CAAY7E,KAAZ6E,EAA+B;A;;MEsCpC,IFrCe,KEqCf,IAAS,IAAT,C;YACAC,UFtCwB,qB;QEuCxB,MAAM,uCAAiC,SAAR,OAAQ,CAAjC,C;;;;;IFtCF,6B,CAAe;A,MACf,OAAO,K;IACX,C;IACI,wC,CAA0B;A,MAC1B,OAAO,KAAM,S;IACjB,C;QACA9L,+BAAW,KAAXA,C;QACA+L,iBAAqB,cAAW,IAAX,C;IACjB,wBAAkB,IAAlB,E,CAAwB;A,MACxB,OAAO,eAAe,KAAf,C;IACX,C;;QAC+B,oBAAA,IC6WyE,CD7WzE,KC6WyE,KAAQ,I;WD7WjF,qB,EAAY;A,UAAtC,oBAA0B,qB;;UAAzBC,YAAA,iBC8QsD,K;;UD9Q3C/L,YAAA,iBC2R2C,K;MD1RpD,IAAA,SAAU,IAAW,KAAX,CAAV,C,CAA6B;A,QAC7B,OAAO,UAAU,KAAV,C;MACX,C;IACJ,C;IACM,uBAAN,KAAM,kB;EACV,C;mDAxCsB+G,K;;;+CA0CZiF,CAAyBjF,KAAzBiF,EAA2C;A,IAAoB,OAApB,UAAM,SAAQ,KAAR,C;EAAa,C;+CAE9DC,CAAuBlF,KAAvBkF,EAAsC;A,IAAyB,OAAzB,SAAc,WAAN,KAAM,CAAd,C;EAAwB,C;+CAE9DC,CAAiCnF,KAAjCmF,EACN;A;;IAAI,IG2xBgE,wBH3xB9C,KG2xB8C,IH3xBhE,KG2xBgE,CH3xBhE,C;YACA,UAAM,OAAM,KAAN,C;;YAEN,UAAM,QAAO,KAAP,C;;IACT,U;EAAD,C;+CAIMC,CAA8BpF,KAA9BoF,EAAmD;A,IAAkB,OAAlB,UAAM,iBAAM,KAAN,C;EAAW,C;+CAEpEC,CAA2BrF,KAA3BqF,EAAgD;A,IAAmB,OAAnB,UAAM,kBAAO,KAAP,C;EAAY,C;+CAElEC,CAAsBtF,KAAtBsF,EACN;A,cAAA,U;;iBAAqC,sBAAb,WAAN,KAAM,CAAa,C;;sBD8+C5B,wBAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UADC3K,OAAQ,qB;UCzjDqE,YAAX,SD0jDzC,IC1jDyC,C;MD0jDnE,WAAY,GAAI,SAAJ,C;IAAmB,C;IC1jDkD,OAA3E,wBD2jDH,WC3jDG,C;EAA0E,C;+CAE1E4K,CAAyBvF,KAAzBuF,EACN;A,cAAA,U;gBACU,wBAAN,KAAM,C;IACT,OAFK,wBAC4B,WAAI,sDAAJ,CAD5B,C;EAEN,C;+CAEMC,CAAyBxF,KAAzBwF,EACN;A,cAAA,U;;iBACU,sBAAN,KAAM,C;;sBDq+CD,wBAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UADC7K,OAAQ,qB;UChjD0C,YAAX,SDijDd,ICjjDc,C;MDijDxC,WAAY,GAAI,SAAJ,C;IAAmB,C;IChjD9B,OAFK,wBDmjDH,WCnjDG,C;EAEN,C;+CAEM8K,CAAgCzF,KAAhCyF,EACN;A,cAAA,U;;iBACU,wBAAN,KAAM,C;;sBDg+CD,wBAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UADC9K,OAAQ,qB;UC1iDU,YAAX,SD2iDkB,IC3iDlB,C;MD2iDR,WAAY,GAAI,SAAJ,C;IAAmB,C;ICziD9B,OAJK,wBD8iDH,WC9iDG,C;EAIN,C;+CAEM+K,CAAqB1F,KAArB0F,EAAsC;A,cAAA,U;;iBAAoB,sBAAN,KAAM,C;;sBD29CvD,wBAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UADC/K,OAAQ,qB;UCtiDgG,YAAX,SDuiDpE,ICviDoE,C;MDuiD9F,WAAY,GAAI,SAAJ,C;IAAmB,C;ICviD6E,OAA1D,oBDwiD/C,WCxiD+C,C;EAAyD,C;+CAErGgL,CAAsB3F,KAAtB2F,EAA2C;A,IAA0D,OAA1D,UAAM,SAAQ,UAAQ,KAAR,CAAc,KAAd,GAAsB,SAAQ,KAAR,CAAc,MAAd,CAAtB,CAAR,C;EAAmD,C;+CAEpGC,CAAyB5F,KAAzB4F,EACN;A,IAAgF,OAAhF,UAAM,SAAQ,UAAQ,KAAR,CAAc,IAAd,GAAsB,SAAQ,KAAR,CAAc,IAAd,CAAtB,EAA6C,SAAQ,KAAR,CAAc,IAAd,CAA7C,CAAR,C;EAAyE,C;+CAMzEC,CAA+B7F,KAA/B6F,EACN;A,IAA6D,OAA7D,UAAM,UAAS,GAAT,EAAc,UAAQ,KAAM,KAAd,GAAoB,SAAQ,KAAM,KAAd,CAApB,CAAd,C;EAAsD,C;+CAEtDC,CAAqB9F,KAArB8F,EACN;A,cAAA,U;;iBAA4B,sBAAd,KAAM,KAAQ,C;;sBD48CnB,wBAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UADCnL,OAAQ,qB;UCvhD+E,YAA9B,SDwhDhC,ICxhDgC,C;MDwhD1D,WAAY,GAAI,SAAJ,C;IAAmB,C;ICxhD4D,OAArF,oBDyhDH,WCzhDG,C;EAAoF,C;+CAEpFoL,CAAAA,EAA0B;A;IAChC,cAAwB,iDAAxB,C;;IACA,gBAA2B,mDAA3B,C;;IACA,gBAA0B,2DAA1B,C;;IACA,gBAA8B,wDAA9B,C;;IACA,gBAA8B,qDAA9B,C;;IACA,gBAA0B,oDAA1B,C;;IACA,gBAAyB,gDAAzB,C;;IACA,gBAA4B,mDAA5B,C;;IACA,gBAA4B,mDAA5B,C;EACJ,C;+CAEUC,CAAAA,EAAyB;A;IAC/B,cAAwB,mDAAxB,C;;IACA,gBAA2B,qDAA3B,C;;IACA,gBAA0B,6DAA1B,C;;IACA,gBAA8B,0DAA9B,C;;IACA,gBAA8B,uDAA9B,C;;IACA,gBAA0B,sDAA1B,C;;IACA,gBAAyB,kDAAzB,C;;IACA,gBAA4B,qDAA5B,C;;IACA,gBAA0B,0DAA1B,C;;IACA,gBAAuB,+CAAvB,C;;IACA,gBAAwB,gDAAxB,C;;IACA,iBAA0B,mDAA1B,C;;IACA,iBAA6B,yDAA7B,C;;IACA,iBAAuB,+CAAvB,C;;IACA,iBAA4B,qDAA5B,C;EACJ,C;+CAEUC,CAAyBC,KAAzBD,EAAiD;A,IACnD,U,CAAO;A,MACP,U;IACJ,C,MAAO;A,MACH,U;IACJ,C;EACJ,C;;;2BIlIJE,CAAyBrE,UAAzBqE,EAAuE;A,IAAwC,OAAV,WAAR,4BAAQ,C;EAAS,C;iCAUrGC,CAAItN,a,EAA2BuN,OAA/BD,EACL;A,IAAA,MAAM,uCAA0B,iBAA1B,oCAA2C,aAA3C,KAAuD,QAAvD,YAA8D,OAA9D,E;EAAsE,C;oBCR5E3B,CAAAA,EAAA;A,EAAA,C;sCAEI6B,CAAAA,EAAqC;A,IAAI,OAAJ,S;EAAG,C;oCAGxCC,CACI3N,K,EACA4N,Y,EACAC,iBAHJF,EAKI;A,IAIC,OAJD,8BACI,KADJ,EAEQ,YAAa,MAAb,KAAuB,KAAvB,GAA8B,YAA9B,GAAgD,YAAa,KAAK,KAAL,CAFrE,EAGQ,iBAAkB,MAAlB,KAA4B,KAA5B,GAAmC,iBAAnC,GAA0D,iBAAkB,KAAK,KAAL,CAHpF,C;EAIA,C;mCATJG,CACI9N,K,EACA4N,Y,EACAC,iB,QAHJC,E;6BACyB,0B;2CACqB,6BAAQ,KAAR,C;qDACe,yBAAG,KAAH,C;;G;;;;;oCCf7BjC,CAC3B7L,K,EACA4N,Y,EACAC,iBAH2BhC,EAAA;A,IACpC,kB;IACA,yB;IACA,8B;;IJ2BI,MIvBQ,eAAU,IAAkB,CAAlB,KAAkB,MJuBpC,IIvB6C,eAAU,IAAa,CAAb,KAAa,MJuBpE,E,CAAQ;A,UACRK,UIvBI,0F;MJwBJ,MAAM,uCAAiC,SAAR,OAAQ,CAAjC,C;IACV,C;EIjCoC,C;oDAC3BJ,CAAAA,EAAA;A,IAAA,iB;EAAe,C;oDACfiC,CAAAA,EAAA;A,IAAA,iB;EAA6B,C;oDAU7B9G,CAASjH,KAATiH,EACL;A,IAAyF,OAAzF,8BAA0B,KAA1B,EAAiC,IAAa,CAAb,KAAa,KAAK,KAAL,CAA9C,EAA2D,IAAkB,CAAlB,KAAkB,KAAK,KAAL,CAA7E,C;EAAwF,C;oDAEnF+G,CAAAA,EAAwC;A,IAAmB,OAAnB,SAAW,0BAAX,C;EAAkB,C;;;;yDApBvEvF,CAKArE,O,EAAAsE,IALAD,EAAA;A,IAAA,yC;EAAA,C;iEAAAA,CAKArE,O,EAAAsE,IALAD,EAAA;A,IAAA,iD;EAAA,C;iEAAAA,CAKArE,O,EAAAsE,IALAD,EAAA;A,IAAA,iD;EAAA,C;6DAAAA,CAKArE,O,EAAAsE,IALAD,EAAA;A,IAAA,6C;EAAA,C;wDAAAE,CAKAH,KALAG,EAAA;A,IAAA,gC;EAAA,C;gEAAAA,CAKAH,KALAG,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAKAH,KALAG,EAAA;A,IAAA,wC;EAAA,C;4DAAAC,CAKAJ,KALAI,EAAA;A,IAAA,oC;EAAA,C;oEAAAA,CAKAJ,KALAI,EAAA;A,IAAA,4C;EAAA,C;oEAAAA,CAKAJ,KALAI,EAAA;A,IAAA,4C;EAAA,C;wDAAAC,CAKAL,KALAK,EAAA;A,IAAA,gC;EAAA,C;gEAAAA,CAKAL,KALAK,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAKAL,KALAK,EAAA;A,IAAA,wC;EAAA,C;uDAAAC,CAKAhC,IALAgC,EAAA;A,IAAA,8B;EAAA,C;uDAAAC,CAKAjC,I,EAAAkC,IALAD,EAAA;A,IAAA,oC;EAAA,C;4DAAAE,CAKAgF,K,EAAAlH,IALAkC,EAAA;A,IAAA,0C;EAAA,C;4DAAA5G,CAKA6L,QALA7L,EAAA;A,IAAA,uC;EAAA,C;yDAAAA,CAKA6L,QALA7L,EAAA;A,IAAA,oC;EAAA,C;oDAAAH,CAKAgM,QALAhM,EAAA;A,IAAA,+B;EAAA,C;sDAAAiM,CAKAC,MALAD,EAAA;A,IAAA,+B;EAAA,C;qDAAAE,CAKAD,MALAC,EAAA;A,IAAA,8B;EAAA,C;sDAAAC,CAKAnH,IALAmH,EAAA;A,IAAA,6B;EAAA,C;0DAAAA,CAKAnH,IALAmH,EAAA;A,IAAA,iC;EAAA,C;uDAAAC,CAKAnH,KALAmH,EAAA;A,IAAA,+B;EAAA,C;2DAAAA,CAKAnH,KALAmH,EAAA;A,IAAA,mC;EAAA,C;oDAAAC,CAKAhG,K,EAAAiG,IALAD,EAAA;A,IAAA,kC;EAAA,C;oDAAAA,CAKAhG,K,EAAAiG,IALAD,EAAA;A,IAAA,kC;EAAA,C;oDAAAA,CAKAhG,K,EAAAiG,IALAD,EAAA;A,IAAA,kC;EAAA,C;uDAAAE,CAKA5H,I,EAAAmH,K,EAAAlH,IALA2H,EAAA;A,IAAA,2C;EAAA,C;yDAAAC,CAKA7H,I,EAAAC,IALA4H,EAAA;A,IAAA,sC;EAAA,C;4DAAAC,CAKAzH,I,EAAAzC,KALAkK,EAAA;A,IAAA,0C;EAAA,C;qEAAAA,CAKAzH,I,EAAAzC,KALAkK,EAAA;A,IAAA,mD;EAAA,C;0DAAAC,CAAAA,EAAA;A,IAAA,6B;EAAA,C;yDAAAC,CAAAA,EAAA;A,IAAA,4B;EAAA,C;gEAAAC,CAKA3H,KALA2H,EAAA;A,IAAA,wC;EAAA,C;4DAAAA,CAKA3H,KALA2H,EAAA;A,IAAA,oC;EAAA,C;2DAAAA,CAKA3H,KALA2H,EAAA;A,IAAA,mC;EAAA,C;gEAAAA,CAKA3H,KALA2H,EAAA;A,IAAA,wC;EAAA,C;yDAAAA,CAKA3H,KALA2H,EAAA;A,IAAA,iC;EAAA,C;0DAAAA,CAKA3H,KALA2H,EAAA;A,IAAA,kC;EAAA,C;2DAAAA,CAKA3H,KALA2H,EAAA;A,IAAA,mC;EAAA,C;0DAAAA,CAKA3H,KALA2H,EAAA;A,IAAA,kC;EAAA,C;yDAAAA,CAKA3H,KALA2H,EAAA;A,IAAA,iC;EAAA,C;sDAAAA,CAKA3H,KALA2H,EAAA;A,IAAA,8B;EAAA,C;gEAAAC,CAKA5H,KALA4H,EAAA;A,IAAA,wC;EAAA,C;sDAAAA,CAKA5H,KALA4H,EAAA;A,IAAA,8B;EAAA,C;0DAAAA,CAKA5H,KALA4H,EAAA;A,IAAA,kC;EAAA,C;2DAAAA,CAKA5H,KALA4H,EAAA;A,IAAA,mC;EAAA,C;0DAAAA,CAKA5H,KALA4H,EAAA;A,IAAA,kC;EAAA,C;yDAAAA,CAKA5H,KALA4H,EAAA;A,IAAA,iC;EAAA,C;8DAAAA,CAKA5H,K,EAAA6H,KALAD,EAAA;A,IAAA,6C;EAAA,C;iEAAAE,CAKA9H,KALA8H,EAAA;A,IAAA,yC;EAAA,C;uDAAAA,CAKA9H,KALA8H,EAAA;A,IAAA,+B;EAAA,C;4DAAAA,CAKA9H,KALA8H,EAAA;A,IAAA,oC;EAAA,C;0DAAAA,CAKA9H,KALA8H,EAAA;A,IAAA,kC;EAAA,C;wDAAAC,CAKA/H,KALA+H,EAAA;A,IAAA,gC;EAAA,C;0DAAAC,CAKAC,WALAD,EAAA;A,IAAA,wC;EAAA,C;kEAAAA,CAKAC,WALAD,EAAA;A,IAAA,gD;EAAA,C;kEAAAA,CAKAC,WALAD,EAAA;A,IAAA,gD;EAAA,C;+DAAAE,CAKAD,WALAC,EAAA;A,IAAA,6C;EAAA,C;uEAAAA,CAKAD,WALAC,EAAA;A,IAAA,qD;EAAA,C;uEAAAA,CAKAD,WALAC,EAAA;A,IAAA,qD;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;yDAAAC,CAKAC,O,EAAAC,QALAF,EAAA;A,IAAA,6C;EAAA,C;oDAAAG,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;;;;;;;qDTkB4DC,CAH/C,MAG+CA,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAAa,OAAX,MAAG,eAAH,EAAG,C;IAAS,C;G;uDAwDFC,CAAAjG,EAAAiG,E;oBAAAC,C,QAAAA,EAAA;A,MAAA,mC;IAAgB,C;G;kDAGeC,CAAAnG,EAAAmG,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,wB;IAAW,C;;;G;;;sBN5D9GtE,CAAAA,EAAA;A,EAAA,C;0CAGIuE,CAAYpQ,KAAZoQ,EAA0C;A,IAAgC,OAAhC,wBAAoB,KAApB,EAA2B,IAA3B,C;EAA+B,C;yCAIzEC,CAAWrQ,KAAXqQ,EAAyC;A,IAAiC,OAAjC,wBAAoB,KAApB,EAA2B,KAA3B,C;EAAgC,C;;;;;;;8BgBhBhCxE,CAC7C7L,K,EACQsN,KAFqCzB,EAAA;A,6BAFT,K;IAExC,gCAGyB,KAHzB,C;IAEI,kB;IAGI,SAAqB,IAArB,CAAqB,KAArB,C;IAGiB,mC;EARwB,C;8CAU7ByE,CAA0BlJ,KAA1BkJ,EACZ;A;IAAI,IAAA,IAAO,CAAP,KAAO,IAAgB,KAAhB,CAAP,C;YACA,UAAM,iBAAM,IAAO,CAAP,KAAO,IAAgB,KAAhB,CAAb,C;;YAEN,UAAM,kBAAO,IAAO,CAAP,KAAO,IAAgB,KAAhB,CAAd,C;;IACT,U;EAAD,C;8CAEYrJ,CAASjH,KAATiH,EAAuC;A,IAAiC,OAAjC,wBAAoB,KAApB,EAA2B,IAA3B,CAA2B,KAA3B,C;EAAgC,C;gDAdnFjH,K;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
|
|
1
|
+
{"version":3,"sources":["../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/Termificator.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/BaseLogicProgrammingScope.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/LogicProgrammingScopeWithPrologStandardLibrary.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/LogicProgrammingScopeWithOperators.kt","common/src/generated/_Arrays.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/MinimalLogicProgrammingScope.kt","js/src/kotlin/collectionJs.kt","common/src/generated/_Collections.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/LogicProgrammingScopeWithSubstitutions.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/AbstractTermificator.kt","src/kotlin/collections/Maps.kt","src/kotlin/util/Preconditions.kt","src/kotlin/text/Strings.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/DSL.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/LogicProgrammingScope.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/commonMain/kotlin/it/unibo/tuprolog/dsl/LogicProgrammingScopeImpl.kt","../../../../../../../../2p-kt/2p-kt/dsl-core/src/jsMain/kotlin/it/unibo/tuprolog/dsl/DefaultTermificator.js.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null],"ignoreList":[],"x_google_ignoreList":[],"names":["copy$default","scope","toTerm","<this>","toSpecificSubTypeOfTerm","type","converter","t","at_end_of_stream","alias","call","goal","catch","error","continuation","throw","not","naf","assert","clause","asserta","assertz","arg","index","compound","argument","atom","atomic","between","min","max","number","callable","struct","current_op","precedence","specifier","functor","op","findall","template","bag","float","arity","ground","term","integer","natural","nonvar","var","write","univ","other","eq","right","neq","id","nid","arithEq","arithNeq","member","item","list","retract","append","left","result","retractall","abolish","indicator","atom_chars","chars","atom_codes","codes","atom_concat","first","second","atom_length","length","char_code","char","code","head","body","copy_term","copy","current_flag","name","value","current_prolog_flag","sub_atom","before","after","number_chars","number_codes","bagof","setof","consult","url","set_flag","set_prolog_flag","dynamic","static","solve","initialization","load","include","plus","minus","times","div","equalsTo","notEqualsTo","greaterThan","greaterThanOrEqualsTo","nonLowerThan","lowerThan","lowerThanOrEqualsTo","nonGreaterThan","intDiv","rem","and","otherTerm","or","pow","sup","is","then","impliedBy","if","invoke","terms","structOf","args","tupleOf","logicListOf","blockOf","factOf","consOf","tail","directiveOf","function","logicList","items","logicList$default","rule","directive","fact","to","termObject","get","containsKey","contains","containsValue","AbstractTermificator$handleType$lambda","$conversion","AbstractTermificator$handleType$lambda$lambda","AbstractTermificator$handleSequenceAsList$lambda","AbstractTermificator$handleSequenceAsList$lambda$lambda","AbstractTermificator$handleCharAsString$ref","p0","AbstractTermificator$handleCharAsString$ref$lambda","AbstractTermificator$handleBooleanAsTruth$ref","AbstractTermificator$handleBooleanAsTruth$ref$lambda","AbstractTermificator$handleStringAsAtomOrVariable$ref","AbstractTermificator$handleStringAsAtomOrVariable$ref$lambda","AbstractTermificator$handleBigIntegerAsInteger$ref","AbstractTermificator$handleBigIntegerAsInteger$ref$lambda","AbstractTermificator$handleBigDecimalAsReal$ref","AbstractTermificator$handleBigDecimalAsReal$ref$lambda","AbstractTermificator$handleNumberAsNumeric$ref","AbstractTermificator$handleNumberAsNumeric$ref$lambda","AbstractTermificator$handleArrayAsList$ref","AbstractTermificator$handleArrayAsList$ref$lambda","AbstractTermificator$handleSequenceAsList$ref","AbstractTermificator$handleSequenceAsList$ref$lambda","AbstractTermificator$handleIterableAsList$ref","AbstractTermificator$handleIterableAsList$ref$lambda","AbstractTermificator$handleKotlinListAsLogicList$ref","AbstractTermificator$handleKotlinListAsLogicList$ref$lambda","AbstractTermificator$handleSetAsBlock$ref","AbstractTermificator$handleSetAsBlock$ref$lambda","AbstractTermificator$handlePairAsTuple$ref","AbstractTermificator$handlePairAsTuple$ref$lambda","AbstractTermificator$handleTripletAsTuple$ref","AbstractTermificator$handleTripletAsTuple$ref$lambda","AbstractTermificator$handleKeyValuePairAsStruct$ref","AbstractTermificator$handleKeyValuePairAsStruct$ref$lambda","AbstractTermificator$handleMapAsBlock$ref","AbstractTermificator$handleMapAsBlock$ref$lambda","<init>","<get-scope>","handleType","conversion","termify","message","exactConverter","superType","handleBooleanAsTruth","handleCharAsString","handleStringAsAtomOrVariable","handleBigIntegerAsInteger","handleBigDecimalAsReal","handleArrayAsList","handleSequenceAsList","handleIterableAsList","handleKotlinListAsLogicList","handleSetAsBlock","handlePairAsTuple","handleTripletAsTuple","handleKeyValuePairAsStruct","handleMapAsBlock","legacyConfiguration","novelConfiguration","defaultConfiguration","novel","logicProgramming","raiseErrorConvertingTo","class","empty","of","termificator","variablesProvider","of$default","<get-termificator>","newScope","body1","variable","where","lambda","with","varOf","atomOf","logicListFrom","last","ruleOf","clauseOf","indicatorOf","anonymous","whatever","numOf","intOf","radix","realOf","truthOf","unifierOf","assignments","substitutionOf","<get-emptyLogicList>","<get-_>","getValue","thisRef","property","<get-X>","<get-Y>","MinimalLogicProgrammingScope$invoke$lambda","MinimalLogicProgrammingScope$invoke$lambda$lambda","MinimalLogicProgrammingScope$directiveOf$ref","MinimalLogicProgrammingScope$directiveOf$ref$lambda","MinimalLogicProgrammingScope$factOf$ref","MinimalLogicProgrammingScope$factOf$ref$lambda","default","legacy","handleNumberAsNumeric"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;eAeIA,CAASC,K,QAATD,E;6BAAwB,IAAK,M;;G;;;wBCF7BE,CAAIC,aAAJD,EAAyB;A,IAA0B,OAA1B,UAAa,QAAQ,aAAR,C;EAAY,C;yCAIlDE,CAAeD,a,EACXE,I,EACAC,SAFJF,EAGK;A,QACDG,IAAQ,iC;;IAEJ,IAAA,IAAK,IAAW,CAAX,CAAL,C;wBAAsB,C,UAAA,C;;MACtB,2B;cAAe,UAAU,CAAV,C;;QACP,sCAAuB,IAAvB,C;;;IAHZ,U;EAKJ,C;;;4BCFAC,CAAqBC,KAArBD,EAA2C;A,IAA4C,OAA5C,cAAS,kBAAT,EAAmC,CAAN,IAAM,eAAN,KAAM,EAAnC,C;EAA2C,C;gBAGtFE,CAASC,IAATD,EAA8B;A,IAA+B,OAA/B,cAAS,MAAT,EAAsB,CAAL,IAAK,eAAL,IAAK,EAAtB,C;EAA8B,C;iBAG5DE,CACID,I,EACAE,K,EACAC,YAHJF,EAIY;A,IAAuE,OAAvE,cAAS,OAAT,EAAuB,CAAL,IAAK,eAAL,IAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,EAA0B,IAAa,eAAb,YAAa,CAAvC,CAAvB,C;EAAsE,C;iBAGlFG,CAAYF,KAAZE,EAAkC;A,IAAiC,OAAjC,cAAS,OAAT,EAAwB,CAAN,IAAM,eAAN,KAAM,EAAxB,C;EAAgC,C;eAGlEC,CAAQL,IAARK,EAA6B;A,IAA8B,OAA9B,cAAS,KAAT,EAAqB,CAAL,IAAK,eAAL,IAAK,EAArB,C;EAA6B,C;eAG1DC,CAAQN,IAARM,EAA6B;A,IAA8B,OAA9B,cAAS,KAAT,EAAqB,CAAL,IAAK,eAAL,IAAK,EAArB,C;EAA6B,C;kBAG1DC,CAAWC,MAAXD,EAAkC;A,IAAmC,OAAnC,cAAS,QAAT,EAA0B,CAAP,IAAO,eAAP,MAAO,EAA1B,C;EAAkC,C;mBAGpEE,CAAYD,MAAZC,EAAmC;A,IAAoC,OAApC,cAAS,SAAT,EAA2B,CAAP,IAAO,eAAP,MAAO,EAA3B,C;EAAmC,C;mBAGtEC,CAAYF,MAAZE,EAAmC;A,IAAoC,OAApC,cAAS,SAAT,EAA2B,CAAP,IAAO,eAAP,MAAO,EAA3B,C;EAAmC,C;eAGtEC,CACIC,K,EACAC,Q,EACAC,QAHJH,EAIY;A,IAAqE,OAArE,cAAS,KAAT,EAAsB,CAAN,IAAM,eAAN,KAAM,GAAU,IAAS,eAAT,QAAS,CAAnB,EAA6B,IAAS,eAAT,QAAS,CAAtC,CAAtB,C;EAAoE,C;gBAGhFI,CAASA,IAATA,EAA8B;A,IAA+B,OAA/B,cAAS,MAAT,EAAsB,CAAL,IAAK,eAAL,IAAK,EAAtB,C;EAA8B,C;kBAG5DC,CAAWA,MAAXA,EAAkC;A,IAAmC,OAAnC,cAAS,QAAT,EAA0B,CAAP,IAAO,eAAP,MAAO,EAA1B,C;EAAkC,C;mBAGpEC,CACIC,G,EACAC,G,EACAC,MAHJH,EAIY;A,IAAgE,OAAhE,cAAS,SAAT,EAAwB,CAAJ,IAAI,eAAJ,GAAI,GAAU,IAAI,eAAJ,GAAI,CAAd,EAAwB,IAAO,eAAP,MAAO,CAA/B,CAAxB,C;EAA+D,C;oBAG3EI,CAAarB,IAAbqB,EAAkC;A,IAAmC,OAAnC,cAAS,UAAT,EAA0B,CAAL,IAAK,eAAL,IAAK,EAA1B,C;EAAkC,C;oBAGpER,CAAaS,MAAbT,EAAoC;A,IAAqC,OAArC,cAAS,UAAT,EAA4B,CAAP,IAAO,eAAP,MAAO,EAA5B,C;EAAoC,C;sBAGxEU,CACIC,U,EACAC,S,EACAC,OAHJH,EAIY;A,IAAiF,OAAjF,cAAS,YAAT,EAAkC,CAAX,IAAW,eAAX,UAAW,GAAU,IAAU,eAAV,SAAU,CAApB,EAA8B,IAAQ,eAAR,OAAQ,CAAtC,CAAlC,C;EAAgF,C;cAG5FI,CACIH,U,EACAC,S,EACAC,OAHJC,EAIY;A,IAAyE,OAAzE,cAAS,IAAT,EAA0B,CAAX,IAAW,eAAX,UAAW,GAAU,IAAU,eAAV,SAAU,CAApB,EAA8B,IAAQ,eAAR,OAAQ,CAAtC,CAA1B,C;EAAwE,C;mBAGpFC,CACIC,Q,EACA7B,I,EACA8B,GAHJF,EAIY;A,IAAmE,OAAnE,cAAS,SAAT,EAA6B,CAAT,IAAS,eAAT,QAAS,GAAU,IAAK,eAAL,IAAK,CAAf,EAAyB,IAAI,eAAJ,GAAI,CAA7B,CAA7B,C;EAAkE,C;iBAG9EG,CAAUX,MAAVW,EAAiC;A,IAAkC,OAAlC,cAAS,OAAT,EAAyB,CAAP,IAAO,eAAP,MAAO,EAAzB,C;EAAiC,C;mBAGlEL,CACIJ,M,EACAI,O,EACAM,KAHJN,EAIY;A,IAAsE,OAAtE,cAAS,SAAT,EAA2B,CAAP,IAAO,eAAP,MAAO,GAAU,IAAQ,eAAR,OAAQ,CAAlB,EAA4B,IAAM,eAAN,KAAM,CAAlC,CAA3B,C;EAAqE,C;kBAGjFO,CAAWC,IAAXD,EAAgC;A,IAAiC,OAAjC,cAAS,QAAT,EAAwB,CAAL,IAAK,eAAL,IAAK,EAAxB,C;EAAgC,C;mBAGhEE,CAAYf,MAAZe,EAAmC;A,IAAoC,OAApC,cAAS,SAAT,EAA2B,CAAP,IAAO,eAAP,MAAO,EAA3B,C;EAAmC,C;kBAGtEC,CAAYhB,MAAZgB,EAAmC;A,IAAoC,OAApC,cAAS,SAAT,EAA2B,CAAP,IAAO,eAAP,MAAO,EAA3B,C;EAAmC,C;kBAGtEC,CAAWjB,MAAXiB,EAAkC;A,IAAmC,OAAnC,cAAS,QAAT,EAA0B,CAAP,IAAO,eAAP,MAAO,EAA1B,C;EAAkC,C;kBAGpEjB,CAAWA,MAAXA,EAAkC;A,IAAmC,OAAnC,cAAS,QAAT,EAA0B,CAAP,IAAO,eAAP,MAAO,EAA1B,C;EAAkC,C;eAGpEkB,CAAUJ,IAAVI,EAA+B;A,IAA8B,OAA9B,cAAS,KAAT,EAAqB,CAAL,IAAK,eAAL,IAAK,EAArB,C;EAA6B,C;iBAG5DC,CAAUL,IAAVK,EAA+B;A,IAAgC,OAAhC,cAAS,OAAT,EAAuB,CAAL,IAAK,eAAL,IAAK,EAAvB,C;EAA+B,C;gBAGxDC,CAAIhD,a,EAASiD,KAAbD,EAAmC;A,IAA8C,OAA9C,cAAS,KAAT,EAAqB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAArB,C;EAA6C,C;cAGhFE,CAAIlD,a,EAAOmD,KAAXD,EAAiC;A,IAA4C,OAA5C,cAAS,GAAT,EAAmB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAnB,C;EAA2C,C;eAG5EE,CAAIpD,a,EAAQmD,KAAZC,EAAkC;A,IAA8C,OAA9C,cAAS,KAAT,EAAqB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAArB,C;EAA6C,C;cAG/EC,CAAIrD,a,EAAOmD,KAAXE,EAAiC;A,IAA6C,OAA7C,cAAS,IAAT,EAAoB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAApB,C;EAA4C,C;eAG7EC,CAAItD,a,EAAQmD,KAAZG,EAAkC;A,IAA+C,OAA/C,cAAS,MAAT,EAAsB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAtB,C;EAA8C,C;mBAGhFC,CAAIvD,a,EAAYmD,KAAhBI,EAAsC;A,IAA8C,OAA9C,cAAS,KAAT,EAAqB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAArB,C;EAA6C,C;oBAGnFC,CAAIxD,a,EAAamD,KAAjBK,EAAuC;A,IAA+C,OAA/C,cAAS,MAAT,EAAsB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAtB,C;EAA8C,C;kBAG3FC,CACIC,I,EACAC,IAFJF,EAGY;A,IAAgD,OAAhD,cAAS,QAAT,EAAwB,CAAL,IAAK,eAAL,IAAK,GAAU,IAAK,eAAL,IAAK,CAAf,CAAxB,C;EAA+C,C;mBAG3DG,CAAY5C,MAAZ4C,EAAmC;A,IAAoC,OAApC,cAAS,SAAT,EAA2B,CAAP,IAAO,eAAP,MAAO,EAA3B,C;EAAmC,C;kBAGtEC,CACIC,I,EACAX,K,EACAY,MAHJF,EAIY;A,IAAkE,OAAlE,cAAS,QAAT,EAAwB,CAAL,IAAK,eAAL,IAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,EAA0B,IAAO,eAAP,MAAO,CAAjC,CAAxB,C;EAAiE,C;sBAG7EG,CAAehD,MAAfgD,EAAsC;A,IAAuC,OAAvC,cAAS,YAAT,EAA8B,CAAP,IAAO,eAAP,MAAO,EAA9B,C;EAAsC,C;mBAG5EC,CAAYC,SAAZD,EAAsC;A,IAAuC,OAAvC,cAAS,SAAT,EAA8B,CAAV,IAAU,eAAV,SAAU,EAA9B,C;EAAsC,C;sBAG5EE,CACI5C,I,EACA6C,KAFJD,EAGY;A,IAAqD,OAArD,cAAS,YAAT,EAA4B,CAAL,IAAK,eAAL,IAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAA5B,C;EAAoD,C;sBAGhEE,CACI9C,I,EACA+C,KAFJD,EAGY;A,IAAqD,OAArD,cAAS,YAAT,EAA4B,CAAL,IAAK,eAAL,IAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAA5B,C;EAAoD,C;uBAGhEE,CACIC,K,EACAC,M,EACAV,MAHJQ,EAIY;A,IAAyE,OAAzE,cAAS,aAAT,EAA8B,CAAN,IAAM,eAAN,KAAM,GAAU,IAAO,eAAP,MAAO,CAAjB,EAA2B,IAAO,eAAP,MAAO,CAAlC,CAA9B,C;EAAwE,C;uBAGpFG,CACInD,I,EACAoD,MAFJD,EAGY;A,IAAuD,OAAvD,cAAS,aAAT,EAA6B,CAAL,IAAK,eAAL,IAAK,GAAU,IAAO,eAAP,MAAO,CAAjB,CAA7B,C;EAAsD,C;qBAGlEE,CACIC,I,EACAC,IAFJF,EAGY;A,IAAmD,OAAnD,cAAS,WAAT,EAA2B,CAAL,IAAK,eAAL,IAAK,GAAU,IAAK,eAAL,IAAK,CAAf,CAA3B,C;EAAkD,C;kBAG9D5D,CACI+D,I,EACAC,IAFJhE,EAGY;A,IAAgD,OAAhD,cAAS,QAAT,EAAwB,CAAL,IAAK,eAAL,IAAK,GAAU,IAAK,eAAL,IAAK,CAAf,CAAxB,C;EAA+C,C;qBAG3DiE,CACIvC,I,EACAwC,IAFJD,EAGY;A,IAAmD,OAAnD,cAAS,WAAT,EAA2B,CAAL,IAAK,eAAL,IAAK,GAAU,IAAK,eAAL,IAAK,CAAf,CAA3B,C;EAAkD,C;wBAG9DE,CACIC,I,EACAC,KAFJF,EAGY;A,IAAuD,OAAvD,cAAS,cAAT,EAA8B,CAAL,IAAK,eAAL,IAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAA9B,C;EAAsD,C;+BAOlEG,CACIF,I,EACAC,KAFJC,EAGY;A,IAA8D,OAA9D,cAAS,qBAAT,EAAqC,CAAL,IAAK,eAAL,IAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAArC,C;EAA6D,C;oBAGzEC,CACIhE,I,EACAiE,M,EACAb,M,EACAc,K,EACAF,QALJA,EAMY;A,IAAwG,OAAxG,cAAS,UAAT,EAA0B,CAAL,IAAK,eAAL,IAAK,GAAU,IAAO,eAAP,MAAO,CAAjB,EAA2B,IAAO,eAAP,MAAO,CAAlC,EAA4C,IAAM,eAAN,KAAM,CAAlD,EAA4D,IAAS,eAAT,QAAS,CAArE,CAA1B,C;EAAuG,C;wBAGnHG,CACIlB,K,EACAC,MAFJiB,EAGY;A,IAAyD,OAAzD,cAAS,cAAT,EAA+B,CAAN,IAAM,eAAN,KAAM,GAAU,IAAO,eAAP,MAAO,CAAjB,CAA/B,C;EAAwD,C;wBAGpEC,CACInB,K,EACAC,MAFJkB,EAGY;A,IAAyD,OAAzD,cAAS,cAAT,EAA+B,CAAN,IAAM,eAAN,KAAM,GAAU,IAAO,eAAP,MAAO,CAAjB,CAA/B,C;EAAwD,C;iBAGpEC,CACIvD,Q,EACA7B,I,EACA8B,GAHJsD,EAIY;A,IAAiE,OAAjE,cAAS,OAAT,EAA2B,CAAT,IAAS,eAAT,QAAS,GAAU,IAAK,eAAL,IAAK,CAAf,EAAyB,IAAI,eAAJ,GAAI,CAA7B,CAA3B,C;EAAgE,C;iBAG5EC,CACIxD,Q,EACA7B,I,EACA8B,GAHJuD,EAIY;A,IAAiE,OAAjE,cAAS,OAAT,EAA2B,CAAT,IAAS,eAAT,QAAS,GAAU,IAAK,eAAL,IAAK,CAAf,EAAyB,IAAI,eAAJ,GAAI,CAA7B,CAA3B,C;EAAgE,C;mBAG5EC,CAAYC,GAAZD,EAAgC;A,IAAiC,OAAjC,cAAS,SAAT,EAAwB,CAAJ,IAAI,eAAJ,GAAI,EAAxB,C;EAAgC,C;oBAGhEE,CACIZ,I,EACAC,KAFJW,EAGY;A,IAAmD,OAAnD,cAAS,UAAT,EAA0B,CAAL,IAAK,eAAL,IAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAA1B,C;EAAkD,C;2BAO9DC,CACIb,I,EACAC,KAFJY,EAGY;A,IAA0D,OAA1D,cAAS,iBAAT,EAAiC,CAAL,IAAK,eAAL,IAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAjC,C;EAAyD,C;mBAGrEC,CAAYhC,SAAZgC,EAAsC;A,IAAuC,OAAvC,cAAS,SAAT,EAA8B,CAAV,IAAU,eAAV,SAAU,EAA9B,C;EAAsC,C;kBAG5EC,CAAWjC,SAAXiC,EAAqC;A,IAAsC,OAAtC,cAAS,QAAT,EAA6B,CAAV,IAAU,eAAV,SAAU,EAA7B,C;EAAqC,C;iBAG1EC,CAAU5F,IAAV4F,EAA+B;A,IAAgC,OAAhC,cAAS,OAAT,EAAuB,CAAL,IAAK,eAAL,IAAK,EAAvB,C;EAA+B,C;0BAG9DC,CAAmB7F,IAAnB6F,EAAwC;A,IAAyC,OAAzC,cAAS,gBAAT,EAAgC,CAAL,IAAK,eAAL,IAAK,EAAhC,C;EAAwC,C;gBAGhFC,CAASP,GAATO,EAA6B;A,IAA8B,OAA9B,cAAS,MAAT,EAAqB,CAAJ,IAAI,eAAJ,GAAI,EAArB,C;EAA6B,C;mBAG1DC,CAAYR,GAAZQ,EAAgC;A,IAAiC,OAAjC,cAAS,SAAT,EAAwB,CAAJ,IAAI,eAAJ,GAAI,EAAxB,C;EAAgC,C;;mBCrSvDC,CAAIxG,a,EAAUiD,KAAduD,EAAoC;A,IAA4C,OAA5C,cAAS,GAAT,EAAmB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAnB,C;EAA2C,C;iBAG/EA,CAAIxG,a,EAAYiD,KAAhBuD,EAAsC;A,IAAgB,OAAhB,iDAAW,KAAX,C;EAAe,C;sBAGrDA,CAAIxG,a,EAAaiD,KAAjBuD,EAAuC;A,IAAgB,OAAhB,iDAAW,KAAX,C;EAAe,C;mBAGtDA,CAAIxG,a,EAAUiD,KAAduD,EAAoC;A,IAAgB,OAAhB,2DAAW,KAAX,C;EAAe,C;oBAGnDC,CAAIzG,a,EAAWiD,KAAfwD,EAAqC;A,IAA4C,OAA5C,cAAS,GAAT,EAAmB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAnB,C;EAA2C,C;sBAGhFA,CAAIzG,a,EAAaiD,KAAjBwD,EAAuC;A,IAAgB,OAAhB,kDAAW,KAAX,C;EAAe,C;uBAGtDA,CAAIzG,a,EAAciD,KAAlBwD,EAAwC;A,IAAgB,OAAhB,kDAAW,KAAX,C;EAAe,C;oBAGvDA,CAAIzG,a,EAAWiD,KAAfwD,EAAqC;A,IAAgB,OAAhB,4DAAW,KAAX,C;EAAe,C;sBAGpDA,CAAIzG,a,EAAaiD,KAAjBwD,EAAuC;A,IAAgB,OAAhB,kDAAW,KAAX,C;EAAe,C;oBAGtDC,CAAI1G,a,EAAWiD,KAAfyD,EAAqC;A,IAA4C,OAA5C,cAAS,GAAT,EAAmB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAnB,C;EAA2C,C;sBAGhFA,CAAI1G,a,EAAaiD,KAAjByD,EAAuC;A,IAAgB,OAAhB,kDAAW,KAAX,C;EAAe,C;uBAGtDA,CAAI1G,a,EAAciD,KAAlByD,EAAwC;A,IAAgB,OAAhB,kDAAW,KAAX,C;EAAe,C;oBAGvDA,CAAI1G,a,EAAWiD,KAAfyD,EAAqC;A,IAAgB,OAAhB,4DAAW,KAAX,C;EAAe,C;sBAGpDA,CAAI1G,a,EAAaiD,KAAjByD,EAAuC;A,IAAgB,OAAhB,kDAAW,KAAX,C;EAAe,C;kBAGtDC,CAAI3G,a,EAASiD,KAAb0D,EAAsC;A,IAA0C,OAA1C,iBAAY,IAAK,eAAL,aAAK,CAAjB,EAA2B,IAAM,eAAN,KAAM,CAAjC,C;EAAyC,C;oBAG/EA,CAAI3G,a,EAAWiD,KAAf0D,EAAqC;A,IAAgB,OAAhB,gDAAW,KAAX,C;EAAe,C;qBAGpDA,CAAI3G,a,EAAYiD,KAAhB0D,EAAsC;A,IAAgB,OAAhB,gDAAW,KAAX,C;EAAe,C;kBAGrDA,CAAI3G,a,EAASiD,KAAb0D,EAAmC;A,IAAgB,OAAhB,0DAAW,KAAX,C;EAAe,C;oBAGlDA,CAAI3G,a,EAAWiD,KAAf0D,EAAqC;A,IAAgB,OAAhB,gDAAW,KAAX,C;EAAe,C;sBAIvDC,CAAI5G,a,EAAaiD,KAAjB2D,EAAuC;A,IAA4C,OAA5C,cAAS,GAAT,EAAmB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAnB,C;EAA2C,C;yBAGlFC,CAAI7G,a,EAAgBiD,KAApB4D,EAA0C;A,IAA8C,OAA9C,cAAS,KAAT,EAAqB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAArB,C;EAA6C,C;yBAGvFC,CAAI9G,a,EAAgBiD,KAApB6D,EAA0C;A,IAA4C,OAA5C,cAAS,GAAT,EAAmB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAnB,C;EAA2C,C;mCAGrFC,CAAI/G,a,EAA0BiD,KAA9B8D,EAAoD;A,IAA6C,OAA7C,cAAS,IAAT,EAAoB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAApB,C;EAA4C,C;0BAGhGC,CAAIhH,a,EAAiBiD,KAArB+D,EAA2C;A,IAAgC,OAAhC,6CAA2B,KAA3B,C;EAA+B,C;uBAG1EC,CAAIjH,a,EAAciD,KAAlBgE,EAAwC;A,IAA4C,OAA5C,cAAS,GAAT,EAAmB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAnB,C;EAA2C,C;iCAGnFC,CAAIlH,a,EAAwBiD,KAA5BiE,EAAkD;A,IAA6C,OAA7C,cAAS,IAAT,EAAoB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAApB,C;EAA4C,C;4BAG9FC,CAAInH,a,EAAmBiD,KAAvBkE,EAA6C;A,IAA8B,OAA9B,2CAAyB,KAAzB,C;EAA6B,C;oBAG1EC,CAAIpH,a,EAAWiD,KAAfmE,EAAqC;A,IAA6C,OAA7C,cAAS,IAAT,EAAoB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAApB,C;EAA4C,C;kBAGxEC,CAAIrH,a,EAASiD,KAAboE,EAAmC;A,IAA8C,OAA9C,cAAS,KAAT,EAAqB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAArB,C;EAA6C,C;oBAGhFA,CAAIrH,a,EAAWiD,KAAfoE,EAAqC;A,IAAgB,OAAhB,gDAAW,KAAX,C;EAAe,C;qBAGpDA,CAAIrH,a,EAAYiD,KAAhBoE,EAAsC;A,IAAgB,OAAhB,gDAAW,KAAX,C;EAAe,C;kBAGrDA,CAAIrH,a,EAASiD,KAAboE,EAAmC;A,IAAgB,OAAhB,0DAAW,KAAX,C;EAAe,C;oBAGlDA,CAAIrH,a,EAAWiD,KAAfoE,EAAqC;A,IAAgB,OAAhB,gDAAW,KAAX,C;EAAe,C;iBAG7DC,CAAItH,a,EAAQiD,KAAZqE,EACF;A;aAAA,iC;QACIC,YAAgB,IAAM,eAAN,KAAM,C;;IAClB,2B;YACA,qBAAiB,KAAT,EAAG,KAAM,EAAO,SAAP,CAAjB,C;;YAEA,aAAa,CAAL,IAAK,eAAL,aAAK,GAAU,SAAV,CAAb,C;;IAEP,OALG,G;EAKJ,C;gBAGEC,CAAIxH,a,EAAOiD,KAAXuE,EAAiC;A,IAA4C,OAA5C,cAAS,GAAT,EAAmB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAnB,C;EAA2C,C;iBAG5EC,CAAIzH,a,EAAQiD,KAAZwE,EAAkC;A,IAA6C,OAA7C,cAAS,IAAT,EAAoB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAApB,C;EAA4C,C;iBAG9EC,CAAI1H,a,EAAQiD,KAAZyE,EAAkC;A,IAA4C,OAA5C,cAAS,GAAT,EAAmB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAAnB,C;EAA2C,C;gBAI7EC,CAAI3H,a,EAASiD,KAAb0E,EAAmC;A,IAA6C,OAA7C,cAAS,IAAT,EAAoB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAApB,C;EAA4C,C;kBAG/EC,CAAI5H,a,EAASiD,KAAb2E,EAAmC;A,IAA6C,OAA7C,cAAS,IAAT,EAAoB,CAAL,IAAK,eAAL,aAAK,GAAU,IAAM,eAAN,KAAM,CAAhB,CAApB,C;EAA4C,C;uBAG/EC,CAAI7H,a,EAAciD,KAAlB4E,EACF;A,QAAMzH,IAAQ,IAAK,eAAL,aAAK,C;;IACf,2B;YAAa,YAAO,CAAP,EAAU,IAAM,eAAN,KAAM,CAAhB,K;;MACL,wD;;IACX,U;EAAD,C;gBAIE0H,CAAI9H,a,EAASiD,KAAb6E,EAAiC;A,IAAoB,OAApB,iCAAe,KAAf,C;EAAmB,C;6BAG1DD,CAAI7H,a,EAAciD,KAAlB4E,EAA6C;A;;;sBCkyWhC,wBDlyWkE,KCkyWlE,CAAa,MAAb,C;QA2VA,qB;QAAA,OD7nXkE,KC6nXlE,O;WAAb,oBAAa,I,EAAb;A,UAAKnE,OD7nX0E,KC6nXlE,mB;MAAA,6C;UD7nXyF,YAAX,IAAG,eC8nXhE,ID9nXgE,C;MC8nX1F,WAAY,GAAI,SAAJ,C;;ID9nXyF,OAA5D,iCAAqB,yBC+nX3D,WD/nX2D,CAArB,C;EAA2D,C;sBAIxGoE,CAAI9H,a,EAASiD,KAAb6E,EAAwC;A,IAAsB,OAAtB,IAAK,oBAAL,aAAK,EAAW,KAAD,QAAV,C;EAAgB,C;;uBE3IpDC,CAAI/H,a,EACT0C,I,EACAsF,KAFKD,EAGG;A,cAAe,WAAW,qBAAO,KAAP,EAAX,C;IAA6C,OAA5D,sBAAS,aAAT,EAAwC,SAAI,gDAAJ,CAAxC,C;EAA2D,C;sBAGvEE,CACI/F,O,EACAgG,IAFJD,EAGY;A;;sBDg6WC,wBCh6WkB,IDg6WlB,CAAa,MAAb,C;QA2VA,qB;QAAA,OC3vXkB,ID2vXlB,O;WAAb,oBAAa,I,EAAb;A,UAAKvE,OC3vX0B,ID2vXlB,mB;MAAA,6C;UC3vXwC,YAAX,IAAG,eD4vXf,IC5vXe,C;MD4vXzC,WAAY,GAAI,SAAJ,C;;;QE1vXmE,YAAjB,YF2vX3D,WE3vX2D,C;IDFK,OAA3D,cAAS,OAAT,EAA4C,SAA1B,QAAlB,C;EAA0D,C;qBAGtEyE,CAAYH,KAAZG,EAAwC;A;;sBD65W3B,wBC75WoC,KD65WpC,CAAa,MAAb,C;QA2VA,qB;QAAA,OCxvXoC,KDwvXpC,O;WAAb,oBAAa,I,EAAb;A,UAAKzE,OCxvX4C,KDwvXpC,mB;MAAA,6C;UCxvX2D,YAAX,IAAG,eDyvXlC,ICzvXkC,C;MDyvX5D,WAAY,GAAI,SAAJ,C;;;QE1vXmE,YAAjB,YF2vX3D,WE3vX2D,C;IDCwB,OAAlD,aAAmC,SAA3B,QAAR,C;EAAiD,C;yBAGzF0E,CAAgBJ,KAAhBI,EAAgD;A;;sBD05WnC,wBC15WqD,KD05WrD,CAAa,MAAb,C;QA2VA,qB;QAAA,OCrvXqD,KDqvXrD,O;WAAb,oBAAa,I,EAAb;A,UAAK1E,OCrvX6D,KDqvXrD,mB;MAAA,6C;UCrvX4E,YAAX,IAAG,eDsvXnD,ICtvXmD,C;MDsvX7E,WAAY,GAAI,SAAJ,C;;;QE1vXmE,YAAjB,YF2vX3D,WE3vX2D,C;IDIyC,OAA3D,IAAK,aAAuC,SAA3B,QAAZ,C;EAAqD,C;qBAG1G2E,CAAYL,KAAZK,EAAwC;A;;sBDu5W3B,wBCv5WyC,KDu5WzC,CAAa,MAAb,C;QA2VA,qB;QAAA,OClvXyC,KDkvXzC,O;WAAb,oBAAa,I,EAAb;A,UAAK3E,OClvXiD,KDkvXzC,mB;MAAA,6C;UClvXgE,YAAX,IAAG,eDmvXvC,ICnvXuC,C;MDmvXjE,WAAY,GAAI,SAAJ,C;;;QE1vXmE,YAAjB,YF2vX3D,WE3vX2D,C;IDO6B,OAAvD,IAAK,SAAmC,SAA3B,QAAR,C;EAAiD,C;oBAG9F4E,CAAW5F,IAAX4F,EAA8B;A,cAAO,IAAK,eAAL,IAAK,C;IAAmB,OAA/B,uCAAO,GAAP,e;EAA8B,C;oBAG5DC,CACIxD,I,EACAyD,IAFJD,EAGU;A,IAAoC,OAApC,YAAO,IAAK,eAAL,IAAK,CAAZ,EAAsB,IAAK,eAAL,IAAK,CAA3B,C;EAAmC,C;yBAG7CE,CACI/F,I,EACAsF,KAFJS,EAGe;A,cAAY,IAAK,eAAL,IAAK,C;;;sBDw4WnB,wBCx4W8B,KDw4W9B,CAAa,MAAb,C;QA2VA,qB;QAAA,OCnuX8B,KDmuX9B,O;WAAb,oBAAa,I,EAAb;A,UAAK/E,OCnuXsC,KDmuX9B,mB;MAAA,6C;UCnuXqD,YAAX,IAAG,eDouX5B,ICpuX4B,C;MDouXtD,WAAY,GAAI,SAAJ,C;;;QE1vXmE,YAAjB,YF2vX3D,WE3vX2D,C;IDsBkB,OAArE,sBAAsD,SAA3B,QAA3B,C;EAAoE,C;oBAGnF5D,CAAc4I,UAAd5I,EAAwC;A,IAAqB,OAAV,WAAX,eAAW,C;EAAS,C;oBAG5D6I,CACIC,K,EACAJ,IAFJG,EAII;A;iBAAA,OAAQ,KAAD,QAAP,C;;sBEu/CS,wBAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UADCjF,OAAQ,qB;UFlkDuB,YAAX,IAAG,eEmkDE,IFnkDF,C;MEmkDxB,WAAY,GAAI,SAAJ,C;IAAmB,C;;;IFlkDvB,cAAQ,IAAR,E;YACA,SEkkDL,WFlkDK,EAAyB,IAAK,eAAL,IAAK,CAA9B,C;;YAEA,yBEgkDL,WFhkDK,C;;IAEP,OALG,G;EAKJ,C;sBAVJmF,CACID,K,EACAJ,I,QAFJK,E;2BAEiB,I;;G;eAWjBC,CAASJ,UAATI,EAAwC;A,cAAA,IAAsB,eAAX,WAAX,eAAW,CAAW,C;IAAgB,gCAAtC,GAAsC,c;EAAD,C;oBAM7EC,CAAcL,UAAdK,EACI;A,cAAW,WAAX,eAAW,C;;IAAuE,OAAlF,IAAsB,4CAA0C,kDAA1C,C;EAA2D,C;eAGrFC,CAASN,UAATM,EAAwC;A,cAAW,WAAX,eAAW,C;;IAA6D,OAAxE,IAAsB,4CAAqC,6CAArC,C;EAAiD,C;;gBGnEzGC,CAAIjJ,a,EAAOkJ,UAAXD,EAAoD;A,IAA0C,OAA7B,6BAAG,aAAH,EAAS,IAAW,eAAX,UAAW,CAApB,C;EAA4B,C;mBAG7FA,CAAIjJ,a,EAAUkJ,UAAdD,EAAuD;A,IAAiD,OAApC,6BAAG,WAAM,aAAN,CAAH,EAAgB,IAAW,eAAX,UAAW,CAA3B,C;EAAmC,C;0BAGpGE,CAAInJ,a,EAAiB0C,IAArByG,EACL;A,QAAM/I,IAAQ,IAAK,eAAL,IAAK,C;;IACf,wB;YAAU,iBAAK,CAAL,C;;MACG,uBAAL,IAAK,iB;;IAChB,U;EAAD,C;kCAGJgJ,CAAIpJ,a,EAAyB0C,IAA7B0G,EACI;A,QAAMhJ,IAAQ,IAAK,eAAL,IAAK,C;;IACf,wB;YAAU,aAAK,IAAY,CAAZ,C;;MACF,uBAAL,IAAK,iB;;IAChB,U;EAAD,C;+BAGKiJ,CAAIrJ,a,EAAsB0C,IAA1B2G,EAAgD;A,IAAiB,OAAjB,4CAAY,IAAZ,C;EAAgB,C;oCAGzEC,CAAItJ,a,EAA2B0C,IAA/B4G,EAAqD;A,IAAiC,OAAjC,aAAK,IAAc,IAAK,eAAL,IAAK,CAAnB,C;EAA2B,C;;;;;;iDCX9DC,CAFnBC,WAEmBD,E;oBAAAE,CAAA,EAAAA,EAAA;A,MAEI,OAAnB,cAAW,EAAX,YAAW,EAAX,e;IACJ,C;G;2DA8CsCC,CAFhC,MAEgCA,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAAa,OAAX,WAAQ,EAAR,C;IAAY,C;G;sDAiC5BC,CAAAC,EAAAD,E;qBAAAE,C,aAAAA,EAAA;A,aAAA,0B;IAAmB,C;;;G;wDAChBC,CAAAF,EAAAE,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAqB,C;;;G;gEACtBC,CAAAJ,EAAAI,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAA6B,C;;;G;6DACzBC,CAAAN,EAAAM,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAA0B,C;;;G;0DAC1BC,CAAAR,EAAAQ,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAuB,C;;;G;yDAC3BC,CAAAV,EAAAU,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAsB,C;;;G;qDACvBC,CAAAZ,EAAAY,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAkB,C;;;G;wDACfC,CAAAd,EAAAc,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAqB,C;;;G;wDACrBC,CAAAhB,EAAAgB,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAqB,C;;;G;wDAIzBlB,CAAAC,EAAAD,E;qBAAAE,C,aAAAA,EAAA;A,aAAA,0B;IAAmB,C;;;G;0DAChBC,CAAAF,EAAAE,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAqB,C;;;G;kEACtBC,CAAAJ,EAAAI,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAA6B,C;;;G;+DACzBC,CAAAN,EAAAM,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAA0B,C;;;G;4DAC1BC,CAAAR,EAAAQ,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAuB,C;;;G;2DAC3BC,CAAAV,EAAAU,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAsB,C;;;G;uDACvBC,CAAAZ,EAAAY,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAkB,C;;;G;0DACfC,CAAAd,EAAAc,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAqB,C;;;G;+DACvBG,CAAAlB,EAAAkB,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAA4B,C;;;G;oDAC/BC,CAAApB,EAAAoB,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAiB,C;;;G;qDAChBC,CAAAtB,EAAAsB,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAkB,C;;;G;wDAChBC,CAAAxB,EAAAwB,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAqB,C;;;G;8DAClBC,CAAA1B,EAAA0B,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAA2B,C;;;G;oDACjCC,CAAA5B,EAAA4B,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAiB,C;;;G;0DACZb,CAAAhB,EAAAgB,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,qB;IAAqB,C;;;G;+BArHtBa,CACtB7L,KADsB6L,EAAA;A,IAC/B,kB;cAEiE,I;;IAAA,YC0GP,6B;ED7G3B,C;+CACtBC,CAAAA,EAAA;A,IAAA,iB;EAAe,C;+CAIdC,CACN3L,I,EACA4L,UAFMD,EAGR;A,eACE,I,CAAA,K;;gBAAmB,kD;ICkPvB,QDlPe,ICkPf,EAAS,KAAT,C;ED9OA,C;+CAESE,CAAY1G,KAAZ0G,EAA+B;A;;MEsCpC,IFrCe,KEqCf,IAAS,IAAT,C;YACAC,UFtCwB,qB;QEuCxB,MAAM,uCAAiC,SAAR,OAAQ,CAAjC,C;;;;;IFtCF,6B,CAAe;A,MACf,OAAO,K;IACX,C;IACI,wC,CAA0B;A,MAC1B,OAAO,KAAM,S;IACjB,C;QACA9L,+BAAW,KAAXA,C;QACA+L,iBAAqB,cAAW,IAAX,C;IACjB,wBAAkB,IAAlB,E,CAAwB;A,MACxB,OAAO,eAAe,KAAf,C;IACX,C;;QAC+B,oBAAA,IC6WyE,CD7WzE,KC6WyE,KAAQ,I;WD7WjF,qB,EAAY;A,UAAtC,oBAA0B,qB;;UAAzBC,YAAA,iBC8QsD,K;;UD9Q3C/L,YAAA,iBC2R2C,K;MD1RpD,IAAA,SAAU,IAAW,KAAX,CAAV,C,CAA6B;A,QAC7B,OAAO,UAAU,KAAV,C;MACX,C;IACJ,C;IACM,uBAAN,KAAM,kB;EACV,C;mDAxCsBkF,K;;;+CA0CZ8G,CAAyB9G,KAAzB8G,EAA2C;A,IAAoB,OAApB,UAAM,SAAQ,KAAR,C;EAAa,C;+CAE9DC,CAAuB/G,KAAvB+G,EAAsC;A,IAAyB,OAAzB,SAAc,WAAN,KAAM,CAAd,C;EAAwB,C;+CAE9DC,CAAiChH,KAAjCgH,EACN;A;;IAAI,IG2xBgE,wBH3xB9C,KG2xB8C,IH3xBhE,KG2xBgE,CH3xBhE,C;YACA,UAAM,OAAM,KAAN,C;;YAEN,UAAM,QAAO,KAAP,C;;IACT,U;EAAD,C;+CAIMC,CAA8BjH,KAA9BiH,EAAmD;A,IAAkB,OAAlB,UAAM,iBAAM,KAAN,C;EAAW,C;+CAEpEC,CAA2BlH,KAA3BkH,EAAgD;A,IAAmB,OAAnB,UAAM,kBAAO,KAAP,C;EAAY,C;+CAElEC,CAAsBnH,KAAtBmH,EACN;A,cAAA,U;;iBAAqC,sBAAb,WAAN,KAAM,CAAa,C;;sBF8+C5B,wBAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UADC9I,OAAQ,qB;UEzjDqE,YAAX,SF0jDzC,IE1jDyC,C;MF0jDnE,WAAY,GAAI,SAAJ,C;IAAmB,C;IE1jDkD,OAA3E,wBF2jDH,WE3jDG,C;EAA0E,C;+CAE1E+I,CAAyBpH,KAAzBoH,EACN;A,cAAA,U;gBACU,wBAAN,KAAM,C;IACT,OAFK,wBAC4B,WAAI,sDAAJ,CAD5B,C;EAEN,C;+CAEMC,CAAyBrH,KAAzBqH,EACN;A,cAAA,U;;iBACU,sBAAN,KAAM,C;;sBFq+CD,wBAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UADChJ,OAAQ,qB;UEhjD0C,YAAX,SFijDd,IEjjDc,C;MFijDxC,WAAY,GAAI,SAAJ,C;IAAmB,C;IEhjD9B,OAFK,wBFmjDH,WEnjDG,C;EAEN,C;+CAEMiJ,CAAgCtH,KAAhCsH,EACN;A,cAAA,U;;iBACU,wBAAN,KAAM,C;;sBFg+CD,wBAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UADCjJ,OAAQ,qB;UE1iDU,YAAX,SF2iDkB,IE3iDlB,C;MF2iDR,WAAY,GAAI,SAAJ,C;IAAmB,C;IEziD9B,OAJK,wBF8iDH,WE9iDG,C;EAIN,C;+CAEMkJ,CAAqBvH,KAArBuH,EAAsC;A,cAAA,U;;iBAAoB,sBAAN,KAAM,C;;sBF29CvD,wBAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UADClJ,OAAQ,qB;UEtiDgG,YAAX,SFuiDpE,IEviDoE,C;MFuiD9F,WAAY,GAAI,SAAJ,C;IAAmB,C;IEviD6E,OAA1D,oBFwiD/C,WExiD+C,C;EAAyD,C;+CAErGmJ,CAAsBxH,KAAtBwH,EAA2C;A,IAA0D,OAA1D,UAAM,SAAQ,UAAQ,KAAR,CAAc,KAAd,GAAsB,SAAQ,KAAR,CAAc,MAAd,CAAtB,CAAR,C;EAAmD,C;+CAEpGC,CAAyBzH,KAAzByH,EACN;A,IAAgF,OAAhF,UAAM,SAAQ,UAAQ,KAAR,CAAc,IAAd,GAAsB,SAAQ,KAAR,CAAc,IAAd,CAAtB,EAA6C,SAAQ,KAAR,CAAc,IAAd,CAA7C,CAAR,C;EAAyE,C;+CAMzEC,CAA+B1H,KAA/B0H,EACN;A,IAA6D,OAA7D,UAAM,UAAS,GAAT,EAAc,UAAQ,KAAM,KAAd,GAAoB,SAAQ,KAAM,KAAd,CAApB,CAAd,C;EAAsD,C;+CAEtDC,CAAqB3H,KAArB2H,EACN;A,cAAA,U;;iBAA4B,sBAAd,KAAM,KAAQ,C;;sBF48CnB,wBAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UADCtJ,OAAQ,qB;UEvhD+E,YAA9B,SFwhDhC,IExhDgC,C;MFwhD1D,WAAY,GAAI,SAAJ,C;IAAmB,C;IExhD4D,OAArF,oBFyhDH,WEzhDG,C;EAAoF,C;+CAEpFuJ,CAAAA,EAA0B;A;IAChC,cAAwB,iDAAxB,C;;IACA,gBAA2B,mDAA3B,C;;IACA,gBAA0B,2DAA1B,C;;IACA,gBAA8B,wDAA9B,C;;IACA,gBAA8B,qDAA9B,C;;IACA,gBAA0B,oDAA1B,C;;IACA,gBAAyB,gDAAzB,C;;IACA,gBAA4B,mDAA5B,C;;IACA,gBAA4B,mDAA5B,C;EACJ,C;+CAEUC,CAAAA,EAAyB;A;IAC/B,cAAwB,mDAAxB,C;;IACA,gBAA2B,qDAA3B,C;;IACA,gBAA0B,6DAA1B,C;;IACA,gBAA8B,0DAA9B,C;;IACA,gBAA8B,uDAA9B,C;;IACA,gBAA0B,sDAA1B,C;;IACA,gBAAyB,kDAAzB,C;;IACA,gBAA4B,qDAA5B,C;;IACA,gBAA0B,0DAA1B,C;;IACA,gBAAuB,+CAAvB,C;;IACA,gBAAwB,gDAAxB,C;;IACA,iBAA0B,mDAA1B,C;;IACA,iBAA6B,yDAA7B,C;;IACA,iBAAuB,+CAAvB,C;;IACA,iBAA4B,qDAA5B,C;EACJ,C;+CAEUC,CAAyBC,KAAzBD,EAAiD;A,IACnD,U,CAAO;A,MACP,U;IACJ,C,MAAO;A,MACH,U;IACJ,C;EACJ,C;;;2BIlIJE,CAAyB3E,UAAzB2E,EAAuE;A,IAAwC,OAAV,WAAR,4BAAQ,C;EAAS,C;iCAUrGC,CAAItN,a,EAA2BuN,OAA/BD,EACL;A,IAAA,MAAM,uCAA0B,iBAA1B,oCAA2C,aAA3C,KAAuD,QAAvD,YAA8D,OAA9D,E;EAAsE,C;oBCR5E3B,CAAAA,EAAA;A,EAAA,C;sCAEI6B,CAAAA,EAAqC;A,IAAI,OAAJ,S;EAAG,C;oCAGxCC,CACI3N,K,EACA4N,Y,EACAC,iBAHJF,EAKI;A,IAIC,OAJD,8BACI,KADJ,EAEQ,YAAa,MAAb,KAAuB,KAAvB,GAA8B,YAA9B,GAAgD,YAAa,KAAK,KAAL,CAFrE,EAGQ,iBAAkB,MAAlB,KAA4B,KAA5B,GAAmC,iBAAnC,GAA0D,iBAAkB,KAAK,KAAL,CAHpF,C;EAIA,C;mCATJG,CACI9N,K,EACA4N,Y,EACAC,iB,QAHJC,E;6BACyB,0B;2CACqB,6BAAQ,KAAR,C;qDACe,yBAAG,KAAH,C;;G;;;;;oCCf7BjC,CAC3B7L,K,EACA4N,Y,EACAC,iBAH2BhC,EAAA;A,IACpC,kB;IACA,yB;IACA,8B;;IJ2BI,MIvBQ,eAAU,IAAkB,CAAlB,KAAkB,MJuBpC,IIvB6C,eAAU,IAAa,CAAb,KAAa,MJuBpE,E,CAAQ;A,UACRK,UIvBI,0F;MJwBJ,MAAM,uCAAiC,SAAR,OAAQ,CAAjC,C;IACV,C;EIjCoC,C;oDAC3BJ,CAAAA,EAAA;A,IAAA,iB;EAAe,C;oDACfiC,CAAAA,EAAA;A,IAAA,iB;EAA6B,C;oDAU7B3I,CAASpF,KAAToF,EACL;A,IAAyF,OAAzF,8BAA0B,KAA1B,EAAiC,IAAa,CAAb,KAAa,KAAK,KAAL,CAA9C,EAA2D,IAAkB,CAAlB,KAAkB,KAAK,KAAL,CAA7E,C;EAAwF,C;oDAEnF4I,CAAAA,EAAwC;A,IAAmB,OAAnB,SAAW,0BAAX,C;EAAkB,C;;;;yDApBvE7F,CAKA/F,O,EAAAgG,IALAD,EAAA;A,IAAA,yC;EAAA,C;iEAAAA,CAKA/F,O,EAAAgG,IALAD,EAAA;A,IAAA,iD;EAAA,C;iEAAAA,CAKA/F,O,EAAAgG,IALAD,EAAA;A,IAAA,iD;EAAA,C;6DAAAA,CAKA/F,O,EAAAgG,IALAD,EAAA;A,IAAA,6C;EAAA,C;wDAAAE,CAKAH,KALAG,EAAA;A,IAAA,gC;EAAA,C;gEAAAA,CAKAH,KALAG,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAKAH,KALAG,EAAA;A,IAAA,wC;EAAA,C;4DAAAC,CAKAJ,KALAI,EAAA;A,IAAA,oC;EAAA,C;oEAAAA,CAKAJ,KALAI,EAAA;A,IAAA,4C;EAAA,C;oEAAAA,CAKAJ,KALAI,EAAA;A,IAAA,4C;EAAA,C;wDAAAC,CAKAL,KALAK,EAAA;A,IAAA,gC;EAAA,C;gEAAAA,CAKAL,KALAK,EAAA;A,IAAA,wC;EAAA,C;gEAAAA,CAKAL,KALAK,EAAA;A,IAAA,wC;EAAA,C;uDAAAC,CAKAvD,IALAuD,EAAA;A,IAAA,8B;EAAA,C;uDAAAC,CAKAxD,I,EAAAyD,IALAD,EAAA;A,IAAA,oC;EAAA,C;4DAAAE,CAKAsF,K,EAAA/I,IALAyD,EAAA;A,IAAA,0C;EAAA,C;4DAAAY,CAKA2E,QALA3E,EAAA;A,IAAA,uC;EAAA,C;yDAAAA,CAKA2E,QALA3E,EAAA;A,IAAA,oC;EAAA,C;oDAAAF,CAKA6E,QALA7E,EAAA;A,IAAA,+B;EAAA,C;sDAAA8E,CAKAC,MALAD,EAAA;A,IAAA,+B;EAAA,C;qDAAAE,CAKAD,MALAC,EAAA;A,IAAA,8B;EAAA,C;sDAAAC,CAKAhJ,IALAgJ,EAAA;A,IAAA,6B;EAAA,C;0DAAAA,CAKAhJ,IALAgJ,EAAA;A,IAAA,iC;EAAA,C;uDAAAC,CAKAhJ,KALAgJ,EAAA;A,IAAA,+B;EAAA,C;2DAAAA,CAKAhJ,KALAgJ,EAAA;A,IAAA,mC;EAAA,C;oDAAAC,CAKAtG,K,EAAAuG,IALAD,EAAA;A,IAAA,kC;EAAA,C;oDAAAA,CAKAtG,K,EAAAuG,IALAD,EAAA;A,IAAA,kC;EAAA,C;oDAAAA,CAKAtG,K,EAAAuG,IALAD,EAAA;A,IAAA,kC;EAAA,C;uDAAAE,CAKAzJ,I,EAAAgJ,K,EAAA/I,IALAwJ,EAAA;A,IAAA,2C;EAAA,C;yDAAAC,CAKA1J,I,EAAAC,IALAyJ,EAAA;A,IAAA,sC;EAAA,C;4DAAAC,CAKAtJ,I,EAAA5C,KALAkM,EAAA;A,IAAA,0C;EAAA,C;qEAAAA,CAKAtJ,I,EAAA5C,KALAkM,EAAA;A,IAAA,mD;EAAA,C;0DAAAC,CAAAA,EAAA;A,IAAA,6B;EAAA,C;yDAAAC,CAAAA,EAAA;A,IAAA,4B;EAAA,C;gEAAAC,CAKAxJ,KALAwJ,EAAA;A,IAAA,wC;EAAA,C;4DAAAA,CAKAxJ,KALAwJ,EAAA;A,IAAA,oC;EAAA,C;2DAAAA,CAKAxJ,KALAwJ,EAAA;A,IAAA,mC;EAAA,C;gEAAAA,CAKAxJ,KALAwJ,EAAA;A,IAAA,wC;EAAA,C;yDAAAA,CAKAxJ,KALAwJ,EAAA;A,IAAA,iC;EAAA,C;0DAAAA,CAKAxJ,KALAwJ,EAAA;A,IAAA,kC;EAAA,C;2DAAAA,CAKAxJ,KALAwJ,EAAA;A,IAAA,mC;EAAA,C;0DAAAA,CAKAxJ,KALAwJ,EAAA;A,IAAA,kC;EAAA,C;yDAAAA,CAKAxJ,KALAwJ,EAAA;A,IAAA,iC;EAAA,C;sDAAAA,CAKAxJ,KALAwJ,EAAA;A,IAAA,8B;EAAA,C;gEAAAC,CAKAzJ,KALAyJ,EAAA;A,IAAA,wC;EAAA,C;sDAAAA,CAKAzJ,KALAyJ,EAAA;A,IAAA,8B;EAAA,C;0DAAAA,CAKAzJ,KALAyJ,EAAA;A,IAAA,kC;EAAA,C;2DAAAA,CAKAzJ,KALAyJ,EAAA;A,IAAA,mC;EAAA,C;0DAAAA,CAKAzJ,KALAyJ,EAAA;A,IAAA,kC;EAAA,C;yDAAAA,CAKAzJ,KALAyJ,EAAA;A,IAAA,iC;EAAA,C;8DAAAA,CAKAzJ,K,EAAA0J,KALAD,EAAA;A,IAAA,6C;EAAA,C;iEAAAE,CAKA3J,KALA2J,EAAA;A,IAAA,yC;EAAA,C;uDAAAA,CAKA3J,KALA2J,EAAA;A,IAAA,+B;EAAA,C;4DAAAA,CAKA3J,KALA2J,EAAA;A,IAAA,oC;EAAA,C;0DAAAA,CAKA3J,KALA2J,EAAA;A,IAAA,kC;EAAA,C;wDAAAC,CAKA5J,KALA4J,EAAA;A,IAAA,gC;EAAA,C;0DAAAC,CAKAC,WALAD,EAAA;A,IAAA,wC;EAAA,C;kEAAAA,CAKAC,WALAD,EAAA;A,IAAA,gD;EAAA,C;kEAAAA,CAKAC,WALAD,EAAA;A,IAAA,gD;EAAA,C;+DAAAE,CAKAD,WALAC,EAAA;A,IAAA,6C;EAAA,C;uEAAAA,CAKAD,WALAC,EAAA;A,IAAA,qD;EAAA,C;uEAAAA,CAKAD,WALAC,EAAA;A,IAAA,qD;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;yDAAAC,CAKAC,O,EAAAC,QALAF,EAAA;A,IAAA,6C;EAAA,C;oDAAAG,CAAAA,EAAA;A,IAAA,uB;EAAA,C;oDAAAC,CAAAA,EAAA;A,IAAA,uB;EAAA,C;;;;;;;qDVkB4DC,CAH/C,MAG+CA,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAAa,OAAX,MAAG,eAAH,EAAG,C;IAAS,C;G;uDAwDFC,CAAAjG,EAAAiG,E;oBAAAC,C,QAAAA,EAAA;A,MAAA,mC;IAAgB,C;G;kDAGeC,CAAAnG,EAAAmG,E;qBAAAC,C,aAAAA,EAAA;A,aAAA,wB;IAAW,C;;;G;;;sBL5D9GtE,CAAAA,EAAA;A,EAAA,C;0CAGIuE,CAAYpQ,KAAZoQ,EAA0C;A,IAAgC,OAAhC,wBAAoB,KAApB,EAA2B,IAA3B,C;EAA+B,C;yCAIzEC,CAAWrQ,KAAXqQ,EAAyC;A,IAAiC,OAAjC,wBAAoB,KAApB,EAA2B,KAA3B,C;EAAgC,C;;;;;;;8BgBhBhCxE,CAC7C7L,K,EACQsN,KAFqCzB,EAAA;A,6BAFT,K;IAExC,gCAGyB,KAHzB,C;IAEI,kB;IAGI,SAAqB,IAArB,CAAqB,KAArB,C;IAGiB,mC;EARwB,C;8CAU7ByE,CAA0B/K,KAA1B+K,EACZ;A;IAAI,IAAA,IAAO,CAAP,KAAO,IAAgB,KAAhB,CAAP,C;YACA,UAAM,iBAAM,IAAO,CAAP,KAAO,IAAgB,KAAhB,CAAb,C;;YAEN,UAAM,kBAAO,IAAO,CAAP,KAAO,IAAgB,KAAhB,CAAd,C;;IACT,U;EAAD,C;8CAEYlL,CAASpF,KAAToF,EAAuC;A,IAAiC,OAAjC,wBAAoB,KAApB,EAA2B,IAA3B,CAA2B,KAA3B,C;EAAgC,C;gDAdnFpF,K;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}
|
package/2p-dsl-solve.js
CHANGED
|
@@ -196,14 +196,14 @@
|
|
|
196
196
|
var mutableTheory = kotlin_it_unibo_tuprolog_dsl_theory.$_$.c;
|
|
197
197
|
var mutableTheoryOfConcatenatedSequences = kotlin_it_unibo_tuprolog_dsl_theory.$_$.a;
|
|
198
198
|
var mutableTheoryOfConcatenatedIterables = kotlin_it_unibo_tuprolog_dsl_theory.$_$.b;
|
|
199
|
+
var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
|
|
199
200
|
var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
|
|
200
|
-
var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
|
|
201
201
|
var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
|
|
202
|
-
var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
|
|
203
|
-
var Scope = kotlin_it_unibo_tuprolog_core.$_$.r1;
|
|
204
|
-
var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
|
|
205
|
-
var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
|
|
206
202
|
var LogicProgrammingScopeWithTheories = kotlin_it_unibo_tuprolog_dsl_theory.$_$.h;
|
|
203
|
+
var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
|
|
204
|
+
var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
|
|
205
|
+
var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
|
|
206
|
+
var Scope = kotlin_it_unibo_tuprolog_core.$_$.r1;
|
|
207
207
|
var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
|
|
208
208
|
var TheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.f;
|
|
209
209
|
var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.t2;
|
|
@@ -251,8 +251,8 @@
|
|
|
251
251
|
function dynamicKbByTheory(theory) {
|
|
252
252
|
return this.p2z().loadDynamicKb(theory);
|
|
253
253
|
}
|
|
254
|
-
initMetadataForInterface(LogicProgrammingScopeWithResolution, 'LogicProgrammingScopeWithResolution', VOID, VOID, [
|
|
255
|
-
initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [
|
|
254
|
+
initMetadataForInterface(LogicProgrammingScopeWithResolution, 'LogicProgrammingScopeWithResolution', VOID, VOID, [BaseLogicProgrammingScope, Unificator, MutableSolver]);
|
|
255
|
+
initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [LogicProgrammingScopeWithPrologStandardLibrary, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithUnification, LogicProgrammingScopeWithTheories, MinimalLogicProgrammingScope, LogicProgrammingScopeWithSubstitutions, BaseLogicProgrammingScope, Scope, LogicProgrammingScopeWithResolution, Unificator, TheoryFactory, MutableSolver]);
|
|
256
256
|
//endregion
|
|
257
257
|
function prolog(unificator, function_0) {
|
|
258
258
|
unificator = unificator === VOID ? Companion_getInstance().n1w().t1w() : unificator;
|
package/2p-dsl-theory.js
CHANGED
|
@@ -179,13 +179,13 @@
|
|
|
179
179
|
var matchAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.a;
|
|
180
180
|
var unify = kotlin_it_unibo_tuprolog_dsl_unify.$_$.i;
|
|
181
181
|
var unifyAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.c;
|
|
182
|
+
var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
|
|
182
183
|
var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
|
|
183
|
-
var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
|
|
184
184
|
var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
|
|
185
|
-
var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
|
|
186
|
-
var Scope = kotlin_it_unibo_tuprolog_core.$_$.r1;
|
|
187
|
-
var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
|
|
188
185
|
var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
|
|
186
|
+
var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
|
|
187
|
+
var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
|
|
188
|
+
var Scope = kotlin_it_unibo_tuprolog_core.$_$.r1;
|
|
189
189
|
var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
|
|
190
190
|
var TheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.f;
|
|
191
191
|
var initMetadataForClass = kotlin_kotlin.$_$.a6;
|
|
@@ -268,8 +268,8 @@
|
|
|
268
268
|
function mutableTheoryOfConcatenatedIterables(clauses, otherClauses) {
|
|
269
269
|
return this.mutableTheoryOfIterable(flatten(listOf(arrayConcat([[clauses], otherClauses]))));
|
|
270
270
|
}
|
|
271
|
-
initMetadataForInterface(LogicProgrammingScopeWithTheories, 'LogicProgrammingScopeWithTheories', VOID, VOID, [
|
|
272
|
-
initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [
|
|
271
|
+
initMetadataForInterface(LogicProgrammingScopeWithTheories, 'LogicProgrammingScopeWithTheories', VOID, VOID, [BaseLogicProgrammingScope, Unificator, TheoryFactory]);
|
|
272
|
+
initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [LogicProgrammingScopeWithPrologStandardLibrary, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithUnification, LogicProgrammingScopeWithTheories, MinimalLogicProgrammingScope, LogicProgrammingScopeWithSubstitutions, BaseLogicProgrammingScope, Scope, Unificator, TheoryFactory]);
|
|
273
273
|
//endregion
|
|
274
274
|
function logicProgramming(unificator, function_0) {
|
|
275
275
|
unificator = unificator === VOID ? Companion_getInstance_0().w2y_1 : unificator;
|