@tuprolog/arg2p 0.17.4 → 0.18.0

package/arg2p.js

@@ -1,569 +1,51 @@
 (function (factory) {
   if (typeof define === 'function' && define.amd)
-    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);
+    define(['exports', './arg2p-core.js', './arg2p-causality-solver.js', './kotlin-kotlin-stdlib.js', './kt-math.js'], factory);
   else if (typeof exports === 'object')
-    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'));
+    factory(module.exports, require('./arg2p-core.js'), require('./arg2p-causality-solver.js'), require('./kotlin-kotlin-stdlib.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'.");
     }
-    if (typeof globalThis['2p-theory'] === 'undefined') {
-      throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency '2p-theory' was not found. Please, check whether '2p-theory' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
-    }
-    if (typeof globalThis['2p-parser-theory'] === 'undefined') {
-      throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency '2p-parser-theory' was not found. Please, check whether '2p-parser-theory' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
-    }
-    if (typeof globalThis['2p-solve'] === 'undefined') {
-      throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
-    }
-    if (typeof globalThis['2p-solve-prolog'] === 'undefined') {
-      throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency '2p-solve-prolog' was not found. Please, check whether '2p-solve-prolog' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
-    }
     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['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['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['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']);
+    globalThis['it.unibo.tuprolog.argumentation:arg2p'] = factory(typeof globalThis['it.unibo.tuprolog.argumentation:arg2p'] === 'undefined' ? {} : globalThis['it.unibo.tuprolog.argumentation:arg2p'], globalThis['arg2p-core'], globalThis['arg2p-causality-solver'], globalThis['kotlin-kotlin-stdlib'], globalThis['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) {
+}(function (_, kotlin_it_unibo_tuprolog_argumentation_core, kotlin_it_unibo_tuprolog_argumentation_causality_solver, kotlin_kotlin, kotlin_io_github_gciatto_kt_math) {
   'use strict';
   //region block: imports
-  var imul = Math.imul;
-  var protoOf = kotlin_kotlin.$_$.v7;
+  var Companion_instance = kotlin_it_unibo_tuprolog_argumentation_core.$_$.e;
+  var CausalityModule = kotlin_it_unibo_tuprolog_argumentation_causality_solver.$_$.a;
+  var listOf = kotlin_kotlin.$_$.e4;
   var VOID = kotlin_kotlin.$_$.b;
-  var getStringHashCode = kotlin_kotlin.$_$.g7;
-  var initMetadataForClass = kotlin_kotlin.$_$.i7;
-  var toString = kotlin_kotlin.$_$.xc;
-  var hashCode = kotlin_kotlin.$_$.h7;
-  var equals = kotlin_kotlin.$_$.b7;
-  var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.s1;
-  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 contentEquals = kotlin_kotlin.$_$.u2;
-  var contentHashCode = kotlin_kotlin.$_$.w2;
-  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_1 = kotlin_it_unibo_tuprolog_solve.$_$.i1;
-  var PrologSolverFactory_instance = kotlin_it_unibo_tuprolog_solve_prolog.$_$.a;
-  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 first = kotlin_kotlin.$_$.f9;
-  var ensureNotNull = kotlin_kotlin.$_$.qc;
-  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;
-  var defineProp = kotlin_kotlin.$_$.a7;
+  var protoOf = kotlin_kotlin.$_$.e8;
+  var initMetadataForObject = kotlin_kotlin.$_$.v7;
+  var defineProp = kotlin_kotlin.$_$.j7;
   //endregion
   //region block: pre-declaration
-  initMetadataForClass(BridgedArgument, 'BridgedArgument');
-  initMetadataForClass(BridgedAttack, 'BridgedAttack');
-  initMetadataForClass(JsPair, 'JsPair');
-  initMetadataForClass(JsIterator, 'JsIterator');
-  initMetadataForClass(BridgedResult, 'BridgedResult');
-  initMetadataForClass(BridgedGraph, 'BridgedGraph');
-  initMetadataForClass(BridgedSolution, 'BridgedSolution');
-  initMetadataForObject(JsBridge, 'JsBridge');
+  initMetadataForObject(Arg2pLibrary, 'Arg2pLibrary');
   //endregion
-  function BridgedArgument(id, descriptor, label) {
-    this.id = id;
-    this.descriptor = descriptor;
-    this.label = label;
-  }
-  protoOf(BridgedArgument).x15 = function () {
-    return this.id;
-  };
-  protoOf(BridgedArgument).w4r = function () {
-    return this.descriptor;
-  };
-  protoOf(BridgedArgument).d4w = function () {
-    return this.label;
-  };
-  protoOf(BridgedArgument).zd = function () {
-    return this.id;
-  };
-  protoOf(BridgedArgument).ae = function () {
-    return this.descriptor;
-  };
-  protoOf(BridgedArgument).e4w = function () {
-    return this.label;
-  };
-  protoOf(BridgedArgument).f4w = function (id, descriptor, label) {
-    return new BridgedArgument(id, descriptor, label);
-  };
-  protoOf(BridgedArgument).copy = function (id, descriptor, label, $super) {
-    id = id === VOID ? this.id : id;
-    descriptor = descriptor === VOID ? this.descriptor : descriptor;
-    label = label === VOID ? this.label : label;
-    return $super === VOID ? this.f4w(id, descriptor, label) : $super.f4w.call(this, id, descriptor, label);
-  };
-  protoOf(BridgedArgument).toString = function () {
-    return 'BridgedArgument(id=' + this.id + ', descriptor=' + this.descriptor + ', label=' + this.label + ')';
-  };
-  protoOf(BridgedArgument).hashCode = function () {
-    var result = getStringHashCode(this.id);
-    result = imul(result, 31) + getStringHashCode(this.descriptor) | 0;
-    result = imul(result, 31) + getStringHashCode(this.label) | 0;
-    return result;
-  };
-  protoOf(BridgedArgument).equals = function (other) {
-    if (this === other)
-      return true;
-    if (!(other instanceof BridgedArgument))
-      return false;
-    if (!(this.id === other.id))
-      return false;
-    if (!(this.descriptor === other.descriptor))
-      return false;
-    if (!(this.label === other.label))
-      return false;
-    return true;
-  };
-  function BridgedAttack(from, to) {
-    this.from = from;
-    this.to = to;
-  }
-  protoOf(BridgedAttack).g4w = function () {
-    return this.from;
-  };
-  protoOf(BridgedAttack).h4w = function () {
-    return this.to;
-  };
-  protoOf(BridgedAttack).zd = function () {
-    return this.from;
-  };
-  protoOf(BridgedAttack).ae = function () {
-    return this.to;
-  };
-  protoOf(BridgedAttack).i4w = function (from, to) {
-    return new BridgedAttack(from, to);
-  };
-  protoOf(BridgedAttack).copy = function (from, to, $super) {
-    from = from === VOID ? this.from : from;
-    to = to === VOID ? this.to : to;
-    return $super === VOID ? this.i4w(from, to) : $super.i4w.call(this, from, to);
-  };
-  protoOf(BridgedAttack).toString = function () {
-    return 'BridgedAttack(from=' + this.from + ', to=' + this.to + ')';
-  };
-  protoOf(BridgedAttack).hashCode = function () {
-    var result = getStringHashCode(this.from);
-    result = imul(result, 31) + getStringHashCode(this.to) | 0;
-    return result;
-  };
-  protoOf(BridgedAttack).equals = function (other) {
-    if (this === other)
-      return true;
-    if (!(other instanceof BridgedAttack))
-      return false;
-    if (!(this.from === other.from))
-      return false;
-    if (!(this.to === other.to))
-      return false;
-    return true;
-  };
-  function JsPair(first, second) {
-    this.first = first;
-    this.second = second;
-  }
-  protoOf(JsPair).mj = function () {
-    return this.first;
-  };
-  protoOf(JsPair).nj = function () {
-    return this.second;
-  };
-  protoOf(JsPair).zd = function () {
-    return this.first;
-  };
-  protoOf(JsPair).ae = function () {
-    return this.second;
-  };
-  protoOf(JsPair).oj = function (first, second) {
-    return new JsPair(first, second);
-  };
-  protoOf(JsPair).copy = function (first, second, $super) {
-    first = first === VOID ? this.first : first;
-    second = second === VOID ? this.second : second;
-    return $super === VOID ? this.oj(first, second) : $super.oj.call(this, first, second);
-  };
-  protoOf(JsPair).toString = function () {
-    return 'JsPair(first=' + toString(this.first) + ', second=' + toString(this.second) + ')';
-  };
-  protoOf(JsPair).hashCode = function () {
-    var result = this.first == null ? 0 : hashCode(this.first);
-    result = imul(result, 31) + (this.second == null ? 0 : hashCode(this.second)) | 0;
-    return result;
-  };
-  protoOf(JsPair).equals = function (other) {
-    if (this === other)
-      return true;
-    if (!(other instanceof JsPair))
-      return false;
-    if (!equals(this.first, other.first))
-      return false;
-    if (!equals(this.second, other.second))
-      return false;
-    return true;
-  };
-  function JsIterator(nextFunction, hasNextFunction) {
-    this.j4w_1 = nextFunction;
-    this.k4w_1 = hasNextFunction;
-  }
-  protoOf(JsIterator).hasNext = function () {
-    return this.k4w_1();
-  };
-  protoOf(JsIterator).next = function () {
-    if (!this.hasNext())
-      throw NoSuchElementException_init_$Create$('No more elements');
-    return this.j4w_1();
-  };
-  function BridgedResult$queryContext$lambda(it) {
-    return it.e1z();
+  function Arg2pLibrary() {
   }
-  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).n4w = function () {
-    return this.i;
-  };
-  protoOf(BridgedResult).n1z = function () {
-    return this.query;
-  };
-  protoOf(BridgedResult).graphAt = function (context) {
-    return JsBridge_instance.o4w(this.l4w_1, context);
-  };
-  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;
-    this.attacks = attacks;
-  }
-  protoOf(BridgedGraph).k2f = function () {
-    return this.arguments;
-  };
-  protoOf(BridgedGraph).p4w = function () {
-    return this.attacks;
-  };
-  protoOf(BridgedGraph).equals = function (other) {
-    if (this === other)
-      return true;
-    if (other == null || !getKClassFromExpression(this).equals(getKClassFromExpression(other)))
-      return false;
-    if (!(other instanceof BridgedGraph))
-      THROW_CCE();
-    if (!contentEquals(this.arguments, other.arguments))
-      return false;
-    if (!contentEquals(this.attacks, other.attacks))
-      return false;
-    return true;
-  };
-  protoOf(BridgedGraph).hashCode = function () {
-    var result = contentHashCode(this.arguments);
-    result = imul(31, result) + contentHashCode(this.attacks) | 0;
-    return result;
-  };
-  protoOf(BridgedGraph).zd = function () {
-    return this.arguments;
-  };
-  protoOf(BridgedGraph).ae = function () {
-    return this.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.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, 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).r4w = function () {
-    return this.res;
-  };
-  protoOf(BridgedSolution).n1z = function () {
-    return this.query;
-  };
-  protoOf(BridgedSolution).s4w = function () {
-    return this.substitutions;
-  };
-  protoOf(BridgedSolution).q1z = function () {
-    return this.exception;
-  };
-  protoOf(BridgedSolution).t4w = function () {
-    return this.graph;
-  };
-  protoOf(BridgedSolution).r8 = function () {
-    return this.context;
-  };
-  protoOf(BridgedSolution).equals = function (other) {
-    if (this === other)
-      return true;
-    if (other == null || !getKClassFromExpression(this).equals(getKClassFromExpression(other)))
-      return false;
-    if (!(other instanceof BridgedSolution))
-      THROW_CCE();
-    if (!(this.res === other.res))
-      return false;
-    if (!(this.query === other.query))
-      return false;
-    if (!contentEquals(this.substitutions, other.substitutions))
-      return false;
-    if (!(this.exception === other.exception))
-      return false;
-    return true;
-  };
-  protoOf(BridgedSolution).hashCode = function () {
-    var result = getStringHashCode(this.res);
-    result = imul(31, result) + getStringHashCode(this.query) | 0;
-    result = imul(31, result) + contentHashCode(this.substitutions) | 0;
-    result = imul(31, result) + getStringHashCode(this.exception) | 0;
-    return result;
-  };
-  protoOf(BridgedSolution).zd = function () {
-    return this.res;
-  };
-  protoOf(BridgedSolution).ae = function () {
-    return this.query;
-  };
-  protoOf(BridgedSolution).e4w = function () {
-    return this.substitutions;
-  };
-  protoOf(BridgedSolution).u4w = function () {
-    return this.exception;
-  };
-  protoOf(BridgedSolution).v4w = function () {
-    return this.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, 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;
-    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() + ', context=' + this.context + ')';
-  };
-  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_1().of('argumentation.flags', VOID, flags);
-    var tmp = PrologSolverFactory_instance;
-    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$activeContext$lambda$lambda(it) {
-    return it.e1z();
-  }
-  function JsBridge$activeContext$lambda$lambda_0($this_arg2pScope) {
-    return function (it) {
-      return toInt(toString(it.u1x().l2($this_arg2pScope.p1j())));
-    };
-  }
-  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$activeContext$lambda$lambda);
-      return first(map(tmp_0, JsBridge$activeContext$lambda$lambda_0($this$arg2pScope)));
-    };
-  }
-  function JsBridge$solverOf$lambda(_unused_var__etf5q3) {
-    return Unit_instance;
-  }
-  function JsBridge$solverOf$lambda_0(_unused_var__etf5q3) {
-    return Unit_instance;
-  }
-  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$_0(this_0.t());
-        // Inline function 'kotlin.collections.iterator' call
-        var _iterator__ex2g4s = this_0.d1().n();
-        while (_iterator__ex2g4s.q()) {
-          var item = _iterator__ex2g4s.r();
-          var tmp$ret$3 = new JsPair($formatter.j15(item.h2()), $formatter.j15(item.i2()));
-          destination.l(tmp$ret$3);
-        }
-        // Inline function 'kotlin.collections.toTypedArray' call
-        var tmp$ret$4 = copyToArray(destination);
-        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, '', graph, context);
-      } else {
-        // Inline function 'kotlin.emptyArray' call
-        var tmp$ret$6 = [];
-        tmp = new BridgedSolution('halt', '', tmp$ret$6, toString(sol.q1z()), graph, context);
-      }
-      return tmp;
-    };
-  }
-  function JsBridge$solve$lambda_0($i) {
-    return function () {
-      return $i.q() ? $i.r() : null;
-    };
-  }
-  function JsBridge$solve$lambda_1($i) {
-    return function () {
-      return $i.q();
-    };
-  }
-  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(Arg2pLibrary).u57 = function () {
+    return Companion_instance.u44(VOID, listOf(new CausalityModule()));
   };
-  protoOf(JsBridge).solve = function (queryText, theoryText, flagsText, outputConsumer) {
-    var solver = solverOf(this, outputConsumer, flagsText);
-    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(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), solver, formatter);
+  protoOf(Arg2pLibrary).version = function () {
+    return '0.18.0';
   };
-  var JsBridge_instance;
-  function JsBridge_getInstance() {
-    return JsBridge_instance;
+  var Arg2pLibrary_instance;
+  function Arg2pLibrary_getInstance() {
+    return Arg2pLibrary_instance;
   }
   //region block: init
-  JsBridge_instance = new JsBridge();
+  Arg2pLibrary_instance = new Arg2pLibrary();
   //endregion
   //region block: exports
   function $jsExportAll$(_) {
@@ -571,20 +53,13 @@
     var unibo = it.unibo || (it.unibo = {});
     var tuprolog = unibo.tuprolog || (unibo.tuprolog = {});
     var argumentation = tuprolog.argumentation || (tuprolog.argumentation = {});
-    var bridge = argumentation.bridge || (argumentation.bridge = {});
-    bridge.BridgedArgument = BridgedArgument;
-    bridge.BridgedAttack = BridgedAttack;
-    bridge.JsPair = JsPair;
-    bridge.JsIterator = JsIterator;
-    bridge.BridgedResult = BridgedResult;
-    bridge.BridgedGraph = BridgedGraph;
-    bridge.BridgedSolution = BridgedSolution;
-    defineProp(bridge, 'JsBridge', JsBridge_getInstance, VOID, true);
+    defineProp(argumentation, 'Arg2pLibrary', Arg2pLibrary_getInstance, VOID, true);
   }
   $jsExportAll$(_);
   kotlin_kotlin.$jsExportAll$(_);
   kotlin_io_github_gciatto_kt_math.$jsExportAll$(_);
-  kotlin_it_unibo_tuprolog_solve_prolog.$jsExportAll$(_);
+  kotlin_it_unibo_tuprolog_argumentation_core.$jsExportAll$(_);
+  kotlin_it_unibo_tuprolog_argumentation_causality_solver.$jsExportAll$(_);
   //endregion
   return _;
 }));

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","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;;;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt","../../../../../../src/commonMain/kotlin/it/unibo/tuprolog/argumentation/Arg2pLibrary.kt"],"sourcesContent":[null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["<init>","get","version"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ECOAA,sBAAAA,EAAA;A,EAAA,C;8BAOIC,UAAAA,EAAY;A,IAA4D,OAAhD,6BAAsB,OAAO,qBAAP,CAAtB,C;EAA+C,C;kCAGvEC,UAAAA,EAAwB;A,IAAa,OAAb,Q;EAAY,C;;EDjBxC,kCAAA,EAAA;AAAA;AAAA,GAAA;;;;;yB;;;;;;;;;;;;;;;"}