@tuprolog/arg2p-causality-solver 0.13.2 → 0.14.2

package/2p-theory.js

@@ -22,50 +22,50 @@
   'use strict';
   //region block: imports
   var imul = Math.imul;
-  var protoOf = kotlin_kotlin.$_$.b6;
-  var asIterable = kotlin_kotlin.$_$.x6;
-  var any = kotlin_kotlin.$_$.w6;
+  var protoOf = kotlin_kotlin.$_$.a6;
+  var asIterable = kotlin_kotlin.$_$.w6;
+  var any = kotlin_kotlin.$_$.v6;
   var asSequence = kotlin_kotlin.$_$.v1;
-  var getKClassFromExpression = kotlin_kotlin.$_$.r6;
+  var getKClassFromExpression = kotlin_kotlin.$_$.q6;
   var joinToString = kotlin_kotlin.$_$.m2;
-  var initMetadataForClass = kotlin_kotlin.$_$.m5;
+  var initMetadataForClass = kotlin_kotlin.$_$.n5;
   var Unit_instance = kotlin_kotlin.$_$.j1;
-  var toList = kotlin_kotlin.$_$.e8;
-  var none = kotlin_kotlin.$_$.t7;
+  var toList = kotlin_kotlin.$_$.d8;
+  var none = kotlin_kotlin.$_$.s7;
   var VOID = kotlin_kotlin.$_$.b;
   var emptyList = kotlin_kotlin.$_$.e2;
   var asIterable_0 = kotlin_kotlin.$_$.r1;
   var ArrayList_init_$Create$ = kotlin_kotlin.$_$.c;
   var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.p;
   var itemWiseEquals = kotlin_it_unibo_tuprolog_utils.$_$.c1;
-  var getKClass = kotlin_kotlin.$_$.s6;
+  var getKClass = kotlin_kotlin.$_$.r6;
   var itemWiseHashCode = kotlin_it_unibo_tuprolog_utils.$_$.d1;
   var itemWiseHashCode_0 = kotlin_it_unibo_tuprolog_utils.$_$.e1;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.n5;
-  var initMetadataForInterface = kotlin_kotlin.$_$.o5;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.o5;
+  var initMetadataForInterface = kotlin_kotlin.$_$.p5;
   var first = kotlin_kotlin.$_$.i2;
-  var toString = kotlin_kotlin.$_$.e6;
-  var hashCode = kotlin_kotlin.$_$.l5;
-  var equals = kotlin_kotlin.$_$.g5;
-  var defineProp = kotlin_kotlin.$_$.f5;
-  var objectCreate = kotlin_kotlin.$_$.a6;
+  var toString = kotlin_kotlin.$_$.d6;
+  var hashCode = kotlin_kotlin.$_$.m5;
+  var equals = kotlin_kotlin.$_$.h5;
+  var defineProp = kotlin_kotlin.$_$.g5;
+  var objectCreate = kotlin_kotlin.$_$.z5;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
   var asReversed = kotlin_kotlin.$_$.s1;
-  var isInterface = kotlin_kotlin.$_$.t5;
-  var KProperty1 = kotlin_kotlin.$_$.t6;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.j5;
-  var lazy = kotlin_kotlin.$_$.z9;
+  var isInterface = kotlin_kotlin.$_$.u5;
+  var KProperty1 = kotlin_kotlin.$_$.s6;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.k5;
+  var lazy = kotlin_kotlin.$_$.y9;
   var CoroutineImpl = kotlin_kotlin.$_$.e4;
-  var THROW_CCE = kotlin_kotlin.$_$.u9;
-  var SequenceScope = kotlin_kotlin.$_$.u6;
+  var THROW_CCE = kotlin_kotlin.$_$.t9;
+  var SequenceScope = kotlin_kotlin.$_$.t6;
   var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.d4;
-  var initMetadataForLambda = kotlin_kotlin.$_$.p5;
-  var sequence = kotlin_kotlin.$_$.y7;
+  var initMetadataForLambda = kotlin_kotlin.$_$.q5;
+  var sequence = kotlin_kotlin.$_$.x7;
   var listOf = kotlin_kotlin.$_$.u2;
   var mergeSequences = kotlin_it_unibo_tuprolog_utils.$_$.g1;
-  var sequenceOf = kotlin_kotlin.$_$.w7;
-  var flatten = kotlin_kotlin.$_$.k7;
-  var initMetadataForObject = kotlin_kotlin.$_$.q5;
+  var sequenceOf = kotlin_kotlin.$_$.v7;
+  var flatten = kotlin_kotlin.$_$.j7;
+  var initMetadataForObject = kotlin_kotlin.$_$.r5;
   var compareTo = kotlin_it_unibo_tuprolog_utils.$_$.i;
   var LongIndexed = kotlin_it_unibo_tuprolog_utils.$_$.j;
   var component1 = kotlin_it_unibo_tuprolog_utils.$_$.g;
@@ -75,52 +75,52 @@
   var plus = kotlin_kotlin.$_$.m3;
   var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.d;
   var minOrNull = kotlin_kotlin.$_$.y2;
-  var map = kotlin_kotlin.$_$.r7;
-  var ensureNotNull = kotlin_kotlin.$_$.x9;
+  var map = kotlin_kotlin.$_$.q7;
+  var ensureNotNull = kotlin_kotlin.$_$.w9;
   var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
-  var sum = kotlin_kotlin.$_$.z7;
+  var sum = kotlin_kotlin.$_$.y7;
   var Collection = kotlin_kotlin.$_$.k1;
-  var filter = kotlin_kotlin.$_$.g7;
-  var emptySequence = kotlin_kotlin.$_$.d7;
+  var filter = kotlin_kotlin.$_$.f7;
+  var emptySequence = kotlin_kotlin.$_$.c7;
   var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.x;
   var addFirst = kotlin_it_unibo_tuprolog_utils.$_$.p;
   var buffered = kotlin_it_unibo_tuprolog_utils.$_$.q;
   var collectionSizeOrDefault = kotlin_kotlin.$_$.x1;
   var dequeOf_0 = kotlin_it_unibo_tuprolog_utils.$_$.v;
   var Companion_instance_1 = kotlin_it_unibo_tuprolog_utils.$_$.b;
-  var flatMap = kotlin_kotlin.$_$.j7;
-  var sequenceOf_0 = kotlin_kotlin.$_$.x7;
-  var firstOrNull = kotlin_kotlin.$_$.h7;
-  var NotImplementedError = kotlin_kotlin.$_$.p9;
-  var take = kotlin_kotlin.$_$.b8;
+  var flatMap = kotlin_kotlin.$_$.i7;
+  var sequenceOf_0 = kotlin_kotlin.$_$.w7;
+  var firstOrNull = kotlin_kotlin.$_$.g7;
+  var NotImplementedError = kotlin_kotlin.$_$.o9;
+  var take = kotlin_kotlin.$_$.a8;
   var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
-  var get_ONE = kotlin_kotlin.$_$.g4;
-  var add = kotlin_kotlin.$_$.h4;
-  var subtract = kotlin_kotlin.$_$.u4;
+  var get_ONE = kotlin_kotlin.$_$.h4;
+  var add = kotlin_kotlin.$_$.i4;
+  var subtract = kotlin_kotlin.$_$.v4;
   var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.c1;
   var Companion_instance_2 = kotlin_it_unibo_tuprolog_core.$_$.o;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.u;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.q;
-  var numberRangeToNumber = kotlin_kotlin.$_$.x5;
-  var plus_0 = kotlin_kotlin.$_$.v7;
+  var numberRangeToNumber = kotlin_kotlin.$_$.w5;
+  var plus_0 = kotlin_kotlin.$_$.u7;
   var getTag = kotlin_it_unibo_tuprolog_utils.$_$.m;
   var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.l;
   var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_unify.$_$.a;
   var Companion_instance_3 = kotlin_it_unibo_tuprolog_core.$_$.i;
   var first_0 = kotlin_kotlin.$_$.j2;
-  var filterNotNull = kotlin_kotlin.$_$.e7;
+  var filterNotNull = kotlin_kotlin.$_$.d7;
   var Taggable = kotlin_it_unibo_tuprolog_utils.$_$.n;
-  var filterNot = kotlin_kotlin.$_$.f7;
+  var filterNot = kotlin_kotlin.$_$.e7;
   var asSequence_0 = kotlin_kotlin.$_$.w1;
-  var fromInt = kotlin_kotlin.$_$.m4;
+  var fromInt = kotlin_kotlin.$_$.n4;
   var emptyMap = kotlin_kotlin.$_$.f2;
   var toList_0 = kotlin_kotlin.$_$.t3;
   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.$_$.s9;
+  var Pair = kotlin_kotlin.$_$.r9;
   var toMutableList = kotlin_kotlin.$_$.z3;
-  var toMutableList_0 = kotlin_kotlin.$_$.f8;
+  var toMutableList_0 = kotlin_kotlin.$_$.e8;
   var addFirst_0 = kotlin_it_unibo_tuprolog_utils.$_$.o;
   var addAll = kotlin_kotlin.$_$.o1;
   //endregion
@@ -781,7 +781,7 @@
               it.t1j();
               this.s1j_1.z2();
               this.z7_1 = 2;
-              suspendResult = this.r1j_1.lc(it, this);
+              suspendResult = this.r1j_1.ic(it, this);
               if (suspendResult === get_COROUTINE_SUSPENDED()) {
                 return suspendResult;
               }
@@ -878,7 +878,7 @@
             }
 
             this.z7_1 = 2;
-            suspendResult = this.k1k_1.lc(this.l1k_1, this);
+            suspendResult = this.k1k_1.ic(this.l1k_1, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
@@ -890,7 +890,7 @@
             continue $sm;
           case 3:
             this.z7_1 = 4;
-            suspendResult = this.k1k_1.lc(this.l1k_1, this);
+            suspendResult = this.k1k_1.ic(this.l1k_1, this);
             if (suspendResult === get_COROUTINE_SUSPENDED()) {
               return suspendResult;
             }
@@ -3246,8 +3246,8 @@
     var this_0 = numberRangeToNumber(1, ensureNotNull(indicator.mx()));
     // Inline function 'kotlin.collections.mapTo' call
     var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-    var inductionVariable = this_0.zf_1;
-    var last = this_0.ag_1;
+    var inductionVariable = this_0.wf_1;
+    var last = this_0.xf_1;
     if (inductionVariable <= last)
       do {
         var item = inductionVariable;
@@ -4321,8 +4321,8 @@
         }
       }
       var partitionedClauses = new Pair(first, second);
-      var newTheory = partitionedClauses.dc_1;
-      var toBeActuallyRetracted = partitionedClauses.cc_1;
+      var newTheory = partitionedClauses.second;
+      var toBeActuallyRetracted = partitionedClauses.first;
       tmp = new Success_0(new ListedTheory(this.r1h(), newTheory, this.qq()), toBeActuallyRetracted);
     }
     return tmp;
@@ -4778,13 +4778,13 @@
   protoOf(IndexedClause$Companion$wrap$1).v1j = get_innerClause;
   protoOf(IndexedClause$Companion$wrap$1).e1l = plus_1;
   protoOf(IndexedClause$Companion$wrap$1).mq = compareTo;
-  protoOf(IndexedClause$Companion$wrap$1).wb = component1;
-  protoOf(IndexedClause$Companion$wrap$1).xb = component2;
+  protoOf(IndexedClause$Companion$wrap$1).vb = component1;
+  protoOf(IndexedClause$Companion$wrap$1).wb = component2;
   protoOf(SituatedIndexedClause$Companion$of$1).v1j = get_innerClause;
   protoOf(SituatedIndexedClause$Companion$of$1).e1l = plus_1;
   protoOf(SituatedIndexedClause$Companion$of$1).mq = compareTo;
-  protoOf(SituatedIndexedClause$Companion$of$1).wb = component1;
-  protoOf(SituatedIndexedClause$Companion$of$1).xb = component2;
+  protoOf(SituatedIndexedClause$Companion$of$1).vb = component1;
+  protoOf(SituatedIndexedClause$Companion$of$1).wb = component2;
   protoOf(AbstractTheory).h1p = get_isMutable;
   protoOf(AbstractTheory).v1h = get_rules;
   protoOf(AbstractTheory).u1h = get_directives;