@tuprolog/arg2p-core 0.13.2 → 0.14.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/2p-core.js +94 -94
- package/2p-core.js.map +1 -1
- package/2p-solve-classic.js +46 -46
- package/2p-solve-classic.js.map +1 -1
- package/2p-solve.js +134 -134
- package/2p-solve.js.map +1 -1
- package/2p-theory.js +57 -57
- package/2p-theory.js.map +1 -1
- package/2p-unify.js +40 -40
- package/2p-unify.js.map +1 -1
- package/2p-utils.js +56 -56
- package/2p-utils.js.map +1 -1
- package/arg2p-core.js +8 -4
- package/arg2p-core.js.map +1 -1
- package/kotlin-kotlin-stdlib.js +953 -925
- package/kotlin-kotlin-stdlib.js.map +1 -1
- package/kt-math.js +114 -112
- package/kt-math.js.map +1 -1
- package/package.json +1 -1
package/2p-core.js
CHANGED
|
@@ -19,50 +19,50 @@
|
|
|
19
19
|
'use strict';
|
|
20
20
|
//region block: imports
|
|
21
21
|
var imul = Math.imul;
|
|
22
|
-
var protoOf = kotlin_kotlin.$_$.
|
|
23
|
-
var initMetadataForInterface = kotlin_kotlin.$_$.
|
|
24
|
-
var initMetadataForCompanion = kotlin_kotlin.$_$.
|
|
22
|
+
var protoOf = kotlin_kotlin.$_$.a6;
|
|
23
|
+
var initMetadataForInterface = kotlin_kotlin.$_$.p5;
|
|
24
|
+
var initMetadataForCompanion = kotlin_kotlin.$_$.o5;
|
|
25
25
|
var emptyList = kotlin_kotlin.$_$.e2;
|
|
26
|
-
var emptySequence = kotlin_kotlin.$_$.
|
|
27
|
-
var THROW_CCE = kotlin_kotlin.$_$.
|
|
28
|
-
var isInterface = kotlin_kotlin.$_$.
|
|
26
|
+
var emptySequence = kotlin_kotlin.$_$.c7;
|
|
27
|
+
var THROW_CCE = kotlin_kotlin.$_$.t9;
|
|
28
|
+
var isInterface = kotlin_kotlin.$_$.u5;
|
|
29
29
|
var VOID = kotlin_kotlin.$_$.b;
|
|
30
30
|
var toList = kotlin_kotlin.$_$.u3;
|
|
31
31
|
var single = kotlin_kotlin.$_$.q3;
|
|
32
32
|
var toList_0 = kotlin_kotlin.$_$.t3;
|
|
33
|
-
var toList_1 = kotlin_kotlin.$_$.
|
|
34
|
-
var initMetadataForClass = kotlin_kotlin.$_$.
|
|
33
|
+
var toList_1 = kotlin_kotlin.$_$.d8;
|
|
34
|
+
var initMetadataForClass = kotlin_kotlin.$_$.n5;
|
|
35
35
|
var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.w;
|
|
36
|
-
var map = kotlin_kotlin.$_$.
|
|
36
|
+
var map = kotlin_kotlin.$_$.q7;
|
|
37
37
|
var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.c1;
|
|
38
38
|
var KtMap = kotlin_kotlin.$_$.m1;
|
|
39
|
-
var ensureNotNull = kotlin_kotlin.$_$.
|
|
39
|
+
var ensureNotNull = kotlin_kotlin.$_$.w9;
|
|
40
40
|
var listOf = kotlin_kotlin.$_$.u2;
|
|
41
41
|
var asIterable = kotlin_kotlin.$_$.r1;
|
|
42
42
|
var any = kotlin_kotlin.$_$.q1;
|
|
43
|
-
var toString = kotlin_kotlin.$_$.
|
|
43
|
+
var toString = kotlin_kotlin.$_$.d6;
|
|
44
44
|
var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
|
|
45
45
|
var Unit_instance = kotlin_kotlin.$_$.j1;
|
|
46
|
-
var asIterable_0 = kotlin_kotlin.$_$.
|
|
46
|
+
var asIterable_0 = kotlin_kotlin.$_$.w6;
|
|
47
47
|
var arrayConcat = kotlin_kotlin.$_$.a;
|
|
48
|
-
var until = kotlin_kotlin.$_$.
|
|
48
|
+
var until = kotlin_kotlin.$_$.p6;
|
|
49
49
|
var collectionSizeOrDefault = kotlin_kotlin.$_$.x1;
|
|
50
50
|
var ArrayList_init_$Create$ = kotlin_kotlin.$_$.c;
|
|
51
51
|
var Companion_getInstance = kotlin_io_github_gciatto_kt_math.$_$.e;
|
|
52
|
-
var fromInt = kotlin_kotlin.$_$.
|
|
52
|
+
var fromInt = kotlin_kotlin.$_$.n4;
|
|
53
53
|
var Companion_getInstance_0 = kotlin_io_github_gciatto_kt_math.$_$.d;
|
|
54
54
|
var cursor = kotlin_it_unibo_tuprolog_utils.$_$.s;
|
|
55
55
|
var KtList = kotlin_kotlin.$_$.l1;
|
|
56
56
|
var cursor_0 = kotlin_it_unibo_tuprolog_utils.$_$.t;
|
|
57
57
|
var cursor_1 = kotlin_it_unibo_tuprolog_utils.$_$.u;
|
|
58
|
-
var toString_0 = kotlin_kotlin.$_$.
|
|
58
|
+
var toString_0 = kotlin_kotlin.$_$.ca;
|
|
59
59
|
var asReversed = kotlin_kotlin.$_$.s1;
|
|
60
60
|
var last = kotlin_kotlin.$_$.q2;
|
|
61
|
-
var count = kotlin_kotlin.$_$.
|
|
62
|
-
var NumberFormatException = kotlin_kotlin.$_$.
|
|
63
|
-
var contains = kotlin_kotlin.$_$.
|
|
61
|
+
var count = kotlin_kotlin.$_$.z6;
|
|
62
|
+
var NumberFormatException = kotlin_kotlin.$_$.q9;
|
|
63
|
+
var contains = kotlin_kotlin.$_$.l8;
|
|
64
64
|
var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
|
|
65
|
-
var toCharArray = kotlin_kotlin.$_$.
|
|
65
|
+
var toCharArray = kotlin_kotlin.$_$.b9;
|
|
66
66
|
var asSequence = kotlin_kotlin.$_$.t1;
|
|
67
67
|
var emptyMap = kotlin_kotlin.$_$.f2;
|
|
68
68
|
var first = kotlin_kotlin.$_$.i2;
|
|
@@ -70,33 +70,33 @@
|
|
|
70
70
|
var slice = kotlin_kotlin.$_$.s3;
|
|
71
71
|
var listOfNotNull = kotlin_kotlin.$_$.s2;
|
|
72
72
|
var plus = kotlin_kotlin.$_$.l3;
|
|
73
|
-
var equals = kotlin_kotlin.$_$.
|
|
74
|
-
var flatMap = kotlin_kotlin.$_$.
|
|
73
|
+
var equals = kotlin_kotlin.$_$.h5;
|
|
74
|
+
var flatMap = kotlin_kotlin.$_$.i7;
|
|
75
75
|
var asSequence_0 = kotlin_kotlin.$_$.v1;
|
|
76
|
-
var to = kotlin_kotlin.$_$.
|
|
76
|
+
var to = kotlin_kotlin.$_$.da;
|
|
77
77
|
var mapOf = kotlin_kotlin.$_$.w2;
|
|
78
|
-
var sequenceOf = kotlin_kotlin.$_$.
|
|
78
|
+
var sequenceOf = kotlin_kotlin.$_$.v7;
|
|
79
79
|
var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
|
|
80
|
-
var getKClass = kotlin_kotlin.$_$.
|
|
80
|
+
var getKClass = kotlin_kotlin.$_$.r6;
|
|
81
81
|
var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.o;
|
|
82
82
|
var Taggable = kotlin_it_unibo_tuprolog_utils.$_$.n;
|
|
83
83
|
var Castable = kotlin_it_unibo_tuprolog_utils.$_$.f;
|
|
84
84
|
var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.d;
|
|
85
85
|
var firstOrNull = kotlin_kotlin.$_$.h2;
|
|
86
86
|
var CoroutineImpl = kotlin_kotlin.$_$.e4;
|
|
87
|
-
var SequenceScope = kotlin_kotlin.$_$.
|
|
87
|
+
var SequenceScope = kotlin_kotlin.$_$.t6;
|
|
88
88
|
var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.d4;
|
|
89
|
-
var initMetadataForLambda = kotlin_kotlin.$_$.
|
|
90
|
-
var none = kotlin_kotlin.$_$.
|
|
89
|
+
var initMetadataForLambda = kotlin_kotlin.$_$.q5;
|
|
90
|
+
var none = kotlin_kotlin.$_$.s7;
|
|
91
91
|
var mapCapacity = kotlin_kotlin.$_$.v2;
|
|
92
92
|
var LinkedHashMap_init_$Create$_0 = kotlin_kotlin.$_$.e;
|
|
93
93
|
var mutableSetOf = kotlin_kotlin.$_$.g3;
|
|
94
94
|
var getValue = kotlin_kotlin.$_$.k2;
|
|
95
95
|
var contains_0 = kotlin_kotlin.$_$.y1;
|
|
96
|
-
var sequence = kotlin_kotlin.$_$.
|
|
97
|
-
var lastOrNull = kotlin_kotlin.$_$.
|
|
98
|
-
var getKClassFromExpression = kotlin_kotlin.$_$.
|
|
99
|
-
var hashCode = kotlin_kotlin.$_$.
|
|
96
|
+
var sequence = kotlin_kotlin.$_$.x7;
|
|
97
|
+
var lastOrNull = kotlin_kotlin.$_$.n7;
|
|
98
|
+
var getKClassFromExpression = kotlin_kotlin.$_$.q6;
|
|
99
|
+
var hashCode = kotlin_kotlin.$_$.m5;
|
|
100
100
|
var toMap = kotlin_kotlin.$_$.x3;
|
|
101
101
|
var plus_0 = kotlin_kotlin.$_$.i3;
|
|
102
102
|
var minus = kotlin_kotlin.$_$.a3;
|
|
@@ -104,32 +104,32 @@
|
|
|
104
104
|
var getTag = kotlin_it_unibo_tuprolog_utils.$_$.m;
|
|
105
105
|
var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.l;
|
|
106
106
|
var castTo = kotlin_it_unibo_tuprolog_utils.$_$.e;
|
|
107
|
-
var Comparator = kotlin_kotlin.$_$.
|
|
108
|
-
var initMetadataForObject = kotlin_kotlin.$_$.
|
|
109
|
-
var compareTo = kotlin_kotlin.$_$.
|
|
110
|
-
var Enum = kotlin_kotlin.$_$.
|
|
111
|
-
var noWhenBranchMatchedException = kotlin_kotlin.$_$.
|
|
107
|
+
var Comparator = kotlin_kotlin.$_$.j9;
|
|
108
|
+
var initMetadataForObject = kotlin_kotlin.$_$.r5;
|
|
109
|
+
var compareTo = kotlin_kotlin.$_$.f5;
|
|
110
|
+
var Enum = kotlin_kotlin.$_$.k9;
|
|
111
|
+
var noWhenBranchMatchedException = kotlin_kotlin.$_$.z9;
|
|
112
112
|
var Regex_init_$Create$ = kotlin_kotlin.$_$.i;
|
|
113
113
|
var toString_1 = kotlin_kotlin.$_$.h1;
|
|
114
114
|
var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.d1;
|
|
115
115
|
var mutableListOf = kotlin_kotlin.$_$.e3;
|
|
116
|
-
var sequenceOf_0 = kotlin_kotlin.$_$.
|
|
117
|
-
var objectCreate = kotlin_kotlin.$_$.
|
|
118
|
-
var captureStack = kotlin_kotlin.$_$.
|
|
116
|
+
var sequenceOf_0 = kotlin_kotlin.$_$.w7;
|
|
117
|
+
var objectCreate = kotlin_kotlin.$_$.z5;
|
|
118
|
+
var captureStack = kotlin_kotlin.$_$.z4;
|
|
119
119
|
var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.b1;
|
|
120
120
|
var RuntimeException_init_$Init$_0 = kotlin_kotlin.$_$.a1;
|
|
121
|
-
var RuntimeException = kotlin_kotlin.$_$.
|
|
122
|
-
var lazy = kotlin_kotlin.$_$.
|
|
123
|
-
var KProperty1 = kotlin_kotlin.$_$.
|
|
124
|
-
var getPropertyCallableRef = kotlin_kotlin.$_$.
|
|
121
|
+
var RuntimeException = kotlin_kotlin.$_$.s9;
|
|
122
|
+
var lazy = kotlin_kotlin.$_$.y9;
|
|
123
|
+
var KProperty1 = kotlin_kotlin.$_$.s6;
|
|
124
|
+
var getPropertyCallableRef = kotlin_kotlin.$_$.k5;
|
|
125
125
|
var get_lastIndex_0 = kotlin_kotlin.$_$.p2;
|
|
126
126
|
var sliceArray = kotlin_kotlin.$_$.r3;
|
|
127
|
-
var asSequence_1 = kotlin_kotlin.$_$.
|
|
128
|
-
var last_0 = kotlin_kotlin.$_$.
|
|
129
|
-
var take = kotlin_kotlin.$_$.
|
|
130
|
-
var joinToString = kotlin_kotlin.$_$.
|
|
127
|
+
var asSequence_1 = kotlin_kotlin.$_$.x6;
|
|
128
|
+
var last_0 = kotlin_kotlin.$_$.o7;
|
|
129
|
+
var take = kotlin_kotlin.$_$.a8;
|
|
130
|
+
var joinToString = kotlin_kotlin.$_$.m7;
|
|
131
131
|
var setTags = kotlin_it_unibo_tuprolog_utils.$_$.i1;
|
|
132
|
-
var getStringHashCode = kotlin_kotlin.$_$.
|
|
132
|
+
var getStringHashCode = kotlin_kotlin.$_$.l5;
|
|
133
133
|
var forceCast = kotlin_it_unibo_tuprolog_utils.$_$.z;
|
|
134
134
|
var itemWiseHashCode = kotlin_it_unibo_tuprolog_utils.$_$.d1;
|
|
135
135
|
var joinToString_0 = kotlin_kotlin.$_$.m2;
|
|
@@ -137,14 +137,14 @@
|
|
|
137
137
|
var get_indices = kotlin_kotlin.$_$.l2;
|
|
138
138
|
var IndexOutOfBoundsException_init_$Create$ = kotlin_kotlin.$_$.v;
|
|
139
139
|
var copyToArray = kotlin_kotlin.$_$.c2;
|
|
140
|
-
var numberToChar = kotlin_kotlin.$_$.
|
|
140
|
+
var numberToChar = kotlin_kotlin.$_$.x5;
|
|
141
141
|
var mutableMapOf = kotlin_kotlin.$_$.f3;
|
|
142
|
-
var drop = kotlin_kotlin.$_$.
|
|
143
|
-
var first_0 = kotlin_kotlin.$_$.
|
|
142
|
+
var drop = kotlin_kotlin.$_$.b7;
|
|
143
|
+
var first_0 = kotlin_kotlin.$_$.h7;
|
|
144
144
|
var insertAt = kotlin_it_unibo_tuprolog_utils.$_$.a1;
|
|
145
|
-
var plus_2 = kotlin_kotlin.$_$.
|
|
145
|
+
var plus_2 = kotlin_kotlin.$_$.u7;
|
|
146
146
|
var dropLast = kotlin_it_unibo_tuprolog_utils.$_$.y;
|
|
147
|
-
var iterator = kotlin_kotlin.$_$.
|
|
147
|
+
var iterator = kotlin_kotlin.$_$.l7;
|
|
148
148
|
var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.v;
|
|
149
149
|
var itemWiseHashCode_0 = kotlin_it_unibo_tuprolog_utils.$_$.f1;
|
|
150
150
|
var itemWiseEquals = kotlin_it_unibo_tuprolog_utils.$_$.b1;
|
|
@@ -153,25 +153,25 @@
|
|
|
153
153
|
var mapOf_0 = kotlin_kotlin.$_$.x2;
|
|
154
154
|
var emptySet = kotlin_kotlin.$_$.g2;
|
|
155
155
|
var asSequence_2 = kotlin_kotlin.$_$.u1;
|
|
156
|
-
var filter = kotlin_kotlin.$_$.
|
|
157
|
-
var firstOrNull_0 = kotlin_kotlin.$_$.
|
|
158
|
-
var Pair = kotlin_kotlin.$_$.
|
|
156
|
+
var filter = kotlin_kotlin.$_$.f7;
|
|
157
|
+
var firstOrNull_0 = kotlin_kotlin.$_$.g7;
|
|
158
|
+
var Pair = kotlin_kotlin.$_$.r9;
|
|
159
159
|
var setOf = kotlin_kotlin.$_$.p3;
|
|
160
160
|
var setOf_0 = kotlin_kotlin.$_$.o3;
|
|
161
|
-
var defineProp = kotlin_kotlin.$_$.
|
|
161
|
+
var defineProp = kotlin_kotlin.$_$.g5;
|
|
162
162
|
var synchronizedOn = kotlin_it_unibo_tuprolog_utils.$_$.k1;
|
|
163
|
-
var add = kotlin_kotlin.$_$.
|
|
164
|
-
var IllegalStateException = kotlin_kotlin.$_$.
|
|
165
|
-
var IllegalArgumentException = kotlin_kotlin.$_$.
|
|
163
|
+
var add = kotlin_kotlin.$_$.i4;
|
|
164
|
+
var IllegalStateException = kotlin_kotlin.$_$.m9;
|
|
165
|
+
var IllegalArgumentException = kotlin_kotlin.$_$.l9;
|
|
166
166
|
var asSequence_3 = kotlin_kotlin.$_$.w1;
|
|
167
|
-
var toSet = kotlin_kotlin.$_$.
|
|
168
|
-
var toHashSet = kotlin_kotlin.$_$.
|
|
167
|
+
var toSet = kotlin_kotlin.$_$.f8;
|
|
168
|
+
var toHashSet = kotlin_kotlin.$_$.c8;
|
|
169
169
|
var minus_0 = kotlin_kotlin.$_$.d3;
|
|
170
170
|
var minus_1 = kotlin_kotlin.$_$.c3;
|
|
171
171
|
var KtSet = kotlin_kotlin.$_$.n1;
|
|
172
172
|
var plus_3 = kotlin_kotlin.$_$.j3;
|
|
173
173
|
var IllegalArgumentException_init_$Create$_0 = kotlin_kotlin.$_$.r;
|
|
174
|
-
var THROW_IAE = kotlin_kotlin.$_$.
|
|
174
|
+
var THROW_IAE = kotlin_kotlin.$_$.u9;
|
|
175
175
|
//endregion
|
|
176
176
|
//region block: pre-declaration
|
|
177
177
|
function apply(substitution, substitutions) {
|
|
@@ -1886,8 +1886,8 @@
|
|
|
1886
1886
|
var this_0 = until(0, length);
|
|
1887
1887
|
// Inline function 'kotlin.collections.mapTo' call
|
|
1888
1888
|
var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
|
|
1889
|
-
var inductionVariable = this_0.
|
|
1890
|
-
var last = this_0.
|
|
1889
|
+
var inductionVariable = this_0.wf_1;
|
|
1890
|
+
var last = this_0.xf_1;
|
|
1891
1891
|
if (inductionVariable <= last)
|
|
1892
1892
|
do {
|
|
1893
1893
|
var item = inductionVariable;
|
|
@@ -2433,7 +2433,7 @@
|
|
|
2433
2433
|
this.xy_1 = Terms_getInstance().cs_1;
|
|
2434
2434
|
}
|
|
2435
2435
|
protoOf(Companion_16).isWellFormedFunctor = function (string) {
|
|
2436
|
-
return Terms_getInstance().as_1.
|
|
2436
|
+
return Terms_getInstance().as_1.pa(string);
|
|
2437
2437
|
};
|
|
2438
2438
|
protoOf(Companion_16).enquoteFunctor = function (string) {
|
|
2439
2439
|
return "'" + string + "'";
|
|
@@ -2448,7 +2448,7 @@
|
|
|
2448
2448
|
return tmp;
|
|
2449
2449
|
};
|
|
2450
2450
|
protoOf(Companion_16).functorNeedsEscape = function (string) {
|
|
2451
|
-
return this.xy_1.
|
|
2451
|
+
return this.xy_1.qa(string);
|
|
2452
2452
|
};
|
|
2453
2453
|
protoOf(Companion_16).yy = function (string, escapeSingleQuotes, escapeDoubleQuotes) {
|
|
2454
2454
|
var tmp = asSequence(toCharArray(string));
|
|
@@ -2501,8 +2501,8 @@
|
|
|
2501
2501
|
var this_0 = until(0, arity);
|
|
2502
2502
|
// Inline function 'kotlin.collections.mapTo' call
|
|
2503
2503
|
var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
|
|
2504
|
-
var inductionVariable = this_0.
|
|
2505
|
-
var last = this_0.
|
|
2504
|
+
var inductionVariable = this_0.wf_1;
|
|
2505
|
+
var last = this_0.xf_1;
|
|
2506
2506
|
if (inductionVariable <= last)
|
|
2507
2507
|
do {
|
|
2508
2508
|
var item = inductionVariable;
|
|
@@ -2780,7 +2780,7 @@
|
|
|
2780
2780
|
}
|
|
2781
2781
|
|
|
2782
2782
|
this.z7_1 = 2;
|
|
2783
|
-
suspendResult = this.c10_1.
|
|
2783
|
+
suspendResult = this.c10_1.ic(this.d10_1, this);
|
|
2784
2784
|
if (suspendResult === get_COROUTINE_SUSPENDED()) {
|
|
2785
2785
|
return suspendResult;
|
|
2786
2786
|
}
|
|
@@ -2840,8 +2840,8 @@
|
|
|
2840
2840
|
function anyContradiction($this, substitution, other) {
|
|
2841
2841
|
// Inline function 'kotlin.let' call
|
|
2842
2842
|
var destruct = substitution.u() < other.u() ? to(substitution, other) : to(other, substitution);
|
|
2843
|
-
var smaller = destruct.
|
|
2844
|
-
var bigger = destruct.
|
|
2843
|
+
var smaller = destruct.vb();
|
|
2844
|
+
var bigger = destruct.wb();
|
|
2845
2845
|
var tmp$ret$0;
|
|
2846
2846
|
$l$block_0: {
|
|
2847
2847
|
// Inline function 'kotlin.collections.any' call
|
|
@@ -2895,8 +2895,8 @@
|
|
|
2895
2895
|
var _iterator__ex2g4s = substitutionPairs.o();
|
|
2896
2896
|
while (_iterator__ex2g4s.r()) {
|
|
2897
2897
|
var element = _iterator__ex2g4s.s();
|
|
2898
|
-
var variable = element.
|
|
2899
|
-
var substitution = element.
|
|
2898
|
+
var variable = element.vb();
|
|
2899
|
+
var substitution = element.wb();
|
|
2900
2900
|
var alreadyPresent = tmp0.f2(variable);
|
|
2901
2901
|
if (alreadyPresent == null) {
|
|
2902
2902
|
// Inline function 'kotlin.collections.set' call
|
|
@@ -3900,7 +3900,7 @@
|
|
|
3900
3900
|
};
|
|
3901
3901
|
protoOf(Companion_23).escapeNameIfNecessary = function (string) {
|
|
3902
3902
|
var tmp;
|
|
3903
|
-
if (Terms_getInstance().zr_1.
|
|
3903
|
+
if (Terms_getInstance().zr_1.pa(string)) {
|
|
3904
3904
|
tmp = string;
|
|
3905
3905
|
} else {
|
|
3906
3906
|
tmp = this.escapeName(string);
|
|
@@ -4095,8 +4095,8 @@
|
|
|
4095
4095
|
tmp = to(' | ' + this.aw().toString() + ']', this.u() - 1 | 0);
|
|
4096
4096
|
}
|
|
4097
4097
|
var _destruct__k2r9zo = tmp;
|
|
4098
|
-
var ending = _destruct__k2r9zo.
|
|
4099
|
-
var take_0 = _destruct__k2r9zo.
|
|
4098
|
+
var ending = _destruct__k2r9zo.vb();
|
|
4099
|
+
var take_0 = _destruct__k2r9zo.wb();
|
|
4100
4100
|
return joinToString(take(this.mu(), take_0), ', ', '[', ending);
|
|
4101
4101
|
};
|
|
4102
4102
|
protoOf(AbstractCons).ft = function () {
|
|
@@ -6207,7 +6207,7 @@
|
|
|
6207
6207
|
case 0:
|
|
6208
6208
|
this.a8_1 = 3;
|
|
6209
6209
|
this.z7_1 = 1;
|
|
6210
|
-
suspendResult = this.y19_1.
|
|
6210
|
+
suspendResult = this.y19_1.ic(_get_fst__e68kkq(this.x19_1), this);
|
|
6211
6211
|
if (suspendResult === get_COROUTINE_SUSPENDED()) {
|
|
6212
6212
|
return suspendResult;
|
|
6213
6213
|
}
|
|
@@ -6215,7 +6215,7 @@
|
|
|
6215
6215
|
continue $sm;
|
|
6216
6216
|
case 1:
|
|
6217
6217
|
this.z7_1 = 2;
|
|
6218
|
-
suspendResult = this.y19_1.
|
|
6218
|
+
suspendResult = this.y19_1.ic(_get_snd__e6grbc(this.x19_1), this);
|
|
6219
6219
|
if (suspendResult === get_COROUTINE_SUSPENDED()) {
|
|
6220
6220
|
return suspendResult;
|
|
6221
6221
|
}
|
|
@@ -6296,13 +6296,13 @@
|
|
|
6296
6296
|
protoOf(LazyTwoItemsList).u = function () {
|
|
6297
6297
|
return 2;
|
|
6298
6298
|
};
|
|
6299
|
-
protoOf(LazyTwoItemsList).
|
|
6299
|
+
protoOf(LazyTwoItemsList).sb = function (element) {
|
|
6300
6300
|
return equals(_get_fst__e68kkq(this), element) || equals(_get_snd__e6grbc(this), element);
|
|
6301
6301
|
};
|
|
6302
6302
|
protoOf(LazyTwoItemsList).t = function (element) {
|
|
6303
6303
|
if (!(element == null ? true : !(element == null)))
|
|
6304
6304
|
return false;
|
|
6305
|
-
return this.
|
|
6305
|
+
return this.sb((element == null ? true : !(element == null)) ? element : THROW_CCE());
|
|
6306
6306
|
};
|
|
6307
6307
|
protoOf(LazyTwoItemsList).v = function (index) {
|
|
6308
6308
|
var tmp;
|
|
@@ -6340,8 +6340,8 @@
|
|
|
6340
6340
|
var this_0 = until(fromIndex, toIndex);
|
|
6341
6341
|
// Inline function 'kotlin.collections.mapTo' call
|
|
6342
6342
|
var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
|
|
6343
|
-
var inductionVariable = this_0.
|
|
6344
|
-
var last = this_0.
|
|
6343
|
+
var inductionVariable = this_0.wf_1;
|
|
6344
|
+
var last = this_0.xf_1;
|
|
6345
6345
|
if (inductionVariable <= last)
|
|
6346
6346
|
do {
|
|
6347
6347
|
var item = inductionVariable;
|
|
@@ -7035,8 +7035,8 @@
|
|
|
7035
7035
|
while (inductionVariable < last) {
|
|
7036
7036
|
var item = assignments[inductionVariable];
|
|
7037
7037
|
inductionVariable = inductionVariable + 1 | 0;
|
|
7038
|
-
var v = item.
|
|
7039
|
-
var t = item.
|
|
7038
|
+
var v = item.vb();
|
|
7039
|
+
var t = item.wb();
|
|
7040
7040
|
var tmp$ret$0 = to(this.h1a(v), t);
|
|
7041
7041
|
destination.l(tmp$ret$0);
|
|
7042
7042
|
}
|
|
@@ -7066,8 +7066,8 @@
|
|
|
7066
7066
|
while (inductionVariable < last) {
|
|
7067
7067
|
var item = assignments[inductionVariable];
|
|
7068
7068
|
inductionVariable = inductionVariable + 1 | 0;
|
|
7069
|
-
var v = item.
|
|
7070
|
-
var t = item.
|
|
7069
|
+
var v = item.vb();
|
|
7070
|
+
var t = item.wb();
|
|
7071
7071
|
var tmp$ret$0 = to(this.h1a(v), t);
|
|
7072
7072
|
destination.l(tmp$ret$0);
|
|
7073
7073
|
}
|
|
@@ -7222,7 +7222,7 @@
|
|
|
7222
7222
|
}
|
|
7223
7223
|
var lowerPriority = isLowerPriority($this, struct);
|
|
7224
7224
|
if (!(lowerPriority == null)) {
|
|
7225
|
-
return wrapWithinParentheses($this, struct.accept(childFormatter$default($this, lowerPriority.
|
|
7225
|
+
return wrapWithinParentheses($this, struct.accept(childFormatter$default($this, lowerPriority.second)));
|
|
7226
7226
|
}
|
|
7227
7227
|
return protoOf(AbstractTermFormatter).dv.call($this, struct);
|
|
7228
7228
|
}
|
|
@@ -7322,17 +7322,17 @@
|
|
|
7322
7322
|
}
|
|
7323
7323
|
function TermFormatterWithPrettyExpressions$visitExpression$lambda(this$0, $prefix) {
|
|
7324
7324
|
return function ($this$addingParenthesesIfForced) {
|
|
7325
|
-
return $this$addingParenthesesIfForced.ct() + _get_suffix__6yo6oq(Companion_getInstance_30(), $this$addingParenthesesIfForced.ct()) + $this$addingParenthesesIfForced.getArgAt(0).accept(childFormatter$default(this$0, $prefix.
|
|
7325
|
+
return $this$addingParenthesesIfForced.ct() + _get_suffix__6yo6oq(Companion_getInstance_30(), $this$addingParenthesesIfForced.ct()) + $this$addingParenthesesIfForced.getArgAt(0).accept(childFormatter$default(this$0, $prefix.second));
|
|
7326
7326
|
};
|
|
7327
7327
|
}
|
|
7328
7328
|
function TermFormatterWithPrettyExpressions$visitExpression$lambda_0(this$0, $postfix) {
|
|
7329
7329
|
return function ($this$addingParenthesesIfForced) {
|
|
7330
|
-
return $this$addingParenthesesIfForced.getArgAt(0).accept(childFormatter$default(this$0, $postfix.
|
|
7330
|
+
return $this$addingParenthesesIfForced.getArgAt(0).accept(childFormatter$default(this$0, $postfix.second)) + _get_prefix__wiwq7t(Companion_getInstance_30(), $this$addingParenthesesIfForced.ct()) + $this$addingParenthesesIfForced.ct();
|
|
7331
7331
|
};
|
|
7332
7332
|
}
|
|
7333
7333
|
function TermFormatterWithPrettyExpressions$visitExpression$lambda_1(this$0, $infix) {
|
|
7334
7334
|
return function ($this$addingParenthesesIfForced) {
|
|
7335
|
-
return $this$addingParenthesesIfForced.getArgAt(0).accept(childFormatter$default(this$0, $infix.
|
|
7335
|
+
return $this$addingParenthesesIfForced.getArgAt(0).accept(childFormatter$default(this$0, $infix.second)) + (_get_prefix__wiwq7t(Companion_getInstance_30(), $this$addingParenthesesIfForced.ct()) + $this$addingParenthesesIfForced.ct() + _get_suffix__6yo6oq(Companion_getInstance_30(), $this$addingParenthesesIfForced.ct())) + $this$addingParenthesesIfForced.getArgAt(1).accept(childFormatter$default(this$0, $infix.second));
|
|
7336
7336
|
};
|
|
7337
7337
|
}
|
|
7338
7338
|
function TermFormatterWithPrettyExpressions$getSpecifierAndIndex$lambda($specifierPredicate, $priorityPredicate) {
|
|
@@ -7790,7 +7790,7 @@
|
|
|
7790
7790
|
}
|
|
7791
7791
|
function VarImpl$isNameWellFormed$delegate$lambda(this$0) {
|
|
7792
7792
|
return function () {
|
|
7793
|
-
return Terms_getInstance().zr_1.
|
|
7793
|
+
return Terms_getInstance().zr_1.pa(this$0.n1e_1);
|
|
7794
7794
|
};
|
|
7795
7795
|
}
|
|
7796
7796
|
function VarImpl$_get_isNameWellFormed_$ref_ddmxe7() {
|
|
@@ -8933,8 +8933,8 @@
|
|
|
8933
8933
|
protoOf(IndicatorImpl).nx = asIndicator_0;
|
|
8934
8934
|
protoOf(IndicatorImpl).ws = get_arity_3;
|
|
8935
8935
|
protoOf(IndicatorImpl).sv = get_isWellFormed_0;
|
|
8936
|
-
protoOf(IndicatorImpl).
|
|
8937
|
-
protoOf(IndicatorImpl).
|
|
8936
|
+
protoOf(IndicatorImpl).vb = component1;
|
|
8937
|
+
protoOf(IndicatorImpl).wb = component2;
|
|
8938
8938
|
protoOf(NumericImpl).bu = get_isConstant_0;
|
|
8939
8939
|
protoOf(NumericImpl).cu = get_isNumber_0;
|
|
8940
8940
|
protoOf(NumericImpl).fu = asConstant_0;
|