@tuprolog/arg2p-core 0.6.6 → 0.6.7

package/kotlin/arg2p-core.js

@@ -121,9 +121,9 @@
   var compareBy = Kotlin.kotlin.comparisons.compareBy_bvgy4j$;
   var sortedWith = Kotlin.kotlin.sequences.sortedWith_vjgqpk$;
   var mapIndexed = Kotlin.kotlin.sequences.mapIndexed_b7yuyq$;
+  var Pair = Kotlin.kotlin.Pair;
   var firstOrNull = Kotlin.kotlin.sequences.firstOrNull_veqyi0$;
   var NoSuchElementException_init = Kotlin.kotlin.NoSuchElementException;
-  var addAll = Kotlin.kotlin.collections.addAll_ipc267$;
   var firstOrNull_0 = Kotlin.kotlin.collections.firstOrNull_2p1efm$;
   var plus_0 = Kotlin.kotlin.collections.plus_qloxvw$;
   var Cons = $module$_2p_core.it.unibo.tuprolog.core.Cons;
@@ -4280,7 +4280,12 @@
   function attacks$lambda$lambda(it) {
     return it.isYes;
   }
-  function attacks$lambda$lambda_0(closure$arguments, this$) {
+  function attacks$lambda$lambda_0(this$) {
+    return function (it) {
+      return new Pair(ensureNotNull(it.substitution.get_11rb$(this$.X)), ensureNotNull(it.substitution.get_11rb$(this$.Y)));
+    };
+  }
+  function attacks$lambda$lambda_1(closure$arguments) {
     return function (solution) {
       var $receiver = closure$arguments;
       var first$result;
@@ -4289,8 +4294,7 @@
         tmp$ = $receiver.iterator();
         while (tmp$.hasNext()) {
           var element = tmp$.next();
-          var this$_0 = this$;
-          if (Unificator.Companion.default.match(element.termRepresentation(), ensureNotNull(solution.substitution.get_11rb$(this$_0.X)))) {
+          if (element.hashCode() === solution.first.hashCode()) {
             first$result = element;
             break first$break;
           }}
@@ -4305,8 +4309,7 @@
         tmp$_1 = $receiver_0.iterator();
         while (tmp$_1.hasNext()) {
           var element_0 = tmp$_1.next();
-          var this$_1 = this$;
-          if (Unificator.Companion.default.match(element_0.termRepresentation(), ensureNotNull(solution.substitution.get_11rb$(this$_1.Y)))) {
+          if (element_0.hashCode() === solution.second.hashCode()) {
             first$result_0 = element_0;
             break first$break;
           }}
@@ -4318,7 +4321,7 @@
   }
   function attacks$lambda(this$attacks, closure$context, closure$arguments) {
     return function ($receiver) {
-      return map(filter(this$attacks.solve($receiver.stringInvoke('context_check', closure$context, [$receiver.stringInvoke('attack', $receiver._, [$receiver.X, $receiver.Y, $receiver._])])), attacks$lambda$lambda), attacks$lambda$lambda_0(closure$arguments, $receiver));
+      return map(map(filter(this$attacks.solve($receiver.stringInvoke('context_check', closure$context, [$receiver.stringInvoke('attack', $receiver._, [$receiver.X, $receiver.Y, $receiver._])])), attacks$lambda$lambda), attacks$lambda$lambda_0($receiver)), attacks$lambda$lambda_1(closure$arguments));
     };
   }
   function attacks($receiver, context, arguments_0) {
@@ -4326,15 +4329,15 @@
       return emptyList();
     return toList(prolog(attacks$lambda($receiver, context, arguments_0)));
   }
-  function supports$lambda$lambda$lambda(it) {
+  function supports$lambda$lambda(it) {
     return it.isYes;
   }
-  function supports$lambda$lambda$lambda_0(this$) {
+  function supports$lambda$lambda_0(this$) {
     return function (it) {
-      return ensureNotNull(it.substitution.get_11rb$(this$.X));
+      return new Pair(ensureNotNull(it.substitution.get_11rb$(this$.X)), ensureNotNull(it.substitution.get_11rb$(this$.Y)));
     };
   }
-  function supports$lambda$lambda$lambda_1(closure$arguments, closure$argument) {
+  function supports$lambda$lambda_1(closure$arguments) {
     return function (solution) {
       var $receiver = closure$arguments;
       var first$result;
@@ -4343,33 +4346,40 @@
         tmp$ = $receiver.iterator();
         while (tmp$.hasNext()) {
           var element = tmp$.next();
-          if (Unificator.Companion.default.match(element.termRepresentation(), solution)) {
+          if (element.hashCode() === solution.second.hashCode()) {
             first$result = element;
             break first$break;
           }}
         throw new NoSuchElementException_init('Collection contains no element matching the predicate.');
       }
        while (false);
-      var $receiver_0 = new Support(first$result, closure$argument);
-      closure$argument.supports.add_11rb$($receiver_0.supporter);
-      return $receiver_0;
+      var $receiver_0 = first$result;
+      var $receiver_1 = closure$arguments;
+      var first$result_0;
+      first$break: do {
+        var tmp$_0;
+        tmp$_0 = $receiver_1.iterator();
+        while (tmp$_0.hasNext()) {
+          var element_0 = tmp$_0.next();
+          if (element_0.hashCode() === solution.first.hashCode()) {
+            first$result_0 = element_0;
+            break first$break;
+          }}
+        throw new NoSuchElementException_init('Collection contains no element matching the predicate.');
+      }
+       while (false);
+      var $receiver_2 = new Support(first$result_0, $receiver_0);
+      $receiver_0.supports.add_11rb$($receiver_2.supporter);
+      return $receiver_2;
     };
   }
-  function supports$lambda$lambda(this$supports, closure$context, closure$argument, closure$arguments) {
+  function supports$lambda(this$supports, closure$context, closure$arguments) {
     return function ($receiver) {
-      return toList(map(map(filter(this$supports.solve($receiver.stringInvoke('context_check', closure$context, [$receiver.stringInvoke('support', $receiver.X, [closure$argument.termRepresentation()])])), supports$lambda$lambda$lambda), supports$lambda$lambda$lambda_0($receiver)), supports$lambda$lambda$lambda_1(closure$arguments, closure$argument)));
+      return toList(map(map(filter(this$supports.solve($receiver.stringInvoke('context_check', closure$context, [$receiver.stringInvoke('support', $receiver.X, [$receiver.Y])])), supports$lambda$lambda), supports$lambda$lambda_0($receiver)), supports$lambda$lambda_1(closure$arguments)));
     };
   }
   function supports($receiver, context, arguments_0) {
-    var destination = ArrayList_init_0();
-    var tmp$;
-    tmp$ = arguments_0.iterator();
-    while (tmp$.hasNext()) {
-      var element = tmp$.next();
-      var list = prolog(supports$lambda$lambda($receiver, context, element, arguments_0));
-      addAll(destination, list);
-    }
-    return destination;
+    return prolog(supports$lambda($receiver, context, arguments_0));
   }
   function labels$checkFunctor$lambda$lambda(it) {
     return it.isYes;
@@ -4401,7 +4411,7 @@
     }
     return destination;
   }
-  function Argument(rules, topRule, conclusion, groundings, defeasibleRules, defeasiblePremises, lastDefeasibleRules) {
+  function Argument(rules, topRule, conclusion, groundings, defeasibleRules, defeasiblePremises, lastDefeasibleRules, term) {
     Argument$Companion_getInstance();
     if (groundings === void 0)
       groundings = emptyList();
@@ -4411,6 +4421,8 @@
       defeasiblePremises = emptyList();
     if (lastDefeasibleRules === void 0)
       lastDefeasibleRules = emptyList();
+    if (term === void 0)
+      term = null;
     this.rules = rules;
     this.topRule = topRule;
     this.conclusion = conclusion;
@@ -4418,9 +4430,15 @@
     this.defeasibleRules = defeasibleRules;
     this.defeasiblePremises = defeasiblePremises;
     this.lastDefeasibleRules = lastDefeasibleRules;
+    this.term_0 = term;
     this.identifier = '';
     this.supports = ArrayList_init_0();
   }
+  Argument.prototype.hashCode = function () {
+    var $receiver = this.term_0;
+    var tmp$;
+    return (tmp$ = $receiver != null ? hashCode($receiver) : null) != null ? tmp$ : 0;
+  };
   Object.defineProperty(Argument.prototype, 'descriptor', {
     configurable: true,
     get: function () {
@@ -4450,7 +4468,8 @@
     }
   });
   Argument.prototype.termRepresentation = function () {
-    return parse_1(Struct.Companion, '[' + this.rules + ', ' + this.topRule + ', [' + this.conclusion + '], ' + this.groundings + ', [' + this.lastDefeasibleRules + ', ' + this.defeasibleRules + ', ' + this.defeasiblePremises + ']]');
+    var tmp$;
+    return (tmp$ = this.term_0) != null ? tmp$ : parse_1(Struct.Companion, '[' + this.rules + ', ' + this.topRule + ', [' + this.conclusion + '], ' + this.groundings + ', [' + this.lastDefeasibleRules + ', ' + this.defeasibleRules + ', ' + this.defeasiblePremises + ']]');
   };
   Argument.prototype.toString = function () {
     return 'argument(' + this.termRepresentation() + ')';
@@ -4519,7 +4538,7 @@
     var argDefeasiblePremises = Argument$Companion$of$argDefeasiblePremises(termAsList, toStringList);
     var argLastDefeasibleRules = Argument$Companion$of$argLastDefeasibleRules(termAsList, toStringList);
     var it = termAsList(term);
-    return new Argument(argRules(it), argTopRule(it), argConclusion(it), argGroundings(it), argDefeasibleRules(it), argDefeasiblePremises(it), argLastDefeasibleRules(it));
+    return new Argument(argRules(it), argTopRule(it), argConclusion(it), argGroundings(it), argDefeasibleRules(it), argDefeasiblePremises(it), argLastDefeasibleRules(it), term);
   };
   Argument$Companion.$metadata$ = {
     kind: Kind_OBJECT,
@@ -4558,22 +4577,14 @@
   Argument.prototype.component7 = function () {
     return this.lastDefeasibleRules;
   };
-  Argument.prototype.copy_2b7ur7$ = function (rules, topRule, conclusion, groundings, defeasibleRules, defeasiblePremises, lastDefeasibleRules) {
-    return new Argument(rules === void 0 ? this.rules : rules, topRule === void 0 ? this.topRule : topRule, conclusion === void 0 ? this.conclusion : conclusion, groundings === void 0 ? this.groundings : groundings, defeasibleRules === void 0 ? this.defeasibleRules : defeasibleRules, defeasiblePremises === void 0 ? this.defeasiblePremises : defeasiblePremises, lastDefeasibleRules === void 0 ? this.lastDefeasibleRules : lastDefeasibleRules);
+  Argument.prototype.component8_0 = function () {
+    return this.term_0;
   };
-  Argument.prototype.hashCode = function () {
-    var result = 0;
-    result = result * 31 + Kotlin.hashCode(this.rules) | 0;
-    result = result * 31 + Kotlin.hashCode(this.topRule) | 0;
-    result = result * 31 + Kotlin.hashCode(this.conclusion) | 0;
-    result = result * 31 + Kotlin.hashCode(this.groundings) | 0;
-    result = result * 31 + Kotlin.hashCode(this.defeasibleRules) | 0;
-    result = result * 31 + Kotlin.hashCode(this.defeasiblePremises) | 0;
-    result = result * 31 + Kotlin.hashCode(this.lastDefeasibleRules) | 0;
-    return result;
+  Argument.prototype.copy_fhhptr$ = function (rules, topRule, conclusion, groundings, defeasibleRules, defeasiblePremises, lastDefeasibleRules, term) {
+    return new Argument(rules === void 0 ? this.rules : rules, topRule === void 0 ? this.topRule : topRule, conclusion === void 0 ? this.conclusion : conclusion, groundings === void 0 ? this.groundings : groundings, defeasibleRules === void 0 ? this.defeasibleRules : defeasibleRules, defeasiblePremises === void 0 ? this.defeasiblePremises : defeasiblePremises, lastDefeasibleRules === void 0 ? this.lastDefeasibleRules : lastDefeasibleRules, term === void 0 ? this.term_0 : term);
   };
   Argument.prototype.equals = function (other) {
-    return this === other || (other !== null && (typeof other === 'object' && (Object.getPrototypeOf(this) === Object.getPrototypeOf(other) && (Kotlin.equals(this.rules, other.rules) && Kotlin.equals(this.topRule, other.topRule) && Kotlin.equals(this.conclusion, other.conclusion) && Kotlin.equals(this.groundings, other.groundings) && Kotlin.equals(this.defeasibleRules, other.defeasibleRules) && Kotlin.equals(this.defeasiblePremises, other.defeasiblePremises) && Kotlin.equals(this.lastDefeasibleRules, other.lastDefeasibleRules)))));
+    return this === other || (other !== null && (typeof other === 'object' && (Object.getPrototypeOf(this) === Object.getPrototypeOf(other) && (Kotlin.equals(this.rules, other.rules) && Kotlin.equals(this.topRule, other.topRule) && Kotlin.equals(this.conclusion, other.conclusion) && Kotlin.equals(this.groundings, other.groundings) && Kotlin.equals(this.defeasibleRules, other.defeasibleRules) && Kotlin.equals(this.defeasiblePremises, other.defeasiblePremises) && Kotlin.equals(this.lastDefeasibleRules, other.lastDefeasibleRules) && Kotlin.equals(this.term_0, other.term_0)))));
   };
   function Attack(attacker, target, type, on) {
     if (type === void 0)
@@ -6070,9 +6081,9 @@
   PrologWithArgumentationImpl.prototype.anyMguWith = PrologWithArgumentation.prototype.anyMguWith;
   PrologWithArgumentationImpl.prototype.anyUnifyWith = PrologWithArgumentation.prototype.anyUnifyWith;
   PrologWithArgumentationImpl.prototype.list = PrologWithArgumentation.prototype.list;
-  PrologWithArgumentationImpl.prototype.listFrom = PrologWithArgumentation.prototype.listFrom;
   PrologWithArgumentationImpl.prototype.listFromIterable = PrologWithArgumentation.prototype.listFromIterable;
   PrologWithArgumentationImpl.prototype.listFromSequence = PrologWithArgumentation.prototype.listFromSequence;
+  PrologWithArgumentationImpl.prototype.listFrom = PrologWithArgumentation.prototype.listFrom;
   PrologWithArgumentationImpl.prototype.matchAny = PrologWithArgumentation.prototype.matchAny;
   PrologWithArgumentationImpl.prototype.mguWithOccurCheck = PrologWithArgumentation.prototype.mguWithOccurCheck;
   PrologWithArgumentationImpl.prototype.mguAny = PrologWithArgumentation.prototype.mguAny;