@tuprolog/2p-full 3.0.0 → 3.0.2

package/2p-repl.js

@@ -128,15 +128,15 @@
     }
   }
   function printYesSolution($this, sol, operatorSet, groundQueriesHaveBooleanSolution) {
-    $this.echo$default_d8zfhf_k$(format(sol, Companion_instance.withOperators_7fuqo9_k$(operatorSet, groundQueriesHaveBooleanSolution)));
+    $this.j3u(format(sol, Companion_instance.w1z(operatorSet, groundQueriesHaveBooleanSolution)));
   }
   function printHaltSolution($this, sol, operatorSet) {
-    var ex = sol.get_exception_x0n6w6_k$();
+    var ex = sol.l1z();
     if (ex instanceof HaltException) {
-      $this.echo$default_d8zfhf_k$('# goodbye.');
+      $this.j3u('# goodbye.');
       throw new ProgramResult(ex.exitStatus);
     } else {
-      $this.echo$default_d8zfhf_k$(format(sol, Companion_instance.withOperators(operatorSet)));
+      $this.j3u(format(sol, Companion_instance.withOperators(operatorSet)));
     }
   }
   function printEndOfSolutions($this) {
@@ -159,12 +159,12 @@
         tmp = tmp0_elvis_lhs;
       }
       lastRead = tmp;
-      longQuery.append_22ad7x_k$(lastRead);
+      longQuery.u7(lastRead);
     }
     return longQuery.toString();
   }
   function printNoSolution($this, sol, operatorSet) {
-    $this.echo$default_d8zfhf_k$(format(sol, Companion_instance.withOperators(operatorSet)));
+    $this.j3u(format(sol, Companion_instance.withOperators(operatorSet)));
   }
   function AbstractTuPrologCommand(help, epilog, name, invokeWithoutSubcommand, printHelpOnEmptyArgs, helpTags, autoCompleteEnvvar, allowMultipleSubcommands, treatUnknownOptionsAsArgs, hiddenFromHelp) {
     help = help === VOID ? '' : help;
@@ -178,44 +178,44 @@
     treatUnknownOptionsAsArgs = treatUnknownOptionsAsArgs === VOID ? false : treatUnknownOptionsAsArgs;
     hiddenFromHelp = hiddenFromHelp === VOID ? false : hiddenFromHelp;
     CliktCommand.call(this, name);
-    this.help_1 = help;
-    this.epilog_1 = epilog;
-    this.invokeWithoutSubcommand_2 = invokeWithoutSubcommand;
-    this.printHelpOnEmptyArgs_2 = printHelpOnEmptyArgs;
-    this.helpTags_2 = helpTags;
-    this.autoCompleteEnvvar_2 = autoCompleteEnvvar;
-    this.allowMultipleSubcommands_2 = allowMultipleSubcommands;
-    this.treatUnknownOptionsAsArgs_2 = treatUnknownOptionsAsArgs;
-    this.hiddenFromHelp_2 = hiddenFromHelp;
-  }
-  protoOf(AbstractTuPrologCommand).get_invokeWithoutSubcommand_34omfi_k$ = function () {
-    return this.invokeWithoutSubcommand_2;
+    this.e5t_1 = help;
+    this.f5t_1 = epilog;
+    this.g5t_1 = invokeWithoutSubcommand;
+    this.h5t_1 = printHelpOnEmptyArgs;
+    this.i5t_1 = helpTags;
+    this.j5t_1 = autoCompleteEnvvar;
+    this.k5t_1 = allowMultipleSubcommands;
+    this.l5t_1 = treatUnknownOptionsAsArgs;
+    this.m5t_1 = hiddenFromHelp;
+  }
+  protoOf(AbstractTuPrologCommand).i3t = function () {
+    return this.g5t_1;
   };
-  protoOf(AbstractTuPrologCommand).get_printHelpOnEmptyArgs_9s9u9y_k$ = function () {
-    return this.printHelpOnEmptyArgs_2;
+  protoOf(AbstractTuPrologCommand).j3t = function () {
+    return this.h5t_1;
   };
-  protoOf(AbstractTuPrologCommand).get_helpTags_q5ym6b_k$ = function () {
-    return this.helpTags_2;
+  protoOf(AbstractTuPrologCommand).k3t = function () {
+    return this.i5t_1;
   };
-  protoOf(AbstractTuPrologCommand).get_autoCompleteEnvvar_cors51_k$ = function () {
-    return this.autoCompleteEnvvar_2;
+  protoOf(AbstractTuPrologCommand).l3t = function () {
+    return this.j5t_1;
   };
-  protoOf(AbstractTuPrologCommand).get_allowMultipleSubcommands_8lbp2g_k$ = function () {
-    return this.allowMultipleSubcommands_2;
+  protoOf(AbstractTuPrologCommand).m3t = function () {
+    return this.k5t_1;
   };
-  protoOf(AbstractTuPrologCommand).get_treatUnknownOptionsAsArgs_9im5nw_k$ = function () {
-    return this.treatUnknownOptionsAsArgs_2;
+  protoOf(AbstractTuPrologCommand).n3t = function () {
+    return this.l5t_1;
   };
-  protoOf(AbstractTuPrologCommand).get_hiddenFromHelp_2g64ta_k$ = function () {
-    return this.hiddenFromHelp_2;
+  protoOf(AbstractTuPrologCommand).o3t = function () {
+    return this.m5t_1;
   };
-  protoOf(AbstractTuPrologCommand).help_bkvmun_k$ = function (context) {
-    return this.help_1;
+  protoOf(AbstractTuPrologCommand).b3t = function (context) {
+    return this.e5t_1;
   };
-  protoOf(AbstractTuPrologCommand).helpEpilog_jniqzb_k$ = function (context) {
-    return this.epilog_1;
+  protoOf(AbstractTuPrologCommand).h3t = function (context) {
+    return this.f5t_1;
   };
-  protoOf(AbstractTuPrologCommand).printParseException_dkyw14_k$ = function (e) {
+  protoOf(AbstractTuPrologCommand).n5t = function (e) {
     var tmp0_safe_receiver = e.message;
     var tmp;
     if (tmp0_safe_receiver == null) {
@@ -233,9 +233,9 @@
       }
       tmp = tmp_0;
     }
-    this.echo$default_d8zfhf_k$('# ' + tmp, VOID, true);
+    this.j3u('# ' + tmp, VOID, true);
   };
-  protoOf(AbstractTuPrologCommand).readQuery_imlg6m_k$ = function () {
+  protoOf(AbstractTuPrologCommand).o5t = function () {
     var query = prompt(get_terminal(this), '?-', VOID, VOID, VOID, VOID, VOID, ' ');
     var tmp;
     if (query == null) {
@@ -251,9 +251,9 @@
     }
     return tmp;
   };
-  protoOf(AbstractTuPrologCommand).printSolutions_qd4dx3_k$ = function (solutions, operatorSet, groundQueriesHaveBooleanSolution) {
+  protoOf(AbstractTuPrologCommand).p5t = function (solutions, operatorSet, groundQueriesHaveBooleanSolution) {
     var first = true;
-    $l$loop: while (solutions.hasNext_bitz1p_k$()) {
+    $l$loop: while (solutions.q()) {
       if (!first) {
         var tmp0_safe_receiver = prompt(get_terminal(this), '', VOID, VOID, VOID, false);
         var tmp;
@@ -269,15 +269,15 @@
       } else {
         first = false;
       }
-      printSolution(this, solutions.next_20eer_k$(), operatorSet, groundQueriesHaveBooleanSolution);
+      printSolution(this, solutions.r(), operatorSet, groundQueriesHaveBooleanSolution);
     }
     printEndOfSolutions(this);
   };
-  protoOf(AbstractTuPrologCommand).printNumSolutions_p0aldh_k$ = function (solutions, maxSolutions, operatorSet, groundQueriesHaveBooleanSolution) {
+  protoOf(AbstractTuPrologCommand).q5t = function (solutions, maxSolutions, operatorSet, groundQueriesHaveBooleanSolution) {
     var i = 0;
-    while (i < maxSolutions && solutions.hasNext_bitz1p_k$()) {
+    while (i < maxSolutions && solutions.q()) {
       i = i + 1 | 0;
-      printSolution(this, solutions.next_20eer_k$(), operatorSet, groundQueriesHaveBooleanSolution);
+      printSolution(this, solutions.r(), operatorSet, groundQueriesHaveBooleanSolution);
     }
     printEndOfSolutions(this);
   };
@@ -299,7 +299,7 @@
     captureStack(this, NullInputException);
   }
   function Companion() {
-    this.DEFAULT_TIMEOUT_1 = 1000;
+    this.r5t_1 = 1000;
   }
   var Companion_instance_4;
   function Companion_getInstance_1() {
@@ -307,62 +307,62 @@
   }
   function _get_files__hkfg7a($this) {
     var tmp = KProperty1;
-    return $this.files$delegate_1.getValue_4u4kqi_k$($this, getPropertyCallableRef('files', 1, tmp, TuPrologCmd$_get_files_$ref_c1qk0p(), null));
+    return $this.r5u_1.p44($this, getPropertyCallableRef('files', 1, tmp, TuPrologCmd$_get_files_$ref_c1qk0p(), null));
   }
   function _get_timeout__tg4wg($this) {
     var tmp = KProperty1;
-    return $this.timeout$delegate_1.getValue_4u4kqi_k$($this, getPropertyCallableRef('timeout', 1, tmp, TuPrologCmd$_get_timeout_$ref_q0nd1f(), null));
+    return $this.s5u_1.p44($this, getPropertyCallableRef('timeout', 1, tmp, TuPrologCmd$_get_timeout_$ref_q0nd1f(), null));
   }
   function _get_oop__e6e8e9($this) {
     var tmp = KProperty1;
-    return $this.oop$delegate_1.getValue_4u4kqi_k$($this, getPropertyCallableRef('oop', 1, tmp, TuPrologCmd$_get_oop_$ref_nvbbou(), null));
+    return $this.t5u_1.p44($this, getPropertyCallableRef('oop', 1, tmp, TuPrologCmd$_get_oop_$ref_nvbbou(), null));
   }
   function loadTheory($this) {
     var theory = Companion_instance_0.emptyWithDefaultUnificator();
-    var _iterator__ex2g4s = _get_files__hkfg7a($this).iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
-      var file = _iterator__ex2g4s.next_20eer_k$();
+    var _iterator__ex2g4s = _get_files__hkfg7a($this).n();
+    while (_iterator__ex2g4s.q()) {
+      var file = _iterator__ex2g4s.r();
       if (isReadableFile(file)) {
         try {
           var t = loadTheoryFromFile(file);
-          $this.echo$default_d8zfhf_k$('# Successfully loaded ' + t.get_size_woubt6_k$().toString() + ' clauses from ' + file);
+          $this.j3u('# Successfully loaded ' + t.s().toString() + ' clauses from ' + file);
           theory = theory.plusTheory(t);
         } catch ($p) {
           if ($p instanceof ParseException) {
             var e = $p;
-            $this.echo$default_d8zfhf_k$(trimMargin('\n                        |# Error while parsing theory file: ' + file + '\n                        |#     Message: ' + e.message + '\n                        |#     Line   : ' + e.line + '\n                        |#     Column : ' + e.column + '\n                        |#     Clause : ' + e.clauseIndex + '\n                        '), VOID, true);
+            $this.j3u(trimMargin('\n                        |# Error while parsing theory file: ' + file + '\n                        |#     Message: ' + e.message + '\n                        |#     Line   : ' + e.line + '\n                        |#     Column : ' + e.column + '\n                        |#     Clause : ' + e.clauseIndex + '\n                        '), VOID, true);
           } else {
             throw $p;
           }
         }
       }
     }
-    $this.echo$default_d8zfhf_k$('');
+    $this.j3u('');
     return theory;
   }
   function readEvalPrintLoop($this, solver) {
     try {
-      var query = $this.readQuery_imlg6m_k$();
+      var query = $this.o5t();
       while (!(query == null)) {
         try {
-          var goal = parseStructWithOperators(Companion_getInstance(), query, solver.get_operators_z0nmfu_k$());
-          var solutions = solver.solveWithTimeout(goal, $this.getTimeout_4ky5zp_k$()).iterator_jk1svi_k$();
-          $this.printSolutions_qd4dx3_k$(solutions, solver.get_operators_z0nmfu_k$(), equals(solver.get_flags_irfhb2_k$().get(GroundQueriesHaveBooleanSolution_getInstance()), GroundQueriesHaveBooleanSolution_getInstance().ON_1));
+          var goal = parseStructWithOperators(Companion_getInstance(), query, solver.c1y());
+          var solutions = solver.solveWithTimeout(goal, $this.u5u()).n();
+          $this.p5t(solutions, solver.c1y(), equals(solver.u1x().get(GroundQueriesHaveBooleanSolution_getInstance()), GroundQueriesHaveBooleanSolution_getInstance().l2c_1));
         } catch ($p) {
           if ($p instanceof ParseException) {
             var e = $p;
-            $this.printParseException_dkyw14_k$(e);
+            $this.n5t(e);
           } else {
             throw $p;
           }
         }
-        $this.echo$default_d8zfhf_k$('');
-        query = $this.readQuery_imlg6m_k$();
+        $this.j3u('');
+        query = $this.o5t();
       }
     } catch ($p_0) {
       if ($p_0 instanceof NullInputException) {
         var _unused_var__etf5q3 = $p_0;
-        $this.echo$default_d8zfhf_k$('\n# goodbye.');
+        $this.j3u('\n# goodbye.');
         throw new ProgramResult(0);
       } else {
         throw $p_0;
@@ -391,81 +391,81 @@
   }
   function TuPrologCmd$getSolver$lambda(this$0) {
     return function (w) {
-      this$0.echo$default_d8zfhf_k$('# ' + w.message, VOID, true);
+      this$0.j3u('# ' + w.message, VOID, true);
       var sep = '\n    at ';
-      var formatter = Companion_instance_1.prettyExpressionsPrettyVariables(w.get_context_h02k06_k$().get_operators_z0nmfu_k$());
-      var tmp = w.get_logicStackTrace_2ngtyq_k$();
+      var formatter = Companion_instance_1.prettyExpressionsPrettyVariables(w.v8().c1y());
+      var tmp = w.q1x();
       var stacktrace = joinToString(tmp, sep, VOID, VOID, VOID, VOID, TuPrologCmd$getSolver$lambda$lambda(formatter));
-      this$0.echo$default_d8zfhf_k$('#    at ' + stacktrace, VOID, true);
+      this$0.j3u('#    at ' + stacktrace, VOID, true);
       return Unit_instance;
     };
   }
   function TuPrologCmd$getSolver$lambda_0($this$flag) {
-    return $this$flag.ON_1;
+    return $this$flag.g2d_1;
   }
   function TuPrologCmd(additionalLibraries) {
     AbstractTuPrologCommand.call(this, 'Start a Prolog Read-Eval-Print loop', VOID, 'java -jar 2p-repl.jar', true, VOID, VOID, VOID, true);
-    this.additionalLibraries_1 = additionalLibraries;
+    this.q5u_1 = additionalLibraries;
     var tmp = this;
     var tmp_0 = multiple(option(this, ['-T', '--theory'], 'Path of theory file to be loaded'));
     var tmp_1 = KProperty1;
-    tmp.files$delegate_1 = tmp_0.provideDelegate_ugm9ea_k$(this, getPropertyCallableRef('files', 1, tmp_1, TuPrologCmd$_get_files_$ref_c1qk0p(), null));
+    tmp.r5u_1 = tmp_0.c45(this, getPropertyCallableRef('files', 1, tmp_1, TuPrologCmd$_get_files_$ref_c1qk0p(), null));
     var tmp_2 = this;
     var tmp_3 = default_0(int(option(this, ['-t', '--timeout'], 'Maximum amount of time for computing a solution (default: 1000 ms)')), 1000);
     var tmp_4 = KProperty1;
-    tmp_2.timeout$delegate_1 = tmp_3.provideDelegate_ugm9ea_k$(this, getPropertyCallableRef('timeout', 1, tmp_4, TuPrologCmd$_get_timeout_$ref_q0nd1f(), null));
+    tmp_2.s5u_1 = tmp_3.c45(this, getPropertyCallableRef('timeout', 1, tmp_4, TuPrologCmd$_get_timeout_$ref_q0nd1f(), null));
     var tmp_5 = this;
     var tmp_6 = flag(option(this, ['--oop'], 'Loads the OOP library'), [], false);
     var tmp_7 = KProperty1;
-    tmp_5.oop$delegate_1 = tmp_6.provideDelegate_ugm9ea_k$(this, getPropertyCallableRef('oop', 1, tmp_7, TuPrologCmd$_get_oop_$ref_nvbbou(), null));
+    tmp_5.t5u_1 = tmp_6.c45(this, getPropertyCallableRef('oop', 1, tmp_7, TuPrologCmd$_get_oop_$ref_nvbbou(), null));
   }
-  protoOf(TuPrologCmd).run_mvkpxh_k$ = function () {
-    var solve = this.getSolver_d7ulft_k$();
-    var subcommand = this.get_currentContext_mswz5r_k$().get_invokedSubcommand_ekcfwy_k$();
+  protoOf(TuPrologCmd).v3v = function () {
+    var solve = this.v5u();
+    var subcommand = this.q2f().d3v();
     if (subcommand == null) {
       readEvalPrintLoop(this, solve);
     }
   };
-  protoOf(TuPrologCmd).getTimeout_4ky5zp_k$ = function () {
+  protoOf(TuPrologCmd).u5u = function () {
     return fromInt(_get_timeout__tg4wg(this));
   };
-  protoOf(TuPrologCmd).getSolver_d7ulft_k$ = function () {
-    this.echo$default_d8zfhf_k$('# 2P-Kt version 3.0.0');
+  protoOf(TuPrologCmd).v5u = function () {
+    this.j3u('# 2P-Kt version 3.0.2');
     var theory = loadTheory(this);
     var tmp = Companion_instance_2;
     var outputChannel = tmp.of(TuPrologCmd$getSolver$lambda(this));
     var tmp_0;
     if (_get_oop__e6e8e9(this)) {
-      tmp_0 = Companion_instance_3.of(arrayConcat([[IOLib_getInstance(), OOPLib_getInstance()], this.additionalLibraries_1]));
+      tmp_0 = Companion_instance_3.of(arrayConcat([[IOLib_getInstance(), OOPLib_getInstance()], this.q5u_1]));
     } else {
-      tmp_0 = Companion_instance_3.of(arrayConcat([[IOLib_getInstance()], this.additionalLibraries_1]));
+      tmp_0 = Companion_instance_3.of(arrayConcat([[IOLib_getInstance()], this.q5u_1]));
     }
     var libraries = tmp_0;
-    var tmp_1 = Companion_getInstance_0().get_prolog_i7fhq8_k$().newBuilder().setRuntime(libraries).setStaticKb(theory);
+    var tmp_1 = Companion_getInstance_0().x20().newBuilder().setRuntime(libraries).setStaticKb(theory);
     var tmp_2 = TrackVariables_getInstance();
     // Inline function 'kotlin.also' call
     var this_0 = tmp_1.setNotableFlagByValue(tmp_2, TuPrologCmd$getSolver$lambda_0).setWarnings(outputChannel).build();
     // Inline function 'kotlin.collections.iterator' call
-    var _iterator__ex2g4s = this_0.get_libraries_lyf10w_k$().get_entries_p20ztl_k$().iterator_jk1svi_k$();
-    while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
+    var _iterator__ex2g4s = this_0.t1x().d1().n();
+    while (_iterator__ex2g4s.q()) {
       // Inline function 'kotlin.collections.component2' call
-      var library = _iterator__ex2g4s.next_20eer_k$().get_value_j01efc_k$();
-      this.echo$default_d8zfhf_k$('# Successfully loaded library `' + library.get_alias_iooo4n_k$() + '`');
+      var library = _iterator__ex2g4s.r().f1();
+      this.j3u('# Successfully loaded library `' + library.w2i() + '`');
     }
-    this.echo$default_d8zfhf_k$('');
+    this.j3u('');
     return this_0;
   };
   function _get_query__c6g9vb($this) {
     var tmp = KProperty1;
-    return $this.query$delegate_1.getValue_4u4kqi_k$($this, getPropertyCallableRef('query', 1, tmp, TuPrologSolveQuery$_get_query_$ref_bkd3qt(), null));
+    return $this.u5v_1.p44($this, getPropertyCallableRef('query', 1, tmp, TuPrologSolveQuery$_get_query_$ref_bkd3qt(), null));
   }
   function _get_maxSolutions__ysux2t($this) {
     var tmp = KProperty1;
-    return $this.maxSolutions$delegate_1.getValue_4u4kqi_k$($this, getPropertyCallableRef('maxSolutions', 1, tmp, TuPrologSolveQuery$_get_maxSolutions_$ref_o23pc7(), null));
+    return $this.v5v_1.p44($this, getPropertyCallableRef('maxSolutions', 1, tmp, TuPrologSolveQuery$_get_maxSolutions_$ref_o23pc7(), null));
   }
   function _get_parentCommand__z09ff4($this) {
-    var tmp0_safe_receiver = $this.get_currentContext_mswz5r_k$().parent_1;
-    var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.command_1;
+    var tmp0_safe_receiver = $this.q2f().u3r_1;
+    var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.v3r_1;
     return tmp instanceof TuPrologCmd ? tmp : THROW_CCE();
   }
   function evalAndPrint($this, solver) {
@@ -473,18 +473,18 @@
     var this_0 = _get_query__c6g9vb($this);
     if (charSequenceLength(this_0) > 0) {
       try {
-        var duration = _get_parentCommand__z09ff4($this).getTimeout_4ky5zp_k$();
-        var solutions = solver.solveWithTimeout(parseStruct(Companion_getInstance(), _get_query__c6g9vb($this)), duration).iterator_jk1svi_k$();
-        var groundQueriesHaveBooleanSolution = equals(solver.get_flags_irfhb2_k$().get(GroundQueriesHaveBooleanSolution_getInstance()), GroundQueriesHaveBooleanSolution_getInstance().ON_1);
+        var duration = _get_parentCommand__z09ff4($this).u5u();
+        var solutions = solver.solveWithTimeout(parseStruct(Companion_getInstance(), _get_query__c6g9vb($this)), duration).n();
+        var groundQueriesHaveBooleanSolution = equals(solver.u1x().get(GroundQueriesHaveBooleanSolution_getInstance()), GroundQueriesHaveBooleanSolution_getInstance().l2c_1);
         if (_get_maxSolutions__ysux2t($this) === 0) {
-          $this.printSolutions_qd4dx3_k$(solutions, solver.get_operators_z0nmfu_k$(), groundQueriesHaveBooleanSolution);
+          $this.p5t(solutions, solver.c1y(), groundQueriesHaveBooleanSolution);
         } else {
-          $this.printNumSolutions_p0aldh_k$(solutions, _get_maxSolutions__ysux2t($this), solver.get_operators_z0nmfu_k$(), groundQueriesHaveBooleanSolution);
+          $this.q5t(solutions, _get_maxSolutions__ysux2t($this), solver.c1y(), groundQueriesHaveBooleanSolution);
         }
       } catch ($p) {
         if ($p instanceof ParseException) {
           var e = $p;
-          $this.printParseException_dkyw14_k$(e);
+          $this.n5t(e);
         } else {
           throw $p;
         }
@@ -510,14 +510,14 @@
     var tmp = this;
     var tmp_0 = argument(this);
     var tmp_1 = KProperty1;
-    tmp.query$delegate_1 = tmp_0.provideDelegate_uuljd1_k$(this, getPropertyCallableRef('query', 1, tmp_1, TuPrologSolveQuery$_get_query_$ref_bkd3qt(), null));
+    tmp.u5v_1 = tmp_0.r44(this, getPropertyCallableRef('query', 1, tmp_1, TuPrologSolveQuery$_get_query_$ref_bkd3qt(), null));
     var tmp_2 = this;
     var tmp_3 = default_0(int(option(this, ['-n', '--numberOfSolutions'], 'Number of solution to calculate')), 0);
     var tmp_4 = KProperty1;
-    tmp_2.maxSolutions$delegate_1 = tmp_3.provideDelegate_ugm9ea_k$(this, getPropertyCallableRef('maxSolutions', 1, tmp_4, TuPrologSolveQuery$_get_maxSolutions_$ref_o23pc7(), null));
+    tmp_2.v5v_1 = tmp_3.c45(this, getPropertyCallableRef('maxSolutions', 1, tmp_4, TuPrologSolveQuery$_get_maxSolutions_$ref_o23pc7(), null));
   }
-  protoOf(TuPrologSolveQuery).run_mvkpxh_k$ = function () {
-    var solver = _get_parentCommand__z09ff4(this).getSolver_d7ulft_k$();
+  protoOf(TuPrologSolveQuery).v3v = function () {
+    var solver = _get_parentCommand__z09ff4(this).v5u();
     evalAndPrint(this, solver);
   };
   function isReadableFile(path) {

package/2p-repl.js.map

@@ -1 +1 @@
-{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/AbstractTuPrologCommand.kt","src/kotlin/text/Strings.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/NullInputException.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologCmd.kt","src/kotlin/collections/Maps.kt","src/kotlin/util/Standard.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologSolveQuery.kt","../../../../../../../ui/repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/PlatformSpecificUtils.kt","../../../../../../../ui/repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/Repl.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["printSolution","sol","operatorSet","groundQueriesHaveBooleanSolution","printYesSolution","printHaltSolution","ex","printEndOfSolutions","readQueryMultiline","query","longQuery","lastRead","printNoSolution","<init>","help","context","helpEpilog","printParseException","e","readQuery","printSolutions","solutions","first","cmd","printNumSolutions","maxSolutions","i","NullInputException_init_$Init$","message","cause","loadTheory","theory","t","readEvalPrintLoop","solver","goal","TuPrologCmd$getSolver$lambda$lambda$lambda","TuPrologCmd$getSolver$lambda$lambda","sep","formatter","stacktrace","TuPrologCmd$getSolver$lambda","additionalLibraries","run","solve","subcommand","getTimeout","getSolver","outputChannel","libraries","<get-parentCommand>","evalAndPrint","duration","isReadableFile","path","loadTheoryFromFile","main","args"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EC6CYA,uBD7CZ,K,EC8CQC,G,EACAC,W,EACAC,gCAHIH,EAIN;A,IAEM,gBADE,GACF,O,CAAmB;A,MACf,wBAAiB,GAAjB,EAAsB,WAAtB,EAAmC,gCAAnC,C;IACJ,C;MACA,gBAJE,GAIF,M,CAAkB;A,QACd,uBAAgB,GAAhB,EAAqB,WAArB,C;MACJ,C;QACA,gBAPE,GAOF,Q,CAAoB;A,UAChB,yBAAkB,GAAlB,EAAuB,WAAvB,C;QACJ,C;UATJ,8B;;;;EAWJ,C;EAEQI,0BD/DZ,K,ECgEQH,G,EACAC,W,EACAC,gCAHIC,EAIN;A,IACE,6BAAS,OAAJ,GAAI,EAAyB,2CAAc,WAAd,EAA2B,gCAA3B,CAAzB,CAAT,C;EACJ,C;EAEQC,2BDvEZ,K,ECwEQJ,G,EACAC,WAFIG,EAGN;A,QACQC,KAAS,GAAI,0B;IACf,gC,CAAoB;A,MAChB,6BAAK,YAAL,C;MACA,MAAM,kBAAc,EAAd,CAAiB,UAAjB,C;IACV,C;MACQ,6BAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;;EAEhB,C;EAWQC,6BD7FZ,KC6FYA,EAA0B;A,EAElC,C;EAyBQC,4BDxHZ,K,ECwHmCC,KAAvBD,EAA8C;A,QAClDE,YAAgB,kBAAc,KAAd,C;QAChBC,WAAe,K;0BACf;A;UD3HR,SC2HgB,Q;UCyDkE,YAAV,SAAP,KAAtB,6CAAsB,CAAO,C;WDzDzD,CAAiB,SAAP,SAAO,EAAS,8BAAT,C;;;UACT,iBAAS,OAAT,mBAAS,EAAO,GAAP,gCAA2B,GAA3B,C;UD5HhC,G;MC4HuB,2B;QACJ,MAAM,iCAAmB,iDAAnB,C;;cADF,c;;MAAX,c;MAEA,SAAU,kBAAO,QAAP,C;IACd,C;IACA,OAAO,SAAU,W;EACrB,C;EAGQC,yBDpIZ,K,ECqIQX,G,EACAC,WAFIU,EAGN;A,IACE,6BAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;EACJ,C;EA5GkCC,iCD7BtC,I,EAAA,M,EAAA,I,EAAA,uB,EAAA,oB,EAAA,Q,EAAA,kB,EAAA,wB,EAAA,yB,EAAA,cC6BsCA,EAAA;A,2BACP,E;+BACE,E;2BACb,I;iEACgC,K;2DACH,K;mCACA,U;uDACF,E;mEACM,K;qEACC,K;+CACX,K;IAV3C,wBAWiB,IAXjB,C;IACI,kB;IACA,sB;IAEA,wD;IACA,kD;IACA,0B;IACA,8C;IACA,0D;IACA,4D;IACA,sC;EAVkC,C;2ED7BtC,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,yBAAA;AAAA,EAAA,CAAA;wEAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,sBAAA;AAAA,EAAA,CAAA;4DAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,UAAA;AAAA,EAAA,CAAA;sEAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,oBAAA;AAAA,EAAA,CAAA;4EAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,0BAAA;AAAA,EAAA,CAAA;6EAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,2BAAA;AAAA,EAAA,CAAA;kEAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,gBAAA;AAAA,EAAA,CAAA;oDCyCaC,UAASC,OAATD,EAA6B;A,IAAS,OAAT,IAAS,CAAJ,M;EAAG,C;0DAErCE,UAAeD,OAAfC,EAAmC;A,IAAW,OAAX,IAAW,CAAN,Q;EAAK,C;mEA8C5CC,UAAwBC,CAAxBD,EAA2C;A,QACrC,qBAAF,CAAE,Q;QD1FpB,G;IC0F6B,+B;YAAA,I;;;UD1F7B,K;;MEi1Be,IAniBwC,mBDpNrC,kBCoNqC,IAAS,CAmiBjD,C;YFj1Bf,KEi1BuC,WDvvBrB,kBCuvBqB,EAAK,CAAL,C;YDvvBgE,YAAhD,YAAH,EAAG,CAAP,GAAyB,UAAH,EAAG,CAAzB,GAA6C,WAAH,EAAG,C;gBCuvB7C,SAAnB,SAAmB,CAAnB,GAAgC,UDvvB3C,kBCuvB2C,EAAU,CAAV,C;;gBDvvB3C,kB;;;;IAAV,4BAAM,IAAN,cAA2G,IAA3G,C;EACJ,C;yDAcUE,UAAAA,EAAwB;A,QAC9BV,QAA8B,OAAT,kBAAS,EAAO,IAAP,gCAA4B,GAA5B,C;QD1GtC,G;IC4GY,aAAS,IAAT,C;MACI,MAAM,iCAAmB,gDAAnB,C;;;UCuE4D,YAAV,SAAP,KAAtB,eDrE/B,KCqE+B,IDrE/B,KCqE+B,cAAsB,CAAO,C;MDrE5D,IAAa,SAAP,SAAO,EAAS,8BAAT,CAAb,C;cACI,K;;cAGA,yBAAmB,KAAnB,C;;;IARR,U;EAWJ,C;8DA6BUW,UACNC,S,EACAnB,W,EACAC,gCAHMiB,EAIR;A,QACEE,QAAY,I;oBACL,SAAU,oB,EAAW;A,MACpB,KAAC,KAAD,C,CAAQ;A,YACW,4BAAT,kBAAS,EAAO,EAAP,oBAAuB,KAAvB,C;YD3JnC,G;QC2JkE,+B;gBAAA,I;;;gBCyBM,SAAP,KAAtB,eDzBjB,kBCyBiB,IDzBjB,kBCyBiB,cAAsB,CAAO,C;;YDzBxDC,S;QACI,cAAO,GAAP,E;UAAY,a;MACpB,C,MAAO;A,QACH,QAAQ,K;MACZ,C;MACA,oBAAc,SAAU,gBAAxB,EAAgC,WAAhC,EAA6C,gCAA7C,C;IACJ,C;IACA,yB;EACJ,C;iEASUC,UACNH,S,EACAI,Y,EACAvB,W,EACAC,gCAJMqB,EAKR;A,QACEE,IAAQ,C;WACD,IAAI,Y,IAAgB,SAAU,oB,EAAW;A,MAC5C,IAAA,CAAC,IAAD,I;MACA,oBAAc,SAAU,gBAAxB,EAAgC,WAAhC,EAA6C,gCAA7C,C;IACJ,C;IACA,yB;EACJ,C;EE3KAC,wCAAYC,O,EAAkBC,K,EHblC,KGaIF,E;IAAmD,8BAAM,OAAN,EAAe,KAAf,Q;IAAnD,8B;;G;EAEAA,0CAAYC,O,EHfhB,KGeID,E;IAAgC,+BAAK,OAAL,EAAc,IAAd,Q;;G;EAAhCA,0CAAYC,OAAZD,E;QHfJ,0F;;;G;EAAA,4BAAA,EAAA;AAAA;AAAA,EAAA,CAAA;A,EIwDId,mBAAAA,EAAA;A,IAEqC,6B;EAFrC,C;;EJxDJ,iCAAA,EAAA;AAAA;AAAA,GAAA;EAAA,4BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,gBAAA,oBAAA,KAAA,sFAAA;AAAA,EAAA,CAAA;EAAA,6BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,kBAAA,oBAAA,KAAA,0FAAA;AAAA,EAAA,CAAA;EAAA,0BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,cAAA,oBAAA,KAAA,kFAAA;AAAA,EAAA,CAAA;EI6FYiB,oBJ7FZ,KI6FYA,EAAyB;A,QAC7BC,SAA4B,iD;QACf,oBAAK,mBAAL,KAAK,CAAL,qB;WAAA,qC,EAAY;A,UJ/FjC,OI+FqB,iC;MACL,mBAAe,IAAf,E,CAAsB;A,QACtB,IAAI;A,cACAC,IAAQ,mBAAmB,IAAnB,C;UACR,6BAAM,wBAAN,GAA8B,CAAE,qBAAhC,cAAqC,gBAArC,GAAoD,IAApD,C;UACA,2BAAU,CAAV,C;QACJ,C;4CAA4B;A,gBJrG5C,M;YIsGoB,6BAOQ,WAND,gEAMC,GALiC,IAKjC,GALqC,4CAKrC,GAJc,CAId,CAJgB,OAIhB,GAJwB,4CAIxB,GAHc,CAGd,CAHgB,IAGhB,GAHqB,4CAGrB,GAFc,CAEd,CAFgB,MAEhB,GAFuB,4CAEvB,GADc,CACd,CADgB,WAChB,GAD4B,4BAC5B,CAPR,QAQU,IARV,C;UAUJ,C;;;;MACJ,C;IACJ,C;IACA,6BAAK,EAAL,C;IACA,OAAO,M;EACX,C;EAEQC,2BJvHZ,K,EIuHkCC,MAAtBD,EAAsC;A,IAC1C,IAAI;A,UACAxB,QAAqB,2B;aACd,WAAS,IAAT,C,EAAe;A,QAClB,IAAI;A,cACA0B,OAAkB,kDAAM,KAAN,EAAa,MAAO,0BAApB,C;cAClBd,YAAgB,MAAO,kBAAM,IAAN,EAAY,KAAK,uBAAjB,CAA+B,qB;UACtD,+BACI,SADJ,EAEI,MAAO,0BAFX,EAGI,OAAA,MAAO,sBAAP,qGAAmF,IAAnF,CAHJ,C;QAKJ,C;4CAA4B;A,gBJnI5C,M;YIoIoB,oCAAoB,CAApB,C;UACJ,C;;;;QACA,6BAAK,EAAL,C;QACA,QAAQ,2B;MACZ,C;IACJ,C;8CAAgC;A,YJzIxC,0B;QI0IY,6BAAK,cAAL,C;QACA,MAAM,kBAAc,CAAd,C;MACV,C;;;;EACJ,C;EJ7IJ,4CAAA,EAAA;AAAA,gDAAA,E;aI+DuC,sB;OJ/DvC,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,8CAAA,EAAA;AAAA,gDAAA,E;aIkE2B,uB;OJlE3B,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,0CAAA,EAAA;AAAA,gDAAA,E;aIwEuB,oB;OJxEvB,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,6CAAA,UAAA,EAAA;AAAA,WI0KqEe,UAAA,EAAAA,EAAA;A,MAAsB,OAAjB,OAAH,EAAG,EAAO,UAAP,C;IAAkB,C;AJ1K5F,GAAA;EAAA,sCAAA,MAAA,EAAA;AAAA,WIsKsCC,UJtKtC,CIsKsCA,EAAA;A,MACtB,8BAAM,IAAN,GAAU,CAAV,CAAY,OAAZ,QAA6B,IAA7B,C;UACAC,MAAU,W;UACVC,YAAwC,sDAAkB,CAAE,wBAAQ,0BAA5B,C;UJzKxD,MI0KiC,CAAE,gC;UAAnBC,aAAmC,kBAAa,GAAb,0BAAkB,8CAAlB,C;MACnC,8BAAM,UAAN,GAAe,UAAf,QAAkC,IAAlC,C;MACJ,oB;IAAA,C;AJ5KZ,GAAA;EIuLkCC,wCAAA,UAAAA,EAAA;A,IAAI,OAAF,UAAE,CAAF,I;EAAG,C;EAvItB5B,qBACb6B,mBADa7B,EAAA;A,IAAjB,mCAMe,qCANf,QAKe,uBALf,EAGkC,IAHlC,oBAImC,IAJnC,C;IAa0D,gD;QJ7D1D,MI+DuC,I;QJ/DvC,QIgES,SAD8B,aAAO,OAAM,UAAN,CAAP,EAAgC,kCAAhC,CAC9B,C;QJhET,kB;II+DuC,mJ;QJ/DvC,QIkE2B,I;QJlE3B,QIsEY,UAAN,IAJqB,aACnB,OACA,WADA,CADmB,EAGZ,oEAHY,CAIrB,CAAM,EAAQ,IAAR,C;QJtEZ,kB;IIkE2B,2J;QJlE3B,QIwEuB,I;QJxEvB,QI2EM,KAHiB,aACf,SADe,EAER,uBAFQ,CAGjB,MAAe,KAAf,C;QJ3EN,kB;IIwEuB,+I;EAxBN,C;uCAmCJ8B,UAAAA,EAAU;A,QACfC,QAAoB,0B;QACpBC,aAAiB,IAAK,+BAAe,kC;IAEjC,kBAAc,IAAd,C,CAAoB;A,MACpB,wBAAkB,KAAlB,C;IACJ,C;EAEJ,C;8CAyDAC,UAAAA,EAAiC;A,IAAgB,OAAR,QAAR,yBAAQ,C;EAAO,C;6CAchDC,UAAAA,EAAwB;A,IACpB,4BAAK,uBAAL,C;QACAhB,SAA0B,WAAL,IAAK,C;QJpKlC,0B;QIqKQiB,gBACkB,OAAY,kCAAZ,C;QJtK1B,K;II8KgB,2B;cACQ,wBAAG,0DAAgB,IAAhB,CAAgB,qBAAhB,EAAH,C;;cAEA,wBAAG,oCAAQ,IAAR,CAAQ,qBAAR,EAAH,C;;QAJhBC,iB;QJ7KR,QImLsB,gDACT,aACA,YAAQ,SAAR,CACA,aAAS,MAAT,C;QJtLb,oC;;QAAA,SIuLa,mCAAqB,8BAArB,CACA,aAAS,aAAT,CACA,Q;;QAEwB,oBErF3B,MFqF8B,0BCmWgD,wBAAQ,qB;WDnW3D,qC,EAAc;A;UAA1B,UAAY,iCCyI+B,sB;MDxIhD,4BAAM,iCAAN,GAAuC,OAAQ,sBAA/C,GAAqD,GAArD,C;IACJ,C;IACA,4BAAK,EAAL,C;IAXR,OE5EG,M;EFyFP,C;EJhMJ,4BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,gBAAA,oBAAA,KAAA,6FAAA;AAAA,EAAA,CAAA;EAAA,mCAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,uBAAA,oBAAA,KAAA,2GAAA;AAAA,EAAA,CAAA;EOoCQC,oCPpCR,KOoCQA,EAAQ;A,QAAe,qBAAf,oCAAe,S;QPpC/B,MOoCuC,oCAAvB,kBAAuB,U;IAAsB,OAA7C,8C;EAA4C,C;EAWhDC,sBP/CZ,K,EO+C6BjB,MAAjBiB,EAAiC;A;QP/C7C,SOgDY,yB;IAAA,IL8P2C,6BAAS,CK9PpD,C,CAAoB;A,MACpB,IAAI;A,YACAC,WAA6B,iCAAc,uB;YAC3C/B,YAAgB,MAAO,kBAAa,qCAAM,yBAAN,CAAb,EAA2B,QAA3B,CAAqC,qB;YAC5DlB,mCACI,OAAA,MAAO,sBAAP,qGAAmF,IAAnF,C;QACA,yCAAgB,CAAhB,C,CAAmB;A,UACnB,+BAAe,SAAf,EAA0B,MAAO,0BAAjC,EAA4C,gCAA5C,C;QACJ,C,MAAO;A,UACH,kCAAkB,SAAlB,EAA6B,gCAA7B,EAA2C,MAAO,0BAAlD,EAA6D,gCAA7D,C;QACJ,C;MACJ,C;0CAA4B;A,cP3DxC,M;UO4DgB,oCAAoB,CAApB,C;QACJ,C;;;;IACJ,C;;UP9DR,SO+DiB,0B;MDlCiC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;;ECoCpD,C;EPjEJ,mDAAA,EAAA;AAAA,gDAAA,E;aO8BiC,sB;OP9BjC,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,0DAAA,EAAA;AAAA,gDAAA,E;aO+BqC,6B;OP/BrC,CAAA,EAAA,CAAA;AAAA,GAAA;A,EOyBAU,4BAAAA,EAAA;A,IAAA,mCAEe,+CAFf,QAGe,OAHf,C;QPzBA,MO8BiC,I;QP9BjC,QO8BiC,c;QP9BjC,kB;IO8BiC,0J;QP9BjC,QO+BqC,I;QP/BrC,QOiCS,UADA,IAD4B,aAAO,OAAM,qBAAN,CAAP,EAA2C,iCAA3C,CAC5B,CACA,EAAQ,CAAR,C;QPjCT,kB;IO+BqC,iL;EANrC,C;8CAiBa8B,UAAAA,EAAU;A,QACfT,SAAa,gCAAc,sB;IAC3B,mBAAa,MAAb,C;EACJ,C;ECpCGmB,wBAAmBC,IAAnBD,EAA0C;A;QRTjD,SQUS,qB;IFmByC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EElBxD,C;EAOOE,4BAAuBD,IAAvBC,EAA6C;A;QRlBpD,SQmBS,qB;IFUyC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EETxD,C;ECPAC,gBAASC,IAATD,EAA8B;A,IACsB,KAAlC,YAAd,mBAAc,EAAY,0BAAZ,CAAkC,EAAK,IAAL,C;EACpD,C;;;;;;;;;;"}
+{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/AbstractTuPrologCommand.kt","src/kotlin/text/Strings.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/NullInputException.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologCmd.kt","src/kotlin/collections/Maps.kt","src/kotlin/util/Standard.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologSolveQuery.kt","../../../../../../../ui/repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/PlatformSpecificUtils.kt","../../../../../../../ui/repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/Repl.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["printSolution","sol","operatorSet","groundQueriesHaveBooleanSolution","printYesSolution","printHaltSolution","ex","printEndOfSolutions","readQueryMultiline","query","longQuery","lastRead","printNoSolution","<init>","help","context","helpEpilog","printParseException","e","readQuery","printSolutions","solutions","first","cmd","printNumSolutions","maxSolutions","i","NullInputException_init_$Init$","message","cause","loadTheory","theory","t","readEvalPrintLoop","solver","goal","TuPrologCmd$getSolver$lambda$lambda$lambda","TuPrologCmd$getSolver$lambda$lambda","sep","formatter","stacktrace","TuPrologCmd$getSolver$lambda","additionalLibraries","run","solve","subcommand","getTimeout","getSolver","outputChannel","libraries","<get-parentCommand>","evalAndPrint","duration","isReadableFile","path","loadTheoryFromFile","main","args"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EC6CYA,uBD7CZ,K,EC8CQC,G,EACAC,W,EACAC,gCAHIH,EAIN;A,IAEM,gBADE,GACF,O,CAAmB;A,MACf,wBAAiB,GAAjB,EAAsB,WAAtB,EAAmC,gCAAnC,C;IACJ,C;MACA,gBAJE,GAIF,M,CAAkB;A,QACd,uBAAgB,GAAhB,EAAqB,WAArB,C;MACJ,C;QACA,gBAPE,GAOF,Q,CAAoB;A,UAChB,yBAAkB,GAAlB,EAAuB,WAAvB,C;QACJ,C;UATJ,8B;;;;EAWJ,C;EAEQI,0BD/DZ,K,ECgEQH,G,EACAC,W,EACAC,gCAHIC,EAIN;A,IACE,UAAS,OAAJ,GAAI,EAAyB,uBAAc,WAAd,EAA2B,gCAA3B,CAAzB,CAAT,C;EACJ,C;EAEQC,2BDvEZ,K,ECwEQJ,G,EACAC,WAFIG,EAGN;A,QACQC,KAAS,GAAI,M;IACf,gC,CAAoB;A,MAChB,UAAK,YAAL,C;MACA,MAAM,kBAAc,EAAd,CAAiB,UAAjB,C;IACV,C;MACQ,UAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;;EAEhB,C;EAWQC,6BD7FZ,KC6FYA,EAA0B;A,EAElC,C;EAyBQC,4BDxHZ,K,ECwHmCC,KAAvBD,EAA8C;A,QAClDE,YAAgB,kBAAc,KAAd,C;QAChBC,WAAe,K;0BACf;A;UD3HR,SC2HgB,Q;UCyDkE,YAAV,SAAP,KAAtB,6CAAsB,CAAO,C;WDzDzD,CAAiB,SAAP,SAAO,EAAS,8BAAT,C;;;UACT,iBAAS,OAAT,mBAAS,EAAO,GAAP,gCAA2B,GAA3B,C;UD5HhC,G;MC4HuB,2B;QACJ,MAAM,iCAAmB,iDAAnB,C;;cADF,c;;MAAX,c;MAEA,SAAU,IAAO,QAAP,C;IACd,C;IACA,OAAO,SAAU,W;EACrB,C;EAGQC,yBDpIZ,K,ECqIQX,G,EACAC,WAFIU,EAGN;A,IACE,UAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;EACJ,C;EA5GkCC,iCD7BtC,I,EAAA,M,EAAA,I,EAAA,uB,EAAA,oB,EAAA,Q,EAAA,kB,EAAA,wB,EAAA,yB,EAAA,cC6BsCA,EAAA;A,2BACP,E;+BACE,E;2BACb,I;iEACgC,K;2DACH,K;mCACA,U;uDACF,E;mEACM,K;qEACC,K;+CACX,K;IAV3C,wBAWiB,IAXjB,C;IACI,iB;IACA,mB;IAEA,oC;IACA,iC;IACA,qB;IACA,+B;IACA,qC;IACA,sC;IACA,2B;EAVkC,C;yCD7BtC,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCCyCaC,UAASC,OAATD,EAA6B;A,IAAS,OAAT,IAAS,CAAJ,K;EAAG,C;yCAErCE,UAAeD,OAAfC,EAAmC;A,IAAW,OAAX,IAAW,CAAN,K;EAAK,C;yCA8C5CC,UAAwBC,CAAxBD,EAA2C;A,QACrC,qBAAF,CAAE,Q;QD1FpB,G;IC0F6B,+B;YAAA,I;;;UD1F7B,K;;MEi1Be,IAniBwC,mBDpNrC,kBCoNqC,IAAS,CAmiBjD,C;YFj1Bf,KEi1BuC,WDvvBrB,kBCuvBqB,EAAK,CAAL,C;YDvvBgE,YAAhD,YAAH,EAAG,CAAP,GAAyB,UAAH,EAAG,CAAzB,GAA6C,WAAH,EAAG,C;gBCuvB7C,SAAnB,SAAmB,CAAnB,GAAgC,UDvvB3C,kBCuvB2C,EAAU,CAAV,C;;gBDvvB3C,kB;;;;IAAV,SAAM,IAAN,cAA2G,IAA3G,C;EACJ,C;yCAcUE,UAAAA,EAAwB;A,QAC9BV,QAA8B,OAAT,kBAAS,EAAO,IAAP,gCAA4B,GAA5B,C;QD1GtC,G;IC4GY,aAAS,IAAT,C;MACI,MAAM,iCAAmB,gDAAnB,C;;;UCuE4D,YAAV,SAAP,KAAtB,eDrE/B,KCqE+B,IDrE/B,KCqE+B,cAAsB,CAAO,C;MDrE5D,IAAa,SAAP,SAAO,EAAS,8BAAT,CAAb,C;cACI,K;;cAGA,yBAAmB,KAAnB,C;;;IARR,U;EAWJ,C;yCA6BUW,UACNC,S,EACAnB,W,EACAC,gCAHMiB,EAIR;A,QACEE,QAAY,I;oBACL,SAAU,I,EAAW;A,MACpB,KAAC,KAAD,C,CAAQ;A,YACW,4BAAT,kBAAS,EAAO,EAAP,oBAAuB,KAAvB,C;YD3JnC,G;QC2JkE,+B;gBAAA,I;;;gBCyBM,SAAP,KAAtB,eDzBjB,kBCyBiB,IDzBjB,kBCyBiB,cAAsB,CAAO,C;;YDzBxDC,S;QACI,cAAO,GAAP,E;UAAY,a;MACpB,C,MAAO;A,QACH,QAAQ,K;MACZ,C;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,EAA6C,gCAA7C,C;IACJ,C;IACA,yB;EACJ,C;yCASUC,UACNH,S,EACAI,Y,EACAvB,W,EACAC,gCAJMqB,EAKR;A,QACEE,IAAQ,C;WACD,IAAI,Y,IAAgB,SAAU,I,EAAW;A,MAC5C,IAAA,CAAC,IAAD,I;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,EAA6C,gCAA7C,C;IACJ,C;IACA,yB;EACJ,C;EE3KAC,wCAAYC,O,EAAkBC,K,EHblC,KGaIF,E;IAAmD,8BAAM,OAAN,EAAe,KAAf,Q;IAAnD,8B;;G;EAEAA,0CAAYC,O,EHfhB,KGeID,E;IAAgC,+BAAK,OAAL,EAAc,IAAd,Q;;G;EAAhCA,0CAAYC,OAAZD,E;QHfJ,0F;;;G;EAAA,4BAAA,EAAA;AAAA;AAAA,EAAA,CAAA;A,EIwDId,mBAAAA,EAAA;A,IAEqC,iB;EAFrC,C;;EJxDJ,iCAAA,EAAA;AAAA;AAAA,GAAA;EAAA,4BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,sFAAA;AAAA,EAAA,CAAA;EAAA,6BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,0FAAA;AAAA,EAAA,CAAA;EAAA,0BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,kFAAA;AAAA,EAAA,CAAA;EI6FYiB,oBJ7FZ,KI6FYA,EAAyB;A,QAC7BC,SAA4B,iD;QACf,oBAAK,mBAAL,KAAK,CAAL,I;WAAA,qB,EAAY;A,UJ/FjC,OI+FqB,qB;MACL,mBAAe,IAAf,E,CAAsB;A,QACtB,IAAI;A,cACAC,IAAQ,mBAAmB,IAAnB,C;UACR,UAAM,wBAAN,GAA8B,CAAE,IAAhC,cAAqC,gBAArC,GAAoD,IAApD,C;UACA,2BAAU,CAAV,C;QACJ,C;4CAA4B;A,gBJrG5C,M;YIsGoB,UAOQ,WAND,gEAMC,GALiC,IAKjC,GALqC,4CAKrC,GAJc,CAId,CAJgB,OAIhB,GAJwB,4CAIxB,GAHc,CAGd,CAHgB,IAGhB,GAHqB,4CAGrB,GAFc,CAEd,CAFgB,MAEhB,GAFuB,4CAEvB,GADc,CACd,CADgB,WAChB,GAD4B,4BAC5B,CAPR,QAQU,IARV,C;UAUJ,C;;;;MACJ,C;IACJ,C;IACA,UAAK,EAAL,C;IACA,OAAO,M;EACX,C;EAEQC,2BJvHZ,K,EIuHkCC,MAAtBD,EAAsC;A,IAC1C,IAAI;A,UACAxB,QAAqB,W;aACd,WAAS,IAAT,C,EAAe;A,QAClB,IAAI;A,cACA0B,OAAkB,kDAAM,KAAN,EAAa,MAAO,MAApB,C;cAClBd,YAAgB,MAAO,kBAAM,IAAN,EAAY,KAAK,MAAjB,CAA+B,I;UACtD,UACI,SADJ,EAEI,MAAO,MAFX,EAGI,OAAA,MAAO,MAAP,qGAAmF,KAAnF,CAHJ,C;QAKJ,C;4CAA4B;A,gBJnI5C,M;YIoIoB,UAAoB,CAApB,C;UACJ,C;;;;QACA,UAAK,EAAL,C;QACA,QAAQ,W;MACZ,C;IACJ,C;8CAAgC;A,YJzIxC,0B;QI0IY,UAAK,cAAL,C;QACA,MAAM,kBAAc,CAAd,C;MACV,C;;;;EACJ,C;EJ7IJ,4CAAA,EAAA;AAAA,gDAAA,E;aI+DuC,sB;OJ/DvC,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,8CAAA,EAAA;AAAA,gDAAA,E;aIkE2B,uB;OJlE3B,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,0CAAA,EAAA;AAAA,gDAAA,E;aIwEuB,oB;OJxEvB,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,6CAAA,UAAA,EAAA;AAAA,WI0KqEe,UAAA,EAAAA,EAAA;A,MAAsB,OAAjB,OAAH,EAAG,EAAO,UAAP,C;IAAkB,C;AJ1K5F,GAAA;EAAA,sCAAA,MAAA,EAAA;AAAA,WIsKsCC,UJtKtC,CIsKsCA,EAAA;A,MACtB,WAAM,IAAN,GAAU,CAAV,CAAY,OAAZ,QAA6B,IAA7B,C;UACAC,MAAU,W;UACVC,YAAwC,sDAAkB,CAAE,KAAQ,MAA5B,C;UJzKxD,MI0KiC,CAAE,M;UAAnBC,aAAmC,kBAAa,GAAb,0BAAkB,8CAAlB,C;MACnC,WAAM,UAAN,GAAe,UAAf,QAAkC,IAAlC,C;MACJ,oB;IAAA,C;AJ5KZ,GAAA;EIuLkCC,wCAAA,UAAAA,EAAA;A,IAAI,OAAF,UAAE,CAAF,K;EAAG,C;EAvItB5B,qBACb6B,mBADa7B,EAAA;A,IAAjB,mCAMe,qCANf,QAKe,uBALf,EAGkC,IAHlC,oBAImC,IAJnC,C;IAa0D,gC;QJ7D1D,MI+DuC,I;QJ/DvC,QIgES,SAD8B,aAAO,OAAM,UAAN,CAAP,EAAgC,kCAAhC,CAC9B,C;QJhET,kB;II+DuC,kH;QJ/DvC,QIkE2B,I;QJlE3B,QIsEY,UAAN,IAJqB,aACnB,OACA,WADA,CADmB,EAGZ,oEAHY,CAIrB,CAAM,EAAQ,IAAR,C;QJtEZ,kB;IIkE2B,wH;QJlE3B,QIwEuB,I;QJxEvB,QI2EM,KAHiB,aACf,SADe,EAER,uBAFQ,CAGjB,MAAe,KAAf,C;QJ3EN,kB;IIwEuB,gH;EAxBN,C;6BAmCJ8B,UAAAA,EAAU;A,QACfC,QAAoB,U;QACpBC,aAAiB,IAAK,MAAe,M;IAEjC,kBAAc,IAAd,C,CAAoB;A,MACpB,wBAAkB,KAAlB,C;IACJ,C;EAEJ,C;6BAyDAC,UAAAA,EAAiC;A,IAAgB,OAAR,QAAR,yBAAQ,C;EAAO,C;6BAchDC,UAAAA,EAAwB;A,IACpB,SAAK,uBAAL,C;QACAhB,SAA0B,WAAL,IAAK,C;QJpKlC,0B;QIqKQiB,gBACkB,OAAY,kCAAZ,C;QJtK1B,K;II8KgB,2B;cACQ,wBAAG,0DAAgB,IAAhB,CAAgB,KAAhB,EAAH,C;;cAEA,wBAAG,oCAAQ,IAAR,CAAQ,KAAR,EAAH,C;;QAJhBC,iB;QJ7KR,QImLsB,+BACT,aACA,YAAQ,SAAR,CACA,aAAS,MAAT,C;QJtLb,oC;;QAAA,SIuLa,mCAAqB,8BAArB,CACA,aAAS,aAAT,CACA,Q;;QAEwB,oBErF3B,MFqF8B,MCmWgD,KAAQ,I;WDnW3D,qB,EAAc;A;UAA1B,UAAY,qBCyI+B,K;MDxIhD,SAAM,iCAAN,GAAuC,OAAQ,MAA/C,GAAqD,GAArD,C;IACJ,C;IACA,SAAK,EAAL,C;IAXR,OE5EG,M;EFyFP,C;EJhMJ,4BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,6FAAA;AAAA,EAAA,CAAA;EAAA,mCAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,2GAAA;AAAA,EAAA,CAAA;EOoCQC,oCPpCR,KOoCQA,EAAQ;A,QAAe,qBAAf,WAAe,M;QPpC/B,MOoCuC,oCAAvB,kBAAuB,M;IAAsB,OAA7C,8C;EAA4C,C;EAWhDC,sBP/CZ,K,EO+C6BjB,MAAjBiB,EAAiC;A;QP/C7C,SOgDY,yB;IAAA,IL8P2C,6BAAS,CK9PpD,C,CAAoB;A,MACpB,IAAI;A,YACAC,WAA6B,iCAAc,M;YAC3C/B,YAAgB,MAAO,kBAAa,qCAAM,yBAAN,CAAb,EAA2B,QAA3B,CAAqC,I;YAC5DlB,mCACI,OAAA,MAAO,MAAP,qGAAmF,KAAnF,C;QACA,yCAAgB,CAAhB,C,CAAmB;A,UACnB,UAAe,SAAf,EAA0B,MAAO,MAAjC,EAA4C,gCAA5C,C;QACJ,C,MAAO;A,UACH,UAAkB,SAAlB,EAA6B,gCAA7B,EAA2C,MAAO,MAAlD,EAA6D,gCAA7D,C;QACJ,C;MACJ,C;0CAA4B;A,cP3DxC,M;UO4DgB,UAAoB,CAApB,C;QACJ,C;;;;IACJ,C;;UP9DR,SO+DiB,0B;MDlCiC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;;ECoCpD,C;EPjEJ,mDAAA,EAAA;AAAA,gDAAA,E;aO8BiC,sB;OP9BjC,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,0DAAA,EAAA;AAAA,gDAAA,E;aO+BqC,6B;OP/BrC,CAAA,EAAA,CAAA;AAAA,GAAA;A,EOyBAU,4BAAAA,EAAA;A,IAAA,mCAEe,+CAFf,QAGe,OAHf,C;QPzBA,MO8BiC,I;QP9BjC,QO8BiC,c;QP9BjC,kB;IO8BiC,yH;QP9BjC,QO+BqC,I;QP/BrC,QOiCS,UADA,IAD4B,aAAO,OAAM,qBAAN,CAAP,EAA2C,iCAA3C,CAC5B,CACA,EAAQ,CAAR,C;QPjCT,kB;IO+BqC,yI;EANrC,C;oCAiBa8B,UAAAA,EAAU;A,QACfT,SAAa,gCAAc,M;IAC3B,mBAAa,MAAb,C;EACJ,C;ECpCGmB,wBAAmBC,IAAnBD,EAA0C;A;QRTjD,SQUS,qB;IFmByC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EElBxD,C;EAOOE,4BAAuBD,IAAvBC,EAA6C;A;QRlBpD,SQmBS,qB;IFUyC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EETxD,C;ECPAC,gBAASC,IAATD,EAA8B;A,IACsB,KAAlC,YAAd,mBAAc,EAAY,0BAAZ,CAAkC,EAAK,IAAL,C;EACpD,C;;;;;;;;;;"}

package/2p-solve-plp.js

@@ -24,7 +24,7 @@
     return _this__u8e3s4.setOption('it.unibo.tuprolog.solve.options.probabilistic', value);
   }
   function get_isProbabilistic(_this__u8e3s4) {
-    var tmp = _this__u8e3s4.get_customOptions_51ws3g_k$().get_wei43m_k$('it.unibo.tuprolog.solve.options.probabilistic');
+    var tmp = _this__u8e3s4.t20().j2('it.unibo.tuprolog.solve.options.probabilistic');
     var tmp0_elvis_lhs = (tmp == null ? true : typeof tmp === 'boolean') ? tmp : THROW_CCE();
     return tmp0_elvis_lhs == null ? false : tmp0_elvis_lhs;
   }

package/2p-solve-plp.js.map

@@ -1 +1 @@
-{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt","../../../../../../../solve-plp/src/commonMain/kotlin/it/unibo/tuprolog/solve/ProbExtensions.kt","js/src/kotlin/math.kt"],"sourcesContent":[null,null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["setProbabilistic","<this>","value","<get-isProbabilistic>","setProbability","setBinaryDecisionDiagram","normalizeProbability","probability"],"mappings":";;;;;;;;;;;;;;;;;;;;;;EC2GAA,0BAAIC,a,EAA8BC,KAAlCF,EAAoD;A,IAA0C,OAA1C,wBAAU,+CAAV,EAAoC,KAApC,C;EAAyC,C;EATzFG,6BADAF,aACAE,EACI;A,QDnGR,MCmGS,0DAAc,+CAAd,C;QDnGT,iBCmGS,mE;IACkC,OADnC,yBACO,KADP,iB;EACkC,C;EAd1CC,wBAA6BH,a,EAAiBC,KAA9CE,EAAkE;A,IAAoD,OAApD,sBAAO,qCAAP,EAAwB,qBAAqB,KAArB,CAAxB,C;EAAmD,C;EAwDrHC,kCAAIJ,a,EAAkCC,KAAtCG,EACI;A,IAA0C,OAA1C,sBAAO,6BAAP,EAAoC,KAApC,C;EAAyC,C;EAxFrCC,8BAAyBC,WAAzBD,EAAwD;A;;QDvDhE,IE+a6D,IAAW,KDxXA,GCwXA,EDxXK,WCwXL,C;IDxXuB,OCmYlC,IAAW,KAAI,CAAJ,EDnYmB,GCmYnB,C;EDnYsB,C;;;;;;;;;;"}
+{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt","../../../../../../../solve-plp/src/commonMain/kotlin/it/unibo/tuprolog/solve/ProbExtensions.kt","js/src/kotlin/math.kt"],"sourcesContent":[null,null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["setProbabilistic","<this>","value","<get-isProbabilistic>","setProbability","setBinaryDecisionDiagram","normalizeProbability","probability"],"mappings":";;;;;;;;;;;;;;;;;;;;;;EC2GAA,0BAAIC,a,EAA8BC,KAAlCF,EAAoD;A,IAA0C,OAA1C,wBAAU,+CAAV,EAAoC,KAApC,C;EAAyC,C;EATzFG,6BADAF,aACAE,EACI;A,QDnGR,MCmGS,uBAAc,+CAAd,C;QDnGT,iBCmGS,mE;IACkC,OADnC,yBACO,KADP,iB;EACkC,C;EAd1CC,wBAA6BH,a,EAAiBC,KAA9CE,EAAkE;A,IAAoD,OAApD,sBAAO,qCAAP,EAAwB,qBAAqB,KAArB,CAAxB,C;EAAmD,C;EAwDrHC,kCAAIJ,a,EAAkCC,KAAtCG,EACI;A,IAA0C,OAA1C,sBAAO,6BAAP,EAAoC,KAApC,C;EAAyC,C;EAxFrCC,8BAAyBC,WAAzBD,EAAwD;A;;QDvDhE,IE+a6D,IAAW,KDxXA,GCwXA,EDxXK,WCwXL,C;IDxXuB,OCmYlC,IAAW,KAAI,CAAJ,EDnYmB,GCmYnB,C;EDnYsB,C;;;;;;;;;;"}