@tuprolog/arg2p 0.11.2 → 0.11.4

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.
@@ -1,8 +1,8 @@
1
1
  (function (factory) {
2
2
  if (typeof define === 'function' && define.amd)
3
- define(['exports', './kotlin-kotlin-stdlib.js', './2p-core.js', './2p-unify.js', './2p-parser-core.js', './arg2p-core.js', './2p-theory.js', './2p-solve.js', './2p-parser-theory.js'], factory);
3
+ define(['exports', './kotlin-kotlin-stdlib.js', './2p-core.js', './2p-unify.js', './2p-parser-core.js', './2p-theory.js', './2p-parser-theory.js', './arg2p-core.js', './2p-solve.js'], factory);
4
4
  else if (typeof exports === 'object')
5
- factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-core.js'), require('./2p-unify.js'), require('./2p-parser-core.js'), require('./arg2p-core.js'), require('./2p-theory.js'), require('./2p-solve.js'), require('./2p-parser-theory.js'));
5
+ factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-core.js'), require('./2p-unify.js'), require('./2p-parser-core.js'), require('./2p-theory.js'), require('./2p-parser-theory.js'), require('./arg2p-core.js'), require('./2p-solve.js'));
6
6
  else {
7
7
  if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
8
8
  throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to 'arg2p-causality-solver'.");
@@ -16,21 +16,21 @@
16
16
  if (typeof globalThis['2p-parser-core'] === 'undefined') {
17
17
  throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency '2p-parser-core' was not found. Please, check whether '2p-parser-core' is loaded prior to 'arg2p-causality-solver'.");
18
18
  }
19
- if (typeof globalThis['arg2p-core'] === 'undefined') {
20
- throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency 'arg2p-core' was not found. Please, check whether 'arg2p-core' is loaded prior to 'arg2p-causality-solver'.");
21
- }
22
19
  if (typeof globalThis['2p-theory'] === 'undefined') {
23
20
  throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency '2p-theory' was not found. Please, check whether '2p-theory' is loaded prior to 'arg2p-causality-solver'.");
24
21
  }
25
- if (typeof globalThis['2p-solve'] === 'undefined') {
26
- throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to 'arg2p-causality-solver'.");
27
- }
28
22
  if (typeof globalThis['2p-parser-theory'] === 'undefined') {
29
23
  throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency '2p-parser-theory' was not found. Please, check whether '2p-parser-theory' is loaded prior to 'arg2p-causality-solver'.");
30
24
  }
31
- globalThis['arg2p-causality-solver'] = factory(typeof globalThis['arg2p-causality-solver'] === 'undefined' ? {} : globalThis['arg2p-causality-solver'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-core'], globalThis['2p-unify'], globalThis['2p-parser-core'], globalThis['arg2p-core'], globalThis['2p-theory'], globalThis['2p-solve'], globalThis['2p-parser-theory']);
25
+ if (typeof globalThis['arg2p-core'] === 'undefined') {
26
+ throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency 'arg2p-core' was not found. Please, check whether 'arg2p-core' is loaded prior to 'arg2p-causality-solver'.");
27
+ }
28
+ if (typeof globalThis['2p-solve'] === 'undefined') {
29
+ throw new Error("Error loading module 'arg2p-causality-solver'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to 'arg2p-causality-solver'.");
30
+ }
31
+ globalThis['arg2p-causality-solver'] = factory(typeof globalThis['arg2p-causality-solver'] === 'undefined' ? {} : globalThis['arg2p-causality-solver'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-core'], globalThis['2p-unify'], globalThis['2p-parser-core'], globalThis['2p-theory'], globalThis['2p-parser-theory'], globalThis['arg2p-core'], globalThis['2p-solve']);
32
32
  }
33
- }(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_argumentation_core, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_parser_theory) {
33
+ }(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_parser_theory, kotlin_it_unibo_tuprolog_argumentation_core, kotlin_it_unibo_tuprolog_solve) {
34
34
  'use strict';
35
35
  //region block: imports
36
36
  var ensureNotNull = kotlin_kotlin.$_$.pa;
@@ -45,28 +45,28 @@
45
45
  var Unit_instance = kotlin_kotlin.$_$.k1;
46
46
  var collectionSizeOrDefault = kotlin_kotlin.$_$.b2;
47
47
  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.c;
48
+ var plus = kotlin_kotlin.$_$.w3;
48
49
  var addAll = kotlin_kotlin.$_$.r1;
49
- var plus = kotlin_kotlin.$_$.v3;
50
- var Arg2pSolverFactory_instance = kotlin_it_unibo_tuprolog_argumentation_core.$_$.d;
50
+ var plus_0 = kotlin_kotlin.$_$.v3;
51
51
  var emptyList = kotlin_kotlin.$_$.l2;
52
- var VOID = kotlin_kotlin.$_$.b;
53
- var FlagsBuilder = kotlin_it_unibo_tuprolog_argumentation_core.$_$.f;
54
- var Graph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.k;
52
+ var Companion_instance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
53
+ var parseTheoryWithOperators = kotlin_it_unibo_tuprolog_parser_theory.$_$.b;
54
+ var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.u;
55
+ var parseStruct = kotlin_it_unibo_tuprolog_parser_core.$_$.d;
56
+ var Graph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.l;
55
57
  var asSequence = kotlin_kotlin.$_$.z1;
56
58
  var flatMap = kotlin_kotlin.$_$.x7;
57
59
  var toList = kotlin_kotlin.$_$.u8;
58
- var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.l;
59
- var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.u;
60
+ var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.l;
60
61
  var Default_getInstance = kotlin_kotlin.$_$.i1;
61
62
  var nextUInt = kotlin_kotlin.$_$.v6;
62
63
  var UInt = kotlin_kotlin.$_$.oa;
63
- var parseStruct = kotlin_it_unibo_tuprolog_parser_core.$_$.d;
64
- var Companion_instance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
65
64
  var Collection = kotlin_kotlin.$_$.l1;
66
65
  var isInterface = kotlin_kotlin.$_$.e6;
67
66
  var arg2pScope = kotlin_it_unibo_tuprolog_argumentation_core.$_$.e;
68
67
  var Signature = kotlin_it_unibo_tuprolog_solve.$_$.u2;
69
68
  var protoOf = kotlin_kotlin.$_$.m6;
69
+ var VOID = kotlin_kotlin.$_$.b;
70
70
  var sequenceOf = kotlin_kotlin.$_$.m8;
71
71
  var Primitive = kotlin_it_unibo_tuprolog_solve.$_$.w1;
72
72
  var initMetadataForClass = kotlin_kotlin.$_$.x5;
@@ -75,8 +75,12 @@
75
75
  var Var = kotlin_it_unibo_tuprolog_core.$_$.t2;
76
76
  var toList_0 = kotlin_kotlin.$_$.d4;
77
77
  var toString = kotlin_kotlin.$_$.p6;
78
- var Companion_instance_2 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.a;
79
- var Companion_instance_3 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.b;
78
+ var mineActiveGraph = kotlin_it_unibo_tuprolog_argumentation_core.$_$.k;
79
+ var Arg2pSolverFactory_instance = kotlin_it_unibo_tuprolog_argumentation_core.$_$.d;
80
+ var FlagsBuilder = kotlin_it_unibo_tuprolog_argumentation_core.$_$.f;
81
+ var Companion_instance_2 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.c;
82
+ var Companion_instance_3 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.a;
83
+ var Companion_instance_4 = kotlin_it_unibo_tuprolog_argumentation_core.$_$.b;
80
84
  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.i;
81
85
  var replace = kotlin_kotlin.$_$.k9;
82
86
  var listOf = kotlin_kotlin.$_$.c3;
@@ -84,7 +88,6 @@
84
88
  var mapCapacity = kotlin_kotlin.$_$.d3;
85
89
  var coerceAtLeast = kotlin_kotlin.$_$.a7;
86
90
  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.e;
87
- var parseTheoryWithOperators = kotlin_it_unibo_tuprolog_parser_theory.$_$.b;
88
91
  var content = kotlin_it_unibo_tuprolog_argumentation_core.$_$.g;
89
92
  var ArgLibrary = kotlin_it_unibo_tuprolog_argumentation_core.$_$.h;
90
93
  var Loadable = kotlin_it_unibo_tuprolog_argumentation_core.$_$.i;
@@ -127,13 +130,13 @@
127
130
  }
128
131
  function attackers($this, x, graph) {
129
132
  // Inline function 'kotlin.collections.filter' call
130
- var tmp0 = graph.l3k_1;
133
+ var tmp0 = graph.k3k_1;
131
134
  // Inline function 'kotlin.collections.filterTo' call
132
135
  var destination = ArrayList_init_$Create$();
133
136
  var _iterator__ex2g4s = tmp0.p();
134
137
  while (_iterator__ex2g4s.s()) {
135
138
  var element = _iterator__ex2g4s.t();
136
- if (element.f3k_1.y3j_1 === x.y3j_1) {
139
+ if (element.e3k_1.x3j_1 === x.x3j_1) {
137
140
  destination.m(element);
138
141
  }
139
142
  }
@@ -144,14 +147,14 @@
144
147
  while (_iterator__ex2g4s_0.s()) {
145
148
  var item = _iterator__ex2g4s_0.t();
146
149
  // Inline function 'kotlin.collections.find' call
147
- var tmp0_0 = graph.n3k_1;
150
+ var tmp0_0 = graph.m3k_1;
148
151
  var tmp$ret$4;
149
152
  $l$block: {
150
153
  // Inline function 'kotlin.collections.firstOrNull' call
151
154
  var _iterator__ex2g4s_1 = tmp0_0.p();
152
155
  while (_iterator__ex2g4s_1.s()) {
153
156
  var element_0 = _iterator__ex2g4s_1.t();
154
- if (item.e3k_1.y3j_1 === element_0.i3k_1.y3j_1) {
157
+ if (item.d3k_1.x3j_1 === element_0.h3k_1.x3j_1) {
155
158
  tmp$ret$4 = element_0;
156
159
  break $l$block;
157
160
  }
@@ -164,61 +167,69 @@
164
167
  }
165
168
  return destination_0;
166
169
  }
167
- function supporters($this, x, graph) {
168
- // Inline function 'kotlin.collections.filter' call
169
- var tmp0 = graph.n3k_1;
170
- // Inline function 'kotlin.collections.filterTo' call
171
- var destination = ArrayList_init_$Create$();
172
- var _iterator__ex2g4s = tmp0.p();
173
- while (_iterator__ex2g4s.s()) {
174
- var element = _iterator__ex2g4s.t();
175
- if (x.y3j_1 === element.i3k_1.y3j_1) {
176
- destination.m(element);
177
- }
178
- }
179
- var tmp = destination;
180
- // Inline function 'kotlin.collections.flatMap' call
181
- var tmp0_0 = attackers($this, x, graph);
182
- // Inline function 'kotlin.collections.flatMapTo' call
183
- var destination_0 = ArrayList_init_$Create$();
184
- var _iterator__ex2g4s_0 = tmp0_0.p();
185
- while (_iterator__ex2g4s_0.s()) {
186
- var element_0 = _iterator__ex2g4s_0.t();
170
+ function supporters($this, x, graph, chain) {
171
+ var tmp;
172
+ if (chain.u(x.x3j_1)) {
173
+ tmp = emptyList();
174
+ } else {
187
175
  // Inline function 'kotlin.collections.filter' call
188
- var tmp0_1 = attackers($this, element_0.i3k_1, graph);
176
+ var tmp0 = graph.m3k_1;
189
177
  // Inline function 'kotlin.collections.filterTo' call
190
- var destination_1 = ArrayList_init_$Create$();
191
- var _iterator__ex2g4s_1 = tmp0_1.p();
192
- while (_iterator__ex2g4s_1.s()) {
193
- var element_1 = _iterator__ex2g4s_1.t();
194
- if (!(element_1.i3k_1.y3j_1 === x.y3j_1)) {
195
- destination_1.m(element_1);
178
+ var destination = ArrayList_init_$Create$();
179
+ var _iterator__ex2g4s = tmp0.p();
180
+ while (_iterator__ex2g4s.s()) {
181
+ var element = _iterator__ex2g4s.t();
182
+ if (x.x3j_1 === element.h3k_1.x3j_1 && element.i3k_1 === 'in') {
183
+ destination.m(element);
196
184
  }
197
185
  }
186
+ var tmp_0 = destination;
198
187
  // Inline function 'kotlin.collections.flatMap' call
188
+ var tmp0_0 = attackers($this, x, graph);
199
189
  // Inline function 'kotlin.collections.flatMapTo' call
200
- var destination_2 = ArrayList_init_$Create$();
201
- var _iterator__ex2g4s_2 = destination_1.p();
202
- while (_iterator__ex2g4s_2.s()) {
203
- var element_2 = _iterator__ex2g4s_2.t();
204
- var list = supporters($this, element_2.i3k_1, graph);
205
- addAll(destination_2, list);
190
+ var destination_0 = ArrayList_init_$Create$();
191
+ var _iterator__ex2g4s_0 = tmp0_0.p();
192
+ while (_iterator__ex2g4s_0.s()) {
193
+ var element_0 = _iterator__ex2g4s_0.t();
194
+ // Inline function 'kotlin.collections.filter' call
195
+ var tmp0_1 = attackers($this, element_0.h3k_1, graph);
196
+ // Inline function 'kotlin.collections.filterTo' call
197
+ var destination_1 = ArrayList_init_$Create$();
198
+ var _iterator__ex2g4s_1 = tmp0_1.p();
199
+ while (_iterator__ex2g4s_1.s()) {
200
+ var element_1 = _iterator__ex2g4s_1.t();
201
+ if (!(element_1.h3k_1.x3j_1 === x.x3j_1)) {
202
+ destination_1.m(element_1);
203
+ }
204
+ }
205
+ // Inline function 'kotlin.collections.flatMap' call
206
+ // Inline function 'kotlin.collections.flatMapTo' call
207
+ var destination_2 = ArrayList_init_$Create$();
208
+ var _iterator__ex2g4s_2 = destination_1.p();
209
+ while (_iterator__ex2g4s_2.s()) {
210
+ var element_2 = _iterator__ex2g4s_2.t();
211
+ var list = supporters($this, element_2.h3k_1, graph, plus(chain, x.x3j_1));
212
+ addAll(destination_2, list);
213
+ }
214
+ var list_0 = destination_2;
215
+ addAll(destination_0, list_0);
206
216
  }
207
- var list_0 = destination_2;
208
- addAll(destination_0, list_0);
217
+ tmp = plus_0(tmp_0, destination_0);
209
218
  }
210
- return plus(tmp, destination_0);
219
+ return tmp;
211
220
  }
212
221
  function solveFresh($this, kb) {
213
- var tmp0_elvis_lhs = firstOrNull(Arg2pSolverFactory_instance.x39(kb.toStringAsProlog(true), new FlagsBuilder(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, emptyList())));
222
+ $this.t3n_1.resetStaticKb();
223
+ $this.t3n_1.loadStaticKb(parseTheoryWithOperators(Companion_instance_0, kb.toStringAsProlog(true), $this.u3n_1));
224
+ var tmp = $this.t3n_1.solve(parseStruct(Companion_getInstance_1(), 'buildLabelSetsSilent'));
225
+ var tmp0_elvis_lhs = firstOrNull(map(tmp, CausalitySolver$solveFresh$lambda($this)));
214
226
  return tmp0_elvis_lhs == null ? new Graph(emptyList(), emptyList(), emptyList()) : tmp0_elvis_lhs;
215
227
  }
216
228
  function getSupports($this, graph, effect) {
217
- var tmp = asSequence(graph.n3k_1);
229
+ var tmp = asSequence(graph.m3k_1);
218
230
  var tmp_0 = filter(tmp, CausalitySolver$getSupports$lambda($this, effect));
219
231
  var tmp_1 = flatMap(tmp_0, CausalitySolver$getSupports$lambda_0($this, graph));
220
- var tmp_2 = filter(tmp_1, CausalitySolver$getSupports$lambda_1);
221
- return map(tmp_2, CausalitySolver$getSupports$lambda_2);
232
+ return map(tmp_1, CausalitySolver$getSupports$lambda_1);
222
233
  }
223
234
  function checkBaseTheory($this, request, effect) {
224
235
  // Inline function 'kotlin.let' call
@@ -234,19 +245,19 @@
234
245
  var _iterator__ex2g4s = this_0.p();
235
246
  while (_iterator__ex2g4s.s()) {
236
247
  var item = _iterator__ex2g4s.t();
237
- var tmp$ret$0 = Companion_getInstance_1().of(parseStruct(Companion_getInstance_2(), ':->(fk' + new UInt(nextUInt(Default_getInstance())) + ', ' + item.toString() + ')'), []);
248
+ var tmp$ret$0 = Companion_getInstance_2().of(parseStruct(Companion_getInstance_1(), ':->(fk' + new UInt(nextUInt(Default_getInstance())) + ', ' + item.toString() + ')'), []);
238
249
  destination.m(tmp$ret$0);
239
250
  }
240
251
  // Inline function 'kotlin.let' call
241
252
  // Inline function 'kotlin.let' call
242
253
  // Inline function 'kotlin.collections.filter' call
243
- var tmp0 = solveFresh($this, request.context.b1t().plusTheory(Companion_instance_0.ofIterableWithDefaultUnificator(destination))).n3k_1;
254
+ var tmp0 = solveFresh($this, request.context.b1t().plusTheory(Companion_instance_0.ofIterableWithDefaultUnificator(destination))).m3k_1;
244
255
  // Inline function 'kotlin.collections.filterTo' call
245
256
  var destination_0 = ArrayList_init_$Create$();
246
257
  var _iterator__ex2g4s_0 = tmp0.p();
247
258
  while (_iterator__ex2g4s_0.s()) {
248
259
  var element = _iterator__ex2g4s_0.t();
249
- if (element.j3k_1 === 'out' || element.j3k_1 === 'und') {
260
+ if (element.i3k_1 === 'out' || element.i3k_1 === 'und') {
250
261
  destination_0.m(element);
251
262
  }
252
263
  }
@@ -256,7 +267,7 @@
256
267
  var _iterator__ex2g4s_1 = destination_0.p();
257
268
  while (_iterator__ex2g4s_1.s()) {
258
269
  var item_0 = _iterator__ex2g4s_1.t();
259
- var tmp$ret$6 = item_0.i3k_1.a3k();
270
+ var tmp$ret$6 = item_0.h3k_1.z3j();
260
271
  destination_1.m(tmp$ret$6);
261
272
  }
262
273
  var tmp$ret$9;
@@ -353,43 +364,43 @@
353
364
  return tmp;
354
365
  }
355
366
  function CausalityCheckIntervention($outer) {
356
- this.v3n_1 = $outer;
357
- this.u3n_1 = new Signature('evaluate_intervention', 2);
367
+ this.y3n_1 = $outer;
368
+ this.x3n_1 = new Signature('evaluate_intervention', 2);
358
369
  }
359
370
  protoOf(CausalityCheckIntervention).m1s = function () {
360
- return this.u3n_1;
371
+ return this.x3n_1;
361
372
  };
362
373
  protoOf(CausalityCheckIntervention).g2e = function (request) {
363
374
  var intervention = request.arguments.w(0).castToList();
364
- var effect = this.v3n_1.y3n(request.arguments.w(1).toString());
365
- return sequenceOf(request.replyWithCondition(checkCausality(this.v3n_1, request, intervention, effect), VOID, []));
375
+ var effect = this.y3n_1.z3n(request.arguments.w(1).toString());
376
+ return sequenceOf(request.replyWithCondition(checkCausality(this.y3n_1, request, intervention, effect), VOID, []));
366
377
  };
367
378
  protoOf(CausalityCheckIntervention).solve = function (request) {
368
379
  return this.g2e(request);
369
380
  };
370
381
  function CausalityCheckCause($outer) {
371
- this.a3o_1 = $outer;
372
- this.z3n_1 = new Signature('evaluate', 3);
382
+ this.b3o_1 = $outer;
383
+ this.a3o_1 = new Signature('evaluate', 3);
373
384
  }
374
385
  protoOf(CausalityCheckCause).m1s = function () {
375
- return this.z3n_1;
386
+ return this.a3o_1;
376
387
  };
377
388
  protoOf(CausalityCheckCause).g2e = function (request) {
378
389
  var intervention = request.arguments.w(0);
379
390
  var cause = request.arguments.w(1);
380
- var effect = this.a3o_1.y3n(request.arguments.w(2).toString());
391
+ var effect = this.b3o_1.z3n(request.arguments.w(2).toString());
381
392
  if (!isInterface(intervention, Var)) {
382
393
  throw Companion_instance_1.forGoal(request.context, request.signature, Expected_VARIABLE_getInstance(), intervention);
383
394
  }
384
395
  var tmp = Companion_instance;
385
396
  // Inline function 'kotlin.collections.map' call
386
- var this_0 = solveFresh(this.a3o_1, request.context.b1t()).k3k_1;
397
+ var this_0 = solveFresh(this.b3o_1, request.context.b1t()).j3k_1;
387
398
  // Inline function 'kotlin.collections.mapTo' call
388
399
  var destination = ArrayList_init_$Create$_0(collectionSizeOrDefault(this_0, 10));
389
400
  var _iterator__ex2g4s = this_0.p();
390
401
  while (_iterator__ex2g4s.s()) {
391
402
  var item = _iterator__ex2g4s.t();
392
- var tmp$ret$0 = item.r3j_1;
403
+ var tmp$ret$0 = item.q3j_1;
393
404
  destination.m(tmp$ret$0);
394
405
  }
395
406
  // Inline function 'kotlin.collections.filter' call
@@ -403,29 +414,31 @@
403
414
  }
404
415
  }
405
416
  var rules = parseTerm(tmp, toString(toList_0(destination_0)));
406
- return sequenceOf(request.replyWith(arg2pScope(CausalitySolver$CausalityCheckCause$solve$lambda(request, rules, cause, this.a3o_1, effect, intervention)), VOID, []));
417
+ return sequenceOf(request.replyWith(arg2pScope(CausalitySolver$CausalityCheckCause$solve$lambda(request, rules, cause, this.b3o_1, effect, intervention)), VOID, []));
407
418
  };
408
419
  protoOf(CausalityCheckCause).solve = function (request) {
409
420
  return this.g2e(request);
410
421
  };
422
+ function CausalitySolver$solveFresh$lambda(this$0) {
423
+ return function (it) {
424
+ return mineActiveGraph(this$0.t3n_1);
425
+ };
426
+ }
411
427
  function CausalitySolver$getSupports$lambda(this$0, $effect) {
412
428
  return function (it) {
413
- return it.j3k_1 === 'in' && equalTerms(this$0, it.i3k_1.s3j_1, $effect);
429
+ return equalTerms(this$0, it.h3k_1.r3j_1, $effect);
414
430
  };
415
431
  }
416
432
  function CausalitySolver$getSupports$lambda_0(this$0, $graph) {
417
433
  return function (it) {
418
- return supporters(this$0, it.i3k_1, $graph);
434
+ return supporters(this$0, it.h3k_1, $graph, emptyList());
419
435
  };
420
436
  }
421
437
  function CausalitySolver$getSupports$lambda_1(it) {
422
- return it.j3k_1 === 'in';
423
- }
424
- function CausalitySolver$getSupports$lambda_2(it) {
425
- return it.i3k_1;
438
+ return it.h3k_1;
426
439
  }
427
440
  function CausalitySolver$checkBaseTheory$lambda(a) {
428
- return a.a3k();
441
+ return a.z3j();
429
442
  }
430
443
  function CausalitySolver$getSubsets$lambda$lambda(it) {
431
444
  return it.d1u();
@@ -443,16 +456,21 @@
443
456
  };
444
457
  }
445
458
  function CausalitySolver() {
446
- this.w3n_1 = 'prolog.argumentation.causality.solver';
447
- this.x3n_1 = Companion_instance_2.d39().plusOperatorSet(Companion_instance_3.d39()).plusOperatorSet(Companion_getInstance_3().DEFAULT);
459
+ var tmp = this;
460
+ var tmp_0 = Arg2pSolverFactory_instance;
461
+ var tmp0_graphExtensions = emptyList();
462
+ tmp.t3n_1 = tmp_0.k39(VOID, (new FlagsBuilder(VOID, VOID, VOID, VOID, VOID, 'grounded_hash', VOID, VOID, VOID, VOID, tmp0_graphExtensions)).w39());
463
+ this.u3n_1 = Companion_instance_2.g39().d39();
464
+ this.v3n_1 = 'prolog.argumentation.causality.solver';
465
+ this.w3n_1 = Companion_instance_3.d39().plusOperatorSet(Companion_instance_4.d39()).plusOperatorSet(Companion_getInstance_3().DEFAULT);
448
466
  }
449
- protoOf(CausalitySolver).y3n = function (string) {
467
+ protoOf(CausalitySolver).z3n = function (string) {
450
468
  return replace(replace(string, ' ', ''), "'", '');
451
469
  };
452
470
  protoOf(CausalitySolver).y2b = function () {
453
- return this.w3n_1;
471
+ return this.v3n_1;
454
472
  };
455
- protoOf(CausalitySolver).z39 = function () {
473
+ protoOf(CausalitySolver).y39 = function () {
456
474
  // Inline function 'kotlin.let' call
457
475
  var primitives = listOf([new CausalityCheckIntervention(this), new CausalityCheckCause(this)]);
458
476
  var tmp = Companion_getInstance_4();
@@ -466,13 +484,13 @@
466
484
  var tmp$ret$0 = element.m1s();
467
485
  destination.k4(tmp$ret$0, element);
468
486
  }
469
- return tmp.of(this.w3n_1, destination, parseTheoryWithOperators(Companion_instance_0, 'subsets([], []).\nsubsets([H|T], [H|NT]) :- subsets(T, NT).\nsubsets([_|T], NT) :- subsets(T, NT).\n\nproper_subsets(L, S) :-\n subsets(L, S),\n S \\= [],\n S \\= L.\n\ngenerate_interventions(_, S, [CS]) :-\n compl(S, CS).\ngenerate_interventions(_, S, [undercut(S)]) :-\n S \\= -_.\ngenerate_interventions(R, S, SUP) :-\n parser:::convertAllRules(_),\n compl(S, CS),\n unused_premises(R, UP), !,\n subsets(UP, SUP),\n member(CS, SUP),\n SUP \\= [].\n\ncompl(-X, X) :- !.\ncompl(X, -X).\n\nunused_premises(R, UP) :-\n findall(P, (parser::rule(Id, P, _), \\+ member(Id, R)), RR),\n utils::appendLists(RR, UP).\n', this.x3n_1));
487
+ return tmp.of(this.v3n_1, destination, parseTheoryWithOperators(Companion_instance_0, 'subsets([], []).\nsubsets([H|T], [H|NT]) :- subsets(T, NT).\nsubsets([_|T], NT) :- subsets(T, NT).\n\nproper_subsets(L, S) :-\n subsets(L, S),\n S \\= [],\n S \\= L.\n\ngenerate_interventions(_, S, [CS]) :-\n compl(S, CS).\ngenerate_interventions(_, S, [undercut(S)]) :-\n S \\= -_.\ngenerate_interventions(R, S, SUP) :-\n parser:::convertAllRules(_),\n compl(S, CS),\n unused_premises(R, UP), !,\n subsets(UP, SUP),\n member(CS, SUP),\n SUP \\= [].\n\ncompl(-X, X) :- !.\ncompl(X, -X).\n\nunused_premises(R, UP) :-\n findall(P, (parser::rule(Id, P, _), \\+ member(Id, R)), RR),\n utils::appendLists(RR, UP).\n', this.w3n_1));
470
488
  };
471
- protoOf(CausalitySolver).a3a = function () {
489
+ protoOf(CausalitySolver).z39 = function () {
472
490
  return 'causality';
473
491
  };
474
492
  protoOf(CausalitySolver).i39 = function () {
475
- return this.x3n_1;
493
+ return this.w3n_1;
476
494
  };
477
495
  //region block: post-declaration
478
496
  protoOf(CausalitySolver).h39 = content;
@@ -1 +1 @@
1
- {"version":3,"sources":["../../../../../../causality-solver/src/commonMain/kotlin/it/unibo/tuprolog/argumentation/causality/libs/CausalitySolver.kt","common/src/generated/_Collections.kt"],"sourcesContent":[null,null],"ignoreList":[],"x_google_ignoreList":[],"names":["CausalitySolver$CausalityCheckCause$solve$lambda$lambda","$this_arg2pScope","CausalitySolver$CausalityCheckCause$solve$lambda$lambda$lambda","$request","$effect","$intervention","CausalitySolver$CausalityCheckCause$solve$lambda","$rules","$cause","equalTerms","a","b","attackers","x","graph","element","item","supporters","list","solveFresh","kb","getSupports","effect","checkBaseTheory","request","checkIntervention","intervention","support","getSubsets","checkCausality","supports","<init>","<get-signature>","solve","cause","rules","CausalitySolver$getSupports$lambda","CausalitySolver$getSupports$lambda$lambda","$graph","CausalitySolver$checkBaseTheory$lambda","CausalitySolver$getSubsets$lambda$lambda","CausalitySolver$getSubsets$lambda$lambda$lambda","CausalitySolver$getSubsets$lambda","clean","string","<get-alias>","<get-baseContent>","capacity","identifier","<get-theoryOperators>"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kEA+KoCA,CAAA,EAAAA,EAAA;A,IACI,OAAR,EAAG,M;EACP,C;oEAAMA,CALHC,gBAKGD,E;oBAAAE,CAAA,EAAAA,EAAA;A,MAAmC,OAAjC,cAAA,EAAG,MAAH,IAAgB,sBAAhB,EAAqB,a;IAAa,C;G;oEAClCF,CAjJpC,M,EAiH2BG,Q,EAGfC,OA6BwBJ,E;oBAAAE,CAAA,EAAAA,EAAA;A,MAAqC,OAAnC,uBAAe,QAAf,EAAwB,EAAxB,EAA4B,OAA5B,C;IAAoC,C;G;oEACzCF,CAhCrBK,aAgCqBL,E;oBAAAE,CAAA,EAAAA,EAAA;A,MAAmC,OAApB,2BAAG,aAAH,EAAiB,EAAjB,C;IAAqB,C;G;2DAPtCI,CA1BJH,Q,EAcfI,M,EAZAC,M,EAnHZ,M,EAoHYJ,O,EAFAC,aAyBmBC,E;oBAAAN,CAAA,gBAAAA,EAAA;A,gBACP,QACK,OAAM,wDAAyB,MAAzB,EAAgC,SAAO,sBAAP,CAAhC,CAAN,C;kBACA,YAAO,uDAAP,C;kBAEC,WAAI,2EAAJ,C;kBACD,cAAO,oFAAP,C;UALL,iBAOK,YADA,WAAI,wEAAJ,CACA,C;MAAsC,OAP3C,yBAOmC,gCAPnC,iB;IAQJ,C;G;qBA/IRS,CAAA,K,EACJC,C,EACAC,CAFIF,EAGJ;A,IAAsD,OAA3C,+BAAQ,OAAW,8BAAM,CAAN,CAAX,EAA0B,8BAAM,CAAN,CAA1B,C;EAAkC,C;oBAEjDG,CAAA,K,EACJC,C,EACAC,KAFIF,EAIJ;A;eAAA,K,CAAM,K;;sBCstBM,yB;QA2FA,4B;WAAA,qB,EAAM;A,UAAjBG,UAAW,qB;MAAU,IAAU,ODhzBlB,CAAG,KAAH,CAAU,KAAV,KAAwB,CAAxB,CAA0B,KCgzBlB,C,CAAgC;A,QAAZ,WAAY,GAAI,OAAJ,C;;IAAW,C;;;wBA0rBxD,0BAAa,wBAzrBnB,WAyrBmB,EAAwB,EAAxB,CAAb,C;QAuEA,sBAhwBN,WAgwBM,I;WAAA,uB,EACT;A,UADCC,OAAQ,uB;;mBDhjDS,K,CAAM,K;;;;YCqPZ,gC;eAAA,uB,EAAM;A,cAAjBD,YAAW,uB;UAAU,IA4zCI,IDjjDgB,CAAI,KAAJ,CAAa,KAAb,KCqPV,SDrPU,CAA8B,KAA9B,CAAuC,KCqP3D,C;YAAoB,YAAO,S;;;QAAM,C;QAC3D,YAAO,I;;UA1HP,YAAO,S;UD5H4F,YAA7E,cAAiB,SAAjB,C;MCijDlB,aAAY,GAAI,SAAJ,C;IAAmB,C;IDjjDkE,OCkjD9F,a;EDljD6F,C;qBAE5FE,CAAA,K,EACJJ,C,EACAC,KAFIG,EAIJ;A;eAAA,K,CAAM,K;;sBC8sBM,yB;QA2FA,4B;WAAA,qB,EAAM;A,UAAjBF,UAAW,qB;MAAU,IDxyBR,EAAE,KAAF,KCwyBkB,ODxyBlB,CAAmB,KAAnB,CAA4B,KCwyBpB,C,CAAgC;A,QAAZ,WAAY,GAAI,OAAJ,C;;IAAW,C;cAC9D,W;;iBDxyBC,iBAAU,CAAV,EAAa,KAAb,C;;wBCoyCS,yB;QAsFD,gC;WAAA,uB,EAAM;A,UAAjBA,YAAW,uB;;mBDz3CJ,iBC03Ca,SD13Cb,CAAc,KAAd,EAAwB,KAAxB,C;;0BC2sBI,yB;UA2FA,gC;aAAA,uB,EAAM;A,YAAjBA,YAAW,uB;QAAU,IDtyB0B,ECsyBhB,SDtyBgB,CAAG,KAAH,CAAY,KAAZ,KAA0B,CAA1B,CAA4B,KAA5B,CCsyB1B,C,CAAgC;A,UAAZ,aAAY,GAAI,SAAJ,C;;MAAW,C;;;0BA6fpD,yB;UAsFD,sBAllBT,aAklBS,I;aAAA,uB,EAAM;A,YAAjBA,YAAW,uB;YACZG,OD13CmG,kBC03C9E,SD13C8E,CAAc,KAAd,EAAwB,KAAxB,C;QC23CvF,OAAZ,aAAY,EAAO,IAAP,C;MAChB,C;UAFIA,SAGG,a;MAFS,OAAZ,aAAY,EAAO,MAAP,C;IAChB,C;ID33CS,OAJL,UCg4CG,aDh4CH,C;EAII,C;qBAEAC,CAAA,K,EAAeC,EAAfD,EACJ;A,QAAA,iBAIM,YAHD,gCACG,EAAG,kBAAwB,IAAxB,CADN,EAEG,6EAA+B,WAA/B,CAFH,CAGC,C;IAA6D,OAJnE,yBAIuB,UAAM,WAAN,EAAmB,WAAnB,EAAgC,WAAhC,CAJvB,iB;EAIkE,C;sBAG9DE,CAAA,K,EACJP,K,EACAQ,MAFID,EAIJ;A,cACK,WADL,KACK,CADC,KACD,C;gBACA,YAAO,iDAAP,C;gBACA,eAAQ,kDAAR,C;gBACA,cAAO,oCAAP,C;IACmB,OAAnB,WAAI,oCAAJ,C;EAAkB,C;0BAEnBE,CAAA,K,EACJC,O,EACAF,MAFIC,EAGJ;A;aAAA,kBAAW,OAAgB,CAAR,OAAQ,MAA3B,C;cACA,mBAAY,EAAZ,EAAgB,MAAhB,C;IACH,OAD+D,OAApC,SAAI,sCAAJ,CAAoC,C;EAChE,C;4BAEQE,CAAA,K,EACJD,O,EACAE,Y,EACAC,OAHIF,EAIJ;A;iBAAA,YAAa,S;;sBC+7CJ,0BAAa,gCAAwB,EAAxB,CAAb,C;QAuEA,oBAvEN,MAuEM,I;WAAA,qB,EACT;A,UADCT,OAAQ,qB;UDtgDsF,YAArD,6BAAU,uCAAO,QAAP,YAAsB,+BAAtB,IAAiC,IAAjC,GCugD1B,IDvgD0B,cAAuC,GAAvC,CAAV,K;MCugD1C,WAAY,GAAI,SAAJ,C;IAAmB,C;;;;eDtgD/B,kBAAW,OAAgB,CAAR,OAAQ,MAAS,YAAY,qDCugD7C,WDvgD6C,CAAZ,CAApC,C,CACQ,K;;wBCwqBI,yB;QA2FA,8B;WAAA,uB,EAAM;A,UAAjBD,UAAW,uB;MAAU,IAAU,ODlwBT,CAAE,KAAF,KAAW,KCkwBZ,IAAU,ODlwBW,CAAE,KAAF,KAAW,KCkwBhC,C,CAAgC;A,QAAZ,aAAY,GAAI,OAAJ,C;;IAAW,C;;;wBA0rBxD,0BAAa,wBAzrBnB,aAyrBmB,EAAwB,EAAxB,CAAb,C;QAuEA,sBAhwBN,aAgwBM,I;WAAA,uB,EACT;A,UADCC,SAAQ,uB;UDlgD0C,YCmgDzB,MDngDK,CAAT,KAAS,M;MCmgD/B,aAAY,GAAI,SAAJ,C;IAAmB,C;;;;;MA8H/B,gBA7HG,aA6HH,c;cA7HG,aA6HmB,I;;cAAA,K;;MAAtB,Q;QAAiC,YAAO,K;;;UAC5B,sBA9HT,aA8HS,I;aAAA,uB,EAAM;A,YAAjBD,YAAW,uB;;;;;UADZ,gBDhoDoB,OCgoDpB,c;oBDhoDoB,OCgoDE,I;;oBAAA,K;;UAAtB,U;YAAiC,aAAO,K;;;cAC5B,sBDjoDQ,OCioDR,I;iBAAA,uB,EAAM;A,gBAAjBA,YAAW,uB;YAAU,IDjoD4B,+BAAQ,OCioD1B,SDjoD0B,ECioD1B,SDjoD0B,CCioDpC,C;cAAoB,aAAO,I;;;UAAG,C;UACxD,aAAO,K;;QADmB,IDjoDM,UCioDN,C;UAAoB,YAAO,I;;;MAAG,C;MACxD,YAAO,K;;IDhoDN,OAFY,S;EAEb,C;qBAEQa,CAAA,K,EACJJ,O,EACAE,YAFIE,EAGJ;A,IAOH,OAPG,WAAW,wDAAX,C;EAOJ,C;yBAKQC,CAAA,K,EACJL,O,EACAE,Y,EACAJ,MAHIO,EAIG;A,QACPC,WAAe,uBAAgB,OAAhB,EAAyB,MAAzB,C;IACX,IAAA,QAAS,IAAT,C;MAAoB,OAAO,K;;IAExB,6BAAkB,OAAlB,EAA2B,YAA3B,EAAyC,QAAzC,E;;MAEC,IAAA,YAAa,KAAb,IAAgC,CAAhC,C;gBAAA,I;;mBACI,kBAAW,OAAX,EAAoB,YAApB,C;;;;;UC6kDZ,kC;oBAAsB,Q;;oBAAA,K;;UAAtB,U;YAAiC,YAAO,I;;;cAC5B,4B;iBAAA,qB,EAAM;A,gBAAjBf,UAAW,qB;YAAU,KD9kD8B,CAAC,yBAAkB,OAAlB,EC8kDpB,OD9kDoB,EAA+B,QAA/B,CC8kD/B,C;cAAqB,YAAO,K;;;UAAI,C;UAC1D,YAAO,I;;gBD/kD2C,S;;;;YADtC,K;;IAFR,U;EAKJ,C;qCAEAgB,C,MAAAA,EAAA;A,IAAA,mB;IAC6B,2BAAU,uBAAV,EAAmC,CAAnC,C;EAD7B,C;qDACaC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qDAEZC,CAAUT,OAAVS,EAA8E;A,QACnFP,eAA2B,QAAQ,SAAR,GAAkB,CAAlB,CAAqB,a;QAChDJ,SAAqB,eAAM,QAAQ,SAAR,GAAkB,CAAlB,CAAqB,WAA3B,C;IAErB,OAAO,WACH,OAAQ,oBAAU,2BAAe,OAAf,EAAwB,YAAxB,EAAsC,MAAtC,CAAV,WADL,C;EAGX,C;wDArIGE,O;;;8BAwIPO,C,MAAAA,EAAA;A,IAAA,mB;IAC6B,2BAAU,UAAV,EAAsB,CAAtB,C;EAD7B,C;8CACaC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;8CAEZC,CAAUT,OAAVS,EAA8E;A,QACnFP,eAAyB,QAAQ,SAAR,GAAkB,CAAlB,C;QACzBQ,QAAkB,QAAQ,SAAR,GAAkB,CAAlB,C;QAClBZ,SAAqB,eAAM,QAAQ,SAAR,GAAkB,CAAlB,CAAqB,WAA3B,C;IAEjB,oC,CAAsB;A,MACtB,MAAgB,6BACZ,OADY,CACJ,OADI,EAEZ,OAFY,CAEJ,SAFI,EAGO,+BAHP,EAIZ,YAJY,C;IAMpB,C;;;iBAIQ,uBAAW,OAAgB,CAAR,OAAQ,MAA3B,C,CACK,K;;sBCu3CR,0BAAa,gCAAwB,EAAxB,CAAb,C;QAuEA,oBAvEN,MAuEM,I;WAAA,qB,EACT;A,UADCN,OAAQ,qB;UD77CwB,YC87CP,ID97CO,CAAP,K;MC87C1B,WAAY,GAAI,SAAJ,C;IAAmB,C;;;wBA71BnB,yB;QA2FA,sBAmwBT,WAnwBS,I;WAAA,uB,EAAM;A,UAAjBD,UAAW,uB;MAAU,ID3rBI,EC2rBM,OD3rBN,KAAM,MAAN,CC2rBJ,C,CAAgC;A,QAAZ,aAAY,GAAI,OAAJ,C;;IAAW,C;QDhsB7DoB,QACS,eAMI,SADA,SC2rBd,aD3rBc,CACA,CANJ,C;IAST,OAAO,WACH,OAAQ,WACJ,WAAW,yGAAX,CADI,WADL,C;EAcX,C;iDAjLGX,O;;;6CAoESY,CANR,M,EAEJhC,OAIYgC,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAAgE,OAA9D,GAAG,KAAH,KAAY,IAAkD,IAA1C,mBAAW,EAAX,CAAc,KAAd,CAAuB,KAAvB,EAAmC,OAAnC,C;IAA2C,C;G;+CAChED,CAPT,M,EACJE,MAMaF,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAAgC,OAA9B,mBAAW,EAAX,CAAc,KAAd,EAAwB,MAAxB,C;IAA+B,C;G;+CAClCD,CAAA,EAAAA,EAAA;A,IAAkB,OAAhB,GAAG,KAAH,KAAY,I;EAAK,C;+CACtBA,CAAA,EAAAA,EAAA;A,IAAa,OAAX,EAAW,CAAR,K;EAAS,C;iDAMKG,CAAE,CAAFA,EAAA;A,IAA6B,OAAtB,CAAE,M;EAAqB,C;mDAsB9CC,CAAA,EAAAA,EAAA;A,IACI,OAAR,EAAG,M;EACP,C;qDAAMA,CALCvC,gBAKDuC,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAAmC,OAAjC,cAAA,EAAG,MAAH,IAAgB,sBAAhB,EAAqB,a;IAAa,C;G;4CALnCC,CAFXvC,Q,EACAE,aACWqC,E;oBAAAF,CAAA,gBAAAA,EAAA;A,gBACX,QACK,OAAM,gDAAiB,aAAjB,EAA+B,wBAA/B,CAAN,C;kBACA,YAAO,wCAAP,C;MAGQ,OAAR,OADC,WAAI,4DAAJ,CACD,C;IACT,C;G;0BA7EJT,CAAAA,EAAA;A,IA0JyB,oD;IAsDZ,aAFA,0BACA,iBAAoB,0BAApB,CACA,2CAAiB,OAAjB,C;EAhNb,C;0CAGIY,CAAUC,MAAVD,EAA4B;A,IAAwC,OAAhB,QAAjB,QAAP,MAAO,EAAQ,GAAR,EAAa,EAAb,CAAiB,EAAQ,GAAR,EAAa,EAAb,C;EAAe,C;0CAuJ1DE,CAAAA,EAAA;A,IAAA,iB;EAAQ,C;0CAGbC,CAAAA,EACI;A;qBAAA,OAAO,uCAA8B,6BAA9B,CAAP,C;;;QCw/BRC,WAAwD,cAAzC,YAAY,wBDr/BE,UCq/BF,EAAwB,EAAxB,CAAZ,CAAyC,EAAc,EAAd,C;;sBACnC,4BAAoB,QAApB,C;QA2BL,oBDjhCa,UCihCb,I;WAAA,qB,EAAM;A,UAAjBhC,UAAW,qB;UDjhCkD,YCkhClC,ODlhCyB,M;MCkhCrD,WAAY,IAAI,SAAJ,EAA0B,OAA1B,C;IAChB,C;ID/+BS,OAtCW,OACI,IADJ,CACS,KADT,ECshCb,WDthCa,EAIO,+CA8BC,2oBA9BD,EA+BH,IA/BG,CA+BH,KA/BG,CAJP,C;EAsCZ,C;0CAKCiC,CAAAA,EAA2B;A,IAAW,OAAX,W;EAAU,C;0CAErCC,CAAAA,EAAA;A,IAAA,iB;EAAkB,C;;;;;;;;;;"}
1
+ {"version":3,"sources":["../../../../../../causality-solver/src/commonMain/kotlin/it/unibo/tuprolog/argumentation/causality/libs/CausalitySolver.kt","common/src/generated/_Collections.kt"],"sourcesContent":[null,null],"ignoreList":[],"x_google_ignoreList":[],"names":["CausalitySolver$CausalityCheckCause$solve$lambda$lambda","$this_arg2pScope","CausalitySolver$CausalityCheckCause$solve$lambda$lambda$lambda","$request","$effect","$intervention","CausalitySolver$CausalityCheckCause$solve$lambda","$rules","$cause","equalTerms","a","b","attackers","x","graph","element","item","supporters","chain","list","solveFresh","kb","getSupports","effect","checkBaseTheory","request","checkIntervention","intervention","support","getSubsets","checkCausality","supports","<init>","<get-signature>","solve","cause","rules","CausalitySolver$solveFresh$lambda","CausalitySolver$solveFresh$lambda$lambda","CausalitySolver$getSupports$lambda","CausalitySolver$getSupports$lambda$lambda","$graph","CausalitySolver$checkBaseTheory$lambda","CausalitySolver$getSubsets$lambda$lambda","CausalitySolver$getSubsets$lambda$lambda$lambda","CausalitySolver$getSubsets$lambda","clean","string","<get-alias>","<get-baseContent>","capacity","identifier","<get-theoryOperators>"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kEA+LoCA,CAAA,EAAAA,EAAA;A,IACI,OAAR,EAAG,M;EACP,C;oEAAMA,CALHC,gBAKGD,E;oBAAAE,CAAA,EAAAA,EAAA;A,MAAmC,OAAjC,cAAA,EAAG,MAAH,IAAgB,sBAAhB,EAAqB,a;IAAa,C;G;oEAClCF,CA/JpC,M,EA+H2BG,Q,EAGfC,OA6BwBJ,E;oBAAAE,CAAA,EAAAA,EAAA;A,MAAqC,OAAnC,uBAAe,QAAf,EAAwB,EAAxB,EAA4B,OAA5B,C;IAAoC,C;G;oEACzCF,CAhCrBK,aAgCqBL,E;oBAAAE,CAAA,EAAAA,EAAA;A,MAAmC,OAApB,2BAAG,aAAH,EAAiB,EAAjB,C;IAAqB,C;G;2DAPtCI,CA1BJH,Q,EAcfI,M,EAZAC,M,EAjIZ,M,EAkIYJ,O,EAFAC,aAyBmBC,E;oBAAAN,CAAA,gBAAAA,EAAA;A,gBACP,QACK,OAAM,wDAAyB,MAAzB,EAAgC,SAAO,sBAAP,CAAhC,CAAN,C;kBACA,YAAO,uDAAP,C;kBAEC,WAAI,2EAAJ,C;kBACD,cAAO,oFAAP,C;UALL,iBAOK,YADA,WAAI,wEAAJ,CACA,C;MAAsC,OAP3C,yBAOmC,gCAPnC,iB;IAQJ,C;G;qBAtJRS,CAAA,K,EACJC,C,EACAC,CAFIF,EAGJ;A,IAAsD,OAA3C,+BAAQ,OAAW,8BAAM,CAAN,CAAX,EAA0B,8BAAM,CAAN,CAA1B,C;EAAkC,C;oBAEjDG,CAAA,K,EACJC,C,EACAC,KAFIF,EAIJ;A;eAAA,K,CAAM,K;;sBC6sBM,yB;QA2FA,4B;WAAA,qB,EAAM;A,UAAjBG,UAAW,qB;MAAU,IAAU,ODvyBlB,CAAG,KAAH,CAAU,KAAV,KAAwB,CAAxB,CAA0B,KCuyBlB,C,CAAgC;A,QAAZ,WAAY,GAAI,OAAJ,C;;IAAW,C;;;wBA0rBxD,0BAAa,wBAzrBnB,WAyrBmB,EAAwB,EAAxB,CAAb,C;QAuEA,sBAhwBN,WAgwBM,I;WAAA,uB,EACT;A,UADCC,OAAQ,uB;;mBDviDS,K,CAAM,K;;;;YC4OZ,gC;eAAA,uB,EAAM;A,cAAjBD,YAAW,uB;UAAU,IA4zCI,IDxiDgB,CAAI,KAAJ,CAAa,KAAb,KC4OV,SD5OU,CAA8B,KAA9B,CAAuC,KC4O3D,C;YAAoB,YAAO,S;;;QAAM,C;QAC3D,YAAO,I;;UA1HP,YAAO,S;UDnH4F,YAA7E,cAAiB,SAAjB,C;MCwiDlB,aAAY,GAAI,SAAJ,C;IAAmB,C;IDxiDkE,OCyiD9F,a;EDziD6F,C;qBAE5FE,CAAA,K,EACJJ,C,EACAC,K,EACAI,KAHID,EAKJ;A;IAAI,IAAgB,KAAhB,KAAE,KAAF,E;YACA,W;;;iBAEA,K,CAAM,K;;wBCisBE,yB;UA2FA,4B;aAAA,qB,EAAM;A,YAAjBF,UAAW,qB;QAAU,ID3xBJ,EAAE,KAAF,KC2xBc,OD3xBd,CAAmB,KAAnB,CAA4B,KC2xBxB,IAAU,OD3xB4B,CAAG,KAAH,KAAY,IC2xBlD,C,CAAgC;A,UAAZ,WAAY,GAAI,OAAJ,C;;MAAW,C;kBAC9D,W;;mBD3xBK,iBAAU,CAAV,EAAa,KAAb,C;;0BCuxCK,yB;UAsFD,gC;aAAA,uB,EAAM;A,YAAjBA,YAAW,uB;;qBD52CA,iBC62CS,SD72CT,CAAc,KAAd,EAAwB,KAAxB,C;;4BC8rBA,yB;YA2FA,gC;eAAA,uB,EAAM;A,cAAjBA,YAAW,uB;UAAU,IDxxBI,ECwxBM,SDxxBN,CAAG,KAAH,CAAY,KAAZ,KAA0B,CAA1B,CAA4B,KAA5B,CCwxBJ,C,CAAgC;A,YAAZ,aAAY,GAAI,SAAJ,C;;QAAW,C;;;4BA6fpD,yB;YAsFD,sBAllBT,aAklBS,I;eAAA,uB,EAAM;A,cAAjBA,YAAW,uB;cACZI,OD32C2B,kBC22CN,SD32CM,CAAc,KAAd,EAAwB,KAAxB,EAA+B,YAAQ,CAAR,CAAU,KAAV,CAA/B,C;UC42Cf,OAAZ,aAAY,EAAO,IAAP,C;QAChB,C;YAFIA,SAGG,a;QAFS,OAAZ,aAAY,EAAO,MAAP,C;MAChB,C;YDl3CQ,cCm3CD,aDn3CC,C;;IAOH,U;EAAD,C;qBAEIC,CAAA,K,EAAeC,EAAfD,EAAkC;A,IACtC,KAAY,CAAP,KAAO,gB;IACZ,KAAY,CAAP,KAAO,cAAoB,+CAAM,EAAG,kBAAwB,IAAxB,CAAT,EAAwC,KAAxC,CAAwC,KAAxC,CAApB,C;cACL,KACF,CADO,KACP,OAAa,uCAAM,sBAAN,CAAb,C;QADE,iBAGF,YADA,SAAI,wCAAJ,CACA,C;IAHL,OAAO,yBAGe,UAAM,WAAN,EAAmB,WAAnB,EAAgC,WAAhC,CAHf,iB;EAIX,C;sBAGQE,CAAA,K,EACJR,K,EACAS,MAFID,EAIJ;A,cACK,WADL,KACK,CADC,KACD,C;gBACA,YAAO,iDAAP,C;gBACA,eAAQ,kDAAR,C;IACmB,OAAnB,WAAI,oCAAJ,C;EAAkB,C;0BAEnBE,CAAA,K,EACJC,O,EACAF,MAFIC,EAGJ;A;aAAA,kBAAW,OAAgB,CAAR,OAAQ,MAA3B,C;cACA,mBAAY,EAAZ,EAAgB,MAAhB,C;IACH,OAD+D,OAApC,SAAI,sCAAJ,CAAoC,C;EAChE,C;4BAEQE,CAAA,K,EACJD,O,EACAE,Y,EACAC,OAHIF,EAIJ;A;iBAAA,YAAa,S;;sBC86CJ,0BAAa,gCAAwB,EAAxB,CAAb,C;QAuEA,oBAvEN,MAuEM,I;WAAA,qB,EACT;A,UADCV,OAAQ,qB;UDr/CsF,YAArD,6BAAU,uCAAO,QAAP,YAAsB,+BAAtB,IAAiC,IAAjC,GCs/C1B,IDt/C0B,cAAuC,GAAvC,CAAV,K;MCs/C1C,WAAY,GAAI,SAAJ,C;IAAmB,C;;;;eDr/C/B,kBAAW,OAAgB,CAAR,OAAQ,MAAS,YAAY,qDCs/C7C,WDt/C6C,CAAZ,CAApC,C,CACQ,K;;wBCupBI,yB;QA2FA,8B;WAAA,uB,EAAM;A,UAAjBD,UAAW,uB;MAAU,IAAU,ODjvBT,CAAE,KAAF,KAAW,KCivBZ,IAAU,ODjvBW,CAAE,KAAF,KAAW,KCivBhC,C,CAAgC;A,QAAZ,aAAY,GAAI,OAAJ,C;;IAAW,C;;;wBA0rBxD,0BAAa,wBAzrBnB,aAyrBmB,EAAwB,EAAxB,CAAb,C;QAuEA,sBAhwBN,aAgwBM,I;WAAA,uB,EACT;A,UADCC,SAAQ,uB;UDj/C0C,YCk/CzB,MDl/CK,CAAT,KAAS,M;MCk/C/B,aAAY,GAAI,SAAJ,C;IAAmB,C;;;;;MA8H/B,gBA7HG,aA6HH,c;cA7HG,aA6HmB,I;;cAAA,K;;MAAtB,Q;QAAiC,YAAO,K;;;UAC5B,sBA9HT,aA8HS,I;aAAA,uB,EAAM;A,YAAjBD,YAAW,uB;;;;;UADZ,gBD/mDoB,OC+mDpB,c;oBD/mDoB,OC+mDE,I;;oBAAA,K;;UAAtB,U;YAAiC,aAAO,K;;;cAC5B,sBDhnDQ,OCgnDR,I;iBAAA,uB,EAAM;A,gBAAjBA,YAAW,uB;YAAU,IDhnD4B,+BAAQ,OCgnD1B,SDhnD0B,ECgnD1B,SDhnD0B,CCgnDpC,C;cAAoB,aAAO,I;;;UAAG,C;UACxD,aAAO,K;;QADmB,IDhnDM,UCgnDN,C;UAAoB,YAAO,I;;;MAAG,C;MACxD,YAAO,K;;ID/mDN,OAFY,S;EAEb,C;qBAEQc,CAAA,K,EACJJ,O,EACAE,YAFIE,EAGJ;A,IAOH,OAPG,WAAW,wDAAX,C;EAOJ,C;yBAKQC,CAAA,K,EACJL,O,EACAE,Y,EACAJ,MAHIO,EAIG;A,QACPC,WAAe,uBAAgB,OAAhB,EAAyB,MAAzB,C;IACX,IAAA,QAAS,IAAT,C;MAAoB,OAAO,K;;IACxB,6BAAkB,OAAlB,EAA2B,YAA3B,EAAyC,QAAzC,E;;MAEC,IAAA,YAAa,KAAb,IAAgC,CAAhC,C;gBAAA,I;;mBACI,kBAAW,OAAX,EAAoB,YAApB,C;;;;;UC6jDZ,kC;oBAAsB,Q;;oBAAA,K;;UAAtB,U;YAAiC,YAAO,I;;;cAC5B,4B;iBAAA,qB,EAAM;A,gBAAjBhB,UAAW,qB;YAAU,KD9jD8B,CAAC,yBAAkB,OAAlB,EC8jDpB,OD9jDoB,EAA+B,QAA/B,CC8jD/B,C;cAAqB,YAAO,K;;;UAAI,C;UAC1D,YAAO,I;;gBD/jD2C,S;;;;YADtC,K;;IAFR,U;EAKJ,C;qCAEAiB,C,MAAAA,EAAA;A,IAAA,mB;IAC6B,2BAAU,uBAAV,EAAmC,CAAnC,C;EAD7B,C;qDACaC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;qDAEZC,CAAUT,OAAVS,EAA8E;A,QACnFP,eAA2B,QAAQ,SAAR,GAAkB,CAAlB,CAAqB,a;QAChDJ,SAAqB,eAAM,QAAQ,SAAR,GAAkB,CAAlB,CAAqB,WAA3B,C;IAErB,OAAO,WACH,OAAQ,oBAAU,2BAAe,OAAf,EAAwB,YAAxB,EAAsC,MAAtC,CAAV,WADL,C;EAGX,C;wDArJKE,O;;;8BAwJTO,C,MAAAA,EAAA;A,IAAA,mB;IAC6B,2BAAU,UAAV,EAAsB,CAAtB,C;EAD7B,C;8CACaC,CAAAA,EAAA;A,IAAA,iB;EAAY,C;8CAEZC,CAAUT,OAAVS,EAA8E;A,QACnFP,eAAyB,QAAQ,SAAR,GAAkB,CAAlB,C;QACzBQ,QAAkB,QAAQ,SAAR,GAAkB,CAAlB,C;QAClBZ,SAAqB,eAAM,QAAQ,SAAR,GAAkB,CAAlB,CAAqB,WAA3B,C;IAEjB,oC,CAAsB;A,MACtB,MAAgB,6BACZ,OADY,CACJ,OADI,EAEZ,OAFY,CAEJ,SAFI,EAGO,+BAHP,EAIZ,YAJY,C;IAMpB,C;;;iBAIQ,uBAAW,OAAgB,CAAR,OAAQ,MAA3B,C,CACK,K;;sBCu2CR,0BAAa,gCAAwB,EAAxB,CAAb,C;QAuEA,oBAvEN,MAuEM,I;WAAA,qB,EACT;A,UADCP,OAAQ,qB;UD76CwB,YC86CP,ID96CO,CAAP,K;MC86C1B,WAAY,GAAI,SAAJ,C;IAAmB,C;;;wBA71BnB,yB;QA2FA,sBAmwBT,WAnwBS,I;WAAA,uB,EAAM;A,UAAjBD,UAAW,uB;MAAU,ID3qBI,EC2qBM,OD3qBN,KAAM,MAAN,CC2qBJ,C,CAAgC;A,QAAZ,aAAY,GAAI,OAAJ,C;;IAAW,C;QDhrB7DqB,QACS,eAMI,SADA,SC2qBd,aD3qBc,CACA,CANJ,C;IAST,OAAO,WACH,OAAQ,WACJ,WAAW,yGAAX,CADI,WADL,C;EAcX,C;iDAjMKX,O;;;4CA2EIY,CALL,MAKKA,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAAgB,OAAP,gBAAP,MAAO,CAAP,KAAO,C;IAAQ,C;G;6CAWdC,CANR,M,EAEJnC,OAIYmC,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAA4C,OAA1C,mBAAW,EAAX,CAAc,KAAd,CAAuB,KAAvB,EAAmC,OAAnC,C;IAA2C,C;G;+CAC5CD,CAPT,M,EACJE,MAMaF,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAA6C,OAA3C,mBAAW,EAAX,CAAc,KAAd,EAAwB,MAAxB,EAA+B,WAA/B,C;IAA4C,C;G;+CAClDD,CAAA,EAAAA,EAAA;A,IAAa,OAAX,EAAW,CAAR,K;EAAS,C;iDAMKG,CAAE,CAAFA,EAAA;A,IAA6B,OAAtB,CAAE,M;EAAqB,C;mDAsB9CC,CAAA,EAAAA,EAAA;A,IACI,OAAR,EAAG,M;EACP,C;qDAAMA,CALC1C,gBAKD0C,E;oBAAAC,CAAA,EAAAA,EAAA;A,MAAmC,OAAjC,cAAA,EAAG,MAAH,IAAgB,sBAAhB,EAAqB,a;IAAa,C;G;4CALnCC,CAFX1C,Q,EACAE,aACWwC,E;oBAAAF,CAAA,gBAAAA,EAAA;A,gBACX,QACK,OAAM,gDAAiB,aAAjB,EAA+B,wBAA/B,CAAN,C;kBACA,YAAO,wCAAP,C;MAGQ,OAAR,OADC,WAAI,4DAAJ,CACD,C;IACT,C;G;0BA5FJX,CAAAA,EAAA;A,cAM2B,I;;QAC2B,kC;IAD3B,4BACiF,CAArF,+CAAoE,eAApE,0BAA+B,oBAA/B,CAAqF,OADjF,C;IAIe,aAAV,0BAAU,M;IA8JjB,oD;IAsDZ,aAFA,0BACA,iBAAoB,0BAApB,CACA,2CAAiB,OAAjB,C;EA9Nb,C;0CAGIc,CAAUC,MAAVD,EAA4B;A,IAAwC,OAAhB,QAAjB,QAAP,MAAO,EAAQ,GAAR,EAAa,EAAb,CAAiB,EAAQ,GAAR,EAAa,EAAb,C;EAAe,C;0CAqK1DE,CAAAA,EAAA;A,IAAA,iB;EAAQ,C;0CAGbC,CAAAA,EACI;A;qBAAA,OAAO,uCAA8B,6BAA9B,CAAP,C;;;QCw+BRC,WAAwD,cAAzC,YAAY,wBDr+BE,UCq+BF,EAAwB,EAAxB,CAAZ,CAAyC,EAAc,EAAd,C;;sBACnC,4BAAoB,QAApB,C;QA2BL,oBDjgCa,UCigCb,I;WAAA,qB,EAAM;A,UAAjBnC,UAAW,qB;UDjgCkD,YCkgClC,ODlgCyB,M;MCkgCrD,WAAY,IAAI,SAAJ,EAA0B,OAA1B,C;IAChB,C;ID/9BS,OAtCW,OACI,IADJ,CACS,KADT,ECsgCb,WDtgCa,EAIO,+CA8BC,2oBA9BD,EA+BH,IA/BG,CA+BH,KA/BG,CAJP,C;EAsCZ,C;0CAKCoC,CAAAA,EAA2B;A,IAAW,OAAX,W;EAAU,C;0CAErCC,CAAAA,EAAA;A,IAAA,iB;EAAkB,C;;;;;;;;;;"}