@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/arg2p.js CHANGED
@@ -99,10 +99,10 @@
99
99
  protoOf(BridgedArgument).t12 = function () {
100
100
  return this.id;
101
101
  };
102
- protoOf(BridgedArgument).d3k = function () {
102
+ protoOf(BridgedArgument).c3k = function () {
103
103
  return this.descriptor;
104
104
  };
105
- protoOf(BridgedArgument).b3o = function () {
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).c3o = function () {
114
+ protoOf(BridgedArgument).d3o = function () {
115
115
  return this.label;
116
116
  };
117
- protoOf(BridgedArgument).d3o = function (id, descriptor, label) {
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.d3o(id, descriptor, label) : $super.d3o.call(this, id, descriptor, label);
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).e3o = function () {
152
+ protoOf(BridgedAttack).f3o = function () {
153
153
  return this.from;
154
154
  };
155
- protoOf(BridgedAttack).f3o = function () {
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).g3o = function (from, to) {
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.g3o(from, to) : $super.g3o.call(this, from, to);
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).h3o = function () {
195
+ protoOf(JsPair).i3o = function () {
196
196
  return this.first;
197
197
  };
198
- protoOf(JsPair).i3o = function () {
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).j3o = function (first, second) {
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.j3o(first, second) : $super.j3o.call(this, first, second);
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.k3o_1 = nextFunction;
236
- this.l3o_1 = hasNextFunction;
235
+ this.l3o_1 = nextFunction;
236
+ this.m3o_1 = hasNextFunction;
237
237
  }
238
238
  protoOf(JsIterator).hasNext = function () {
239
- return this.l3o_1();
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.k3o_1();
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).m3o = function () {
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).n3o = function (i, query) {
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.n3o(i, query) : $super.n3o.call(this, i, query);
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).o3o = function () {
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).p3o = function (arguments_0, attacks) {
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.p3o(arguments_0, attacks) : $super.p3o.call(this, arguments_0, attacks);
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).q3o = function () {
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).r3o = function () {
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).s3o = function () {
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).c3o = function () {
386
+ protoOf(BridgedSolution).d3o = function () {
387
387
  return this.substitutions;
388
388
  };
389
- protoOf(BridgedSolution).t3o = function () {
389
+ protoOf(BridgedSolution).u3o = function () {
390
390
  return this.exception;
391
391
  };
392
- protoOf(BridgedSolution).u3o = function () {
392
+ protoOf(BridgedSolution).v3o = function () {
393
393
  return this.graph;
394
394
  };
395
- protoOf(BridgedSolution).v3o = function (res, query, substitutions, exception, graph) {
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.v3o(res, query, substitutions, exception, graph) : $super.v3o.call(this, res, query, substitutions, exception, graph);
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.n3k_1;
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.i3k_1.y3j_1, item.i3k_1.d3k(), item.j3k_1);
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.l3k_1;
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.e3k_1.y3j_1, item_0.f3k_1.y3j_1);
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
@@ -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, MutableIterable, KtList, Collection]);
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, MutableIterable, KtList, Collection, RandomAccess]);
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]);