@tuprolog/arg2p 0.10.0

package/arg2p.js

@@ -0,0 +1,565 @@
+(function (root, 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-classic.js', './arg2p-causality-solver.js', './2p-core.js', './2p-parser-core.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-classic.js'), require('./arg2p-causality-solver.js'), require('./2p-core.js'), require('./2p-parser-core.js'), require('./kt-math.js'));
+  else {
+    if (typeof this['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 this['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 this['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 this['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 this['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 this['2p-solve-classic'] === 'undefined') {
+      throw new Error("Error loading module 'it.unibo.tuprolog.argumentation:arg2p'. Its dependency '2p-solve-classic' was not found. Please, check whether '2p-solve-classic' is loaded prior to 'it.unibo.tuprolog.argumentation:arg2p'.");
+    }
+    if (typeof this['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 this['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 this['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 this['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'.");
+    }
+    root['it.unibo.tuprolog.argumentation:arg2p'] = factory(typeof this['it.unibo.tuprolog.argumentation:arg2p'] === 'undefined' ? {} : this['it.unibo.tuprolog.argumentation:arg2p'], this['kotlin-kotlin-stdlib'], this['arg2p-core'], this['2p-theory'], this['2p-parser-theory'], this['2p-solve'], this['2p-solve-classic'], this['arg2p-causality-solver'], this['2p-core'], this['2p-parser-core'], this['kt-math']);
+  }
+}(this, 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_classic, kotlin_it_unibo_tuprolog_argumentation_causality_solver, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_parser_core, kotlin_io_github_gciatto_kt_math) {
+  'use strict';
+  //region block: imports
+  var imul = Math.imul;
+  var protoOf = kotlin_kotlin.$_$.b6;
+  var VOID = kotlin_kotlin.$_$.d;
+  var getStringHashCode = kotlin_kotlin.$_$.m5;
+  var THROW_CCE = kotlin_kotlin.$_$.y9;
+  var classMeta = kotlin_kotlin.$_$.f5;
+  var setMetadataFor = kotlin_kotlin.$_$.c6;
+  var hashCode = kotlin_kotlin.$_$.n5;
+  var equals = kotlin_kotlin.$_$.i5;
+  var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.z;
+  var getKClassFromExpression = kotlin_kotlin.$_$.b;
+  var Unit_instance = kotlin_kotlin.$_$.s1;
+  var contentEquals = kotlin_kotlin.$_$.m2;
+  var contentHashCode = kotlin_kotlin.$_$.n2;
+  var toString = kotlin_kotlin.$_$.g6;
+  var arg2pScope = kotlin_it_unibo_tuprolog_argumentation_core.$_$.e;
+  var mineGraph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.j;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.j2;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.e;
+  var copyToArray = kotlin_kotlin.$_$.r2;
+  var Companion_instance = kotlin_it_unibo_tuprolog_theory.$_$.b;
+  var parseTheory = kotlin_it_unibo_tuprolog_parser_theory.$_$.a;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h1;
+  var ClassicSolverFactory_instance = kotlin_it_unibo_tuprolog_solve_classic.$_$.a;
+  var Companion_instance_0 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.c;
+  var CausalitySolver = kotlin_it_unibo_tuprolog_argumentation_causality_solver.$_$.a;
+  var listOf = kotlin_kotlin.$_$.j3;
+  var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g1;
+  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f1;
+  var Companion_instance_1 = kotlin_it_unibo_tuprolog_solve.$_$.s;
+  var toString_0 = kotlin_kotlin.$_$.ka;
+  var toInt = kotlin_kotlin.$_$.g9;
+  var filter = kotlin_kotlin.$_$.j7;
+  var map = kotlin_kotlin.$_$.v7;
+  var first = kotlin_kotlin.$_$.l7;
+  var ensureNotNull = kotlin_kotlin.$_$.ca;
+  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.u;
+  var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.f;
+  var parseTheoryWithOperators = kotlin_it_unibo_tuprolog_parser_theory.$_$.b;
+  var Companion_instance_2 = kotlin_it_unibo_tuprolog_core.$_$.x;
+  var objectMeta = kotlin_kotlin.$_$.a6;
+  var defineProp = kotlin_kotlin.$_$.h5;
+  //endregion
+  //region block: pre-declaration
+  setMetadataFor(BridgedArgument, 'BridgedArgument', classMeta);
+  setMetadataFor(BridgedAttack, 'BridgedAttack', classMeta);
+  setMetadataFor(JsPair, 'JsPair', classMeta);
+  setMetadataFor(JsIterator, 'JsIterator', classMeta);
+  setMetadataFor(BridgedResult, 'BridgedResult', classMeta);
+  setMetadataFor(BridgedGraph, 'BridgedGraph', classMeta);
+  setMetadataFor(BridgedSolution, 'BridgedSolution', classMeta);
+  setMetadataFor(JsBridge, 'JsBridge', objectMeta);
+  //endregion
+  function BridgedArgument(id, descriptor, label) {
+    this.id = id;
+    this.descriptor = descriptor;
+    this.label = label;
+  }
+  protoOf(BridgedArgument).s13 = function () {
+    return this.id;
+  };
+  protoOf(BridgedArgument).r3l = function () {
+    return this.descriptor;
+  };
+  protoOf(BridgedArgument).p3p = function () {
+    return this.label;
+  };
+  protoOf(BridgedArgument).gd = function () {
+    return this.id;
+  };
+  protoOf(BridgedArgument).hd = function () {
+    return this.descriptor;
+  };
+  protoOf(BridgedArgument).q3p = function () {
+    return this.label;
+  };
+  protoOf(BridgedArgument).r3p = 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 this.r3p(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;
+    var tmp0_other_with_cast = other instanceof BridgedArgument ? other : THROW_CCE();
+    if (!(this.id === tmp0_other_with_cast.id))
+      return false;
+    if (!(this.descriptor === tmp0_other_with_cast.descriptor))
+      return false;
+    if (!(this.label === tmp0_other_with_cast.label))
+      return false;
+    return true;
+  };
+  function BridgedAttack(from, to) {
+    this.from = from;
+    this.to = to;
+  }
+  protoOf(BridgedAttack).s3p = function () {
+    return this.from;
+  };
+  protoOf(BridgedAttack).t3p = function () {
+    return this.to;
+  };
+  protoOf(BridgedAttack).gd = function () {
+    return this.from;
+  };
+  protoOf(BridgedAttack).hd = function () {
+    return this.to;
+  };
+  protoOf(BridgedAttack).u3p = 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 this.u3p(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;
+    var tmp0_other_with_cast = other instanceof BridgedAttack ? other : THROW_CCE();
+    if (!(this.from === tmp0_other_with_cast.from))
+      return false;
+    if (!(this.to === tmp0_other_with_cast.to))
+      return false;
+    return true;
+  };
+  function JsPair(first, second) {
+    this.first = first;
+    this.second = second;
+  }
+  protoOf(JsPair).v3p = function () {
+    return this.first;
+  };
+  protoOf(JsPair).w3p = function () {
+    return this.second;
+  };
+  protoOf(JsPair).gd = function () {
+    return this.first;
+  };
+  protoOf(JsPair).hd = function () {
+    return this.second;
+  };
+  protoOf(JsPair).x3p = 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 this.x3p(first, second);
+  };
+  protoOf(JsPair).toString = function () {
+    return 'JsPair(first=' + this.first + ', second=' + 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;
+    var tmp0_other_with_cast = other instanceof JsPair ? other : THROW_CCE();
+    if (!equals(this.first, tmp0_other_with_cast.first))
+      return false;
+    if (!equals(this.second, tmp0_other_with_cast.second))
+      return false;
+    return true;
+  };
+  function JsIterator(nextFunction, hasNextFunction) {
+    this.y3p_1 = nextFunction;
+    this.z3p_1 = hasNextFunction;
+  }
+  protoOf(JsIterator).hasNext = function () {
+    return this.z3p_1();
+  };
+  protoOf(JsIterator).next = function () {
+    if (!this.hasNext())
+      throw NoSuchElementException_init_$Create$('No more elements');
+    return this.y3p_1();
+  };
+  function BridgedResult(i, query) {
+    this.i = i;
+    this.query = query;
+  }
+  protoOf(BridgedResult).a3q = function () {
+    return this.i;
+  };
+  protoOf(BridgedResult).q1w = function () {
+    return this.query;
+  };
+  protoOf(BridgedResult).gd = function () {
+    return this.i;
+  };
+  protoOf(BridgedResult).hd = function () {
+    return this.query;
+  };
+  protoOf(BridgedResult).b3q = 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 this.b3q(i, query);
+  };
+  protoOf(BridgedResult).toString = function () {
+    return 'BridgedResult(i=' + 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).equals = function (other) {
+    if (this === other)
+      return true;
+    if (!(other instanceof BridgedResult))
+      return false;
+    var tmp0_other_with_cast = other instanceof BridgedResult ? other : THROW_CCE();
+    if (!equals(this.i, tmp0_other_with_cast.i))
+      return false;
+    if (!(this.query === tmp0_other_with_cast.query))
+      return false;
+    return true;
+  };
+  function BridgedGraph(arguments_0, attacks) {
+    this.arguments = arguments_0;
+    this.attacks = attacks;
+  }
+  protoOf(BridgedGraph).k2b = function () {
+    return this.arguments;
+  };
+  protoOf(BridgedGraph).c3q = function () {
+    return this.attacks;
+  };
+  protoOf(BridgedGraph).equals = function (other) {
+    if (this === other)
+      return true;
+    if (other == null ? true : !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).gd = function () {
+    return this.arguments;
+  };
+  protoOf(BridgedGraph).hd = function () {
+    return this.attacks;
+  };
+  protoOf(BridgedGraph).d3q = 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 this.d3q(arguments_0, attacks);
+  };
+  protoOf(BridgedGraph).toString = function () {
+    return 'BridgedGraph(arguments=' + toString(this.arguments) + ', attacks=' + toString(this.attacks) + ')';
+  };
+  function BridgedSolution(res, query, substitutions, exception, graph) {
+    this.res = res;
+    this.query = query;
+    this.substitutions = substitutions;
+    this.exception = exception;
+    this.graph = graph;
+  }
+  protoOf(BridgedSolution).e3q = function () {
+    return this.res;
+  };
+  protoOf(BridgedSolution).q1w = function () {
+    return this.query;
+  };
+  protoOf(BridgedSolution).f3q = function () {
+    return this.substitutions;
+  };
+  protoOf(BridgedSolution).t1w = function () {
+    return this.exception;
+  };
+  protoOf(BridgedSolution).g3q = function () {
+    return this.graph;
+  };
+  protoOf(BridgedSolution).equals = function (other) {
+    if (this === other)
+      return true;
+    if (other == null ? true : !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).gd = function () {
+    return this.res;
+  };
+  protoOf(BridgedSolution).hd = function () {
+    return this.query;
+  };
+  protoOf(BridgedSolution).q3p = function () {
+    return this.substitutions;
+  };
+  protoOf(BridgedSolution).h3q = function () {
+    return this.exception;
+  };
+  protoOf(BridgedSolution).i3q = function () {
+    return this.graph;
+  };
+  protoOf(BridgedSolution).j3q = function (res, query, substitutions, exception, graph) {
+    return new BridgedSolution(res, query, substitutions, exception, graph);
+  };
+  protoOf(BridgedSolution).copy = function (res, query, substitutions, exception, graph, $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 this.j3q(res, query, substitutions, exception, graph);
+  };
+  protoOf(BridgedSolution).toString = function () {
+    return 'BridgedSolution(res=' + this.res + ', query=' + this.query + ', substitutions=' + toString(this.substitutions) + ', exception=' + this.exception + ', graph=' + this.graph + ')';
+  };
+  function graphOf($this, solver) {
+    var graph = mineGraph(solver, arg2pScope(JsBridge$graphOf$lambda(solver)));
+    // Inline function 'kotlin.collections.toTypedArray' call
+    // Inline function 'kotlin.collections.map' call
+    var this_0 = graph.b3m_1;
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
+    var tmp0_iterator = this_0.r();
+    while (tmp0_iterator.s()) {
+      var item = tmp0_iterator.u();
+      // Inline function 'it.unibo.tuprolog.argumentation.bridge.JsBridge.graphOf.<anonymous>' call
+      var tmp$ret$0 = new BridgedArgument(item.w3l_1.l3l_1, item.w3l_1.r3l(), item.x3l_1);
+      destination.o(tmp$ret$0);
+    }
+    var tmp = copyToArray(destination);
+    // Inline function 'kotlin.collections.toTypedArray' call
+    // Inline function 'kotlin.collections.map' call
+    var this_1 = graph.z3l_1;
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination_0 = ArrayList_init_$Create$(collectionSizeOrDefault(this_1, 10));
+    var tmp0_iterator_0 = this_1.r();
+    while (tmp0_iterator_0.s()) {
+      var item_0 = tmp0_iterator_0.u();
+      // Inline function 'it.unibo.tuprolog.argumentation.bridge.JsBridge.graphOf.<anonymous>' call
+      var tmp$ret$4 = new BridgedAttack(item_0.s3l_1.l3l_1, item_0.t3l_1.l3l_1);
+      destination_0.o(tmp$ret$4);
+    }
+    var tmp$ret$7 = copyToArray(destination_0);
+    return new BridgedGraph(tmp, tmp$ret$7);
+  }
+  function solverOf($this, outputConsumer, flagsText) {
+    var flags = parseTheory(Companion_instance, flagsText);
+    var libFlags = Companion_getInstance().of('argumentation.flags', VOID, flags);
+    var tmp = ClassicSolverFactory_instance;
+    var tmp_0 = ClassicSolverFactory_instance.p1y().plusRuntime(Companion_instance_0.u3a(VOID, listOf(new CausalitySolver())).q3a().plusLibrary(libFlags));
+    var tmp_1 = ClassicSolverFactory_instance.s1y().setNotable(Unknown_getInstance(), Unknown_getInstance().b2a_1).setNotable(TrackVariables_getInstance(), TrackVariables_getInstance().v29_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));
+  }
+  function JsBridge$graphOf$lambda$lambda(it) {
+    return it.u1w();
+  }
+  function JsBridge$graphOf$lambda$lambda_0($this_arg2pScope) {
+    return function (it) {
+      return toInt(toString_0(it.m1v().x2($this_arg2pScope.c1h())));
+    };
+  }
+  function JsBridge$graphOf$lambda($solver) {
+    return function ($this$arg2pScope) {
+      var tmp = $solver.solve($this$arg2pScope.stringInvoke('context_active', $this$arg2pScope.c1h(), []));
+      var tmp_0 = filter(tmp, JsBridge$graphOf$lambda$lambda);
+      return first(map(tmp_0, JsBridge$graphOf$lambda$lambda_0($this$arg2pScope)));
+    };
+  }
+  function JsBridge$solverOf$lambda(_anonymous_parameter_0__qggqh8) {
+    return Unit_instance;
+  }
+  function JsBridge$solverOf$lambda_0(_anonymous_parameter_0__qggqh8) {
+    return Unit_instance;
+  }
+  function JsBridge$solve$lambda($formatter, $solver) {
+    return function (sol) {
+      var tmp;
+      if (sol.u1w()) {
+        var tmp_0 = $formatter.f13(ensureNotNull(sol.o1w()));
+        // Inline function 'kotlin.collections.toTypedArray' call
+        // Inline function 'kotlin.collections.map' call
+        var this_0 = sol.m1v();
+        // Inline function 'kotlin.collections.mapTo' call
+        var destination = ArrayList_init_$Create$(this_0.l());
+        // Inline function 'kotlin.collections.iterator' call
+        var tmp0_iterator = this_0.n2().r();
+        while (tmp0_iterator.s()) {
+          var item = tmp0_iterator.u();
+          // Inline function 'it.unibo.tuprolog.argumentation.bridge.JsBridge.solve.<anonymous>.<anonymous>' call
+          var tmp$ret$1 = new JsPair($formatter.f13(item.q2()), $formatter.f13(item.r2()));
+          destination.o(tmp$ret$1);
+        }
+        var tmp$ret$4 = copyToArray(destination);
+        tmp = new BridgedSolution('yes', tmp_0, tmp$ret$4, '', graphOf(JsBridge_instance, $solver));
+      } else if (sol.v1w()) {
+        // Inline function 'kotlin.emptyArray' call
+        var tmp$ret$5 = [];
+        tmp = new BridgedSolution('no', '', tmp$ret$5, '', graphOf(JsBridge_instance, $solver));
+      } else {
+        // Inline function 'kotlin.emptyArray' call
+        var tmp$ret$6 = [];
+        tmp = new BridgedSolution('halt', '', tmp$ret$6, toString_0(sol.t1w()), graphOf(JsBridge_instance, $solver));
+      }
+      return tmp;
+    };
+  }
+  function JsBridge$solve$lambda_0($i) {
+    return function () {
+      return $i.s() ? $i.u() : null;
+    };
+  }
+  function JsBridge$solve$lambda_1($i) {
+    return function () {
+      return $i.s();
+    };
+  }
+  function JsBridge() {
+  }
+  protoOf(JsBridge).solve = function (queryText, theoryText, flagsText, outputConsumer) {
+    var solver = solverOf(this, outputConsumer, flagsText);
+    var query = parseStructWithOperators(Companion_getInstance_0(), queryText, solver.z1v());
+    var theory = parseTheoryWithOperators(Companion_instance, theoryText, solver.z1v());
+    var formatter = Companion_instance_2.prettyExpressionsPrettyVariablesDefaultOperators();
+    solver.loadStaticKb(theory);
+    var tmp = solver.solve(query);
+    var solutions = map(tmp, JsBridge$solve$lambda(formatter, solver));
+    var i = solutions.r();
+    var tmp_0 = JsBridge$solve$lambda_0(i);
+    var jsIt = new JsIterator(tmp_0, JsBridge$solve$lambda_1(i));
+    return new BridgedResult(jsIt, formatter.f13(query));
+  };
+  var JsBridge_instance;
+  function JsBridge_getInstance() {
+    return JsBridge_instance;
+  }
+  //region block: init
+  JsBridge_instance = new JsBridge();
+  //endregion
+  //region block: exports
+  function $jsExportAll$(_) {
+    var $it = _.it || (_.it = {});
+    var $it$unibo = $it.unibo || ($it.unibo = {});
+    var $it$unibo$tuprolog = $it$unibo.tuprolog || ($it$unibo.tuprolog = {});
+    var $it$unibo$tuprolog$argumentation = $it$unibo$tuprolog.argumentation || ($it$unibo$tuprolog.argumentation = {});
+    var $it$unibo$tuprolog$argumentation$bridge = $it$unibo$tuprolog$argumentation.bridge || ($it$unibo$tuprolog$argumentation.bridge = {});
+    $it$unibo$tuprolog$argumentation$bridge.BridgedArgument = BridgedArgument;
+    $it$unibo$tuprolog$argumentation$bridge.BridgedAttack = BridgedAttack;
+    $it$unibo$tuprolog$argumentation$bridge.JsPair = JsPair;
+    $it$unibo$tuprolog$argumentation$bridge.JsIterator = JsIterator;
+    $it$unibo$tuprolog$argumentation$bridge.BridgedResult = BridgedResult;
+    $it$unibo$tuprolog$argumentation$bridge.BridgedGraph = BridgedGraph;
+    $it$unibo$tuprolog$argumentation$bridge.BridgedSolution = BridgedSolution;
+    defineProp($it$unibo$tuprolog$argumentation$bridge, 'JsBridge', JsBridge_getInstance);
+  }
+  $jsExportAll$(_);
+  kotlin_io_github_gciatto_kt_math.$jsExportAll$(_);
+  kotlin_it_unibo_tuprolog_solve_classic.$jsExportAll$(_);
+  //endregion
+  return _;
+}));
+
+//# sourceMappingURL=arg2p.js.map

package/arg2p.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../../../../../src/commonMain/kotlin/it/unibo/tuprolog/argumentation/bridge/JsBridge.kt","common/src/generated/_Collections.kt","src/jsMainSources/libraries/stdlib/js/src/kotlin/collectionJs.kt","common/src/generated/_Maps.kt","src/kotlin/collections/Maps.kt","js-ir/runtime/kotlinHacks.kt"],"sourcesContent":[null,null,null,null,null,null],"names":["<init>","id","descriptor","label","<get-id>","<get-descriptor>","<get-label>","component1","component2","component3","copy","copy$default","toString","hashCode","result","equals","other","from","to","<get-from>","<get-to>","first","second","<get-first>","<get-second>","nextFunction","hasNextFunction","hasNext","next","i","query","<get-i>","<get-query>","arguments","attacks","<get-arguments>","<get-attacks>","res","substitutions","exception","graph","<get-res>","<get-substitutions>","<get-exception>","<get-graph>","component4","component5","graphOf","solver","item","solverOf","outputConsumer","flagsText","flags","libFlags","JsBridge$graphOf$lambda$lambda","it","$this_arg2pScope","JsBridge$graphOf$lambda$lambda$lambda","JsBridge$graphOf$lambda","$solver","$this$arg2pScope","JsBridge$solverOf$lambda","JsBridge$solve$lambda","$formatter","JsBridge$solve$lambda$lambda","sol","$i","solve","queryText","theoryText","theory","formatter","solutions","jsIt"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;0BAoBKA,CAAsBC,E,EAAgBC,U,EAAwBC,KAA9DH,EADL;A,IAC2B,Y;IAAgB,4B;IAAwB,kB;EADnE,C;0CAC2BI,CAAAA,EAAA;A,IAAA,c;EAAa,C;0CAAGC,CAAAA,EAAA;A,IAAA,sB;EAAqB,C;0CAAGC,CAAAA,EAAA;A,IAAA,iB;EAAgB,C;yCApBnFC,CAAAA,EAAA;A,IAAA,c;EAAA,C;yCAAAC,CAAAA,EAAA;A,IAAA,sB;EAAA,C;0CAAAC,CAAAA,EAAA;A,IAAA,iB;EAAA,C;0CAAAC,CAoB2BT,E,EAAgBC,U,EAAwBC,KApBnEO,EAAA;A,IAAA,iD;EAAA,C;2CAAAC,CAoB2BV,E,EAAgBC,U,EAAwBC,K,QApBnEQ,E;uBAAA,I,CAAA,E;uCAAA,I,CAAA,U;6BAAA,I,CAAA,K;;G;+CAAAC,CAAAA,EAAA;A,IAAA,0G;EAAA,C;+CAAAC,CAAAA,EAAA;A,QAAAC,mC;IAAA,kE;IAAA,6D;IAAA,a;EAAA,C;6CAAAC,CAAAC,KAAAD,EAAA;A,IAAA,mB;MAAA,W;IAAA,wC;MAAA,Y;QAAA,6E;IAAA,2C;MAAA,Y;IAAA,2D;MAAA,Y;IAAA,iD;MAAA,Y;IAAA,W;EAAA,C;wBAuBKf,CAAoBiB,I,EAAkBC,EAAtClB,EADL;A,IACyB,gB;IAAkB,Y;EAD3C,C;wCACyBmB,CAAAA,EAAA;A,IAAA,gB;EAAe,C;wCAAGC,CAAAA,EAAA;A,IAAA,c;EAAa,C;uCAvBxDb,CAAAA,EAAA;A,IAAA,gB;EAAA,C;uCAAAC,CAAAA,EAAA;A,IAAA,c;EAAA,C;wCAAAE,CAuByBO,I,EAAkBC,EAvB3CR,EAAA;A,IAAA,kC;EAAA,C;yCAAAC,CAuByBM,I,EAAkBC,E,QAvB3CP,E;2BAAA,I,CAAA,I;uBAAA,I,CAAA,E;;G;6CAAAC,CAAAA,EAAA;A,IAAA,kE;EAAA,C;6CAAAC,CAAAA,EAAA;A,QAAAC,qC;IAAA,0D;IAAA,a;EAAA,C;2CAAAC,CAAAC,KAAAD,EAAA;A,IAAA,mB;MAAA,W;IAAA,sC;MAAA,Y;QAAA,2E;IAAA,+C;MAAA,Y;IAAA,2C;MAAA,Y;IAAA,W;EAAA,C;iBA0BKf,CAAmBqB,K,EAAcC,MAAjCtB,EADL;A,IACwB,kB;IAAc,oB;EADtC,C;iCACwBuB,CAAAA,EAAA;A,IAAA,iB;EAAW,C;iCAAGC,CAAAA,EAAA;A,IAAA,kB;EAAY,C;gCA1BlDjB,CAAAA,EAAA;A,IAAA,iB;EAAA,C;gCAAAC,CAAAA,EAAA;A,IAAA,kB;EAAA,C;iCAAAE,CA0BwBW,K,EAAcC,MA1BtCZ,EAAA;A,IAAA,gC;EAAA,C;kCAAAC,CA0BwBU,K,EAAcC,M,QA1BtCX,E;6BAAA,I,CAAA,K;+BAAA,I,CAAA,M;;G;sCAAAC,CAAAA,EAAA;A,IAAA,qE;EAAA,C;sCAAAC,CAAAA,EAAA;A,QAAAC,sD;IAAA,iF;IAAA,a;EAAA,C;oCAAAC,CAAAC,KAAAD,EAAA;A,IAAA,mB;MAAA,W;IAAA,+B;MAAA,Y;QAAA,oE;IAAA,oD;MAAA,Y;IAAA,sD;MAAA,Y;IAAA,W;EAAA,C;qBA6BAf,CAAoByB,Y,EAAoCC,eAAxD1B,EADA;A,IACoB,yB;IAAoC,4B;EADxD,C;yCAEI2B,CAAAA,EAAyB;A,IAAiB,OAAjB,Y;EAAgB,C;sCAEzCC,CAAAA,EAAe;A,IACX,IAAI,CAAC,cAAL,C;MAAgB,MAAM,qCAAwB,kBAAxB,C;IACtB,OAAO,Y;EACX,C;wBAIC5B,CAAoB6B,C,EAAoCC,KAAxD9B,EADL;A,IACyB,U;IAAoC,kB;EAD7D,C;wCACyB+B,CAAAA,EAAA;A,IAAA,a;EAAiC,C;wCAAGC,CAAAA,EAAA;A,IAAA,iB;EAAgB,C;uCAvC7EzB,CAAAA,EAAA;A,IAAA,a;EAAA,C;uCAAAC,CAAAA,EAAA;A,IAAA,iB;EAAA,C;wCAAAE,CAuCyBmB,C,EAAoCC,KAvC7DpB,EAAA;A,IAAA,kC;EAAA,C;yCAAAC,CAuCyBkB,C,EAAoCC,K,QAvC7DnB,E;qBAAA,I,CAAA,C;6BAAA,I,CAAA,K;;G;6CAAAC,CAAAA,EAAA;A,IAAA,kE;EAAA,C;6CAAAC,CAAAA,EAAA;A,QAAAC,yB;IAAA,6D;IAAA,a;EAAA,C;2CAAAC,CAAAC,KAAAD,EAAA;A,IAAA,mB;MAAA,W;IAAA,sC;MAAA,Y;QAAA,2E;IAAA,4C;MAAA,Y;IAAA,iD;MAAA,Y;IAAA,W;EAAA,C;uBA0CKf,CAAmBiC,W,EAAuCC,OAA1DlC,EADL;A,IACwB,4B;IAAuC,sB;EAD/D,C;uCACwBmC,CAAAA,EAAA;A,IAAA,qB;EAAoC,C;uCAAGC,CAAAA,EAAA;A,IAAA,mB;EAAgC,C;0CAClFrB,CAAWC,KAAXD,EAAiC;A,IACtC,IAAI,SAAS,KAAb,C;MAAoB,OAAO,I;IAC3B,IAAI,SAAS,IAAT,UAAiB,8DAAe,KAAf,EAArB,C;MAAkD,OAAO,K;UAEzD,K;;IAEA,IAAI,CAAW,cAAV,IAAU,CAAV,SAAU,EAAc,KAAd,CAAoB,SAApB,CAAf,C;MAA+C,OAAO,K;IACtD,IAAI,CAAS,cAAR,IAAQ,CAAR,OAAQ,EAAc,KAAd,CAAoB,OAApB,CAAb,C;MAA2C,OAAO,K;IAElD,OAAO,I;EACX,C;4CAESF,CAAAA,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;sCA3DJP,CAAAA,EAAA;A,IAAA,qB;EAAA,C;sCAAAC,CAAAA,EAAA;A,IAAA,mB;EAAA,C;uCAAAE,CA0CwBuB,W,EAAuCC,OA1C/DxB,EAAA;A,IAAA,6C;EAAA,C;wCAAAC,CA0CwBsB,W,EAAuCC,O,QA1C/DvB,E;yCAAA,I,CAAA,S;iCAAA,I,CAAA,O;;G;4CAAAC,CAAAA,EAAA;A,IAAA,yG;EAAA,C;0BA+DKZ,CACDqC,G,EACAP,K,EACAQ,a,EACAC,S,EACAC,KALCxC,EADL;A,IAEI,c;IACA,kB;IACA,kC;IACA,0B;IACA,kB;EANJ,C;0CAEIyC,CAAAA,EAAA;A,IAAA,e;EAAc,C;0CACdT,CAAAA,EAAA;A,IAAA,iB;EAAgB,C;0CAChBU,CAAAA,EAAA;A,IAAA,yB;EAA+C,C;0CAC/CC,CAAAA,EAAA;A,IAAA,qB;EAAoB,C;0CACpBC,CAAAA,EAAA;A,IAAA,iB;EAAsB,C;6CAEb7B,CAAWC,KAAXD,EAAiC;A,IACtC,IAAI,SAAS,KAAb,C;MAAoB,OAAO,I;IAC3B,IAAI,SAAS,IAAT,UAAiB,8DAAe,KAAf,EAArB,C;MAAkD,OAAO,K;UAEzD,K;;IAEA,IAAI,eAAO,KAAP,CAAa,GAAb,CAAJ,C;MAAsB,OAAO,K;IAC7B,IAAI,iBAAS,KAAT,CAAe,KAAf,CAAJ,C;MAA0B,OAAO,K;IACjC,IAAI,CAAe,cAAd,IAAc,CAAd,aAAc,EAAc,KAAd,CAAoB,aAApB,CAAnB,C;MAAuD,OAAO,K;IAC9D,IAAI,qBAAa,KAAb,CAAmB,SAAnB,CAAJ,C;MAAkC,OAAO,K;IAEzC,OAAO,I;EACX,C;+CAESF,CAAAA,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;yCA1FJP,CAAAA,EAAA;A,IAAA,e;EAAA,C;yCAAAC,CAAAA,EAAA;A,IAAA,iB;EAAA,C;0CAAAC,CAAAA,EAAA;A,IAAA,yB;EAAA,C;0CAAAoC,CAAAA,EAAA;A,IAAA,qB;EAAA,C;0CAAAC,CAAAA,EAAA;A,IAAA,iB;EAAA,C;0CAAApC,CAgEI2B,G,EACAP,K,EACAQ,a,EACAC,S,EACAC,KApEJ9B,EAAA;A,IAAA,uE;EAAA,C;2CAAAC,CAgEI0B,G,EACAP,K,EACAQ,a,EACAC,S,EACAC,K,QApEJ7B,E;yBAAA,I,CAAA,G;6BAAA,I,CAAA,K;6CAAA,I,CAAA,a;qCAAA,I,CAAA,S;6BAAA,I,CAAA,K;;G;+CAAAC,CAAAA,EAAA;A,IAAA,wL;EAAA,C;kBA+FYmC,C,OAAYC,MAAZD,EAAiD;A,QACrDP,QACW,UAAP,MAAO,EACH,WAAW,+BAAX,CADG,C;;;iBCuBQ,K,CAAM,K;;sBAo5ChB,wBAAa,gCAAwB,EAAxB,CAAb,C;QAuEA,gBAvEN,MAuEM,I;WAAA,iB,EAAb;A,UAAKS,OAAQ,iB;;sBDt+CU,oBAqE8v9C,IArE9v9C,CAAmB,KAAnB,CAA4B,KAA5B,EAqE8v9C,IArE1s9C,CAAT,KAAS,MAApD,EAqE8v9C,IArE9v9C,CAAmE,KAAnE,C;MCu+CnB,WAAY,GAAI,SAAJ,C;IAAmB,C;cC1jD+B,YD2jD3D,WC3jD2D,C;;;iBDgGf,K,CAAM,K;;wBAk5C5C,wBAAa,gCAAwB,EAAxB,CAAb,C;QAuEA,kBAvEN,MAuEM,I;WAAA,mB,EAAb;A,UAAKA,SAAQ,mB;;sBDn+CU,kBAkE8v9C,MAlE9v9C,CAAiB,KAAjB,CAA0B,KAA1B,EAkE8v9C,MAlE9v9C,CAAyC,KAAzC,CAAgD,KAAhD,C;MCo+CnB,aAAY,GAAI,SAAJ,C;IAAmB,C;oBC1jD+B,YD2jD3D,aC3jD2D,C;IFgF9D,OAAO,sBAM0E,SAN1E,C;EAQX,C;mBAEQC,C,OACJC,c,EACAC,SAFIF,EAGS;A,QACbG,QAAmB,gCAAM,SAAN,C;QACnBC,WAAuB,2BAAY,qBAAZ,QAA4C,KAA5C,C;;gBAIM,mCAAe,aACpB,+BACM,OAAO,qBAAP,CADN,CAEV,MAAgB,aAAK,QAAL,CAHc,C;gBAKX,mCAAa,yDAAqB,KAArB,CAA2B,uEAAmC,KAAnC,C;gBACnD,+C;gBACK,wBAAG,cAAH,C;;gBACA,SAAG,wBAAH,C;;IAV3B,OAA4B,6FAWC,SAAG,0BAAH,CAXD,C;EAahC,C;yCApC4BC,CAAAC,EAAAD,EAAA;A,IAAK,OAAH,EAAG,M;EAAM,C;2CACdA,CAHFE,gBAGEF,E;oBAAAG,CAAAF,EAAAE,EAAA;A,MAAgC,aAAX,WAAnB,EAAG,MAAH,IAAgB,sBAAhB,CAAmB,CAAW,C;IAAQ,C;G;kCAH1CC,CAHHC,OAGGD,E;oBAAAJ,CAAAM,gBAAAN,EAAA;A,gBACP,OAAO,OAAM,8BAAC,gBAAD,EAAiB,sBAAjB,KAAN,C;kBACF,YAAO,8BAAP,C;MAEA,aADA,WAAI,kDAAJ,CACA,C;IACT,C;G;mCA8BsBO,CAAE,8BAAFA,EAAA;A,IAAO,oB;EAAA,C;qCACLA,CAAE,8BAAFA,EAAA;A,IAAO,oB;EAAA,C;gCAiBXC,CAJ5BC,U,EAHAJ,OAO4BG,E;oBAAAE,CAAEC,GAAFD,EAAA;A;MACZ,IAAJ,GAAI,O;oBAGA,UAAU,KAAsB,cAAf,GAAI,MAAW,CAAtB,C;;;qBGPI,GAAI,M;;0BAxBzB,wBAAa,UAAb,C;;YA2BA,gBA3BN,MCuQ6E,KAAQ,I;eD5O/E,iB,EAAb;A,cAAKhB,OAAQ,iB;;0BHMkB,WAAO,UAAU,KAGzC,IAHmD,KAAV,CAAjB,EAAiC,UAAU,KAGnE,IAH6E,KAAV,CAA3C,C;UGL3B,WAAY,GAAI,SAAJ,C;QAAmB,C;wBD9H+B,YC+H3D,WD/H2D,C;cF+HlD,oBACK,KADL,SAI8E,SAJ9E,EAKI,EALJ,EAMI,2BAAQ,OAAR,CANJ,C;aAQW,IAAJ,GAAI,O;;wBKhJgB,E;cLiJ3B,oBAAiB,IAAjB,EAAsB,EAAtB,EAA0B,SAA1B,EAAwC,EAAxC,EAA4C,2BAAQ,OAAR,CAA5C,C;;;wBKjJ2B,E;cLmJ3B,oBAAiB,MAAjB,EAAwB,EAAxB,EAA4B,SAA5B,EAAwD,WAAd,GAAI,MAAU,CAAxD,EAAoE,2BAAQ,OAAR,CAApE,C;;MAZJ,U;IAcJ,C;G;kCAKmBc,CAHvBI,EAGuBJ,E;oBAAAE,CAAAA,EAAA;A,MAAE,OAAI,EAAE,IAAN,GAAiB,EAAE,IAAnB,GAA+B,I;IAAK,C;G;kCACnCF,CAJ1BI,EAI0BJ,E;oBAAAE,CAAAA,EAAA;A,MAAI,OAAF,EAAE,I;IAAU,C;G;mBA/EhDjE,CAAAA,EAAA;A,EAAA,C;qCA6CIoE,CACIC,S,EACAC,U,EACAlB,S,EACAD,cAJJiB,EAKiB;A,QACbpB,SAAa,eAAS,cAAT,EAAyB,SAAzB,C;QACblB,QAAmB,oDAAM,SAAN,EAAiB,MAAO,MAAxB,C;QACnByC,SAAoB,6CAAM,UAAN,EAAkB,MAAO,MAAzB,C;QACpBC,YAA8B,uE;IAC9B,MAAO,cAAa,MAAb,C;cAGH,MAAO,OAAM,KAAN,C;QADXC,YACwB,SAAI,wCAAJ,C;QAiBxB5C,IAAQ,SAAU,I;gBAGK,0B;QAFvB6C,OACI,sBAEsB,0BAFtB,C;IAKJ,OAAO,kBAAc,IAAd,EAAoB,SAAU,KAAO,KAAP,CAA9B,C;EACX,C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;"}