@tuprolog/arg2p 0.10.0

package/arg2p-causality-solver.js

@@ -0,0 +1,501 @@
+(function (root, factory) {
+  if (typeof define === 'function' && define.amd)
+    define(['exports', './kotlin-kotlin-stdlib.js', './2p-core.js', './2p-unify.js', './2p-parser-core.js', './arg2p-core.js', './2p-theory.js', './2p-solve.js', './2p-parser-theory.js'], factory);
+  else if (typeof exports === 'object')
+    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-core.js'), require('./2p-unify.js'), require('./2p-parser-core.js'), require('./arg2p-core.js'), require('./2p-theory.js'), require('./2p-solve.js'), require('./2p-parser-theory.js'));
+  else {
+    if (typeof this['kotlin-kotlin-stdlib'] === 'undefined') {
+      throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to 'arg2p-causality-solver'.");
+    }
+    if (typeof this['2p-core'] === 'undefined') {
+      throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to 'arg2p-causality-solver'.");
+    }
+    if (typeof this['2p-unify'] === 'undefined') {
+      throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to 'arg2p-causality-solver'.");
+    }
+    if (typeof this['2p-parser-core'] === 'undefined') {
+      throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency '2p-parser-core' was not found. Please, check whether '2p-parser-core' is loaded prior to 'arg2p-causality-solver'.");
+    }
+    if (typeof this['arg2p-core'] === 'undefined') {
+      throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency 'arg2p-core' was not found. Please, check whether 'arg2p-core' is loaded prior to 'arg2p-causality-solver'.");
+    }
+    if (typeof this['2p-theory'] === 'undefined') {
+      throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency '2p-theory' was not found. Please, check whether '2p-theory' is loaded prior to 'arg2p-causality-solver'.");
+    }
+    if (typeof this['2p-solve'] === 'undefined') {
+      throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to 'arg2p-causality-solver'.");
+    }
+    if (typeof this['2p-parser-theory'] === 'undefined') {
+      throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency '2p-parser-theory' was not found. Please, check whether '2p-parser-theory' is loaded prior to 'arg2p-causality-solver'.");
+    }
+    root['arg2p-causality-solver'] = factory(typeof this['arg2p-causality-solver'] === 'undefined' ? {} : this['arg2p-causality-solver'], this['kotlin-kotlin-stdlib'], this['2p-core'], this['2p-unify'], this['2p-parser-core'], this['arg2p-core'], this['2p-theory'], this['2p-solve'], this['2p-parser-theory']);
+  }
+}(this, function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_argumentation_core, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_parser_theory) {
+  'use strict';
+  //region block: imports
+  var ensureNotNull = kotlin_kotlin.$_$.ca;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.v;
+  var filter = kotlin_kotlin.$_$.j7;
+  var map = kotlin_kotlin.$_$.v7;
+  var firstOrNull = kotlin_kotlin.$_$.k7;
+  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_unify.$_$.b;
+  var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.w;
+  var parseTerm = kotlin_it_unibo_tuprolog_parser_core.$_$.e;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.f;
+  var Unit_instance = kotlin_kotlin.$_$.s1;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.j2;
+  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.e;
+  var addAll = kotlin_kotlin.$_$.z1;
+  var plus = kotlin_kotlin.$_$.d4;
+  var Arg2pSolverFactory_instance = kotlin_it_unibo_tuprolog_argumentation_core.$_$.d;
+  var emptyList = kotlin_kotlin.$_$.t2;
+  var VOID = kotlin_kotlin.$_$.d;
+  var FlagsBuilder = kotlin_it_unibo_tuprolog_argumentation_core.$_$.f;
+  var Graph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.k;
+  var asSequence = kotlin_kotlin.$_$.h2;
+  var flatMap = kotlin_kotlin.$_$.n7;
+  var toList = kotlin_kotlin.$_$.j8;
+  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.l;
+  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.u;
+  var Default_getInstance = kotlin_kotlin.$_$.o1;
+  var nextUInt = kotlin_kotlin.$_$.n6;
+  var UInt = kotlin_kotlin.$_$.ba;
+  var parseStruct = kotlin_it_unibo_tuprolog_parser_core.$_$.d;
+  var Companion_instance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
+  var Collection = kotlin_kotlin.$_$.t1;
+  var isInterface = kotlin_kotlin.$_$.r5;
+  var arg2pScope = kotlin_it_unibo_tuprolog_argumentation_core.$_$.e;
+  var Signature = kotlin_it_unibo_tuprolog_solve.$_$.t2;
+  var protoOf = kotlin_kotlin.$_$.b6;
+  var sequenceOf = kotlin_kotlin.$_$.b8;
+  var classMeta = kotlin_kotlin.$_$.f5;
+  var setMetadataFor = kotlin_kotlin.$_$.c6;
+  var Companion_instance_1 = kotlin_it_unibo_tuprolog_solve.$_$.b1;
+  var Expected_VARIABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.c;
+  var Var = kotlin_it_unibo_tuprolog_core.$_$.t2;
+  var toList_0 = kotlin_kotlin.$_$.l4;
+  var toString = kotlin_kotlin.$_$.g6;
+  var Companion_instance_2 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.a;
+  var Companion_instance_3 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.b;
+  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.i;
+  var replace = kotlin_kotlin.$_$.z8;
+  var listOf = kotlin_kotlin.$_$.k3;
+  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.h1;
+  var mapCapacity = kotlin_kotlin.$_$.l3;
+  var coerceAtLeast = kotlin_kotlin.$_$.s6;
+  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.g;
+  var parseTheoryWithOperators = kotlin_it_unibo_tuprolog_parser_theory.$_$.b;
+  var content = kotlin_it_unibo_tuprolog_argumentation_core.$_$.g;
+  var ArgLibrary = kotlin_it_unibo_tuprolog_argumentation_core.$_$.h;
+  var Loadable = kotlin_it_unibo_tuprolog_argumentation_core.$_$.i;
+  //endregion
+  //region block: pre-declaration
+  setMetadataFor(CausalityCheckIntervention, 'CausalityCheckIntervention', classMeta);
+  setMetadataFor(CausalityCheckCause, 'CausalityCheckCause', classMeta);
+  setMetadataFor(CausalitySolver, 'CausalitySolver', classMeta, VOID, [ArgLibrary, Loadable], CausalitySolver);
+  //endregion
+  function CausalitySolver$CausalityCheckCause$solve$lambda$lambda(it) {
+    return it.u1w();
+  }
+  function CausalitySolver$CausalityCheckCause$solve$lambda$lambda_0($this_arg2pScope) {
+    return function (it) {
+      return ensureNotNull(it.m1v().x2($this_arg2pScope.c1h())).castToList();
+    };
+  }
+  function CausalitySolver$CausalityCheckCause$solve$lambda$lambda_1(this$0, $request, $effect) {
+    return function (it) {
+      return checkCausality(this$0, $request, it, $effect);
+    };
+  }
+  function CausalitySolver$CausalityCheckCause$solve$lambda$lambda_2($intervention) {
+    return function (it) {
+      return Companion_getInstance().of($intervention, it);
+    };
+  }
+  function CausalitySolver$CausalityCheckCause$solve$lambda($request, $rules, $cause, this$0, $effect, $intervention) {
+    return function ($this$arg2pScope) {
+      var tmp = $request.solve($this$arg2pScope.stringInvoke('generate_interventions', $rules, [$cause, $this$arg2pScope.c1h()]));
+      var tmp_0 = filter(tmp, CausalitySolver$CausalityCheckCause$solve$lambda$lambda);
+      var tmp_1 = map(tmp_0, CausalitySolver$CausalityCheckCause$solve$lambda$lambda_0($this$arg2pScope));
+      var tmp_2 = filter(tmp_1, CausalitySolver$CausalityCheckCause$solve$lambda$lambda_1(this$0, $request, $effect));
+      var tmp0_elvis_lhs = firstOrNull(map(tmp_2, CausalitySolver$CausalityCheckCause$solve$lambda$lambda_2($intervention)));
+      return tmp0_elvis_lhs == null ? Companion_getInstance().failed() : tmp0_elvis_lhs;
+    };
+  }
+  function equalTerms($this, a, b) {
+    return Companion_getInstance_0().e1l().match(parseTerm(Companion_instance, a), parseTerm(Companion_instance, b));
+  }
+  function attackers($this, x, graph) {
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.filter' call
+    // Inline function 'kotlin.collections.filterTo' call
+    var this_0 = graph.z3l_1;
+    var destination = ArrayList_init_$Create$();
+    var tmp0_iterator = this_0.r();
+    while (tmp0_iterator.s()) {
+      var element = tmp0_iterator.u();
+      // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.attackers.<anonymous>' call
+      if (element.t3l_1.l3l_1 === x.l3l_1) {
+        destination.o(element);
+      }
+    }
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination_0 = ArrayList_init_$Create$_0(collectionSizeOrDefault(destination, 10));
+    var tmp0_iterator_0 = destination.r();
+    while (tmp0_iterator_0.s()) {
+      var item = tmp0_iterator_0.u();
+      // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.attackers.<anonymous>' call
+      // Inline function 'kotlin.collections.find' call
+      var this_1 = graph.b3m_1;
+      var tmp$ret$4;
+      $l$block: {
+        // Inline function 'kotlin.collections.firstOrNull' call
+        var tmp0_iterator_1 = this_1.r();
+        while (tmp0_iterator_1.s()) {
+          var element_0 = tmp0_iterator_1.u();
+          // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.attackers.<anonymous>.<anonymous>' call
+          if (item.s3l_1.l3l_1 === element_0.w3l_1.l3l_1) {
+            tmp$ret$4 = element_0;
+            break $l$block;
+          }
+        }
+        tmp$ret$4 = null;
+      }
+      var tmp$ret$5 = tmp$ret$4;
+      var tmp$ret$6 = ensureNotNull(tmp$ret$5);
+      destination_0.o(tmp$ret$6);
+    }
+    return destination_0;
+  }
+  function supporters($this, x, graph) {
+    // Inline function 'kotlin.collections.filter' call
+    // Inline function 'kotlin.collections.filterTo' call
+    var this_0 = graph.b3m_1;
+    var destination = ArrayList_init_$Create$();
+    var tmp0_iterator = this_0.r();
+    while (tmp0_iterator.s()) {
+      var element = tmp0_iterator.u();
+      // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.supporters.<anonymous>' call
+      if (x.l3l_1 === element.w3l_1.l3l_1) {
+        destination.o(element);
+      }
+    }
+    var tmp = destination;
+    // Inline function 'kotlin.collections.flatMap' call
+    // Inline function 'kotlin.collections.flatMapTo' call
+    var this_1 = attackers($this, x, graph);
+    var destination_0 = ArrayList_init_$Create$();
+    var tmp0_iterator_0 = this_1.r();
+    while (tmp0_iterator_0.s()) {
+      var element_0 = tmp0_iterator_0.u();
+      // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.supporters.<anonymous>' call
+      // Inline function 'kotlin.collections.flatMap' call
+      // Inline function 'kotlin.collections.flatMapTo' call
+      var this_2 = attackers($this, element_0.w3l_1, graph);
+      var destination_1 = ArrayList_init_$Create$();
+      var tmp0_iterator_1 = this_2.r();
+      while (tmp0_iterator_1.s()) {
+        var element_1 = tmp0_iterator_1.u();
+        // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.supporters.<anonymous>.<anonymous>' call
+        var list = supporters($this, element_1.w3l_1, graph);
+        addAll(destination_1, list);
+      }
+      var list_0 = destination_1;
+      addAll(destination_0, list_0);
+    }
+    return plus(tmp, destination_0);
+  }
+  function solveFresh($this, kb) {
+    var tmp0_elvis_lhs = firstOrNull(Arg2pSolverFactory_instance.l3b(kb.toStringAsProlog(true), new FlagsBuilder(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, emptyList())));
+    return tmp0_elvis_lhs == null ? new Graph(emptyList(), emptyList(), emptyList()) : tmp0_elvis_lhs;
+  }
+  function getSupports($this, graph, effect) {
+    var tmp = asSequence(graph.b3m_1);
+    var tmp_0 = filter(tmp, CausalitySolver$getSupports$lambda($this, effect));
+    var tmp_1 = flatMap(tmp_0, CausalitySolver$getSupports$lambda_0($this, graph));
+    var tmp_2 = filter(tmp_1, CausalitySolver$getSupports$lambda_1);
+    return map(tmp_2, CausalitySolver$getSupports$lambda_2);
+  }
+  function checkBaseTheory($this, request, effect) {
+    // Inline function 'kotlin.let' call
+    // Inline function 'kotlin.contracts.contract' call
+    // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.checkBaseTheory.<anonymous>' call
+    var it = solveFresh($this, request.context.s1v());
+    var tmp = getSupports($this, it, effect);
+    return toList(map(tmp, CausalitySolver$checkBaseTheory$lambda));
+  }
+  function checkIntervention($this, request, intervention, support) {
+    // Inline function 'kotlin.let' call
+    // Inline function 'kotlin.collections.map' call
+    var this_0 = intervention.toList();
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$_0(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.causality.libs.CausalitySolver.checkIntervention.<anonymous>' call
+      var tmp$ret$0 = Companion_getInstance_1().of(parseStruct(Companion_getInstance_2(), ':->(fk' + new UInt(nextUInt(Default_getInstance())) + ', ' + item + ')'), []);
+      destination.o(tmp$ret$0);
+    }
+    // Inline function 'kotlin.contracts.contract' call
+    // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.checkIntervention.<anonymous>' call
+    // Inline function 'kotlin.let' call
+    // Inline function 'kotlin.contracts.contract' call
+    // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.checkIntervention.<anonymous>.<anonymous>' call
+    var naf = solveFresh($this, request.context.s1v().plusTheory(Companion_instance_0.ofIterableWithDefaultUnificator(destination)));
+    var tmp$ret$9;
+    $l$block_2: {
+      // Inline function 'kotlin.collections.any' call
+      // Inline function 'kotlin.collections.map' call
+      // Inline function 'kotlin.collections.filter' call
+      // Inline function 'kotlin.collections.filterTo' call
+      var this_1 = naf.b3m_1;
+      var destination_0 = ArrayList_init_$Create$();
+      var tmp0_iterator_0 = this_1.r();
+      while (tmp0_iterator_0.s()) {
+        var element = tmp0_iterator_0.u();
+        // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.checkIntervention.<anonymous>.<anonymous>.<anonymous>' call
+        if (element.x3l_1 === 'out' ? true : element.x3l_1 === 'und') {
+          destination_0.o(element);
+        }
+      }
+      // Inline function 'kotlin.collections.mapTo' call
+      var destination_1 = ArrayList_init_$Create$_0(collectionSizeOrDefault(destination_0, 10));
+      var tmp0_iterator_1 = destination_0.r();
+      while (tmp0_iterator_1.s()) {
+        var item_0 = tmp0_iterator_1.u();
+        // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.checkIntervention.<anonymous>.<anonymous>.<anonymous>' call
+        var tmp$ret$6 = item_0.w3l_1.n3l();
+        destination_1.o(tmp$ret$6);
+      }
+      var tmp;
+      if (isInterface(destination_1, Collection)) {
+        tmp = destination_1.z();
+      } else {
+        tmp = false;
+      }
+      if (tmp) {
+        tmp$ret$9 = false;
+        break $l$block_2;
+      }
+      var tmp0_iterator_2 = destination_1.r();
+      while (tmp0_iterator_2.s()) {
+        var element_0 = tmp0_iterator_2.u();
+        // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.checkIntervention.<anonymous>.<anonymous>.<anonymous>' call
+        var tmp$ret$10;
+        $l$block_1: {
+          // Inline function 'kotlin.collections.any' call
+          var tmp_0;
+          if (isInterface(support, Collection)) {
+            tmp_0 = support.z();
+          } else {
+            tmp_0 = false;
+          }
+          if (tmp_0) {
+            tmp$ret$10 = false;
+            break $l$block_1;
+          }
+          var tmp0_iterator_3 = support.r();
+          while (tmp0_iterator_3.s()) {
+            var element_1 = tmp0_iterator_3.u();
+            // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.checkIntervention.<anonymous>.<anonymous>.<anonymous>.<anonymous>' call
+            if (Companion_getInstance_0().e1l().match(element_0, element_1)) {
+              tmp$ret$10 = true;
+              break $l$block_1;
+            }
+          }
+          tmp$ret$10 = false;
+        }
+        if (tmp$ret$10) {
+          tmp$ret$9 = true;
+          break $l$block_2;
+        }
+      }
+      tmp$ret$9 = false;
+    }
+    return tmp$ret$9;
+  }
+  function getSubsets($this, request, intervention) {
+    return arg2pScope(CausalitySolver$getSubsets$lambda(request, intervention));
+  }
+  function checkCausality($this, request, intervention, effect) {
+    var supports = checkBaseTheory($this, request, effect);
+    if (supports.z())
+      return false;
+    var tmp;
+    if (checkIntervention($this, request, intervention, supports)) {
+      var tmp_0;
+      if (intervention.ey() <= 1) {
+        tmp_0 = true;
+      } else {
+        var tmp$ret$0;
+        $l$block_0: {
+          // Inline function 'kotlin.collections.all' call
+          var this_0 = getSubsets($this, request, intervention);
+          var tmp_1;
+          if (isInterface(this_0, Collection)) {
+            tmp_1 = this_0.z();
+          } else {
+            tmp_1 = false;
+          }
+          if (tmp_1) {
+            tmp$ret$0 = true;
+            break $l$block_0;
+          }
+          var tmp0_iterator = this_0.r();
+          while (tmp0_iterator.s()) {
+            var element = tmp0_iterator.u();
+            // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.checkCausality.<anonymous>' call
+            if (!!checkIntervention($this, request, element, supports)) {
+              tmp$ret$0 = false;
+              break $l$block_0;
+            }
+          }
+          tmp$ret$0 = true;
+        }
+        tmp_0 = tmp$ret$0;
+      }
+      tmp = tmp_0;
+    } else {
+      tmp = false;
+    }
+    return tmp;
+  }
+  function CausalityCheckIntervention($outer) {
+    this.j3p_1 = $outer;
+    this.i3p_1 = new Signature('evaluate_intervention', 2);
+  }
+  protoOf(CausalityCheckIntervention).d1v = function () {
+    return this.i3p_1;
+  };
+  protoOf(CausalityCheckIntervention).b2h = function (request) {
+    var intervention = request.arguments.d1(0).castToList();
+    var effect = this.j3p_1.m3p(request.arguments.d1(1).toString());
+    return sequenceOf([request.replyWithCondition(checkCausality(this.j3p_1, request, intervention, effect), VOID, [])]);
+  };
+  protoOf(CausalityCheckIntervention).solve = function (request) {
+    return this.b2h(request);
+  };
+  function CausalityCheckCause($outer) {
+    this.o3p_1 = $outer;
+    this.n3p_1 = new Signature('evaluate', 3);
+  }
+  protoOf(CausalityCheckCause).d1v = function () {
+    return this.n3p_1;
+  };
+  protoOf(CausalityCheckCause).b2h = function (request) {
+    var intervention = request.arguments.d1(0);
+    var cause = request.arguments.d1(1);
+    var effect = this.o3p_1.m3p(request.arguments.d1(2).toString());
+    if (!isInterface(intervention, Var)) {
+      throw Companion_instance_1.forGoal(request.context, request.signature, Expected_VARIABLE_getInstance(), intervention);
+    }
+    var tmp = Companion_instance;
+    // Inline function 'kotlin.collections.filter' call
+    // Inline function 'kotlin.collections.map' call
+    var this_0 = solveFresh(this.o3p_1, request.context.s1v()).y3l_1;
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$_0(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.causality.libs.CausalityCheckCause.solve.<anonymous>' call
+      var tmp$ret$0 = item.e3l_1;
+      destination.o(tmp$ret$0);
+    }
+    // Inline function 'kotlin.collections.filterTo' call
+    var destination_0 = ArrayList_init_$Create$();
+    var tmp0_iterator_0 = destination.r();
+    while (tmp0_iterator_0.s()) {
+      var element = tmp0_iterator_0.u();
+      // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalityCheckCause.solve.<anonymous>' call
+      if (!(element === 'none')) {
+        destination_0.o(element);
+      }
+    }
+    var rules = parseTerm(tmp, toString(toList_0(destination_0)));
+    return sequenceOf([request.replyWith(arg2pScope(CausalitySolver$CausalityCheckCause$solve$lambda(request, rules, cause, this.o3p_1, effect, intervention)), VOID, [])]);
+  };
+  protoOf(CausalityCheckCause).solve = function (request) {
+    return this.b2h(request);
+  };
+  function CausalitySolver$getSupports$lambda(this$0, $effect) {
+    return function (it) {
+      return it.x3l_1 === 'in' ? equalTerms(this$0, it.w3l_1.f3l_1, $effect) : false;
+    };
+  }
+  function CausalitySolver$getSupports$lambda_0(this$0, $graph) {
+    return function (it) {
+      return supporters(this$0, it.w3l_1, $graph);
+    };
+  }
+  function CausalitySolver$getSupports$lambda_1(it) {
+    return it.x3l_1 === 'in';
+  }
+  function CausalitySolver$getSupports$lambda_2(it) {
+    return it.w3l_1;
+  }
+  function CausalitySolver$checkBaseTheory$lambda(a) {
+    return a.n3l();
+  }
+  function CausalitySolver$getSubsets$lambda$lambda(it) {
+    return it.u1w();
+  }
+  function CausalitySolver$getSubsets$lambda$lambda_0($this_arg2pScope) {
+    return function (it) {
+      return ensureNotNull(it.m1v().x2($this_arg2pScope.c1h())).castToList();
+    };
+  }
+  function CausalitySolver$getSubsets$lambda($request, $intervention) {
+    return function ($this$arg2pScope) {
+      var tmp = $request.solve($this$arg2pScope.stringInvoke('proper_subsets', $intervention, [$this$arg2pScope.c1h()]));
+      var tmp_0 = filter(tmp, CausalitySolver$getSubsets$lambda$lambda);
+      return toList(map(tmp_0, CausalitySolver$getSubsets$lambda$lambda_0($this$arg2pScope)));
+    };
+  }
+  function CausalitySolver() {
+    this.k3p_1 = 'prolog.argumentation.causality.solver';
+    this.l3p_1 = Companion_instance_2.r3a().plusOperatorSet(Companion_instance_3.r3a()).plusOperatorSet(Companion_getInstance_3().DEFAULT);
+  }
+  protoOf(CausalitySolver).m3p = function (string) {
+    return replace(replace(string, ' ', ''), "'", '');
+  };
+  protoOf(CausalitySolver).t2e = function () {
+    return this.k3p_1;
+  };
+  protoOf(CausalitySolver).n3b = function () {
+    // Inline function 'kotlin.let' call
+    // Inline function 'kotlin.contracts.contract' call
+    // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.<get-baseContent>.<anonymous>' call
+    var primitives = listOf([new CausalityCheckIntervention(this), new CausalityCheckCause(this)]);
+    var tmp = Companion_getInstance_4();
+    // Inline function 'kotlin.collections.associateBy' call
+    var capacity = coerceAtLeast(mapCapacity(collectionSizeOrDefault(primitives, 10)), 16);
+    // Inline function 'kotlin.collections.associateByTo' call
+    var destination = LinkedHashMap_init_$Create$(capacity);
+    var tmp0_iterator = primitives.r();
+    while (tmp0_iterator.s()) {
+      var element = tmp0_iterator.u();
+      // Inline function 'it.unibo.tuprolog.argumentation.causality.libs.CausalitySolver.<get-baseContent>.<anonymous>.<anonymous>' call
+      var tmp$ret$0 = element.d1v();
+      destination.o2(tmp$ret$0, element);
+    }
+    return tmp.of(this.k3p_1, destination, parseTheoryWithOperators(Companion_instance_0, 'subsets([], []).\nsubsets([H|T], [H|NT]) :- subsets(T, NT).\nsubsets([_|T], NT) :- subsets(T, NT).\n\nproper_subsets(L, S) :-\n    subsets(L, S),\n    S \\= [],\n    S \\= L.\n\ngenerate_interventions(_, S, [CS]) :-\n    compl(S, CS).\ngenerate_interventions(_, S, [undercut(S)]) :-\n    S \\= -_.\ngenerate_interventions(R, S, SUP) :-\n    parser:::convertAllRules(_),\n    compl(S, CS),\n    unused_premises(R, UP), !,\n    subsets(UP, SUP),\n    member(CS, SUP),\n    SUP \\= [].\n\ncompl(-X, X) :- !.\ncompl(X, -X).\n\nunused_premises(R, UP) :-\n    findall(P, (parser::rule(Id, P, _), \\+ member(Id, R)), RR),\n    utils::appendLists(RR, UP).\n', this.l3p_1));
+  };
+  protoOf(CausalitySolver).o3b = function () {
+    return 'causality';
+  };
+  protoOf(CausalitySolver).w3a = function () {
+    return this.l3p_1;
+  };
+  //region block: post-declaration
+  protoOf(CausalitySolver).v3a = content;
+  //endregion
+  //region block: exports
+  _.$_$ = _.$_$ || {};
+  _.$_$.a = CausalitySolver;
+  //endregion
+  return _;
+}));
+
+//# sourceMappingURL=arg2p-causality-solver.js.map

package/arg2p-causality-solver.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../../../../../causality-solver/src/commonMain/kotlin/it/unibo/tuprolog/argumentation/causality/libs/CausalitySolver.kt","common/src/generated/_Collections.kt","src/kotlin/util/Standard.kt"],"sourcesContent":[null,null,null],"names":["CausalitySolver$CausalityCheckCause$solve$lambda$lambda","it","$this_arg2pScope","CausalitySolver$CausalityCheckCause$solve$lambda$lambda$lambda","$request","$effect","$intervention","CausalitySolver$CausalityCheckCause$solve$lambda","$rules","$cause","$this$arg2pScope","equalTerms","a","b","attackers","x","graph","element","item","supporters","list","solveFresh","kb","getSupports","effect","checkBaseTheory","request","checkIntervention","intervention","support","getSubsets","checkCausality","supports","<init>","<get-signature>","solve","cause","rules","CausalitySolver$getSupports$lambda","CausalitySolver$getSupports$lambda$lambda","$graph","CausalitySolver$checkBaseTheory$lambda","CausalitySolver$getSubsets$lambda$lambda","CausalitySolver$getSubsets$lambda$lambda$lambda","CausalitySolver$getSubsets$lambda","clean","string","<get-alias>","<get-baseContent>","capacity","identifier","<get-theoryOperators>"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kEAiKwFA,CAAAC,EAAAD,EAAA;A,IACzD,OAAH,EAAG,M;EACP,C;oEAAMA,CAHCE,gBAGDF,E;oBAAAG,CAAAF,EAAAE,EAAA;A,MAAuB,OAAH,cAAlB,EAAG,MAAH,IAAgB,sBAAhB,CAAkB,CAAG,a;IAAa,C;G;oEAC9BH,CAnIpC,M,EA0G2BI,Q,EAGfC,OAsBwBL,E;oBAAAG,CAAAF,EAAAE,EAAA;A,MAAE,8BAAe,QAAf,EAAwB,EAAxB,EAA4B,OAA5B,C;IAAoC,C;G;oEACzCH,CAzBrBM,aAyBqBN,E;oBAAAG,CAAAF,EAAAE,EAAA;A,MAAe,kCAAG,aAAH,EAAiB,EAAjB,C;IAAqB,C;G;2DALtCI,CArBJH,Q,EAcfI,M,EAZAC,M,EA5GZ,M,EA6GYJ,O,EAFAC,aAoBmBC,E;oBAAAP,CAAAU,gBAAAV,EAAA;A,gBACP,QAAQ,OAAM,8BAAC,wBAAD,EAAyB,MAAzB,EAAgC,SAAO,sBAAP,CAAhC,CAAN,C;kBAAiD,YAAO,uDAAP,C;kBAEvD,WAAI,2EAAJ,C;kBACG,cAAO,oFAAP,C;UAHL,iBAKK,YADA,WAAI,wEAAJ,CACA,C;MALL,gCAKmC,gCALnC,iB;IAMJ,C;G;qBAnIRW,C,OACJC,C,EACAC,CAFIF,EAGJ;A,IAAsD,OAA3C,+BAAQ,OAAW,8BAAM,CAAN,CAAX,EAA0B,8BAAM,CAAN,CAA1B,C;EAAkC,C;oBAEjDG,C,OACJC,C,EACAC,KAFIF,EAIJ;A;;;iBC4BU,K,CAAM,K;sBAorBJ,yB;QA2FA,0B;WAAA,iB,EAAhB;A,UAAKG,UAAW,iB;;MAAM,IDpnBu6gB,OAtL36gB,CAAG,KAAH,CAAU,KAAV,KAAwB,CAAxB,CAA0B,KC0yBtB,C,CAAoC;A,QAAZ,WAAY,GAAI,OAAJ,C;;IAAW,C;;wBAorBxD,0BAAa,wBAnrBnB,WAmrBmB,EAAwB,EAAxB,CAAb,C;QAuEA,kBA1vBN,WA0vBM,I;WAAA,mB,EAAb;A,UAAKC,OAAQ,mB;;;mBApgDC,K,CAAM,K;;;;YAgNJ,kBAzHT,MAyHS,I;eAAA,mB,EAAhB;A,cAAKD,YAAW,mB;;UAAM,ID3Dkv3C,IArL1t3C,CAAI,KAAJ,CAAa,KAAb,KAiK3B,SAjK2B,CAA8B,KAA9B,CAAuC,KCgP/D,C;YAAwB,YAAO,S;;;QAAM,C;QAC3D,YAAO,I;;sBA1HA,S;sBDvH0F,cAA1D,SAA0D,C;MCqiD7F,aAAY,GAAI,SAAJ,C;IAAmB,C;IDriDkE,OCsiD9F,a;EDtiD6F,C;qBAE5FE,C,OACJJ,C,EACAC,KAFIG,EAIJ;A;;iBC8BJ,K,CAAM,K;sBA0qBU,yB;QA2FA,0B;WAAA,iB,EAAhB;A,UAAKF,UAAW,iB;;MAAM,IDlyBJ,EAAE,KAAF,KA8K26gB,OA9K36gB,CAAmB,KAAnB,CAA4B,KCkyBxB,C,CAAoC;A,QAAZ,WAAY,GAAI,OAAJ,C;;IAAW,C;cAC9D,W;;;iBApwBW,iBAChB,CADgB,EACb,KADa,C;wBA0vCD,yB;QAsFD,4B;WAAA,mB,EAAhB;A,UAAKA,YAAW,mB;;;;mBA/0CiD,iBD8Ii2oC,SC9Ij2oC,CAAc,KAAd,EAAwB,KAAxB,C;0BAyvChD,yB;UAsFD,4B;aAAA,mB,EAAhB;A,YAAKA,YAAW,mB;;YACZG,OD72CiD,kBA2K62oC,SA3K72oC,CAAc,KAAd,EAAwB,KAAxB,C;QC82CrC,OAAZ,aAAY,EAAO,IAAP,C;MAChB,C;UAFIA,SAGG,a;MAFS,OAAZ,aAAY,EAAO,MAAP,C;IAChB,C;ID92CS,OALL,UCo3CG,aDp3CH,C;EAKI,C;qBAEAC,C,OAAeC,EAAfD,EACJ;A,QAAA,iBAGE,YAHiB,gCACf,EAAG,kBAAwB,IAAxB,CADY,EAEf,6EAA+B,WAA/B,CAFe,CAGjB,C;IAA6D,OAH/D,yBAGmB,UAAM,WAAN,EAAmB,WAAnB,EAAgC,WAAhC,CAHnB,iB;EAG8D,C;sBAG1DE,C,OACJP,K,EACAQ,MAFID,EAIJ;A,cAAiB,WAAjB,KAAiB,CAAX,KAAW,C;gBAAa,YAAO,iDAAP,C;gBACzB,eAAQ,kDAAR,C;gBACA,cAAO,oCAAP,C;IACmB,OAAnB,WAAI,oCAAJ,C;EAAkB,C;0BAEnBE,C,OACJC,O,EACAF,MAFIC,EAGJ;A;;;aEuBC,kBAAW,OAAgB,CAAR,OAAQ,MAA3B,C;cFtBD,mBAAY,EAAZ,EAAgB,MAAhB,C;IACH,OAD+D,OAApC,SAAI,sCAAJ,CAAoC,C;EAChE,C;4BAEQE,C,OACJD,O,EACAE,Y,EACAC,OAHIF,EAIJ;A;;iBCiC4F,YAAa,S;;sBAo5ChG,0BAAa,gCAAwB,EAAxB,CAAb,C;QAuEA,gBAvEN,MAuEM,I;WAAA,iB,EAAb;A,UAAKT,OAAQ,iB;;sBD5/CiC,6BAAU,uCAAO,QAAP,YAAsB,+BAAtB,IAAiC,IAAjC,GA6Igt3C,IA7Iht3C,GAAuC,GAAvC,CAAV,K;MC6/C1C,WAAY,GAAI,SAAJ,C;IAAmB,C;;;;;;cCv+CiB,kBAEpD,OAAgB,CAAR,OAAQ,MAGjB,YACQ,qDDk+CA,WCl+CA,CADR,CALqD,C;;;;;;;mBDgBR,G,CAAI,K;0BAgoBhC,yB;UA2FA,4B;aAAA,mB,EAAhB;A,YAAKD,UAAW,mB;;QAAM,IDpnBu6gB,OA1Il6gB,CAAE,KAAF,KAAY,KAAZ,UA0Ik6gB,OA1I94gB,CAAE,KAAF,KAAY,KC8vBrC,C,CAAoC;A,UAAZ,aAAY,GAAI,OAAJ,C;;MAAW,C;;0BAorBxD,0BAAa,wBAnrBnB,aAmrBmB,EAAwB,EAAxB,CAAb,C;UAuEA,kBA1vBN,aA0vBM,I;aAAA,mB,EAAb;A,YAAKC,SAAQ,mB;;wBD/2C2v3C,MAzIru3C,CAAT,KAAS,M;QCy/C/B,aAAY,GAAI,SAAJ,C;MAAmB,C;;MA8H/B,gBA7HG,aA6HH,c;cA7HG,aA6HmB,I;;cAAA,K;;MAA1B,Q;QAAqC,YAAO,K;;;UAC5B,kBA9HT,aA8HS,I;aAAA,mB,EAAhB;A,YAAKD,YAAW,mB;;;;;;UADZ,gBAhlDkC,OAglDlC,c;oBAhlDkC,OAglDZ,I;;oBAAA,K;;UAA1B,U;YAAqC,aAAO,K;;;cAC5B,kBAjlDsB,OAilDtB,I;iBAAA,mB,EAAhB;A,gBAAKA,YAAW,mB;;YAAM,IDvnDgC,+BAAQ,OAwIolgD,SAxIplgD,EAwIolgD,SAxIplgD,CCunDxC,C;cAAwB,aAAO,I;;;UAAG,C;UACxD,aAAO,K;;QADe,IDvnDU,UCunDV,C;UAAwB,YAAO,I;;;MAAG,C;MACxD,YAAO,K;;IDtnDN,OAFY,S;EAEb,C;qBAEQa,C,OACJJ,O,EACAE,YAFIE,EAGJ;A,IAIH,OAJG,WAAW,wDAAX,C;EAIJ,C;yBAKQC,C,OACJL,O,EACAE,Y,EACAJ,MAHIO,EAIG;A,QACPC,WAAe,uBAAgB,OAAhB,EAAyB,MAAzB,C;IACf,IAAI,QAAS,IAAb,C;MAAwB,OAAO,K;;IAExB,6BAAkB,OAAlB,EAA2B,YAA3B,EAAyC,QAAzC,E;;MAEC,IAAA,YAAa,KAAb,IAAgC,CAAhC,C;gBAAA,I;;;;;uBC8Cf,kBAAW,OAAX,EAAoB,YAApB,C;;UAyhDO,oC;oBAAsB,U;;oBAAA,K;;UAA1B,U;YAAqC,YAAO,I;;;cAC5B,0B;iBAAA,iB,EAAhB;A,gBAAKf,UAAW,iB;;YAAM,IAAI,CDvkD8B,CAAC,yBAAkB,OAAlB,EA6G4++C,OA7G5++C,EAA+B,QAA/B,CCukDnC,C;cAAyB,YAAO,K;;;UAAI,C;UAC1D,YAAO,I;;gBDxkD2C,S;;;;YADtC,K;;IAFR,U;EAKJ,C;qCAEMgB,C,MAAAA,EAAN;A,IAAM,mB;IACuB,2BAAW,uBAAX,EAAmC,CAAnC,C;EAD7B,C;qDACaC,CAAAA,EAAA;A,IAAA,iB;EAAoD,C;qDAEpDC,CAAUT,OAAVS,EAA8E;A,QACnFP,eAA2B,QAAQ,SAAR,IAAkB,CAAlB,CAAqB,a;QAChDJ,SAAqB,eAAM,QAAQ,SAAR,IAAkB,CAAlB,CAAqB,WAA3B,C;IAErB,OAAO,WACK,CAAR,OAAQ,oBAAU,2BAAe,OAAf,EAAwB,YAAxB,EAAsC,MAAtC,CAAV,YADL,C;EAGX,C;wDA9HGE,O;;;8BAiIDO,C,MAAAA,EAAN;A,IAAM,mB;IACuB,2BAAW,UAAX,EAAsB,CAAtB,C;EAD7B,C;8CACaC,CAAAA,EAAA;A,IAAA,iB;EAAuC,C;8CAEvCC,CAAUT,OAAVS,EAA8E;A,QACnFP,eAAyB,QAAQ,SAAR,IAAkB,CAAlB,C;QACzBQ,QAAkB,QAAQ,SAAR,IAAkB,CAAlB,C;QAClBZ,SAAqB,eAAM,QAAQ,SAAR,IAAkB,CAAlB,CAAqB,WAA3B,C;IAErB,iBAAI,YAAJ,O,CAA0B;A,MACtB,MAAgB,6BACZ,OADY,CACJ,OADI,EAEZ,OAFY,CAEJ,SAFI,mCAIZ,YAJY,C;IAMpB,C;;;;iBC+DP,uBAAW,OAIV,CADJ,OACI,MAJD,C,CAIW,K;;sBAkzCC,0BAAa,gCAAwB,EAAxB,CAAb,C;QAuEA,gBAvEN,MAuEM,I;WAAA,iB,EAAb;A,UAAKN,OAAQ,iB;;sBD/2C2v3C,I,CAzEhs3C,K;MCy7CpE,WAAY,GAAI,SAAJ,C;IAAmB,C;;wBAv1BnB,yB;QA2FA,kBA6vBT,WA7vBS,I;WAAA,mB,EAAhB;A,UAAKD,UAAW,mB;;MAAM,ID7rBqE,EAyEk2gB,OAzEl2gB,KAAO,MAAP,CC6rBrE,C,CAAoC;A,QAAZ,aAAY,GAAI,OAAJ,C;;IAAW,C;QD/rB7DoB,QACS,eACkG,SAAT,SC8rBnG,aD9rBmG,CAAS,CADlG,C;IAIT,OAAO,WACK,CAAR,OAAQ,WACJ,WAAW,yGAAX,CADI,YADL,C;EAYX,C;iDAnKGX,O;;;6CAgEkCY,CAJzC,M,EAEIjC,OAEqCiC,E;oBAAAC,CAAAtC,EAAAsC,EAAA;A,MAAE,UAAG,KAAH,KAAa,IAAb,GAAoB,mBAAW,EAAX,CAAc,KAAd,CAAuB,KAAvB,EAAmC,OAAnC,CAApB,GAAoB,K;IAA2C,C;G;+CACzFD,CALjB,M,EACIE,MAIaF,E;oBAAAC,CAAAtC,EAAAsC,EAAA;A,MAAE,0BAAW,EAAX,CAAc,KAAd,EAAwB,MAAxB,C;IAA+B,C;G;+CAClCD,CAAArC,EAAAqC,EAAA;A,IAAE,UAAG,KAAH,KAAa,I;EAAI,C;+CACtBA,CAAArC,EAAAqC,EAAA;A,IAAK,OAAH,EAAG,M;EAAS,C;iDAMKG,CAAE7B,CAAF6B,EAAA;A,IAAS,OAAF,CAAE,M;EAAqB,C;mDAoBFC,CAAAzC,EAAAyC,EAAA;A,IACjD,OAAH,EAAG,M;EACP,C;qDAAMA,CAHKxC,gBAGLwC,E;oBAAAC,CAAA1C,EAAA0C,EAAA;A,MAAuB,OAAH,cAAlB,EAAG,MAAH,IAAgB,sBAAhB,CAAkB,CAAG,a;IAAa,C;G;4CAH/BC,CAFXxC,Q,EACAE,aACWsC,E;oBAAAF,CAAAhC,gBAAAgC,EAAA;A,gBACX,QAAQ,OAAM,8BAAC,gBAAD,EAAiB,aAAjB,EAA+B,wBAA/B,CAAN,C;kBAAyC,YAAO,wCAAP,C;MAEL,cAA1C,WAAI,4DAAJ,CAA0C,C;IAChD,C;G;0BAtEJT,CAAAA,EAAA;A,IA4IyB,oD;IAqDZ,aAFS,0BACT,iBAAoB,0BAApB,CACA,2CAAiB,OAAjB,C;EAjMb,C;0CACIY,CAAUC,MAAVD,EAA4B;A,IAAwC,OAAhB,QAAjB,QAAP,MAAO,EAAS,GAAT,EAAa,EAAb,CAAiB,EAAS,GAAT,EAAa,EAAb,C;EAAe,C;0CA2I1DE,CAAAA,EAAA;A,IAAA,iB;EAAkD,C;0CAGvDC,CAAAA,EACI;A;;;qBEpBy8D,OAAO,uCAA8B,6BAA9B,CAAP,C;;;QD4gCj9DC,WAAwD,cAAzC,YAAY,wBA17BmC,UA07BnC,EAAwB,EAAxB,CAAZ,CAAyC,EAAc,EAAd,C;;sBACnC,4BAAoB,QAApB,C;QA2BL,gBAt9B8C,UAs9B9C,I;WAAA,iB,EAAhB;A,UAAKhC,UAAW,iB;;sBDj+Bg24B,OAhDvz4B,M;MCkhCrD,WAAY,IAAI,SAAJ,EAA0B,OAA1B,C;IAChB,C;ID/+BS,OAtCW,OACI,IADJ,CACS,KADT,ECshCb,WDthCa,EAIO,+CA8BC,2oBA9BD,EA+BH,IA/BG,CA+BH,KA/BG,CAJP,C;EAsCZ,C;0CAKCiC,CAAAA,EAA2B;A,IAAU,OAAT,W;EAAS,C;0CAErCC,CAAAA,EAAA;A,IAAA,iB;EAGwB,C;;;;;;;;;;"}