@tuprolog/arg2p-causality-solver 0.13.0 → 0.13.2

package/2p-theory.js

@@ -54,9 +54,9 @@
   var isInterface = kotlin_kotlin.$_$.t5;
   var KProperty1 = kotlin_kotlin.$_$.t6;
   var getPropertyCallableRef = kotlin_kotlin.$_$.j5;
-  var lazy = kotlin_kotlin.$_$.v9;
+  var lazy = kotlin_kotlin.$_$.z9;
   var CoroutineImpl = kotlin_kotlin.$_$.e4;
-  var THROW_CCE = kotlin_kotlin.$_$.q9;
+  var THROW_CCE = kotlin_kotlin.$_$.u9;
   var SequenceScope = kotlin_kotlin.$_$.u6;
   var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.d4;
   var initMetadataForLambda = kotlin_kotlin.$_$.p5;
@@ -76,7 +76,7 @@
   var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.d;
   var minOrNull = kotlin_kotlin.$_$.y2;
   var map = kotlin_kotlin.$_$.r7;
-  var ensureNotNull = kotlin_kotlin.$_$.t9;
+  var ensureNotNull = kotlin_kotlin.$_$.x9;
   var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
   var sum = kotlin_kotlin.$_$.z7;
   var Collection = kotlin_kotlin.$_$.k1;
@@ -91,7 +91,7 @@
   var flatMap = kotlin_kotlin.$_$.j7;
   var sequenceOf_0 = kotlin_kotlin.$_$.x7;
   var firstOrNull = kotlin_kotlin.$_$.h7;
-  var NotImplementedError = kotlin_kotlin.$_$.l9;
+  var NotImplementedError = kotlin_kotlin.$_$.p9;
   var take = kotlin_kotlin.$_$.b8;
   var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
   var get_ONE = kotlin_kotlin.$_$.g4;
@@ -118,7 +118,7 @@
   var listOf_0 = kotlin_kotlin.$_$.t2;
   var none_0 = kotlin_kotlin.$_$.h3;
   var dequeOf_1 = kotlin_it_unibo_tuprolog_utils.$_$.w;
-  var Pair = kotlin_kotlin.$_$.o9;
+  var Pair = kotlin_kotlin.$_$.s9;
   var toMutableList = kotlin_kotlin.$_$.z3;
   var toMutableList_0 = kotlin_kotlin.$_$.f8;
   var addFirst_0 = kotlin_it_unibo_tuprolog_utils.$_$.o;

package/2p-unify.js

@@ -28,20 +28,20 @@
   var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.r;
   var ArrayList_init_$Create$ = kotlin_kotlin.$_$.d;
   var toCollection = kotlin_kotlin.$_$.c8;
-  var Pair = kotlin_kotlin.$_$.o9;
+  var Pair = kotlin_kotlin.$_$.s9;
   var VOID = kotlin_kotlin.$_$.b;
-  var lazy = kotlin_kotlin.$_$.v9;
+  var lazy = kotlin_kotlin.$_$.z9;
   var protoOf = kotlin_kotlin.$_$.b6;
   var asSequence_0 = kotlin_kotlin.$_$.v1;
-  var THROW_CCE = kotlin_kotlin.$_$.q9;
+  var THROW_CCE = kotlin_kotlin.$_$.u9;
   var initMetadataForClass = kotlin_kotlin.$_$.m5;
   var Companion_instance = kotlin_it_unibo_tuprolog_utils.$_$.a;
-  var Triple = kotlin_kotlin.$_$.s9;
+  var Triple = kotlin_kotlin.$_$.w9;
   var Some = kotlin_it_unibo_tuprolog_utils.$_$.k;
   var zip = kotlin_kotlin.$_$.j8;
   var flatMap = kotlin_kotlin.$_$.j7;
   var sequenceOf = kotlin_kotlin.$_$.x7;
-  var to = kotlin_kotlin.$_$.ba;
+  var to = kotlin_kotlin.$_$.fa;
   var sequenceOf_0 = kotlin_kotlin.$_$.w7;
   var initMetadataForCompanion = kotlin_kotlin.$_$.n5;
   var toString = kotlin_kotlin.$_$.e6;

package/2p-utils.js

@@ -17,7 +17,7 @@
   var initMetadataForCompanion = kotlin_kotlin.$_$.n5;
   var Unit_instance = kotlin_kotlin.$_$.j1;
   var initMetadataForInterface = kotlin_kotlin.$_$.o5;
-  var THROW_CCE = kotlin_kotlin.$_$.q9;
+  var THROW_CCE = kotlin_kotlin.$_$.u9;
   var isInterface = kotlin_kotlin.$_$.t5;
   var initMetadataForClass = kotlin_kotlin.$_$.m5;
   var Sequence = kotlin_kotlin.$_$.v6;
@@ -35,32 +35,32 @@
   var zip = kotlin_kotlin.$_$.i8;
   var equals = kotlin_kotlin.$_$.g5;
   var FunctionAdapter = kotlin_kotlin.$_$.w4;
-  var Comparator = kotlin_kotlin.$_$.g9;
+  var Comparator = kotlin_kotlin.$_$.k9;
   var CoroutineImpl = kotlin_kotlin.$_$.e4;
   var SequenceScope = kotlin_kotlin.$_$.u6;
   var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.d4;
   var initMetadataForLambda = kotlin_kotlin.$_$.p5;
   var withIndex = kotlin_kotlin.$_$.h8;
-  var ensureNotNull = kotlin_kotlin.$_$.t9;
+  var ensureNotNull = kotlin_kotlin.$_$.x9;
   var map = kotlin_kotlin.$_$.r7;
   var filterNot = kotlin_kotlin.$_$.f7;
   var toMutableList = kotlin_kotlin.$_$.f8;
   var minWithOrNull = kotlin_kotlin.$_$.s7;
   var subtract = kotlin_kotlin.$_$.u4;
   var convertToInt = kotlin_kotlin.$_$.j4;
-  var toString = kotlin_kotlin.$_$.aa;
+  var toString = kotlin_kotlin.$_$.ea;
   var initMetadataForObject = kotlin_kotlin.$_$.q5;
   var KtMap = kotlin_kotlin.$_$.m1;
   var toString_0 = kotlin_kotlin.$_$.e6;
-  var lazy = kotlin_kotlin.$_$.v9;
+  var lazy = kotlin_kotlin.$_$.z9;
   var KProperty1 = kotlin_kotlin.$_$.t6;
   var getPropertyCallableRef = kotlin_kotlin.$_$.j5;
   var getKClassFromExpression = kotlin_kotlin.$_$.r6;
   var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.w;
   var getBigIntHashCode = kotlin_kotlin.$_$.h5;
   var first = kotlin_kotlin.$_$.j2;
-  var to = kotlin_kotlin.$_$.ba;
-  var Pair = kotlin_kotlin.$_$.o9;
+  var to = kotlin_kotlin.$_$.fa;
+  var Pair = kotlin_kotlin.$_$.s9;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
   var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
   var joinToString = kotlin_kotlin.$_$.n7;

package/README.md

@@ -1,6 +1,6 @@
 # Arg2P
 
-Arg2P is a lightweight implementation of the ASPIC<sup>+</sup> framework for structured argumentation.
+Arg2P is an implementation of the ASPIC<sup>+</sup> framework for structured argumentation.
 Built on top of the [tuProlog](https://apice.unibo.it/xwiki/bin/view/Tuprolog/) engine, it supports both JVM and Node environments.
 
 More details are available on the [official wiki](https://tuprolog.github.io/arg2p-kt/).

package/kotlin-kotlin-stdlib.js

@@ -68,6 +68,17 @@ if (typeof Math.trunc === 'undefined') {
     return Math.ceil(x);
   };
 }
+if (typeof String.prototype.endsWith === 'undefined') {
+  Object.defineProperty(String.prototype, 'endsWith', {value: function (searchString, position) {
+    var subjectString = this.toString();
+    if (position === undefined || position > subjectString.length) {
+      position = subjectString.length;
+    }
+    position -= searchString.length;
+    var lastIndex = subjectString.indexOf(searchString, position);
+    return lastIndex !== -1 && lastIndex === position;
+  }});
+}
 if (typeof String.prototype.startsWith === 'undefined') {
   Object.defineProperty(String.prototype, 'startsWith', {value: function (searchString, position) {
     position = position || 0;
@@ -121,7 +132,7 @@ if (typeof String.prototype.startsWith === 'undefined') {
   initMetadataForInterface(Comparator, 'Comparator');
   initMetadataForObject(Unit, 'Unit');
   initMetadataForClass(AbstractCollection, 'AbstractCollection', VOID, VOID, [Collection]);
-  initMetadataForClass(AbstractMutableCollection, 'AbstractMutableCollection', VOID, AbstractCollection, [AbstractCollection, MutableIterable, Collection]);
+  initMetadataForClass(AbstractMutableCollection, 'AbstractMutableCollection', VOID, AbstractCollection, [AbstractCollection, Collection, MutableIterable]);
   initMetadataForClass(IteratorImpl, 'IteratorImpl');
   initMetadataForClass(ListIteratorImpl, 'ListIteratorImpl', VOID, IteratorImpl);
   initMetadataForClass(AbstractMutableList, 'AbstractMutableList', VOID, AbstractMutableCollection, [AbstractMutableCollection, KtList, Collection, MutableIterable]);
@@ -134,7 +145,7 @@ if (typeof String.prototype.startsWith === 'undefined') {
   initMetadataForClass(ArrayList, 'ArrayList', ArrayList_init_$Create$, AbstractMutableList, [AbstractMutableList, KtList, Collection, MutableIterable, RandomAccess]);
   initMetadataForClass(HashMap, 'HashMap', HashMap_init_$Create$, AbstractMutableMap, [AbstractMutableMap, KtMap]);
   initMetadataForClass(HashMapKeys, 'HashMapKeys', VOID, AbstractMutableSet, [Collection, KtSet, MutableIterable, AbstractMutableSet]);
-  initMetadataForClass(HashMapValues, 'HashMapValues', VOID, AbstractMutableCollection, [MutableIterable, Collection, AbstractMutableCollection]);
+  initMetadataForClass(HashMapValues, 'HashMapValues', VOID, AbstractMutableCollection, [Collection, MutableIterable, AbstractMutableCollection]);
   initMetadataForClass(HashMapEntrySetBase, 'HashMapEntrySetBase', VOID, AbstractMutableSet, [Collection, KtSet, MutableIterable, AbstractMutableSet]);
   initMetadataForClass(HashMapEntrySet, 'HashMapEntrySet', VOID, HashMapEntrySetBase);
   initMetadataForClass(HashMapKeysDefault$iterator$1);
@@ -4965,7 +4976,7 @@ if (typeof String.prototype.startsWith === 'undefined') {
     var tmp_11 = this;
     // Inline function 'kotlin.js.unsafeCast' call
     // Inline function 'kotlin.js.asDynamic' call
-    var tmp_12 = BigInt;
+    var tmp_12 = typeof BigInt === 'undefined' ? VOID : BigInt;
     tmp_11.longClass = new PrimitiveKClassImpl(tmp_12, 'Long', PrimitiveClasses$longClass$lambda);
     var tmp_13 = this;
     // Inline function 'kotlin.js.unsafeCast' call
@@ -5563,6 +5574,24 @@ if (typeof String.prototype.startsWith === 'undefined') {
     // Inline function 'kotlin.js.asDynamic' call
     return _this__u8e3s4.replace(tmp2, replacement);
   }
+  function endsWith(_this__u8e3s4, suffix, ignoreCase) {
+    ignoreCase = ignoreCase === VOID ? false : ignoreCase;
+    if (!ignoreCase) {
+      // Inline function 'kotlin.text.nativeEndsWith' call
+      // Inline function 'kotlin.js.asDynamic' call
+      return _this__u8e3s4.endsWith(suffix);
+    } else
+      return regionMatches(_this__u8e3s4, _this__u8e3s4.length - suffix.length | 0, suffix, 0, suffix.length, ignoreCase);
+  }
+  function startsWith(_this__u8e3s4, prefix, ignoreCase) {
+    ignoreCase = ignoreCase === VOID ? false : ignoreCase;
+    if (!ignoreCase) {
+      // Inline function 'kotlin.text.nativeStartsWith' call
+      // Inline function 'kotlin.js.asDynamic' call
+      return _this__u8e3s4.startsWith(prefix, 0);
+    } else
+      return regionMatches(_this__u8e3s4, 0, prefix, 0, prefix.length, ignoreCase);
+  }
   function replaceFirst(_this__u8e3s4, oldValue, newValue, ignoreCase) {
     ignoreCase = ignoreCase === VOID ? false : ignoreCase;
     var tmp2 = new RegExp(Companion_getInstance_3().ja(oldValue), ignoreCase ? 'ui' : 'u');
@@ -5571,7 +5600,7 @@ if (typeof String.prototype.startsWith === 'undefined') {
     // Inline function 'kotlin.js.asDynamic' call
     return _this__u8e3s4.replace(tmp2, replacement);
   }
-  function startsWith(_this__u8e3s4, prefix, startIndex, ignoreCase) {
+  function startsWith_0(_this__u8e3s4, prefix, startIndex, ignoreCase) {
     ignoreCase = ignoreCase === VOID ? false : ignoreCase;
     if (!ignoreCase) {
       // Inline function 'kotlin.text.nativeStartsWith' call
@@ -7865,7 +7894,7 @@ if (typeof String.prototype.startsWith === 'undefined') {
           tmp$ret$4 = -1;
         }
         var firstNonWhitespaceIndex = tmp$ret$4;
-        var tmp0_safe_receiver = firstNonWhitespaceIndex === -1 ? null : startsWith(item, marginPrefix, firstNonWhitespaceIndex) ? substring_0(item, firstNonWhitespaceIndex + marginPrefix.length | 0) : null;
+        var tmp0_safe_receiver = firstNonWhitespaceIndex === -1 ? null : startsWith_0(item, marginPrefix, firstNonWhitespaceIndex) ? substring_0(item, firstNonWhitespaceIndex + marginPrefix.length | 0) : null;
         var tmp_0;
         if (tmp0_safe_receiver == null) {
           tmp_0 = null;
@@ -7970,6 +7999,18 @@ if (typeof String.prototype.startsWith === 'undefined') {
     padChar = padChar === VOID ? _Char___init__impl__6a9atx(32) : padChar;
     return toString_1(padStart_0(isCharSequence(_this__u8e3s4) ? _this__u8e3s4 : THROW_CCE(), length, padChar));
   }
+  function removeSuffix(_this__u8e3s4, suffix) {
+    if (endsWith_0(_this__u8e3s4, suffix)) {
+      return substring(_this__u8e3s4, 0, _this__u8e3s4.length - charSequenceLength(suffix) | 0);
+    }
+    return _this__u8e3s4;
+  }
+  function removePrefix(_this__u8e3s4, prefix) {
+    if (startsWith_1(_this__u8e3s4, prefix)) {
+      return substring_0(_this__u8e3s4, charSequenceLength(prefix));
+    }
+    return _this__u8e3s4;
+  }
   function substringBefore(_this__u8e3s4, delimiter, missingDelimiterValue) {
     missingDelimiterValue = missingDelimiterValue === VOID ? _this__u8e3s4 : missingDelimiterValue;
     var index = indexOf_2(_this__u8e3s4, delimiter);
@@ -8137,24 +8178,45 @@ if (typeof String.prototype.startsWith === 'undefined') {
     sb.m(_this__u8e3s4);
     return sb;
   }
-  function indexOf_2(_this__u8e3s4, string, startIndex, ignoreCase) {
-    startIndex = startIndex === VOID ? 0 : startIndex;
+  function endsWith_0(_this__u8e3s4, suffix, ignoreCase) {
     ignoreCase = ignoreCase === VOID ? false : ignoreCase;
     var tmp;
     var tmp_0;
-    if (ignoreCase) {
-      tmp_0 = true;
+    if (!ignoreCase) {
+      tmp_0 = typeof _this__u8e3s4 === 'string';
     } else {
-      tmp_0 = !(typeof _this__u8e3s4 === 'string');
+      tmp_0 = false;
     }
     if (tmp_0) {
-      tmp = indexOf_3(_this__u8e3s4, string, startIndex, charSequenceLength(_this__u8e3s4), ignoreCase);
+      tmp = typeof suffix === 'string';
     } else {
-      // Inline function 'kotlin.text.nativeIndexOf' call
-      // Inline function 'kotlin.js.asDynamic' call
-      tmp = _this__u8e3s4.indexOf(string, startIndex);
+      tmp = false;
+    }
+    if (tmp)
+      return endsWith(_this__u8e3s4, suffix);
+    else {
+      return regionMatchesImpl(_this__u8e3s4, charSequenceLength(_this__u8e3s4) - charSequenceLength(suffix) | 0, suffix, 0, charSequenceLength(suffix), ignoreCase);
+    }
+  }
+  function startsWith_1(_this__u8e3s4, prefix, ignoreCase) {
+    ignoreCase = ignoreCase === VOID ? false : ignoreCase;
+    var tmp;
+    var tmp_0;
+    if (!ignoreCase) {
+      tmp_0 = typeof _this__u8e3s4 === 'string';
+    } else {
+      tmp_0 = false;
+    }
+    if (tmp_0) {
+      tmp = typeof prefix === 'string';
+    } else {
+      tmp = false;
+    }
+    if (tmp)
+      return startsWith(_this__u8e3s4, prefix);
+    else {
+      return regionMatchesImpl(_this__u8e3s4, 0, prefix, 0, charSequenceLength(prefix), ignoreCase);
     }
-    return tmp;
   }
   function trim(_this__u8e3s4) {
     // Inline function 'kotlin.text.trim' call
@@ -8179,6 +8241,25 @@ if (typeof String.prototype.startsWith === 'undefined') {
     }
     return charSequenceSubSequence(_this__u8e3s4, startIndex, endIndex + 1 | 0);
   }
+  function indexOf_2(_this__u8e3s4, string, startIndex, ignoreCase) {
+    startIndex = startIndex === VOID ? 0 : startIndex;
+    ignoreCase = ignoreCase === VOID ? false : ignoreCase;
+    var tmp;
+    var tmp_0;
+    if (ignoreCase) {
+      tmp_0 = true;
+    } else {
+      tmp_0 = !(typeof _this__u8e3s4 === 'string');
+    }
+    if (tmp_0) {
+      tmp = indexOf_3(_this__u8e3s4, string, startIndex, charSequenceLength(_this__u8e3s4), ignoreCase);
+    } else {
+      // Inline function 'kotlin.text.nativeIndexOf' call
+      // Inline function 'kotlin.js.asDynamic' call
+      tmp = _this__u8e3s4.indexOf(string, startIndex);
+    }
+    return tmp;
+  }
   function indexOf_3(_this__u8e3s4, other, startIndex, endIndex, ignoreCase, last) {
     last = last === VOID ? false : last;
     var indices = !last ? numberRangeToNumber(coerceAtLeast(startIndex, 0), coerceAtMost(endIndex, charSequenceLength(_this__u8e3s4))) : downTo(coerceAtMost(startIndex, get_lastIndex_1(_this__u8e3s4)), coerceAtLeast(endIndex, 0));
@@ -8660,47 +8741,51 @@ if (typeof String.prototype.startsWith === 'undefined') {
   _.$_$.k8 = StringBuilder;
   _.$_$.l8 = concatToString;
   _.$_$.m8 = contains_4;
-  _.$_$.n8 = isBlank;
-  _.$_$.o8 = lastIndexOf;
-  _.$_$.p8 = lineSequence;
-  _.$_$.q8 = padStart;
-  _.$_$.r8 = removeRange;
-  _.$_$.s8 = replaceFirst;
-  _.$_$.t8 = replace;
-  _.$_$.u8 = substringAfter;
-  _.$_$.v8 = substringBefore;
-  _.$_$.w8 = substring_0;
-  _.$_$.x8 = substring;
-  _.$_$.y8 = toCharArray;
-  _.$_$.z8 = toDouble;
-  _.$_$.a9 = toInt;
-  _.$_$.b9 = toString_2;
-  _.$_$.c9 = trimMargin;
-  _.$_$.d9 = trim;
-  _.$_$.e9 = ArithmeticException;
-  _.$_$.f9 = Char;
-  _.$_$.g9 = Comparator;
-  _.$_$.h9 = Enum;
-  _.$_$.i9 = IllegalArgumentException;
-  _.$_$.j9 = IllegalStateException;
-  _.$_$.k9 = IndexOutOfBoundsException;
-  _.$_$.l9 = NotImplementedError;
-  _.$_$.m9 = NullPointerException;
-  _.$_$.n9 = NumberFormatException;
-  _.$_$.o9 = Pair;
-  _.$_$.p9 = RuntimeException;
-  _.$_$.q9 = THROW_CCE;
-  _.$_$.r9 = THROW_IAE;
-  _.$_$.s9 = Triple;
-  _.$_$.t9 = ensureNotNull;
-  _.$_$.u9 = isInfinite;
-  _.$_$.v9 = lazy;
-  _.$_$.w9 = noWhenBranchMatchedException;
-  _.$_$.x9 = throwKotlinNothingValueException;
-  _.$_$.y9 = throwUninitializedPropertyAccessException;
-  _.$_$.z9 = toBits;
-  _.$_$.aa = toString_0;
-  _.$_$.ba = to;
+  _.$_$.n8 = endsWith;
+  _.$_$.o8 = isBlank;
+  _.$_$.p8 = lastIndexOf;
+  _.$_$.q8 = lineSequence;
+  _.$_$.r8 = padStart;
+  _.$_$.s8 = removePrefix;
+  _.$_$.t8 = removeRange;
+  _.$_$.u8 = removeSuffix;
+  _.$_$.v8 = replaceFirst;
+  _.$_$.w8 = replace;
+  _.$_$.x8 = startsWith;
+  _.$_$.y8 = substringAfter;
+  _.$_$.z8 = substringBefore;
+  _.$_$.a9 = substring_0;
+  _.$_$.b9 = substring;
+  _.$_$.c9 = toCharArray;
+  _.$_$.d9 = toDouble;
+  _.$_$.e9 = toInt;
+  _.$_$.f9 = toString_2;
+  _.$_$.g9 = trimMargin;
+  _.$_$.h9 = trim;
+  _.$_$.i9 = ArithmeticException;
+  _.$_$.j9 = Char;
+  _.$_$.k9 = Comparator;
+  _.$_$.l9 = Enum;
+  _.$_$.m9 = IllegalArgumentException;
+  _.$_$.n9 = IllegalStateException;
+  _.$_$.o9 = IndexOutOfBoundsException;
+  _.$_$.p9 = NotImplementedError;
+  _.$_$.q9 = NullPointerException;
+  _.$_$.r9 = NumberFormatException;
+  _.$_$.s9 = Pair;
+  _.$_$.t9 = RuntimeException;
+  _.$_$.u9 = THROW_CCE;
+  _.$_$.v9 = THROW_IAE;
+  _.$_$.w9 = Triple;
+  _.$_$.x9 = ensureNotNull;
+  _.$_$.y9 = isInfinite;
+  _.$_$.z9 = lazy;
+  _.$_$.aa = noWhenBranchMatchedException;
+  _.$_$.ba = throwKotlinNothingValueException;
+  _.$_$.ca = throwUninitializedPropertyAccessException;
+  _.$_$.da = toBits;
+  _.$_$.ea = toString_0;
+  _.$_$.fa = to;
   //endregion
   return _;
 }));