@tuprolog/arg2p 0.14.2 → 0.15.0
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 +102 -102
- package/2p-dsl-core.js +152 -152
- package/2p-dsl-core.js.map +1 -1
- package/2p-dsl-solve.js +13 -13
- package/2p-dsl-theory.js +14 -14
- package/2p-dsl-unify.js +2 -2
- package/2p-parser-core.js +30 -30
- package/2p-parser-js.js +1 -1
- package/2p-parser-theory.js +6 -6
- package/2p-solve-classic.js +51 -51
- package/2p-solve.js +128 -128
- package/2p-theory.js +60 -60
- package/2p-unify.js +21 -21
- package/2p-utils.js +43 -43
- package/arg2p-causality-solver.js +437 -153
- package/arg2p-causality-solver.js.map +1 -1
- package/arg2p-core.js +60 -60
- package/arg2p.js +43 -43
- package/kotlin-kotlin-stdlib.js +248 -235
- package/kotlin-kotlin-stdlib.js.map +1 -1
- package/kt-math.js +72 -72
- package/package.json +1 -1
package/2p-core.js
CHANGED
|
@@ -19,161 +19,161 @@
|
|
|
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.$_$.
|
|
25
|
-
var emptyList = kotlin_kotlin.$_$.
|
|
26
|
-
var emptySequence = kotlin_kotlin.$_$.
|
|
27
|
-
var THROW_CCE = kotlin_kotlin.$_$.
|
|
28
|
-
var isInterface = kotlin_kotlin.$_$.
|
|
22
|
+
var protoOf = kotlin_kotlin.$_$.o6;
|
|
23
|
+
var initMetadataForInterface = kotlin_kotlin.$_$.d6;
|
|
24
|
+
var initMetadataForCompanion = kotlin_kotlin.$_$.c6;
|
|
25
|
+
var emptyList = kotlin_kotlin.$_$.o2;
|
|
26
|
+
var emptySequence = kotlin_kotlin.$_$.s7;
|
|
27
|
+
var THROW_CCE = kotlin_kotlin.$_$.ra;
|
|
28
|
+
var isInterface = kotlin_kotlin.$_$.i6;
|
|
29
29
|
var VOID = kotlin_kotlin.$_$.b;
|
|
30
|
-
var toList = kotlin_kotlin.$_$.
|
|
31
|
-
var single = kotlin_kotlin.$_$.
|
|
32
|
-
var toList_0 = kotlin_kotlin.$_$.
|
|
33
|
-
var toList_1 = kotlin_kotlin.$_$.
|
|
34
|
-
var initMetadataForClass = kotlin_kotlin.$_$.
|
|
30
|
+
var toList = kotlin_kotlin.$_$.h4;
|
|
31
|
+
var single = kotlin_kotlin.$_$.d4;
|
|
32
|
+
var toList_0 = kotlin_kotlin.$_$.g4;
|
|
33
|
+
var toList_1 = kotlin_kotlin.$_$.w8;
|
|
34
|
+
var initMetadataForClass = kotlin_kotlin.$_$.b6;
|
|
35
35
|
var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.w;
|
|
36
|
-
var map = kotlin_kotlin.$_$.
|
|
36
|
+
var map = kotlin_kotlin.$_$.h8;
|
|
37
37
|
var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.c1;
|
|
38
38
|
var KtMap = kotlin_kotlin.$_$.q1;
|
|
39
|
-
var ensureNotNull = kotlin_kotlin.$_$.
|
|
40
|
-
var listOf = kotlin_kotlin.$_$.
|
|
39
|
+
var ensureNotNull = kotlin_kotlin.$_$.va;
|
|
40
|
+
var listOf = kotlin_kotlin.$_$.f3;
|
|
41
41
|
var asIterable = kotlin_kotlin.$_$.v1;
|
|
42
42
|
var any = kotlin_kotlin.$_$.u1;
|
|
43
|
-
var toString = kotlin_kotlin.$_$.
|
|
43
|
+
var toString = kotlin_kotlin.$_$.r6;
|
|
44
44
|
var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
|
|
45
45
|
var Unit_instance = kotlin_kotlin.$_$.l1;
|
|
46
|
-
var asIterable_0 = kotlin_kotlin.$_$.
|
|
46
|
+
var asIterable_0 = kotlin_kotlin.$_$.m7;
|
|
47
47
|
var arrayConcat = kotlin_kotlin.$_$.a;
|
|
48
|
-
var until = kotlin_kotlin.$_$.
|
|
48
|
+
var until = kotlin_kotlin.$_$.e7;
|
|
49
49
|
var collectionSizeOrDefault = kotlin_kotlin.$_$.c2;
|
|
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.$_$.b5;
|
|
53
53
|
var Companion_getInstance_0 = kotlin_io_github_gciatto_kt_math.$_$.d;
|
|
54
54
|
var cursor = kotlin_it_unibo_tuprolog_utils.$_$.w;
|
|
55
55
|
var KtList = kotlin_kotlin.$_$.o1;
|
|
56
56
|
var cursor_0 = kotlin_it_unibo_tuprolog_utils.$_$.x;
|
|
57
57
|
var cursor_1 = kotlin_it_unibo_tuprolog_utils.$_$.y;
|
|
58
|
-
var toString_0 = kotlin_kotlin.$_$.
|
|
58
|
+
var toString_0 = kotlin_kotlin.$_$.cb;
|
|
59
59
|
var asReversed = kotlin_kotlin.$_$.x1;
|
|
60
|
-
var last = kotlin_kotlin.$_$.
|
|
61
|
-
var count = kotlin_kotlin.$_$.
|
|
62
|
-
var NumberFormatException = kotlin_kotlin.$_$.
|
|
63
|
-
var contains = kotlin_kotlin.$_$.
|
|
60
|
+
var last = kotlin_kotlin.$_$.b3;
|
|
61
|
+
var count = kotlin_kotlin.$_$.p7;
|
|
62
|
+
var NumberFormatException = kotlin_kotlin.$_$.oa;
|
|
63
|
+
var contains = kotlin_kotlin.$_$.e9;
|
|
64
64
|
var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
|
|
65
|
-
var toCharArray = kotlin_kotlin.$_$.
|
|
65
|
+
var toCharArray = kotlin_kotlin.$_$.x9;
|
|
66
66
|
var asSequence = kotlin_kotlin.$_$.y1;
|
|
67
|
-
var emptyMap = kotlin_kotlin.$_$.
|
|
68
|
-
var first = kotlin_kotlin.$_$.
|
|
69
|
-
var get_lastIndex = kotlin_kotlin.$_$.
|
|
70
|
-
var slice = kotlin_kotlin.$_$.
|
|
71
|
-
var listOfNotNull = kotlin_kotlin.$_$.
|
|
72
|
-
var plus = kotlin_kotlin.$_$.
|
|
73
|
-
var equals = kotlin_kotlin.$_$.
|
|
74
|
-
var flatMap = kotlin_kotlin.$_$.
|
|
67
|
+
var emptyMap = kotlin_kotlin.$_$.p2;
|
|
68
|
+
var first = kotlin_kotlin.$_$.s2;
|
|
69
|
+
var get_lastIndex = kotlin_kotlin.$_$.z2;
|
|
70
|
+
var slice = kotlin_kotlin.$_$.f4;
|
|
71
|
+
var listOfNotNull = kotlin_kotlin.$_$.d3;
|
|
72
|
+
var plus = kotlin_kotlin.$_$.y3;
|
|
73
|
+
var equals = kotlin_kotlin.$_$.v5;
|
|
74
|
+
var flatMap = kotlin_kotlin.$_$.y7;
|
|
75
75
|
var asSequence_0 = kotlin_kotlin.$_$.a2;
|
|
76
|
-
var to = kotlin_kotlin.$_$.
|
|
77
|
-
var mapOf = kotlin_kotlin.$_$.
|
|
78
|
-
var sequenceOf = kotlin_kotlin.$_$.
|
|
76
|
+
var to = kotlin_kotlin.$_$.db;
|
|
77
|
+
var mapOf = kotlin_kotlin.$_$.h3;
|
|
78
|
+
var sequenceOf = kotlin_kotlin.$_$.n8;
|
|
79
79
|
var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
|
|
80
|
-
var getKClass = kotlin_kotlin.$_$.
|
|
80
|
+
var getKClass = kotlin_kotlin.$_$.g7;
|
|
81
81
|
var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.o;
|
|
82
82
|
var Taggable = kotlin_it_unibo_tuprolog_utils.$_$.o;
|
|
83
83
|
var Castable = kotlin_it_unibo_tuprolog_utils.$_$.f;
|
|
84
84
|
var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.d;
|
|
85
|
-
var firstOrNull = kotlin_kotlin.$_$.
|
|
86
|
-
var CoroutineImpl = kotlin_kotlin.$_$.
|
|
87
|
-
var SequenceScope = kotlin_kotlin.$_$.
|
|
88
|
-
var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.
|
|
89
|
-
var initMetadataForLambda = kotlin_kotlin.$_$.
|
|
90
|
-
var none = kotlin_kotlin.$_$.
|
|
91
|
-
var mapCapacity = kotlin_kotlin.$_$.
|
|
85
|
+
var firstOrNull = kotlin_kotlin.$_$.r2;
|
|
86
|
+
var CoroutineImpl = kotlin_kotlin.$_$.s4;
|
|
87
|
+
var SequenceScope = kotlin_kotlin.$_$.j7;
|
|
88
|
+
var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.r4;
|
|
89
|
+
var initMetadataForLambda = kotlin_kotlin.$_$.e6;
|
|
90
|
+
var none = kotlin_kotlin.$_$.j8;
|
|
91
|
+
var mapCapacity = kotlin_kotlin.$_$.g3;
|
|
92
92
|
var LinkedHashMap_init_$Create$_0 = kotlin_kotlin.$_$.e;
|
|
93
|
-
var mutableSetOf = kotlin_kotlin.$_$.
|
|
94
|
-
var getValue = kotlin_kotlin.$_$.
|
|
93
|
+
var mutableSetOf = kotlin_kotlin.$_$.r3;
|
|
94
|
+
var getValue = kotlin_kotlin.$_$.v2;
|
|
95
95
|
var contains_0 = kotlin_kotlin.$_$.d2;
|
|
96
|
-
var sequence = kotlin_kotlin.$_$.
|
|
97
|
-
var lastOrNull = kotlin_kotlin.$_$.
|
|
98
|
-
var getKClassFromExpression = kotlin_kotlin.$_$.
|
|
99
|
-
var hashCode = kotlin_kotlin.$_$.
|
|
100
|
-
var toMap = kotlin_kotlin.$_$.
|
|
101
|
-
var plus_0 = kotlin_kotlin.$_$.
|
|
102
|
-
var minus = kotlin_kotlin.$_$.
|
|
103
|
-
var listOf_0 = kotlin_kotlin.$_$.
|
|
96
|
+
var sequence = kotlin_kotlin.$_$.p8;
|
|
97
|
+
var lastOrNull = kotlin_kotlin.$_$.e8;
|
|
98
|
+
var getKClassFromExpression = kotlin_kotlin.$_$.f7;
|
|
99
|
+
var hashCode = kotlin_kotlin.$_$.a6;
|
|
100
|
+
var toMap = kotlin_kotlin.$_$.k4;
|
|
101
|
+
var plus_0 = kotlin_kotlin.$_$.t3;
|
|
102
|
+
var minus = kotlin_kotlin.$_$.l3;
|
|
103
|
+
var listOf_0 = kotlin_kotlin.$_$.e3;
|
|
104
104
|
var getTag = kotlin_it_unibo_tuprolog_utils.$_$.n;
|
|
105
105
|
var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.m;
|
|
106
106
|
var castTo = kotlin_it_unibo_tuprolog_utils.$_$.e;
|
|
107
|
-
var Comparable = kotlin_kotlin.$_$.
|
|
108
|
-
var Comparator = kotlin_kotlin.$_$.
|
|
109
|
-
var initMetadataForObject = kotlin_kotlin.$_$.
|
|
110
|
-
var compareTo = kotlin_kotlin.$_$.
|
|
111
|
-
var Enum = kotlin_kotlin.$_$.
|
|
112
|
-
var noWhenBranchMatchedException = kotlin_kotlin.$_$.
|
|
107
|
+
var Comparable = kotlin_kotlin.$_$.ga;
|
|
108
|
+
var Comparator = kotlin_kotlin.$_$.ha;
|
|
109
|
+
var initMetadataForObject = kotlin_kotlin.$_$.f6;
|
|
110
|
+
var compareTo = kotlin_kotlin.$_$.t5;
|
|
111
|
+
var Enum = kotlin_kotlin.$_$.ia;
|
|
112
|
+
var noWhenBranchMatchedException = kotlin_kotlin.$_$.ya;
|
|
113
113
|
var Regex_init_$Create$ = kotlin_kotlin.$_$.i;
|
|
114
114
|
var toString_1 = kotlin_kotlin.$_$.h1;
|
|
115
115
|
var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.d1;
|
|
116
|
-
var mutableListOf = kotlin_kotlin.$_$.
|
|
117
|
-
var sequenceOf_0 = kotlin_kotlin.$_$.
|
|
118
|
-
var objectCreate = kotlin_kotlin.$_$.
|
|
119
|
-
var captureStack = kotlin_kotlin.$_$.
|
|
116
|
+
var mutableListOf = kotlin_kotlin.$_$.p3;
|
|
117
|
+
var sequenceOf_0 = kotlin_kotlin.$_$.o8;
|
|
118
|
+
var objectCreate = kotlin_kotlin.$_$.n6;
|
|
119
|
+
var captureStack = kotlin_kotlin.$_$.n5;
|
|
120
120
|
var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.b1;
|
|
121
121
|
var RuntimeException_init_$Init$_0 = kotlin_kotlin.$_$.a1;
|
|
122
|
-
var RuntimeException = kotlin_kotlin.$_$.
|
|
122
|
+
var RuntimeException = kotlin_kotlin.$_$.qa;
|
|
123
123
|
var Iterable = kotlin_kotlin.$_$.n1;
|
|
124
|
-
var lazy = kotlin_kotlin.$_$.
|
|
125
|
-
var KProperty1 = kotlin_kotlin.$_$.
|
|
126
|
-
var getPropertyCallableRef = kotlin_kotlin.$_$.
|
|
127
|
-
var get_lastIndex_0 = kotlin_kotlin.$_$.
|
|
128
|
-
var sliceArray = kotlin_kotlin.$_$.
|
|
129
|
-
var asSequence_1 = kotlin_kotlin.$_$.
|
|
130
|
-
var last_0 = kotlin_kotlin.$_$.
|
|
131
|
-
var take = kotlin_kotlin.$_$.
|
|
132
|
-
var joinToString = kotlin_kotlin.$_$.
|
|
124
|
+
var lazy = kotlin_kotlin.$_$.xa;
|
|
125
|
+
var KProperty1 = kotlin_kotlin.$_$.i7;
|
|
126
|
+
var getPropertyCallableRef = kotlin_kotlin.$_$.y5;
|
|
127
|
+
var get_lastIndex_0 = kotlin_kotlin.$_$.a3;
|
|
128
|
+
var sliceArray = kotlin_kotlin.$_$.e4;
|
|
129
|
+
var asSequence_1 = kotlin_kotlin.$_$.n7;
|
|
130
|
+
var last_0 = kotlin_kotlin.$_$.f8;
|
|
131
|
+
var take = kotlin_kotlin.$_$.t8;
|
|
132
|
+
var joinToString = kotlin_kotlin.$_$.d8;
|
|
133
133
|
var setTags = kotlin_it_unibo_tuprolog_utils.$_$.m1;
|
|
134
|
-
var getStringHashCode = kotlin_kotlin.$_$.
|
|
134
|
+
var getStringHashCode = kotlin_kotlin.$_$.z5;
|
|
135
135
|
var forceCast = kotlin_it_unibo_tuprolog_utils.$_$.d1;
|
|
136
136
|
var itemWiseHashCode = kotlin_it_unibo_tuprolog_utils.$_$.h1;
|
|
137
|
-
var joinToString_0 = kotlin_kotlin.$_$.
|
|
138
|
-
var plus_1 = kotlin_kotlin.$_$.
|
|
139
|
-
var get_indices = kotlin_kotlin.$_$.
|
|
137
|
+
var joinToString_0 = kotlin_kotlin.$_$.x2;
|
|
138
|
+
var plus_1 = kotlin_kotlin.$_$.z3;
|
|
139
|
+
var get_indices = kotlin_kotlin.$_$.w2;
|
|
140
140
|
var IndexOutOfBoundsException_init_$Create$ = kotlin_kotlin.$_$.v;
|
|
141
141
|
var copyToArray = kotlin_kotlin.$_$.k2;
|
|
142
|
-
var numberToChar = kotlin_kotlin.$_$.
|
|
143
|
-
var mutableMapOf = kotlin_kotlin.$_$.
|
|
144
|
-
var drop = kotlin_kotlin.$_$.
|
|
145
|
-
var first_0 = kotlin_kotlin.$_$.
|
|
142
|
+
var numberToChar = kotlin_kotlin.$_$.l6;
|
|
143
|
+
var mutableMapOf = kotlin_kotlin.$_$.q3;
|
|
144
|
+
var drop = kotlin_kotlin.$_$.r7;
|
|
145
|
+
var first_0 = kotlin_kotlin.$_$.x7;
|
|
146
146
|
var insertAt = kotlin_it_unibo_tuprolog_utils.$_$.e1;
|
|
147
|
-
var plus_2 = kotlin_kotlin.$_$.
|
|
147
|
+
var plus_2 = kotlin_kotlin.$_$.l8;
|
|
148
148
|
var dropLast = kotlin_it_unibo_tuprolog_utils.$_$.c1;
|
|
149
|
-
var iterator = kotlin_kotlin.$_$.
|
|
149
|
+
var iterator = kotlin_kotlin.$_$.c8;
|
|
150
150
|
var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.z;
|
|
151
151
|
var itemWiseHashCode_0 = kotlin_it_unibo_tuprolog_utils.$_$.j1;
|
|
152
152
|
var itemWiseEquals = kotlin_it_unibo_tuprolog_utils.$_$.f1;
|
|
153
|
-
var toMap_0 = kotlin_kotlin.$_$.
|
|
153
|
+
var toMap_0 = kotlin_kotlin.$_$.i4;
|
|
154
154
|
var synchronizedOnSelf = kotlin_it_unibo_tuprolog_utils.$_$.n1;
|
|
155
|
-
var mapOf_0 = kotlin_kotlin.$_$.
|
|
156
|
-
var emptySet = kotlin_kotlin.$_$.
|
|
155
|
+
var mapOf_0 = kotlin_kotlin.$_$.i3;
|
|
156
|
+
var emptySet = kotlin_kotlin.$_$.q2;
|
|
157
157
|
var asSequence_2 = kotlin_kotlin.$_$.z1;
|
|
158
|
-
var filter = kotlin_kotlin.$_$.
|
|
159
|
-
var firstOrNull_0 = kotlin_kotlin.$_$.
|
|
160
|
-
var Pair = kotlin_kotlin.$_$.
|
|
161
|
-
var setOf = kotlin_kotlin.$_$.
|
|
162
|
-
var setOf_0 = kotlin_kotlin.$_$.
|
|
163
|
-
var defineProp = kotlin_kotlin.$_$.
|
|
158
|
+
var filter = kotlin_kotlin.$_$.v7;
|
|
159
|
+
var firstOrNull_0 = kotlin_kotlin.$_$.w7;
|
|
160
|
+
var Pair = kotlin_kotlin.$_$.pa;
|
|
161
|
+
var setOf = kotlin_kotlin.$_$.c4;
|
|
162
|
+
var setOf_0 = kotlin_kotlin.$_$.b4;
|
|
163
|
+
var defineProp = kotlin_kotlin.$_$.u5;
|
|
164
164
|
var synchronizedOn = kotlin_it_unibo_tuprolog_utils.$_$.o1;
|
|
165
|
-
var add = kotlin_kotlin.$_$.
|
|
166
|
-
var IllegalStateException = kotlin_kotlin.$_$.
|
|
167
|
-
var IllegalArgumentException = kotlin_kotlin.$_$.
|
|
165
|
+
var add = kotlin_kotlin.$_$.w4;
|
|
166
|
+
var IllegalStateException = kotlin_kotlin.$_$.ka;
|
|
167
|
+
var IllegalArgumentException = kotlin_kotlin.$_$.ja;
|
|
168
168
|
var asSequence_3 = kotlin_kotlin.$_$.b2;
|
|
169
|
-
var toSet = kotlin_kotlin.$_$.
|
|
170
|
-
var toHashSet = kotlin_kotlin.$_$.
|
|
171
|
-
var minus_0 = kotlin_kotlin.$_$.
|
|
172
|
-
var minus_1 = kotlin_kotlin.$_$.
|
|
169
|
+
var toSet = kotlin_kotlin.$_$.y8;
|
|
170
|
+
var toHashSet = kotlin_kotlin.$_$.v8;
|
|
171
|
+
var minus_0 = kotlin_kotlin.$_$.o3;
|
|
172
|
+
var minus_1 = kotlin_kotlin.$_$.n3;
|
|
173
173
|
var KtSet = kotlin_kotlin.$_$.r1;
|
|
174
|
-
var plus_3 = kotlin_kotlin.$_$.
|
|
174
|
+
var plus_3 = kotlin_kotlin.$_$.u3;
|
|
175
175
|
var IllegalArgumentException_init_$Create$_0 = kotlin_kotlin.$_$.r;
|
|
176
|
-
var THROW_IAE = kotlin_kotlin.$_$.
|
|
176
|
+
var THROW_IAE = kotlin_kotlin.$_$.sa;
|
|
177
177
|
//endregion
|
|
178
178
|
//region block: pre-declaration
|
|
179
179
|
function apply(substitution, substitutions) {
|
package/2p-dsl-core.js
CHANGED
|
@@ -21,17 +21,17 @@
|
|
|
21
21
|
}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_utils, kotlin_io_github_gciatto_kt_math) {
|
|
22
22
|
'use strict';
|
|
23
23
|
//region block: imports
|
|
24
|
-
var THROW_CCE = kotlin_kotlin.$_$.
|
|
24
|
+
var THROW_CCE = kotlin_kotlin.$_$.ra;
|
|
25
25
|
var Unit_instance = kotlin_kotlin.$_$.l1;
|
|
26
26
|
var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
|
|
27
|
-
var protoOf = kotlin_kotlin.$_$.
|
|
28
|
-
var toString = kotlin_kotlin.$_$.
|
|
27
|
+
var protoOf = kotlin_kotlin.$_$.o6;
|
|
28
|
+
var toString = kotlin_kotlin.$_$.r6;
|
|
29
29
|
var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
|
|
30
30
|
var Term = kotlin_it_unibo_tuprolog_core.$_$.r2;
|
|
31
|
-
var isInterface = kotlin_kotlin.$_$.
|
|
31
|
+
var isInterface = kotlin_kotlin.$_$.i6;
|
|
32
32
|
var TermConvertible = kotlin_it_unibo_tuprolog_core.$_$.u1;
|
|
33
|
-
var getKClassFromExpression = kotlin_kotlin.$_$.
|
|
34
|
-
var getKClass = kotlin_kotlin.$_$.
|
|
33
|
+
var getKClassFromExpression = kotlin_kotlin.$_$.f7;
|
|
34
|
+
var getKClass = kotlin_kotlin.$_$.g7;
|
|
35
35
|
var toString_0 = kotlin_kotlin.$_$.h1;
|
|
36
36
|
var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.a1;
|
|
37
37
|
var asIterable = kotlin_kotlin.$_$.v1;
|
|
@@ -39,40 +39,40 @@
|
|
|
39
39
|
var collectionSizeOrDefault = kotlin_kotlin.$_$.c2;
|
|
40
40
|
var ArrayList_init_$Create$ = kotlin_kotlin.$_$.c;
|
|
41
41
|
var assertItemsAreNotNull_0 = kotlin_it_unibo_tuprolog_utils.$_$.r;
|
|
42
|
-
var map = kotlin_kotlin.$_$.
|
|
42
|
+
var map = kotlin_kotlin.$_$.h8;
|
|
43
43
|
var assertItemsAreNotNull_1 = kotlin_it_unibo_tuprolog_utils.$_$.t;
|
|
44
|
-
var Char = kotlin_kotlin.$_$.
|
|
44
|
+
var Char = kotlin_kotlin.$_$.fa;
|
|
45
45
|
var PrimitiveClasses_getInstance = kotlin_kotlin.$_$.j1;
|
|
46
46
|
var BigInteger = kotlin_io_github_gciatto_kt_math.$_$.g;
|
|
47
47
|
var BigDecimal = kotlin_io_github_gciatto_kt_math.$_$.f;
|
|
48
|
-
var Sequence = kotlin_kotlin.$_$.
|
|
48
|
+
var Sequence = kotlin_kotlin.$_$.k7;
|
|
49
49
|
var Iterable = kotlin_kotlin.$_$.n1;
|
|
50
50
|
var KtList = kotlin_kotlin.$_$.o1;
|
|
51
51
|
var KtSet = kotlin_kotlin.$_$.r1;
|
|
52
|
-
var Pair = kotlin_kotlin.$_$.
|
|
53
|
-
var Triple = kotlin_kotlin.$_$.
|
|
52
|
+
var Pair = kotlin_kotlin.$_$.pa;
|
|
53
|
+
var Triple = kotlin_kotlin.$_$.ta;
|
|
54
54
|
var Entry = kotlin_kotlin.$_$.p1;
|
|
55
55
|
var KtMap = kotlin_kotlin.$_$.q1;
|
|
56
|
-
var initMetadataForClass = kotlin_kotlin.$_$.
|
|
56
|
+
var initMetadataForClass = kotlin_kotlin.$_$.b6;
|
|
57
57
|
var VOID = kotlin_kotlin.$_$.b;
|
|
58
58
|
var Struct = kotlin_it_unibo_tuprolog_core.$_$.s1;
|
|
59
59
|
var Scope = kotlin_it_unibo_tuprolog_core.$_$.r1;
|
|
60
|
-
var initMetadataForInterface = kotlin_kotlin.$_$.
|
|
60
|
+
var initMetadataForInterface = kotlin_kotlin.$_$.d6;
|
|
61
61
|
var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.t;
|
|
62
62
|
var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.b1;
|
|
63
|
-
var initMetadataForCompanion = kotlin_kotlin.$_$.
|
|
63
|
+
var initMetadataForCompanion = kotlin_kotlin.$_$.c6;
|
|
64
64
|
var logicListFromFrom = kotlin_it_unibo_tuprolog_core.$_$.d;
|
|
65
65
|
var logicListFromIterable = kotlin_it_unibo_tuprolog_core.$_$.b;
|
|
66
66
|
var logicListFromSequence = kotlin_it_unibo_tuprolog_core.$_$.c;
|
|
67
|
-
var plus = kotlin_kotlin.$_$.
|
|
67
|
+
var plus = kotlin_kotlin.$_$.w3;
|
|
68
68
|
var Tuple = kotlin_it_unibo_tuprolog_core.$_$.s2;
|
|
69
69
|
var Companion_instance_1 = kotlin_it_unibo_tuprolog_core.$_$.z;
|
|
70
70
|
var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.v;
|
|
71
71
|
var Var = kotlin_it_unibo_tuprolog_core.$_$.t2;
|
|
72
72
|
var arrayConcat = kotlin_kotlin.$_$.a;
|
|
73
|
-
var sequenceOf = kotlin_kotlin.$_$.
|
|
73
|
+
var sequenceOf = kotlin_kotlin.$_$.n8;
|
|
74
74
|
var copyToArray = kotlin_kotlin.$_$.k2;
|
|
75
|
-
var listOf = kotlin_kotlin.$_$.
|
|
75
|
+
var listOf = kotlin_kotlin.$_$.f3;
|
|
76
76
|
var Rule = kotlin_it_unibo_tuprolog_core.$_$.q1;
|
|
77
77
|
var Directive = kotlin_it_unibo_tuprolog_core.$_$.j1;
|
|
78
78
|
var Fact = kotlin_it_unibo_tuprolog_core.$_$.k1;
|
|
@@ -291,6 +291,140 @@
|
|
|
291
291
|
return this.structOf('include', [this.convertToTerm(url)]);
|
|
292
292
|
}
|
|
293
293
|
initMetadataForInterface(LogicProgrammingScopeWithPrologStandardLibrary, 'LogicProgrammingScopeWithPrologStandardLibrary', VOID, VOID, [BaseLogicProgrammingScope]);
|
|
294
|
+
function stringInvoke(_this__u8e3s4, term, terms) {
|
|
295
|
+
var tmp = sequenceOf(arrayConcat([[term], terms]));
|
|
296
|
+
return this.structOfSequence(_this__u8e3s4, map(tmp, MinimalLogicProgrammingScope$invoke$lambda(this)));
|
|
297
|
+
}
|
|
298
|
+
function structOfAny(functor, args) {
|
|
299
|
+
// Inline function 'kotlin.collections.map' call
|
|
300
|
+
// Inline function 'kotlin.collections.mapTo' call
|
|
301
|
+
var destination = ArrayList_init_$Create$(args.length);
|
|
302
|
+
var inductionVariable = 0;
|
|
303
|
+
var last = args.length;
|
|
304
|
+
while (inductionVariable < last) {
|
|
305
|
+
var item = args[inductionVariable];
|
|
306
|
+
inductionVariable = inductionVariable + 1 | 0;
|
|
307
|
+
var tmp$ret$0 = this.convertToTerm(item);
|
|
308
|
+
destination.m(tmp$ret$0);
|
|
309
|
+
}
|
|
310
|
+
// Inline function 'kotlin.collections.toTypedArray' call
|
|
311
|
+
var tmp$ret$3 = copyToArray(destination);
|
|
312
|
+
return this.structOf(functor, tmp$ret$3.slice());
|
|
313
|
+
}
|
|
314
|
+
function tupleOfAny(terms) {
|
|
315
|
+
// Inline function 'kotlin.collections.map' call
|
|
316
|
+
// Inline function 'kotlin.collections.mapTo' call
|
|
317
|
+
var destination = ArrayList_init_$Create$(terms.length);
|
|
318
|
+
var inductionVariable = 0;
|
|
319
|
+
var last = terms.length;
|
|
320
|
+
while (inductionVariable < last) {
|
|
321
|
+
var item = terms[inductionVariable];
|
|
322
|
+
inductionVariable = inductionVariable + 1 | 0;
|
|
323
|
+
var tmp$ret$0 = this.convertToTerm(item);
|
|
324
|
+
destination.m(tmp$ret$0);
|
|
325
|
+
}
|
|
326
|
+
// Inline function 'kotlin.collections.toTypedArray' call
|
|
327
|
+
var tmp$ret$3 = copyToArray(destination);
|
|
328
|
+
return this.tupleOf(tmp$ret$3.slice());
|
|
329
|
+
}
|
|
330
|
+
function logicListOfAny(terms) {
|
|
331
|
+
// Inline function 'kotlin.collections.map' call
|
|
332
|
+
// Inline function 'kotlin.collections.mapTo' call
|
|
333
|
+
var destination = ArrayList_init_$Create$(terms.length);
|
|
334
|
+
var inductionVariable = 0;
|
|
335
|
+
var last = terms.length;
|
|
336
|
+
while (inductionVariable < last) {
|
|
337
|
+
var item = terms[inductionVariable];
|
|
338
|
+
inductionVariable = inductionVariable + 1 | 0;
|
|
339
|
+
var tmp$ret$0 = this.convertToTerm(item);
|
|
340
|
+
destination.m(tmp$ret$0);
|
|
341
|
+
}
|
|
342
|
+
// Inline function 'kotlin.collections.toTypedArray' call
|
|
343
|
+
var tmp$ret$3 = copyToArray(destination);
|
|
344
|
+
return this.logicListOf(tmp$ret$3.slice());
|
|
345
|
+
}
|
|
346
|
+
function blockOfAny(terms) {
|
|
347
|
+
// Inline function 'kotlin.collections.map' call
|
|
348
|
+
// Inline function 'kotlin.collections.mapTo' call
|
|
349
|
+
var destination = ArrayList_init_$Create$(terms.length);
|
|
350
|
+
var inductionVariable = 0;
|
|
351
|
+
var last = terms.length;
|
|
352
|
+
while (inductionVariable < last) {
|
|
353
|
+
var item = terms[inductionVariable];
|
|
354
|
+
inductionVariable = inductionVariable + 1 | 0;
|
|
355
|
+
var tmp$ret$0 = this.convertToTerm(item);
|
|
356
|
+
destination.m(tmp$ret$0);
|
|
357
|
+
}
|
|
358
|
+
// Inline function 'kotlin.collections.toTypedArray' call
|
|
359
|
+
var tmp$ret$3 = copyToArray(destination);
|
|
360
|
+
return this.blockOf(tmp$ret$3.slice());
|
|
361
|
+
}
|
|
362
|
+
function factOfAny(term) {
|
|
363
|
+
var tmp = this.convertToTerm(term);
|
|
364
|
+
return this.factOf(isInterface(tmp, Struct) ? tmp : THROW_CCE());
|
|
365
|
+
}
|
|
366
|
+
function consOfAny(head, tail) {
|
|
367
|
+
return this.consOf(this.convertToTerm(head), this.convertToTerm(tail));
|
|
368
|
+
}
|
|
369
|
+
function directiveOfAny(term, terms) {
|
|
370
|
+
var tmp = this.convertToTerm(term);
|
|
371
|
+
// Inline function 'kotlin.collections.map' call
|
|
372
|
+
// Inline function 'kotlin.collections.mapTo' call
|
|
373
|
+
var destination = ArrayList_init_$Create$(terms.length);
|
|
374
|
+
var inductionVariable = 0;
|
|
375
|
+
var last = terms.length;
|
|
376
|
+
while (inductionVariable < last) {
|
|
377
|
+
var item = terms[inductionVariable];
|
|
378
|
+
inductionVariable = inductionVariable + 1 | 0;
|
|
379
|
+
var tmp$ret$0 = this.convertToTerm(item);
|
|
380
|
+
destination.m(tmp$ret$0);
|
|
381
|
+
}
|
|
382
|
+
// Inline function 'kotlin.collections.toTypedArray' call
|
|
383
|
+
var tmp$ret$3 = copyToArray(destination);
|
|
384
|
+
return this.directiveOf(tmp, tmp$ret$3.slice());
|
|
385
|
+
}
|
|
386
|
+
function withScope(function_0) {
|
|
387
|
+
return function_0(this.newScope());
|
|
388
|
+
}
|
|
389
|
+
function logicList(items, tail) {
|
|
390
|
+
// Inline function 'kotlin.collections.map' call
|
|
391
|
+
var this_0 = listOf(items.slice());
|
|
392
|
+
// Inline function 'kotlin.collections.mapTo' call
|
|
393
|
+
var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
|
|
394
|
+
var _iterator__ex2g4s = this_0.p();
|
|
395
|
+
while (_iterator__ex2g4s.s()) {
|
|
396
|
+
var item = _iterator__ex2g4s.t();
|
|
397
|
+
var tmp$ret$0 = this.convertToTerm(item);
|
|
398
|
+
destination.m(tmp$ret$0);
|
|
399
|
+
}
|
|
400
|
+
// Inline function 'kotlin.let' call
|
|
401
|
+
var tmp;
|
|
402
|
+
if (!(tail == null)) {
|
|
403
|
+
tmp = this.w10(destination, this.convertToTerm(tail));
|
|
404
|
+
} else {
|
|
405
|
+
tmp = this.logicListOfIterable(destination);
|
|
406
|
+
}
|
|
407
|
+
return tmp;
|
|
408
|
+
}
|
|
409
|
+
function logicList_0(items, tail, $super) {
|
|
410
|
+
tail = tail === VOID ? null : tail;
|
|
411
|
+
return $super === VOID ? this.o2y(items, tail) : logicList(items, tail);
|
|
412
|
+
}
|
|
413
|
+
function rule(function_0) {
|
|
414
|
+
var tmp = this.convertToTerm(function_0(this.newScope()));
|
|
415
|
+
return isInterface(tmp, Rule) ? tmp : THROW_CCE();
|
|
416
|
+
}
|
|
417
|
+
function directive(function_0) {
|
|
418
|
+
var tmp = function_0(this.newScope());
|
|
419
|
+
var tmp_0 = getKClass(Directive);
|
|
420
|
+
return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$directiveOf$ref(this));
|
|
421
|
+
}
|
|
422
|
+
function fact(function_0) {
|
|
423
|
+
var tmp = function_0(this.newScope());
|
|
424
|
+
var tmp_0 = getKClass(Fact);
|
|
425
|
+
return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$factOf$ref(this));
|
|
426
|
+
}
|
|
427
|
+
initMetadataForInterface(MinimalLogicProgrammingScope, 'MinimalLogicProgrammingScope', VOID, VOID, [BaseLogicProgrammingScope]);
|
|
294
428
|
function termPlus(_this__u8e3s4, other) {
|
|
295
429
|
return this.structOf('+', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
296
430
|
}
|
|
@@ -449,140 +583,6 @@
|
|
|
449
583
|
return this.anyImpliedByVararg(_this__u8e3s4, other.slice());
|
|
450
584
|
}
|
|
451
585
|
initMetadataForInterface(LogicProgrammingScopeWithOperators, 'LogicProgrammingScopeWithOperators', VOID, VOID, [BaseLogicProgrammingScope]);
|
|
452
|
-
function stringInvoke(_this__u8e3s4, term, terms) {
|
|
453
|
-
var tmp = sequenceOf(arrayConcat([[term], terms]));
|
|
454
|
-
return this.structOfSequence(_this__u8e3s4, map(tmp, MinimalLogicProgrammingScope$invoke$lambda(this)));
|
|
455
|
-
}
|
|
456
|
-
function structOfAny(functor, args) {
|
|
457
|
-
// Inline function 'kotlin.collections.map' call
|
|
458
|
-
// Inline function 'kotlin.collections.mapTo' call
|
|
459
|
-
var destination = ArrayList_init_$Create$(args.length);
|
|
460
|
-
var inductionVariable = 0;
|
|
461
|
-
var last = args.length;
|
|
462
|
-
while (inductionVariable < last) {
|
|
463
|
-
var item = args[inductionVariable];
|
|
464
|
-
inductionVariable = inductionVariable + 1 | 0;
|
|
465
|
-
var tmp$ret$0 = this.convertToTerm(item);
|
|
466
|
-
destination.m(tmp$ret$0);
|
|
467
|
-
}
|
|
468
|
-
// Inline function 'kotlin.collections.toTypedArray' call
|
|
469
|
-
var tmp$ret$3 = copyToArray(destination);
|
|
470
|
-
return this.structOf(functor, tmp$ret$3.slice());
|
|
471
|
-
}
|
|
472
|
-
function tupleOfAny(terms) {
|
|
473
|
-
// Inline function 'kotlin.collections.map' call
|
|
474
|
-
// Inline function 'kotlin.collections.mapTo' call
|
|
475
|
-
var destination = ArrayList_init_$Create$(terms.length);
|
|
476
|
-
var inductionVariable = 0;
|
|
477
|
-
var last = terms.length;
|
|
478
|
-
while (inductionVariable < last) {
|
|
479
|
-
var item = terms[inductionVariable];
|
|
480
|
-
inductionVariable = inductionVariable + 1 | 0;
|
|
481
|
-
var tmp$ret$0 = this.convertToTerm(item);
|
|
482
|
-
destination.m(tmp$ret$0);
|
|
483
|
-
}
|
|
484
|
-
// Inline function 'kotlin.collections.toTypedArray' call
|
|
485
|
-
var tmp$ret$3 = copyToArray(destination);
|
|
486
|
-
return this.tupleOf(tmp$ret$3.slice());
|
|
487
|
-
}
|
|
488
|
-
function logicListOfAny(terms) {
|
|
489
|
-
// Inline function 'kotlin.collections.map' call
|
|
490
|
-
// Inline function 'kotlin.collections.mapTo' call
|
|
491
|
-
var destination = ArrayList_init_$Create$(terms.length);
|
|
492
|
-
var inductionVariable = 0;
|
|
493
|
-
var last = terms.length;
|
|
494
|
-
while (inductionVariable < last) {
|
|
495
|
-
var item = terms[inductionVariable];
|
|
496
|
-
inductionVariable = inductionVariable + 1 | 0;
|
|
497
|
-
var tmp$ret$0 = this.convertToTerm(item);
|
|
498
|
-
destination.m(tmp$ret$0);
|
|
499
|
-
}
|
|
500
|
-
// Inline function 'kotlin.collections.toTypedArray' call
|
|
501
|
-
var tmp$ret$3 = copyToArray(destination);
|
|
502
|
-
return this.logicListOf(tmp$ret$3.slice());
|
|
503
|
-
}
|
|
504
|
-
function blockOfAny(terms) {
|
|
505
|
-
// Inline function 'kotlin.collections.map' call
|
|
506
|
-
// Inline function 'kotlin.collections.mapTo' call
|
|
507
|
-
var destination = ArrayList_init_$Create$(terms.length);
|
|
508
|
-
var inductionVariable = 0;
|
|
509
|
-
var last = terms.length;
|
|
510
|
-
while (inductionVariable < last) {
|
|
511
|
-
var item = terms[inductionVariable];
|
|
512
|
-
inductionVariable = inductionVariable + 1 | 0;
|
|
513
|
-
var tmp$ret$0 = this.convertToTerm(item);
|
|
514
|
-
destination.m(tmp$ret$0);
|
|
515
|
-
}
|
|
516
|
-
// Inline function 'kotlin.collections.toTypedArray' call
|
|
517
|
-
var tmp$ret$3 = copyToArray(destination);
|
|
518
|
-
return this.blockOf(tmp$ret$3.slice());
|
|
519
|
-
}
|
|
520
|
-
function factOfAny(term) {
|
|
521
|
-
var tmp = this.convertToTerm(term);
|
|
522
|
-
return this.factOf(isInterface(tmp, Struct) ? tmp : THROW_CCE());
|
|
523
|
-
}
|
|
524
|
-
function consOfAny(head, tail) {
|
|
525
|
-
return this.consOf(this.convertToTerm(head), this.convertToTerm(tail));
|
|
526
|
-
}
|
|
527
|
-
function directiveOfAny(term, terms) {
|
|
528
|
-
var tmp = this.convertToTerm(term);
|
|
529
|
-
// Inline function 'kotlin.collections.map' call
|
|
530
|
-
// Inline function 'kotlin.collections.mapTo' call
|
|
531
|
-
var destination = ArrayList_init_$Create$(terms.length);
|
|
532
|
-
var inductionVariable = 0;
|
|
533
|
-
var last = terms.length;
|
|
534
|
-
while (inductionVariable < last) {
|
|
535
|
-
var item = terms[inductionVariable];
|
|
536
|
-
inductionVariable = inductionVariable + 1 | 0;
|
|
537
|
-
var tmp$ret$0 = this.convertToTerm(item);
|
|
538
|
-
destination.m(tmp$ret$0);
|
|
539
|
-
}
|
|
540
|
-
// Inline function 'kotlin.collections.toTypedArray' call
|
|
541
|
-
var tmp$ret$3 = copyToArray(destination);
|
|
542
|
-
return this.directiveOf(tmp, tmp$ret$3.slice());
|
|
543
|
-
}
|
|
544
|
-
function withScope(function_0) {
|
|
545
|
-
return function_0(this.newScope());
|
|
546
|
-
}
|
|
547
|
-
function logicList(items, tail) {
|
|
548
|
-
// Inline function 'kotlin.collections.map' call
|
|
549
|
-
var this_0 = listOf(items.slice());
|
|
550
|
-
// Inline function 'kotlin.collections.mapTo' call
|
|
551
|
-
var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
|
|
552
|
-
var _iterator__ex2g4s = this_0.p();
|
|
553
|
-
while (_iterator__ex2g4s.s()) {
|
|
554
|
-
var item = _iterator__ex2g4s.t();
|
|
555
|
-
var tmp$ret$0 = this.convertToTerm(item);
|
|
556
|
-
destination.m(tmp$ret$0);
|
|
557
|
-
}
|
|
558
|
-
// Inline function 'kotlin.let' call
|
|
559
|
-
var tmp;
|
|
560
|
-
if (!(tail == null)) {
|
|
561
|
-
tmp = this.w10(destination, this.convertToTerm(tail));
|
|
562
|
-
} else {
|
|
563
|
-
tmp = this.logicListOfIterable(destination);
|
|
564
|
-
}
|
|
565
|
-
return tmp;
|
|
566
|
-
}
|
|
567
|
-
function logicList_0(items, tail, $super) {
|
|
568
|
-
tail = tail === VOID ? null : tail;
|
|
569
|
-
return $super === VOID ? this.o2y(items, tail) : logicList(items, tail);
|
|
570
|
-
}
|
|
571
|
-
function rule(function_0) {
|
|
572
|
-
var tmp = this.convertToTerm(function_0(this.newScope()));
|
|
573
|
-
return isInterface(tmp, Rule) ? tmp : THROW_CCE();
|
|
574
|
-
}
|
|
575
|
-
function directive(function_0) {
|
|
576
|
-
var tmp = function_0(this.newScope());
|
|
577
|
-
var tmp_0 = getKClass(Directive);
|
|
578
|
-
return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$directiveOf$ref(this));
|
|
579
|
-
}
|
|
580
|
-
function fact(function_0) {
|
|
581
|
-
var tmp = function_0(this.newScope());
|
|
582
|
-
var tmp_0 = getKClass(Fact);
|
|
583
|
-
return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$factOf$ref(this));
|
|
584
|
-
}
|
|
585
|
-
initMetadataForInterface(MinimalLogicProgrammingScope, 'MinimalLogicProgrammingScope', VOID, VOID, [BaseLogicProgrammingScope]);
|
|
586
586
|
function varTo(_this__u8e3s4, termObject) {
|
|
587
587
|
return Companion_getInstance_0().of(_this__u8e3s4, this.convertToTerm(termObject));
|
|
588
588
|
}
|
|
@@ -616,7 +616,7 @@
|
|
|
616
616
|
return _this__u8e3s4.g2(this.convertToTerm(term));
|
|
617
617
|
}
|
|
618
618
|
initMetadataForInterface(LogicProgrammingScopeWithSubstitutions, 'LogicProgrammingScopeWithSubstitutions', VOID, VOID, [BaseLogicProgrammingScope]);
|
|
619
|
-
initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [LogicProgrammingScopeWithPrologStandardLibrary,
|
|
619
|
+
initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [LogicProgrammingScopeWithPrologStandardLibrary, MinimalLogicProgrammingScope, LogicProgrammingScopeWithOperators, BaseLogicProgrammingScope, Scope, LogicProgrammingScopeWithSubstitutions]);
|
|
620
620
|
initMetadataForCompanion(Companion_0);
|
|
621
621
|
initMetadataForClass(DefaultTermificator, 'DefaultTermificator', VOID, AbstractTermificator);
|
|
622
622
|
//endregion
|