@tuprolog/arg2p 0.14.1 → 0.15.0
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-core.js +102 -102
- package/2p-dsl-core.js +209 -209
- package/2p-dsl-core.js.map +1 -1
- package/2p-dsl-solve.js +15 -15
- package/2p-dsl-theory.js +17 -17
- package/2p-dsl-unify.js +11 -11
- package/2p-parser-core.js +30 -30
- package/2p-parser-js.js +1 -1
- package/2p-parser-theory.js +6 -6
- package/2p-solve-classic.js +51 -51
- package/2p-solve.js +128 -128
- package/2p-theory.js +60 -60
- package/2p-unify.js +21 -21
- package/2p-utils.js +43 -43
- package/arg2p-causality-solver.js +437 -153
- package/arg2p-causality-solver.js.map +1 -1
- package/arg2p-core.js +63 -63
- package/arg2p-core.js.map +1 -1
- package/arg2p.js +43 -43
- package/kotlin-kotlin-stdlib.js +255 -242
- package/kotlin-kotlin-stdlib.js.map +1 -1
- package/kt-math.js +72 -72
- package/package.json +1 -1
package/arg2p.js
CHANGED
|
@@ -40,17 +40,17 @@
|
|
|
40
40
|
'use strict';
|
|
41
41
|
//region block: imports
|
|
42
42
|
var imul = Math.imul;
|
|
43
|
-
var protoOf = kotlin_kotlin.$_$.
|
|
43
|
+
var protoOf = kotlin_kotlin.$_$.o6;
|
|
44
44
|
var VOID = kotlin_kotlin.$_$.b;
|
|
45
|
-
var getStringHashCode = kotlin_kotlin.$_$.
|
|
46
|
-
var initMetadataForClass = kotlin_kotlin.$_$.
|
|
47
|
-
var toString = kotlin_kotlin.$_$.
|
|
48
|
-
var hashCode = kotlin_kotlin.$_$.
|
|
49
|
-
var equals = kotlin_kotlin.$_$.
|
|
45
|
+
var getStringHashCode = kotlin_kotlin.$_$.z5;
|
|
46
|
+
var initMetadataForClass = kotlin_kotlin.$_$.b6;
|
|
47
|
+
var toString = kotlin_kotlin.$_$.cb;
|
|
48
|
+
var hashCode = kotlin_kotlin.$_$.a6;
|
|
49
|
+
var equals = kotlin_kotlin.$_$.v5;
|
|
50
50
|
var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.x;
|
|
51
|
-
var toString_0 = kotlin_kotlin.$_$.
|
|
52
|
-
var getKClassFromExpression = kotlin_kotlin.$_$.
|
|
53
|
-
var THROW_CCE = kotlin_kotlin.$_$.
|
|
51
|
+
var toString_0 = kotlin_kotlin.$_$.r6;
|
|
52
|
+
var getKClassFromExpression = kotlin_kotlin.$_$.f7;
|
|
53
|
+
var THROW_CCE = kotlin_kotlin.$_$.ra;
|
|
54
54
|
var Unit_instance = kotlin_kotlin.$_$.l1;
|
|
55
55
|
var contentEquals = kotlin_kotlin.$_$.f2;
|
|
56
56
|
var contentHashCode = kotlin_kotlin.$_$.g2;
|
|
@@ -65,21 +65,21 @@
|
|
|
65
65
|
var ClassicSolverFactory_instance = kotlin_it_unibo_tuprolog_solve_classic.$_$.a;
|
|
66
66
|
var Companion_instance_0 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.c;
|
|
67
67
|
var CausalitySolver = kotlin_it_unibo_tuprolog_argumentation_causality_solver.$_$.a;
|
|
68
|
-
var listOf = kotlin_kotlin.$_$.
|
|
68
|
+
var listOf = kotlin_kotlin.$_$.e3;
|
|
69
69
|
var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g1;
|
|
70
70
|
var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f1;
|
|
71
71
|
var Companion_instance_1 = kotlin_it_unibo_tuprolog_solve.$_$.s;
|
|
72
|
-
var toInt = kotlin_kotlin.$_$.
|
|
73
|
-
var filter = kotlin_kotlin.$_$.
|
|
74
|
-
var map = kotlin_kotlin.$_$.
|
|
75
|
-
var first = kotlin_kotlin.$_$.
|
|
76
|
-
var ensureNotNull = kotlin_kotlin.$_$.
|
|
72
|
+
var toInt = kotlin_kotlin.$_$.z9;
|
|
73
|
+
var filter = kotlin_kotlin.$_$.v7;
|
|
74
|
+
var map = kotlin_kotlin.$_$.h8;
|
|
75
|
+
var first = kotlin_kotlin.$_$.x7;
|
|
76
|
+
var ensureNotNull = kotlin_kotlin.$_$.va;
|
|
77
77
|
var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.u;
|
|
78
78
|
var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.f;
|
|
79
79
|
var parseTheoryWithOperators = kotlin_it_unibo_tuprolog_parser_theory.$_$.b;
|
|
80
80
|
var Companion_instance_2 = kotlin_it_unibo_tuprolog_core.$_$.x;
|
|
81
|
-
var initMetadataForObject = kotlin_kotlin.$_$.
|
|
82
|
-
var defineProp = kotlin_kotlin.$_$.
|
|
81
|
+
var initMetadataForObject = kotlin_kotlin.$_$.f6;
|
|
82
|
+
var defineProp = kotlin_kotlin.$_$.u5;
|
|
83
83
|
//endregion
|
|
84
84
|
//region block: pre-declaration
|
|
85
85
|
initMetadataForClass(BridgedArgument, 'BridgedArgument');
|
|
@@ -102,7 +102,7 @@
|
|
|
102
102
|
protoOf(BridgedArgument).j3n = function () {
|
|
103
103
|
return this.descriptor;
|
|
104
104
|
};
|
|
105
|
-
protoOf(BridgedArgument).
|
|
105
|
+
protoOf(BridgedArgument).p3r = function () {
|
|
106
106
|
return this.label;
|
|
107
107
|
};
|
|
108
108
|
protoOf(BridgedArgument).zc = function () {
|
|
@@ -111,17 +111,17 @@
|
|
|
111
111
|
protoOf(BridgedArgument).ad = function () {
|
|
112
112
|
return this.descriptor;
|
|
113
113
|
};
|
|
114
|
-
protoOf(BridgedArgument).
|
|
114
|
+
protoOf(BridgedArgument).q3r = function () {
|
|
115
115
|
return this.label;
|
|
116
116
|
};
|
|
117
|
-
protoOf(BridgedArgument).
|
|
117
|
+
protoOf(BridgedArgument).r3r = function (id, descriptor, label) {
|
|
118
118
|
return new BridgedArgument(id, descriptor, label);
|
|
119
119
|
};
|
|
120
120
|
protoOf(BridgedArgument).copy = function (id, descriptor, label, $super) {
|
|
121
121
|
id = id === VOID ? this.id : id;
|
|
122
122
|
descriptor = descriptor === VOID ? this.descriptor : descriptor;
|
|
123
123
|
label = label === VOID ? this.label : label;
|
|
124
|
-
return $super === VOID ? this.
|
|
124
|
+
return $super === VOID ? this.r3r(id, descriptor, label) : $super.r3r.call(this, id, descriptor, label);
|
|
125
125
|
};
|
|
126
126
|
protoOf(BridgedArgument).toString = function () {
|
|
127
127
|
return 'BridgedArgument(id=' + this.id + ', descriptor=' + this.descriptor + ', label=' + this.label + ')';
|
|
@@ -149,10 +149,10 @@
|
|
|
149
149
|
this.from = from;
|
|
150
150
|
this.to = to;
|
|
151
151
|
}
|
|
152
|
-
protoOf(BridgedAttack).
|
|
152
|
+
protoOf(BridgedAttack).s3r = function () {
|
|
153
153
|
return this.from;
|
|
154
154
|
};
|
|
155
|
-
protoOf(BridgedAttack).
|
|
155
|
+
protoOf(BridgedAttack).t3r = function () {
|
|
156
156
|
return this.to;
|
|
157
157
|
};
|
|
158
158
|
protoOf(BridgedAttack).zc = function () {
|
|
@@ -161,13 +161,13 @@
|
|
|
161
161
|
protoOf(BridgedAttack).ad = function () {
|
|
162
162
|
return this.to;
|
|
163
163
|
};
|
|
164
|
-
protoOf(BridgedAttack).
|
|
164
|
+
protoOf(BridgedAttack).u3r = function (from, to) {
|
|
165
165
|
return new BridgedAttack(from, to);
|
|
166
166
|
};
|
|
167
167
|
protoOf(BridgedAttack).copy = function (from, to, $super) {
|
|
168
168
|
from = from === VOID ? this.from : from;
|
|
169
169
|
to = to === VOID ? this.to : to;
|
|
170
|
-
return $super === VOID ? this.
|
|
170
|
+
return $super === VOID ? this.u3r(from, to) : $super.u3r.call(this, from, to);
|
|
171
171
|
};
|
|
172
172
|
protoOf(BridgedAttack).toString = function () {
|
|
173
173
|
return 'BridgedAttack(from=' + this.from + ', to=' + this.to + ')';
|
|
@@ -232,22 +232,22 @@
|
|
|
232
232
|
return true;
|
|
233
233
|
};
|
|
234
234
|
function JsIterator(nextFunction, hasNextFunction) {
|
|
235
|
-
this.
|
|
236
|
-
this.
|
|
235
|
+
this.v3r_1 = nextFunction;
|
|
236
|
+
this.w3r_1 = hasNextFunction;
|
|
237
237
|
}
|
|
238
238
|
protoOf(JsIterator).hasNext = function () {
|
|
239
|
-
return this.
|
|
239
|
+
return this.w3r_1();
|
|
240
240
|
};
|
|
241
241
|
protoOf(JsIterator).next = function () {
|
|
242
242
|
if (!this.hasNext())
|
|
243
243
|
throw NoSuchElementException_init_$Create$('No more elements');
|
|
244
|
-
return this.
|
|
244
|
+
return this.v3r_1();
|
|
245
245
|
};
|
|
246
246
|
function BridgedResult(i, query) {
|
|
247
247
|
this.i = i;
|
|
248
248
|
this.query = query;
|
|
249
249
|
}
|
|
250
|
-
protoOf(BridgedResult).
|
|
250
|
+
protoOf(BridgedResult).x3r = function () {
|
|
251
251
|
return this.i;
|
|
252
252
|
};
|
|
253
253
|
protoOf(BridgedResult).w1u = function () {
|
|
@@ -259,13 +259,13 @@
|
|
|
259
259
|
protoOf(BridgedResult).ad = function () {
|
|
260
260
|
return this.query;
|
|
261
261
|
};
|
|
262
|
-
protoOf(BridgedResult).
|
|
262
|
+
protoOf(BridgedResult).y3r = function (i, query) {
|
|
263
263
|
return new BridgedResult(i, query);
|
|
264
264
|
};
|
|
265
265
|
protoOf(BridgedResult).copy = function (i, query, $super) {
|
|
266
266
|
i = i === VOID ? this.i : i;
|
|
267
267
|
query = query === VOID ? this.query : query;
|
|
268
|
-
return $super === VOID ? this.
|
|
268
|
+
return $super === VOID ? this.y3r(i, query) : $super.y3r.call(this, i, query);
|
|
269
269
|
};
|
|
270
270
|
protoOf(BridgedResult).toString = function () {
|
|
271
271
|
return 'BridgedResult(i=' + toString_0(this.i) + ', query=' + this.query + ')';
|
|
@@ -293,7 +293,7 @@
|
|
|
293
293
|
protoOf(BridgedGraph).l29 = function () {
|
|
294
294
|
return this.arguments;
|
|
295
295
|
};
|
|
296
|
-
protoOf(BridgedGraph).
|
|
296
|
+
protoOf(BridgedGraph).z3r = function () {
|
|
297
297
|
return this.attacks;
|
|
298
298
|
};
|
|
299
299
|
protoOf(BridgedGraph).equals = function (other) {
|
|
@@ -320,13 +320,13 @@
|
|
|
320
320
|
protoOf(BridgedGraph).ad = function () {
|
|
321
321
|
return this.attacks;
|
|
322
322
|
};
|
|
323
|
-
protoOf(BridgedGraph).
|
|
323
|
+
protoOf(BridgedGraph).a3s = function (arguments_0, attacks) {
|
|
324
324
|
return new BridgedGraph(arguments_0, attacks);
|
|
325
325
|
};
|
|
326
326
|
protoOf(BridgedGraph).copy = function (arguments_0, attacks, $super) {
|
|
327
327
|
arguments_0 = arguments_0 === VOID ? this.arguments : arguments_0;
|
|
328
328
|
attacks = attacks === VOID ? this.attacks : attacks;
|
|
329
|
-
return $super === VOID ? this.
|
|
329
|
+
return $super === VOID ? this.a3s(arguments_0, attacks) : $super.a3s.call(this, arguments_0, attacks);
|
|
330
330
|
};
|
|
331
331
|
protoOf(BridgedGraph).toString = function () {
|
|
332
332
|
return 'BridgedGraph(arguments=' + toString_0(this.arguments) + ', attacks=' + toString_0(this.attacks) + ')';
|
|
@@ -338,19 +338,19 @@
|
|
|
338
338
|
this.exception = exception;
|
|
339
339
|
this.graph = graph;
|
|
340
340
|
}
|
|
341
|
-
protoOf(BridgedSolution).
|
|
341
|
+
protoOf(BridgedSolution).b3s = function () {
|
|
342
342
|
return this.res;
|
|
343
343
|
};
|
|
344
344
|
protoOf(BridgedSolution).w1u = function () {
|
|
345
345
|
return this.query;
|
|
346
346
|
};
|
|
347
|
-
protoOf(BridgedSolution).
|
|
347
|
+
protoOf(BridgedSolution).c3s = function () {
|
|
348
348
|
return this.substitutions;
|
|
349
349
|
};
|
|
350
350
|
protoOf(BridgedSolution).z1u = function () {
|
|
351
351
|
return this.exception;
|
|
352
352
|
};
|
|
353
|
-
protoOf(BridgedSolution).
|
|
353
|
+
protoOf(BridgedSolution).d3s = function () {
|
|
354
354
|
return this.graph;
|
|
355
355
|
};
|
|
356
356
|
protoOf(BridgedSolution).equals = function (other) {
|
|
@@ -383,16 +383,16 @@
|
|
|
383
383
|
protoOf(BridgedSolution).ad = function () {
|
|
384
384
|
return this.query;
|
|
385
385
|
};
|
|
386
|
-
protoOf(BridgedSolution).
|
|
386
|
+
protoOf(BridgedSolution).q3r = function () {
|
|
387
387
|
return this.substitutions;
|
|
388
388
|
};
|
|
389
|
-
protoOf(BridgedSolution).
|
|
389
|
+
protoOf(BridgedSolution).e3s = function () {
|
|
390
390
|
return this.exception;
|
|
391
391
|
};
|
|
392
|
-
protoOf(BridgedSolution).
|
|
392
|
+
protoOf(BridgedSolution).f3s = function () {
|
|
393
393
|
return this.graph;
|
|
394
394
|
};
|
|
395
|
-
protoOf(BridgedSolution).
|
|
395
|
+
protoOf(BridgedSolution).g3s = function (res, query, substitutions, exception, graph) {
|
|
396
396
|
return new BridgedSolution(res, query, substitutions, exception, graph);
|
|
397
397
|
};
|
|
398
398
|
protoOf(BridgedSolution).copy = function (res, query, substitutions, exception, graph, $super) {
|
|
@@ -401,7 +401,7 @@
|
|
|
401
401
|
substitutions = substitutions === VOID ? this.substitutions : substitutions;
|
|
402
402
|
exception = exception === VOID ? this.exception : exception;
|
|
403
403
|
graph = graph === VOID ? this.graph : graph;
|
|
404
|
-
return $super === VOID ? this.
|
|
404
|
+
return $super === VOID ? this.g3s(res, query, substitutions, exception, graph) : $super.g3s.call(this, res, query, substitutions, exception, graph);
|
|
405
405
|
};
|
|
406
406
|
protoOf(BridgedSolution).toString = function () {
|
|
407
407
|
return 'BridgedSolution(res=' + this.res + ', query=' + this.query + ', substitutions=' + toString_0(this.substitutions) + ', exception=' + this.exception + ', graph=' + this.graph.toString() + ')';
|