@tuprolog/arg2p-core 0.7.2 → 0.7.3

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.
Files changed (28) hide show
  1. package/2p-core.js +3280 -5108
  2. package/2p-core.js.map +1 -1
  3. package/2p-parser-core.js +332 -422
  4. package/2p-parser-core.js.map +1 -1
  5. package/2p-parser-js.js +7 -8
  6. package/2p-parser-js.js.map +1 -1
  7. package/2p-parser-theory.js +36 -41
  8. package/2p-parser-theory.js.map +1 -1
  9. package/2p-solve-classic.js +1163 -1393
  10. package/2p-solve-classic.js.map +1 -1
  11. package/2p-solve.js +4695 -5928
  12. package/2p-solve.js.map +1 -1
  13. package/2p-theory.js +2096 -2245
  14. package/2p-theory.js.map +1 -1
  15. package/2p-unify.js +290 -330
  16. package/2p-unify.js.map +1 -1
  17. package/2p-utils.js +466 -536
  18. package/2p-utils.js.map +1 -1
  19. package/arg2p-core.js +245 -301
  20. package/arg2p-core.js.map +1 -1
  21. package/{kotlin-kotlin-stdlib-js-ir.js → kotlin-kotlin-stdlib.js} +8113 -8631
  22. package/kotlin-kotlin-stdlib.js.map +1 -0
  23. package/kotlin_org_jetbrains_kotlin_kotlin_dom_api_compat.js +15 -0
  24. package/kotlin_org_jetbrains_kotlin_kotlin_dom_api_compat.js.map +1 -0
  25. package/kt-math.js +2925 -4246
  26. package/kt-math.js.map +1 -1
  27. package/package.json +4 -3
  28. package/kotlin-kotlin-stdlib-js-ir.js.map +0 -1
package/2p-solve-classic.js CHANGED
@@ -1,14 +1,14 @@
1
1
  (function (root, factory) {
2
2
  if (typeof define === 'function' && define.amd)
3
- define(['exports', './2p-unify.js', './kotlin-kotlin-stdlib-js-ir.js', './2p-solve.js', './2p-theory.js', './2p-utils.js', './2p-core.js'], factory);
3
+ define(['exports', './2p-unify.js', './kotlin-kotlin-stdlib.js', './2p-solve.js', './2p-theory.js', './2p-utils.js', './2p-core.js'], factory);
4
4
  else if (typeof exports === 'object')
5
- factory(module.exports, require('./2p-unify.js'), require('./kotlin-kotlin-stdlib-js-ir.js'), require('./2p-solve.js'), require('./2p-theory.js'), require('./2p-utils.js'), require('./2p-core.js'));
5
+ factory(module.exports, require('./2p-unify.js'), require('./kotlin-kotlin-stdlib.js'), require('./2p-solve.js'), require('./2p-theory.js'), require('./2p-utils.js'), require('./2p-core.js'));
6
6
  else {
7
7
  if (typeof this['2p-unify'] === 'undefined') {
8
8
  throw new Error("Error loading module '2p-solve-classic'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-solve-classic'.");
9
9
  }
10
- if (typeof this['kotlin-kotlin-stdlib-js-ir'] === 'undefined') {
11
- throw new Error("Error loading module '2p-solve-classic'. Its dependency 'kotlin-kotlin-stdlib-js-ir' was not found. Please, check whether 'kotlin-kotlin-stdlib-js-ir' is loaded prior to '2p-solve-classic'.");
10
+ if (typeof this['kotlin-kotlin-stdlib'] === 'undefined') {
11
+ throw new Error("Error loading module '2p-solve-classic'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-solve-classic'.");
12
12
  }
13
13
  if (typeof this['2p-solve'] === 'undefined') {
14
14
  throw new Error("Error loading module '2p-solve-classic'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to '2p-solve-classic'.");
@@ -22,182 +22,168 @@
22
22
  if (typeof this['2p-core'] === 'undefined') {
23
23
  throw new Error("Error loading module '2p-solve-classic'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-solve-classic'.");
24
24
  }
25
- root['2p-solve-classic'] = factory(typeof this['2p-solve-classic'] === 'undefined' ? {} : this['2p-solve-classic'], this['2p-unify'], this['kotlin-kotlin-stdlib-js-ir'], this['2p-solve'], this['2p-theory'], this['2p-utils'], this['2p-core']);
25
+ root['2p-solve-classic'] = factory(typeof this['2p-solve-classic'] === 'undefined' ? {} : this['2p-solve-classic'], this['2p-unify'], this['kotlin-kotlin-stdlib'], this['2p-solve'], this['2p-theory'], this['2p-utils'], this['2p-core']);
26
26
  }
27
27
  }(this, function (_, kotlin_it_unibo_tuprolog_unify, kotlin_kotlin, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_utils, kotlin_it_unibo_tuprolog_core) {
28
28
  'use strict';
29
29
  //region block: imports
30
30
  var imul = Math.imul;
31
31
  var Companion_getInstance = kotlin_it_unibo_tuprolog_unify.$_$.a;
32
- var VOID = kotlin_kotlin.$_$.s9;
33
- var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.c1;
34
- var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_solve.$_$.y;
35
- var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_theory.$_$.b;
36
- var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_theory.$_$.a;
37
- var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.n;
38
- var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_solve.$_$.p;
39
- var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_solve.$_$.o;
40
- var Companion_getInstance_7 = kotlin_it_unibo_tuprolog_solve.$_$.q;
41
- var Unit_getInstance = kotlin_kotlin.$_$.o1;
42
- var toString = kotlin_kotlin.$_$.v5;
43
- var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
44
- var AbstractSolver = kotlin_it_unibo_tuprolog_solve.$_$.m1;
45
- var protoOf = kotlin_kotlin.$_$.q5;
46
- var THROW_CCE = kotlin_kotlin.$_$.f9;
47
- var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.o9;
48
- var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.o3;
49
- var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.q3;
50
- var Long = kotlin_kotlin.$_$.z8;
51
- var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.m3;
52
- var asSequence = kotlin_kotlin.$_$.o6;
53
- var copy = kotlin_it_unibo_tuprolog_solve.$_$.d;
54
- var solveWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.x2;
55
- var solve = kotlin_it_unibo_tuprolog_solve.$_$.y2;
56
- var solveListWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.s2;
57
- var solveList = kotlin_it_unibo_tuprolog_solve.$_$.r2;
58
- var solveListWithOptions = kotlin_it_unibo_tuprolog_solve.$_$.t2;
59
- var solveOnceWithTimeout = kotlin_it_unibo_tuprolog_solve.$_$.u2;
60
- var solveOnce = kotlin_it_unibo_tuprolog_solve.$_$.w2;
61
- var solveOnceWithOptions = kotlin_it_unibo_tuprolog_solve.$_$.v2;
62
- var get_standardInput = kotlin_it_unibo_tuprolog_solve.$_$.f2;
63
- var get_standardOutput = kotlin_it_unibo_tuprolog_solve.$_$.g2;
64
- var get_standardError = kotlin_it_unibo_tuprolog_solve.$_$.e2;
65
- var get_warnings = kotlin_it_unibo_tuprolog_solve.$_$.h2;
66
- var classMeta = kotlin_kotlin.$_$.u4;
67
- var setMetadataFor = kotlin_kotlin.$_$.r5;
68
- var ensureNotNull = kotlin_kotlin.$_$.i9;
69
- var hashCode = kotlin_kotlin.$_$.b5;
70
- var equals = kotlin_kotlin.$_$.x4;
71
- var CoroutineImpl = kotlin_kotlin.$_$.m4;
72
- var SequenceScope = kotlin_kotlin.$_$.k6;
73
- var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.l4;
74
- var sequence = kotlin_kotlin.$_$.n7;
75
- var asSequence_0 = kotlin_kotlin.$_$.b2;
76
- var emptySequence = kotlin_kotlin.$_$.t6;
77
- var plus = kotlin_kotlin.$_$.l7;
78
- var flatMap = kotlin_kotlin.$_$.z6;
79
- var distinct = kotlin_kotlin.$_$.r6;
32
+ var VOID = kotlin_kotlin.$_$.d;
33
+ var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.b1;
34
+ var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.x;
35
+ var Companion_instance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
36
+ var Companion_instance_1 = kotlin_it_unibo_tuprolog_theory.$_$.a;
37
+ var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.m;
38
+ var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.o;
39
+ var Companion_instance_4 = kotlin_it_unibo_tuprolog_solve.$_$.n;
40
+ var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.p;
41
+ var toString = kotlin_kotlin.$_$.x5;
42
+ var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.s;
43
+ var Unit_instance = kotlin_kotlin.$_$.r1;
44
+ var AbstractSolver = kotlin_it_unibo_tuprolog_solve.$_$.l1;
45
+ var protoOf = kotlin_kotlin.$_$.s5;
46
+ var THROW_CCE = kotlin_kotlin.$_$.h9;
47
+ var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.q9;
48
+ var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.z2;
49
+ var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.b3;
50
+ var Long = kotlin_kotlin.$_$.b9;
51
+ var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.x2;
52
+ var asSequence = kotlin_kotlin.$_$.q6;
53
+ var classMeta = kotlin_kotlin.$_$.w4;
54
+ var setMetadataFor = kotlin_kotlin.$_$.t5;
55
+ var ensureNotNull = kotlin_kotlin.$_$.k9;
56
+ var toLong = kotlin_kotlin.$_$.v5;
57
+ var hashCode = kotlin_kotlin.$_$.e5;
58
+ var equals = kotlin_kotlin.$_$.z4;
59
+ var CoroutineImpl = kotlin_kotlin.$_$.o4;
60
+ var SequenceScope = kotlin_kotlin.$_$.m6;
61
+ var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.n4;
62
+ var sequence = kotlin_kotlin.$_$.p7;
63
+ var asSequence_0 = kotlin_kotlin.$_$.e2;
64
+ var emptySequence = kotlin_kotlin.$_$.v6;
65
+ var plus = kotlin_kotlin.$_$.n7;
66
+ var flatMap = kotlin_kotlin.$_$.b7;
67
+ var distinct = kotlin_kotlin.$_$.t6;
80
68
  var cached = kotlin_it_unibo_tuprolog_utils.$_$.p;
81
- var Companion_getInstance_8 = kotlin_it_unibo_tuprolog_core.$_$.r;
82
- var filter = kotlin_kotlin.$_$.w6;
83
- var map = kotlin_kotlin.$_$.h7;
84
- var toList = kotlin_kotlin.$_$.t7;
85
- var Companion_getInstance_9 = kotlin_it_unibo_tuprolog_solve.$_$.r;
86
- var Companion_getInstance_10 = kotlin_it_unibo_tuprolog_core.$_$.s;
87
- var Companion_getInstance_11 = kotlin_it_unibo_tuprolog_core.$_$.u;
88
- var Companion_getInstance_12 = kotlin_it_unibo_tuprolog_utils.$_$.c;
89
- var Companion_getInstance_13 = kotlin_kotlin.$_$.n1;
90
- var emptySet = kotlin_kotlin.$_$.n2;
91
- var lazy = kotlin_kotlin.$_$.k9;
92
- var contains = kotlin_kotlin.$_$.p6;
69
+ var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.r;
70
+ var filter = kotlin_kotlin.$_$.y6;
71
+ var map = kotlin_kotlin.$_$.j7;
72
+ var toList = kotlin_kotlin.$_$.v7;
73
+ var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.q;
74
+ var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.s;
75
+ var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.u;
76
+ var Companion_instance_7 = kotlin_it_unibo_tuprolog_utils.$_$.c;
77
+ var Companion_getInstance_4 = kotlin_kotlin.$_$.q1;
78
+ var emptySet = kotlin_kotlin.$_$.q2;
79
+ var lazy = kotlin_kotlin.$_$.m9;
80
+ var contains = kotlin_kotlin.$_$.r6;
93
81
  var createSolver = kotlin_it_unibo_tuprolog_solve.$_$.b;
94
82
  var update = kotlin_it_unibo_tuprolog_solve.$_$.c;
95
- var apply = kotlin_it_unibo_tuprolog_solve.$_$.c2;
96
- var applyIterable = kotlin_it_unibo_tuprolog_solve.$_$.b2;
97
- var applySequence = kotlin_it_unibo_tuprolog_solve.$_$.d2;
98
- var get_endTime = kotlin_it_unibo_tuprolog_solve.$_$.z1;
99
- var get_remainingTime = kotlin_it_unibo_tuprolog_solve.$_$.a2;
100
- var get_elapsedTime = kotlin_it_unibo_tuprolog_solve.$_$.y1;
101
- var ExecutionContext = kotlin_it_unibo_tuprolog_solve.$_$.i2;
102
- var KProperty1 = kotlin_kotlin.$_$.j6;
103
- var getPropertyCallableRef = kotlin_kotlin.$_$.z4;
104
- var objectCreate = kotlin_kotlin.$_$.o5;
105
- var rawSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.i;
106
- var solverOf = kotlin_it_unibo_tuprolog_solve.$_$.h;
107
- var mutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.e;
108
- var rawMutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.f;
109
- var newBuilder = kotlin_it_unibo_tuprolog_solve.$_$.j3;
110
- var get_defaultRuntime = kotlin_it_unibo_tuprolog_solve.$_$.e3;
111
- var get_defaultUnificator = kotlin_it_unibo_tuprolog_solve.$_$.g3;
112
- var get_defaultFlags = kotlin_it_unibo_tuprolog_solve.$_$.b3;
113
- var get_defaultStaticKb = kotlin_it_unibo_tuprolog_solve.$_$.f3;
114
- var get_defaultDynamicKb = kotlin_it_unibo_tuprolog_solve.$_$.z2;
115
- var get_defaultInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.c3;
116
- var get_defaultOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.d3;
117
- var get_defaultErrorChannel = kotlin_it_unibo_tuprolog_solve.$_$.a3;
118
- var get_defaultWarningsChannel = kotlin_it_unibo_tuprolog_solve.$_$.h3;
119
- var solverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.k3;
120
- var solverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.j;
121
- var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.i3;
122
- var mutableSolverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.g;
123
- var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.l3;
124
- var objectMeta = kotlin_kotlin.$_$.p5;
125
- var defineProp = kotlin_kotlin.$_$.w4;
126
- var listOf = kotlin_kotlin.$_$.a3;
127
- var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.p3;
128
- var to = kotlin_kotlin.$_$.r9;
129
- var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.m2;
130
- var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.n2;
131
- var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.o2;
132
- var loadDynamicClauses = kotlin_it_unibo_tuprolog_solve.$_$.l2;
133
- var loadDynamicClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.j2;
134
- var loadDynamicClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.k2;
135
- var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.p2;
136
- var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.w;
137
- var TimeOutException_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.l;
138
- var NoSuchElementException_init_$Create$_0 = kotlin_kotlin.$_$.x;
139
- var interfaceMeta = kotlin_kotlin.$_$.c5;
83
+ var apply = kotlin_it_unibo_tuprolog_solve.$_$.v1;
84
+ var applyIterable = kotlin_it_unibo_tuprolog_solve.$_$.u1;
85
+ var applySequence = kotlin_it_unibo_tuprolog_solve.$_$.w1;
86
+ var get_standardInput = kotlin_it_unibo_tuprolog_solve.$_$.y1;
87
+ var get_standardOutput = kotlin_it_unibo_tuprolog_solve.$_$.z1;
88
+ var get_standardError = kotlin_it_unibo_tuprolog_solve.$_$.x1;
89
+ var get_warnings = kotlin_it_unibo_tuprolog_solve.$_$.a2;
90
+ var get_endTime = kotlin_it_unibo_tuprolog_solve.$_$.s1;
91
+ var get_remainingTime = kotlin_it_unibo_tuprolog_solve.$_$.t1;
92
+ var get_elapsedTime = kotlin_it_unibo_tuprolog_solve.$_$.r1;
93
+ var ExecutionContext = kotlin_it_unibo_tuprolog_solve.$_$.b2;
94
+ var KProperty1 = kotlin_kotlin.$_$.l6;
95
+ var getPropertyCallableRef = kotlin_kotlin.$_$.c5;
96
+ var objectCreate = kotlin_kotlin.$_$.q5;
97
+ var rawSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.h;
98
+ var solverOf = kotlin_it_unibo_tuprolog_solve.$_$.g;
99
+ var mutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.d;
100
+ var rawMutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.e;
101
+ var newBuilder = kotlin_it_unibo_tuprolog_solve.$_$.u2;
102
+ var get_defaultRuntime = kotlin_it_unibo_tuprolog_solve.$_$.p2;
103
+ var get_defaultUnificator = kotlin_it_unibo_tuprolog_solve.$_$.r2;
104
+ var get_defaultFlags = kotlin_it_unibo_tuprolog_solve.$_$.m2;
105
+ var get_defaultStaticKb = kotlin_it_unibo_tuprolog_solve.$_$.q2;
106
+ var get_defaultDynamicKb = kotlin_it_unibo_tuprolog_solve.$_$.k2;
107
+ var get_defaultInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.n2;
108
+ var get_defaultOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.o2;
109
+ var get_defaultErrorChannel = kotlin_it_unibo_tuprolog_solve.$_$.l2;
110
+ var get_defaultWarningsChannel = kotlin_it_unibo_tuprolog_solve.$_$.s2;
111
+ var solverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.v2;
112
+ var solverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.i;
113
+ var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.t2;
114
+ var mutableSolverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.f;
115
+ var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.w2;
116
+ var objectMeta = kotlin_kotlin.$_$.r5;
117
+ var defineProp = kotlin_kotlin.$_$.y4;
118
+ var listOf = kotlin_kotlin.$_$.d3;
119
+ var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.a3;
120
+ var to = kotlin_kotlin.$_$.s9;
121
+ var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.f2;
122
+ var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.g2;
123
+ var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.h2;
124
+ var loadDynamicClauses = kotlin_it_unibo_tuprolog_solve.$_$.e2;
125
+ var loadDynamicClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.c2;
126
+ var loadDynamicClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.d2;
127
+ var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.i2;
128
+ var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.y;
129
+ var TimeOutException_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.k;
130
+ var NoSuchElementException_init_$Create$_0 = kotlin_kotlin.$_$.z;
131
+ var interfaceMeta = kotlin_kotlin.$_$.f5;
140
132
  var getKClass = kotlin_kotlin.$_$.c;
141
- var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.o;
142
- var Companion_getInstance_14 = kotlin_it_unibo_tuprolog_solve.$_$.h1;
143
- var MessageError = kotlin_it_unibo_tuprolog_solve.$_$.j1;
144
- var Companion_getInstance_15 = kotlin_it_unibo_tuprolog_solve.$_$.v;
133
+ var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.q;
134
+ var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.g1;
135
+ var MessageError = kotlin_it_unibo_tuprolog_solve.$_$.i1;
136
+ var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.u;
145
137
  var plus_0 = kotlin_it_unibo_tuprolog_utils.$_$.f1;
146
- var LogicError = kotlin_it_unibo_tuprolog_solve.$_$.k1;
147
- var toSet = kotlin_kotlin.$_$.v7;
148
- var plus_1 = kotlin_kotlin.$_$.q3;
149
- var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.a1;
150
- var drop = kotlin_kotlin.$_$.s6;
151
- var first = kotlin_kotlin.$_$.y6;
138
+ var LogicError = kotlin_it_unibo_tuprolog_solve.$_$.j1;
139
+ var toSet = kotlin_kotlin.$_$.x7;
140
+ var plus_1 = kotlin_kotlin.$_$.t3;
141
+ var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.z;
142
+ var drop = kotlin_kotlin.$_$.u6;
143
+ var first = kotlin_kotlin.$_$.a7;
152
144
  var Unifier = kotlin_it_unibo_tuprolog_core.$_$.m1;
153
- var isInterface = kotlin_kotlin.$_$.f5;
154
- var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
155
- var ResolutionException = kotlin_it_unibo_tuprolog_solve.$_$.l1;
156
- var Companion_getInstance_16 = kotlin_it_unibo_tuprolog_solve.$_$.w;
157
- var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.n3;
158
- var Signature = kotlin_it_unibo_tuprolog_solve.$_$.q2;
145
+ var isInterface = kotlin_kotlin.$_$.i5;
146
+ var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.v;
147
+ var ResolutionException = kotlin_it_unibo_tuprolog_solve.$_$.k1;
148
+ var Companion_instance_10 = kotlin_it_unibo_tuprolog_solve.$_$.v;
149
+ var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.y2;
150
+ var Signature = kotlin_it_unibo_tuprolog_solve.$_$.j2;
159
151
  var Expected_CALLABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.a;
160
152
  var cursor = kotlin_it_unibo_tuprolog_utils.$_$.r;
161
- var Companion_getInstance_17 = kotlin_it_unibo_tuprolog_solve.$_$.t;
153
+ var Companion_instance_11 = kotlin_it_unibo_tuprolog_solve.$_$.s;
162
154
  var prepareForExecutionWithUnifier = kotlin_it_unibo_tuprolog_core.$_$.n2;
163
- var setOf = kotlin_kotlin.$_$.w3;
164
- var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.b1;
165
- var MissingPredicate_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.k;
166
- var Companion_getInstance_18 = kotlin_it_unibo_tuprolog_solve.$_$.s;
167
- var contains_0 = kotlin_kotlin.$_$.e2;
168
- var firstOrNull = kotlin_kotlin.$_$.x6;
169
- var any = kotlin_kotlin.$_$.m6;
170
- var LastCallOptimization_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.z;
155
+ var setOf = kotlin_kotlin.$_$.z3;
156
+ var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.a1;
157
+ var MissingPredicate_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.j;
158
+ var Companion_instance_12 = kotlin_it_unibo_tuprolog_solve.$_$.r;
159
+ var contains_0 = kotlin_kotlin.$_$.h2;
160
+ var firstOrNull = kotlin_kotlin.$_$.z6;
161
+ var any = kotlin_kotlin.$_$.o6;
162
+ var LastCallOptimization_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.y;
171
163
  var buffered = kotlin_it_unibo_tuprolog_utils.$_$.o;
172
- var sequenceOf = kotlin_kotlin.$_$.m7;
173
- var MagicCut = kotlin_it_unibo_tuprolog_solve.$_$.x1;
174
- var Request = kotlin_it_unibo_tuprolog_solve.$_$.u1;
175
- var ExtensionLibrary = kotlin_it_unibo_tuprolog_solve.$_$.n1;
176
- var CommonBuiltins_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g1;
177
- var listOf_0 = kotlin_kotlin.$_$.b3;
178
- var containsSignature = kotlin_it_unibo_tuprolog_solve.$_$.p1;
179
- var containsOperator = kotlin_it_unibo_tuprolog_solve.$_$.o1;
180
- var hasPrimitive = kotlin_it_unibo_tuprolog_solve.$_$.r1;
181
- var hasFunction = kotlin_it_unibo_tuprolog_solve.$_$.q1;
182
- var get_ruleSignatures = kotlin_it_unibo_tuprolog_solve.$_$.t1;
183
- var hasProtected = kotlin_it_unibo_tuprolog_solve.$_$.s1;
164
+ var sequenceOf = kotlin_kotlin.$_$.o7;
165
+ var MagicCut = kotlin_it_unibo_tuprolog_solve.$_$.q1;
166
+ var Request = kotlin_it_unibo_tuprolog_solve.$_$.n1;
167
+ var ExtensionLibrary = kotlin_it_unibo_tuprolog_solve.$_$.m1;
168
+ var CommonBuiltins_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f1;
169
+ var listOf_0 = kotlin_kotlin.$_$.e3;
184
170
  var Struct = kotlin_it_unibo_tuprolog_core.$_$.l1;
185
- var Companion_getInstance_19 = kotlin_it_unibo_tuprolog_solve.$_$.u;
186
- var Companion_getInstance_20 = kotlin_it_unibo_tuprolog_solve.$_$.x;
187
- var UnaryPredicate = kotlin_it_unibo_tuprolog_solve.$_$.v1;
188
- var Companion_getInstance_21 = kotlin_it_unibo_tuprolog_solve.$_$.d1;
189
- var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.w1;
190
- var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.m;
191
- var EnsureExecutable_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f1;
192
- var MagicCut_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.e1;
171
+ var Companion_instance_13 = kotlin_it_unibo_tuprolog_solve.$_$.t;
172
+ var Companion_instance_14 = kotlin_it_unibo_tuprolog_solve.$_$.w;
173
+ var UnaryPredicate = kotlin_it_unibo_tuprolog_solve.$_$.o1;
174
+ var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_solve.$_$.c1;
175
+ var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.p1;
176
+ var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.l;
177
+ var EnsureExecutable_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.e1;
178
+ var MagicCut_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.d1;
193
179
  //endregion
194
180
  //region block: pre-declaration
195
181
  setMetadataFor(AbstractClassicSolver, 'AbstractClassicSolver', classMeta, AbstractSolver);
196
182
  setMetadataFor(ChoicePointContext, 'ChoicePointContext', classMeta);
197
183
  setMetadataFor(Primitives, 'Primitives', classMeta, ChoicePointContext);
198
184
  setMetadataFor(Rules, 'Rules', classMeta, ChoicePointContext);
199
- setMetadataFor(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn, 'ChoicePointContext$<get-pathToRoot>$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, [1]);
200
- setMetadataFor(ClassicExecutionContext$pathToRoot$slambda, 'ClassicExecutionContext$pathToRoot$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, [1]);
185
+ setMetadataFor(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn, 'ChoicePointContext$<get-pathToRoot>$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, VOID, [1]);
186
+ setMetadataFor(ClassicExecutionContext$pathToRoot$slambda, 'ClassicExecutionContext$pathToRoot$slambda', classMeta, CoroutineImpl, VOID, VOID, VOID, VOID, [1]);
201
187
  setMetadataFor(ClassicExecutionContext, 'ClassicExecutionContext', classMeta, VOID, [ExecutionContext]);
202
188
  setMetadataFor(ClassicSolver, 'ClassicSolver', classMeta, AbstractClassicSolver);
203
189
  setMetadataFor(ClassicSolverFactory, 'ClassicSolverFactory', objectMeta, VOID, [SolverFactory]);
@@ -213,19 +199,19 @@
213
199
  var tmp0_elvis_lhs = this.asEndState();
214
200
  var tmp;
215
201
  if (tmp0_elvis_lhs == null) {
216
- throw ClassCastException_init_$Create$('Cannot cast ' + this + ' to ' + getKClass(EndState).xc());
202
+ throw ClassCastException_init_$Create$('Cannot cast ' + this + ' to ' + getKClass(EndState).n6());
217
203
  } else {
218
204
  tmp = tmp0_elvis_lhs;
219
205
  }
220
206
  return tmp;
221
207
  }
222
208
  function clone(context, $super) {
223
- context = context === VOID ? this.j5() : context;
224
- return $super === VOID ? this.b30(context) : $super.b30.call(this, context);
209
+ context = context === VOID ? this.jb() : context;
210
+ return $super === VOID ? this.v31(context) : $super.v31.call(this, context);
225
211
  }
226
212
  setMetadataFor(State, 'State', interfaceMeta);
227
213
  function get_hasOpenAlternatives() {
228
- return this.g2e().u1s() ? this.j5().a2x() : false;
214
+ return this.z2f().y1t() ? this.jb().u2y() : false;
229
215
  }
230
216
  function get_isEndState_0() {
231
217
  return true;
@@ -233,6 +219,9 @@
233
219
  function asEndState_0() {
234
220
  return this;
235
221
  }
222
+ function asEndState_1() {
223
+ return this.s31();
224
+ }
236
225
  setMetadataFor(EndState, 'EndState', interfaceMeta, VOID, [State]);
237
226
  setMetadataFor(AbstractState, 'AbstractState', classMeta, VOID, [State]);
238
227
  setMetadataFor(AbstractEndState, 'AbstractEndState', classMeta, AbstractState, [EndState, AbstractState]);
@@ -264,147 +253,141 @@
264
253
  setMetadataFor(Companion_1, 'Companion', objectMeta);
265
254
  //endregion
266
255
  function AbstractClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
267
- unificator = unificator === VOID ? Companion_getInstance().c1i() : unificator;
268
- libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
269
- flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
270
- staticKb = staticKb === VOID ? Companion_getInstance_2().empty(unificator) : staticKb;
271
- dynamicKb = dynamicKb === VOID ? Companion_getInstance_3().empty(unificator) : dynamicKb;
272
- stdIn = stdIn === VOID ? Companion_getInstance_4().stdIn() : stdIn;
273
- stdOut = stdOut === VOID ? Companion_getInstance_5().stdOut() : stdOut;
274
- stdErr = stdErr === VOID ? Companion_getInstance_5().stdErr() : stdErr;
275
- warnings = warnings === VOID ? Companion_getInstance_5().warning() : warnings;
256
+ unificator = unificator === VOID ? Companion_getInstance().x1i() : unificator;
257
+ libraries = libraries === VOID ? Companion_instance.empty() : libraries;
258
+ flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
259
+ staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
260
+ dynamicKb = dynamicKb === VOID ? Companion_instance_1.empty(unificator) : dynamicKb;
261
+ stdIn = stdIn === VOID ? Companion_instance_2.stdIn() : stdIn;
262
+ stdOut = stdOut === VOID ? Companion_instance_3.stdOut() : stdOut;
263
+ stdErr = stdErr === VOID ? Companion_instance_3.stdErr() : stdErr;
264
+ warnings = warnings === VOID ? Companion_instance_3.warning() : warnings;
276
265
  trustKb = trustKb === VOID ? false : trustKb;
277
- AbstractClassicSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_getInstance_6().a1v(stdIn), Companion_getInstance_7().d1v(stdOut, stdErr, warnings), trustKb);
266
+ AbstractClassicSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_instance_4.j1w(stdIn), Companion_instance_5.m1w(stdOut, stdErr, warnings), trustKb);
278
267
  return $this;
279
268
  }
280
269
  function updateCurrentContextAfterStateTransition($this, source, destination, index) {
281
270
  // Inline function 'kotlin.require' call
282
- var tmp0_require = destination.j5().w2v_1.equals(index);
283
271
  // Inline function 'kotlin.contracts.contract' call
284
272
  // Inline function 'kotlin.require' call
285
273
  // Inline function 'kotlin.contracts.contract' call
286
- if (!tmp0_require) {
287
- var tmp$ret$0;
274
+ if (!destination.jb().q2x_1.equals(index)) {
288
275
  // Inline function 'kotlin.require.<anonymous>' call
289
- tmp$ret$0 = 'Failed requirement.';
290
- var message = tmp$ret$0;
276
+ var message = 'Failed requirement.';
291
277
  throw IllegalArgumentException_init_$Create$(toString(message));
292
278
  }
293
- $this.d2w(destination.j5());
279
+ $this.x2x(destination.jb());
294
280
  }
295
281
  function AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref($boundThis) {
296
282
  var l = function (p0, p1, p2) {
297
283
  updateCurrentContextAfterStateTransition($boundThis, p0, p1, p2);
298
- return Unit_getInstance();
284
+ return Unit_instance;
299
285
  };
300
286
  l.callableName = 'updateCurrentContextAfterStateTransition';
301
287
  return l;
302
288
  }
303
289
  function AbstractClassicSolver(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb) {
304
- unificator = unificator === VOID ? Companion_getInstance().c1i() : unificator;
305
- libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
306
- flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
307
- initialStaticKb = initialStaticKb === VOID ? Companion_getInstance_2().empty(unificator) : initialStaticKb;
308
- initialDynamicKb = initialDynamicKb === VOID ? Companion_getInstance_3().empty(unificator) : initialDynamicKb;
309
- inputChannels = inputChannels === VOID ? Companion_getInstance_6().fromStandard() : inputChannels;
310
- outputChannels = outputChannels === VOID ? Companion_getInstance_7().fromStandard() : outputChannels;
290
+ unificator = unificator === VOID ? Companion_getInstance().x1i() : unificator;
291
+ libraries = libraries === VOID ? Companion_instance.empty() : libraries;
292
+ flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
293
+ initialStaticKb = initialStaticKb === VOID ? Companion_instance_0.empty(unificator) : initialStaticKb;
294
+ initialDynamicKb = initialDynamicKb === VOID ? Companion_instance_1.empty(unificator) : initialDynamicKb;
295
+ inputChannels = inputChannels === VOID ? Companion_instance_4.fromStandard() : inputChannels;
296
+ outputChannels = outputChannels === VOID ? Companion_instance_5.fromStandard() : outputChannels;
311
297
  trustKb = trustKb === VOID ? false : trustKb;
312
298
  AbstractSolver.call(this, unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb);
313
299
  }
314
- protoOf(AbstractClassicSolver).d2w = function (_set____db54di) {
315
- this.c2w_1 = _set____db54di;
300
+ protoOf(AbstractClassicSolver).x2x = function (_set____db54di) {
301
+ this.w2x_1 = _set____db54di;
316
302
  };
317
- protoOf(AbstractClassicSolver).t27 = function (_set____db54di) {
318
- return this.d2w(_set____db54di instanceof ClassicExecutionContext ? _set____db54di : THROW_CCE());
303
+ protoOf(AbstractClassicSolver).d29 = function (_set____db54di) {
304
+ return this.x2x(_set____db54di instanceof ClassicExecutionContext ? _set____db54di : THROW_CCE());
319
305
  };
320
- protoOf(AbstractClassicSolver).r27 = function () {
321
- var tmp = this.c2w_1;
306
+ protoOf(AbstractClassicSolver).b29 = function () {
307
+ var tmp = this.w2x_1;
322
308
  if (!(tmp == null))
323
309
  return tmp;
324
310
  else {
325
311
  throwUninitializedPropertyAccessException('currentContext');
326
312
  }
327
313
  };
328
- protoOf(AbstractClassicSolver).s27 = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, trustKb) {
329
- return new ClassicExecutionContext(VOID, unificator, libraries, flags, trustKb ? staticKb.toImmutableTheory() : Companion_getInstance_2().empty(unificator), trustKb ? dynamicKb.toMutableTheory() : Companion_getInstance_3().empty(unificator), toOperatorSet(getAllOperators(libraries, [])), inputChannels, outputChannels, VOID, VOID, VOID, VOID, VOID, VOID, new Long(0, 0));
330
- };
331
- protoOf(AbstractClassicSolver).z27 = function (goal, options) {
332
- var tmp0_unificator = this.f1i();
333
- var tmp1_libraries = this.q1r();
334
- var tmp2_flags = this.r1r();
335
- var tmp3_staticKb = this.s1r().toImmutableTheory();
336
- var tmp4_dynamicKb = this.t1r().toMutableTheory();
337
- var tmp5_operators = this.y1r();
338
- var tmp6_inputChannels = this.u1r();
339
- var tmp7_outputChannels = this.v1r();
340
- var tmp8_customData = this.r27().l2v_1;
314
+ protoOf(AbstractClassicSolver).c29 = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, trustKb) {
315
+ return new ClassicExecutionContext(VOID, unificator, libraries, flags, trustKb ? staticKb.toImmutableTheory() : Companion_instance_0.empty(unificator), trustKb ? dynamicKb.toMutableTheory() : Companion_instance_1.empty(unificator), toOperatorSet(getAllOperators(libraries, [])), inputChannels, outputChannels, VOID, VOID, VOID, VOID, VOID, VOID, new Long(0, 0));
316
+ };
317
+ protoOf(AbstractClassicSolver).j29 = function (goal, options) {
318
+ var tmp0_unificator = this.a1j();
319
+ var tmp1_libraries = this.x1s();
320
+ var tmp2_flags = this.y1s();
321
+ var tmp3_staticKb = this.z1s().toImmutableTheory();
322
+ var tmp4_dynamicKb = this.a1t().toMutableTheory();
323
+ var tmp5_operators = this.f1t();
324
+ var tmp6_inputChannels = this.b1t();
325
+ var tmp7_outputChannels = this.c1t();
326
+ var tmp8_customData = this.b29().f2x_1;
341
327
  var tmp9_startTime = currentTimeInstant();
342
- var tmp10_maxDuration = options.t1t();
343
- this.d2w(new ClassicExecutionContext(VOID, tmp0_unificator, tmp1_libraries, tmp2_flags, tmp3_staticKb, tmp4_dynamicKb, tmp5_operators, tmp6_inputChannels, tmp7_outputChannels, tmp8_customData, VOID, goal, VOID, VOID, VOID, tmp9_startTime, tmp10_maxDuration));
344
- var tmp = new StateInit(this.r27());
345
- return asSequence(this.e2w(tmp, AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref(this)));
328
+ var tmp10_maxDuration = options.c1v();
329
+ this.x2x(new ClassicExecutionContext(VOID, tmp0_unificator, tmp1_libraries, tmp2_flags, tmp3_staticKb, tmp4_dynamicKb, tmp5_operators, tmp6_inputChannels, tmp7_outputChannels, tmp8_customData, VOID, goal, VOID, VOID, VOID, tmp9_startTime, tmp10_maxDuration));
330
+ var tmp = new StateInit(this.b29());
331
+ return asSequence(this.y2x(tmp, AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref(this)));
346
332
  };
347
333
  function Primitives(alternatives, executionContext, parent, depth) {
348
334
  ChoicePointContext.call(this, alternatives, executionContext, parent, depth);
349
- this.j2w_1 = alternatives;
350
- this.k2w_1 = executionContext;
351
- this.l2w_1 = parent;
352
- this.m2w_1 = depth;
335
+ this.d2y_1 = alternatives;
336
+ this.e2y_1 = executionContext;
337
+ this.f2y_1 = parent;
338
+ this.g2y_1 = depth;
353
339
  }
354
- protoOf(Primitives).n2w = function () {
355
- return this.j2w_1;
340
+ protoOf(Primitives).h2y = function () {
341
+ return this.d2y_1;
356
342
  };
357
- protoOf(Primitives).o2w = function () {
358
- return this.k2w_1;
343
+ protoOf(Primitives).i2y = function () {
344
+ return this.e2y_1;
359
345
  };
360
- protoOf(Primitives).p2w = function () {
361
- return this.l2w_1;
346
+ protoOf(Primitives).j2y = function () {
347
+ return this.f2y_1;
362
348
  };
363
- protoOf(Primitives).q2w = function () {
364
- return this.m2w_1;
349
+ protoOf(Primitives).k2y = function () {
350
+ return this.g2y_1;
365
351
  };
366
352
  protoOf(Primitives).toString = function () {
367
353
  return protoOf(ChoicePointContext).toString.call(this);
368
354
  };
369
- protoOf(Primitives).r2w = function () {
355
+ protoOf(Primitives).l2y = function () {
370
356
  return 'Primitives';
371
357
  };
372
- protoOf(Primitives).s2w = function (context) {
373
- var tmp0_$this = ensureNotNull(this.k2w_1);
374
- var tmp1_primitives = this.j2w_1;
375
- var tmp$ret$0;
358
+ protoOf(Primitives).m2y = function (context) {
359
+ var tmp0_$this = ensureNotNull(this.e2y_1);
360
+ var tmp1_primitives = this.d2y_1;
376
361
  // Inline function 'kotlin.Long.plus' call
377
- var tmp0_plus = context.w2v_1;
378
- tmp$ret$0 = tmp0_plus.sf(new Long(1, 0));
379
- var tmp2_step = tmp$ret$0;
380
- var tmp3_startTime = context.r2v_1;
381
- var tmp4_flags = context.f2v_1;
382
- var tmp5_dynamicKb = context.h2v_1;
383
- var tmp6_staticKb = context.g2v_1;
384
- var tmp7_operators = context.i2v_1;
385
- var tmp8_inputChannels = context.j2v_1;
386
- var tmp9_outputChannels = context.k2v_1;
387
- var tmp10_libraries = context.e2v_1;
388
- var tmp11_customData = context.l2v_1.discardEphemeral();
389
- var tempContext = tmp0_$this.t2w(VOID, VOID, tmp10_libraries, tmp4_flags, tmp6_staticKb, tmp5_dynamicKb, tmp7_operators, tmp8_inputChannels, tmp9_outputChannels, tmp11_customData, VOID, VOID, VOID, VOID, tmp1_primitives, tmp3_startTime, VOID, VOID, VOID, VOID, tmp2_step);
390
- var nextChoicePointContext = this.u2w(this.j2w_1.wo(), tempContext);
391
- return tempContext.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
392
- };
393
- protoOf(Primitives).v2w = function (alternatives, executionContext, parent, depth) {
362
+ var tmp2_step = context.q2x_1.ia(toLong(1));
363
+ var tmp3_startTime = context.l2x_1;
364
+ var tmp4_flags = context.z2w_1;
365
+ var tmp5_dynamicKb = context.b2x_1;
366
+ var tmp6_staticKb = context.a2x_1;
367
+ var tmp7_operators = context.c2x_1;
368
+ var tmp8_inputChannels = context.d2x_1;
369
+ var tmp9_outputChannels = context.e2x_1;
370
+ var tmp10_libraries = context.y2w_1;
371
+ var tmp11_customData = context.f2x_1.discardEphemeral();
372
+ var tempContext = tmp0_$this.n2y(VOID, VOID, tmp10_libraries, tmp4_flags, tmp6_staticKb, tmp5_dynamicKb, tmp7_operators, tmp8_inputChannels, tmp9_outputChannels, tmp11_customData, VOID, VOID, VOID, VOID, tmp1_primitives, tmp3_startTime, VOID, VOID, VOID, VOID, tmp2_step);
373
+ var nextChoicePointContext = this.o2y(this.d2y_1.pp(), tempContext);
374
+ return tempContext.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
375
+ };
376
+ protoOf(Primitives).p2y = function (alternatives, executionContext, parent, depth) {
394
377
  return new Primitives(alternatives, executionContext, parent, depth);
395
378
  };
396
- protoOf(Primitives).u2w = function (alternatives, executionContext, parent, depth, $super) {
397
- alternatives = alternatives === VOID ? this.j2w_1 : alternatives;
398
- executionContext = executionContext === VOID ? this.k2w_1 : executionContext;
399
- parent = parent === VOID ? this.l2w_1 : parent;
400
- depth = depth === VOID ? this.m2w_1 : depth;
401
- return $super === VOID ? this.v2w(alternatives, executionContext, parent, depth) : $super.v2w.call(this, alternatives, executionContext, parent, depth);
379
+ protoOf(Primitives).o2y = function (alternatives, executionContext, parent, depth, $super) {
380
+ alternatives = alternatives === VOID ? this.d2y_1 : alternatives;
381
+ executionContext = executionContext === VOID ? this.e2y_1 : executionContext;
382
+ parent = parent === VOID ? this.f2y_1 : parent;
383
+ depth = depth === VOID ? this.g2y_1 : depth;
384
+ return $super === VOID ? this.p2y(alternatives, executionContext, parent, depth) : $super.p2y.call(this, alternatives, executionContext, parent, depth);
402
385
  };
403
386
  protoOf(Primitives).hashCode = function () {
404
- var result = hashCode(this.j2w_1);
405
- result = imul(result, 31) + (this.k2w_1 == null ? 0 : this.k2w_1.hashCode()) | 0;
406
- result = imul(result, 31) + (this.l2w_1 == null ? 0 : hashCode(this.l2w_1)) | 0;
407
- result = imul(result, 31) + this.m2w_1 | 0;
387
+ var result = hashCode(this.d2y_1);
388
+ result = imul(result, 31) + (this.e2y_1 == null ? 0 : this.e2y_1.hashCode()) | 0;
389
+ result = imul(result, 31) + (this.f2y_1 == null ? 0 : hashCode(this.f2y_1)) | 0;
390
+ result = imul(result, 31) + this.g2y_1 | 0;
408
391
  return result;
409
392
  };
410
393
  protoOf(Primitives).equals = function (other) {
@@ -413,77 +396,74 @@
413
396
  if (!(other instanceof Primitives))
414
397
  return false;
415
398
  var tmp0_other_with_cast = other instanceof Primitives ? other : THROW_CCE();
416
- if (!equals(this.j2w_1, tmp0_other_with_cast.j2w_1))
399
+ if (!equals(this.d2y_1, tmp0_other_with_cast.d2y_1))
417
400
  return false;
418
- if (!equals(this.k2w_1, tmp0_other_with_cast.k2w_1))
401
+ if (!equals(this.e2y_1, tmp0_other_with_cast.e2y_1))
419
402
  return false;
420
- if (!equals(this.l2w_1, tmp0_other_with_cast.l2w_1))
403
+ if (!equals(this.f2y_1, tmp0_other_with_cast.f2y_1))
421
404
  return false;
422
- if (!(this.m2w_1 === tmp0_other_with_cast.m2w_1))
405
+ if (!(this.g2y_1 === tmp0_other_with_cast.g2y_1))
423
406
  return false;
424
407
  return true;
425
408
  };
426
409
  function Rules(alternatives, executionContext, parent, depth) {
427
410
  ChoicePointContext.call(this, alternatives, executionContext, parent, depth);
428
- this.i2x_1 = alternatives;
429
- this.j2x_1 = executionContext;
430
- this.k2x_1 = parent;
431
- this.l2x_1 = depth;
411
+ this.c2z_1 = alternatives;
412
+ this.d2z_1 = executionContext;
413
+ this.e2z_1 = parent;
414
+ this.f2z_1 = depth;
432
415
  }
433
- protoOf(Rules).n2w = function () {
434
- return this.i2x_1;
416
+ protoOf(Rules).h2y = function () {
417
+ return this.c2z_1;
435
418
  };
436
- protoOf(Rules).o2w = function () {
437
- return this.j2x_1;
419
+ protoOf(Rules).i2y = function () {
420
+ return this.d2z_1;
438
421
  };
439
- protoOf(Rules).p2w = function () {
440
- return this.k2x_1;
422
+ protoOf(Rules).j2y = function () {
423
+ return this.e2z_1;
441
424
  };
442
- protoOf(Rules).q2w = function () {
443
- return this.l2x_1;
425
+ protoOf(Rules).k2y = function () {
426
+ return this.f2z_1;
444
427
  };
445
428
  protoOf(Rules).toString = function () {
446
429
  return protoOf(ChoicePointContext).toString.call(this);
447
430
  };
448
- protoOf(Rules).r2w = function () {
431
+ protoOf(Rules).l2y = function () {
449
432
  return 'Rules';
450
433
  };
451
- protoOf(Rules).s2w = function (context) {
452
- var tmp0_$this = ensureNotNull(this.j2x_1);
453
- var tmp1_rules = this.i2x_1;
454
- var tmp$ret$0;
434
+ protoOf(Rules).m2y = function (context) {
435
+ var tmp0_$this = ensureNotNull(this.d2z_1);
436
+ var tmp1_rules = this.c2z_1;
455
437
  // Inline function 'kotlin.Long.plus' call
456
- var tmp0_plus = context.w2v_1;
457
- tmp$ret$0 = tmp0_plus.sf(new Long(1, 0));
458
- var tmp2_step = tmp$ret$0;
459
- var tmp3_startTime = context.r2v_1;
460
- var tmp4_flags = context.f2v_1;
461
- var tmp5_dynamicKb = context.h2v_1;
462
- var tmp6_staticKb = context.g2v_1;
463
- var tmp7_operators = context.i2v_1;
464
- var tmp8_inputChannels = context.j2v_1;
465
- var tmp9_outputChannels = context.k2v_1;
466
- var tmp10_libraries = context.e2v_1;
467
- var tmp11_customData = context.l2v_1.discardEphemeral();
468
- var tempContext = tmp0_$this.t2w(VOID, VOID, tmp10_libraries, tmp4_flags, tmp6_staticKb, tmp5_dynamicKb, tmp7_operators, tmp8_inputChannels, tmp9_outputChannels, tmp11_customData, VOID, VOID, VOID, tmp1_rules, VOID, tmp3_startTime, VOID, VOID, VOID, VOID, tmp2_step);
469
- var nextChoicePointContext = this.m2x(this.i2x_1.wo(), tempContext);
470
- return tempContext.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
471
- };
472
- protoOf(Rules).n2x = function (alternatives, executionContext, parent, depth) {
438
+ var tmp2_step = context.q2x_1.ia(toLong(1));
439
+ var tmp3_startTime = context.l2x_1;
440
+ var tmp4_flags = context.z2w_1;
441
+ var tmp5_dynamicKb = context.b2x_1;
442
+ var tmp6_staticKb = context.a2x_1;
443
+ var tmp7_operators = context.c2x_1;
444
+ var tmp8_inputChannels = context.d2x_1;
445
+ var tmp9_outputChannels = context.e2x_1;
446
+ var tmp10_libraries = context.y2w_1;
447
+ var tmp11_customData = context.f2x_1.discardEphemeral();
448
+ var tempContext = tmp0_$this.n2y(VOID, VOID, tmp10_libraries, tmp4_flags, tmp6_staticKb, tmp5_dynamicKb, tmp7_operators, tmp8_inputChannels, tmp9_outputChannels, tmp11_customData, VOID, VOID, VOID, tmp1_rules, VOID, tmp3_startTime, VOID, VOID, VOID, VOID, tmp2_step);
449
+ var nextChoicePointContext = this.g2z(this.c2z_1.pp(), tempContext);
450
+ return tempContext.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
451
+ };
452
+ protoOf(Rules).h2z = function (alternatives, executionContext, parent, depth) {
473
453
  return new Rules(alternatives, executionContext, parent, depth);
474
454
  };
475
- protoOf(Rules).m2x = function (alternatives, executionContext, parent, depth, $super) {
476
- alternatives = alternatives === VOID ? this.i2x_1 : alternatives;
477
- executionContext = executionContext === VOID ? this.j2x_1 : executionContext;
478
- parent = parent === VOID ? this.k2x_1 : parent;
479
- depth = depth === VOID ? this.l2x_1 : depth;
480
- return $super === VOID ? this.n2x(alternatives, executionContext, parent, depth) : $super.n2x.call(this, alternatives, executionContext, parent, depth);
455
+ protoOf(Rules).g2z = function (alternatives, executionContext, parent, depth, $super) {
456
+ alternatives = alternatives === VOID ? this.c2z_1 : alternatives;
457
+ executionContext = executionContext === VOID ? this.d2z_1 : executionContext;
458
+ parent = parent === VOID ? this.e2z_1 : parent;
459
+ depth = depth === VOID ? this.f2z_1 : depth;
460
+ return $super === VOID ? this.h2z(alternatives, executionContext, parent, depth) : $super.h2z.call(this, alternatives, executionContext, parent, depth);
481
461
  };
482
462
  protoOf(Rules).hashCode = function () {
483
- var result = hashCode(this.i2x_1);
484
- result = imul(result, 31) + (this.j2x_1 == null ? 0 : this.j2x_1.hashCode()) | 0;
485
- result = imul(result, 31) + (this.k2x_1 == null ? 0 : hashCode(this.k2x_1)) | 0;
486
- result = imul(result, 31) + this.l2x_1 | 0;
463
+ var result = hashCode(this.c2z_1);
464
+ result = imul(result, 31) + (this.d2z_1 == null ? 0 : this.d2z_1.hashCode()) | 0;
465
+ result = imul(result, 31) + (this.e2z_1 == null ? 0 : hashCode(this.e2z_1)) | 0;
466
+ result = imul(result, 31) + this.f2z_1 | 0;
487
467
  return result;
488
468
  };
489
469
  protoOf(Rules).equals = function (other) {
@@ -492,117 +472,114 @@
492
472
  if (!(other instanceof Rules))
493
473
  return false;
494
474
  var tmp0_other_with_cast = other instanceof Rules ? other : THROW_CCE();
495
- if (!equals(this.i2x_1, tmp0_other_with_cast.i2x_1))
475
+ if (!equals(this.c2z_1, tmp0_other_with_cast.c2z_1))
496
476
  return false;
497
- if (!equals(this.j2x_1, tmp0_other_with_cast.j2x_1))
477
+ if (!equals(this.d2z_1, tmp0_other_with_cast.d2z_1))
498
478
  return false;
499
- if (!equals(this.k2x_1, tmp0_other_with_cast.k2x_1))
479
+ if (!equals(this.e2z_1, tmp0_other_with_cast.e2z_1))
500
480
  return false;
501
- if (!(this.l2x_1 === tmp0_other_with_cast.l2x_1))
481
+ if (!(this.f2z_1 === tmp0_other_with_cast.f2z_1))
502
482
  return false;
503
483
  return true;
504
484
  };
505
485
  function ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this$0, resultContinuation) {
506
- this.w2x_1 = this$0;
486
+ this.q2z_1 = this$0;
507
487
  CoroutineImpl.call(this, resultContinuation);
508
488
  }
509
- protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).z2x = function ($this$sequence, $completion) {
510
- var tmp = this.a2y($this$sequence, $completion);
511
- tmp.og_1 = Unit_getInstance();
512
- tmp.pg_1 = null;
513
- return tmp.ug();
489
+ protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).t2z = function ($this$sequence, $completion) {
490
+ var tmp = this.u2z($this$sequence, $completion);
491
+ tmp.eb_1 = Unit_instance;
492
+ tmp.fb_1 = null;
493
+ return tmp.nb();
514
494
  };
515
- protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).gh = function (p1, $completion) {
516
- return this.z2x(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
495
+ protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).ac = function (p1, $completion) {
496
+ return this.t2z(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
517
497
  };
518
- protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).ug = function () {
519
- var suspendResult = this.og_1;
498
+ protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).nb = function () {
499
+ var suspendResult = this.eb_1;
520
500
  $sm: do
521
501
  try {
522
- var tmp = this.mg_1;
502
+ var tmp = this.cb_1;
523
503
  switch (tmp) {
524
504
  case 0:
525
- this.ng_1 = 4;
526
- this.y2x_1 = this.w2x_1;
527
- this.mg_1 = 1;
505
+ this.db_1 = 4;
506
+ this.s2z_1 = this.q2z_1;
507
+ this.cb_1 = 1;
528
508
  continue $sm;
529
509
  case 1:
530
- if (!!(this.y2x_1 == null)) {
531
- this.mg_1 = 3;
510
+ if (!!(this.s2z_1 == null)) {
511
+ this.cb_1 = 3;
532
512
  continue $sm;
533
513
  }
534
514
 
535
- this.mg_1 = 2;
536
- suspendResult = this.x2x_1.a5(ensureNotNull(this.y2x_1), this);
515
+ this.cb_1 = 2;
516
+ suspendResult = this.r2z_1.sd(ensureNotNull(this.s2z_1), this);
537
517
  if (suspendResult === get_COROUTINE_SUSPENDED()) {
538
518
  return suspendResult;
539
519
  }
540
520
 
541
521
  continue $sm;
542
522
  case 2:
543
- this.y2x_1 = this.y2x_1.p2w();
544
- this.mg_1 = 1;
523
+ this.s2z_1 = this.s2z_1.j2y();
524
+ this.cb_1 = 1;
545
525
  continue $sm;
546
526
  case 3:
547
- return Unit_getInstance();
527
+ return Unit_instance;
548
528
  case 4:
549
- throw this.pg_1;
529
+ throw this.fb_1;
550
530
  }
551
531
  } catch ($p) {
552
532
  var e = $p;
553
- if (this.ng_1 === 4) {
533
+ if (this.db_1 === 4) {
554
534
  throw e;
555
535
  } else {
556
- this.mg_1 = this.ng_1;
557
- this.pg_1 = e;
536
+ this.cb_1 = this.db_1;
537
+ this.fb_1 = e;
558
538
  }
559
539
  }
560
540
  while (true);
561
541
  };
562
- protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).a2y = function ($this$sequence, completion) {
563
- var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this.w2x_1, completion);
564
- i.x2x_1 = $this$sequence;
542
+ protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).u2z = function ($this$sequence, completion) {
543
+ var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this.q2z_1, completion);
544
+ i.r2z_1 = $this$sequence;
565
545
  return i;
566
546
  };
567
547
  function ChoicePointContext$_get_pathToRoot_$slambda_q0myjn_0(this$0, resultContinuation) {
568
548
  var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this$0, resultContinuation);
569
549
  var l = function ($this$sequence, $completion) {
570
- return i.z2x($this$sequence, $completion);
550
+ return i.t2z($this$sequence, $completion);
571
551
  };
572
552
  l.$arity = 1;
573
553
  return l;
574
554
  }
575
555
  function ChoicePointContext(alternatives, executionContext, parent, depth) {
576
556
  depth = depth === VOID ? 0 : depth;
577
- this.w2w_1 = alternatives;
578
- this.x2w_1 = executionContext;
579
- this.y2w_1 = parent;
580
- this.z2w_1 = depth;
557
+ this.q2y_1 = alternatives;
558
+ this.r2y_1 = executionContext;
559
+ this.s2y_1 = parent;
560
+ this.t2y_1 = depth;
581
561
  }
582
- protoOf(ChoicePointContext).n2w = function () {
583
- return this.w2w_1;
562
+ protoOf(ChoicePointContext).h2y = function () {
563
+ return this.q2y_1;
584
564
  };
585
- protoOf(ChoicePointContext).o2w = function () {
586
- return this.x2w_1;
565
+ protoOf(ChoicePointContext).i2y = function () {
566
+ return this.r2y_1;
587
567
  };
588
- protoOf(ChoicePointContext).p2w = function () {
589
- return this.y2w_1;
568
+ protoOf(ChoicePointContext).j2y = function () {
569
+ return this.s2y_1;
590
570
  };
591
- protoOf(ChoicePointContext).q2w = function () {
592
- return this.z2w_1;
571
+ protoOf(ChoicePointContext).k2y = function () {
572
+ return this.t2y_1;
593
573
  };
594
- protoOf(ChoicePointContext).a2x = function () {
574
+ protoOf(ChoicePointContext).u2y = function () {
595
575
  var tmp$ret$1;
596
576
  $l$block: {
597
577
  // Inline function 'kotlin.sequences.any' call
598
- var tmp0_any = this.b2x();
599
- var tmp0_iterator = tmp0_any.j();
600
- while (tmp0_iterator.m()) {
601
- var element = tmp0_iterator.n();
602
- var tmp$ret$0;
578
+ var tmp0_iterator = this.v2y().o();
579
+ while (tmp0_iterator.p()) {
580
+ var element = tmp0_iterator.r();
603
581
  // Inline function 'it.unibo.tuprolog.solve.classic.ChoicePointContext.<get-hasOpenAlternatives>.<anonymous>' call
604
- tmp$ret$0 = element.n2w().yo();
605
- if (tmp$ret$0) {
582
+ if (element.h2y().rp()) {
606
583
  tmp$ret$1 = true;
607
584
  break $l$block;
608
585
  }
@@ -611,118 +588,117 @@
611
588
  }
612
589
  return tmp$ret$1;
613
590
  };
614
- protoOf(ChoicePointContext).b2x = function () {
591
+ protoOf(ChoicePointContext).v2y = function () {
615
592
  return sequence(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn_0(this, null));
616
593
  };
617
- protoOf(ChoicePointContext).c2x = function () {
618
- var tmp0_safe_receiver = this.o2w();
619
- return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.v2v_1;
594
+ protoOf(ChoicePointContext).w2y = function () {
595
+ var tmp0_safe_receiver = this.i2y();
596
+ return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.p2x_1;
620
597
  };
621
- protoOf(ChoicePointContext).d2x = function () {
622
- var tmp0_safe_receiver = this.o2w();
623
- return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.c2v_1;
598
+ protoOf(ChoicePointContext).x2y = function () {
599
+ var tmp0_safe_receiver = this.i2y();
600
+ return tmp0_safe_receiver == null ? null : tmp0_safe_receiver.w2w_1;
624
601
  };
625
602
  protoOf(ChoicePointContext).toString = function () {
626
- var tmp = this.r2w() + '(' + ('alternatives=' + this.n2w() + ', ');
603
+ var tmp = this.l2y() + '(' + ('alternatives=' + this.h2y() + ', ');
627
604
  var tmp_0;
628
- if (this.o2w() === null) {
629
- tmp_0 = 'executionContext=' + this.o2w() + ', ';
605
+ if (this.i2y() === null) {
606
+ tmp_0 = 'executionContext=' + this.i2y() + ', ';
630
607
  } else {
631
- 'executionContextDepth=' + this.c2x() + ', ';
632
- tmp_0 = 'executionContextProcedure=' + this.d2x() + ', ';
608
+ 'executionContextDepth=' + this.w2y() + ', ';
609
+ tmp_0 = 'executionContextProcedure=' + this.x2y() + ', ';
633
610
  }
634
- return tmp + tmp_0 + ('depth=' + this.q2w()) + ')';
611
+ return tmp + tmp_0 + ('depth=' + this.k2y()) + ')';
635
612
  };
636
613
  function appendRules(_this__u8e3s4, alternatives, executionContext) {
637
614
  executionContext = executionContext === VOID ? null : executionContext;
638
615
  return new Rules(alternatives, executionContext, _this__u8e3s4, nextDepth(_this__u8e3s4));
639
616
  }
640
617
  function nextDepth(_this__u8e3s4) {
641
- return _this__u8e3s4 == null ? 0 : _this__u8e3s4.q2w() + 1 | 0;
618
+ return _this__u8e3s4 == null ? 0 : _this__u8e3s4.k2y() + 1 | 0;
642
619
  }
643
620
  function appendPrimitives(_this__u8e3s4, alternatives, executionContext) {
644
621
  executionContext = executionContext === VOID ? null : executionContext;
645
622
  return new Primitives(alternatives, executionContext, _this__u8e3s4, nextDepth(_this__u8e3s4));
646
623
  }
647
624
  function _get_locallyInterestingVariables__39cqti($this) {
648
- var tmp = asSequence_0($this.x2v_1);
649
- var tmp0_safe_receiver = $this.o2v_1.xo();
650
- var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.tt();
625
+ var tmp = asSequence_0($this.r2x_1);
626
+ var tmp0_safe_receiver = $this.i2x_1.qp();
627
+ var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.mu();
651
628
  return plus(tmp, tmp1_elvis_lhs == null ? emptySequence() : tmp1_elvis_lhs);
652
629
  }
653
630
  function _get_interestingVariables__k6uw5o($this) {
654
- var tmp$ret$0;
655
631
  // Inline function 'kotlin.getValue' call
656
- var tmp0_getValue = interestingVariables$factory();
657
- tmp$ret$0 = $this.a2w_1.p2();
658
- return tmp$ret$0;
632
+ var this_0 = $this.u2x_1;
633
+ interestingVariables$factory();
634
+ return this_0.q2();
659
635
  }
660
636
  function ClassicExecutionContext$pathToRoot$slambda(this$0, resultContinuation) {
661
- this.j2y_1 = this$0;
637
+ this.d30_1 = this$0;
662
638
  CoroutineImpl.call(this, resultContinuation);
663
639
  }
664
- protoOf(ClassicExecutionContext$pathToRoot$slambda).m2y = function ($this$sequence, $completion) {
665
- var tmp = this.n2y($this$sequence, $completion);
666
- tmp.og_1 = Unit_getInstance();
667
- tmp.pg_1 = null;
668
- return tmp.ug();
640
+ protoOf(ClassicExecutionContext$pathToRoot$slambda).g30 = function ($this$sequence, $completion) {
641
+ var tmp = this.h30($this$sequence, $completion);
642
+ tmp.eb_1 = Unit_instance;
643
+ tmp.fb_1 = null;
644
+ return tmp.nb();
669
645
  };
670
- protoOf(ClassicExecutionContext$pathToRoot$slambda).gh = function (p1, $completion) {
671
- return this.m2y(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
646
+ protoOf(ClassicExecutionContext$pathToRoot$slambda).ac = function (p1, $completion) {
647
+ return this.g30(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
672
648
  };
673
- protoOf(ClassicExecutionContext$pathToRoot$slambda).ug = function () {
674
- var suspendResult = this.og_1;
649
+ protoOf(ClassicExecutionContext$pathToRoot$slambda).nb = function () {
650
+ var suspendResult = this.eb_1;
675
651
  $sm: do
676
652
  try {
677
- var tmp = this.mg_1;
653
+ var tmp = this.cb_1;
678
654
  switch (tmp) {
679
655
  case 0:
680
- this.ng_1 = 4;
681
- this.l2y_1 = this.j2y_1;
682
- this.mg_1 = 1;
656
+ this.db_1 = 4;
657
+ this.f30_1 = this.d30_1;
658
+ this.cb_1 = 1;
683
659
  continue $sm;
684
660
  case 1:
685
- if (!!(this.l2y_1 == null)) {
686
- this.mg_1 = 3;
661
+ if (!!(this.f30_1 == null)) {
662
+ this.cb_1 = 3;
687
663
  continue $sm;
688
664
  }
689
665
 
690
- this.mg_1 = 2;
691
- suspendResult = this.k2y_1.a5(this.l2y_1, this);
666
+ this.cb_1 = 2;
667
+ suspendResult = this.e30_1.sd(this.f30_1, this);
692
668
  if (suspendResult === get_COROUTINE_SUSPENDED()) {
693
669
  return suspendResult;
694
670
  }
695
671
 
696
672
  continue $sm;
697
673
  case 2:
698
- this.l2y_1 = this.l2y_1.u2v_1;
699
- this.mg_1 = 1;
674
+ this.f30_1 = this.f30_1.o2x_1;
675
+ this.cb_1 = 1;
700
676
  continue $sm;
701
677
  case 3:
702
- return Unit_getInstance();
678
+ return Unit_instance;
703
679
  case 4:
704
- throw this.pg_1;
680
+ throw this.fb_1;
705
681
  }
706
682
  } catch ($p) {
707
683
  var e = $p;
708
- if (this.ng_1 === 4) {
684
+ if (this.db_1 === 4) {
709
685
  throw e;
710
686
  } else {
711
- this.mg_1 = this.ng_1;
712
- this.pg_1 = e;
687
+ this.cb_1 = this.db_1;
688
+ this.fb_1 = e;
713
689
  }
714
690
  }
715
691
  while (true);
716
692
  };
717
- protoOf(ClassicExecutionContext$pathToRoot$slambda).n2y = function ($this$sequence, completion) {
718
- var i = new ClassicExecutionContext$pathToRoot$slambda(this.j2y_1, completion);
719
- i.k2y_1 = $this$sequence;
693
+ protoOf(ClassicExecutionContext$pathToRoot$slambda).h30 = function ($this$sequence, completion) {
694
+ var i = new ClassicExecutionContext$pathToRoot$slambda(this.d30_1, completion);
695
+ i.e30_1 = $this$sequence;
720
696
  return i;
721
697
  };
722
698
  function ClassicExecutionContext$pathToRoot$slambda_0(this$0, resultContinuation) {
723
699
  var i = new ClassicExecutionContext$pathToRoot$slambda(this$0, resultContinuation);
724
700
  var l = function ($this$sequence, $completion) {
725
- return i.m2y($this$sequence, $completion);
701
+ return i.g30($this$sequence, $completion);
726
702
  };
727
703
  l.$arity = 1;
728
704
  return l;
@@ -730,11 +706,11 @@
730
706
  function ClassicExecutionContext$currentGoal$delegate$lambda(this$0) {
731
707
  return function () {
732
708
  var tmp;
733
- if (this$0.o2v_1.zo()) {
709
+ if (this$0.i2x_1.sp()) {
734
710
  tmp = null;
735
711
  } else {
736
- var tmp0_safe_receiver = this$0.o2v_1.xo();
737
- tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.applySubstitution(this$0.m2v_1);
712
+ var tmp0_safe_receiver = this$0.i2x_1.qp();
713
+ tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.applySubstitution(this$0.g2x_1);
738
714
  }
739
715
  return tmp;
740
716
  };
@@ -744,44 +720,44 @@
744
720
  }
745
721
  function ClassicExecutionContext$interestingVariables$delegate$lambda(this$0) {
746
722
  return function () {
747
- var tmp = plus(_get_locallyInterestingVariables__39cqti(this$0), this$0.n2v_1.tt());
748
- return cached(distinct(plus(tmp, flatMap(this$0.y2v_1, ClassicExecutionContext$interestingVariables$delegate$lambda$lambda))));
723
+ var tmp = plus(_get_locallyInterestingVariables__39cqti(this$0), this$0.h2x_1.mu());
724
+ return cached(distinct(plus(tmp, flatMap(this$0.s2x_1, ClassicExecutionContext$interestingVariables$delegate$lambda$lambda))));
749
725
  };
750
726
  }
751
727
  function ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda(it) {
752
- return it.o2y();
728
+ return it.i30();
753
729
  }
754
730
  function ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda_0(this$0) {
755
731
  return function (it) {
756
- var tmp0_elvis_lhs = it.c2v_1;
757
- return tmp0_elvis_lhs == null ? Companion_getInstance_8().of('?-', [this$0.n2v_1]) : tmp0_elvis_lhs;
732
+ var tmp0_elvis_lhs = it.w2w_1;
733
+ return tmp0_elvis_lhs == null ? Companion_getInstance_1().of('?-', [this$0.h2x_1]) : tmp0_elvis_lhs;
758
734
  };
759
735
  }
760
736
  function ClassicExecutionContext$logicStackTrace$delegate$lambda(this$0) {
761
737
  return function () {
762
- var tmp = filter(this$0.y2v_1, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda);
738
+ var tmp = filter(this$0.s2x_1, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda);
763
739
  return toList(map(tmp, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda_0(this$0)));
764
740
  };
765
741
  }
766
742
  function ClassicExecutionContext(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
767
743
  procedure = procedure === VOID ? null : procedure;
768
- unificator = unificator === VOID ? Companion_getInstance().c1i() : unificator;
769
- libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
770
- flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
771
- staticKb = staticKb === VOID ? Companion_getInstance_2().empty(unificator) : staticKb;
772
- dynamicKb = dynamicKb === VOID ? Companion_getInstance_3().empty(unificator) : dynamicKb;
744
+ unificator = unificator === VOID ? Companion_getInstance().x1i() : unificator;
745
+ libraries = libraries === VOID ? Companion_instance.empty() : libraries;
746
+ flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
747
+ staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
748
+ dynamicKb = dynamicKb === VOID ? Companion_instance_1.empty(unificator) : dynamicKb;
773
749
  operators = operators === VOID ? toOperatorSet(getAllOperators(libraries, [staticKb, dynamicKb])) : operators;
774
- inputChannels = inputChannels === VOID ? Companion_getInstance_6().fromStandard() : inputChannels;
775
- outputChannels = outputChannels === VOID ? Companion_getInstance_7().fromStandard() : outputChannels;
776
- customData = customData === VOID ? Companion_getInstance_9().empty() : customData;
777
- substitution = substitution === VOID ? Companion_getInstance_10().empty() : substitution;
778
- query = query === VOID ? Companion_getInstance_11().it_1 : query;
779
- goals = goals === VOID ? Companion_getInstance_12().empty() : goals;
780
- rules = rules === VOID ? Companion_getInstance_12().empty() : rules;
781
- primitives = primitives === VOID ? Companion_getInstance_12().empty() : primitives;
750
+ inputChannels = inputChannels === VOID ? Companion_instance_4.fromStandard() : inputChannels;
751
+ outputChannels = outputChannels === VOID ? Companion_instance_5.fromStandard() : outputChannels;
752
+ customData = customData === VOID ? Companion_instance_6.empty() : customData;
753
+ substitution = substitution === VOID ? Companion_getInstance_2().empty() : substitution;
754
+ query = query === VOID ? Companion_getInstance_3().bu_1 : query;
755
+ goals = goals === VOID ? Companion_instance_7.empty() : goals;
756
+ rules = rules === VOID ? Companion_instance_7.empty() : rules;
757
+ primitives = primitives === VOID ? Companion_instance_7.empty() : primitives;
782
758
  var tmp;
783
759
  if (maxDuration === VOID) {
784
- Companion_getInstance_13();
760
+ Companion_getInstance_4();
785
761
  tmp = new Long(-1, 2147483647);
786
762
  } else {
787
763
  tmp = maxDuration;
@@ -792,221 +768,210 @@
792
768
  depth = depth === VOID ? 0 : depth;
793
769
  step = step === VOID ? new Long(0, 0) : step;
794
770
  relevantVariables = relevantVariables === VOID ? emptySet() : relevantVariables;
795
- this.c2v_1 = procedure;
796
- this.d2v_1 = unificator;
797
- this.e2v_1 = libraries;
798
- this.f2v_1 = flags;
799
- this.g2v_1 = staticKb;
800
- this.h2v_1 = dynamicKb;
801
- this.i2v_1 = operators;
802
- this.j2v_1 = inputChannels;
803
- this.k2v_1 = outputChannels;
804
- this.l2v_1 = customData;
805
- this.m2v_1 = substitution;
806
- this.n2v_1 = query;
807
- this.o2v_1 = goals;
808
- this.p2v_1 = rules;
809
- this.q2v_1 = primitives;
810
- this.r2v_1 = startTime;
811
- this.s2v_1 = maxDuration;
812
- this.t2v_1 = choicePoints;
813
- this.u2v_1 = parent;
814
- this.v2v_1 = depth;
815
- this.w2v_1 = step;
816
- this.x2v_1 = relevantVariables;
771
+ this.w2w_1 = procedure;
772
+ this.x2w_1 = unificator;
773
+ this.y2w_1 = libraries;
774
+ this.z2w_1 = flags;
775
+ this.a2x_1 = staticKb;
776
+ this.b2x_1 = dynamicKb;
777
+ this.c2x_1 = operators;
778
+ this.d2x_1 = inputChannels;
779
+ this.e2x_1 = outputChannels;
780
+ this.f2x_1 = customData;
781
+ this.g2x_1 = substitution;
782
+ this.h2x_1 = query;
783
+ this.i2x_1 = goals;
784
+ this.j2x_1 = rules;
785
+ this.k2x_1 = primitives;
786
+ this.l2x_1 = startTime;
787
+ this.m2x_1 = maxDuration;
788
+ this.n2x_1 = choicePoints;
789
+ this.o2x_1 = parent;
790
+ this.p2x_1 = depth;
791
+ this.q2x_1 = step;
792
+ this.r2x_1 = relevantVariables;
817
793
  // Inline function 'kotlin.require' call
818
- var tmp0_require = (this.v2v_1 === 0 ? this.u2v_1 == null : false) ? true : this.v2v_1 > 0 ? !(this.u2v_1 == null) : false;
819
794
  // Inline function 'kotlin.contracts.contract' call
820
795
  // Inline function 'kotlin.require' call
821
796
  // Inline function 'kotlin.contracts.contract' call
822
- if (!tmp0_require) {
823
- var tmp$ret$0;
797
+ if (!((this.p2x_1 === 0 ? this.o2x_1 == null : false) ? true : this.p2x_1 > 0 ? !(this.o2x_1 == null) : false)) {
824
798
  // Inline function 'kotlin.require.<anonymous>' call
825
- tmp$ret$0 = 'Failed requirement.';
826
- var message = tmp$ret$0;
799
+ var message = 'Failed requirement.';
827
800
  throw IllegalArgumentException_init_$Create$(toString(message));
828
801
  }
829
802
  // Inline function 'kotlin.require' call
830
- var tmp1_require = this.r2v_1.f1(new Long(0, 0)) >= 0;
831
803
  // Inline function 'kotlin.contracts.contract' call
832
804
  // Inline function 'kotlin.require' call
833
805
  // Inline function 'kotlin.contracts.contract' call
834
- if (!tmp1_require) {
835
- var tmp$ret$1;
806
+ if (!(this.l2x_1.l6(new Long(0, 0)) >= 0)) {
836
807
  // Inline function 'kotlin.require.<anonymous>' call
837
- tmp$ret$1 = 'Failed requirement.';
838
- var message_0 = tmp$ret$1;
808
+ var message_0 = 'Failed requirement.';
839
809
  throw IllegalArgumentException_init_$Create$(toString(message_0));
840
810
  }
841
811
  // Inline function 'kotlin.require' call
842
- var tmp2_require = this.s2v_1.f1(new Long(0, 0)) >= 0;
843
812
  // Inline function 'kotlin.contracts.contract' call
844
813
  // Inline function 'kotlin.require' call
845
814
  // Inline function 'kotlin.contracts.contract' call
846
- if (!tmp2_require) {
847
- var tmp$ret$2;
815
+ if (!(this.m2x_1.l6(new Long(0, 0)) >= 0)) {
848
816
  // Inline function 'kotlin.require.<anonymous>' call
849
- tmp$ret$2 = 'Failed requirement.';
850
- var message_1 = tmp$ret$2;
817
+ var message_1 = 'Failed requirement.';
851
818
  throw IllegalArgumentException_init_$Create$(toString(message_1));
852
819
  }
853
820
  var tmp_0 = this;
854
- tmp_0.y2v_1 = sequence(ClassicExecutionContext$pathToRoot$slambda_0(this, null));
821
+ tmp_0.s2x_1 = sequence(ClassicExecutionContext$pathToRoot$slambda_0(this, null));
855
822
  var tmp_1 = this;
856
- tmp_1.z2v_1 = lazy(ClassicExecutionContext$currentGoal$delegate$lambda(this));
823
+ tmp_1.t2x_1 = lazy(ClassicExecutionContext$currentGoal$delegate$lambda(this));
857
824
  var tmp_2 = this;
858
- tmp_2.a2w_1 = lazy(ClassicExecutionContext$interestingVariables$delegate$lambda(this));
825
+ tmp_2.u2x_1 = lazy(ClassicExecutionContext$interestingVariables$delegate$lambda(this));
859
826
  var tmp_3 = this;
860
- tmp_3.b2w_1 = lazy(ClassicExecutionContext$logicStackTrace$delegate$lambda(this));
827
+ tmp_3.v2x_1 = lazy(ClassicExecutionContext$logicStackTrace$delegate$lambda(this));
861
828
  }
862
- protoOf(ClassicExecutionContext).l1r = function () {
863
- return this.c2v_1;
829
+ protoOf(ClassicExecutionContext).s1s = function () {
830
+ return this.w2w_1;
864
831
  };
865
- protoOf(ClassicExecutionContext).f1i = function () {
866
- return this.d2v_1;
832
+ protoOf(ClassicExecutionContext).a1j = function () {
833
+ return this.x2w_1;
867
834
  };
868
- protoOf(ClassicExecutionContext).q1r = function () {
869
- return this.e2v_1;
835
+ protoOf(ClassicExecutionContext).x1s = function () {
836
+ return this.y2w_1;
870
837
  };
871
- protoOf(ClassicExecutionContext).r1r = function () {
872
- return this.f2v_1;
838
+ protoOf(ClassicExecutionContext).y1s = function () {
839
+ return this.z2w_1;
873
840
  };
874
- protoOf(ClassicExecutionContext).s1r = function () {
875
- return this.g2v_1;
841
+ protoOf(ClassicExecutionContext).z1s = function () {
842
+ return this.a2x_1;
876
843
  };
877
- protoOf(ClassicExecutionContext).t1r = function () {
878
- return this.h2v_1;
844
+ protoOf(ClassicExecutionContext).a1t = function () {
845
+ return this.b2x_1;
879
846
  };
880
- protoOf(ClassicExecutionContext).y1r = function () {
881
- return this.i2v_1;
847
+ protoOf(ClassicExecutionContext).f1t = function () {
848
+ return this.c2x_1;
882
849
  };
883
- protoOf(ClassicExecutionContext).u1r = function () {
884
- return this.j2v_1;
850
+ protoOf(ClassicExecutionContext).b1t = function () {
851
+ return this.d2x_1;
885
852
  };
886
- protoOf(ClassicExecutionContext).v1r = function () {
887
- return this.k2v_1;
853
+ protoOf(ClassicExecutionContext).c1t = function () {
854
+ return this.e2x_1;
888
855
  };
889
- protoOf(ClassicExecutionContext).o1r = function () {
890
- return this.l2v_1;
856
+ protoOf(ClassicExecutionContext).v1s = function () {
857
+ return this.f2x_1;
891
858
  };
892
- protoOf(ClassicExecutionContext).m1r = function () {
893
- return this.m2v_1;
859
+ protoOf(ClassicExecutionContext).t1s = function () {
860
+ return this.g2x_1;
894
861
  };
895
- protoOf(ClassicExecutionContext).g1r = function () {
896
- return this.r2v_1;
862
+ protoOf(ClassicExecutionContext).n1s = function () {
863
+ return this.l2x_1;
897
864
  };
898
- protoOf(ClassicExecutionContext).i1r = function () {
899
- return this.s2v_1;
865
+ protoOf(ClassicExecutionContext).p1s = function () {
866
+ return this.m2x_1;
900
867
  };
901
- protoOf(ClassicExecutionContext).p2y = function () {
902
- return this.v2v_1 === 0;
868
+ protoOf(ClassicExecutionContext).j30 = function () {
869
+ return this.p2x_1 === 0;
903
870
  };
904
- protoOf(ClassicExecutionContext).a2x = function () {
905
- var tmp0_safe_receiver = this.t2v_1;
906
- var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.a2x();
871
+ protoOf(ClassicExecutionContext).u2y = function () {
872
+ var tmp0_safe_receiver = this.n2x_1;
873
+ var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.u2y();
907
874
  return tmp1_elvis_lhs == null ? false : tmp1_elvis_lhs;
908
875
  };
909
- protoOf(ClassicExecutionContext).o2y = function () {
910
- return this.u2v_1 == null ? true : (this.v2v_1 - this.u2v_1.v2v_1 | 0) >= 1;
876
+ protoOf(ClassicExecutionContext).i30 = function () {
877
+ return this.o2x_1 == null ? true : (this.p2x_1 - this.o2x_1.p2x_1 | 0) >= 1;
911
878
  };
912
- protoOf(ClassicExecutionContext).q2y = function () {
913
- var tmp$ret$0;
879
+ protoOf(ClassicExecutionContext).k30 = function () {
914
880
  // Inline function 'kotlin.getValue' call
915
- var tmp0_getValue = currentGoal$factory();
916
- tmp$ret$0 = this.z2v_1.p2();
917
- return tmp$ret$0;
881
+ var this_0 = this.t2x_1;
882
+ currentGoal$factory();
883
+ return this_0.q2();
918
884
  };
919
- protoOf(ClassicExecutionContext).r2y = function (variable) {
885
+ protoOf(ClassicExecutionContext).l30 = function (variable) {
920
886
  return contains(_get_interestingVariables__k6uw5o(this), variable);
921
887
  };
922
- protoOf(ClassicExecutionContext).n1r = function () {
923
- var tmp$ret$0;
888
+ protoOf(ClassicExecutionContext).u1s = function () {
924
889
  // Inline function 'kotlin.getValue' call
925
- var tmp0_getValue = logicStackTrace$factory();
926
- tmp$ret$0 = this.b2w_1.p2();
927
- return tmp$ret$0;
890
+ var this_0 = this.v2x_1;
891
+ logicStackTrace$factory();
892
+ return this_0.q2();
928
893
  };
929
- protoOf(ClassicExecutionContext).p1r = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
894
+ protoOf(ClassicExecutionContext).w1s = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
930
895
  return ClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, true);
931
896
  };
932
- protoOf(ClassicExecutionContext).x1r = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
933
- return this.t2w(VOID, unificator, libraries, flags, staticKb, dynamicKb.toMutableTheory(), operators, inputChannels, outputChannels, customData);
897
+ protoOf(ClassicExecutionContext).e1t = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
898
+ return this.n2y(VOID, unificator, libraries, flags, staticKb, dynamicKb.toMutableTheory(), operators, inputChannels, outputChannels, customData);
934
899
  };
935
- protoOf(ClassicExecutionContext).s2y = function (sideEffect) {
900
+ protoOf(ClassicExecutionContext).m30 = function (sideEffect) {
936
901
  var tmp = apply.call(this, sideEffect);
937
902
  return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
938
903
  };
939
904
  protoOf(ClassicExecutionContext).apply = function (sideEffect) {
940
- return this.s2y(sideEffect);
905
+ return this.m30(sideEffect);
941
906
  };
942
- protoOf(ClassicExecutionContext).t2y = function (sideEffects) {
907
+ protoOf(ClassicExecutionContext).n30 = function (sideEffects) {
943
908
  var tmp = applyIterable.call(this, sideEffects);
944
909
  return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
945
910
  };
946
911
  protoOf(ClassicExecutionContext).applyIterable = function (sideEffects) {
947
- return this.t2y(sideEffects);
912
+ return this.n30(sideEffects);
948
913
  };
949
- protoOf(ClassicExecutionContext).u2y = function (sideEffects) {
914
+ protoOf(ClassicExecutionContext).o30 = function (sideEffects) {
950
915
  var tmp = applySequence.call(this, sideEffects);
951
916
  return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
952
917
  };
953
918
  protoOf(ClassicExecutionContext).applySequence = function (sideEffects) {
954
- return this.u2y(sideEffects);
919
+ return this.o30(sideEffects);
955
920
  };
956
921
  protoOf(ClassicExecutionContext).toString = function () {
957
- return 'ClassicExecutionContext(' + ('step=' + toString(this.w2v_1) + ', ') + ('depth=' + this.v2v_1 + ', ') + ('substitution=' + this.m2v_1 + ', ') + ('logicStackTrace=' + this.n1r() + ', ') + ('goals=' + this.o2v_1 + ', ') + ('rules=' + this.p2v_1 + ', ') + ('primitives=' + this.q2v_1 + ', ') + ('startTime=' + toString(this.r2v_1) + ', ') + ('endTime=' + toString(this.h1r()) + ', ') + ('maxDuration=' + toString(this.s2v_1) + ', ') + ('unificator=' + this.d2v_1 + ', ') + ('choicePoints=' + this.t2v_1) + ')';
922
+ return 'ClassicExecutionContext(' + ('step=' + this.q2x_1.toString() + ', ') + ('depth=' + this.p2x_1 + ', ') + ('substitution=' + this.g2x_1 + ', ') + ('logicStackTrace=' + this.u1s() + ', ') + ('goals=' + this.i2x_1 + ', ') + ('rules=' + this.j2x_1 + ', ') + ('primitives=' + this.k2x_1 + ', ') + ('startTime=' + this.l2x_1.toString() + ', ') + ('endTime=' + this.o1s().toString() + ', ') + ('maxDuration=' + this.m2x_1.toString() + ', ') + ('unificator=' + this.x2w_1 + ', ') + ('choicePoints=' + this.n2x_1) + ')';
958
923
  };
959
- protoOf(ClassicExecutionContext).v2y = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
924
+ protoOf(ClassicExecutionContext).p30 = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
960
925
  return new ClassicExecutionContext(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
961
926
  };
962
- protoOf(ClassicExecutionContext).t2w = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables, $super) {
963
- procedure = procedure === VOID ? this.c2v_1 : procedure;
964
- unificator = unificator === VOID ? this.d2v_1 : unificator;
965
- libraries = libraries === VOID ? this.e2v_1 : libraries;
966
- flags = flags === VOID ? this.f2v_1 : flags;
967
- staticKb = staticKb === VOID ? this.g2v_1 : staticKb;
968
- dynamicKb = dynamicKb === VOID ? this.h2v_1 : dynamicKb;
969
- operators = operators === VOID ? this.i2v_1 : operators;
970
- inputChannels = inputChannels === VOID ? this.j2v_1 : inputChannels;
971
- outputChannels = outputChannels === VOID ? this.k2v_1 : outputChannels;
972
- customData = customData === VOID ? this.l2v_1 : customData;
973
- substitution = substitution === VOID ? this.m2v_1 : substitution;
974
- query = query === VOID ? this.n2v_1 : query;
975
- goals = goals === VOID ? this.o2v_1 : goals;
976
- rules = rules === VOID ? this.p2v_1 : rules;
977
- primitives = primitives === VOID ? this.q2v_1 : primitives;
978
- startTime = startTime === VOID ? this.r2v_1 : startTime;
979
- maxDuration = maxDuration === VOID ? this.s2v_1 : maxDuration;
980
- choicePoints = choicePoints === VOID ? this.t2v_1 : choicePoints;
981
- parent = parent === VOID ? this.u2v_1 : parent;
982
- depth = depth === VOID ? this.v2v_1 : depth;
983
- step = step === VOID ? this.w2v_1 : step;
984
- relevantVariables = relevantVariables === VOID ? this.x2v_1 : relevantVariables;
985
- return $super === VOID ? this.v2y(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) : $super.v2y.call(this, procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
927
+ protoOf(ClassicExecutionContext).n2y = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables, $super) {
928
+ procedure = procedure === VOID ? this.w2w_1 : procedure;
929
+ unificator = unificator === VOID ? this.x2w_1 : unificator;
930
+ libraries = libraries === VOID ? this.y2w_1 : libraries;
931
+ flags = flags === VOID ? this.z2w_1 : flags;
932
+ staticKb = staticKb === VOID ? this.a2x_1 : staticKb;
933
+ dynamicKb = dynamicKb === VOID ? this.b2x_1 : dynamicKb;
934
+ operators = operators === VOID ? this.c2x_1 : operators;
935
+ inputChannels = inputChannels === VOID ? this.d2x_1 : inputChannels;
936
+ outputChannels = outputChannels === VOID ? this.e2x_1 : outputChannels;
937
+ customData = customData === VOID ? this.f2x_1 : customData;
938
+ substitution = substitution === VOID ? this.g2x_1 : substitution;
939
+ query = query === VOID ? this.h2x_1 : query;
940
+ goals = goals === VOID ? this.i2x_1 : goals;
941
+ rules = rules === VOID ? this.j2x_1 : rules;
942
+ primitives = primitives === VOID ? this.k2x_1 : primitives;
943
+ startTime = startTime === VOID ? this.l2x_1 : startTime;
944
+ maxDuration = maxDuration === VOID ? this.m2x_1 : maxDuration;
945
+ choicePoints = choicePoints === VOID ? this.n2x_1 : choicePoints;
946
+ parent = parent === VOID ? this.o2x_1 : parent;
947
+ depth = depth === VOID ? this.p2x_1 : depth;
948
+ step = step === VOID ? this.q2x_1 : step;
949
+ relevantVariables = relevantVariables === VOID ? this.r2x_1 : relevantVariables;
950
+ return $super === VOID ? this.p30(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) : $super.p30.call(this, procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
986
951
  };
987
952
  protoOf(ClassicExecutionContext).hashCode = function () {
988
- var result = this.c2v_1 == null ? 0 : this.c2v_1.hashCode();
989
- result = imul(result, 31) + hashCode(this.d2v_1) | 0;
990
- result = imul(result, 31) + hashCode(this.e2v_1) | 0;
991
- result = imul(result, 31) + this.f2v_1.hashCode() | 0;
992
- result = imul(result, 31) + hashCode(this.g2v_1) | 0;
993
- result = imul(result, 31) + hashCode(this.h2v_1) | 0;
994
- result = imul(result, 31) + this.i2v_1.hashCode() | 0;
995
- result = imul(result, 31) + hashCode(this.j2v_1) | 0;
996
- result = imul(result, 31) + hashCode(this.k2v_1) | 0;
997
- result = imul(result, 31) + this.l2v_1.hashCode() | 0;
998
- result = imul(result, 31) + hashCode(this.m2v_1) | 0;
999
- result = imul(result, 31) + this.n2v_1.hashCode() | 0;
1000
- result = imul(result, 31) + hashCode(this.o2v_1) | 0;
1001
- result = imul(result, 31) + hashCode(this.p2v_1) | 0;
1002
- result = imul(result, 31) + hashCode(this.q2v_1) | 0;
1003
- result = imul(result, 31) + this.r2v_1.hashCode() | 0;
1004
- result = imul(result, 31) + this.s2v_1.hashCode() | 0;
1005
- result = imul(result, 31) + (this.t2v_1 == null ? 0 : hashCode(this.t2v_1)) | 0;
1006
- result = imul(result, 31) + (this.u2v_1 == null ? 0 : this.u2v_1.hashCode()) | 0;
1007
- result = imul(result, 31) + this.v2v_1 | 0;
1008
- result = imul(result, 31) + this.w2v_1.hashCode() | 0;
1009
- result = imul(result, 31) + hashCode(this.x2v_1) | 0;
953
+ var result = this.w2w_1 == null ? 0 : this.w2w_1.hashCode();
954
+ result = imul(result, 31) + hashCode(this.x2w_1) | 0;
955
+ result = imul(result, 31) + hashCode(this.y2w_1) | 0;
956
+ result = imul(result, 31) + this.z2w_1.hashCode() | 0;
957
+ result = imul(result, 31) + hashCode(this.a2x_1) | 0;
958
+ result = imul(result, 31) + hashCode(this.b2x_1) | 0;
959
+ result = imul(result, 31) + this.c2x_1.hashCode() | 0;
960
+ result = imul(result, 31) + hashCode(this.d2x_1) | 0;
961
+ result = imul(result, 31) + hashCode(this.e2x_1) | 0;
962
+ result = imul(result, 31) + this.f2x_1.hashCode() | 0;
963
+ result = imul(result, 31) + hashCode(this.g2x_1) | 0;
964
+ result = imul(result, 31) + this.h2x_1.hashCode() | 0;
965
+ result = imul(result, 31) + hashCode(this.i2x_1) | 0;
966
+ result = imul(result, 31) + hashCode(this.j2x_1) | 0;
967
+ result = imul(result, 31) + hashCode(this.k2x_1) | 0;
968
+ result = imul(result, 31) + this.l2x_1.hashCode() | 0;
969
+ result = imul(result, 31) + this.m2x_1.hashCode() | 0;
970
+ result = imul(result, 31) + (this.n2x_1 == null ? 0 : hashCode(this.n2x_1)) | 0;
971
+ result = imul(result, 31) + (this.o2x_1 == null ? 0 : this.o2x_1.hashCode()) | 0;
972
+ result = imul(result, 31) + this.p2x_1 | 0;
973
+ result = imul(result, 31) + this.q2x_1.hashCode() | 0;
974
+ result = imul(result, 31) + hashCode(this.r2x_1) | 0;
1010
975
  return result;
1011
976
  };
1012
977
  protoOf(ClassicExecutionContext).equals = function (other) {
@@ -1015,55 +980,55 @@
1015
980
  if (!(other instanceof ClassicExecutionContext))
1016
981
  return false;
1017
982
  var tmp0_other_with_cast = other instanceof ClassicExecutionContext ? other : THROW_CCE();
1018
- if (!equals(this.c2v_1, tmp0_other_with_cast.c2v_1))
983
+ if (!equals(this.w2w_1, tmp0_other_with_cast.w2w_1))
1019
984
  return false;
1020
- if (!equals(this.d2v_1, tmp0_other_with_cast.d2v_1))
985
+ if (!equals(this.x2w_1, tmp0_other_with_cast.x2w_1))
1021
986
  return false;
1022
- if (!equals(this.e2v_1, tmp0_other_with_cast.e2v_1))
987
+ if (!equals(this.y2w_1, tmp0_other_with_cast.y2w_1))
1023
988
  return false;
1024
- if (!this.f2v_1.equals(tmp0_other_with_cast.f2v_1))
989
+ if (!this.z2w_1.equals(tmp0_other_with_cast.z2w_1))
1025
990
  return false;
1026
- if (!equals(this.g2v_1, tmp0_other_with_cast.g2v_1))
991
+ if (!equals(this.a2x_1, tmp0_other_with_cast.a2x_1))
1027
992
  return false;
1028
- if (!equals(this.h2v_1, tmp0_other_with_cast.h2v_1))
993
+ if (!equals(this.b2x_1, tmp0_other_with_cast.b2x_1))
1029
994
  return false;
1030
- if (!this.i2v_1.equals(tmp0_other_with_cast.i2v_1))
995
+ if (!this.c2x_1.equals(tmp0_other_with_cast.c2x_1))
1031
996
  return false;
1032
- if (!equals(this.j2v_1, tmp0_other_with_cast.j2v_1))
997
+ if (!equals(this.d2x_1, tmp0_other_with_cast.d2x_1))
1033
998
  return false;
1034
- if (!equals(this.k2v_1, tmp0_other_with_cast.k2v_1))
999
+ if (!equals(this.e2x_1, tmp0_other_with_cast.e2x_1))
1035
1000
  return false;
1036
- if (!this.l2v_1.equals(tmp0_other_with_cast.l2v_1))
1001
+ if (!this.f2x_1.equals(tmp0_other_with_cast.f2x_1))
1037
1002
  return false;
1038
- if (!equals(this.m2v_1, tmp0_other_with_cast.m2v_1))
1003
+ if (!equals(this.g2x_1, tmp0_other_with_cast.g2x_1))
1039
1004
  return false;
1040
- if (!this.n2v_1.equals(tmp0_other_with_cast.n2v_1))
1005
+ if (!this.h2x_1.equals(tmp0_other_with_cast.h2x_1))
1041
1006
  return false;
1042
- if (!equals(this.o2v_1, tmp0_other_with_cast.o2v_1))
1007
+ if (!equals(this.i2x_1, tmp0_other_with_cast.i2x_1))
1043
1008
  return false;
1044
- if (!equals(this.p2v_1, tmp0_other_with_cast.p2v_1))
1009
+ if (!equals(this.j2x_1, tmp0_other_with_cast.j2x_1))
1045
1010
  return false;
1046
- if (!equals(this.q2v_1, tmp0_other_with_cast.q2v_1))
1011
+ if (!equals(this.k2x_1, tmp0_other_with_cast.k2x_1))
1047
1012
  return false;
1048
- if (!this.r2v_1.equals(tmp0_other_with_cast.r2v_1))
1013
+ if (!this.l2x_1.equals(tmp0_other_with_cast.l2x_1))
1049
1014
  return false;
1050
- if (!this.s2v_1.equals(tmp0_other_with_cast.s2v_1))
1015
+ if (!this.m2x_1.equals(tmp0_other_with_cast.m2x_1))
1051
1016
  return false;
1052
- if (!equals(this.t2v_1, tmp0_other_with_cast.t2v_1))
1017
+ if (!equals(this.n2x_1, tmp0_other_with_cast.n2x_1))
1053
1018
  return false;
1054
- if (!equals(this.u2v_1, tmp0_other_with_cast.u2v_1))
1019
+ if (!equals(this.o2x_1, tmp0_other_with_cast.o2x_1))
1055
1020
  return false;
1056
- if (!(this.v2v_1 === tmp0_other_with_cast.v2v_1))
1021
+ if (!(this.p2x_1 === tmp0_other_with_cast.p2x_1))
1057
1022
  return false;
1058
- if (!this.w2v_1.equals(tmp0_other_with_cast.w2v_1))
1023
+ if (!this.q2x_1.equals(tmp0_other_with_cast.q2x_1))
1059
1024
  return false;
1060
- if (!equals(this.x2v_1, tmp0_other_with_cast.x2v_1))
1025
+ if (!equals(this.r2x_1, tmp0_other_with_cast.r2x_1))
1061
1026
  return false;
1062
1027
  return true;
1063
1028
  };
1064
1029
  function currentGoal$factory() {
1065
1030
  return getPropertyCallableRef('currentGoal', 1, KProperty1, function (receiver) {
1066
- return receiver.q2y();
1031
+ return receiver.k30();
1067
1032
  }, null);
1068
1033
  }
1069
1034
  function interestingVariables$factory() {
@@ -1073,17 +1038,17 @@
1073
1038
  }
1074
1039
  function logicStackTrace$factory() {
1075
1040
  return getPropertyCallableRef('logicStackTrace', 1, KProperty1, function (receiver) {
1076
- return receiver.n1r();
1041
+ return receiver.u1s();
1077
1042
  }, null);
1078
1043
  }
1079
1044
  function ClassicSolver_init_$Init$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, $this) {
1080
- unificator = unificator === VOID ? Companion_getInstance().c1i() : unificator;
1081
- libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
1082
- flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
1083
- initialStaticKb = initialStaticKb === VOID ? Companion_getInstance_2().empty(unificator) : initialStaticKb;
1084
- initialDynamicKb = initialDynamicKb === VOID ? Companion_getInstance_3().empty(unificator) : initialDynamicKb;
1085
- inputChannels = inputChannels === VOID ? Companion_getInstance_6().fromStandard() : inputChannels;
1086
- outputChannels = outputChannels === VOID ? Companion_getInstance_7().fromStandard() : outputChannels;
1045
+ unificator = unificator === VOID ? Companion_getInstance().x1i() : unificator;
1046
+ libraries = libraries === VOID ? Companion_instance.empty() : libraries;
1047
+ flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
1048
+ initialStaticKb = initialStaticKb === VOID ? Companion_instance_0.empty(unificator) : initialStaticKb;
1049
+ initialDynamicKb = initialDynamicKb === VOID ? Companion_instance_1.empty(unificator) : initialDynamicKb;
1050
+ inputChannels = inputChannels === VOID ? Companion_instance_4.fromStandard() : inputChannels;
1051
+ outputChannels = outputChannels === VOID ? Companion_instance_5.fromStandard() : outputChannels;
1087
1052
  trustKb = trustKb === VOID ? false : trustKb;
1088
1053
  AbstractClassicSolver.call($this, unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb);
1089
1054
  ClassicSolver.call($this);
@@ -1093,15 +1058,15 @@
1093
1058
  return ClassicSolver_init_$Init$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, objectCreate(protoOf(ClassicSolver)));
1094
1059
  }
1095
1060
  function ClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
1096
- unificator = unificator === VOID ? Companion_getInstance().c1i() : unificator;
1097
- libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
1098
- flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
1099
- staticKb = staticKb === VOID ? Companion_getInstance_2().empty(unificator) : staticKb;
1100
- dynamicKb = dynamicKb === VOID ? Companion_getInstance_3().empty(unificator) : dynamicKb;
1101
- stdIn = stdIn === VOID ? Companion_getInstance_4().stdIn() : stdIn;
1102
- stdOut = stdOut === VOID ? Companion_getInstance_5().stdOut() : stdOut;
1103
- stdErr = stdErr === VOID ? Companion_getInstance_5().stdErr() : stdErr;
1104
- warnings = warnings === VOID ? Companion_getInstance_5().warning() : warnings;
1061
+ unificator = unificator === VOID ? Companion_getInstance().x1i() : unificator;
1062
+ libraries = libraries === VOID ? Companion_instance.empty() : libraries;
1063
+ flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
1064
+ staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
1065
+ dynamicKb = dynamicKb === VOID ? Companion_instance_1.empty(unificator) : dynamicKb;
1066
+ stdIn = stdIn === VOID ? Companion_instance_2.stdIn() : stdIn;
1067
+ stdOut = stdOut === VOID ? Companion_instance_3.stdOut() : stdOut;
1068
+ stdErr = stdErr === VOID ? Companion_instance_3.stdErr() : stdErr;
1069
+ warnings = warnings === VOID ? Companion_instance_3.warning() : warnings;
1105
1070
  trustKb = trustKb === VOID ? false : trustKb;
1106
1071
  AbstractClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this);
1107
1072
  ClassicSolver.call($this);
@@ -1110,52 +1075,49 @@
1110
1075
  function ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb) {
1111
1076
  return ClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, objectCreate(protoOf(ClassicSolver)));
1112
1077
  }
1113
- protoOf(ClassicSolver).e2w = function (initialState, onStateTransition) {
1114
- return Companion_getInstance_22().x2y(initialState, onStateTransition);
1078
+ protoOf(ClassicSolver).y2x = function (initialState, onStateTransition) {
1079
+ return Companion_instance_15.r30(initialState, onStateTransition);
1115
1080
  };
1116
- protoOf(ClassicSolver).h1u = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1081
+ protoOf(ClassicSolver).q1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1117
1082
  return ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
1118
1083
  };
1119
- protoOf(ClassicSolver).u1p = function () {
1084
+ protoOf(ClassicSolver).p1q = function () {
1120
1085
  return this.copy();
1121
1086
  };
1122
1087
  protoOf(ClassicSolver).clone = function () {
1123
- return this.u1p();
1088
+ return this.p1q();
1124
1089
  };
1125
1090
  function ClassicSolver() {
1126
1091
  }
1127
1092
  function ClassicSolverFactory() {
1128
- ClassicSolverFactory_instance = this;
1129
1093
  }
1130
- protoOf(ClassicSolverFactory).n1u = function () {
1094
+ protoOf(ClassicSolverFactory).w1v = function () {
1131
1095
  return DefaultBuiltins_getInstance();
1132
1096
  };
1133
- protoOf(ClassicSolverFactory).y1u = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
1097
+ protoOf(ClassicSolverFactory).h1w = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
1134
1098
  return ClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
1135
1099
  };
1136
- protoOf(ClassicSolverFactory).e1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1100
+ protoOf(ClassicSolverFactory).n1w = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1137
1101
  return ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
1138
1102
  };
1139
- protoOf(ClassicSolverFactory).g1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1103
+ protoOf(ClassicSolverFactory).p1w = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1140
1104
  return MutableClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
1141
1105
  };
1142
- protoOf(ClassicSolverFactory).i1v = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
1106
+ protoOf(ClassicSolverFactory).r1w = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
1143
1107
  return MutableClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
1144
1108
  };
1145
1109
  var ClassicSolverFactory_instance;
1146
1110
  function ClassicSolverFactory_getInstance() {
1147
- if (ClassicSolverFactory_instance == null)
1148
- new ClassicSolverFactory();
1149
1111
  return ClassicSolverFactory_instance;
1150
1112
  }
1151
1113
  function MutableClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, $this) {
1152
- unificator = unificator === VOID ? Companion_getInstance().c1i() : unificator;
1153
- libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
1154
- flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
1155
- staticKb = staticKb === VOID ? Companion_getInstance_2().empty(unificator) : staticKb;
1156
- dynamicKb = dynamicKb === VOID ? Companion_getInstance_3().empty(unificator) : dynamicKb;
1157
- inputChannels = inputChannels === VOID ? Companion_getInstance_6().fromStandard() : inputChannels;
1158
- outputChannels = outputChannels === VOID ? Companion_getInstance_7().fromStandard() : outputChannels;
1114
+ unificator = unificator === VOID ? Companion_getInstance().x1i() : unificator;
1115
+ libraries = libraries === VOID ? Companion_instance.empty() : libraries;
1116
+ flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
1117
+ staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
1118
+ dynamicKb = dynamicKb === VOID ? Companion_instance_1.empty(unificator) : dynamicKb;
1119
+ inputChannels = inputChannels === VOID ? Companion_instance_4.fromStandard() : inputChannels;
1120
+ outputChannels = outputChannels === VOID ? Companion_instance_5.fromStandard() : outputChannels;
1159
1121
  trustKb = trustKb === VOID ? false : trustKb;
1160
1122
  ClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, $this);
1161
1123
  MutableClassicSolver.call($this);
@@ -1165,15 +1127,15 @@
1165
1127
  return MutableClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, objectCreate(protoOf(MutableClassicSolver)));
1166
1128
  }
1167
1129
  function MutableClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
1168
- unificator = unificator === VOID ? Companion_getInstance().c1i() : unificator;
1169
- libraries = libraries === VOID ? Companion_getInstance_0().empty() : libraries;
1170
- flags = flags === VOID ? Companion_getInstance_1().empty() : flags;
1171
- staticKb = staticKb === VOID ? Companion_getInstance_2().empty(unificator) : staticKb;
1172
- dynamicKb = dynamicKb === VOID ? Companion_getInstance_3().empty(unificator) : dynamicKb;
1173
- stdIn = stdIn === VOID ? Companion_getInstance_4().stdIn() : stdIn;
1174
- stdOut = stdOut === VOID ? Companion_getInstance_5().stdOut() : stdOut;
1175
- stdErr = stdErr === VOID ? Companion_getInstance_5().stdErr() : stdErr;
1176
- warnings = warnings === VOID ? Companion_getInstance_5().warning() : warnings;
1130
+ unificator = unificator === VOID ? Companion_getInstance().x1i() : unificator;
1131
+ libraries = libraries === VOID ? Companion_instance.empty() : libraries;
1132
+ flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
1133
+ staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
1134
+ dynamicKb = dynamicKb === VOID ? Companion_instance_1.empty(unificator) : dynamicKb;
1135
+ stdIn = stdIn === VOID ? Companion_instance_2.stdIn() : stdIn;
1136
+ stdOut = stdOut === VOID ? Companion_instance_3.stdOut() : stdOut;
1137
+ stdErr = stdErr === VOID ? Companion_instance_3.stdErr() : stdErr;
1138
+ warnings = warnings === VOID ? Companion_instance_3.warning() : warnings;
1177
1139
  trustKb = trustKb === VOID ? false : trustKb;
1178
1140
  ClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this);
1179
1141
  MutableClassicSolver.call($this);
@@ -1184,275 +1146,271 @@
1184
1146
  }
1185
1147
  function MutableClassicSolver$loadLibrary$lambda($library) {
1186
1148
  return function ($this$updateContext) {
1187
- var newRuntime = $this$updateContext.e2v_1.plusLibrary($library);
1188
- return $this$updateContext.t2w(VOID, VOID, newRuntime, VOID, VOID, VOID, $this$updateContext.i2v_1.plusOperatorSet(toOperatorSet(getAllOperators(newRuntime, []))));
1149
+ var newRuntime = $this$updateContext.y2w_1.plusLibrary($library);
1150
+ return $this$updateContext.n2y(VOID, VOID, newRuntime, VOID, VOID, VOID, $this$updateContext.c2x_1.plusOperatorSet(toOperatorSet(getAllOperators(newRuntime, []))));
1189
1151
  };
1190
1152
  }
1191
1153
  function MutableClassicSolver$unloadLibrary$lambda($library) {
1192
1154
  return function ($this$updateContext) {
1193
- var newRuntime = $this$updateContext.e2v_1.plusLibrary($library);
1194
- return $this$updateContext.t2w(VOID, VOID, newRuntime, VOID, VOID, VOID, toOperatorSet(getAllOperators(newRuntime, [$this$updateContext.g2v_1, $this$updateContext.h2v_1])));
1155
+ var newRuntime = $this$updateContext.y2w_1.plusLibrary($library);
1156
+ return $this$updateContext.n2y(VOID, VOID, newRuntime, VOID, VOID, VOID, toOperatorSet(getAllOperators(newRuntime, [$this$updateContext.a2x_1, $this$updateContext.b2x_1])));
1195
1157
  };
1196
1158
  }
1197
1159
  function MutableClassicSolver$setRuntime$lambda($libraries) {
1198
1160
  return function ($this$updateContext) {
1199
- return $this$updateContext.t2w(VOID, VOID, $libraries, VOID, VOID, VOID, toOperatorSet(getAllOperators($libraries, [$this$updateContext.g2v_1, $this$updateContext.h2v_1])));
1161
+ return $this$updateContext.n2y(VOID, VOID, $libraries, VOID, VOID, VOID, toOperatorSet(getAllOperators($libraries, [$this$updateContext.a2x_1, $this$updateContext.b2x_1])));
1200
1162
  };
1201
1163
  }
1202
1164
  function MutableClassicSolver$resetStaticKb$lambda($this$updateContext) {
1203
- return $this$updateContext.t2w(VOID, VOID, VOID, VOID, Companion_getInstance_2().empty($this$updateContext.d2v_1), VOID, toOperatorSet(getAllOperators($this$updateContext.e2v_1, [$this$updateContext.h2v_1])));
1165
+ return $this$updateContext.n2y(VOID, VOID, VOID, VOID, Companion_instance_0.empty($this$updateContext.x2w_1), VOID, toOperatorSet(getAllOperators($this$updateContext.y2w_1, [$this$updateContext.b2x_1])));
1204
1166
  }
1205
1167
  function MutableClassicSolver$resetDynamicKb$lambda($this$updateContext) {
1206
- return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, Companion_getInstance_3().empty($this$updateContext.d2v_1), toOperatorSet(getAllOperators($this$updateContext.e2v_1, [$this$updateContext.g2v_1])));
1168
+ return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, Companion_instance_1.empty($this$updateContext.x2w_1), toOperatorSet(getAllOperators($this$updateContext.y2w_1, [$this$updateContext.a2x_1])));
1207
1169
  }
1208
1170
  function MutableClassicSolver$assertA$lambda($clause) {
1209
1171
  return function ($this$updateContext) {
1210
- return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, $this$updateContext.h2v_1.k1p($clause), $this$updateContext.i2v_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1172
+ return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, $this$updateContext.b2x_1.f1q($clause), $this$updateContext.c2x_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1211
1173
  };
1212
1174
  }
1213
1175
  function MutableClassicSolver$assertA$lambda_0($fact) {
1214
1176
  return function ($this$updateContext) {
1215
- return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, $this$updateContext.h2v_1.x1p($fact));
1177
+ return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, $this$updateContext.b2x_1.e1r($fact));
1216
1178
  };
1217
1179
  }
1218
1180
  function MutableClassicSolver$assertZ$lambda($clause) {
1219
1181
  return function ($this$updateContext) {
1220
- return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, $this$updateContext.h2v_1.o1p($clause), $this$updateContext.i2v_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1182
+ return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, $this$updateContext.b2x_1.j1q($clause), $this$updateContext.c2x_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1221
1183
  };
1222
1184
  }
1223
1185
  function MutableClassicSolver$assertZ$lambda_0($fact) {
1224
1186
  return function ($this$updateContext) {
1225
- return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, $this$updateContext.h2v_1.y1p($fact));
1187
+ return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, $this$updateContext.b2x_1.f1r($fact));
1226
1188
  };
1227
1189
  }
1228
1190
  function MutableClassicSolver$retract$lambda($result, $clause) {
1229
1191
  return function ($this$updateContext) {
1230
- return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, $result.c1p().toMutableTheory(), $this$updateContext.i2v_1.minusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1192
+ return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, $result.x1p().toMutableTheory(), $this$updateContext.c2x_1.minusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
1231
1193
  };
1232
1194
  }
1233
1195
  function MutableClassicSolver$retract$lambda_0($result) {
1234
1196
  return function ($this$updateContext) {
1235
- return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, $result.c1p().toMutableTheory());
1197
+ return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, $result.x1p().toMutableTheory());
1236
1198
  };
1237
1199
  }
1238
1200
  function MutableClassicSolver$retractAll$lambda($result) {
1239
1201
  return function ($this$updateContext) {
1240
- return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, $result.c1p().toMutableTheory(), $this$updateContext.i2v_1.minusOperatorSet(toOperatorSet(getAllOperators_0($result.c1p()))));
1202
+ return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, $result.x1p().toMutableTheory(), $this$updateContext.c2x_1.minusOperatorSet(toOperatorSet(getAllOperators_0($result.x1p()))));
1241
1203
  };
1242
1204
  }
1243
1205
  function MutableClassicSolver$retractAll$lambda_0($result) {
1244
1206
  return function ($this$updateContext) {
1245
- return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, $result.c1p().toMutableTheory());
1207
+ return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, $result.x1p().toMutableTheory());
1246
1208
  };
1247
1209
  }
1248
1210
  function MutableClassicSolver$setFlag$lambda($name, $value) {
1249
1211
  return function ($this$updateContext) {
1250
- return $this$updateContext.t2w(VOID, VOID, VOID, $this$updateContext.f2v_1.set($name, $value));
1212
+ return $this$updateContext.n2y(VOID, VOID, VOID, $this$updateContext.z2w_1.set($name, $value));
1251
1213
  };
1252
1214
  }
1253
1215
  function MutableClassicSolver$setFlag$lambda_0($flag) {
1254
1216
  return function ($this$updateContext) {
1255
- return $this$updateContext.t2w(VOID, VOID, VOID, $this$updateContext.f2v_1.plusPair($flag));
1217
+ return $this$updateContext.n2y(VOID, VOID, VOID, $this$updateContext.z2w_1.plusPair($flag));
1256
1218
  };
1257
1219
  }
1258
1220
  function MutableClassicSolver$setFlag$lambda_1($flag) {
1259
1221
  return function ($this$updateContext) {
1260
- return $this$updateContext.t2w(VOID, VOID, VOID, $this$updateContext.f2v_1.plusNotable($flag));
1222
+ return $this$updateContext.n2y(VOID, VOID, VOID, $this$updateContext.z2w_1.plusNotable($flag));
1261
1223
  };
1262
1224
  }
1263
1225
  function MutableClassicSolver$setStandardInput$lambda($stdIn) {
1264
1226
  return function ($this$updateContext) {
1265
- Companion_getInstance_6();
1266
- return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.j2v_1.plus(to('stdin', $stdIn)));
1227
+ return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.d2x_1.plus(to('stdin', $stdIn)));
1267
1228
  };
1268
1229
  }
1269
1230
  function MutableClassicSolver$setStandardError$lambda($stdErr) {
1270
1231
  return function ($this$updateContext) {
1271
- Companion_getInstance_7();
1272
- return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.k2v_1.plus(to('stderr', $stdErr)));
1232
+ return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.e2x_1.plus(to('stderr', $stdErr)));
1273
1233
  };
1274
1234
  }
1275
1235
  function MutableClassicSolver$setStandardOutput$lambda($stdOut) {
1276
1236
  return function ($this$updateContext) {
1277
- Companion_getInstance_7();
1278
- return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.k2v_1.plus(to('stdout', $stdOut)));
1237
+ return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.e2x_1.plus(to('stdout', $stdOut)));
1279
1238
  };
1280
1239
  }
1281
1240
  function MutableClassicSolver$setWarnings$lambda($warnings) {
1282
1241
  return function ($this$updateContext) {
1283
- return $this$updateContext.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_getInstance_7().w1v($this$updateContext.k2v_1, $warnings));
1242
+ return $this$updateContext.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_5.g1x($this$updateContext.e2x_1, $warnings));
1284
1243
  };
1285
1244
  }
1286
- protoOf(MutableClassicSolver).z2y = function (library) {
1287
- this.q27(MutableClassicSolver$loadLibrary$lambda(library));
1245
+ protoOf(MutableClassicSolver).t30 = function (library) {
1246
+ this.a29(MutableClassicSolver$loadLibrary$lambda(library));
1288
1247
  };
1289
1248
  protoOf(MutableClassicSolver).loadLibrary = function (library) {
1290
- return this.z2y(library);
1249
+ return this.t30(library);
1291
1250
  };
1292
- protoOf(MutableClassicSolver).a2z = function (library) {
1293
- this.q27(MutableClassicSolver$unloadLibrary$lambda(library));
1251
+ protoOf(MutableClassicSolver).u30 = function (library) {
1252
+ this.a29(MutableClassicSolver$unloadLibrary$lambda(library));
1294
1253
  };
1295
1254
  protoOf(MutableClassicSolver).unloadLibrary = function (library) {
1296
- return this.a2z(library);
1255
+ return this.u30(library);
1297
1256
  };
1298
- protoOf(MutableClassicSolver).b2z = function (libraries) {
1299
- this.q27(MutableClassicSolver$setRuntime$lambda(libraries));
1257
+ protoOf(MutableClassicSolver).v30 = function (libraries) {
1258
+ this.a29(MutableClassicSolver$setRuntime$lambda(libraries));
1300
1259
  };
1301
1260
  protoOf(MutableClassicSolver).setLibraries = function (libraries) {
1302
- return this.b2z(libraries);
1261
+ return this.v30(libraries);
1303
1262
  };
1304
- protoOf(MutableClassicSolver).c2z = function (theory) {
1305
- this.u27(theory, VOID, false);
1263
+ protoOf(MutableClassicSolver).w30 = function (theory) {
1264
+ this.e29(theory, VOID, false);
1306
1265
  };
1307
1266
  protoOf(MutableClassicSolver).loadStaticKb = function (theory) {
1308
- return this.c2z(theory);
1267
+ return this.w30(theory);
1309
1268
  };
1310
- protoOf(MutableClassicSolver).d2z = function (theory) {
1311
- this.u27(theory);
1269
+ protoOf(MutableClassicSolver).x30 = function (theory) {
1270
+ this.e29(theory);
1312
1271
  };
1313
1272
  protoOf(MutableClassicSolver).appendStaticKb = function (theory) {
1314
- return this.d2z(theory);
1273
+ return this.x30(theory);
1315
1274
  };
1316
- protoOf(MutableClassicSolver).e2z = function () {
1317
- this.q27(MutableClassicSolver$resetStaticKb$lambda);
1275
+ protoOf(MutableClassicSolver).y30 = function () {
1276
+ this.a29(MutableClassicSolver$resetStaticKb$lambda);
1318
1277
  };
1319
1278
  protoOf(MutableClassicSolver).resetStaticKb = function () {
1320
- return this.e2z();
1279
+ return this.y30();
1321
1280
  };
1322
- protoOf(MutableClassicSolver).f2z = function (theory) {
1323
- this.u27(VOID, theory, VOID, false);
1281
+ protoOf(MutableClassicSolver).z30 = function (theory) {
1282
+ this.e29(VOID, theory, VOID, false);
1324
1283
  };
1325
1284
  protoOf(MutableClassicSolver).loadDynamicKb = function (theory) {
1326
- return this.f2z(theory);
1285
+ return this.z30(theory);
1327
1286
  };
1328
- protoOf(MutableClassicSolver).g2z = function (theory) {
1329
- this.u27(VOID, theory);
1287
+ protoOf(MutableClassicSolver).a31 = function (theory) {
1288
+ this.e29(VOID, theory);
1330
1289
  };
1331
1290
  protoOf(MutableClassicSolver).appendDynamicKb = function (theory) {
1332
- return this.g2z(theory);
1291
+ return this.a31(theory);
1333
1292
  };
1334
- protoOf(MutableClassicSolver).h2z = function () {
1335
- this.q27(MutableClassicSolver$resetDynamicKb$lambda);
1293
+ protoOf(MutableClassicSolver).b31 = function () {
1294
+ this.a29(MutableClassicSolver$resetDynamicKb$lambda);
1336
1295
  };
1337
1296
  protoOf(MutableClassicSolver).resetDynamicKb = function () {
1338
- return this.h2z();
1297
+ return this.b31();
1339
1298
  };
1340
- protoOf(MutableClassicSolver).r1j = function (clause) {
1341
- this.q27(MutableClassicSolver$assertA$lambda(clause));
1299
+ protoOf(MutableClassicSolver).m1k = function (clause) {
1300
+ this.a29(MutableClassicSolver$assertA$lambda(clause));
1342
1301
  };
1343
1302
  protoOf(MutableClassicSolver).assertA = function (clause) {
1344
- return this.r1j(clause);
1303
+ return this.m1k(clause);
1345
1304
  };
1346
- protoOf(MutableClassicSolver).i2z = function (fact) {
1347
- this.q27(MutableClassicSolver$assertA$lambda_0(fact));
1305
+ protoOf(MutableClassicSolver).c31 = function (fact) {
1306
+ this.a29(MutableClassicSolver$assertA$lambda_0(fact));
1348
1307
  };
1349
1308
  protoOf(MutableClassicSolver).assertAFact = function (fact) {
1350
- return this.i2z(fact);
1309
+ return this.c31(fact);
1351
1310
  };
1352
- protoOf(MutableClassicSolver).r1i = function (clause) {
1353
- this.q27(MutableClassicSolver$assertZ$lambda(clause));
1311
+ protoOf(MutableClassicSolver).n1j = function (clause) {
1312
+ this.a29(MutableClassicSolver$assertZ$lambda(clause));
1354
1313
  };
1355
1314
  protoOf(MutableClassicSolver).assertZ = function (clause) {
1356
- return this.r1i(clause);
1315
+ return this.n1j(clause);
1357
1316
  };
1358
- protoOf(MutableClassicSolver).j2z = function (fact) {
1359
- this.q27(MutableClassicSolver$assertZ$lambda_0(fact));
1317
+ protoOf(MutableClassicSolver).d31 = function (fact) {
1318
+ this.a29(MutableClassicSolver$assertZ$lambda_0(fact));
1360
1319
  };
1361
1320
  protoOf(MutableClassicSolver).assertZFact = function (fact) {
1362
- return this.j2z(fact);
1321
+ return this.d31(fact);
1363
1322
  };
1364
- protoOf(MutableClassicSolver).z1p = function (clause) {
1365
- var result = this.t1r().retract(clause);
1366
- this.q27(MutableClassicSolver$retract$lambda(result, clause));
1323
+ protoOf(MutableClassicSolver).g1r = function (clause) {
1324
+ var result = this.a1t().retract(clause);
1325
+ this.a29(MutableClassicSolver$retract$lambda(result, clause));
1367
1326
  return result;
1368
1327
  };
1369
1328
  protoOf(MutableClassicSolver).retract = function (clause) {
1370
- return this.z1p(clause);
1329
+ return this.g1r(clause);
1371
1330
  };
1372
- protoOf(MutableClassicSolver).a1q = function (fact) {
1373
- var result = this.t1r().retractByHead(fact);
1374
- this.q27(MutableClassicSolver$retract$lambda_0(result));
1331
+ protoOf(MutableClassicSolver).h1r = function (fact) {
1332
+ var result = this.a1t().retractByHead(fact);
1333
+ this.a29(MutableClassicSolver$retract$lambda_0(result));
1375
1334
  return result;
1376
1335
  };
1377
1336
  protoOf(MutableClassicSolver).retractByHead = function (fact) {
1378
- return this.a1q(fact);
1337
+ return this.h1r(fact);
1379
1338
  };
1380
- protoOf(MutableClassicSolver).x1i = function (clause) {
1381
- var result = this.t1r().retractAll(clause);
1382
- this.q27(MutableClassicSolver$retractAll$lambda(result));
1339
+ protoOf(MutableClassicSolver).s1j = function (clause) {
1340
+ var result = this.a1t().retractAll(clause);
1341
+ this.a29(MutableClassicSolver$retractAll$lambda(result));
1383
1342
  return result;
1384
1343
  };
1385
1344
  protoOf(MutableClassicSolver).retractAll = function (clause) {
1386
- return this.x1i(clause);
1345
+ return this.s1j(clause);
1387
1346
  };
1388
- protoOf(MutableClassicSolver).k2z = function (fact) {
1389
- var result = this.t1r().retractAllByHead(fact);
1390
- this.q27(MutableClassicSolver$retractAll$lambda_0(result));
1347
+ protoOf(MutableClassicSolver).e31 = function (fact) {
1348
+ var result = this.a1t().retractAllByHead(fact);
1349
+ this.a29(MutableClassicSolver$retractAll$lambda_0(result));
1391
1350
  return result;
1392
1351
  };
1393
1352
  protoOf(MutableClassicSolver).retractAllBeHead = function (fact) {
1394
- return this.k2z(fact);
1353
+ return this.e31(fact);
1395
1354
  };
1396
- protoOf(MutableClassicSolver).l2z = function (name, value) {
1397
- this.q27(MutableClassicSolver$setFlag$lambda(name, value));
1355
+ protoOf(MutableClassicSolver).f31 = function (name, value) {
1356
+ this.a29(MutableClassicSolver$setFlag$lambda(name, value));
1398
1357
  };
1399
1358
  protoOf(MutableClassicSolver).setFlag = function (name, value) {
1400
- return this.l2z(name, value);
1359
+ return this.f31(name, value);
1401
1360
  };
1402
- protoOf(MutableClassicSolver).m2z = function (flag) {
1403
- this.q27(MutableClassicSolver$setFlag$lambda_0(flag));
1361
+ protoOf(MutableClassicSolver).g31 = function (flag) {
1362
+ this.a29(MutableClassicSolver$setFlag$lambda_0(flag));
1404
1363
  };
1405
1364
  protoOf(MutableClassicSolver).setFlagPair = function (flag) {
1406
- return this.m2z(flag);
1365
+ return this.g31(flag);
1407
1366
  };
1408
- protoOf(MutableClassicSolver).n2z = function (flag) {
1409
- this.q27(MutableClassicSolver$setFlag$lambda_1(flag));
1367
+ protoOf(MutableClassicSolver).h31 = function (flag) {
1368
+ this.a29(MutableClassicSolver$setFlag$lambda_1(flag));
1410
1369
  };
1411
1370
  protoOf(MutableClassicSolver).setFlagNotable = function (flag) {
1412
- return this.n2z(flag);
1371
+ return this.h31(flag);
1413
1372
  };
1414
- protoOf(MutableClassicSolver).o2z = function (stdIn) {
1415
- this.q27(MutableClassicSolver$setStandardInput$lambda(stdIn));
1373
+ protoOf(MutableClassicSolver).i31 = function (stdIn) {
1374
+ this.a29(MutableClassicSolver$setStandardInput$lambda(stdIn));
1416
1375
  };
1417
1376
  protoOf(MutableClassicSolver).setStandardInput = function (stdIn) {
1418
- return this.o2z(stdIn);
1377
+ return this.i31(stdIn);
1419
1378
  };
1420
- protoOf(MutableClassicSolver).p2z = function (stdErr) {
1421
- this.q27(MutableClassicSolver$setStandardError$lambda(stdErr));
1379
+ protoOf(MutableClassicSolver).j31 = function (stdErr) {
1380
+ this.a29(MutableClassicSolver$setStandardError$lambda(stdErr));
1422
1381
  };
1423
1382
  protoOf(MutableClassicSolver).setStandardError = function (stdErr) {
1424
- return this.p2z(stdErr);
1383
+ return this.j31(stdErr);
1425
1384
  };
1426
- protoOf(MutableClassicSolver).q2z = function (stdOut) {
1427
- this.q27(MutableClassicSolver$setStandardOutput$lambda(stdOut));
1385
+ protoOf(MutableClassicSolver).k31 = function (stdOut) {
1386
+ this.a29(MutableClassicSolver$setStandardOutput$lambda(stdOut));
1428
1387
  };
1429
1388
  protoOf(MutableClassicSolver).setStandardOutput = function (stdOut) {
1430
- return this.q2z(stdOut);
1389
+ return this.k31(stdOut);
1431
1390
  };
1432
- protoOf(MutableClassicSolver).r2z = function (warnings) {
1433
- this.q27(MutableClassicSolver$setWarnings$lambda(warnings));
1391
+ protoOf(MutableClassicSolver).l31 = function (warnings) {
1392
+ this.a29(MutableClassicSolver$setWarnings$lambda(warnings));
1434
1393
  };
1435
1394
  protoOf(MutableClassicSolver).setWarnings = function (warnings) {
1436
- return this.r2z(warnings);
1395
+ return this.l31(warnings);
1437
1396
  };
1438
- protoOf(MutableClassicSolver).h1u = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1397
+ protoOf(MutableClassicSolver).q1v = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
1439
1398
  return MutableClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
1440
1399
  };
1441
- protoOf(MutableClassicSolver).u1p = function () {
1400
+ protoOf(MutableClassicSolver).p1q = function () {
1442
1401
  return this.copy();
1443
1402
  };
1444
1403
  protoOf(MutableClassicSolver).clone = function () {
1445
- return this.u1p();
1404
+ return this.p1q();
1446
1405
  };
1447
1406
  function MutableClassicSolver() {
1448
1407
  }
1449
1408
  function SolutionIterator$Companion$of$lambda(_anonymous_parameter_0__qggqh8, _anonymous_parameter_1__qggqgd, _anonymous_parameter_2__qggqfi) {
1450
- return Unit_getInstance();
1409
+ return Unit_instance;
1451
1410
  }
1452
1411
  function Companion() {
1453
- Companion_instance = this;
1454
1412
  }
1455
- protoOf(Companion).x2y = function (initialState, onStateTransition) {
1413
+ protoOf(Companion).r30 = function (initialState, onStateTransition) {
1456
1414
  return new SimpleSolutionIterator(initialState, onStateTransition);
1457
1415
  };
1458
1416
  protoOf(Companion).of = function (initialState, onStateTransition, $super) {
@@ -1463,96 +1421,84 @@
1463
1421
  tmp = onStateTransition;
1464
1422
  }
1465
1423
  onStateTransition = tmp;
1466
- return $super === VOID ? this.x2y(initialState, onStateTransition) : $super.x2y.call(this, initialState, onStateTransition);
1424
+ return $super === VOID ? this.r30(initialState, onStateTransition) : $super.r30.call(this, initialState, onStateTransition);
1467
1425
  };
1468
- var Companion_instance;
1469
- function Companion_getInstance_22() {
1470
- if (Companion_instance == null)
1471
- new Companion();
1472
- return Companion_instance;
1426
+ var Companion_instance_15;
1427
+ function Companion_getInstance_6() {
1428
+ return Companion_instance_15;
1473
1429
  }
1474
1430
  function AbstractEndState(solution, context) {
1475
1431
  AbstractState.call(this, context);
1476
- this.u2z_1 = solution;
1477
- this.v2z_1 = context;
1432
+ this.o31_1 = solution;
1433
+ this.p31_1 = context;
1478
1434
  }
1479
- protoOf(AbstractEndState).g2e = function () {
1480
- return this.u2z_1;
1435
+ protoOf(AbstractEndState).z2f = function () {
1436
+ return this.o31_1;
1481
1437
  };
1482
- protoOf(AbstractEndState).j5 = function () {
1483
- return this.v2z_1;
1438
+ protoOf(AbstractEndState).jb = function () {
1439
+ return this.p31_1;
1484
1440
  };
1485
- protoOf(AbstractEndState).w2z = function () {
1441
+ protoOf(AbstractEndState).q31 = function () {
1486
1442
  throw NoSuchElementException_init_$Create$();
1487
1443
  };
1488
1444
  protoOf(AbstractEndState).asEndState = function () {
1489
- return this.y2z();
1445
+ return this.s31();
1490
1446
  };
1491
1447
  function AbstractState$executionTime$delegate$lambda(this$0) {
1492
1448
  return function () {
1493
- return this$0.e30();
1449
+ return this$0.y31();
1494
1450
  };
1495
1451
  }
1496
1452
  function AbstractState(context) {
1497
- this.z2z_1 = context;
1453
+ this.t31_1 = context;
1498
1454
  var tmp = this;
1499
- tmp.a30_1 = lazy(AbstractState$executionTime$delegate$lambda(this));
1455
+ tmp.u31_1 = lazy(AbstractState$executionTime$delegate$lambda(this));
1500
1456
  }
1501
- protoOf(AbstractState).j5 = function () {
1502
- return this.z2z_1;
1457
+ protoOf(AbstractState).jb = function () {
1458
+ return this.t31_1;
1503
1459
  };
1504
- protoOf(AbstractState).c30 = function () {
1505
- var tmp$ret$0;
1460
+ protoOf(AbstractState).w31 = function () {
1506
1461
  // Inline function 'kotlin.getValue' call
1507
- var tmp0_getValue = executionTime$factory();
1508
- tmp$ret$0 = this.a30_1.p2();
1509
- return tmp$ret$0;
1462
+ var this_0 = this.u31_1;
1463
+ executionTime$factory();
1464
+ return this_0.q2();
1510
1465
  };
1511
- protoOf(AbstractState).d30 = function () {
1512
- return this.c30().tf(this.j5().r2v_1).f1(this.j5().s2v_1) > 0;
1466
+ protoOf(AbstractState).x31 = function () {
1467
+ return this.w31().ja(this.jb().l2x_1).l6(this.jb().m2x_1) > 0;
1513
1468
  };
1514
- protoOf(AbstractState).n = function () {
1469
+ protoOf(AbstractState).r = function () {
1515
1470
  var tmp;
1516
- if (this.d30()) {
1517
- var tmp0_exceededDuration = this.j5().s2v_1;
1518
- var tmp1_context = this.j5();
1519
- tmp = new StateHalt(TimeOutException_init_$Create$(VOID, VOID, tmp1_context, tmp0_exceededDuration), this.j5().t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.f30()));
1471
+ if (this.x31()) {
1472
+ var tmp0_exceededDuration = this.jb().m2x_1;
1473
+ var tmp1_context = this.jb();
1474
+ tmp = new StateHalt(TimeOutException_init_$Create$(VOID, VOID, tmp1_context, tmp0_exceededDuration), this.jb().n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z31()));
1520
1475
  } else {
1521
- tmp = this.w2z();
1476
+ tmp = this.q31();
1522
1477
  }
1523
1478
  return tmp;
1524
1479
  };
1525
1480
  protoOf(AbstractState).next = function () {
1526
- return this.n();
1481
+ return this.r();
1527
1482
  };
1528
- protoOf(AbstractState).e30 = function () {
1483
+ protoOf(AbstractState).y31 = function () {
1529
1484
  return currentTimeInstant();
1530
1485
  };
1531
- protoOf(AbstractState).f30 = function () {
1532
- var tmp$ret$0;
1486
+ protoOf(AbstractState).z31 = function () {
1533
1487
  // Inline function 'kotlin.Long.plus' call
1534
- var tmp0_plus = this.j5().w2v_1;
1535
- tmp$ret$0 = tmp0_plus.sf(new Long(1, 0));
1536
- return tmp$ret$0;
1488
+ return this.jb().q2x_1.ia(toLong(1));
1537
1489
  };
1538
- protoOf(AbstractState).g30 = function (_this__u8e3s4) {
1490
+ protoOf(AbstractState).a32 = function (_this__u8e3s4) {
1539
1491
  var tmp$ret$2;
1540
1492
  $l$block: {
1541
1493
  // Inline function 'kotlin.sequences.first' call
1542
- var tmp0_first = _this__u8e3s4.y2v_1;
1543
- var tmp0_iterator = tmp0_first.j();
1544
- while (tmp0_iterator.m()) {
1545
- var element = tmp0_iterator.n();
1546
- var tmp$ret$1;
1494
+ var tmp0_iterator = _this__u8e3s4.s2x_1.o();
1495
+ while (tmp0_iterator.p()) {
1496
+ var element = tmp0_iterator.r();
1547
1497
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.AbstractState.skipThrow.<anonymous>' call
1548
- var tmp0_safe_receiver = element.c2v_1;
1549
- var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.rt();
1550
- var tmp$ret$0;
1498
+ var tmp0_safe_receiver = element.w2w_1;
1499
+ var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.ku();
1551
1500
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
1552
- var tmp0__get_functor__thl4dk = Throw_getInstance();
1553
- tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
1554
- tmp$ret$1 = !(tmp === tmp$ret$0);
1555
- if (tmp$ret$1) {
1501
+ if (!(tmp === Throw_getInstance().signature.name)) {
1556
1502
  tmp$ret$2 = element;
1557
1503
  break $l$block;
1558
1504
  }
@@ -1563,7 +1509,7 @@
1563
1509
  };
1564
1510
  function executionTime$factory() {
1565
1511
  return getPropertyCallableRef('executionTime', 1, KProperty1, function (receiver) {
1566
- return receiver.c30();
1512
+ return receiver.w31();
1567
1513
  }, null);
1568
1514
  }
1569
1515
  function EndState() {
@@ -1572,35 +1518,28 @@
1572
1518
  }
1573
1519
  function StateBacktracking(context) {
1574
1520
  AbstractState.call(this, context);
1575
- this.j30_1 = context;
1521
+ this.d32_1 = context;
1576
1522
  }
1577
- protoOf(StateBacktracking).j5 = function () {
1578
- return this.j30_1;
1523
+ protoOf(StateBacktracking).jb = function () {
1524
+ return this.d32_1;
1579
1525
  };
1580
- protoOf(StateBacktracking).w2z = function () {
1581
- var choicePoints = this.j30_1.t2v_1;
1526
+ protoOf(StateBacktracking).q31 = function () {
1527
+ var choicePoints = this.d32_1.n2x_1;
1582
1528
  var tmp;
1583
- var tmp$ret$1;
1584
1529
  // Inline function 'kotlin.let' call
1585
1530
  // Inline function 'kotlin.contracts.contract' call
1586
- var tmp$ret$0;
1587
1531
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateBacktracking.computeNext.<anonymous>' call
1588
- tmp$ret$0 = choicePoints === null ? true : !choicePoints.a2x();
1589
- tmp$ret$1 = tmp$ret$0;
1590
- if (tmp$ret$1) {
1591
- tmp = new StateEnd(Companion_getInstance_14().no(this.j30_1.n2v_1), this.j30_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.f30()));
1532
+ if (choicePoints === null ? true : !choicePoints.u2y()) {
1533
+ tmp = new StateEnd(Companion_instance_8.no(this.d32_1.h2x_1), this.d32_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z31()));
1592
1534
  } else {
1593
1535
  var tmp$ret$3;
1594
1536
  $l$block: {
1595
1537
  // Inline function 'kotlin.sequences.first' call
1596
- var tmp0_first = ensureNotNull(choicePoints).b2x();
1597
- var tmp0_iterator = tmp0_first.j();
1598
- while (tmp0_iterator.m()) {
1599
- var element = tmp0_iterator.n();
1600
- var tmp$ret$2;
1538
+ var tmp0_iterator = ensureNotNull(choicePoints).v2y().o();
1539
+ while (tmp0_iterator.p()) {
1540
+ var element = tmp0_iterator.r();
1601
1541
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateBacktracking.computeNext.<anonymous>' call
1602
- tmp$ret$2 = element.n2w().yo();
1603
- if (tmp$ret$2) {
1542
+ if (element.h2y().rp()) {
1604
1543
  tmp$ret$3 = element;
1605
1544
  break $l$block;
1606
1545
  }
@@ -1608,9 +1547,9 @@
1608
1547
  throw NoSuchElementException_init_$Create$_0('Sequence contains no element matching the predicate.');
1609
1548
  }
1610
1549
  var choicePointContext = tmp$ret$3;
1611
- var nextContext = choicePointContext.s2w(this.j30_1);
1550
+ var nextContext = choicePointContext.m2y(this.d32_1);
1612
1551
  var tmp_0;
1613
- if (nextContext.q2v_1.yo()) {
1552
+ if (nextContext.k2x_1.rp()) {
1614
1553
  tmp_0 = new StatePrimitiveExecution(nextContext);
1615
1554
  } else {
1616
1555
  tmp_0 = new StateRuleExecution(nextContext);
@@ -1619,17 +1558,17 @@
1619
1558
  }
1620
1559
  return tmp;
1621
1560
  };
1622
- protoOf(StateBacktracking).b30 = function (context) {
1623
- return this.k30(context);
1561
+ protoOf(StateBacktracking).v31 = function (context) {
1562
+ return this.e32(context);
1624
1563
  };
1625
- protoOf(StateBacktracking).k30 = function (context) {
1564
+ protoOf(StateBacktracking).e32 = function (context) {
1626
1565
  return new StateBacktracking(context);
1627
1566
  };
1628
1567
  protoOf(StateBacktracking).toString = function () {
1629
- return 'StateBacktracking(context=' + this.j30_1 + ')';
1568
+ return 'StateBacktracking(context=' + this.d32_1 + ')';
1630
1569
  };
1631
1570
  protoOf(StateBacktracking).hashCode = function () {
1632
- return this.j30_1.hashCode();
1571
+ return this.d32_1.hashCode();
1633
1572
  };
1634
1573
  protoOf(StateBacktracking).equals = function (other) {
1635
1574
  if (this === other)
@@ -1637,48 +1576,48 @@
1637
1576
  if (!(other instanceof StateBacktracking))
1638
1577
  return false;
1639
1578
  var tmp0_other_with_cast = other instanceof StateBacktracking ? other : THROW_CCE();
1640
- if (!this.j30_1.equals(tmp0_other_with_cast.j30_1))
1579
+ if (!this.d32_1.equals(tmp0_other_with_cast.d32_1))
1641
1580
  return false;
1642
1581
  return true;
1643
1582
  };
1644
1583
  function StateEnd(solution, context) {
1645
1584
  AbstractEndState.call(this, solution, context);
1646
- this.p30_1 = solution;
1647
- this.q30_1 = context;
1585
+ this.j32_1 = solution;
1586
+ this.k32_1 = context;
1648
1587
  }
1649
- protoOf(StateEnd).g2e = function () {
1650
- return this.p30_1;
1588
+ protoOf(StateEnd).z2f = function () {
1589
+ return this.j32_1;
1651
1590
  };
1652
- protoOf(StateEnd).j5 = function () {
1653
- return this.q30_1;
1591
+ protoOf(StateEnd).jb = function () {
1592
+ return this.k32_1;
1654
1593
  };
1655
- protoOf(StateEnd).d30 = function () {
1594
+ protoOf(StateEnd).x31 = function () {
1656
1595
  return false;
1657
1596
  };
1658
- protoOf(StateEnd).w2z = function () {
1597
+ protoOf(StateEnd).q31 = function () {
1659
1598
  var tmp;
1660
- if (this.q30_1.a2x()) {
1661
- var tmp0_$this = this.q30_1;
1662
- var tmp1_step = this.f30();
1663
- var tmp2_startTime = this.e30();
1664
- tmp = new StateBacktracking(tmp0_$this.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_startTime, VOID, VOID, VOID, VOID, tmp1_step));
1599
+ if (this.k32_1.u2y()) {
1600
+ var tmp0_$this = this.k32_1;
1601
+ var tmp1_step = this.z31();
1602
+ var tmp2_startTime = this.y31();
1603
+ tmp = new StateBacktracking(tmp0_$this.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_startTime, VOID, VOID, VOID, VOID, tmp1_step));
1665
1604
  } else {
1666
- tmp = protoOf(AbstractEndState).w2z.call(this);
1605
+ tmp = protoOf(AbstractEndState).q31.call(this);
1667
1606
  }
1668
1607
  return tmp;
1669
1608
  };
1670
- protoOf(StateEnd).b30 = function (context) {
1671
- return this.r30(this.p30_1, context);
1609
+ protoOf(StateEnd).v31 = function (context) {
1610
+ return this.l32(this.j32_1, context);
1672
1611
  };
1673
- protoOf(StateEnd).r30 = function (solution, context) {
1612
+ protoOf(StateEnd).l32 = function (solution, context) {
1674
1613
  return new StateEnd(solution, context);
1675
1614
  };
1676
1615
  protoOf(StateEnd).toString = function () {
1677
- return 'StateEnd(solution=' + this.p30_1 + ', context=' + this.q30_1 + ')';
1616
+ return 'StateEnd(solution=' + this.j32_1 + ', context=' + this.k32_1 + ')';
1678
1617
  };
1679
1618
  protoOf(StateEnd).hashCode = function () {
1680
- var result = hashCode(this.p30_1);
1681
- result = imul(result, 31) + this.q30_1.hashCode() | 0;
1619
+ var result = hashCode(this.j32_1);
1620
+ result = imul(result, 31) + this.k32_1.hashCode() | 0;
1682
1621
  return result;
1683
1622
  };
1684
1623
  protoOf(StateEnd).equals = function (other) {
@@ -1687,61 +1626,56 @@
1687
1626
  if (!(other instanceof StateEnd))
1688
1627
  return false;
1689
1628
  var tmp0_other_with_cast = other instanceof StateEnd ? other : THROW_CCE();
1690
- if (!equals(this.p30_1, tmp0_other_with_cast.p30_1))
1629
+ if (!equals(this.j32_1, tmp0_other_with_cast.j32_1))
1691
1630
  return false;
1692
- if (!this.q30_1.equals(tmp0_other_with_cast.q30_1))
1631
+ if (!this.k32_1.equals(tmp0_other_with_cast.k32_1))
1693
1632
  return false;
1694
1633
  return true;
1695
1634
  };
1696
1635
  protoOf(StateEnd).asEndState = function () {
1697
- return this.y2z();
1636
+ return this.s31();
1698
1637
  };
1699
1638
  function isCatch(_this__u8e3s4, $this) {
1700
1639
  var tmp;
1701
- if (_this__u8e3s4.lt() === 3) {
1702
- var tmp_0 = _this__u8e3s4.rt();
1703
- var tmp$ret$0;
1640
+ if (_this__u8e3s4.eu() === 3) {
1641
+ var tmp_0 = _this__u8e3s4.ku();
1704
1642
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
1705
- var tmp0__get_functor__thl4dk = Catch_getInstance();
1706
- tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
1707
- tmp = tmp_0 === tmp$ret$0;
1643
+ tmp = tmp_0 === Catch_getInstance().signature.name;
1708
1644
  } else {
1709
1645
  tmp = false;
1710
1646
  }
1711
1647
  return tmp;
1712
1648
  }
1713
1649
  function getExceptionContent(_this__u8e3s4, $this) {
1714
- var tmp0_subject = _this__u8e3s4;
1715
1650
  var tmp;
1716
- if (tmp0_subject instanceof MessageError) {
1717
- tmp = _this__u8e3s4.k23();
1651
+ if (_this__u8e3s4 instanceof MessageError) {
1652
+ tmp = _this__u8e3s4.t24();
1718
1653
  } else {
1719
- tmp = _this__u8e3s4.m21();
1654
+ tmp = _this__u8e3s4.v22();
1720
1655
  }
1721
1656
  return tmp;
1722
1657
  }
1723
1658
  function toPublicException(_this__u8e3s4, $this) {
1724
- var tmp0_subject = _this__u8e3s4;
1725
1659
  var tmp;
1726
- if (tmp0_subject instanceof MessageError) {
1727
- tmp = Companion_getInstance_15().forUncaughtError(_this__u8e3s4);
1660
+ if (_this__u8e3s4 instanceof MessageError) {
1661
+ tmp = Companion_instance_9.forUncaughtError(_this__u8e3s4);
1728
1662
  } else {
1729
1663
  tmp = _this__u8e3s4;
1730
1664
  }
1731
1665
  return tmp;
1732
1666
  }
1733
1667
  function _get_finalState__3aigq8($this) {
1734
- return new StateHalt(toPublicException($this.u30_1, $this), $this.v30_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.f30()));
1668
+ return new StateHalt(toPublicException($this.o32_1, $this), $this.p32_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z31()));
1735
1669
  }
1736
1670
  function _get_handleExceptionInParentContext__yj3v4e($this) {
1737
- return new StateException($this.u30_1, ensureNotNull($this.v30_1.u2v_1).t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.f30()));
1671
+ return new StateException($this.o32_1, ensureNotNull($this.p32_1.o2x_1).n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z31()));
1738
1672
  }
1739
1673
  function handleStruct($this, unificator, catchGoal, error) {
1740
1674
  var tmp;
1741
1675
  if (isCatch(catchGoal, $this)) {
1742
1676
  var catcher = unificator.mgu(catchGoal.get(1), getExceptionContent(error, $this));
1743
1677
  tmp = handleCatch($this, catchGoal, catcher);
1744
- } else if ($this.v30_1.p2y()) {
1678
+ } else if ($this.p32_1.j30()) {
1745
1679
  tmp = _get_finalState__3aigq8($this);
1746
1680
  } else {
1747
1681
  tmp = _get_handleExceptionInParentContext__yj3v4e($this);
@@ -1750,18 +1684,18 @@
1750
1684
  }
1751
1685
  function handleCatch($this, catchGoal, catcher) {
1752
1686
  var tmp;
1753
- if (catcher.az()) {
1754
- var tmp_0 = $this.v30_1.m2v_1.plus(catcher);
1687
+ if (catcher.o10()) {
1688
+ var tmp_0 = $this.p32_1.g2x_1.plus(catcher);
1755
1689
  var newSubstitution = tmp_0.filterEntry(StateException$handleCatch$lambda($this));
1756
1690
  var subGoals = catchGoal.get(2).getSubstituted(newSubstitution, []);
1757
- var newGoals = plus_0(toGoals(subGoals), $this.v30_1.o2v_1.wo());
1758
- var tmp0_$this = $this.v30_1;
1759
- var tmp1_rules = Companion_getInstance_12().empty();
1760
- var tmp2_primitives = Companion_getInstance_12().empty();
1691
+ var newGoals = plus_0(toGoals(subGoals), $this.p32_1.i2x_1.pp());
1692
+ var tmp0_$this = $this.p32_1;
1693
+ var tmp1_rules = Companion_instance_7.empty();
1694
+ var tmp2_primitives = Companion_instance_7.empty();
1761
1695
  var tmp3_substitution = newSubstitution.castToUnifier();
1762
- var tmp4_step = $this.f30();
1763
- tmp = new StateGoalSelection(tmp0_$this.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_substitution, VOID, newGoals, tmp1_rules, tmp2_primitives, VOID, VOID, VOID, VOID, VOID, tmp4_step));
1764
- } else if ($this.v30_1.p2y()) {
1696
+ var tmp4_step = $this.z31();
1697
+ tmp = new StateGoalSelection(tmp0_$this.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_substitution, VOID, newGoals, tmp1_rules, tmp2_primitives, VOID, VOID, VOID, VOID, VOID, tmp4_step));
1698
+ } else if ($this.p32_1.j30()) {
1765
1699
  tmp = _get_finalState__3aigq8($this);
1766
1700
  } else {
1767
1701
  tmp = _get_handleExceptionInParentContext__yj3v4e($this);
@@ -1770,44 +1704,41 @@
1770
1704
  }
1771
1705
  function StateException$handleCatch$lambda(this$0) {
1772
1706
  return function (_name_for_destructuring_parameter_0__wldtmu) {
1773
- var tmp$ret$0;
1774
1707
  // Inline function 'kotlin.collections.component1' call
1775
- tmp$ret$0 = _name_for_destructuring_parameter_0__wldtmu.n2();
1776
- var it = tmp$ret$0;
1777
- return this$0.v30_1.r2y(it);
1708
+ var it = _name_for_destructuring_parameter_0__wldtmu.p2();
1709
+ return this$0.p32_1.l30(it);
1778
1710
  };
1779
1711
  }
1780
1712
  function StateException(exception, context) {
1781
1713
  AbstractState.call(this, context);
1782
- this.u30_1 = exception;
1783
- this.v30_1 = context;
1714
+ this.o32_1 = exception;
1715
+ this.p32_1 = context;
1784
1716
  }
1785
- protoOf(StateException).j5 = function () {
1786
- return this.v30_1;
1717
+ protoOf(StateException).jb = function () {
1718
+ return this.p32_1;
1787
1719
  };
1788
- protoOf(StateException).w2z = function () {
1789
- var tmp0_subject = this.u30_1;
1720
+ protoOf(StateException).q31 = function () {
1790
1721
  var tmp;
1791
- if (tmp0_subject instanceof LogicError) {
1792
- var catchGoal = ensureNotNull(this.v30_1.q2y());
1793
- tmp = catchGoal.oy() ? handleStruct(this, this.v30_1.d2v_1, catchGoal.castToStruct(), this.u30_1) : this.v30_1.p2y() ? _get_finalState__3aigq8(this) : _get_handleExceptionInParentContext__yj3v4e(this);
1722
+ if (this.o32_1 instanceof LogicError) {
1723
+ var catchGoal = ensureNotNull(this.p32_1.k30());
1724
+ tmp = catchGoal.qu() ? handleStruct(this, this.p32_1.x2w_1, catchGoal.castToStruct(), this.o32_1) : this.p32_1.j30() ? _get_finalState__3aigq8(this) : _get_handleExceptionInParentContext__yj3v4e(this);
1794
1725
  } else {
1795
1726
  tmp = _get_finalState__3aigq8(this);
1796
1727
  }
1797
1728
  return tmp;
1798
1729
  };
1799
- protoOf(StateException).b30 = function (context) {
1800
- return this.w30(this.u30_1, context);
1730
+ protoOf(StateException).v31 = function (context) {
1731
+ return this.q32(this.o32_1, context);
1801
1732
  };
1802
- protoOf(StateException).w30 = function (exception, context) {
1733
+ protoOf(StateException).q32 = function (exception, context) {
1803
1734
  return new StateException(exception, context);
1804
1735
  };
1805
1736
  protoOf(StateException).toString = function () {
1806
- return 'StateException(exception=' + this.u30_1 + ', context=' + this.v30_1 + ')';
1737
+ return 'StateException(exception=' + this.o32_1 + ', context=' + this.p32_1 + ')';
1807
1738
  };
1808
1739
  protoOf(StateException).hashCode = function () {
1809
- var result = hashCode(this.u30_1);
1810
- result = imul(result, 31) + this.v30_1.hashCode() | 0;
1740
+ var result = hashCode(this.o32_1);
1741
+ result = imul(result, 31) + this.p32_1.hashCode() | 0;
1811
1742
  return result;
1812
1743
  };
1813
1744
  protoOf(StateException).equals = function (other) {
@@ -1816,78 +1747,73 @@
1816
1747
  if (!(other instanceof StateException))
1817
1748
  return false;
1818
1749
  var tmp0_other_with_cast = other instanceof StateException ? other : THROW_CCE();
1819
- if (!equals(this.u30_1, tmp0_other_with_cast.u30_1))
1750
+ if (!equals(this.o32_1, tmp0_other_with_cast.o32_1))
1820
1751
  return false;
1821
- if (!this.v30_1.equals(tmp0_other_with_cast.v30_1))
1752
+ if (!this.p32_1.equals(tmp0_other_with_cast.p32_1))
1822
1753
  return false;
1823
1754
  return true;
1824
1755
  };
1825
1756
  function StateGoalSelection$computeNext$lambda(this$0) {
1826
1757
  return function (_name_for_destructuring_parameter_0__wldtmu) {
1827
- var tmp$ret$0;
1828
1758
  // Inline function 'kotlin.collections.component1' call
1829
- tmp$ret$0 = _name_for_destructuring_parameter_0__wldtmu.n2();
1830
- var it = tmp$ret$0;
1831
- return this$0.z30_1.r2y(it);
1759
+ var it = _name_for_destructuring_parameter_0__wldtmu.p2();
1760
+ return this$0.t32_1.l30(it);
1832
1761
  };
1833
1762
  }
1834
1763
  function StateGoalSelection(context) {
1835
1764
  AbstractState.call(this, context);
1836
- this.z30_1 = context;
1765
+ this.t32_1 = context;
1837
1766
  }
1838
- protoOf(StateGoalSelection).j5 = function () {
1839
- return this.z30_1;
1767
+ protoOf(StateGoalSelection).jb = function () {
1768
+ return this.t32_1;
1840
1769
  };
1841
- protoOf(StateGoalSelection).w2z = function () {
1770
+ protoOf(StateGoalSelection).q31 = function () {
1842
1771
  var tmp;
1843
- if (this.z30_1.o2v_1.zo()) {
1772
+ if (this.t32_1.i2x_1.sp()) {
1844
1773
  var tmp_0;
1845
- if (this.z30_1.p2y()) {
1846
- tmp_0 = new StateEnd(Companion_getInstance_14().s1s(this.z30_1.n2v_1, this.z30_1.m2v_1), this.z30_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.f30()));
1774
+ if (this.t32_1.j30()) {
1775
+ tmp_0 = new StateEnd(Companion_instance_8.h1u(this.t32_1.h2x_1, this.t32_1.g2x_1), this.t32_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z31()));
1847
1776
  } else {
1848
- var tmp$ret$1;
1849
1777
  // Inline function 'kotlin.let' call
1850
- var tmp0_let = ensureNotNull(this.z30_1.u2v_1);
1851
1778
  // Inline function 'kotlin.contracts.contract' call
1852
- var tmp$ret$0;
1853
1779
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateGoalSelection.computeNext.<anonymous>' call
1854
- var tmp0_choicePoints = this.z30_1.t2v_1;
1855
- var tmp1_flags = this.z30_1.f2v_1;
1856
- var tmp2_dynamicKb = this.z30_1.h2v_1;
1857
- var tmp3_staticKb = this.z30_1.g2v_1;
1858
- var tmp4_substitution = this.z30_1.m2v_1.qy(StateGoalSelection$computeNext$lambda(this));
1859
- var tmp5_goals = tmp0_let.o2v_1.wo();
1860
- var tmp6_procedure = tmp0_let.c2v_1;
1861
- var tmp7_step = this.f30();
1862
- var tmp8_startTime = this.z30_1.r2v_1;
1863
- var tmp9_operators = this.z30_1.i2v_1;
1864
- var tmp10_inputChannels = this.z30_1.j2v_1;
1865
- var tmp11_outputChannels = this.z30_1.k2v_1;
1866
- var tmp12_libraries = this.z30_1.e2v_1;
1867
- var tmp13_customData = this.z30_1.l2v_1;
1868
- tmp$ret$0 = tmp0_let.t2w(tmp6_procedure, VOID, tmp12_libraries, tmp1_flags, tmp3_staticKb, tmp2_dynamicKb, tmp9_operators, tmp10_inputChannels, tmp11_outputChannels, tmp13_customData, tmp4_substitution, VOID, tmp5_goals, VOID, VOID, tmp8_startTime, VOID, tmp0_choicePoints, VOID, VOID, tmp7_step);
1869
- tmp$ret$1 = tmp$ret$0;
1780
+ var it = ensureNotNull(this.t32_1.o2x_1);
1781
+ var tmp0_choicePoints = this.t32_1.n2x_1;
1782
+ var tmp1_flags = this.t32_1.z2w_1;
1783
+ var tmp2_dynamicKb = this.t32_1.b2x_1;
1784
+ var tmp3_staticKb = this.t32_1.a2x_1;
1785
+ var tmp4_substitution = this.t32_1.g2x_1.i10(StateGoalSelection$computeNext$lambda(this));
1786
+ var tmp5_goals = it.i2x_1.pp();
1787
+ var tmp6_procedure = it.w2w_1;
1788
+ var tmp7_step = this.z31();
1789
+ var tmp8_startTime = this.t32_1.l2x_1;
1790
+ var tmp9_operators = this.t32_1.c2x_1;
1791
+ var tmp10_inputChannels = this.t32_1.d2x_1;
1792
+ var tmp11_outputChannels = this.t32_1.e2x_1;
1793
+ var tmp12_libraries = this.t32_1.y2w_1;
1794
+ var tmp13_customData = this.t32_1.f2x_1;
1795
+ var tmp$ret$1 = it.n2y(tmp6_procedure, VOID, tmp12_libraries, tmp1_flags, tmp3_staticKb, tmp2_dynamicKb, tmp9_operators, tmp10_inputChannels, tmp11_outputChannels, tmp13_customData, tmp4_substitution, VOID, tmp5_goals, VOID, VOID, tmp8_startTime, VOID, tmp0_choicePoints, VOID, VOID, tmp7_step);
1870
1796
  tmp_0 = new StateGoalSelection(tmp$ret$1);
1871
1797
  }
1872
1798
  tmp = tmp_0;
1873
- } else if (equals(this.z30_1.f2v_1.get(TrackVariables_getInstance()), TrackVariables_getInstance().q25_1)) {
1874
- tmp = new StatePrimitiveSelection(this.z30_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.f30(), plus_1(this.z30_1.x2v_1, toSet(ensureNotNull(this.z30_1.o2v_1.xo()).tt()))));
1799
+ } else if (equals(this.t32_1.z2w_1.get(TrackVariables_getInstance()), TrackVariables_getInstance().a27_1)) {
1800
+ tmp = new StatePrimitiveSelection(this.t32_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z31(), plus_1(this.t32_1.r2x_1, toSet(ensureNotNull(this.t32_1.i2x_1.qp()).mu()))));
1875
1801
  } else {
1876
- tmp = new StatePrimitiveSelection(this.z30_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.f30()));
1802
+ tmp = new StatePrimitiveSelection(this.t32_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z31()));
1877
1803
  }
1878
1804
  return tmp;
1879
1805
  };
1880
- protoOf(StateGoalSelection).b30 = function (context) {
1881
- return this.k30(context);
1806
+ protoOf(StateGoalSelection).v31 = function (context) {
1807
+ return this.e32(context);
1882
1808
  };
1883
- protoOf(StateGoalSelection).k30 = function (context) {
1809
+ protoOf(StateGoalSelection).e32 = function (context) {
1884
1810
  return new StateGoalSelection(context);
1885
1811
  };
1886
1812
  protoOf(StateGoalSelection).toString = function () {
1887
- return 'StateGoalSelection(context=' + this.z30_1 + ')';
1813
+ return 'StateGoalSelection(context=' + this.t32_1 + ')';
1888
1814
  };
1889
1815
  protoOf(StateGoalSelection).hashCode = function () {
1890
- return this.z30_1.hashCode();
1816
+ return this.t32_1.hashCode();
1891
1817
  };
1892
1818
  protoOf(StateGoalSelection).equals = function (other) {
1893
1819
  if (this === other)
@@ -1895,30 +1821,30 @@
1895
1821
  if (!(other instanceof StateGoalSelection))
1896
1822
  return false;
1897
1823
  var tmp0_other_with_cast = other instanceof StateGoalSelection ? other : THROW_CCE();
1898
- if (!this.z30_1.equals(tmp0_other_with_cast.z30_1))
1824
+ if (!this.t32_1.equals(tmp0_other_with_cast.t32_1))
1899
1825
  return false;
1900
1826
  return true;
1901
1827
  };
1902
1828
  function StateHalt(exception, context) {
1903
- AbstractEndState.call(this, Companion_getInstance_14().halt(context.n2v_1, exception), context);
1904
- this.e31_1 = exception;
1905
- this.f31_1 = context;
1829
+ AbstractEndState.call(this, Companion_instance_8.halt(context.h2x_1, exception), context);
1830
+ this.y32_1 = exception;
1831
+ this.z32_1 = context;
1906
1832
  }
1907
- protoOf(StateHalt).j5 = function () {
1908
- return this.f31_1;
1833
+ protoOf(StateHalt).jb = function () {
1834
+ return this.z32_1;
1909
1835
  };
1910
- protoOf(StateHalt).b30 = function (context) {
1911
- return this.w30(this.e31_1, context);
1836
+ protoOf(StateHalt).v31 = function (context) {
1837
+ return this.q32(this.y32_1, context);
1912
1838
  };
1913
- protoOf(StateHalt).w30 = function (exception, context) {
1839
+ protoOf(StateHalt).q32 = function (exception, context) {
1914
1840
  return new StateHalt(exception, context);
1915
1841
  };
1916
1842
  protoOf(StateHalt).toString = function () {
1917
- return 'StateHalt(exception=' + this.e31_1 + ', context=' + this.f31_1 + ')';
1843
+ return 'StateHalt(exception=' + this.y32_1 + ', context=' + this.z32_1 + ')';
1918
1844
  };
1919
1845
  protoOf(StateHalt).hashCode = function () {
1920
- var result = hashCode(this.e31_1);
1921
- result = imul(result, 31) + this.f31_1.hashCode() | 0;
1846
+ var result = hashCode(this.y32_1);
1847
+ result = imul(result, 31) + this.z32_1.hashCode() | 0;
1922
1848
  return result;
1923
1849
  };
1924
1850
  protoOf(StateHalt).equals = function (other) {
@@ -1927,43 +1853,43 @@
1927
1853
  if (!(other instanceof StateHalt))
1928
1854
  return false;
1929
1855
  var tmp0_other_with_cast = other instanceof StateHalt ? other : THROW_CCE();
1930
- if (!equals(this.e31_1, tmp0_other_with_cast.e31_1))
1856
+ if (!equals(this.y32_1, tmp0_other_with_cast.y32_1))
1931
1857
  return false;
1932
- if (!this.f31_1.equals(tmp0_other_with_cast.f31_1))
1858
+ if (!this.z32_1.equals(tmp0_other_with_cast.z32_1))
1933
1859
  return false;
1934
1860
  return true;
1935
1861
  };
1936
1862
  protoOf(StateHalt).asEndState = function () {
1937
- return this.y2z();
1863
+ return this.s31();
1938
1864
  };
1939
1865
  function StateInit(context) {
1940
1866
  AbstractState.call(this, context);
1941
- this.i31_1 = context;
1942
- }
1943
- protoOf(StateInit).j5 = function () {
1944
- return this.i31_1;
1945
- };
1946
- protoOf(StateInit).w2z = function () {
1947
- var tmp0_$this = this.i31_1;
1948
- var tmp1_goals = toGoals(this.i31_1.n2v_1);
1949
- var tmp2_rules = Companion_getInstance_12().empty();
1950
- var tmp3_primitives = Companion_getInstance_12().empty();
1951
- var tmp4_substitution = Companion_getInstance_10().empty();
1952
- var tmp5_customData = this.i31_1.l2v_1.preservePersistent();
1867
+ this.c33_1 = context;
1868
+ }
1869
+ protoOf(StateInit).jb = function () {
1870
+ return this.c33_1;
1871
+ };
1872
+ protoOf(StateInit).q31 = function () {
1873
+ var tmp0_$this = this.c33_1;
1874
+ var tmp1_goals = toGoals(this.c33_1.h2x_1);
1875
+ var tmp2_rules = Companion_instance_7.empty();
1876
+ var tmp3_primitives = Companion_instance_7.empty();
1877
+ var tmp4_substitution = Companion_getInstance_2().empty();
1878
+ var tmp5_customData = this.c33_1.f2x_1.preservePersistent();
1953
1879
  var tmp6_relevantVariables = emptySet();
1954
- return new StateGoalSelection(appendRulesAndChoicePoints(tmp0_$this.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp5_customData, tmp4_substitution, VOID, tmp1_goals, tmp2_rules, tmp3_primitives, VOID, VOID, null, null, 0, new Long(1, 0), tmp6_relevantVariables), Companion_getInstance_12().empty()));
1880
+ return new StateGoalSelection(appendRulesAndChoicePoints(tmp0_$this.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp5_customData, tmp4_substitution, VOID, tmp1_goals, tmp2_rules, tmp3_primitives, VOID, VOID, null, null, 0, new Long(1, 0), tmp6_relevantVariables), Companion_instance_7.empty()));
1955
1881
  };
1956
- protoOf(StateInit).b30 = function (context) {
1957
- return this.k30(context);
1882
+ protoOf(StateInit).v31 = function (context) {
1883
+ return this.e32(context);
1958
1884
  };
1959
- protoOf(StateInit).k30 = function (context) {
1885
+ protoOf(StateInit).e32 = function (context) {
1960
1886
  return new StateInit(context);
1961
1887
  };
1962
1888
  protoOf(StateInit).toString = function () {
1963
- return 'StateInit(context=' + this.i31_1 + ')';
1889
+ return 'StateInit(context=' + this.c33_1 + ')';
1964
1890
  };
1965
1891
  protoOf(StateInit).hashCode = function () {
1966
- return this.i31_1.hashCode();
1892
+ return this.c33_1.hashCode();
1967
1893
  };
1968
1894
  protoOf(StateInit).equals = function (other) {
1969
1895
  if (this === other)
@@ -1971,37 +1897,31 @@
1971
1897
  if (!(other instanceof StateInit))
1972
1898
  return false;
1973
1899
  var tmp0_other_with_cast = other instanceof StateInit ? other : THROW_CCE();
1974
- if (!this.i31_1.equals(tmp0_other_with_cast.i31_1))
1900
+ if (!this.c33_1.equals(tmp0_other_with_cast.c33_1))
1975
1901
  return false;
1976
1902
  return true;
1977
1903
  };
1978
1904
  function copyFromCurrentPrimitive(_this__u8e3s4, $this, goals, procedureFromAncestor, substitution) {
1979
- var tmp0_safe_receiver = _this__u8e3s4.q2v_1.xo();
1905
+ var tmp0_safe_receiver = _this__u8e3s4.k2x_1.qp();
1980
1906
  var tmp;
1981
1907
  if (tmp0_safe_receiver == null) {
1982
1908
  tmp = null;
1983
1909
  } else {
1984
- var tmp$ret$1;
1985
1910
  // Inline function 'kotlin.let' call
1986
1911
  // Inline function 'kotlin.contracts.contract' call
1987
- var tmp$ret$0;
1988
1912
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StatePrimitiveExecution.copyFromCurrentPrimitive.<anonymous>' call
1989
- tmp$ret$0 = _this__u8e3s4.t2y(tmp0_safe_receiver.sideEffects);
1990
- tmp$ret$1 = tmp$ret$0;
1991
- tmp = tmp$ret$1;
1913
+ tmp = _this__u8e3s4.n30(tmp0_safe_receiver.sideEffects);
1992
1914
  }
1993
1915
  var tmp1_elvis_lhs = tmp;
1994
1916
  var ctx = tmp1_elvis_lhs == null ? _this__u8e3s4 : tmp1_elvis_lhs;
1995
- var tmp3_elvis_lhs = goals;
1996
- var tmp4_goals = tmp3_elvis_lhs == null ? _this__u8e3s4.o2v_1 : tmp3_elvis_lhs;
1997
- var tmp_0 = drop(_this__u8e3s4.y2v_1, procedureFromAncestor);
1917
+ var tmp4_goals = goals == null ? _this__u8e3s4.i2x_1 : goals;
1918
+ var tmp_0 = drop(_this__u8e3s4.s2x_1, procedureFromAncestor);
1998
1919
  var tmp5_procedure = first(map(tmp_0, StatePrimitiveExecution$copyFromCurrentPrimitive$lambda));
1999
- var tmp6_primitives = Companion_getInstance_12().empty();
2000
- var tmp2_elvis_lhs = substitution;
2001
- var tmp_1 = tmp2_elvis_lhs == null ? _this__u8e3s4.m2v_1 : tmp2_elvis_lhs;
1920
+ var tmp6_primitives = Companion_instance_7.empty();
1921
+ var tmp_1 = substitution == null ? _this__u8e3s4.g2x_1 : substitution;
2002
1922
  var tmp7_substitution = isInterface(tmp_1, Unifier) ? tmp_1 : THROW_CCE();
2003
- var tmp8_step = $this.f30();
2004
- return ctx.t2w(tmp5_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp7_substitution, VOID, tmp4_goals, VOID, tmp6_primitives, VOID, VOID, VOID, VOID, VOID, tmp8_step);
1923
+ var tmp8_step = $this.z31();
1924
+ return ctx.n2y(tmp5_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp7_substitution, VOID, tmp4_goals, VOID, tmp6_primitives, VOID, VOID, VOID, VOID, VOID, tmp8_step);
2005
1925
  }
2006
1926
  function copyFromCurrentPrimitive$default(_this__u8e3s4, $this, goals, procedureFromAncestor, substitution, $super) {
2007
1927
  goals = goals === VOID ? null : goals;
@@ -2010,21 +1930,21 @@
2010
1930
  return copyFromCurrentPrimitive(_this__u8e3s4, $this, goals, procedureFromAncestor, substitution);
2011
1931
  }
2012
1932
  function StatePrimitiveExecution$copyFromCurrentPrimitive$lambda(it) {
2013
- return it.c2v_1;
1933
+ return it.w2w_1;
2014
1934
  }
2015
1935
  function StatePrimitiveExecution$computeNext$lambda(this$0) {
2016
1936
  return function (it) {
2017
- return new StateGoalSelection(copyFromCurrentPrimitive(this$0.l31_1, this$0, this$0.l31_1.o2v_1.wo(), 1, this$0.l31_1.d2v_1.mergeWithOccurCheck(this$0.l31_1.m2v_1, it.m1r(), false)));
1937
+ return new StateGoalSelection(copyFromCurrentPrimitive(this$0.f33_1, this$0, this$0.f33_1.i2x_1.pp(), 1, this$0.f33_1.x2w_1.mergeWithOccurCheck(this$0.f33_1.g2x_1, it.t1s(), false)));
2018
1938
  };
2019
1939
  }
2020
1940
  function StatePrimitiveExecution$computeNext$lambda_0(this$0) {
2021
1941
  return function (it) {
2022
- return new StateBacktracking(copyFromCurrentPrimitive$default(ensureNotNull(this$0.l31_1.u2v_1), this$0));
1942
+ return new StateBacktracking(copyFromCurrentPrimitive$default(ensureNotNull(this$0.f33_1.o2x_1), this$0));
2023
1943
  };
2024
1944
  }
2025
1945
  function StatePrimitiveExecution$computeNext$lambda_1(this$0) {
2026
1946
  return function (it) {
2027
- return new StateException(it.q1s().updateLastContext(this$0.g30(this$0.l31_1)), copyFromCurrentPrimitive$default(this$0.l31_1, this$0));
1947
+ return new StateException(it.x1t().updateLastContext(this$0.a32(this$0.f33_1)), copyFromCurrentPrimitive$default(this$0.f33_1, this$0));
2028
1948
  };
2029
1949
  }
2030
1950
  function StatePrimitiveExecution$computeNext$lambda_2(it) {
@@ -2032,15 +1952,15 @@
2032
1952
  }
2033
1953
  function StatePrimitiveExecution(context) {
2034
1954
  AbstractState.call(this, context);
2035
- this.l31_1 = context;
1955
+ this.f33_1 = context;
2036
1956
  }
2037
- protoOf(StatePrimitiveExecution).j5 = function () {
2038
- return this.l31_1;
1957
+ protoOf(StatePrimitiveExecution).jb = function () {
1958
+ return this.f33_1;
2039
1959
  };
2040
- protoOf(StatePrimitiveExecution).w2z = function () {
1960
+ protoOf(StatePrimitiveExecution).q31 = function () {
2041
1961
  var tmp;
2042
1962
  try {
2043
- var tmp0_safe_receiver = this.l31_1.q2v_1.xo();
1963
+ var tmp0_safe_receiver = this.f33_1.k2x_1.qp();
2044
1964
  var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.solution;
2045
1965
  var tmp_0;
2046
1966
  if (tmp1_safe_receiver == null) {
@@ -2049,15 +1969,15 @@
2049
1969
  var tmp_1 = StatePrimitiveExecution$computeNext$lambda(this);
2050
1970
  var tmp_2 = StatePrimitiveExecution$computeNext$lambda_0(this);
2051
1971
  var tmp_3 = StatePrimitiveExecution$computeNext$lambda_1(this);
2052
- tmp_0 = tmp1_safe_receiver.x1s(tmp_1, tmp_2, tmp_3, StatePrimitiveExecution$computeNext$lambda_2);
1972
+ tmp_0 = tmp1_safe_receiver.b1u(tmp_1, tmp_2, tmp_3, StatePrimitiveExecution$computeNext$lambda_2);
2053
1973
  }
2054
1974
  var tmp2_elvis_lhs = tmp_0;
2055
- tmp = tmp2_elvis_lhs == null ? new StateBacktracking(copyFromCurrentPrimitive$default(this.l31_1, this)) : tmp2_elvis_lhs;
1975
+ tmp = tmp2_elvis_lhs == null ? new StateBacktracking(copyFromCurrentPrimitive$default(this.f33_1, this)) : tmp2_elvis_lhs;
2056
1976
  } catch ($p) {
2057
1977
  var tmp_4;
2058
1978
  if ($p instanceof ResolutionException) {
2059
1979
  var exception = $p;
2060
- tmp_4 = new StateException(exception.updateLastContext(this.g30(this.l31_1)), this.l31_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.f30()));
1980
+ tmp_4 = new StateException(exception.updateLastContext(this.a32(this.f33_1)), this.f33_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z31()));
2061
1981
  } else {
2062
1982
  throw $p;
2063
1983
  }
@@ -2065,17 +1985,17 @@
2065
1985
  }
2066
1986
  return tmp;
2067
1987
  };
2068
- protoOf(StatePrimitiveExecution).b30 = function (context) {
2069
- return this.k30(context);
1988
+ protoOf(StatePrimitiveExecution).v31 = function (context) {
1989
+ return this.e32(context);
2070
1990
  };
2071
- protoOf(StatePrimitiveExecution).k30 = function (context) {
1991
+ protoOf(StatePrimitiveExecution).e32 = function (context) {
2072
1992
  return new StatePrimitiveExecution(context);
2073
1993
  };
2074
1994
  protoOf(StatePrimitiveExecution).toString = function () {
2075
- return 'StatePrimitiveExecution(context=' + this.l31_1 + ')';
1995
+ return 'StatePrimitiveExecution(context=' + this.f33_1 + ')';
2076
1996
  };
2077
1997
  protoOf(StatePrimitiveExecution).hashCode = function () {
2078
- return this.l31_1.hashCode();
1998
+ return this.f33_1.hashCode();
2079
1999
  };
2080
2000
  protoOf(StatePrimitiveExecution).equals = function (other) {
2081
2001
  if (this === other)
@@ -2083,44 +2003,43 @@
2083
2003
  if (!(other instanceof StatePrimitiveExecution))
2084
2004
  return false;
2085
2005
  var tmp0_other_with_cast = other instanceof StatePrimitiveExecution ? other : THROW_CCE();
2086
- if (!this.l31_1.equals(tmp0_other_with_cast.l31_1))
2006
+ if (!this.f33_1.equals(tmp0_other_with_cast.f33_1))
2087
2007
  return false;
2088
2008
  return true;
2089
2009
  };
2090
2010
  function exceptionalState($this, exception) {
2091
- return new StateException(exception, $this.o31_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.f30()));
2011
+ return new StateException(exception, $this.i33_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z31()));
2092
2012
  }
2093
2013
  function StatePrimitiveSelection(context) {
2094
2014
  AbstractState.call(this, context);
2095
- this.o31_1 = context;
2015
+ this.i33_1 = context;
2096
2016
  }
2097
- protoOf(StatePrimitiveSelection).j5 = function () {
2098
- return this.o31_1;
2017
+ protoOf(StatePrimitiveSelection).jb = function () {
2018
+ return this.i33_1;
2099
2019
  };
2100
- protoOf(StatePrimitiveSelection).w2z = function () {
2101
- var tmp$ret$1;
2020
+ protoOf(StatePrimitiveSelection).q31 = function () {
2102
2021
  // Inline function 'kotlin.with' call
2103
- var tmp0_with = this.o31_1;
2104
2022
  // Inline function 'kotlin.contracts.contract' call
2105
- var tmp$ret$0;
2106
2023
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StatePrimitiveSelection.computeNext.<anonymous>' call
2107
- var goal = ensureNotNull(tmp0_with.q2y());
2024
+ var $this$with = this.i33_1;
2025
+ var goal = ensureNotNull($this$with.k30());
2108
2026
  var tmp;
2109
- if (goal.fu()) {
2110
- tmp = exceptionalState(this, Companion_getInstance_17().forGoal(this.o31_1, extractSignature(ensureNotNull(this.o31_1.c2v_1)), goal.castToVar()));
2111
- } else if (goal.oy()) {
2027
+ if (goal.gv()) {
2028
+ tmp = exceptionalState(this, Companion_instance_11.forGoal(this.i33_1, extractSignature(ensureNotNull(this.i33_1.w2w_1)), goal.castToVar()));
2029
+ } else if (goal.qu()) {
2112
2030
  var goalStruct = goal.castToStruct();
2113
2031
  var signature = extractSignature(goalStruct);
2114
2032
  var tmp_0;
2115
- if (tmp0_with.e2v_1.hasPrimitive(signature)) {
2116
- var childContext = createChild(tmp0_with);
2033
+ if ($this$with.y2w_1.hasPrimitive(signature)) {
2034
+ var childContext = createChild($this$with);
2117
2035
  var tmp_1;
2118
2036
  try {
2119
- var request = toRequest(childContext, goalStruct, signature, this.c30());
2120
- var tmp0_elvis_lhs = tmp0_with.e2v_1.e2a().d3(signature);
2037
+ var request = toRequest(childContext, goalStruct, signature, this.w31());
2038
+ var tmp0_elvis_lhs = $this$with.y2w_1.x2b().w2(signature);
2121
2039
  var tmp_2;
2122
2040
  if (tmp0_elvis_lhs == null) {
2123
- throw IllegalStateException_init_$Create$('Inconsistent behaviour of Library.contains and Library.get');
2041
+ var message = 'Inconsistent behaviour of Library.contains and Library.get';
2042
+ throw IllegalStateException_init_$Create$(toString(message));
2124
2043
  } else {
2125
2044
  tmp_2 = tmp0_elvis_lhs;
2126
2045
  }
@@ -2131,7 +2050,7 @@
2131
2050
  var tmp_3;
2132
2051
  if ($p instanceof ResolutionException) {
2133
2052
  var exception = $p;
2134
- tmp_3 = exceptionalState(this, exception.updateLastContext(this.g30(childContext)));
2053
+ tmp_3 = exceptionalState(this, exception.updateLastContext(this.a32(childContext)));
2135
2054
  } else {
2136
2055
  throw $p;
2137
2056
  }
@@ -2139,30 +2058,28 @@
2139
2058
  }
2140
2059
  tmp_0 = tmp_1;
2141
2060
  } else {
2142
- tmp_0 = new StateRuleSelection(this.o31_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.f30()));
2061
+ tmp_0 = new StateRuleSelection(this.i33_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.z31()));
2143
2062
  }
2144
2063
  tmp = tmp_0;
2145
2064
  } else {
2146
- var tmp_4 = Companion_getInstance_16();
2147
- var tmp1_safe_receiver = this.o31_1.c2v_1;
2065
+ var tmp_4 = Companion_instance_10;
2066
+ var tmp1_safe_receiver = this.i33_1.w2w_1;
2148
2067
  var tmp2_elvis_lhs = tmp1_safe_receiver == null ? null : extractSignature(tmp1_safe_receiver);
2149
- tmp = exceptionalState(this, tmp_4.forGoal(this.o31_1, tmp2_elvis_lhs == null ? new Signature('?-', 1) : tmp2_elvis_lhs, Expected_CALLABLE_getInstance(), goal));
2068
+ tmp = exceptionalState(this, tmp_4.forGoal(this.i33_1, tmp2_elvis_lhs == null ? new Signature('?-', 1) : tmp2_elvis_lhs, Expected_CALLABLE_getInstance(), goal));
2150
2069
  }
2151
- tmp$ret$0 = tmp;
2152
- tmp$ret$1 = tmp$ret$0;
2153
- return tmp$ret$1;
2070
+ return tmp;
2154
2071
  };
2155
- protoOf(StatePrimitiveSelection).b30 = function (context) {
2156
- return this.k30(context);
2072
+ protoOf(StatePrimitiveSelection).v31 = function (context) {
2073
+ return this.e32(context);
2157
2074
  };
2158
- protoOf(StatePrimitiveSelection).k30 = function (context) {
2075
+ protoOf(StatePrimitiveSelection).e32 = function (context) {
2159
2076
  return new StatePrimitiveSelection(context);
2160
2077
  };
2161
2078
  protoOf(StatePrimitiveSelection).toString = function () {
2162
- return 'StatePrimitiveSelection(context=' + this.o31_1 + ')';
2079
+ return 'StatePrimitiveSelection(context=' + this.i33_1 + ')';
2163
2080
  };
2164
2081
  protoOf(StatePrimitiveSelection).hashCode = function () {
2165
- return this.o31_1.hashCode();
2082
+ return this.i33_1.hashCode();
2166
2083
  };
2167
2084
  protoOf(StatePrimitiveSelection).equals = function (other) {
2168
2085
  if (this === other)
@@ -2170,55 +2087,51 @@
2170
2087
  if (!(other instanceof StatePrimitiveSelection))
2171
2088
  return false;
2172
2089
  var tmp0_other_with_cast = other instanceof StatePrimitiveSelection ? other : THROW_CCE();
2173
- if (!this.o31_1.equals(tmp0_other_with_cast.o31_1))
2090
+ if (!this.i33_1.equals(tmp0_other_with_cast.i33_1))
2174
2091
  return false;
2175
2092
  return true;
2176
2093
  };
2177
2094
  function _get_failureState__yid9tw($this) {
2178
- return new StateBacktracking($this.r31_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_getInstance_12().empty(), VOID, VOID, VOID, VOID, VOID, VOID, $this.f30()));
2095
+ return new StateBacktracking($this.l33_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_7.empty(), VOID, VOID, VOID, VOID, VOID, VOID, $this.z31()));
2179
2096
  }
2180
2097
  function StateRuleExecution(context) {
2181
2098
  AbstractState.call(this, context);
2182
- this.r31_1 = context;
2099
+ this.l33_1 = context;
2183
2100
  }
2184
- protoOf(StateRuleExecution).j5 = function () {
2185
- return this.r31_1;
2101
+ protoOf(StateRuleExecution).jb = function () {
2102
+ return this.l33_1;
2186
2103
  };
2187
- protoOf(StateRuleExecution).w2z = function () {
2188
- var tmp$ret$1;
2104
+ protoOf(StateRuleExecution).q31 = function () {
2189
2105
  // Inline function 'kotlin.with' call
2190
- var tmp0_with = this.r31_1;
2191
2106
  // Inline function 'kotlin.contracts.contract' call
2192
- var tmp$ret$0;
2193
2107
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleExecution.computeNext.<anonymous>' call
2194
- tmp$ret$0 = tmp0_with.d2v_1.mgu(ensureNotNull(tmp0_with.q2y()), ensureNotNull(tmp0_with.p2v_1.xo()).lv());
2195
- tmp$ret$1 = tmp$ret$0;
2196
- var substitution = tmp$ret$1;
2108
+ var $this$with = this.l33_1;
2109
+ var substitution = $this$with.x2w_1.mgu(ensureNotNull($this$with.k30()), ensureNotNull($this$with.j2x_1.qp()).qw());
2197
2110
  var tmp;
2198
- if (substitution.az()) {
2199
- var newSubstitution = this.r31_1.m2v_1.plus(substitution).castToUnifier();
2200
- var subGoals = prepareForExecutionWithUnifier(ensureNotNull(this.r31_1.p2v_1.xo()), newSubstitution).mv().getSubstituted(newSubstitution, []);
2201
- var tmp0_$this = this.r31_1;
2111
+ if (substitution.o10()) {
2112
+ var newSubstitution = this.l33_1.g2x_1.plus(substitution).castToUnifier();
2113
+ var subGoals = prepareForExecutionWithUnifier(ensureNotNull(this.l33_1.j2x_1.qp()), newSubstitution).rw().getSubstituted(newSubstitution, []);
2114
+ var tmp0_$this = this.l33_1;
2202
2115
  var tmp1_goals = toGoals(subGoals);
2203
- var tmp2_rules = Companion_getInstance_12().empty();
2204
- var tmp3_step = this.f30();
2205
- tmp = new StateGoalSelection(tmp0_$this.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, newSubstitution, VOID, tmp1_goals, tmp2_rules, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_step));
2116
+ var tmp2_rules = Companion_instance_7.empty();
2117
+ var tmp3_step = this.z31();
2118
+ tmp = new StateGoalSelection(tmp0_$this.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, newSubstitution, VOID, tmp1_goals, tmp2_rules, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_step));
2206
2119
  } else {
2207
2120
  tmp = _get_failureState__yid9tw(this);
2208
2121
  }
2209
2122
  return tmp;
2210
2123
  };
2211
- protoOf(StateRuleExecution).b30 = function (context) {
2212
- return this.k30(context);
2124
+ protoOf(StateRuleExecution).v31 = function (context) {
2125
+ return this.e32(context);
2213
2126
  };
2214
- protoOf(StateRuleExecution).k30 = function (context) {
2127
+ protoOf(StateRuleExecution).e32 = function (context) {
2215
2128
  return new StateRuleExecution(context);
2216
2129
  };
2217
2130
  protoOf(StateRuleExecution).toString = function () {
2218
- return 'StateRuleExecution(context=' + this.r31_1 + ')';
2131
+ return 'StateRuleExecution(context=' + this.l33_1 + ')';
2219
2132
  };
2220
2133
  protoOf(StateRuleExecution).hashCode = function () {
2221
- return this.r31_1.hashCode();
2134
+ return this.l33_1.hashCode();
2222
2135
  };
2223
2136
  protoOf(StateRuleExecution).equals = function (other) {
2224
2137
  if (this === other)
@@ -2226,23 +2139,23 @@
2226
2139
  if (!(other instanceof StateRuleExecution))
2227
2140
  return false;
2228
2141
  var tmp0_other_with_cast = other instanceof StateRuleExecution ? other : THROW_CCE();
2229
- if (!this.r31_1.equals(tmp0_other_with_cast.r31_1))
2142
+ if (!this.l33_1.equals(tmp0_other_with_cast.l33_1))
2230
2143
  return false;
2231
2144
  return true;
2232
2145
  };
2233
2146
  function None() {
2234
2147
  None_instance = this;
2235
2148
  CutLimit.call(this);
2236
- this.s31_1 = -1;
2237
- this.t31_1 = null;
2149
+ this.m33_1 = -1;
2150
+ this.n33_1 = null;
2238
2151
  }
2239
- protoOf(None).u31 = function () {
2240
- return this.s31_1;
2152
+ protoOf(None).o33 = function () {
2153
+ return this.m33_1;
2241
2154
  };
2242
- protoOf(None).l1r = function () {
2243
- return this.t31_1;
2155
+ protoOf(None).s1s = function () {
2156
+ return this.n33_1;
2244
2157
  };
2245
- protoOf(None).v31 = function () {
2158
+ protoOf(None).p33 = function () {
2246
2159
  return true;
2247
2160
  };
2248
2161
  var None_instance;
@@ -2253,54 +2166,52 @@
2253
2166
  }
2254
2167
  function Actual(depthToCut, procedure) {
2255
2168
  CutLimit.call(this);
2256
- this.w31_1 = depthToCut;
2257
- this.x31_1 = procedure;
2169
+ this.q33_1 = depthToCut;
2170
+ this.r33_1 = procedure;
2258
2171
  }
2259
- protoOf(Actual).u31 = function () {
2260
- return this.w31_1;
2172
+ protoOf(Actual).o33 = function () {
2173
+ return this.q33_1;
2261
2174
  };
2262
- protoOf(Actual).l1r = function () {
2263
- return this.x31_1;
2175
+ protoOf(Actual).s1s = function () {
2176
+ return this.r33_1;
2264
2177
  };
2265
2178
  function CutLimit() {
2266
2179
  }
2267
- protoOf(CutLimit).v31 = function () {
2180
+ protoOf(CutLimit).p33 = function () {
2268
2181
  return false;
2269
2182
  };
2270
2183
  function Companion_0() {
2271
- Companion_instance_0 = this;
2272
- this.y31_1 = Catch_getInstance().signature;
2273
- this.z31_1 = setOf([new Signature(',', 2), new Signature(';', 2), new Signature('->', 2)]);
2184
+ Companion_instance_16 = this;
2185
+ this.s33_1 = Catch_getInstance().signature;
2186
+ this.t33_1 = setOf([new Signature(',', 2), new Signature(';', 2), new Signature('->', 2)]);
2274
2187
  }
2275
- var Companion_instance_0;
2276
- function Companion_getInstance_23() {
2277
- if (Companion_instance_0 == null)
2188
+ var Companion_instance_16;
2189
+ function Companion_getInstance_7() {
2190
+ if (Companion_instance_16 == null)
2278
2191
  new Companion_0();
2279
- return Companion_instance_0;
2192
+ return Companion_instance_16;
2280
2193
  }
2281
2194
  function _get_failureState__yid9tw_0($this) {
2282
- return new StateBacktracking($this.c32_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.f30()));
2195
+ return new StateBacktracking($this.w33_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z31()));
2283
2196
  }
2284
2197
  function exceptionalState_0($this, exception) {
2285
- return new StateException(exception, $this.c32_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.f30()));
2198
+ return new StateException(exception, $this.w33_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z31()));
2286
2199
  }
2287
2200
  function missingProcedure($this, ruleSources, missing) {
2288
- var unknown = $this.c32_1.f2v_1.get(Unknown_getInstance());
2201
+ var unknown = $this.w33_1.z2w_1.get(Unknown_getInstance());
2289
2202
  var tmp;
2290
- if (equals(unknown, Unknown_getInstance().w25_1)) {
2203
+ if (equals(unknown, Unknown_getInstance().g27_1)) {
2291
2204
  tmp = _get_failureState__yid9tw_0($this);
2292
2205
  } else {
2293
2206
  var tmp_0;
2294
2207
  var tmp$ret$1;
2295
2208
  $l$block: {
2296
2209
  // Inline function 'kotlin.sequences.none' call
2297
- var tmp0_iterator = ruleSources.j();
2298
- while (tmp0_iterator.m()) {
2299
- var element = tmp0_iterator.n();
2300
- var tmp$ret$0;
2210
+ var tmp0_iterator = ruleSources.o();
2211
+ while (tmp0_iterator.p()) {
2212
+ var element = tmp0_iterator.r();
2301
2213
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.missingProcedure.<anonymous>' call
2302
- tmp$ret$0 = element.containsIndicator(missing.toIndicator());
2303
- if (tmp$ret$0) {
2214
+ if (element.containsIndicator(missing.toIndicator())) {
2304
2215
  tmp$ret$1 = false;
2305
2216
  break $l$block;
2306
2217
  }
@@ -2308,19 +2219,16 @@
2308
2219
  tmp$ret$1 = true;
2309
2220
  }
2310
2221
  if (tmp$ret$1) {
2311
- var tmp0_subject = unknown;
2312
2222
  var tmp_1;
2313
- if (equals(tmp0_subject, Unknown_getInstance().u25_1)) {
2314
- tmp_1 = exceptionalState_0($this, Companion_getInstance_18().forProcedure($this.c32_1, missing));
2315
- } else if (equals(tmp0_subject, Unknown_getInstance().v25_1)) {
2316
- var tmp$ret$2;
2223
+ if (equals(unknown, Unknown_getInstance().e27_1)) {
2224
+ tmp_1 = exceptionalState_0($this, Companion_instance_12.forProcedure($this.w33_1, missing));
2225
+ } else if (equals(unknown, Unknown_getInstance().f27_1)) {
2317
2226
  // Inline function 'kotlin.also' call
2318
- var tmp0_also = _get_failureState__yid9tw_0($this);
2227
+ var this_0 = _get_failureState__yid9tw_0($this);
2319
2228
  // Inline function 'kotlin.contracts.contract' call
2320
2229
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.missingProcedure.<anonymous>' call
2321
- $this.c32_1.f1s().write(MissingPredicate_init_$Create$($this.c32_1, missing));
2322
- tmp$ret$2 = tmp0_also;
2323
- tmp_1 = tmp$ret$2;
2230
+ $this.w33_1.j1t().write(MissingPredicate_init_$Create$($this.w33_1, missing));
2231
+ tmp_1 = this_0;
2324
2232
  } else {
2325
2233
  tmp_1 = _get_failureState__yid9tw_0($this);
2326
2234
  }
@@ -2333,29 +2241,26 @@
2333
2241
  return tmp;
2334
2242
  }
2335
2243
  function _get_ignoreState__t4wl8y($this) {
2336
- return new StateGoalSelection($this.c32_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.c32_1.o2v_1.wo(), VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.f30()));
2244
+ return new StateGoalSelection($this.w33_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.w33_1.i2x_1.pp(), VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.z31()));
2337
2245
  }
2338
2246
  function isCut(_this__u8e3s4, $this) {
2339
- return _this__u8e3s4.mt() ? _this__u8e3s4.castToAtom().p2() === '!' : false;
2247
+ return _this__u8e3s4.fu() ? _this__u8e3s4.castToAtom().q2() === '!' : false;
2340
2248
  }
2341
2249
  function computeCutLimit(_this__u8e3s4, $this, magicCut) {
2342
2250
  var tmp;
2343
2251
  if (magicCut) {
2344
- tmp = firstOrNull(_this__u8e3s4.y2v_1);
2252
+ tmp = firstOrNull(_this__u8e3s4.s2x_1);
2345
2253
  } else {
2346
2254
  var tmp$ret$1;
2347
2255
  $l$block: {
2348
2256
  // Inline function 'kotlin.sequences.firstOrNull' call
2349
- var tmp0_firstOrNull = _this__u8e3s4.y2v_1;
2350
- var tmp0_iterator = tmp0_firstOrNull.j();
2351
- while (tmp0_iterator.m()) {
2352
- var element = tmp0_iterator.n();
2353
- var tmp$ret$0;
2257
+ var tmp0_iterator = _this__u8e3s4.s2x_1.o();
2258
+ while (tmp0_iterator.p()) {
2259
+ var element = tmp0_iterator.r();
2354
2260
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeCutLimit.<anonymous>' call
2355
- var tmp_0 = Companion_getInstance_23().z31_1;
2356
- var tmp0_safe_receiver = element.c2v_1;
2357
- tmp$ret$0 = !contains_0(tmp_0, tmp0_safe_receiver == null ? null : extractSignature(tmp0_safe_receiver));
2358
- if (tmp$ret$0) {
2261
+ var tmp_0 = Companion_getInstance_7().t33_1;
2262
+ var tmp0_safe_receiver = element.w2w_1;
2263
+ if (!contains_0(tmp_0, tmp0_safe_receiver == null ? null : extractSignature(tmp0_safe_receiver))) {
2359
2264
  tmp$ret$1 = element;
2360
2265
  break $l$block;
2361
2266
  }
@@ -2369,34 +2274,32 @@
2369
2274
  if (cutLimit == null) {
2370
2275
  tmp_1 = None_getInstance();
2371
2276
  } else {
2372
- tmp_1 = new Actual(cutLimit.v2v_1, cutLimit.c2v_1);
2277
+ tmp_1 = new Actual(cutLimit.p2x_1, cutLimit.w2w_1);
2373
2278
  }
2374
2279
  return tmp_1;
2375
2280
  }
2376
2281
  function cutCanBeSkipped($this, cutLimit, executionContext) {
2377
- return (cutLimit.v31() ? true : cutLimit.u31() > executionContext.v2v_1) ? true : cutLimit.u31() === executionContext.v2v_1 ? !equals(cutLimit.l1r(), executionContext.c2v_1) : false;
2282
+ return (cutLimit.p33() ? true : cutLimit.o33() > executionContext.p2x_1) ? true : cutLimit.o33() === executionContext.p2x_1 ? !equals(cutLimit.s1s(), executionContext.w2w_1) : false;
2378
2283
  }
2379
2284
  function performCut(_this__u8e3s4, $this, cutLimit) {
2380
2285
  var tmp;
2381
2286
  if (_this__u8e3s4 === null) {
2382
2287
  tmp = null;
2383
- } else if (cutCanBeSkipped($this, cutLimit, ensureNotNull(_this__u8e3s4.o2w()))) {
2288
+ } else if (cutCanBeSkipped($this, cutLimit, ensureNotNull(_this__u8e3s4.i2y()))) {
2384
2289
  tmp = _this__u8e3s4;
2385
2290
  } else {
2386
- var tmp_0 = _this__u8e3s4.b2x();
2291
+ var tmp_0 = _this__u8e3s4.v2y();
2387
2292
  var cutCandidates = filter(tmp_0, StateRuleSelection$performCut$lambda(cutLimit));
2388
2293
  var tmp_1;
2389
2294
  if (any(cutCandidates)) {
2390
2295
  var tmp$ret$1;
2391
2296
  $l$block: {
2392
2297
  // Inline function 'kotlin.sequences.firstOrNull' call
2393
- var tmp0_iterator = cutCandidates.j();
2394
- while (tmp0_iterator.m()) {
2395
- var element = tmp0_iterator.n();
2396
- var tmp$ret$0;
2298
+ var tmp0_iterator = cutCandidates.o();
2299
+ while (tmp0_iterator.p()) {
2300
+ var element = tmp0_iterator.r();
2397
2301
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.performCut.<anonymous>' call
2398
- tmp$ret$0 = ensureNotNull(element.o2w()).v2v_1 <= cutLimit.u31();
2399
- if (tmp$ret$0) {
2302
+ if (ensureNotNull(element.i2y()).p2x_1 <= cutLimit.o33()) {
2400
2303
  tmp$ret$1 = element;
2401
2304
  break $l$block;
2402
2305
  }
@@ -2404,7 +2307,7 @@
2404
2307
  tmp$ret$1 = null;
2405
2308
  }
2406
2309
  var tmp0_safe_receiver = tmp$ret$1;
2407
- tmp_1 = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.p2w();
2310
+ tmp_1 = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.j2y();
2408
2311
  } else {
2409
2312
  tmp_1 = _this__u8e3s4;
2410
2313
  }
@@ -2414,65 +2317,52 @@
2414
2317
  }
2415
2318
  function _get_isTailRecursive__h5eso7(_this__u8e3s4, $this) {
2416
2319
  var tmp;
2417
- if (_this__u8e3s4.o2v_1.wo().zo() ? equals(_this__u8e3s4.f2v_1.get(LastCallOptimization_getInstance()), LastCallOptimization_getInstance().j25_1) : false) {
2418
- var tmp$ret$3;
2320
+ if (_this__u8e3s4.i2x_1.pp().sp() ? equals(_this__u8e3s4.z2w_1.get(LastCallOptimization_getInstance()), LastCallOptimization_getInstance().t26_1) : false) {
2419
2321
  // Inline function 'kotlin.let' call
2420
- var tmp0_let = ensureNotNull(_this__u8e3s4.q2y());
2421
2322
  // Inline function 'kotlin.contracts.contract' call
2422
- var tmp$ret$2;
2423
2323
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.<get-isTailRecursive>.<anonymous>' call
2424
- var tmp0_safe_receiver = tmp0_let.asStruct();
2324
+ var tmp0_safe_receiver = ensureNotNull(_this__u8e3s4.k30()).asStruct();
2425
2325
  var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : extractSignature(tmp0_safe_receiver);
2426
2326
  var tmp_0;
2427
2327
  if (tmp1_safe_receiver == null) {
2428
2328
  tmp_0 = null;
2429
2329
  } else {
2430
- var tmp$ret$1;
2431
2330
  // Inline function 'kotlin.let' call
2432
2331
  // Inline function 'kotlin.contracts.contract' call
2433
- var tmp$ret$0;
2434
2332
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.<get-isTailRecursive>.<anonymous>.<anonymous>' call
2435
2333
  var tmp_1;
2436
- var tmp0_safe_receiver_0 = _this__u8e3s4.c2v_1;
2437
- if (equals(tmp1_safe_receiver, tmp0_safe_receiver_0 == null ? null : extractSignature(tmp0_safe_receiver_0))) {
2438
- tmp_1 = !equals(tmp1_safe_receiver, Companion_getInstance_23().y31_1);
2334
+ var tmp0_safe_receiver_0 = _this__u8e3s4.w2w_1;
2335
+ if (tmp1_safe_receiver.equals(tmp0_safe_receiver_0 == null ? null : extractSignature(tmp0_safe_receiver_0))) {
2336
+ tmp_1 = !tmp1_safe_receiver.equals(Companion_getInstance_7().s33_1);
2439
2337
  } else {
2440
2338
  tmp_1 = false;
2441
2339
  }
2442
- tmp$ret$0 = tmp_1;
2443
- tmp$ret$1 = tmp$ret$0;
2444
- tmp_0 = tmp$ret$1;
2340
+ tmp_0 = tmp_1;
2445
2341
  }
2446
2342
  var tmp2_elvis_lhs = tmp_0;
2447
- tmp$ret$2 = tmp2_elvis_lhs == null ? false : tmp2_elvis_lhs;
2448
- tmp$ret$3 = tmp$ret$2;
2449
- tmp = tmp$ret$3;
2343
+ tmp = tmp2_elvis_lhs == null ? false : tmp2_elvis_lhs;
2450
2344
  } else {
2451
2345
  tmp = false;
2452
2346
  }
2453
2347
  return tmp;
2454
2348
  }
2455
2349
  function selectClauses(_this__u8e3s4, $this, term) {
2456
- var tmp$ret$1;
2457
2350
  // Inline function 'kotlin.let' call
2458
2351
  var tmp = _this__u8e3s4.getByHead(term);
2459
- var tmp0_let = ensureRules(map(tmp, StateRuleSelection$selectClauses$lambda));
2460
2352
  // Inline function 'kotlin.contracts.contract' call
2461
- var tmp$ret$0;
2462
2353
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.selectClauses.<anonymous>' call
2354
+ var it = ensureRules(map(tmp, StateRuleSelection$selectClauses$lambda));
2463
2355
  var tmp_0;
2464
- if (_this__u8e3s4.v1p()) {
2465
- tmp_0 = buffered(tmp0_let);
2356
+ if (_this__u8e3s4.q1q()) {
2357
+ tmp_0 = buffered(it);
2466
2358
  } else {
2467
- tmp_0 = tmp0_let;
2359
+ tmp_0 = it;
2468
2360
  }
2469
- tmp$ret$0 = tmp_0;
2470
- tmp$ret$1 = tmp$ret$0;
2471
- return tmp$ret$1;
2361
+ return tmp_0;
2472
2362
  }
2473
2363
  function StateRuleSelection$performCut$lambda($cutLimit) {
2474
2364
  return function (it) {
2475
- return equals(ensureNotNull(it.o2w()).c2v_1, $cutLimit.l1r());
2365
+ return equals(ensureNotNull(it.i2y()).w2w_1, $cutLimit.s1s());
2476
2366
  };
2477
2367
  }
2478
2368
  function StateRuleSelection$computeNext$lambda(this$0, $currentGoalStruct) {
@@ -2481,34 +2371,32 @@
2481
2371
  };
2482
2372
  }
2483
2373
  function StateRuleSelection$selectClauses$lambda(it) {
2484
- return it.cy();
2374
+ return it.nu();
2485
2375
  }
2486
2376
  function StateRuleSelection(context) {
2487
- Companion_getInstance_23();
2377
+ Companion_getInstance_7();
2488
2378
  AbstractState.call(this, context);
2489
- this.c32_1 = context;
2379
+ this.w33_1 = context;
2490
2380
  }
2491
- protoOf(StateRuleSelection).j5 = function () {
2492
- return this.c32_1;
2381
+ protoOf(StateRuleSelection).jb = function () {
2382
+ return this.w33_1;
2493
2383
  };
2494
- protoOf(StateRuleSelection).w2z = function () {
2495
- var currentGoal = ensureNotNull(this.c32_1.q2y());
2384
+ protoOf(StateRuleSelection).q31 = function () {
2385
+ var currentGoal = ensureNotNull(this.w33_1.k30());
2496
2386
  var tmp;
2497
- if (currentGoal.fu()) {
2498
- tmp = exceptionalState_0(this, Companion_getInstance_17().forGoal(this.c32_1, extractSignature(ensureNotNull(this.c32_1.c2v_1)), currentGoal.castToVar()));
2499
- } else if (currentGoal.oy()) {
2500
- var tmp$ret$5;
2387
+ if (currentGoal.gv()) {
2388
+ tmp = exceptionalState_0(this, Companion_instance_11.forGoal(this.w33_1, extractSignature(ensureNotNull(this.w33_1.w2w_1)), currentGoal.castToVar()));
2389
+ } else if (currentGoal.qu()) {
2501
2390
  // Inline function 'kotlin.with' call
2502
- var tmp0_with = this.c32_1;
2503
2391
  // Inline function 'kotlin.contracts.contract' call
2504
- var tmp$ret$4;
2505
2392
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeNext.<anonymous>' call
2393
+ var $this$with = this.w33_1;
2506
2394
  var currentGoalStruct = currentGoal.castToStruct();
2507
- var ruleSources = sequenceOf([tmp0_with.e2v_1.asTheory(tmp0_with.d2v_1), tmp0_with.g2v_1, tmp0_with.h2v_1]);
2395
+ var ruleSources = sequenceOf([$this$with.y2w_1.asTheory($this$with.x2w_1), $this$with.a2x_1, $this$with.b2x_1]);
2508
2396
  var tmp_0;
2509
- if (currentGoalStruct.gu()) {
2397
+ if (currentGoalStruct.hv()) {
2510
2398
  var tmp_1;
2511
- if (currentGoalStruct.pt()) {
2399
+ if (currentGoalStruct.iu()) {
2512
2400
  tmp_1 = _get_ignoreState__t4wl8y(this);
2513
2401
  } else {
2514
2402
  tmp_1 = _get_failureState__yid9tw_0(this);
@@ -2516,27 +2404,21 @@
2516
2404
  tmp_0 = tmp_1;
2517
2405
  } else {
2518
2406
  if (isCut(currentGoalStruct, this)) {
2519
- var cutLimit = computeCutLimit(tmp0_with, this, currentGoalStruct instanceof MagicCut);
2520
- var tmp$ret$1;
2407
+ var cutLimit = computeCutLimit($this$with, this, currentGoalStruct instanceof MagicCut);
2521
2408
  // Inline function 'kotlin.let' call
2522
- var tmp0_let = _get_ignoreState__t4wl8y(this);
2523
2409
  // Inline function 'kotlin.contracts.contract' call
2524
- var tmp$ret$0;
2525
2410
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeNext.<anonymous>.<anonymous>' call
2526
- tmp$ret$0 = tmp0_let.k30(tmp0_let.z30_1.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, performCut(tmp0_let.z30_1.t2v_1, this, cutLimit)));
2527
- tmp$ret$1 = tmp$ret$0;
2528
- tmp_0 = tmp$ret$1;
2411
+ var it = _get_ignoreState__t4wl8y(this);
2412
+ tmp_0 = it.e32(it.t32_1.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, performCut(it.t32_1.n2x_1, this, cutLimit)));
2529
2413
  } else {
2530
2414
  var tmp$ret$3;
2531
2415
  $l$block: {
2532
2416
  // Inline function 'kotlin.sequences.any' call
2533
- var tmp0_iterator = ruleSources.j();
2534
- while (tmp0_iterator.m()) {
2535
- var element = tmp0_iterator.n();
2536
- var tmp$ret$2;
2417
+ var tmp0_iterator = ruleSources.o();
2418
+ while (tmp0_iterator.p()) {
2419
+ var element = tmp0_iterator.r();
2537
2420
  // Inline function 'it.unibo.tuprolog.solve.classic.fsm.StateRuleSelection.computeNext.<anonymous>.<anonymous>' call
2538
- tmp$ret$2 = element.containsHead(currentGoalStruct);
2539
- if (tmp$ret$2) {
2421
+ if (element.containsHead(currentGoalStruct)) {
2540
2422
  tmp$ret$3 = true;
2541
2423
  break $l$block;
2542
2424
  }
@@ -2546,10 +2428,10 @@
2546
2428
  if (tmp$ret$3) {
2547
2429
  var rules = cursor(flatMap(ruleSources, StateRuleSelection$computeNext$lambda(this, currentGoalStruct)));
2548
2430
  var tmp_2;
2549
- if (_get_isTailRecursive__h5eso7(this.c32_1, this)) {
2550
- tmp_2 = new StateRuleExecution(replaceWithChildAppendingRulesAndChoicePoints(this.c32_1, rules));
2431
+ if (_get_isTailRecursive__h5eso7(this.w33_1, this)) {
2432
+ tmp_2 = new StateRuleExecution(replaceWithChildAppendingRulesAndChoicePoints(this.w33_1, rules));
2551
2433
  } else {
2552
- tmp_2 = new StateRuleExecution(createChildAppendingRulesAndChoicePoints(this.c32_1, rules));
2434
+ tmp_2 = new StateRuleExecution(createChildAppendingRulesAndChoicePoints(this.w33_1, rules));
2553
2435
  }
2554
2436
  tmp_0 = tmp_2;
2555
2437
  } else {
@@ -2557,25 +2439,23 @@
2557
2439
  }
2558
2440
  }
2559
2441
  }
2560
- tmp$ret$4 = tmp_0;
2561
- tmp$ret$5 = tmp$ret$4;
2562
- tmp = tmp$ret$5;
2442
+ tmp = tmp_0;
2563
2443
  } else {
2564
- tmp = exceptionalState_0(this, Companion_getInstance_16().forGoal(this.c32_1, extractSignature(ensureNotNull(this.c32_1.c2v_1)), Expected_CALLABLE_getInstance(), currentGoal));
2444
+ tmp = exceptionalState_0(this, Companion_instance_10.forGoal(this.w33_1, extractSignature(ensureNotNull(this.w33_1.w2w_1)), Expected_CALLABLE_getInstance(), currentGoal));
2565
2445
  }
2566
2446
  return tmp;
2567
2447
  };
2568
- protoOf(StateRuleSelection).b30 = function (context) {
2569
- return this.k30(context);
2448
+ protoOf(StateRuleSelection).v31 = function (context) {
2449
+ return this.e32(context);
2570
2450
  };
2571
- protoOf(StateRuleSelection).k30 = function (context) {
2451
+ protoOf(StateRuleSelection).e32 = function (context) {
2572
2452
  return new StateRuleSelection(context);
2573
2453
  };
2574
2454
  protoOf(StateRuleSelection).toString = function () {
2575
- return 'StateRuleSelection(context=' + this.c32_1 + ')';
2455
+ return 'StateRuleSelection(context=' + this.w33_1 + ')';
2576
2456
  };
2577
2457
  protoOf(StateRuleSelection).hashCode = function () {
2578
- return this.c32_1.hashCode();
2458
+ return this.w33_1.hashCode();
2579
2459
  };
2580
2460
  protoOf(StateRuleSelection).equals = function (other) {
2581
2461
  if (this === other)
@@ -2583,19 +2463,19 @@
2583
2463
  if (!(other instanceof StateRuleSelection))
2584
2464
  return false;
2585
2465
  var tmp0_other_with_cast = other instanceof StateRuleSelection ? other : THROW_CCE();
2586
- if (!this.c32_1.equals(tmp0_other_with_cast.c32_1))
2466
+ if (!this.w33_1.equals(tmp0_other_with_cast.w33_1))
2587
2467
  return false;
2588
2468
  return true;
2589
2469
  };
2590
2470
  function appendRulesAndChoicePoints(_this__u8e3s4, rules) {
2591
2471
  var tmp;
2592
- if (rules.yo()) {
2593
- tmp = appendRules(_this__u8e3s4.t2v_1, rules.wo(), _this__u8e3s4);
2472
+ if (rules.rp()) {
2473
+ tmp = appendRules(_this__u8e3s4.n2x_1, rules.pp(), _this__u8e3s4);
2594
2474
  } else {
2595
- tmp = appendRules(_this__u8e3s4.t2v_1, Companion_getInstance_12().empty(), _this__u8e3s4);
2475
+ tmp = appendRules(_this__u8e3s4.n2x_1, Companion_instance_7.empty(), _this__u8e3s4);
2596
2476
  }
2597
2477
  var newChoicePointContext = tmp;
2598
- return _this__u8e3s4.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, rules, VOID, VOID, VOID, newChoicePointContext);
2478
+ return _this__u8e3s4.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, rules, VOID, VOID, VOID, newChoicePointContext);
2599
2479
  }
2600
2480
  function toGoals(_this__u8e3s4) {
2601
2481
  var tmp = unfoldGoals(_this__u8e3s4);
@@ -2603,8 +2483,8 @@
2603
2483
  }
2604
2484
  function unfoldGoals(_this__u8e3s4) {
2605
2485
  var tmp;
2606
- if (_this__u8e3s4.xt()) {
2607
- var tmp_0 = _this__u8e3s4.castToTuple().hs();
2486
+ if (_this__u8e3s4.vu()) {
2487
+ var tmp_0 = _this__u8e3s4.castToTuple().at();
2608
2488
  tmp = flatMap(tmp_0, unfoldGoals$lambda);
2609
2489
  } else {
2610
2490
  tmp = sequenceOf([_this__u8e3s4]);
@@ -2613,30 +2493,27 @@
2613
2493
  }
2614
2494
  function createChild(_this__u8e3s4, inferProcedureFromGoals) {
2615
2495
  inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
2616
- var currentGoal = ensureNotNull(_this__u8e3s4.q2y()).castToStruct();
2496
+ var currentGoal = ensureNotNull(_this__u8e3s4.k30()).castToStruct();
2617
2497
  var tmp0_goals = toGoals(currentGoal);
2618
- var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.c2v_1;
2619
- var tmp2_depth = _this__u8e3s4.v2v_1 + 1 | 0;
2620
- var tmp$ret$0;
2498
+ var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.w2w_1;
2499
+ var tmp2_depth = _this__u8e3s4.p2x_1 + 1 | 0;
2621
2500
  // Inline function 'kotlin.Long.plus' call
2622
- var tmp0_plus = _this__u8e3s4.w2v_1;
2623
- tmp$ret$0 = tmp0_plus.sf(new Long(1, 0));
2624
- var tmp3_step = tmp$ret$0;
2501
+ var tmp3_step = _this__u8e3s4.q2x_1.ia(toLong(1));
2625
2502
  var tmp4_relevantVariables = emptySet();
2626
- return _this__u8e3s4.t2w(tmp1_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp0_goals, VOID, VOID, VOID, VOID, VOID, _this__u8e3s4, tmp2_depth, tmp3_step, tmp4_relevantVariables);
2503
+ return _this__u8e3s4.n2y(tmp1_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp0_goals, VOID, VOID, VOID, VOID, VOID, _this__u8e3s4, tmp2_depth, tmp3_step, tmp4_relevantVariables);
2627
2504
  }
2628
2505
  function toRequest(_this__u8e3s4, goal, signature, startTime) {
2629
- return new Request(signature, goal.st(), _this__u8e3s4, startTime);
2506
+ return new Request(signature, goal.lu(), _this__u8e3s4, startTime);
2630
2507
  }
2631
2508
  function appendPrimitivesAndChoicePoints(_this__u8e3s4, primitiveExecutions) {
2632
2509
  var tmp;
2633
- if (primitiveExecutions.yo()) {
2634
- tmp = appendPrimitives(_this__u8e3s4.t2v_1, primitiveExecutions.wo(), _this__u8e3s4);
2510
+ if (primitiveExecutions.rp()) {
2511
+ tmp = appendPrimitives(_this__u8e3s4.n2x_1, primitiveExecutions.pp(), _this__u8e3s4);
2635
2512
  } else {
2636
- tmp = appendPrimitives(_this__u8e3s4.t2v_1, Companion_getInstance_12().empty(), _this__u8e3s4);
2513
+ tmp = appendPrimitives(_this__u8e3s4.n2x_1, Companion_instance_7.empty(), _this__u8e3s4);
2637
2514
  }
2638
2515
  var newChoicePointContext = tmp;
2639
- return _this__u8e3s4.t2w(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, primitiveExecutions, VOID, VOID, newChoicePointContext);
2516
+ return _this__u8e3s4.n2y(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, primitiveExecutions, VOID, VOID, newChoicePointContext);
2640
2517
  }
2641
2518
  function replaceWithChildAppendingRulesAndChoicePoints(_this__u8e3s4, rules, inferProcedureFromGoals) {
2642
2519
  inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
@@ -2653,87 +2530,76 @@
2653
2530
  }
2654
2531
  function replaceWithChild(_this__u8e3s4, inferProcedureFromGoals) {
2655
2532
  inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
2656
- var currentGoal = ensureNotNull(_this__u8e3s4.q2y()).castToStruct();
2533
+ var currentGoal = ensureNotNull(_this__u8e3s4.k30()).castToStruct();
2657
2534
  var tmp0_goals = toGoals(currentGoal);
2658
- var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.c2v_1;
2659
- var tmp2_depth = _this__u8e3s4.v2v_1 + 1 | 0;
2660
- var tmp$ret$0;
2535
+ var tmp1_procedure = inferProcedureFromGoals ? currentGoal : _this__u8e3s4.w2w_1;
2536
+ var tmp2_depth = _this__u8e3s4.p2x_1 + 1 | 0;
2661
2537
  // Inline function 'kotlin.Long.plus' call
2662
- var tmp0_plus = _this__u8e3s4.w2v_1;
2663
- tmp$ret$0 = tmp0_plus.sf(new Long(1, 0));
2664
- var tmp3_step = tmp$ret$0;
2665
- return _this__u8e3s4.t2w(tmp1_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp0_goals, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_depth, tmp3_step);
2538
+ var tmp3_step = _this__u8e3s4.q2x_1.ia(toLong(1));
2539
+ return _this__u8e3s4.n2y(tmp1_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp0_goals, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_depth, tmp3_step);
2666
2540
  }
2667
2541
  function toGoals$lambda(it) {
2668
- return it.fu() ? Companion_getInstance_8().of('call', [it]) : it;
2542
+ return it.gv() ? Companion_getInstance_1().of('call', [it]) : it;
2669
2543
  }
2670
2544
  function unfoldGoals$lambda(it) {
2671
2545
  return unfoldGoals(it);
2672
2546
  }
2673
2547
  function ensureRules$lambda(it) {
2674
2548
  // Inline function 'kotlin.require' call
2675
- var tmp0_require = it.wt();
2676
2549
  // Inline function 'kotlin.contracts.contract' call
2677
2550
  // Inline function 'kotlin.require' call
2678
2551
  // Inline function 'kotlin.contracts.contract' call
2679
- if (!tmp0_require) {
2680
- var tmp$ret$0;
2552
+ if (!it.su()) {
2681
2553
  // Inline function 'kotlin.require.<anonymous>' call
2682
- tmp$ret$0 = 'Failed requirement.';
2683
- var message = tmp$ret$0;
2554
+ var message = 'Failed requirement.';
2684
2555
  throw IllegalArgumentException_init_$Create$(toString(message));
2685
2556
  }
2686
2557
  return it.castToRule();
2687
2558
  }
2688
2559
  function AbstractSolutionIterator(state) {
2689
- this.d32_1 = state;
2690
- this.e32_1 = new Long(0, 0);
2560
+ this.x33_1 = state;
2561
+ this.y33_1 = new Long(0, 0);
2691
2562
  }
2692
- protoOf(AbstractSolutionIterator).m = function () {
2693
- var tmp$ret$1;
2563
+ protoOf(AbstractSolutionIterator).p = function () {
2694
2564
  // Inline function 'kotlin.let' call
2695
- var tmp0_let = this.d32_1;
2696
2565
  // Inline function 'kotlin.contracts.contract' call
2697
- var tmp$ret$0;
2698
2566
  // Inline function 'it.unibo.tuprolog.solve.classic.impl.AbstractSolutionIterator.hasNext.<anonymous>' call
2699
- tmp$ret$0 = !tmp0_let.x2z() ? true : tmp0_let.castToEndState().a2x();
2700
- tmp$ret$1 = tmp$ret$0;
2701
- return tmp$ret$1;
2567
+ var it = this.x33_1;
2568
+ return !it.r31() ? true : it.castToEndState().u2y();
2702
2569
  };
2703
- protoOf(AbstractSolutionIterator).n = function () {
2570
+ protoOf(AbstractSolutionIterator).r = function () {
2704
2571
  do {
2705
- var previousState = this.d32_1;
2572
+ var previousState = this.x33_1;
2706
2573
  var tmp = this;
2707
- var tmp_0 = this.d32_1;
2708
- var tmp0_this = this;
2709
- tmp0_this.e32_1 = tmp0_this.e32_1.xf();
2710
- tmp.d32_1 = this.f32(tmp_0, tmp0_this.e32_1);
2711
- this.onStateTransition(previousState, this.d32_1, this.e32_1);
2574
+ var tmp_0 = this.x33_1;
2575
+ this.y33_1 = this.y33_1.na();
2576
+ tmp.x33_1 = this.z33(tmp_0, this.y33_1);
2577
+ this.onStateTransition(previousState, this.x33_1, this.y33_1);
2712
2578
  }
2713
- while (!this.d32_1.x2z());
2714
- return this.d32_1.castToEndState().g2e().cleanUp();
2579
+ while (!this.x33_1.r31());
2580
+ return this.x33_1.castToEndState().z2f().cleanUp();
2715
2581
  };
2716
2582
  function SimpleSolutionIterator(state, onStateTransitionCallback) {
2717
2583
  AbstractSolutionIterator.call(this, state);
2718
- this.i32_1 = onStateTransitionCallback;
2584
+ this.c34_1 = onStateTransitionCallback;
2719
2585
  }
2720
- protoOf(SimpleSolutionIterator).f32 = function (state, step) {
2586
+ protoOf(SimpleSolutionIterator).z33 = function (state, step) {
2721
2587
  return state.next();
2722
2588
  };
2723
- protoOf(SimpleSolutionIterator).j32 = function (source, destination, index) {
2724
- return this.i32_1(source, destination, index);
2589
+ protoOf(SimpleSolutionIterator).d34 = function (source, destination, index) {
2590
+ return this.c34_1(source, destination, index);
2725
2591
  };
2726
2592
  protoOf(SimpleSolutionIterator).onStateTransition = function (source, destination, index) {
2727
- return this.j32(source, destination, index);
2593
+ return this.d34(source, destination, index);
2728
2594
  };
2729
2595
  function DefaultBuiltins() {
2730
2596
  DefaultBuiltins_instance = this;
2731
2597
  ExtensionLibrary.call(this, CommonBuiltins_getInstance());
2732
2598
  }
2733
- protoOf(DefaultBuiltins).s2a = function () {
2599
+ protoOf(DefaultBuiltins).l2c = function () {
2734
2600
  return listOf(Throw_getInstance());
2735
2601
  };
2736
- protoOf(DefaultBuiltins).r2a = function () {
2602
+ protoOf(DefaultBuiltins).k2c = function () {
2737
2603
  return listOf_0([Catch_getInstance(), Call_getInstance(), Comma_getInstance(), Cut_getInstance(), Fail_getInstance(), Success_getInstance()]);
2738
2604
  };
2739
2605
  var DefaultBuiltins_instance;
@@ -2747,22 +2613,22 @@
2747
2613
  var tmp_0;
2748
2614
  var tmp_1;
2749
2615
  if (isInterface(error, Struct)) {
2750
- tmp_1 = error.rt() === 'error';
2616
+ tmp_1 = error.ku() === 'error';
2751
2617
  } else {
2752
2618
  tmp_1 = false;
2753
2619
  }
2754
2620
  if (tmp_1) {
2755
- var containsArg = error.lt();
2621
+ var containsArg = error.eu();
2756
2622
  tmp_0 = 1 <= containsArg ? containsArg <= 2 : false;
2757
2623
  } else {
2758
2624
  tmp_0 = false;
2759
2625
  }
2760
2626
  if (tmp_0) {
2761
- var tmp_2 = Companion_getInstance_20();
2627
+ var tmp_2 = Companion_instance_14;
2762
2628
  var tmp_3 = error.get(0);
2763
- tmp = tmp_2.of(VOID, VOID, context, isInterface(tmp_3, Struct) ? tmp_3 : THROW_CCE(), error.lt() > 1 ? error.get(1) : null);
2629
+ tmp = tmp_2.of(VOID, VOID, context, isInterface(tmp_3, Struct) ? tmp_3 : THROW_CCE(), error.eu() > 1 ? error.get(1) : null);
2764
2630
  } else {
2765
- tmp = Companion_getInstance_19().f23(error, context);
2631
+ tmp = Companion_instance_13.o24(error, context);
2766
2632
  }
2767
2633
  return tmp;
2768
2634
  }
@@ -2770,11 +2636,11 @@
2770
2636
  Throw_instance = this;
2771
2637
  UnaryPredicate.call(this, 'throw');
2772
2638
  }
2773
- protoOf(Throw).x2k = function (_this__u8e3s4, first) {
2774
- return sequenceOf([Companion_getInstance_21().s2b(_this__u8e3s4).replyException(handleError(this, _this__u8e3s4.context, _this__u8e3s4.arguments.o(0)), VOID, [])]);
2639
+ protoOf(Throw).q2m = function (_this__u8e3s4, first) {
2640
+ return sequenceOf([Companion_getInstance_5().l2d(_this__u8e3s4).replyException(handleError(this, _this__u8e3s4.context, _this__u8e3s4.arguments.a1(0)), VOID, [])]);
2775
2641
  };
2776
- protoOf(Throw).x2e = function (_this__u8e3s4, first) {
2777
- return this.x2k(_this__u8e3s4, first);
2642
+ protoOf(Throw).q2g = function (_this__u8e3s4, first) {
2643
+ return this.q2m(_this__u8e3s4, first);
2778
2644
  };
2779
2645
  var Throw_instance;
2780
2646
  function Throw_getInstance() {
@@ -2786,14 +2652,12 @@
2786
2652
  Call_instance = this;
2787
2653
  RuleWrapper_init_$Init$('call', 1, VOID, this);
2788
2654
  }
2789
- protoOf(Call).b2f = function (_this__u8e3s4) {
2790
- return _this__u8e3s4.ktListOf([_this__u8e3s4.varOf('G')]);
2655
+ protoOf(Call).u2g = function (_this__u8e3s4) {
2656
+ return listOf(_this__u8e3s4.varOf('G'));
2791
2657
  };
2792
- protoOf(Call).c2f = function (_this__u8e3s4) {
2793
- var tmp$ret$0;
2658
+ protoOf(Call).v2g = function (_this__u8e3s4) {
2794
2659
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
2795
- var tmp0__get_functor__thl4dk = EnsureExecutable_getInstance();
2796
- tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
2660
+ var tmp$ret$0 = EnsureExecutable_getInstance().signature.name;
2797
2661
  return _this__u8e3s4.tupleOf([_this__u8e3s4.structOf(tmp$ret$0, [_this__u8e3s4.varOf('G')]), _this__u8e3s4.varOf('G')]);
2798
2662
  };
2799
2663
  var Call_instance;
@@ -2806,10 +2670,10 @@
2806
2670
  Catch_instance = this;
2807
2671
  RuleWrapper_init_$Init$('catch', 3, VOID, this);
2808
2672
  }
2809
- protoOf(Catch).b2f = function (_this__u8e3s4) {
2810
- return _this__u8e3s4.ktListOf([_this__u8e3s4.varOf('G'), _this__u8e3s4.varOf('E'), _this__u8e3s4.varOf('C')]);
2673
+ protoOf(Catch).u2g = function (_this__u8e3s4) {
2674
+ return listOf_0([_this__u8e3s4.varOf('G'), _this__u8e3s4.varOf('E'), _this__u8e3s4.varOf('C')]);
2811
2675
  };
2812
- protoOf(Catch).c2f = function (_this__u8e3s4) {
2676
+ protoOf(Catch).v2g = function (_this__u8e3s4) {
2813
2677
  return _this__u8e3s4.varOf('G');
2814
2678
  };
2815
2679
  var Catch_instance;
@@ -2822,10 +2686,10 @@
2822
2686
  Comma_instance = this;
2823
2687
  RuleWrapper_init_$Init$(',', 2, VOID, this);
2824
2688
  }
2825
- protoOf(Comma).b2f = function (_this__u8e3s4) {
2826
- return _this__u8e3s4.ktListOf([_this__u8e3s4.varOf('A'), _this__u8e3s4.varOf('B')]);
2689
+ protoOf(Comma).u2g = function (_this__u8e3s4) {
2690
+ return listOf_0([_this__u8e3s4.varOf('A'), _this__u8e3s4.varOf('B')]);
2827
2691
  };
2828
- protoOf(Comma).c2f = function (_this__u8e3s4) {
2692
+ protoOf(Comma).v2g = function (_this__u8e3s4) {
2829
2693
  return _this__u8e3s4.tupleOf([_this__u8e3s4.varOf('A'), _this__u8e3s4.varOf('B')]);
2830
2694
  };
2831
2695
  var Comma_instance;
@@ -2848,16 +2712,12 @@
2848
2712
  Fail_instance = this;
2849
2713
  NegationAsFailure.call(this);
2850
2714
  }
2851
- protoOf(Fail).c2f = function (_this__u8e3s4) {
2852
- var tmp$ret$0;
2715
+ protoOf(Fail).v2g = function (_this__u8e3s4) {
2853
2716
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
2854
- var tmp0__get_functor__thl4dk = EnsureExecutable_getInstance();
2855
- tmp$ret$0 = tmp0__get_functor__thl4dk.signature.name;
2717
+ var tmp$ret$0 = EnsureExecutable_getInstance().signature.name;
2856
2718
  var tmp = _this__u8e3s4.structOf(tmp$ret$0, [_this__u8e3s4.varOf('X')]);
2857
- var tmp$ret$1;
2858
2719
  // Inline function 'it.unibo.tuprolog.solve.AbstractWrapper.functor' call
2859
- var tmp1__get_functor__4k11yf = Call_getInstance();
2860
- tmp$ret$1 = tmp1__get_functor__4k11yf.signature.name;
2720
+ var tmp$ret$1 = Call_getInstance().signature.name;
2861
2721
  return _this__u8e3s4.tupleOf([tmp, _this__u8e3s4.structOf(tmp$ret$1, [_this__u8e3s4.varOf('X')]), MagicCut_getInstance(), _this__u8e3s4.truthOf(false)]);
2862
2722
  };
2863
2723
  var Fail_instance;
@@ -2870,7 +2730,7 @@
2870
2730
  Success_instance = this;
2871
2731
  NegationAsFailure.call(this);
2872
2732
  }
2873
- protoOf(Success).c2f = function (_this__u8e3s4) {
2733
+ protoOf(Success).v2g = function (_this__u8e3s4) {
2874
2734
  return _this__u8e3s4.truthOf(true);
2875
2735
  };
2876
2736
  var Success_instance;
@@ -2880,155 +2740,65 @@
2880
2740
  return Success_instance;
2881
2741
  }
2882
2742
  function Companion_1() {
2883
- Companion_instance_1 = this;
2884
- this.j33_1 = '\\+';
2885
- this.k33_1 = 1;
2743
+ this.d35_1 = '\\+';
2744
+ this.e35_1 = 1;
2886
2745
  }
2887
- var Companion_instance_1;
2888
- function Companion_getInstance_24() {
2889
- if (Companion_instance_1 == null)
2890
- new Companion_1();
2891
- return Companion_instance_1;
2746
+ var Companion_instance_17;
2747
+ function Companion_getInstance_8() {
2748
+ return Companion_instance_17;
2892
2749
  }
2893
2750
  function NegationAsFailure() {
2894
- Companion_getInstance_24();
2895
- Companion_getInstance_24();
2896
- Companion_getInstance_24();
2897
2751
  RuleWrapper_init_$Init$('\\+', 1, VOID, this);
2898
2752
  }
2899
- protoOf(NegationAsFailure).b2f = function (_this__u8e3s4) {
2900
- return _this__u8e3s4.ktListOf([_this__u8e3s4.varOf('X')]);
2753
+ protoOf(NegationAsFailure).u2g = function (_this__u8e3s4) {
2754
+ return listOf(_this__u8e3s4.varOf('X'));
2901
2755
  };
2902
2756
  //region block: post-declaration
2903
- protoOf(AbstractClassicSolver).copy = copy;
2904
- protoOf(AbstractClassicSolver).solveWithTimeout = solveWithTimeout;
2905
- protoOf(AbstractClassicSolver).solve = solve;
2906
- protoOf(AbstractClassicSolver).solveListWithTimeout = solveListWithTimeout;
2907
- protoOf(AbstractClassicSolver).solveList = solveList;
2908
- protoOf(AbstractClassicSolver).solveListWithOptions = solveListWithOptions;
2909
- protoOf(AbstractClassicSolver).solveOnceWithTimeout = solveOnceWithTimeout;
2910
- protoOf(AbstractClassicSolver).solveOnce = solveOnce;
2911
- protoOf(AbstractClassicSolver).solveOnceWithOptions = solveOnceWithOptions;
2912
- protoOf(AbstractClassicSolver).z1r = get_standardInput;
2913
- protoOf(AbstractClassicSolver).b1s = get_standardOutput;
2914
- protoOf(AbstractClassicSolver).d1s = get_standardError;
2915
- protoOf(AbstractClassicSolver).f1s = get_warnings;
2916
2757
  protoOf(ClassicExecutionContext).createSolver = createSolver;
2917
2758
  protoOf(ClassicExecutionContext).update = update;
2918
- protoOf(ClassicExecutionContext).z1r = get_standardInput;
2919
- protoOf(ClassicExecutionContext).b1s = get_standardOutput;
2920
- protoOf(ClassicExecutionContext).d1s = get_standardError;
2921
- protoOf(ClassicExecutionContext).f1s = get_warnings;
2922
- protoOf(ClassicExecutionContext).h1r = get_endTime;
2923
- protoOf(ClassicExecutionContext).j1r = get_remainingTime;
2924
- protoOf(ClassicExecutionContext).k1r = get_elapsedTime;
2925
- protoOf(ClassicSolver).copy = copy;
2926
- protoOf(ClassicSolver).solveWithTimeout = solveWithTimeout;
2927
- protoOf(ClassicSolver).solve = solve;
2928
- protoOf(ClassicSolver).solveListWithTimeout = solveListWithTimeout;
2929
- protoOf(ClassicSolver).solveList = solveList;
2930
- protoOf(ClassicSolver).solveListWithOptions = solveListWithOptions;
2931
- protoOf(ClassicSolver).solveOnceWithTimeout = solveOnceWithTimeout;
2932
- protoOf(ClassicSolver).solveOnce = solveOnce;
2933
- protoOf(ClassicSolver).solveOnceWithOptions = solveOnceWithOptions;
2934
- protoOf(ClassicSolver).z1r = get_standardInput;
2935
- protoOf(ClassicSolver).b1s = get_standardOutput;
2936
- protoOf(ClassicSolver).d1s = get_standardError;
2937
- protoOf(ClassicSolver).f1s = get_warnings;
2759
+ protoOf(ClassicExecutionContext).g1t = get_standardInput;
2760
+ protoOf(ClassicExecutionContext).h1t = get_standardOutput;
2761
+ protoOf(ClassicExecutionContext).i1t = get_standardError;
2762
+ protoOf(ClassicExecutionContext).j1t = get_warnings;
2763
+ protoOf(ClassicExecutionContext).o1s = get_endTime;
2764
+ protoOf(ClassicExecutionContext).q1s = get_remainingTime;
2765
+ protoOf(ClassicExecutionContext).r1s = get_elapsedTime;
2938
2766
  protoOf(ClassicSolverFactory).rawSolverOf = rawSolverOf;
2939
2767
  protoOf(ClassicSolverFactory).solverOf = solverOf;
2940
2768
  protoOf(ClassicSolverFactory).mutableSolverOf = mutableSolverOf;
2941
2769
  protoOf(ClassicSolverFactory).rawMutableSolverOf = rawMutableSolverOf;
2942
2770
  protoOf(ClassicSolverFactory).newBuilder = newBuilder;
2943
- protoOf(ClassicSolverFactory).m1u = get_defaultRuntime;
2944
- protoOf(ClassicSolverFactory).o1u = get_defaultUnificator;
2945
- protoOf(ClassicSolverFactory).p1u = get_defaultFlags;
2946
- protoOf(ClassicSolverFactory).s1u = get_defaultStaticKb;
2947
- protoOf(ClassicSolverFactory).t1u = get_defaultDynamicKb;
2948
- protoOf(ClassicSolverFactory).u1u = get_defaultInputChannel;
2949
- protoOf(ClassicSolverFactory).v1u = get_defaultOutputChannel;
2950
- protoOf(ClassicSolverFactory).w1u = get_defaultErrorChannel;
2951
- protoOf(ClassicSolverFactory).x1u = get_defaultWarningsChannel;
2952
- protoOf(ClassicSolverFactory).f1v = solverWithDefaultBuiltins;
2771
+ protoOf(ClassicSolverFactory).v1v = get_defaultRuntime;
2772
+ protoOf(ClassicSolverFactory).x1v = get_defaultUnificator;
2773
+ protoOf(ClassicSolverFactory).y1v = get_defaultFlags;
2774
+ protoOf(ClassicSolverFactory).b1w = get_defaultStaticKb;
2775
+ protoOf(ClassicSolverFactory).c1w = get_defaultDynamicKb;
2776
+ protoOf(ClassicSolverFactory).d1w = get_defaultInputChannel;
2777
+ protoOf(ClassicSolverFactory).e1w = get_defaultOutputChannel;
2778
+ protoOf(ClassicSolverFactory).f1w = get_defaultErrorChannel;
2779
+ protoOf(ClassicSolverFactory).g1w = get_defaultWarningsChannel;
2780
+ protoOf(ClassicSolverFactory).o1w = solverWithDefaultBuiltins;
2953
2781
  protoOf(ClassicSolverFactory).solverWithDefaultBuiltinsAnd = solverWithDefaultBuiltinsAnd;
2954
- protoOf(ClassicSolverFactory).h1v = mutableSolverWithDefaultBuiltins;
2782
+ protoOf(ClassicSolverFactory).q1w = mutableSolverWithDefaultBuiltins;
2955
2783
  protoOf(ClassicSolverFactory).mutableSolverWithDefaultBuiltinsAnd = mutableSolverWithDefaultBuiltinsAnd;
2956
- protoOf(MutableClassicSolver).copy = copy;
2957
- protoOf(MutableClassicSolver).solveWithTimeout = solveWithTimeout;
2958
- protoOf(MutableClassicSolver).solve = solve;
2959
- protoOf(MutableClassicSolver).solveListWithTimeout = solveListWithTimeout;
2960
- protoOf(MutableClassicSolver).solveList = solveList;
2961
- protoOf(MutableClassicSolver).solveListWithOptions = solveListWithOptions;
2962
- protoOf(MutableClassicSolver).solveOnceWithTimeout = solveOnceWithTimeout;
2963
- protoOf(MutableClassicSolver).solveOnce = solveOnce;
2964
- protoOf(MutableClassicSolver).solveOnceWithOptions = solveOnceWithOptions;
2965
- protoOf(MutableClassicSolver).z1r = get_standardInput;
2966
- protoOf(MutableClassicSolver).b1s = get_standardOutput;
2967
- protoOf(MutableClassicSolver).d1s = get_standardError;
2968
- protoOf(MutableClassicSolver).f1s = get_warnings;
2969
2784
  protoOf(MutableClassicSolver).loadStaticClauses = loadStaticClauses;
2970
2785
  protoOf(MutableClassicSolver).loadStaticClausesIterable = loadStaticClausesIterable;
2971
2786
  protoOf(MutableClassicSolver).loadStaticClausesSequence = loadStaticClausesSequence;
2972
2787
  protoOf(MutableClassicSolver).loadDynamicClauses = loadDynamicClauses;
2973
2788
  protoOf(MutableClassicSolver).loadDynamicClausesIterable = loadDynamicClausesIterable;
2974
2789
  protoOf(MutableClassicSolver).loadDynamicClausesSequence = loadDynamicClausesSequence;
2975
- protoOf(AbstractState).x2z = get_isEndState;
2790
+ protoOf(AbstractState).r31 = get_isEndState;
2976
2791
  protoOf(AbstractState).asEndState = asEndState;
2977
2792
  protoOf(AbstractState).castToEndState = castToEndState;
2978
2793
  protoOf(AbstractState).clone = clone;
2979
- protoOf(AbstractEndState).a2x = get_hasOpenAlternatives;
2980
- protoOf(AbstractEndState).x2z = get_isEndState_0;
2981
- protoOf(AbstractEndState).y2z = asEndState_0;
2982
- protoOf(AbstractEndState).castToEndState = castToEndState;
2983
- protoOf(AbstractEndState).clone = clone;
2984
- protoOf(StateBacktracking).clone = clone;
2985
- protoOf(StateBacktracking).x2z = get_isEndState;
2986
- protoOf(StateBacktracking).asEndState = asEndState;
2987
- protoOf(StateBacktracking).castToEndState = castToEndState;
2988
- protoOf(StateEnd).clone = clone;
2989
- protoOf(StateEnd).a2x = get_hasOpenAlternatives;
2990
- protoOf(StateEnd).x2z = get_isEndState_0;
2991
- protoOf(StateEnd).y2z = asEndState_0;
2992
- protoOf(StateEnd).castToEndState = castToEndState;
2993
- protoOf(StateException).clone = clone;
2994
- protoOf(StateException).x2z = get_isEndState;
2995
- protoOf(StateException).asEndState = asEndState;
2996
- protoOf(StateException).castToEndState = castToEndState;
2997
- protoOf(StateGoalSelection).clone = clone;
2998
- protoOf(StateGoalSelection).x2z = get_isEndState;
2999
- protoOf(StateGoalSelection).asEndState = asEndState;
3000
- protoOf(StateGoalSelection).castToEndState = castToEndState;
3001
- protoOf(StateHalt).clone = clone;
3002
- protoOf(StateHalt).x2z = get_isEndState_0;
3003
- protoOf(StateHalt).y2z = asEndState_0;
3004
- protoOf(StateHalt).castToEndState = castToEndState;
3005
- protoOf(StateHalt).a2x = get_hasOpenAlternatives;
3006
- protoOf(StateInit).clone = clone;
3007
- protoOf(StateInit).x2z = get_isEndState;
3008
- protoOf(StateInit).asEndState = asEndState;
3009
- protoOf(StateInit).castToEndState = castToEndState;
3010
- protoOf(StatePrimitiveExecution).clone = clone;
3011
- protoOf(StatePrimitiveExecution).x2z = get_isEndState;
3012
- protoOf(StatePrimitiveExecution).asEndState = asEndState;
3013
- protoOf(StatePrimitiveExecution).castToEndState = castToEndState;
3014
- protoOf(StatePrimitiveSelection).clone = clone;
3015
- protoOf(StatePrimitiveSelection).x2z = get_isEndState;
3016
- protoOf(StatePrimitiveSelection).asEndState = asEndState;
3017
- protoOf(StatePrimitiveSelection).castToEndState = castToEndState;
3018
- protoOf(StateRuleExecution).clone = clone;
3019
- protoOf(StateRuleExecution).x2z = get_isEndState;
3020
- protoOf(StateRuleExecution).asEndState = asEndState;
3021
- protoOf(StateRuleExecution).castToEndState = castToEndState;
3022
- protoOf(StateRuleSelection).clone = clone;
3023
- protoOf(StateRuleSelection).x2z = get_isEndState;
3024
- protoOf(StateRuleSelection).asEndState = asEndState;
3025
- protoOf(StateRuleSelection).castToEndState = castToEndState;
3026
- protoOf(DefaultBuiltins).containsSignature = containsSignature;
3027
- protoOf(DefaultBuiltins).containsOperator = containsOperator;
3028
- protoOf(DefaultBuiltins).hasPrimitive = hasPrimitive;
3029
- protoOf(DefaultBuiltins).hasFunction = hasFunction;
3030
- protoOf(DefaultBuiltins).g2a = get_ruleSignatures;
3031
- protoOf(DefaultBuiltins).hasProtected = hasProtected;
2794
+ protoOf(AbstractEndState).u2y = get_hasOpenAlternatives;
2795
+ protoOf(AbstractEndState).r31 = get_isEndState_0;
2796
+ protoOf(AbstractEndState).s31 = asEndState_0;
2797
+ //endregion
2798
+ //region block: init
2799
+ ClassicSolverFactory_instance = new ClassicSolverFactory();
2800
+ Companion_instance_15 = new Companion();
2801
+ Companion_instance_17 = new Companion_1();
3032
2802
  //endregion
3033
2803
  //region block: exports
3034
2804
  function $jsExportAll$(_) {