@tuprolog/arg2p-core 0.8.1 → 0.8.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/2p-dsl-theory.js CHANGED
@@ -179,13 +179,13 @@
179
179
  var matchAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.a;
180
180
  var unify = kotlin_it_unibo_tuprolog_dsl_unify.$_$.i;
181
181
  var unifyAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.c;
182
- var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
183
- var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
184
- var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
182
+ var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
185
183
  var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
184
+ var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
186
185
  var Scope = kotlin_it_unibo_tuprolog_core.$_$.q1;
186
+ var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
187
187
  var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
188
- var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
188
+ var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
189
189
  var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
190
190
  var TheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.f;
191
191
  var classMeta = kotlin_kotlin.$_$.e5;
@@ -273,8 +273,8 @@
273
273
  function mutableTheoryOfConcatenatedIterables(clauses, otherClauses) {
274
274
  return this.mutableTheoryOfIterable(flatten(listOf(arrayConcat([[clauses], otherClauses]))));
275
275
  }
276
- setMetadataFor(LogicProgrammingScopeWithTheories, 'LogicProgrammingScopeWithTheories', interfaceMeta, VOID, [Unificator, BaseLogicProgrammingScope, TheoryFactory]);
277
- setMetadataFor(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', classMeta, VOID, [LogicProgrammingScopeWithTheories, LogicProgrammingScopeWithUnification, LogicProgrammingScopeWithPrologStandardLibrary, BaseLogicProgrammingScope, LogicProgrammingScopeWithOperators, Scope, MinimalLogicProgrammingScope, LogicProgrammingScopeWithSubstitutions, Unificator, TheoryFactory]);
276
+ setMetadataFor(LogicProgrammingScopeWithTheories, 'LogicProgrammingScopeWithTheories', interfaceMeta, VOID, [BaseLogicProgrammingScope, Unificator, TheoryFactory]);
277
+ setMetadataFor(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', classMeta, VOID, [LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithTheories, BaseLogicProgrammingScope, Scope, LogicProgrammingScopeWithUnification, MinimalLogicProgrammingScope, LogicProgrammingScopeWithPrologStandardLibrary, Unificator, TheoryFactory]);
278
278
  //endregion
279
279
  function logicProgramming(unificator, function_0) {
280
280
  unificator = unificator === VOID ? Companion_getInstance_0().p1u_1 : unificator;
package/2p-dsl-unify.js CHANGED
@@ -1,27 +1,27 @@
1
1
  (function (root, factory) {
2
2
  if (typeof define === 'function' && define.amd)
3
- define(['exports', './kotlin-kotlin-stdlib.js', './2p-unify.js', './2p-dsl-core.js'], factory);
3
+ define(['exports', './kotlin-kotlin-stdlib.js', './2p-dsl-core.js', './2p-unify.js'], factory);
4
4
  else if (typeof exports === 'object')
5
- factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-unify.js'), require('./2p-dsl-core.js'));
5
+ factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-dsl-core.js'), require('./2p-unify.js'));
6
6
  else {
7
7
  if (typeof this['kotlin-kotlin-stdlib'] === 'undefined') {
8
8
  throw new Error("Error loading module '2p-dsl-unify'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-dsl-unify'.");
9
9
  }
10
- if (typeof this['2p-unify'] === 'undefined') {
11
- throw new Error("Error loading module '2p-dsl-unify'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-dsl-unify'.");
12
- }
13
10
  if (typeof this['2p-dsl-core'] === 'undefined') {
14
11
  throw new Error("Error loading module '2p-dsl-unify'. Its dependency '2p-dsl-core' was not found. Please, check whether '2p-dsl-core' is loaded prior to '2p-dsl-unify'.");
15
12
  }
16
- root['2p-dsl-unify'] = factory(typeof this['2p-dsl-unify'] === 'undefined' ? {} : this['2p-dsl-unify'], this['kotlin-kotlin-stdlib'], this['2p-unify'], this['2p-dsl-core']);
13
+ if (typeof this['2p-unify'] === 'undefined') {
14
+ throw new Error("Error loading module '2p-dsl-unify'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-dsl-unify'.");
15
+ }
16
+ root['2p-dsl-unify'] = factory(typeof this['2p-dsl-unify'] === 'undefined' ? {} : this['2p-dsl-unify'], this['kotlin-kotlin-stdlib'], this['2p-dsl-core'], this['2p-unify']);
17
17
  }
18
- }(this, function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_dsl_core) {
18
+ }(this, function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_dsl_core, kotlin_it_unibo_tuprolog_unify) {
19
19
  'use strict';
20
20
  //region block: imports
21
21
  var protoOf = kotlin_kotlin.$_$.a6;
22
22
  var VOID = kotlin_kotlin.$_$.d;
23
- var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
24
23
  var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
24
+ var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
25
25
  var interfaceMeta = kotlin_kotlin.$_$.n5;
26
26
  var setMetadataFor = kotlin_kotlin.$_$.b6;
27
27
  //endregion
@@ -56,7 +56,7 @@
56
56
  occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
57
57
  return $super === VOID ? this.c1l(term1, term2, occurCheckEnabled) : unify(term1, term2, occurCheckEnabled);
58
58
  }
59
- setMetadataFor(LogicProgrammingScopeWithUnification, 'LogicProgrammingScopeWithUnification', interfaceMeta, VOID, [Unificator, BaseLogicProgrammingScope]);
59
+ setMetadataFor(LogicProgrammingScopeWithUnification, 'LogicProgrammingScopeWithUnification', interfaceMeta, VOID, [BaseLogicProgrammingScope, Unificator]);
60
60
  //endregion
61
61
  function LogicProgrammingScopeWithUnification() {
62
62
  }
package/2p-solve.js CHANGED
@@ -920,7 +920,7 @@
920
920
  setMetadataFor(ExtensionLibrary, 'ExtensionLibrary', classMeta, AbstractLibrary);
921
921
  setMetadataFor(LibraryImpl, 'LibraryImpl', classMeta, AbstractLibrary);
922
922
  setMetadataFor(Companion_39, 'Companion', objectMeta);
923
- setMetadataFor(RuntimeImpl, 'RuntimeImpl', classMeta, AbstractPluggable, [Pluggable, Map, AbstractPluggable]);
923
+ setMetadataFor(RuntimeImpl, 'RuntimeImpl', classMeta, AbstractPluggable, [Map, Pluggable, AbstractPluggable]);
924
924
  setMetadataFor(PrimitiveWrapper, 'PrimitiveWrapper', classMeta, AbstractWrapper);
925
925
  setMetadataFor(BinaryRelation, 'BinaryRelation', classMeta, PrimitiveWrapper);
926
926
  setMetadataFor(NonBacktrackable, 'NonBacktrackable', classMeta, BinaryRelation);
package/arg2p-core.js CHANGED
@@ -75,7 +75,6 @@
75
75
  var Companion_instance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
76
76
  var parseTheory = kotlin_it_unibo_tuprolog_parser_theory.$_$.a;
77
77
  var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h1;
78
- var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.p1;
79
78
  var ClassicSolverFactory_instance = kotlin_it_unibo_tuprolog_solve_classic.$_$.a;
80
79
  var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g1;
81
80
  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f1;
@@ -86,12 +85,13 @@
86
85
  var map = kotlin_kotlin.$_$.s7;
87
86
  var first = kotlin_kotlin.$_$.j7;
88
87
  var ensureNotNull = kotlin_kotlin.$_$.y9;
89
- var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.u;
88
+ var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.u;
90
89
  var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.d;
91
90
  var parseTheoryWithOperators = kotlin_it_unibo_tuprolog_parser_theory.$_$.b;
92
91
  var Companion_instance_2 = kotlin_it_unibo_tuprolog_core.$_$.w;
93
92
  var defineProp = kotlin_kotlin.$_$.g5;
94
93
  var Companion_instance_3 = kotlin_it_unibo_tuprolog_dsl_solve.$_$.b;
94
+ var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_solve.$_$.p1;
95
95
  var copy = kotlin_it_unibo_tuprolog_solve.$_$.g;
96
96
  var logicList = kotlin_it_unibo_tuprolog_dsl_core.$_$.a;
97
97
  var logicListFromFrom = kotlin_it_unibo_tuprolog_core.$_$.d;
@@ -102,15 +102,15 @@
102
102
  var mguAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.b;
103
103
  var solverOf = kotlin_it_unibo_tuprolog_dsl_solve.$_$.a;
104
104
  var unifyAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.c;
105
+ var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
106
+ var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
105
107
  var LogicProgrammingScopeWithTheories = kotlin_it_unibo_tuprolog_dsl_theory.$_$.h;
106
- var LogicProgrammingScopeWithResolution = kotlin_it_unibo_tuprolog_dsl_solve.$_$.c;
107
- var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
108
- var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
109
108
  var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
110
- var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
111
109
  var Scope = kotlin_it_unibo_tuprolog_core.$_$.q1;
110
+ var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
112
111
  var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
113
- var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
112
+ var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
113
+ var LogicProgrammingScopeWithResolution = kotlin_it_unibo_tuprolog_dsl_solve.$_$.c;
114
114
  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.i;
115
115
  var lazy = kotlin_kotlin.$_$.aa;
116
116
  var KProperty1 = kotlin_kotlin.$_$.u6;
@@ -210,7 +210,7 @@
210
210
  setMetadataFor(BridgedGraph, 'BridgedGraph', classMeta);
211
211
  setMetadataFor(BridgedSolution, 'BridgedSolution', classMeta);
212
212
  setMetadataFor(JsBridge, 'JsBridge', objectMeta);
213
- setMetadataFor(PrologWithArgumentationImpl, 'PrologWithArgumentationImpl', classMeta, VOID, [LogicProgrammingScopeWithTheories, LogicProgrammingScopeWithResolution, LogicProgrammingScopeWithUnification, LogicProgrammingScopeWithPrologStandardLibrary, BaseLogicProgrammingScope, LogicProgrammingScopeWithOperators, Scope, MinimalLogicProgrammingScope, LogicProgrammingScopeWithSubstitutions], PrologWithArgumentationImpl);
213
+ setMetadataFor(PrologWithArgumentationImpl, 'PrologWithArgumentationImpl', classMeta, VOID, [LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithTheories, BaseLogicProgrammingScope, Scope, LogicProgrammingScopeWithUnification, MinimalLogicProgrammingScope, LogicProgrammingScopeWithPrologStandardLibrary, LogicProgrammingScopeWithResolution], PrologWithArgumentationImpl);
214
214
  function get_theoryOperators() {
215
215
  return Companion_getInstance_2().DEFAULT;
216
216
  }
@@ -725,7 +725,7 @@
725
725
  function solverOf_0($this, outputConsumer, flagsText) {
726
726
  var flags = parseTheory(Companion_instance_0, flagsText);
727
727
  var libFlags = Companion_getInstance().of('argumentation.flags', VOID, flags);
728
- var tmp = Companion_getInstance_0().b1y();
728
+ var tmp = ClassicSolverFactory_instance;
729
729
  var tmp_0 = ClassicSolverFactory_instance.j1y().plusRuntime(Companion_instance_9.n3a().k3a().plusLibrary(libFlags));
730
730
  var tmp_1 = ClassicSolverFactory_instance.m1y().setNotable(Unknown_getInstance(), Unknown_getInstance().v29_1).setNotable(TrackVariables_getInstance(), TrackVariables_getInstance().p29_1);
731
731
  var tmp_2 = Companion_instance_0.emptyWithDefaultUnificator();
@@ -802,7 +802,7 @@
802
802
  }
803
803
  protoOf(JsBridge).solve = function (queryText, theoryText, flagsText, outputConsumer) {
804
804
  var solver = solverOf_0(this, outputConsumer, flagsText);
805
- var query = parseStructWithOperators(Companion_getInstance_1(), queryText, solver.t1v());
805
+ var query = parseStructWithOperators(Companion_getInstance_0(), queryText, solver.t1v());
806
806
  var theory = parseTheoryWithOperators(Companion_instance_0, theoryText, solver.t1v());
807
807
  var formatter = Companion_instance_2.prettyExpressionsPrettyVariablesDefaultOperators();
808
808
  solver.loadStaticKb(theory);
@@ -818,7 +818,7 @@
818
818
  return JsBridge_instance;
819
819
  }
820
820
  function PrologWithArgumentationImpl() {
821
- this.f3c_1 = Companion_instance_3.ofSolverFactory(Companion_getInstance_0().b1y());
821
+ this.f3c_1 = Companion_instance_3.ofSolverFactory(Companion_getInstance_1().b1y());
822
822
  }
823
823
  protoOf(PrologWithArgumentationImpl).w1g = function () {
824
824
  return this.f3c_1.w1g();
@@ -1859,7 +1859,7 @@
1859
1859
  function Cache() {
1860
1860
  var tmp = this;
1861
1861
  // Inline function 'kotlin.also' call
1862
- var this_0 = Companion_getInstance_0().b1y().rawMutableSolverOf(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.empty(Companion_getInstance_3().y1k()));
1862
+ var this_0 = Companion_getInstance_1().b1y().rawMutableSolverOf(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.empty(Companion_getInstance_3().y1k()));
1863
1863
  // Inline function 'kotlin.contracts.contract' call
1864
1864
  // Inline function 'it.unibo.tuprolog.argumentation.core.libs.basic.Cache.solver.<anonymous>' call
1865
1865
  this_0.setFlag(Unknown_getInstance().w29_1, Unknown_getInstance().v29_1);
@@ -2043,7 +2043,7 @@
2043
2043
  // Inline function 'kotlin.collections.set' call
2044
2044
  var this_0 = this.k3e_1.i3d_1;
2045
2045
  // Inline function 'kotlin.also' call
2046
- var this_1 = Companion_getInstance_0().b1y().mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.empty(Companion_getInstance_3().y1k()));
2046
+ var this_1 = Companion_getInstance_1().b1y().mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.empty(Companion_getInstance_3().y1k()));
2047
2047
  // Inline function 'kotlin.contracts.contract' call
2048
2048
  // Inline function 'it.unibo.tuprolog.argumentation.core.libs.basic.DynamicCacheReset.solve.<anonymous>' call
2049
2049
  this_1.setFlag(Unknown_getInstance().w29_1, Unknown_getInstance().v29_1);
@@ -2097,7 +2097,7 @@
2097
2097
  var this_0 = this.q3e_1.i3d_1;
2098
2098
  var key = this.q3e_1.g3d_1;
2099
2099
  // Inline function 'kotlin.also' call
2100
- var this_1 = Companion_getInstance_0().b1y().mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.ofIterable(Companion_getInstance_3().y1k(), ensureNotNull(this.q3e_1.i3d_1.x2(target)).n1v()));
2100
+ var this_1 = Companion_getInstance_1().b1y().mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.ofIterable(Companion_getInstance_3().y1k(), ensureNotNull(this.q3e_1.i3d_1.x2(target)).n1v()));
2101
2101
  // Inline function 'kotlin.contracts.contract' call
2102
2102
  // Inline function 'it.unibo.tuprolog.argumentation.core.libs.basic.DynamicCacheBranch.solve.<anonymous>' call
2103
2103
  this_1.setFlag(Unknown_getInstance().w29_1, Unknown_getInstance().v29_1);
@@ -2176,7 +2176,7 @@
2176
2176
  this.h3d_1 = 0;
2177
2177
  var tmp = this;
2178
2178
  // Inline function 'kotlin.also' call
2179
- var this_0 = Companion_getInstance_0().b1y().mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.empty(Companion_getInstance_3().y1k()));
2179
+ var this_0 = Companion_getInstance_1().b1y().mutableSolverWithDefaultBuiltinsAnd(VOID, VOID, VOID, Companion_instance_0.emptyWithDefaultUnificator(), Companion_instance_4.empty(Companion_getInstance_3().y1k()));
2180
2180
  // Inline function 'kotlin.contracts.contract' call
2181
2181
  // Inline function 'it.unibo.tuprolog.argumentation.core.libs.basic.Context.dynamicSolver.<anonymous>' call
2182
2182
  this_0.setFlag(Unknown_getInstance().w29_1, Unknown_getInstance().v29_1);
@@ -2550,7 +2550,7 @@
2550
2550
  }
2551
2551
  function ModuleCall$mineModulesPath$lambda($context) {
2552
2552
  return function ($this$logicProgramming) {
2553
- var tmp = Companion_getInstance_0().b1y().rawSolverOf(VOID, $context.k1v()).solve($this$logicProgramming.stringInvoke('modulesPath', $this$logicProgramming.w1g(), []));
2553
+ var tmp = Companion_getInstance_1().b1y().rawSolverOf(VOID, $context.k1v()).solve($this$logicProgramming.stringInvoke('modulesPath', $this$logicProgramming.w1g(), []));
2554
2554
  return first(map(tmp, ModuleCall$mineModulesPath$lambda$lambda($this$logicProgramming)));
2555
2555
  };
2556
2556
  }
@@ -2562,7 +2562,7 @@
2562
2562
  function ModuleCall$getCleanSolver$lambda_0($context, $modules, $module) {
2563
2563
  return function ($this$logicProgramming) {
2564
2564
  // Inline function 'kotlin.also' call
2565
- var this_0 = Companion_getInstance_0().b1y().rawSolverOf(VOID, $context.k1v());
2565
+ var this_0 = Companion_getInstance_1().b1y().rawSolverOf(VOID, $context.k1v());
2566
2566
  // Inline function 'kotlin.contracts.contract' call
2567
2567
  // Inline function 'it.unibo.tuprolog.argumentation.core.libs.extra.ModuleCall.getCleanSolver.<anonymous>.<anonymous>' call
2568
2568
  // Inline function 'kotlin.collections.forEach' call
@@ -2996,7 +2996,7 @@
2996
2996
  var tmp = Companion_getInstance_4();
2997
2997
  var tmp_0 = $first.castToVar();
2998
2998
  var tmp_1;
2999
- if ($force ? true : first($context.solve(parseStruct(Companion_getInstance_1(), 'prologStrictCompatibility'))).o1w()) {
2999
+ if ($force ? true : first($context.solve(parseStruct(Companion_getInstance_0(), 'prologStrictCompatibility'))).o1w()) {
3000
3000
  tmp_1 = $mapper($context.context.m1v().p1l(), $this$prolog);
3001
3001
  } else {
3002
3002
  tmp_1 = $this$prolog.n10();
@@ -3257,7 +3257,7 @@
3257
3257
  while (tmp0_iterator_0.s()) {
3258
3258
  var item = tmp0_iterator_0.u();
3259
3259
  // Inline function 'it.unibo.tuprolog.argumentation.core.libs.language.Bps.computeAllSubstitutions.<anonymous>.<anonymous>' call
3260
- var tmp$ret$3 = Companion_getInstance_1().of('abstractBp', [prologScope.logicListOfIterable(ensureNotNull(item.fx()).av())]);
3260
+ var tmp$ret$3 = Companion_getInstance_0().of('abstractBp', [prologScope.logicListOfIterable(ensureNotNull(item.fx()).av())]);
3261
3261
  destination_0.o(tmp$ret$3);
3262
3262
  }
3263
3263
  return listToTerm(destination_0);
@@ -3295,7 +3295,7 @@
3295
3295
  while (tmp0_iterator.s()) {
3296
3296
  var item = tmp0_iterator.u();
3297
3297
  // Inline function 'it.unibo.tuprolog.argumentation.core.libs.language.ExtractStrictIds.computeAllSubstitutions.<anonymous>' call
3298
- var tmp$ret$0 = Companion_getInstance_1().of('strict', [ensureNotNull(item.asCons()).fx()]);
3298
+ var tmp$ret$0 = Companion_getInstance_0().of('strict', [ensureNotNull(item.asCons()).fx()]);
3299
3299
  destination.o(tmp$ret$0);
3300
3300
  }
3301
3301
  return sequenceOf([tmp.of(tmp_0, tmp_1.ofList(destination))]);
@@ -3332,10 +3332,10 @@
3332
3332
  var tmp_2;
3333
3333
  switch (it.l()) {
3334
3334
  case 2:
3335
- tmp_2 = Companion_getInstance_10().hx(Companion_getInstance_1().of('rl', [it.d1(1)]), [item]);
3335
+ tmp_2 = Companion_getInstance_10().hx(Companion_getInstance_0().of('rl', [it.d1(1)]), [item]);
3336
3336
  break;
3337
3337
  case 3:
3338
- tmp_2 = Companion_getInstance_10().hx(Companion_getInstance_1().of('rl', [it.d1(2)]), [item]);
3338
+ tmp_2 = Companion_getInstance_10().hx(Companion_getInstance_0().of('rl', [it.d1(2)]), [item]);
3339
3339
  break;
3340
3340
  default:
3341
3341
  throw IllegalArgumentException_init_$Create$();
@@ -4193,7 +4193,7 @@
4193
4193
  };
4194
4194
  protoOf(Argument).t3l = function () {
4195
4195
  var tmp0_elvis_lhs = this.w3b_1;
4196
- return tmp0_elvis_lhs == null ? parseStruct(Companion_getInstance_1(), '[' + this.p3b_1 + ', ' + this.q3b_1 + ', [' + this.r3b_1 + '], ' + this.s3b_1 + ', [' + this.v3b_1 + ', ' + this.t3b_1 + ', ' + this.u3b_1 + ']]') : tmp0_elvis_lhs;
4196
+ return tmp0_elvis_lhs == null ? parseStruct(Companion_getInstance_0(), '[' + this.p3b_1 + ', ' + this.q3b_1 + ', [' + this.r3b_1 + '], ' + this.s3b_1 + ', [' + this.v3b_1 + ', ' + this.t3b_1 + ', ' + this.u3b_1 + ']]') : tmp0_elvis_lhs;
4197
4197
  };
4198
4198
  protoOf(Argument).toString = function () {
4199
4199
  return 'argument(' + this.t3l() + ')';