@tuprolog/arg2p 0.16.8 → 0.17.0

package/arg2p.js

@@ -1,12 +1,18 @@
 (function (factory) {
   if (typeof define === 'function' && define.amd)
-    define(['exports', './kotlin-kotlin-stdlib.js', './arg2p-core.js', './2p-theory.js', './2p-parser-theory.js', './2p-solve.js', './2p-solve-prolog.js', './arg2p-causality-solver.js', './2p-core.js', './2p-parser-core.js', './kt-math.js'], factory);
+    define(['exports', './kotlin-kotlin-stdlib.js', './2p-core.js', './2p-parser-core.js', './arg2p-core.js', './2p-theory.js', './2p-parser-theory.js', './2p-solve.js', './2p-solve-prolog.js', './arg2p-causality-solver.js', './kt-math.js'], factory);
   else if (typeof exports === 'object')
-    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./arg2p-core.js'), require('./2p-theory.js'), require('./2p-parser-theory.js'), require('./2p-solve.js'), require('./2p-solve-prolog.js'), require('./arg2p-causality-solver.js'), require('./2p-core.js'), require('./2p-parser-core.js'), require('./kt-math.js'));
+    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-core.js'), require('./2p-parser-core.js'), require('./arg2p-core.js'), require('./2p-theory.js'), require('./2p-parser-theory.js'), require('./2p-solve.js'), require('./2p-solve-prolog.js'), require('./arg2p-causality-solver.js'), require('./kt-math.js'));
   else {
     if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
       throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
     }
+    if (typeof globalThis['2p-core'] === 'undefined') {
+      throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
+    }
+    if (typeof globalThis['2p-parser-core'] === 'undefined') {
+      throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency '2p-parser-core' was not found. Please, check whether '2p-parser-core' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
+    }
     if (typeof globalThis['arg2p-core'] === 'undefined') {
       throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency 'arg2p-core' was not found. Please, check whether 'arg2p-core' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
     }
@@ -25,18 +31,12 @@
     if (typeof globalThis['arg2p-causality-solver'] === 'undefined') {
       throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency 'arg2p-causality-solver' was not found. Please, check whether 'arg2p-causality-solver' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
     }
-    if (typeof globalThis['2p-core'] === 'undefined') {
-      throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
-    }
-    if (typeof globalThis['2p-parser-core'] === 'undefined') {
-      throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency '2p-parser-core' was not found. Please, check whether '2p-parser-core' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
-    }
     if (typeof globalThis['kt-math'] === 'undefined') {
       throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency 'kt-math' was not found. Please, check whether 'kt-math' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
     }
-    globalThis['it.unibo.tuprolog.argumentation:arg2p'] = factory(typeof globalThis['it.unibo.tuprolog.argumentation:arg2p'] === 'undefined' ? {} : globalThis['it.unibo.tuprolog.argumentation:arg2p'], globalThis['kotlin-kotlin-stdlib'], globalThis['arg2p-core'], globalThis['2p-theory'], globalThis['2p-parser-theory'], globalThis['2p-solve'], globalThis['2p-solve-prolog'], globalThis['arg2p-causality-solver'], globalThis['2p-core'], globalThis['2p-parser-core'], globalThis['kt-math']);
+    globalThis['it.unibo.tuprolog.argumentation:arg2p'] = factory(typeof globalThis['it.unibo.tuprolog.argumentation:arg2p'] === 'undefined' ? {} : globalThis['it.unibo.tuprolog.argumentation:arg2p'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-core'], globalThis['2p-parser-core'], globalThis['arg2p-core'], globalThis['2p-theory'], globalThis['2p-parser-theory'], globalThis['2p-solve'], globalThis['2p-solve-prolog'], globalThis['arg2p-causality-solver'], globalThis['kt-math']);
   }
-}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_argumentation_core, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_parser_theory, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_solve_prolog, kotlin_it_unibo_tuprolog_argumentation_causality_solver, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_parser_core, kotlin_io_github_gciatto_kt_math) {
+}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_argumentation_core, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_parser_theory, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_solve_prolog, kotlin_it_unibo_tuprolog_argumentation_causality_solver, kotlin_io_github_gciatto_kt_math) {
   'use strict';
   //region block: imports
   var imul = Math.imul;
@@ -48,34 +48,39 @@
   var hashCode = kotlin_kotlin.$_$.h7;
   var equals = kotlin_kotlin.$_$.b7;
   var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.s1;
-  var toString_0 = kotlin_kotlin.$_$.y7;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.t;
+  var Unit_instance = kotlin_kotlin.$_$.q;
+  var copyToArray = kotlin_kotlin.$_$.c3;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.u;
+  var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.f;
+  var distinct = kotlin_kotlin.$_$.y8;
+  var toList = kotlin_kotlin.$_$.fa;
+  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.o;
+  var filter = kotlin_kotlin.$_$.d9;
+  var map = kotlin_kotlin.$_$.q9;
   var getKClassFromExpression = kotlin_kotlin.$_$.n8;
   var THROW_CCE = kotlin_kotlin.$_$.kc;
-  var Unit_instance = kotlin_kotlin.$_$.q;
   var contentEquals = kotlin_kotlin.$_$.u2;
   var contentHashCode = kotlin_kotlin.$_$.w2;
-  var arg2pScope = kotlin_it_unibo_tuprolog_argumentation_core.$_$.e;
-  var mineGraph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.j;
-  var collectionSizeOrDefault = kotlin_kotlin.$_$.s2;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.s;
-  var copyToArray = kotlin_kotlin.$_$.c3;
+  var toString_0 = kotlin_kotlin.$_$.y7;
+  var arg2pScope = kotlin_it_unibo_tuprolog_argumentation_core.$_$.f;
   var Companion_instance = kotlin_it_unibo_tuprolog_theory.$_$.b;
   var parseTheory = kotlin_it_unibo_tuprolog_parser_theory.$_$.b;
-  var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.i1;
+  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_solve.$_$.i1;
   var PrologSolverFactory_instance = kotlin_it_unibo_tuprolog_solve_prolog.$_$.a;
-  var Companion_instance_0 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.c;
+  var Arg2pUnificator_getInstance = kotlin_it_unibo_tuprolog_argumentation_core.$_$.a;
+  var Companion_instance_0 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.d;
   var CausalitySolver = kotlin_it_unibo_tuprolog_argumentation_causality_solver.$_$.a;
   var listOf = kotlin_kotlin.$_$.y3;
   var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h1;
   var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g1;
   var Companion_instance_1 = kotlin_it_unibo_tuprolog_solve.$_$.r;
   var toInt = kotlin_kotlin.$_$.rb;
-  var filter = kotlin_kotlin.$_$.d9;
-  var map = kotlin_kotlin.$_$.q9;
   var first = kotlin_kotlin.$_$.f9;
   var ensureNotNull = kotlin_kotlin.$_$.qc;
-  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.u;
-  var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.f;
+  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.s;
+  var mineGraph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.k;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.s2;
   var parseTheoryWithOperators = kotlin_it_unibo_tuprolog_parser_theory.$_$.c;
   var Companion_instance_2 = kotlin_it_unibo_tuprolog_core.$_$.y;
   var initMetadataForObject = kotlin_kotlin.$_$.m7;
@@ -243,48 +248,62 @@
       throw NoSuchElementException_init_$Create$('No more elements');
     return this.j4w_1();
   };
-  function BridgedResult(i, query) {
+  function BridgedResult$queryContext$lambda(it) {
+    return it.e1z();
+  }
+  function BridgedResult$queryContext$lambda_0($variables, this$0) {
+    return function (sol) {
+      // Inline function 'kotlin.collections.mapNotNull' call
+      var tmp0 = $variables;
+      // Inline function 'kotlin.collections.mapNotNullTo' call
+      var destination = ArrayList_init_$Create$();
+      // Inline function 'kotlin.collections.forEach' call
+      var _iterator__ex2g4s = tmp0.n();
+      while (_iterator__ex2g4s.q()) {
+        var element = _iterator__ex2g4s.r();
+        var tmp0_safe_receiver = sol.u1x().l2(element);
+        var tmp;
+        if (tmp0_safe_receiver == null) {
+          tmp = null;
+        } else {
+          // Inline function 'kotlin.let' call
+          tmp = new JsPair(element.q2(), this$0.m4w_1.j15(tmp0_safe_receiver));
+        }
+        var tmp0_safe_receiver_0 = tmp;
+        if (tmp0_safe_receiver_0 == null)
+          null;
+        else {
+          // Inline function 'kotlin.let' call
+          destination.l(tmp0_safe_receiver_0);
+        }
+      }
+      // Inline function 'kotlin.collections.toTypedArray' call
+      return copyToArray(destination);
+    };
+  }
+  function BridgedResult(i, query, solver, formatter) {
     this.i = i;
     this.query = query;
+    this.l4w_1 = solver;
+    this.m4w_1 = formatter;
   }
-  protoOf(BridgedResult).l4w = function () {
+  protoOf(BridgedResult).n4w = function () {
     return this.i;
   };
   protoOf(BridgedResult).n1z = function () {
     return this.query;
   };
-  protoOf(BridgedResult).zd = function () {
-    return this.i;
-  };
-  protoOf(BridgedResult).ae = function () {
-    return this.query;
-  };
-  protoOf(BridgedResult).m4w = function (i, query) {
-    return new BridgedResult(i, query);
-  };
-  protoOf(BridgedResult).copy = function (i, query, $super) {
-    i = i === VOID ? this.i : i;
-    query = query === VOID ? this.query : query;
-    return $super === VOID ? this.m4w(i, query) : $super.m4w.call(this, i, query);
-  };
-  protoOf(BridgedResult).toString = function () {
-    return 'BridgedResult(i=' + toString_0(this.i) + ', query=' + this.query + ')';
-  };
-  protoOf(BridgedResult).hashCode = function () {
-    var result = hashCode(this.i);
-    result = imul(result, 31) + getStringHashCode(this.query) | 0;
-    return result;
+  protoOf(BridgedResult).graphAt = function (context) {
+    return JsBridge_instance.o4w(this.l4w_1, context);
   };
-  protoOf(BridgedResult).equals = function (other) {
-    if (this === other)
-      return true;
-    if (!(other instanceof BridgedResult))
-      return false;
-    if (!equals(this.i, other.i))
-      return false;
-    if (!(this.query === other.query))
-      return false;
-    return true;
+  protoOf(BridgedResult).queryContext = function (context, goal) {
+    var term = parseStructWithOperators(Companion_getInstance(), goal, this.l4w_1.h1y());
+    var variables = toList(distinct(term.zw()));
+    var tmp = this.l4w_1.solve(Companion_getInstance().of('context_check', [Companion_getInstance_0().ofInt(context), term]));
+    var tmp_0 = filter(tmp, BridgedResult$queryContext$lambda);
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var this_0 = toList(map(tmp_0, BridgedResult$queryContext$lambda_0(variables, this)));
+    return copyToArray(this_0);
   };
   function BridgedGraph(arguments_0, attacks) {
     this.arguments = arguments_0;
@@ -293,7 +312,7 @@
   protoOf(BridgedGraph).k2f = function () {
     return this.arguments;
   };
-  protoOf(BridgedGraph).n4w = function () {
+  protoOf(BridgedGraph).p4w = function () {
     return this.attacks;
   };
   protoOf(BridgedGraph).equals = function (other) {
@@ -320,39 +339,44 @@
   protoOf(BridgedGraph).ae = function () {
     return this.attacks;
   };
-  protoOf(BridgedGraph).o4w = function (arguments_0, attacks) {
+  protoOf(BridgedGraph).q4w = function (arguments_0, attacks) {
     return new BridgedGraph(arguments_0, attacks);
   };
   protoOf(BridgedGraph).copy = function (arguments_0, attacks, $super) {
     arguments_0 = arguments_0 === VOID ? this.arguments : arguments_0;
     attacks = attacks === VOID ? this.attacks : attacks;
-    return $super === VOID ? this.o4w(arguments_0, attacks) : $super.o4w.call(this, arguments_0, attacks);
+    return $super === VOID ? this.q4w(arguments_0, attacks) : $super.q4w.call(this, arguments_0, attacks);
   };
   protoOf(BridgedGraph).toString = function () {
     return 'BridgedGraph(arguments=' + toString_0(this.arguments) + ', attacks=' + toString_0(this.attacks) + ')';
   };
-  function BridgedSolution(res, query, substitutions, exception, graph) {
+  function BridgedSolution(res, query, substitutions, exception, graph, context) {
+    context = context === VOID ? 0 : context;
     this.res = res;
     this.query = query;
     this.substitutions = substitutions;
     this.exception = exception;
     this.graph = graph;
+    this.context = context;
   }
-  protoOf(BridgedSolution).p4w = function () {
+  protoOf(BridgedSolution).r4w = function () {
     return this.res;
   };
   protoOf(BridgedSolution).n1z = function () {
     return this.query;
   };
-  protoOf(BridgedSolution).q4w = function () {
+  protoOf(BridgedSolution).s4w = function () {
     return this.substitutions;
   };
   protoOf(BridgedSolution).q1z = function () {
     return this.exception;
   };
-  protoOf(BridgedSolution).r4w = function () {
+  protoOf(BridgedSolution).t4w = function () {
     return this.graph;
   };
+  protoOf(BridgedSolution).r8 = function () {
+    return this.context;
+  };
   protoOf(BridgedSolution).equals = function (other) {
     if (this === other)
       return true;
@@ -386,80 +410,60 @@
   protoOf(BridgedSolution).e4w = function () {
     return this.substitutions;
   };
-  protoOf(BridgedSolution).s4w = function () {
+  protoOf(BridgedSolution).u4w = function () {
     return this.exception;
   };
-  protoOf(BridgedSolution).t4w = function () {
+  protoOf(BridgedSolution).v4w = function () {
     return this.graph;
   };
-  protoOf(BridgedSolution).u4w = function (res, query, substitutions, exception, graph) {
-    return new BridgedSolution(res, query, substitutions, exception, graph);
+  protoOf(BridgedSolution).w4w = function () {
+    return this.context;
+  };
+  protoOf(BridgedSolution).x4w = function (res, query, substitutions, exception, graph, context) {
+    return new BridgedSolution(res, query, substitutions, exception, graph, context);
   };
-  protoOf(BridgedSolution).copy = function (res, query, substitutions, exception, graph, $super) {
+  protoOf(BridgedSolution).copy = function (res, query, substitutions, exception, graph, context, $super) {
     res = res === VOID ? this.res : res;
     query = query === VOID ? this.query : query;
     substitutions = substitutions === VOID ? this.substitutions : substitutions;
     exception = exception === VOID ? this.exception : exception;
     graph = graph === VOID ? this.graph : graph;
-    return $super === VOID ? this.u4w(res, query, substitutions, exception, graph) : $super.u4w.call(this, res, query, substitutions, exception, graph);
+    context = context === VOID ? this.context : context;
+    return $super === VOID ? this.x4w(res, query, substitutions, exception, graph, context) : $super.x4w.call(this, res, query, substitutions, exception, graph, context);
   };
   protoOf(BridgedSolution).toString = function () {
-    return 'BridgedSolution(res=' + this.res + ', query=' + this.query + ', substitutions=' + toString_0(this.substitutions) + ', exception=' + this.exception + ', graph=' + this.graph.toString() + ')';
+    return 'BridgedSolution(res=' + this.res + ', query=' + this.query + ', substitutions=' + toString_0(this.substitutions) + ', exception=' + this.exception + ', graph=' + this.graph.toString() + ', context=' + this.context + ')';
   };
-  function graphOf($this, solver) {
-    var graph = mineGraph(solver, arg2pScope(JsBridge$graphOf$lambda(solver)));
-    // Inline function 'kotlin.collections.map' call
-    var this_0 = graph.g4s_1;
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-    var _iterator__ex2g4s = this_0.n();
-    while (_iterator__ex2g4s.q()) {
-      var item = _iterator__ex2g4s.r();
-      var tmp$ret$2 = new BridgedArgument(item.b4s_1.n4r_1, item.b4s_1.w4r(), item.c4s_1);
-      destination.l(tmp$ret$2);
-    }
-    // Inline function 'kotlin.collections.toTypedArray' call
-    var tmp = copyToArray(destination);
-    // Inline function 'kotlin.collections.map' call
-    var this_1 = graph.e4s_1;
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination_0 = ArrayList_init_$Create$(collectionSizeOrDefault(this_1, 10));
-    var _iterator__ex2g4s_0 = this_1.n();
-    while (_iterator__ex2g4s_0.q()) {
-      var item_0 = _iterator__ex2g4s_0.r();
-      var tmp$ret$6 = new BridgedAttack(item_0.x4r_1.n4r_1, item_0.y4r_1.n4r_1);
-      destination_0.l(tmp$ret$6);
-    }
-    // Inline function 'kotlin.collections.toTypedArray' call
-    var tmp$ret$7 = copyToArray(destination_0);
-    return new BridgedGraph(tmp, tmp$ret$7);
+  function activeContext($this, solver) {
+    return arg2pScope(JsBridge$activeContext$lambda(solver));
   }
   function solverOf($this, outputConsumer, flagsText) {
     var flags = parseTheory(Companion_instance, flagsText);
-    var libFlags = Companion_getInstance().of('argumentation.flags', VOID, flags);
+    var libFlags = Companion_getInstance_1().of('argumentation.flags', VOID, flags);
     var tmp = PrologSolverFactory_instance;
-    var tmp_0 = PrologSolverFactory_instance.d21().plusRuntime(Companion_instance_0.l4d(VOID, listOf(new CausalitySolver())).h4d().plusLibrary(libFlags));
-    var tmp_1 = PrologSolverFactory_instance.g21().setNotable(Unknown_getInstance(), Unknown_getInstance().x2d_1).setNotable(TrackVariables_getInstance(), TrackVariables_getInstance().l2d_1);
-    var tmp_2 = Companion_instance.emptyWithDefaultUnificator();
-    var tmp_3 = Companion_instance_1.of(outputConsumer);
-    var tmp_4 = Companion_instance_1;
-    var tmp_5 = tmp_4.of(JsBridge$solverOf$lambda);
-    var tmp_6 = Companion_instance_1;
-    return tmp.mutableSolverWithDefaultBuiltinsAnd(VOID, tmp_0, tmp_1, tmp_2, VOID, VOID, tmp_3, tmp_5, tmp_6.of(JsBridge$solverOf$lambda_0));
+    var tmp_0 = Arg2pUnificator_getInstance();
+    var tmp_1 = PrologSolverFactory_instance.d21().plusRuntime(Companion_instance_0.l4d(VOID, listOf(new CausalitySolver())).h4d().plusLibrary(libFlags));
+    var tmp_2 = PrologSolverFactory_instance.g21().setNotable(Unknown_getInstance(), Unknown_getInstance().x2d_1).setNotable(TrackVariables_getInstance(), TrackVariables_getInstance().l2d_1);
+    var tmp_3 = Companion_instance.emptyWithDefaultUnificator();
+    var tmp_4 = Companion_instance_1.of(outputConsumer);
+    var tmp_5 = Companion_instance_1;
+    var tmp_6 = tmp_5.of(JsBridge$solverOf$lambda);
+    var tmp_7 = Companion_instance_1;
+    return tmp.mutableSolverWithDefaultBuiltinsAnd(tmp_0, tmp_1, tmp_2, tmp_3, VOID, VOID, tmp_4, tmp_6, tmp_7.of(JsBridge$solverOf$lambda_0));
   }
-  function JsBridge$graphOf$lambda$lambda(it) {
+  function JsBridge$activeContext$lambda$lambda(it) {
     return it.e1z();
   }
-  function JsBridge$graphOf$lambda$lambda_0($this_arg2pScope) {
+  function JsBridge$activeContext$lambda$lambda_0($this_arg2pScope) {
     return function (it) {
       return toInt(toString(it.u1x().l2($this_arg2pScope.p1j())));
     };
   }
-  function JsBridge$graphOf$lambda($solver) {
+  function JsBridge$activeContext$lambda($solver) {
     return function ($this$arg2pScope) {
       var tmp = $solver.solve($this$arg2pScope.stringInvoke('context_active', $this$arg2pScope.p1j(), []));
-      var tmp_0 = filter(tmp, JsBridge$graphOf$lambda$lambda);
-      return first(map(tmp_0, JsBridge$graphOf$lambda$lambda_0($this$arg2pScope)));
+      var tmp_0 = filter(tmp, JsBridge$activeContext$lambda$lambda);
+      return first(map(tmp_0, JsBridge$activeContext$lambda$lambda_0($this$arg2pScope)));
     };
   }
   function JsBridge$solverOf$lambda(_unused_var__etf5q3) {
@@ -468,15 +472,17 @@
   function JsBridge$solverOf$lambda_0(_unused_var__etf5q3) {
     return Unit_instance;
   }
-  function JsBridge$solve$lambda($formatter, $solver) {
+  function JsBridge$solve$lambda($solver, $formatter) {
     return function (sol) {
+      var context = activeContext(JsBridge_instance, $solver);
+      var graph = JsBridge_instance.o4w($solver, context);
       var tmp;
       if (sol.e1z()) {
         var tmp_0 = $formatter.j15(ensureNotNull(sol.d1z()));
         // Inline function 'kotlin.collections.map' call
         var this_0 = sol.u1x();
         // Inline function 'kotlin.collections.mapTo' call
-        var destination = ArrayList_init_$Create$(this_0.t());
+        var destination = ArrayList_init_$Create$_0(this_0.t());
         // Inline function 'kotlin.collections.iterator' call
         var _iterator__ex2g4s = this_0.d1().n();
         while (_iterator__ex2g4s.q()) {
@@ -486,15 +492,15 @@
         }
         // Inline function 'kotlin.collections.toTypedArray' call
         var tmp$ret$4 = copyToArray(destination);
-        tmp = new BridgedSolution('yes', tmp_0, tmp$ret$4, '', graphOf(JsBridge_instance, $solver));
+        tmp = new BridgedSolution('yes', tmp_0, tmp$ret$4, '', graph, context);
       } else if (sol.r1z()) {
         // Inline function 'kotlin.emptyArray' call
         var tmp$ret$5 = [];
-        tmp = new BridgedSolution('no', '', tmp$ret$5, '', graphOf(JsBridge_instance, $solver));
+        tmp = new BridgedSolution('no', '', tmp$ret$5, '', graph, context);
       } else {
         // Inline function 'kotlin.emptyArray' call
         var tmp$ret$6 = [];
-        tmp = new BridgedSolution('halt', '', tmp$ret$6, toString(sol.q1z()), graphOf(JsBridge_instance, $solver));
+        tmp = new BridgedSolution('halt', '', tmp$ret$6, toString(sol.q1z()), graph, context);
       }
       return tmp;
     };
@@ -511,18 +517,46 @@
   }
   function JsBridge() {
   }
+  protoOf(JsBridge).o4w = function (solver, context) {
+    var graph = mineGraph(solver, context);
+    // Inline function 'kotlin.collections.map' call
+    var this_0 = graph.g4s_1;
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_0, 10));
+    var _iterator__ex2g4s = this_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
+      var tmp$ret$2 = new BridgedArgument(item.b4s_1.n4r_1, item.b4s_1.w4r(), item.c4s_1);
+      destination.l(tmp$ret$2);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp = copyToArray(destination);
+    // Inline function 'kotlin.collections.map' call
+    var this_1 = graph.e4s_1;
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination_0 = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_1, 10));
+    var _iterator__ex2g4s_0 = this_1.n();
+    while (_iterator__ex2g4s_0.q()) {
+      var item_0 = _iterator__ex2g4s_0.r();
+      var tmp$ret$6 = new BridgedAttack(item_0.x4r_1.n4r_1, item_0.y4r_1.n4r_1);
+      destination_0.l(tmp$ret$6);
+    }
+    // Inline function 'kotlin.collections.toTypedArray' call
+    var tmp$ret$7 = copyToArray(destination_0);
+    return new BridgedGraph(tmp, tmp$ret$7);
+  };
   protoOf(JsBridge).solve = function (queryText, theoryText, flagsText, outputConsumer) {
     var solver = solverOf(this, outputConsumer, flagsText);
-    var query = parseStructWithOperators(Companion_getInstance_0(), queryText, solver.h1y());
+    var query = parseStructWithOperators(Companion_getInstance(), queryText, solver.h1y());
     var theory = parseTheoryWithOperators(Companion_instance, theoryText, solver.h1y());
     var formatter = Companion_instance_2.prettyExpressionsPrettyVariablesDefaultOperators();
     solver.loadStaticKb(theory);
     var tmp = solver.solve(query);
-    var solutions = map(tmp, JsBridge$solve$lambda(formatter, solver));
+    var solutions = map(tmp, JsBridge$solve$lambda(solver, formatter));
     var i = solutions.n();
     var tmp_0 = JsBridge$solve$lambda_0(i);
     var jsIt = new JsIterator(tmp_0, JsBridge$solve$lambda_1(i));
-    return new BridgedResult(jsIt, formatter.j15(query));
+    return new BridgedResult(jsIt, formatter.j15(query), solver, formatter);
   };
   var JsBridge_instance;
   function JsBridge_getInstance() {

package/arg2p.js.map

@@ -1 +1 @@
-{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt","../../../../../../src/commonMain/kotlin/it/unibo/tuprolog/argumentation/bridge/JsBridge.kt","common/src/generated/_Collections.kt","js/src/kotlin/collectionJs.kt","common/src/generated/_Maps.kt","src/kotlin/collections/Maps.kt","js/src/kotlin/kotlin.kt"],"sourcesContent":[null,null,null,null,null,null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["<init>","nextFunction","hasNextFunction","hasNext","next","equals","other","hashCode","result","graphOf","solver","graph","solverOf","outputConsumer","flagsText","flags","libFlags","JsBridge$graphOf$lambda$lambda","JsBridge$graphOf$lambda$lambda$lambda","JsBridge$solverOf$lambda","JsBridge$solve$lambda$lambda","solve","queryText","theoryText","query","theory","formatter","solutions","i","jsIt"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ECoB0BA,yBACtB,E,EACA,U,EACA,KAHsBA,EAAA;A,IACtB,Y;IACA,4B;IACA,kB;EAHsB,C;iCDpB1B,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,EAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,UAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;gCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,EAAA;AAAA,EAAA,CAAA;gCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,UAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,qBAAA,EAAA;AAAA,IAAA,OAAA,oBAAA,EAAA,EAAA,UAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;4CAAA,E,EAAA,U,EAAA,K,EAAA,M;uBCAA,I,CAAA,E;uCAAA,I,CAAA,U;6BAAA,I,CAAA,K;;;sCDAA,UAAA,EAAA;AAAA,IAAA,OAAA,qBAAA,GAAA,IAAA,CAAA,EAAA,GAAA,eAAA,GAAA,IAAA,CAAA,UAAA,GAAA,UAAA,GAAA,IAAA,CAAA,KAAA,GAAA,GAAA;AAAA,EAAA,CAAA;sCAAA,UAAA,EAAA;AAAA,QAAA,SAAA,kBAAA,IAAA,CAAA,EAAA,CAAA;IAAA,SAAA,KAAA,MAAA,EAAA,EAAA,CAAA,GAAA,kBAAA,IAAA,CAAA,UAAA,CAAA,IAAA;IAAA,SAAA,KAAA,MAAA,EAAA,EAAA,CAAA,GAAA,kBAAA,IAAA,CAAA,KAAA,CAAA,IAAA;IAAA,OAAA,MAAA;AAAA,EAAA,CAAA;oCAAA,UAAA,KAAA,EAAA;AAAA,IAAA,IAAA,IAAA,KAAA,KAAA,CAAA;AAAA,MAAA,OAAA,IAAA;IAAA,MAAA,KAAA,6BAAA;AAAA,MAAA,OAAA,KAAA;IAAA,IAAA,EAAA,IAAA,CAAA,EAAA,KAAA,KAAA,CAAA,EAAA,CAAA,CAAA;AAAA,MAAA,OAAA,KAAA;IAAA,IAAA,EAAA,IAAA,CAAA,UAAA,KAAA,KAAA,CAAA,UAAA,CAAA,CAAA;AAAA,MAAA,OAAA,KAAA;IAAA,IAAA,EAAA,IAAA,CAAA,KAAA,KAAA,KAAA,CAAA,KAAA,CAAA,CAAA;AAAA,MAAA,OAAA,KAAA;IAAA,OAAA,IAAA;AAAA,EAAA,CAAA;A,EC2BwBA,uBACpB,I,EACA,EAFoBA,EAAA;A,IACpB,gB;IACA,Y;EAFoB,C;+BD3BxB,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,IAAA;AAAA,EAAA,CAAA;+BAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,EAAA;AAAA,EAAA,CAAA;8BAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,IAAA;AAAA,EAAA,CAAA;8BAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,EAAA;AAAA,EAAA,CAAA;+BAAA,UAAA,QAAA,EAAA;AAAA,IAAA,OAAA,kBAAA,IAAA,EAAA,EAAA,CAAA;AAAA,EAAA,CAAA;0CAAA,I,EAAA,E,EAAA,M;2BCAA,I,CAAA,I;uBAAA,I,CAAA,E;;;oCDAA,UAAA,EAAA;AAAA,IAAA,OAAA,qBAAA,GAAA,IAAA,CAAA,IAAA,GAAA,OAAA,GAAA,IAAA,CAAA,EAAA,GAAA,GAAA;AAAA,EAAA,CAAA;oCAAA,UAAA,EAAA;AAAA,QAAA,SAAA,kBAAA,IAAA,CAAA,IAAA,CAAA;IAAA,SAAA,KAAA,MAAA,EAAA,EAAA,CAAA,GAAA,kBAAA,IAAA,CAAA,EAAA,CAAA,IAAA;IAAA,OAAA,MAAA;AAAA,EAAA,CAAA;kCAAA,UAAA,KAAA,EAAA;AAAA,IAAA,IAAA,IAAA,KAAA,KAAA,CAAA;AAAA,MAAA,OAAA,IAAA;IAAA,MAAA,KAAA,2BAAA;AAAA,MAAA,OAAA,KAAA;IAAA,IAAA,EAAA,IAAA,CAAA,IAAA,KAAA,KAAA,CAAA,IAAA,CAAA,CAAA;AAAA,MAAA,OAAA,KAAA;IAAA,IAAA,EAAA,IAAA,CAAA,EAAA,KAAA,KAAA,CAAA,EAAA,CAAA,CAAA;AAAA,MAAA,OAAA,KAAA;IAAA,OAAA,IAAA;AAAA,EAAA,CAAA;A,ECiCuBA,gBACnB,K,EACA,MAFmBA,EAAA;A,IACnB,kB;IACA,oB;EAFmB,C;uBDjCvB,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;uBAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,MAAA;AAAA,EAAA,CAAA;uBAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;uBAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,MAAA;AAAA,EAAA,CAAA;uBAAA,UAAA,aAAA,EAAA;AAAA,IAAA,OAAA,WAAA,KAAA,EAAA,MAAA,CAAA;AAAA,EAAA,CAAA;mCAAA,K,EAAA,M,EAAA,M;6BCAA,I,CAAA,K;+BAAA,I,CAAA,M;;;6BDAA,UAAA,EAAA;AAAA,IAAA,OAAA,eAAA,YAAA,IAAA,CAAA,KAAA,IAAA,WAAA,YAAA,IAAA,CAAA,MAAA,IAAA,GAAA;AAAA,EAAA,CAAA;6BAAA,UAAA,EAAA;AAAA,QAAA,SAAA,IAAA,CAAA,KAAA,IAAA,IAAA,GAAA,CAAA,GAAA,SAAA,IAAA,CAAA,KAAA,CAAA;IAAA,SAAA,KAAA,MAAA,EAAA,EAAA,CAAA,IAAA,IAAA,CAAA,MAAA,IAAA,IAAA,GAAA,CAAA,GAAA,SAAA,IAAA,CAAA,MAAA,CAAA,CAAA,IAAA;IAAA,OAAA,MAAA;AAAA,EAAA,CAAA;2BAAA,UAAA,KAAA,EAAA;AAAA,IAAA,IAAA,IAAA,KAAA,KAAA,CAAA;AAAA,MAAA,OAAA,IAAA;IAAA,MAAA,KAAA,oBAAA;AAAA,MAAA,OAAA,KAAA;IAAA,IAAA,CAAA,OAAA,IAAA,CAAA,KAAA,EAAA,KAAA,CAAA,KAAA,CAAA,CAAA;AAAA,MAAA,OAAA,KAAA;IAAA,IAAA,CAAA,OAAA,IAAA,CAAA,MAAA,EAAA,KAAA,CAAA,MAAA,CAAA,CAAA;AAAA,MAAA,OAAA,KAAA;IAAA,OAAA,IAAA;AAAA,EAAA,CAAA;A,ECuCmBA,oBACPC,Y,EACAC,eAFOF,EAAA;A,IACf,yB;IACA,4B;EAFe,C;gCAIfG,UAAAA,EAAyB;A,IAAiB,OAAjB,Y;EAAgB,C;6BAEzCC,UAAAA,EAAe;A,IACP,KAAC,cAAD,C;MAAY,MAAM,qCAAuB,kBAAvB,C;IACtB,OAAO,Y;EACX,C;EAIoBJ,uBACpB,C,EACA,KAFoBA,EAAA;A,IACpB,U;IACA,kB;EAFoB,C;+BDpDxB,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,CAAA;AAAA,EAAA,CAAA;+BAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;8BAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,CAAA;AAAA,EAAA,CAAA;8BAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;+BAAA,UAAA,QAAA,EAAA;AAAA,IAAA,OAAA,kBAAA,CAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;0CAAA,C,EAAA,K,EAAA,M;qBCAA,I,CAAA,C;6BAAA,I,CAAA,K;;;oCDAA,UAAA,EAAA;AAAA,IAAA,OAAA,kBAAA,cAAA,IAAA,CAAA,CAAA,IAAA,UAAA,GAAA,IAAA,CAAA,KAAA,GAAA,GAAA;AAAA,EAAA,CAAA;oCAAA,UAAA,EAAA;AAAA,QAAA,SAAA,SAAA,IAAA,CAAA,CAAA,CAAA;IAAA,SAAA,KAAA,MAAA,EAAA,EAAA,CAAA,GAAA,kBAAA,IAAA,CAAA,KAAA,CAAA,IAAA;IAAA,OAAA,MAAA;AAAA,EAAA,CAAA;kCAAA,UAAA,KAAA,EAAA;AAAA,IAAA,IAAA,IAAA,KAAA,KAAA,CAAA;AAAA,MAAA,OAAA,IAAA;IAAA,MAAA,KAAA,2BAAA;AAAA,MAAA,OAAA,KAAA;IAAA,IAAA,CAAA,OAAA,IAAA,CAAA,CAAA,EAAA,KAAA,CAAA,CAAA,CAAA,CAAA;AAAA,MAAA,OAAA,KAAA;IAAA,IAAA,EAAA,IAAA,CAAA,KAAA,KAAA,KAAA,CAAA,KAAA,CAAA,CAAA;AAAA,MAAA,OAAA,KAAA;IAAA,OAAA,IAAA;AAAA,EAAA,CAAA;A,EC0DuBA,sBACnB,W,EACA,OAFmBA,EAAA;A,IACnB,4B;IACA,sB;EAFmB,C;8BD1DvB,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,SAAA;AAAA,EAAA,CAAA;8BAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,OAAA;AAAA,EAAA,CAAA;iCC8DaK,UAAWC,KAAXD,EAAiC;A,IAClC,aAAS,KAAT,C;MAAgB,OAAO,I;IACvB,aAAS,IAAT,IAAiB,8DAAe,KAAf,EAAjB,C;MAA8C,OAAO,K;IAEzD,qC;;IAEI,KAAW,cAAV,IAAU,CAAV,SAAU,EAAc,KAAd,CAAoB,SAApB,CAAX,C;MAA2C,OAAO,K;IAClD,KAAS,cAAR,IAAQ,CAAR,OAAQ,EAAc,KAAd,CAAoB,OAApB,CAAT,C;MAAuC,OAAO,K;IAElD,OAAO,I;EACX,C;mCAESE,UAAAA,EAAoB;A,QACzBC,SAAuB,gBAAV,IAAU,CAAV,SAAU,C;IACvB,SAAS,SAAK,MAAL,IAAsB,gBAAR,IAAQ,CAAR,OAAQ,CAA/B,I;IACA,OAAO,M;EACX,C;6BD9EJ,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,SAAA;AAAA,EAAA,CAAA;6BAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,OAAA;AAAA,EAAA,CAAA;8BAAA,UAAA,oBAAA,EAAA;AAAA,IAAA,OAAA,iBAAA,WAAA,EAAA,OAAA,CAAA;AAAA,EAAA,CAAA;yCAAA,W,EAAA,O,EAAA,M;yCCAA,I,CAAA,S;iCAAA,I,CAAA,O;;;mCDAA,UAAA,EAAA;AAAA,IAAA,OAAA,yBAAA,GAAA,WAAA,IAAA,CAAA,SAAA,CAAA,GAAA,YAAA,GAAA,WAAA,IAAA,CAAA,OAAA,CAAA,GAAA,GAAA;AAAA,EAAA,CAAA;A,ECkF0BR,yBACtB,G,EACA,K,EACA,a,EACA,S,EACA,KALsBA,EAAA;A,IACtB,c;IACA,kB;IACA,kC;IACA,0B;IACA,kB;EALsB,C;iCDlF1B,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,GAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,aAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,SAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;oCCyFaK,UAAWC,KAAXD,EAAiC;A,IAClC,aAAS,KAAT,C;MAAgB,OAAO,I;IACvB,aAAS,IAAT,IAAiB,8DAAe,KAAf,EAAjB,C;MAA8C,OAAO,K;IAEzD,wC;;IAEI,mBAAO,KAAP,CAAa,GAAb,E;MAAkB,OAAO,K;IACzB,qBAAS,KAAT,CAAe,KAAf,E;MAAsB,OAAO,K;IAC7B,KAAe,cAAd,IAAc,CAAd,aAAc,EAAc,KAAd,CAAoB,aAApB,CAAf,C;MAAmD,OAAO,K;IAC1D,yBAAa,KAAb,CAAmB,SAAnB,E;MAA8B,OAAO,K;IAEzC,OAAO,I;EACX,C;sCAESE,UAAAA,EAAoB;A,QACzBC,SAAiB,kBAAJ,IAAI,CAAJ,GAAI,C;IACjB,SAAS,SAAK,MAAL,IAAoB,kBAAN,IAAM,CAAN,KAAM,CAA7B,I;IACA,SAAS,SAAK,MAAL,IAA4B,gBAAd,IAAc,CAAd,aAAc,CAArC,I;IACA,SAAS,SAAK,MAAL,IAAwB,kBAAV,IAAU,CAAV,SAAU,CAAjC,I;IACA,OAAO,M;EACX,C;gCD7GJ,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,GAAA;AAAA,EAAA,CAAA;gCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,aAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,SAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,2CAAA,EAAA;AAAA,IAAA,OAAA,oBAAA,GAAA,EAAA,KAAA,EAAA,aAAA,EAAA,SAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;4CAAA,G,EAAA,K,EAAA,a,EAAA,S,EAAA,K,EAAA,M;yBCAA,I,CAAA,G;6BAAA,I,CAAA,K;6CAAA,I,CAAA,a;qCAAA,I,CAAA,S;6BAAA,I,CAAA,K;;;sCDAA,UAAA,EAAA;AAAA,IAAA,OAAA,sBAAA,GAAA,IAAA,CAAA,GAAA,GAAA,UAAA,GAAA,IAAA,CAAA,KAAA,GAAA,kBAAA,GAAA,WAAA,IAAA,CAAA,aAAA,CAAA,GAAA,cAAA,GAAA,IAAA,CAAA,SAAA,GAAA,UAAA,GAAA,IAAA,CAAA,KAAA,cAAA,GAAA;AAAA,EAAA,CAAA;A,ECkHYC,iBDlHZ,K,ECkHwBC,MAAZD,EAAiD;A,QACrDE,QACW,UAAP,MAAO,EACH,WAAW,+BAAX,CADG,C;;QDpHnB,SCgIgB,KDhIhB,CCgIsB,K;;QDhItB,cEgtDiB,wBAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UF5xDR,OE2xDiB,qB;UD1pDmF,YAAzE,oBC2pDO,ID3pDP,CAAmB,KAAnB,CAA4B,KAA5B,EC2pDO,ID3pD6C,CAAT,KAAS,MAApD,EC2pDO,ID3pDP,CAAmE,KAAnE,C;MC2pDnB,WAAY,GAAI,SAAJ,C;IAAmB,C;;QF5xDvC,MG0BsE,YDmwD3D,WCnwD2D,C;;QH1BtE,SCoIgB,KDpIhB,CCoIsB,K;;QDpItB,gBEgtDiB,wBAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,sBA3EN,MA2EM,I;WAAA,uB,EACT;A,UF5xDR,SE2xDiB,uB;UDtpDqE,YAA3D,kBCupDO,MDvpDP,CAAiB,KAAjB,CAA0B,KAA1B,ECupDO,MDvpDP,CAAyC,KAAzC,CAAgD,KAAhD,C;MCupDnB,aAAY,GAAI,SAAJ,C;IAAmB,C;;QClwDgD,YAAjB,YDmwD3D,aCnwD2D,C;IFoG9D,OAAO,sBAQM,SARN,C;EAUX,C;EAEQC,kBD1IZ,K,EC2IQC,c,EACAC,SAFIF,EAGS;A,QACbG,QAAmB,gCAAM,SAAN,C;QACnBC,WAAuB,2BAAW,qBAAX,QAA4C,KAA5C,C;QD/I/B,kC;QAAA,QCmJoC,kCAAe,aAE1B,+BACiB,OAAO,qBAAP,CADjB,CAEC,MACD,aAAK,QAAL,CAL0B,C;QDnJnD,QC0JwC,kCAAa,yDAAqB,KAArB,CAA2B,uEAAmC,KAAnC,C;QD1JhF,QC2J8B,+C;QD3J9B,QC4JmC,wBAAG,cAAH,C;QD5JnC,4B;QAAA,QC6JmC,SAAG,wBAAH,C;QD7JnC,4B;ICiJQ,OAA2B,6FAaE,SAAG,0BAAH,CAbF,C;EAe/B,C;EAxC4BC,wCAAA,EAAAA,EAAA;A,IAAU,OAAR,EAAG,M;EAAM,C;EDxH3C,0CAAA,gBAAA,EAAA;AAAA,WCyH6BC,UAAA,EAAAA,EAAA;A,MAAuC,OAAP,MAAX,SAAnB,EAAG,MAAH,IAAgB,sBAAhB,CAAmB,CAAW,C;IAAQ,C;ADzHrE,GAAA;EAAA,iCAAA,OAAA,EAAA;AAAA,WCqH2BD,UAAA,gBAAAA,EAAA;A,UDrH3B,MCsHoB,OACK,OAAM,gDAAiB,sBAAjB,KAAN,C;UDvHzB,QCwHyB,YAAO,8BAAP,C;MAEO,OAAP,MADA,WAAI,kDAAJ,CACA,C;IACT,C;AD3HhB,GAAA;EC6JsCE,kCD7JtC,mBC6JsCA,EAAA;A,IAAQ,oB;EAAD,C;EACLA,oCD9JxC,mBC8JwCA,EAAA;A,IAAQ,oB;EAAD,C;ED9J/C,+BAAA,UAAA,EAAA,OAAA,EAAA;AAAA,WC+KoCC,UD/KpC,GC+KoCA,EAAA;A,UD/KpC,G;MCgLoB,IAAA,GAAI,MAAJ,C;YDhLpB,QCmLwB,UAAU,KAAO,cAAA,GAAI,MAAJ,CAAP,C;;YDnLlC,SCoLwB,GAAI,M;;YDpL5B,cIgIiB,wBAAa,UAAb,C;;YA6BA,oBA7BN,MC8Z6E,KAAQ,I;eDjY/E,qB,EACT;A,cJ9JR,OI6JiB,qB;cHwB8E,YAA5D,WAAO,UAAU,KGvBlB,IHuB4B,KAAV,CAAjB,EAAiC,UAAU,KGvB5C,IHuBsD,KAAV,CAA3C,C;UGvB3B,WAAY,GAAI,SAAJ,C;QAAmB,C;;YDpIgD,YAAjB,YCqI3D,WDrI2D,C;cFuJlD,oBACI,KADJ,SAKS,SALT,EAMI,EANJ,EAOI,2BAAQ,OAAR,CAPJ,C;aASO,IAAA,GAAI,MAAJ,C;;YK9KmC,YAAR,E;cL+KlC,oBAAgB,IAAhB,EAAsB,EAAtB,EAA0B,SAA1B,EAAwC,EAAxC,EAA4C,2BAAQ,OAAR,CAA5C,C;;;YK/K0C,YAAR,E;cLiLlC,oBAAgB,MAAhB,EAAwB,EAAxB,EAA4B,SAA5B,EAAwD,SAAd,GAAI,MAAU,CAAxD,EAAoE,2BAAQ,OAAR,CAApE,C;;MACH,U;IACL,C;AD/LZ,GAAA;EAAA,iCAAA,EAAA,EAAA;AAAA,WCoM+BA,UAAAA,EAAA;A,MAAqC,OAA/B,EAAE,IAAF,GAAa,EAAE,IAAf,GAA2B,I;IAAK,C;ADpMrE,GAAA;EAAA,iCAAA,EAAA,EAAA;AAAA,WCqMkCA,UAAAA,EAAA;A,MAAa,OAAX,EAAE,I;IAAU,C;ADrMhD,GAAA;A,ECgHApB,kBAAAA,EAAA;A,EAAA,C;4BAkDIqB,UACIC,S,EACAC,U,EACAT,S,EACAD,cAJJQ,EAKiB;A,QACbX,SAAa,eAAS,cAAT,EAAyB,SAAzB,C;QACbc,QAAmB,oDAAM,SAAN,EAAiB,MAAO,MAAxB,C;QACnBC,SAAoB,6CAAM,UAAN,EAAkB,MAAO,MAAzB,C;QACpBC,YAA8B,uE;IAC9B,MAAO,cAAa,MAAb,C;QD5Kf,MC+KY,MAAO,OAAM,KAAN,C;QADXC,YACwB,SAAI,wCAAJ,C;QAkBxBC,IAAQ,SAAU,I;QDjM1B,QCoM+B,0B;QAFvBC,OACI,sBAEsB,0BAFtB,C;IAKJ,OAAO,kBAAc,IAAd,EAAoB,SAAU,KAAO,KAAP,CAA9B,C;EACX,C;;EDzMJ,8BAAA,EAAA;AAAA;AAAA,GAAA;;;;;yB;;;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt","../../../../../../src/commonMain/kotlin/it/unibo/tuprolog/argumentation/bridge/JsBridge.kt","common/src/generated/_Collections.kt","js/src/kotlin/collectionJs.kt","common/src/generated/_Maps.kt","src/kotlin/collections/Maps.kt","js/src/kotlin/kotlin.kt"],"sourcesContent":[null,null,null,null,null,null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["<init>","nextFunction","hasNextFunction","hasNext","next","BridgedResult$queryContext$lambda","BridgedResult$queryContext$lambda$lambda","solver","formatter","graphAt","context","queryContext","goal","term","variables","equals","other","hashCode","result","activeContext","solverOf","outputConsumer","flagsText","flags","libFlags","JsBridge$activeContext$lambda$lambda","JsBridge$activeContext$lambda$lambda$lambda","JsBridge$solverOf$lambda","JsBridge$solve$lambda$lambda","graph","graphOf","solve","queryText","theoryText","query","theory","solutions","i","jsIt"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ECsB0BA,yBACtB,E,EACA,U,EACA,KAHsBA,EAAA;A,IACtB,Y;IACA,4B;IACA,kB;EAHsB,C;iCDtB1B,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,EAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,UAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;gCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,EAAA;AAAA,EAAA,CAAA;gCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,UAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,qBAAA,EAAA;AAAA,IAAA,OAAA,oBAAA,EAAA,EAAA,UAAA,EAAA,KAAA,CAAA;AAAA,EAAA,CAAA;4CAAA,E,EAAA,U,EAAA,K,EAAA,M;uBCAA,I,CAAA,E;uCAAA,I,CAAA,U;6BAAA,I,CAAA,K;;;sCDAA,UAAA,EAAA;AAAA,IAAA,OAAA,qBAAA,GAAA,IAAA,CAAA,EAAA,GAAA,eAAA,GAAA,IAAA,CAAA,UAAA,GAAA,UAAA,GAAA,IAAA,CAAA,KAAA,GAAA,GAAA;AAAA,EAAA,CAAA;sCAAA,UAAA,EAAA;AAAA,QAAA,SAAA,kBAAA,IAAA,CAAA,EAAA,CAAA;IAAA,SAAA,KAAA,MAAA,EAAA,EAAA,CAAA,GAAA,kBAAA,IAAA,CAAA,UAAA,CAAA,IAAA;IAAA,SAAA,KAAA,MAAA,EAAA,EAAA,CAAA,GAAA,kBAAA,IAAA,CAAA,KAAA,CAAA,IAAA;IAAA,OAAA,MAAA;AAAA,EAAA,CAAA;oCAAA,UAAA,KAAA,EAAA;AAAA,IAAA,IAAA,IAAA,KAAA,KAAA,CAAA;AAAA,MAAA,OAAA,IAAA;IAAA,MAAA,KAAA,6BAAA;AAAA,MAAA,OAAA,KAAA;IAAA,IAAA,EAAA,IAAA,CAAA,EAAA,KAAA,KAAA,CAAA,EAAA,CAAA,CAAA;AAAA,MAAA,OAAA,KAAA;IAAA,IAAA,EAAA,IAAA,CAAA,UAAA,KAAA,KAAA,CAAA,UAAA,CAAA,CAAA;AAAA,MAAA,OAAA,KAAA;IAAA,IAAA,EAAA,IAAA,CAAA,KAAA,KAAA,KAAA,CAAA,KAAA,CAAA,CAAA;AAAA,MAAA,OAAA,KAAA;IAAA,OAAA,IAAA;AAAA,EAAA,CAAA;A,EC6BwBA,uBACpB,I,EACA,EAFoBA,EAAA;A,IACpB,gB;IACA,Y;EAFoB,C;+BD7BxB,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,IAAA;AAAA,EAAA,CAAA;+BAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,EAAA;AAAA,EAAA,CAAA;8BAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,IAAA;AAAA,EAAA,CAAA;8BAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,EAAA;AAAA,EAAA,CAAA;+BAAA,UAAA,QAAA,EAAA;AAAA,IAAA,OAAA,kBAAA,IAAA,EAAA,EAAA,CAAA;AAAA,EAAA,CAAA;0CAAA,I,EAAA,E,EAAA,M;2BCAA,I,CAAA,I;uBAAA,I,CAAA,E;;;oCDAA,UAAA,EAAA;AAAA,IAAA,OAAA,qBAAA,GAAA,IAAA,CAAA,IAAA,GAAA,OAAA,GAAA,IAAA,CAAA,EAAA,GAAA,GAAA;AAAA,EAAA,CAAA;oCAAA,UAAA,EAAA;AAAA,QAAA,SAAA,kBAAA,IAAA,CAAA,IAAA,CAAA;IAAA,SAAA,KAAA,MAAA,EAAA,EAAA,CAAA,GAAA,kBAAA,IAAA,CAAA,EAAA,CAAA,IAAA;IAAA,OAAA,MAAA;AAAA,EAAA,CAAA;kCAAA,UAAA,KAAA,EAAA;AAAA,IAAA,IAAA,IAAA,KAAA,KAAA,CAAA;AAAA,MAAA,OAAA,IAAA;IAAA,MAAA,KAAA,2BAAA;AAAA,MAAA,OAAA,KAAA;IAAA,IAAA,EAAA,IAAA,CAAA,IAAA,KAAA,KAAA,CAAA,IAAA,CAAA,CAAA;AAAA,MAAA,OAAA,KAAA;IAAA,IAAA,EAAA,IAAA,CAAA,EAAA,KAAA,KAAA,CAAA,EAAA,CAAA,CAAA;AAAA,MAAA,OAAA,KAAA;IAAA,OAAA,IAAA;AAAA,EAAA,CAAA;A,ECmCuBA,gBACnB,K,EACA,MAFmBA,EAAA;A,IACnB,kB;IACA,oB;EAFmB,C;uBDnCvB,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;uBAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,MAAA;AAAA,EAAA,CAAA;uBAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;uBAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,MAAA;AAAA,EAAA,CAAA;uBAAA,UAAA,aAAA,EAAA;AAAA,IAAA,OAAA,WAAA,KAAA,EAAA,MAAA,CAAA;AAAA,EAAA,CAAA;mCAAA,K,EAAA,M,EAAA,M;6BCAA,I,CAAA,K;+BAAA,I,CAAA,M;;;6BDAA,UAAA,EAAA;AAAA,IAAA,OAAA,eAAA,YAAA,IAAA,CAAA,KAAA,IAAA,WAAA,YAAA,IAAA,CAAA,MAAA,IAAA,GAAA;AAAA,EAAA,CAAA;6BAAA,UAAA,EAAA;AAAA,QAAA,SAAA,IAAA,CAAA,KAAA,IAAA,IAAA,GAAA,CAAA,GAAA,SAAA,IAAA,CAAA,KAAA,CAAA;IAAA,SAAA,KAAA,MAAA,EAAA,EAAA,CAAA,IAAA,IAAA,CAAA,MAAA,IAAA,IAAA,GAAA,CAAA,GAAA,SAAA,IAAA,CAAA,MAAA,CAAA,CAAA,IAAA;IAAA,OAAA,MAAA;AAAA,EAAA,CAAA;2BAAA,UAAA,KAAA,EAAA;AAAA,IAAA,IAAA,IAAA,KAAA,KAAA,CAAA;AAAA,MAAA,OAAA,IAAA;IAAA,MAAA,KAAA,oBAAA;AAAA,MAAA,OAAA,KAAA;IAAA,IAAA,CAAA,OAAA,IAAA,CAAA,KAAA,EAAA,KAAA,CAAA,KAAA,CAAA,CAAA;AAAA,MAAA,OAAA,KAAA;IAAA,IAAA,CAAA,OAAA,IAAA,CAAA,MAAA,EAAA,KAAA,CAAA,MAAA,CAAA,CAAA;AAAA,MAAA,OAAA,KAAA;IAAA,OAAA,IAAA;AAAA,EAAA,CAAA;A,ECyCmBA,oBACPC,Y,EACAC,eAFOF,EAAA;A,IACf,yB;IACA,4B;EAFe,C;gCAIfG,UAAAA,EAAyB;A,IAAiB,OAAjB,Y;EAAgB,C;6BAEzCC,UAAAA,EAAe;A,IACP,KAAC,cAAD,C;MAAY,MAAM,qCAAuB,kBAAvB,C;IACtB,OAAO,Y;EACX,C;EA8BgBC,2CAAA,EAAAA,EAAA;A,IAAU,OAAR,EAAG,M;EAAM,C;EDhF/B,6CAAA,UAAA,EAAA,MAAA,EAAA;AAAA,WCiFiBC,UDjFjB,GCiFiBA,EAAA;A;UDjFjB,OCmFgB,U;;UDnFhB,cEwwDwB,yB;;UA8YJ,4B;aAAA,qB,EAAM;A,YFtpE1B,UEspEoB,qB;YDlkEmB,qBAAA,GAAI,MAAJ,ICkkEN,ODlkEM,C;YDpFvC,G;QCoF4D,+B;gBAAA,I;;;gBAAM,WCkkEjC,ODlkE0C,KAAT,EAAe,MAAU,CAAV,KAAU,KAApD,kBAAoD,CAAzB,C;;YC6rDzC,uBD7rDmC,G;QC6rDf,iC;UAAA,I;;;UAAM,WAAY,GAAtC,oBAAsC,C;;MAqYvB,C;;MDjkEL,OE3DmC,YDwvD3D,WCxvD2D,C;IF4D1D,C;ADtFZ,GAAA;A,EC2D6BN,uBACzB,C,EACA,K,EACQO,M,EACAC,SAJiBR,EAAA;A,IACzB,U;IACA,kB;IACA,mB;IACA,sB;EAJyB,C;+BD3D7B,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,CAAA;AAAA,EAAA,CAAA;+BAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;mCCkEIS,UAAYC,OAAZD,EAA0C;A,IAAiC,OAAxB,sBAAQ,IAAR,CAAQ,KAAR,EAAgB,OAAhB,C;EAAuB,C;wCAM1EE,UACID,O,EACAE,IAFJD,EAGwC;A,QACpCE,OAAkB,kDAAM,IAAN,EAAY,IAAO,CAAP,KAAO,MAAnB,C;QAClBC,YAA0C,OAAX,SAAf,IAAK,KAAU,CAAW,C;QD7ElD,MC8Ee,IACF,CADE,KACF,OAAa,2BAAG,eAAH,EAAoB,CAAQ,gCAAG,OAAH,CAAR,EAAqB,IAArB,CAApB,CAAb,C;QD/Eb,QCgFa,YAAO,iCAAP,C;;QDhFb,SCsFc,OALD,WAAI,oDAAJ,CAKC,C;IARN,OEpD8D,YAAY,MAAZ,C;EF8DlE,C;EAImBd,sBACnB,W,EACA,OAFmBA,EAAA;A,IACnB,4B;IACA,sB;EAFmB,C;8BD5FvB,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,SAAA;AAAA,EAAA,CAAA;8BAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,OAAA;AAAA,EAAA,CAAA;iCCgGae,UAAWC,KAAXD,EAAiC;A,IAClC,aAAS,KAAT,C;MAAgB,OAAO,I;IACvB,aAAS,IAAT,IAAiB,8DAAe,KAAf,EAAjB,C;MAA8C,OAAO,K;IAEzD,qC;;IAEI,KAAW,cAAV,IAAU,CAAV,SAAU,EAAc,KAAd,CAAoB,SAApB,CAAX,C;MAA2C,OAAO,K;IAClD,KAAS,cAAR,IAAQ,CAAR,OAAQ,EAAc,KAAd,CAAoB,OAApB,CAAT,C;MAAuC,OAAO,K;IAElD,OAAO,I;EACX,C;mCAESE,UAAAA,EAAoB;A,QACzBC,SAAuB,gBAAV,IAAU,CAAV,SAAU,C;IACvB,SAAS,SAAK,MAAL,IAAsB,gBAAR,IAAQ,CAAR,OAAQ,CAA/B,I;IACA,OAAO,M;EACX,C;6BDhHJ,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,SAAA;AAAA,EAAA,CAAA;6BAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,OAAA;AAAA,EAAA,CAAA;8BAAA,UAAA,oBAAA,EAAA;AAAA,IAAA,OAAA,iBAAA,WAAA,EAAA,OAAA,CAAA;AAAA,EAAA,CAAA;yCAAA,W,EAAA,O,EAAA,M;yCCAA,I,CAAA,S;iCAAA,I,CAAA,O;;;mCDAA,UAAA,EAAA;AAAA,IAAA,OAAA,yBAAA,GAAA,WAAA,IAAA,CAAA,SAAA,CAAA,GAAA,YAAA,GAAA,WAAA,IAAA,CAAA,OAAA,CAAA,GAAA,GAAA;AAAA,EAAA,CAAA;A,ECoH0BlB,yBACtB,G,EACA,K,EACA,a,EACA,S,EACA,K,EAEA,OAPsBA,EAAA;A,iCAOH,C;IANnB,c;IACA,kB;IACA,kC;IACA,0B;IACA,kB;IAEA,sB;EAPsB,C;iCDpH1B,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,GAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,aAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,SAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;gCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,OAAA;AAAA,EAAA,CAAA;oCC6Hae,UAAWC,KAAXD,EAAiC;A,IAClC,aAAS,KAAT,C;MAAgB,OAAO,I;IACvB,aAAS,IAAT,IAAiB,8DAAe,KAAf,EAAjB,C;MAA8C,OAAO,K;IAEzD,wC;;IAEI,mBAAO,KAAP,CAAa,GAAb,E;MAAkB,OAAO,K;IACzB,qBAAS,KAAT,CAAe,KAAf,E;MAAsB,OAAO,K;IAC7B,KAAe,cAAd,IAAc,CAAd,aAAc,EAAc,KAAd,CAAoB,aAApB,CAAf,C;MAAmD,OAAO,K;IAC1D,yBAAa,KAAb,CAAmB,SAAnB,E;MAA8B,OAAO,K;IAEzC,OAAO,I;EACX,C;sCAESE,UAAAA,EAAoB;A,QACzBC,SAAiB,kBAAJ,IAAI,CAAJ,GAAI,C;IACjB,SAAS,SAAK,MAAL,IAAoB,kBAAN,IAAM,CAAN,KAAM,CAA7B,I;IACA,SAAS,SAAK,MAAL,IAA4B,gBAAd,IAAc,CAAd,aAAc,CAArC,I;IACA,SAAS,SAAK,MAAL,IAAwB,kBAAV,IAAU,CAAV,SAAU,CAAjC,I;IACA,OAAO,M;EACX,C;gCDjJJ,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,GAAA;AAAA,EAAA,CAAA;gCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,aAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,SAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,OAAA;AAAA,EAAA,CAAA;iCAAA,UAAA,oDAAA,EAAA;AAAA,IAAA,OAAA,oBAAA,GAAA,EAAA,KAAA,EAAA,aAAA,EAAA,SAAA,EAAA,KAAA,EAAA,OAAA,CAAA;AAAA,EAAA,CAAA;4CAAA,G,EAAA,K,EAAA,a,EAAA,S,EAAA,K,EAAA,O,EAAA,M;yBCAA,I,CAAA,G;6BAAA,I,CAAA,K;6CAAA,I,CAAA,a;qCAAA,I,CAAA,S;6BAAA,I,CAAA,K;iCAAA,I,CAAA,O;;;sCDAA,UAAA,EAAA;AAAA,IAAA,OAAA,sBAAA,GAAA,IAAA,CAAA,GAAA,GAAA,UAAA,GAAA,IAAA,CAAA,KAAA,GAAA,kBAAA,GAAA,WAAA,IAAA,CAAA,aAAA,CAAA,GAAA,cAAA,GAAA,IAAA,CAAA,SAAA,GAAA,UAAA,GAAA,IAAA,CAAA,KAAA,cAAA,YAAA,GAAA,IAAA,CAAA,OAAA,GAAA,GAAA;AAAA,EAAA,CAAA;A,ECsJYC,uBDtJZ,K,ECsJ8BZ,MAAlBY,EACJ;A,IAMC,OAND,WAAW,qCAAX,C;EAMA,C;EAoBIC,kBDjLZ,K,ECkLQC,c,EACAC,SAFIF,EAGS;A,QACbG,QAAmB,gCAAM,SAAN,C;QACnBC,WAAuB,6BAAW,qBAAX,QAA4C,KAA5C,C;QDtL/B,kC;QAAA,qC;QAAA,QC4LoC,kCAAe,aAE1B,+BACiB,OAAO,qBAAP,CADjB,CAEC,MACD,aAAK,QAAL,CAL0B,C;QD5LnD,QCmMwC,kCAAa,yDAAqB,KAArB,CAA2B,uEAAmC,KAAnC,C;QDnMhF,QCoM8B,+C;QDpM9B,QCqMmC,wBAAG,cAAH,C;QDrMnC,4B;QAAA,QCsMmC,SAAG,wBAAH,C;QDtMnC,4B;ICwLQ,OAA2B,8FAeE,SAAG,0BAAH,CAfF,C;EAiB/B,C;EA/CoBC,8CAAA,EAAAA,EAAA;A,IAAU,OAAR,EAAG,M;EAAM,C;ED1JnC,gDAAA,gBAAA,EAAA;AAAA,WC2JqBC,UAAA,EAAAA,EAAA;A,MAAuC,OAAP,MAAX,SAAnB,EAAG,MAAH,IAAgB,sBAAhB,CAAmB,CAAW,C;IAAQ,C;AD3J7D,GAAA;EAAA,uCAAA,OAAA,EAAA;AAAA,WCuJmBD,UAAA,gBAAAA,EAAA;A,UDvJnB,MCwJY,OACK,OAAM,gDAAiB,sBAAjB,KAAN,C;UDzJjB,QC0JiB,YAAO,oCAAP,C;MAEO,OAAP,MADA,WAAI,wDAAJ,CACA,C;IACT,C;AD7JR,GAAA;ECsMsCE,kCDtMtC,mBCsMsCA,EAAA;A,IAAQ,oB;EAAD,C;EACLA,oCDvMxC,mBCuMwCA,EAAA;A,IAAQ,oB;EAAD,C;EDvM/C,+BAAA,OAAA,EAAA,UAAA,EAAA;AAAA,WCwNoCC,UDxNpC,GCwNoCA,EAAA;A,UACpBlB,UAAc,iCAAc,OAAd,C;UACdmB,QAAY,sBAAQ,OAAR,EAAgB,OAAhB,C;UD1N5B,G;MC2NoB,IAAA,GAAI,MAAJ,C;YD3NpB,QC8NwB,UAAU,KAAO,cAAA,GAAI,MAAJ,CAAP,C;;YD9NlC,SC+NwB,GAAI,M;;YD/N5B,cIgIiB,0BAAa,UAAb,C;;YA6BA,oBA7BN,MC8Z6E,KAAQ,I;eDjY/E,qB,EACT;A,cJ9JR,OI6JiB,qB;cHmE8E,YAA5D,WAAO,UAAU,KGlElB,IHkE4B,KAAV,CAAjB,EAAiC,UAAU,KGlE5C,IHkEsD,KAAV,CAA3C,C;UGlE3B,WAAY,GAAI,SAAJ,C;QAAmB,C;;YDpIgD,YAAjB,YCqI3D,WDrI2D,C;cFkMlD,oBACI,KADJ,SAKS,SALT,EAMI,EANJ,EAOI,KAPJ,EAQI,OARJ,C;aAUO,IAAA,GAAI,MAAJ,C;;YK1NmC,YAAR,E;cL2NlC,oBAAgB,IAAhB,EAAsB,EAAtB,EAA0B,SAA1B,EAAwC,EAAxC,EAA4C,KAA5C,EAAmD,OAAnD,C;;;YK3N0C,YAAR,E;cL6NlC,oBAAgB,MAAhB,EAAwB,EAAxB,EAA4B,SAA5B,EAAwD,SAAd,GAAI,MAAU,CAAxD,EAAoE,KAApE,EAA2E,OAA3E,C;;MACH,U;IACL,C;AD3OZ,GAAA;EAAA,iCAAA,EAAA,EAAA;AAAA,WCgP+BD,UAAAA,EAAA;A,MAAqC,OAA/B,EAAE,IAAF,GAAa,EAAE,IAAf,GAA2B,I;IAAK,C;ADhPrE,GAAA;EAAA,iCAAA,EAAA,EAAA;AAAA,WCiPkCA,UAAAA,EAAA;A,MAAa,OAAX,EAAE,I;IAAU,C;ADjPhD,GAAA;A,ECoJA5B,kBAAAA,EAAA;A,EAAA,C;0BAWa8B,UACLvB,M,EACAG,OAFKoB,EAGO;A,QACZD,QAAmB,UAAP,MAAO,EAAM,OAAN,C;;QDnK3B,SCuKgB,KDvKhB,CCuKsB,K;;QDvKtB,cEgtDiB,0BAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,oBA3EN,MA2EM,I;WAAA,qB,EACT;A,UF5xDR,OE2xDiB,qB;UDnnDmF,YAAzE,oBConDO,IDpnDP,CAAmB,KAAnB,CAA4B,KAA5B,EConDO,IDpnD6C,CAAT,KAAS,MAApD,EConDO,IDpnDP,CAAmE,KAAnE,C;MConDnB,WAAY,GAAI,SAAJ,C;IAAmB,C;;QF5xDvC,MG0BsE,YDmwD3D,WCnwD2D,C;;QH1BtE,SC2KgB,KD3KhB,CC2KsB,K;;QD3KtB,gBEgtDiB,0BAAa,gCAAwB,EAAxB,CAAb,C;QA2EA,sBA3EN,MA2EM,I;WAAA,uB,EACT;A,UF5xDR,SE2xDiB,uB;UD/mDqE,YAA3D,kBCgnDO,MDhnDP,CAAiB,KAAjB,CAA0B,KAA1B,ECgnDO,MDhnDP,CAAyC,KAAzC,CAAgD,KAAhD,C;MCgnDnB,aAAY,GAAI,SAAJ,C;IAAmB,C;;QClwDgD,YAAjB,YDmwD3D,aCnwD2D,C;IF2I9D,OAAO,sBAQM,SARN,C;EAUX,C;4BA4BAE,UACIC,S,EACAC,U,EACAX,S,EACAD,cAJJU,EAKiB;A,QACbxB,SAAa,eAAS,cAAT,EAAyB,SAAzB,C;QACb2B,QAAmB,kDAAM,SAAN,EAAiB,MAAO,MAAxB,C;QACnBC,SAAoB,6CAAM,UAAN,EAAkB,MAAO,MAAzB,C;QACpB3B,YAA8B,uE;IAC9B,MAAO,cAAa,MAAb,C;QDrNf,MCwNY,MAAO,OAAM,KAAN,C;QADX4B,YACwB,SAAI,wCAAJ,C;QAqBxBC,IAAQ,SAAU,I;QD7O1B,QCgP+B,0B;QAFvBC,OACI,sBAEsB,0BAFtB,C;IAKJ,OAAO,kBAAc,IAAd,EAAoB,SAAU,KAAO,KAAP,CAA9B,EAA6C,MAA7C,EAAqD,SAArD,C;EACX,C;;EDrPJ,8BAAA,EAAA;AAAA;AAAA,GAAA;;;;;yB;;;;;;;;;;;;;;;;;;;;;;"}

package/kotlin-kotlin-stdlib.js

@@ -146,14 +146,14 @@ if (typeof String.prototype.startsWith === 'undefined') {
   initMetadataForClass(AbstractMutableCollection, 'AbstractMutableCollection', VOID, AbstractCollection, [Collection, MutableIterable]);
   initMetadataForClass(IteratorImpl, 'IteratorImpl');
   initMetadataForClass(ListIteratorImpl, 'ListIteratorImpl', VOID, IteratorImpl);
-  initMetadataForClass(AbstractMutableList, 'AbstractMutableList', VOID, AbstractMutableCollection, [Collection, KtList, MutableIterable]);
+  initMetadataForClass(AbstractMutableList, 'AbstractMutableList', VOID, AbstractMutableCollection, [KtList, Collection, MutableIterable]);
   initMetadataForInterface(RandomAccess, 'RandomAccess');
   initMetadataForClass(SubList, 'SubList', VOID, AbstractMutableList, [RandomAccess]);
   initMetadataForClass(AbstractMap, 'AbstractMap', VOID, VOID, [KtMap]);
   initMetadataForClass(AbstractMutableMap, 'AbstractMutableMap', VOID, AbstractMap, [KtMap]);
   initMetadataForClass(AbstractMutableSet, 'AbstractMutableSet', VOID, AbstractMutableCollection, [KtSet, Collection, MutableIterable]);
   initMetadataForCompanion(Companion_2);
-  initMetadataForClass(ArrayList, 'ArrayList', ArrayList_init_$Create$, AbstractMutableList, [Collection, KtList, MutableIterable, RandomAccess]);
+  initMetadataForClass(ArrayList, 'ArrayList', ArrayList_init_$Create$, AbstractMutableList, [KtList, Collection, MutableIterable, RandomAccess]);
   initMetadataForClass(HashMap, 'HashMap', HashMap_init_$Create$, AbstractMutableMap, [KtMap]);
   initMetadataForClass(HashMapKeys, 'HashMapKeys', VOID, AbstractMutableSet, [KtSet, Collection, MutableIterable]);
   initMetadataForClass(HashMapValues, 'HashMapValues', VOID, AbstractMutableCollection, [Collection, MutableIterable]);

package/package.json

@@ -17,7 +17,7 @@
         "url": "https://github.com/tuProlog/arg2p-kt"
     },
     "main": "arg2p.js",
-    "version": "0.16.8",
+    "version": "0.17.0",
     "name": "@tuprolog/arg2p",
     "dependencies": {
         "sync-request": "^6.1.0"