@tuprolog/arg2p 0.11.2 → 0.11.4
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 +5 -5
- package/2p-dsl-theory.js +4 -4
- package/2p-solve.js +1 -1
- package/arg2p-causality-solver.js +115 -97
- package/arg2p-causality-solver.js.map +1 -1
- package/arg2p-core.js +935 -954
- package/arg2p-core.js.map +1 -1
- package/arg2p.js +35 -35
- package/kotlin-kotlin-stdlib.js +8 -8
- package/kotlin-kotlin-stdlib.js.map +1 -1
- package/package.json +1 -1
package/arg2p.js
CHANGED
|
@@ -99,10 +99,10 @@
|
|
|
99
99
|
protoOf(BridgedArgument).t12 = function () {
|
|
100
100
|
return this.id;
|
|
101
101
|
};
|
|
102
|
-
protoOf(BridgedArgument).
|
|
102
|
+
protoOf(BridgedArgument).c3k = function () {
|
|
103
103
|
return this.descriptor;
|
|
104
104
|
};
|
|
105
|
-
protoOf(BridgedArgument).
|
|
105
|
+
protoOf(BridgedArgument).c3o = function () {
|
|
106
106
|
return this.label;
|
|
107
107
|
};
|
|
108
108
|
protoOf(BridgedArgument).zb = function () {
|
|
@@ -111,17 +111,17 @@
|
|
|
111
111
|
protoOf(BridgedArgument).ac = function () {
|
|
112
112
|
return this.descriptor;
|
|
113
113
|
};
|
|
114
|
-
protoOf(BridgedArgument).
|
|
114
|
+
protoOf(BridgedArgument).d3o = function () {
|
|
115
115
|
return this.label;
|
|
116
116
|
};
|
|
117
|
-
protoOf(BridgedArgument).
|
|
117
|
+
protoOf(BridgedArgument).e3o = 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.e3o(id, descriptor, label) : $super.e3o.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).f3o = function () {
|
|
153
153
|
return this.from;
|
|
154
154
|
};
|
|
155
|
-
protoOf(BridgedAttack).
|
|
155
|
+
protoOf(BridgedAttack).g3o = function () {
|
|
156
156
|
return this.to;
|
|
157
157
|
};
|
|
158
158
|
protoOf(BridgedAttack).zb = function () {
|
|
@@ -161,13 +161,13 @@
|
|
|
161
161
|
protoOf(BridgedAttack).ac = function () {
|
|
162
162
|
return this.to;
|
|
163
163
|
};
|
|
164
|
-
protoOf(BridgedAttack).
|
|
164
|
+
protoOf(BridgedAttack).h3o = 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.h3o(from, to) : $super.h3o.call(this, from, to);
|
|
171
171
|
};
|
|
172
172
|
protoOf(BridgedAttack).toString = function () {
|
|
173
173
|
return 'BridgedAttack(from=' + this.from + ', to=' + this.to + ')';
|
|
@@ -192,10 +192,10 @@
|
|
|
192
192
|
this.first = first;
|
|
193
193
|
this.second = second;
|
|
194
194
|
}
|
|
195
|
-
protoOf(JsPair).
|
|
195
|
+
protoOf(JsPair).i3o = function () {
|
|
196
196
|
return this.first;
|
|
197
197
|
};
|
|
198
|
-
protoOf(JsPair).
|
|
198
|
+
protoOf(JsPair).j3o = function () {
|
|
199
199
|
return this.second;
|
|
200
200
|
};
|
|
201
201
|
protoOf(JsPair).zb = function () {
|
|
@@ -204,13 +204,13 @@
|
|
|
204
204
|
protoOf(JsPair).ac = function () {
|
|
205
205
|
return this.second;
|
|
206
206
|
};
|
|
207
|
-
protoOf(JsPair).
|
|
207
|
+
protoOf(JsPair).k3o = function (first, second) {
|
|
208
208
|
return new JsPair(first, second);
|
|
209
209
|
};
|
|
210
210
|
protoOf(JsPair).copy = function (first, second, $super) {
|
|
211
211
|
first = first === VOID ? this.first : first;
|
|
212
212
|
second = second === VOID ? this.second : second;
|
|
213
|
-
return $super === VOID ? this.
|
|
213
|
+
return $super === VOID ? this.k3o(first, second) : $super.k3o.call(this, first, second);
|
|
214
214
|
};
|
|
215
215
|
protoOf(JsPair).toString = function () {
|
|
216
216
|
return 'JsPair(first=' + toString(this.first) + ', second=' + toString(this.second) + ')';
|
|
@@ -232,22 +232,22 @@
|
|
|
232
232
|
return true;
|
|
233
233
|
};
|
|
234
234
|
function JsIterator(nextFunction, hasNextFunction) {
|
|
235
|
-
this.
|
|
236
|
-
this.
|
|
235
|
+
this.l3o_1 = nextFunction;
|
|
236
|
+
this.m3o_1 = hasNextFunction;
|
|
237
237
|
}
|
|
238
238
|
protoOf(JsIterator).hasNext = function () {
|
|
239
|
-
return this.
|
|
239
|
+
return this.m3o_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.l3o_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).n3o = function () {
|
|
251
251
|
return this.i;
|
|
252
252
|
};
|
|
253
253
|
protoOf(BridgedResult).z1t = function () {
|
|
@@ -259,13 +259,13 @@
|
|
|
259
259
|
protoOf(BridgedResult).ac = function () {
|
|
260
260
|
return this.query;
|
|
261
261
|
};
|
|
262
|
-
protoOf(BridgedResult).
|
|
262
|
+
protoOf(BridgedResult).o3o = 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.o3o(i, query) : $super.o3o.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).o28 = function () {
|
|
294
294
|
return this.arguments;
|
|
295
295
|
};
|
|
296
|
-
protoOf(BridgedGraph).
|
|
296
|
+
protoOf(BridgedGraph).p3o = function () {
|
|
297
297
|
return this.attacks;
|
|
298
298
|
};
|
|
299
299
|
protoOf(BridgedGraph).equals = function (other) {
|
|
@@ -320,13 +320,13 @@
|
|
|
320
320
|
protoOf(BridgedGraph).ac = function () {
|
|
321
321
|
return this.attacks;
|
|
322
322
|
};
|
|
323
|
-
protoOf(BridgedGraph).
|
|
323
|
+
protoOf(BridgedGraph).q3o = 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.q3o(arguments_0, attacks) : $super.q3o.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).r3o = function () {
|
|
342
342
|
return this.res;
|
|
343
343
|
};
|
|
344
344
|
protoOf(BridgedSolution).z1t = function () {
|
|
345
345
|
return this.query;
|
|
346
346
|
};
|
|
347
|
-
protoOf(BridgedSolution).
|
|
347
|
+
protoOf(BridgedSolution).s3o = function () {
|
|
348
348
|
return this.substitutions;
|
|
349
349
|
};
|
|
350
350
|
protoOf(BridgedSolution).c1u = function () {
|
|
351
351
|
return this.exception;
|
|
352
352
|
};
|
|
353
|
-
protoOf(BridgedSolution).
|
|
353
|
+
protoOf(BridgedSolution).t3o = function () {
|
|
354
354
|
return this.graph;
|
|
355
355
|
};
|
|
356
356
|
protoOf(BridgedSolution).equals = function (other) {
|
|
@@ -383,16 +383,16 @@
|
|
|
383
383
|
protoOf(BridgedSolution).ac = function () {
|
|
384
384
|
return this.query;
|
|
385
385
|
};
|
|
386
|
-
protoOf(BridgedSolution).
|
|
386
|
+
protoOf(BridgedSolution).d3o = function () {
|
|
387
387
|
return this.substitutions;
|
|
388
388
|
};
|
|
389
|
-
protoOf(BridgedSolution).
|
|
389
|
+
protoOf(BridgedSolution).u3o = function () {
|
|
390
390
|
return this.exception;
|
|
391
391
|
};
|
|
392
|
-
protoOf(BridgedSolution).
|
|
392
|
+
protoOf(BridgedSolution).v3o = function () {
|
|
393
393
|
return this.graph;
|
|
394
394
|
};
|
|
395
|
-
protoOf(BridgedSolution).
|
|
395
|
+
protoOf(BridgedSolution).w3o = 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.w3o(res, query, substitutions, exception, graph) : $super.w3o.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() + ')';
|
|
@@ -409,25 +409,25 @@
|
|
|
409
409
|
function graphOf($this, solver) {
|
|
410
410
|
var graph = mineGraph(solver, arg2pScope(JsBridge$graphOf$lambda(solver)));
|
|
411
411
|
// Inline function 'kotlin.collections.map' call
|
|
412
|
-
var this_0 = graph.
|
|
412
|
+
var this_0 = graph.m3k_1;
|
|
413
413
|
// Inline function 'kotlin.collections.mapTo' call
|
|
414
414
|
var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
|
|
415
415
|
var _iterator__ex2g4s = this_0.p();
|
|
416
416
|
while (_iterator__ex2g4s.s()) {
|
|
417
417
|
var item = _iterator__ex2g4s.t();
|
|
418
|
-
var tmp$ret$0 = new BridgedArgument(item.
|
|
418
|
+
var tmp$ret$0 = new BridgedArgument(item.h3k_1.x3j_1, item.h3k_1.c3k(), item.i3k_1);
|
|
419
419
|
destination.m(tmp$ret$0);
|
|
420
420
|
}
|
|
421
421
|
// Inline function 'kotlin.collections.toTypedArray' call
|
|
422
422
|
var tmp = copyToArray(destination);
|
|
423
423
|
// Inline function 'kotlin.collections.map' call
|
|
424
|
-
var this_1 = graph.
|
|
424
|
+
var this_1 = graph.k3k_1;
|
|
425
425
|
// Inline function 'kotlin.collections.mapTo' call
|
|
426
426
|
var destination_0 = ArrayList_init_$Create$(collectionSizeOrDefault(this_1, 10));
|
|
427
427
|
var _iterator__ex2g4s_0 = this_1.p();
|
|
428
428
|
while (_iterator__ex2g4s_0.s()) {
|
|
429
429
|
var item_0 = _iterator__ex2g4s_0.t();
|
|
430
|
-
var tmp$ret$4 = new BridgedAttack(item_0.
|
|
430
|
+
var tmp$ret$4 = new BridgedAttack(item_0.d3k_1.x3j_1, item_0.e3k_1.x3j_1);
|
|
431
431
|
destination_0.m(tmp$ret$4);
|
|
432
432
|
}
|
|
433
433
|
// Inline function 'kotlin.collections.toTypedArray' call
|
package/kotlin-kotlin-stdlib.js
CHANGED
|
@@ -68,12 +68,6 @@ if (typeof Math.trunc === 'undefined') {
|
|
|
68
68
|
return Math.ceil(x);
|
|
69
69
|
};
|
|
70
70
|
}
|
|
71
|
-
if (typeof String.prototype.startsWith === 'undefined') {
|
|
72
|
-
Object.defineProperty(String.prototype, 'startsWith', {value: function (searchString, position) {
|
|
73
|
-
position = position || 0;
|
|
74
|
-
return this.lastIndexOf(searchString, position) === position;
|
|
75
|
-
}});
|
|
76
|
-
}
|
|
77
71
|
if (typeof String.prototype.endsWith === 'undefined') {
|
|
78
72
|
Object.defineProperty(String.prototype, 'endsWith', {value: function (searchString, position) {
|
|
79
73
|
var subjectString = this.toString();
|
|
@@ -85,6 +79,12 @@ if (typeof String.prototype.endsWith === 'undefined') {
|
|
|
85
79
|
return lastIndex !== -1 && lastIndex === position;
|
|
86
80
|
}});
|
|
87
81
|
}
|
|
82
|
+
if (typeof String.prototype.startsWith === 'undefined') {
|
|
83
|
+
Object.defineProperty(String.prototype, 'startsWith', {value: function (searchString, position) {
|
|
84
|
+
position = position || 0;
|
|
85
|
+
return this.lastIndexOf(searchString, position) === position;
|
|
86
|
+
}});
|
|
87
|
+
}
|
|
88
88
|
//endregion
|
|
89
89
|
(function (factory) {
|
|
90
90
|
if (typeof define === 'function' && define.amd)
|
|
@@ -138,14 +138,14 @@ if (typeof String.prototype.endsWith === 'undefined') {
|
|
|
138
138
|
initMetadataForClass(AbstractMutableCollection, 'AbstractMutableCollection', VOID, AbstractCollection, [AbstractCollection, MutableIterable, Collection]);
|
|
139
139
|
initMetadataForClass(IteratorImpl, 'IteratorImpl');
|
|
140
140
|
initMetadataForClass(ListIteratorImpl, 'ListIteratorImpl', VOID, IteratorImpl);
|
|
141
|
-
initMetadataForClass(AbstractMutableList, 'AbstractMutableList', VOID, AbstractMutableCollection, [AbstractMutableCollection,
|
|
141
|
+
initMetadataForClass(AbstractMutableList, 'AbstractMutableList', VOID, AbstractMutableCollection, [AbstractMutableCollection, KtList, MutableIterable, Collection]);
|
|
142
142
|
initMetadataForInterface(RandomAccess, 'RandomAccess');
|
|
143
143
|
initMetadataForClass(SubList, 'SubList', VOID, AbstractMutableList, [AbstractMutableList, RandomAccess]);
|
|
144
144
|
initMetadataForClass(AbstractMap, 'AbstractMap', VOID, VOID, [KtMap]);
|
|
145
145
|
initMetadataForClass(AbstractMutableMap, 'AbstractMutableMap', VOID, AbstractMap, [AbstractMap, KtMap]);
|
|
146
146
|
initMetadataForClass(AbstractMutableSet, 'AbstractMutableSet', VOID, AbstractMutableCollection, [AbstractMutableCollection, MutableIterable, KtSet, Collection]);
|
|
147
147
|
initMetadataForCompanion(Companion_1);
|
|
148
|
-
initMetadataForClass(ArrayList, 'ArrayList', ArrayList_init_$Create$, AbstractMutableList, [AbstractMutableList,
|
|
148
|
+
initMetadataForClass(ArrayList, 'ArrayList', ArrayList_init_$Create$, AbstractMutableList, [AbstractMutableList, KtList, MutableIterable, Collection, RandomAccess]);
|
|
149
149
|
initMetadataForClass(HashMap, 'HashMap', HashMap_init_$Create$, AbstractMutableMap, [AbstractMutableMap, KtMap]);
|
|
150
150
|
initMetadataForClass(HashMapKeys, 'HashMapKeys', VOID, AbstractMutableSet, [MutableIterable, KtSet, Collection, AbstractMutableSet]);
|
|
151
151
|
initMetadataForClass(HashMapValues, 'HashMapValues', VOID, AbstractMutableCollection, [MutableIterable, Collection, AbstractMutableCollection]);
|