@tuprolog/2p-full 0.30.5-dev01 → 0.31.1

package/2p-bdd.js

@@ -0,0 +1,609 @@
+(function (_, kotlin_kotlin) {
+  'use strict';
+  //region block: imports
+  var imul = Math.imul;
+  var interfaceMeta = kotlin_kotlin.$_$.u6;
+  var setMetadataFor = kotlin_kotlin.$_$.j7;
+  var objectMeta = kotlin_kotlin.$_$.i7;
+  var RuntimeException = kotlin_kotlin.$_$.rb;
+  var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.b2;
+  var captureStack = kotlin_kotlin.$_$.h6;
+  var classMeta = kotlin_kotlin.$_$.m6;
+  var hashCode = kotlin_kotlin.$_$.t6;
+  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f1;
+  var Unit_getInstance = kotlin_kotlin.$_$.r2;
+  var ensureNotNull = kotlin_kotlin.$_$.vb;
+  var Pair = kotlin_kotlin.$_$.qb;
+  var compareTo = kotlin_kotlin.$_$.n6;
+  var equals = kotlin_kotlin.$_$.o6;
+  var THROW_CCE = kotlin_kotlin.$_$.sb;
+  var isComparable = kotlin_kotlin.$_$.x6;
+  var getKClassFromExpression = kotlin_kotlin.$_$.b;
+  var lazy = kotlin_kotlin.$_$.xb;
+  var KProperty1 = kotlin_kotlin.$_$.d8;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.r6;
+  //endregion
+  //region block: pre-declaration
+  function accept(visitor) {
+    return visitor.visitTerminal(this);
+  }
+  setMetadataFor(Terminal, 'Terminal', interfaceMeta, undefined, undefined, undefined, undefined, []);
+  function accept_0(visitor) {
+    return visitor.visitVariable(this);
+  }
+  setMetadataFor(Variable, 'Variable', interfaceMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(Companion, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(Companion_0, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(BinaryDecisionDiagramException, 'BinaryDecisionDiagramException', classMeta, RuntimeException, undefined, undefined, undefined, []);
+  setMetadataFor(BinaryDecisionDiagramOperationException, 'BinaryDecisionDiagramOperationException', classMeta, BinaryDecisionDiagramException, undefined, undefined, undefined, []);
+  setMetadataFor(AnyVisitor, 'AnyVisitor', classMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(BinaryApplyExpansionVisitor, 'BinaryApplyExpansionVisitor', classMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(ExpansionVisitor, 'ExpansionVisitor', classMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(UnaryApplyExpansionVisitor, 'UnaryApplyExpansionVisitor', classMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(ReducedBinaryDecisionDiagramBuilder, 'ReducedBinaryDecisionDiagramBuilder', classMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(SimpleBinaryDecisionDiagramBuilder, 'SimpleBinaryDecisionDiagramBuilder', classMeta, undefined, undefined, undefined, undefined, []);
+  setMetadataFor(SimpleBinaryDecisionDiagramTerminal, 'SimpleBinaryDecisionDiagramTerminal', classMeta, undefined, [Terminal], undefined, undefined, []);
+  setMetadataFor(SimpleBinaryDecisionDiagramVariable, 'SimpleBinaryDecisionDiagramVariable', classMeta, undefined, [Variable], undefined, undefined, []);
+  setMetadataFor(CastVisitor, 'CastVisitor', classMeta, undefined, undefined, undefined, undefined, []);
+  //endregion
+  function Terminal() {
+  }
+  function Variable() {
+  }
+  function Companion() {
+    Companion_instance = this;
+  }
+  Companion.prototype.variableOf = function (value) {
+    return this.variableOfWithNodes(value, this.terminalOf(false), this.terminalOf(true));
+  };
+  Companion.prototype.variableOfWithNodes = function (value, low, high) {
+    return Companion_getInstance_0().defaultOf().buildVariable(value, low, high);
+  };
+  Companion.prototype.terminalOf = function (truth) {
+    return Companion_getInstance_0().defaultOf().buildTerminal(truth);
+  };
+  var Companion_instance;
+  function Companion_getInstance() {
+    if (Companion_instance == null)
+      new Companion();
+    return Companion_instance;
+  }
+  function Companion_0() {
+    Companion_instance_0 = this;
+  }
+  Companion_0.prototype.defaultOf = function () {
+    return createDefaultBinaryDecisionDiagramBuilder();
+  };
+  Companion_0.prototype.simpleOf = function () {
+    return new SimpleBinaryDecisionDiagramBuilder();
+  };
+  Companion_0.prototype.reducedOf = function (delegate) {
+    return this.z31(delegate === void 1 ? this.defaultOf() : delegate);
+  };
+  Companion_0.prototype.z31 = function (delegate) {
+    return new ReducedBinaryDecisionDiagramBuilder(delegate);
+  };
+  Companion_0.prototype.a32 = function (delegate, $mask0, $handler) {
+    if (!(($mask0 & 1) === 0))
+      delegate = this.defaultOf();
+    return this.z31(delegate);
+  };
+  var Companion_instance_0;
+  function Companion_getInstance_0() {
+    if (Companion_instance_0 == null)
+      new Companion_0();
+    return Companion_instance_0;
+  }
+  function createDefaultBinaryDecisionDiagramBuilder() {
+    return Companion_getInstance_0().simpleOf();
+  }
+  function notThenExpansion(_this__u8e3s4, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
+    return runOperationAndCatchErrors(notThenExpansion$lambda(_this__u8e3s4, expansionFalseTerminal, expansionTrueTerminal, expansionOperator));
+  }
+  function andThenExpansion(_this__u8e3s4, that, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
+    return runOperationAndCatchErrors(andThenExpansion$lambda(_this__u8e3s4, that, expansionFalseTerminal, expansionTrueTerminal, expansionOperator));
+  }
+  function orThenExpansion(_this__u8e3s4, that, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
+    return runOperationAndCatchErrors(orThenExpansion$lambda(_this__u8e3s4, that, expansionFalseTerminal, expansionTrueTerminal, expansionOperator));
+  }
+  function applyUnaryThenExpansion(_this__u8e3s4, unaryOp, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
+    return runOperationAndCatchErrors(applyThenExpansion$lambda(_this__u8e3s4, unaryOp, expansionFalseTerminal, expansionTrueTerminal, expansionOperator));
+  }
+  function applyBinaryThenExpansion(_this__u8e3s4, that, binaryOp, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
+    return runOperationAndCatchErrors(applyThenExpansion$lambda_0(_this__u8e3s4, that, binaryOp, expansionFalseTerminal, expansionTrueTerminal, expansionOperator));
+  }
+  function notThenExpansion$lambda$lambda(a) {
+    return !a;
+  }
+  function notThenExpansion$lambda($this_notThenExpansion, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator) {
+    return function () {
+      return applyUnaryThenExpansion($this_notThenExpansion, notThenExpansion$lambda$lambda, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator);
+    };
+  }
+  function andThenExpansion$lambda$lambda(a, b) {
+    return a ? b : false;
+  }
+  function andThenExpansion$lambda($this_andThenExpansion, $that, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator) {
+    return function () {
+      return applyBinaryThenExpansion($this_andThenExpansion, $that, andThenExpansion$lambda$lambda, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator);
+    };
+  }
+  function orThenExpansion$lambda$lambda(a, b) {
+    return a ? true : b;
+  }
+  function orThenExpansion$lambda($this_orThenExpansion, $that, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator) {
+    return function () {
+      return applyBinaryThenExpansion($this_orThenExpansion, $that, orThenExpansion$lambda$lambda, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator);
+    };
+  }
+  function applyThenExpansion$lambda($this_applyThenExpansion, $unaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator) {
+    return function () {
+      var tmp = Companion_getInstance_0();
+      return $this_applyThenExpansion.accept(new UnaryApplyExpansionVisitor(tmp.a32(null, 1, null), $unaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator));
+    };
+  }
+  function applyThenExpansion$lambda_0($this_applyThenExpansion, $that, $binaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator) {
+    return function () {
+      var tmp = Companion_getInstance_0();
+      return $this_applyThenExpansion.accept(new BinaryApplyExpansionVisitor(tmp.a32(null, 1, null), $that, $binaryOp, $expansionFalseTerminal, $expansionTrueTerminal, $expansionOperator));
+    };
+  }
+  function bddTerminalOf(value) {
+    return Companion_getInstance().terminalOf(value);
+  }
+  function bddOf(value) {
+    return Companion_getInstance().variableOf(value);
+  }
+  function expansion(_this__u8e3s4, falseTerminal, trueTerminal, operator) {
+    return runOperationAndCatchErrors(expansion$lambda(_this__u8e3s4, operator, falseTerminal, trueTerminal));
+  }
+  function anyWhere(_this__u8e3s4, predicate) {
+    return runOperationAndCatchErrors(any$lambda(_this__u8e3s4, predicate));
+  }
+  function map(_this__u8e3s4, mapper) {
+    var tmp = Companion_getInstance_0();
+    var builder = tmp.a32(null, 1, null);
+    return runOperationAndCatchErrors(map$lambda(_this__u8e3s4, builder, mapper));
+  }
+  function runOperationAndCatchErrors(action) {
+    try {
+      return action();
+    } catch ($p) {
+      if ($p instanceof Error) {
+        throw new BinaryDecisionDiagramOperationException('BinaryDecisionDiagram operation failure', $p);
+      } else {
+        throw $p;
+      }
+    }
+  }
+  function expansion$lambda($this_expansion, $operator, $falseTerminal, $trueTerminal) {
+    return function () {
+      return $this_expansion.accept(new ExpansionVisitor($operator, $falseTerminal, $trueTerminal));
+    };
+  }
+  function any$lambda($this_any, $predicate) {
+    return function () {
+      return $this_any.accept(new AnyVisitor($predicate));
+    };
+  }
+  function map$lambda$lambda($builder, $mapper) {
+    return function (node, low, high) {
+      return $builder.buildVariable($mapper(node), low, high);
+    };
+  }
+  function map$lambda($this_map, $builder, $mapper) {
+    return function () {
+      var tmp = $builder.buildTerminal(false);
+      var tmp_0 = $builder.buildTerminal(true);
+      return expansion($this_map, tmp, tmp_0, map$lambda$lambda($builder, $mapper));
+    };
+  }
+  function BinaryDecisionDiagramException(message, cause) {
+    RuntimeException_init_$Init$(message, cause, this);
+    this.b32_1 = message;
+    this.c32_1 = cause;
+    captureStack(this, BinaryDecisionDiagramException);
+  }
+  BinaryDecisionDiagramException.prototype.k1 = function () {
+    return this.b32_1;
+  };
+  BinaryDecisionDiagramException.prototype.l1 = function () {
+    return this.c32_1;
+  };
+  Object.defineProperty(BinaryDecisionDiagramException.prototype, 'message', {
+    configurable: true,
+    get: function () {
+      return this.k1();
+    }
+  });
+  Object.defineProperty(BinaryDecisionDiagramException.prototype, 'cause', {
+    configurable: true,
+    get: function () {
+      return this.l1();
+    }
+  });
+  function BinaryDecisionDiagramOperationException(message, cause) {
+    BinaryDecisionDiagramException.call(this, message, cause);
+    captureStack(this, BinaryDecisionDiagramOperationException);
+  }
+  function AnyVisitor(predicate) {
+    this.d32_1 = predicate;
+  }
+  AnyVisitor.prototype.e32 = function (node) {
+    return false;
+  };
+  AnyVisitor.prototype.visitTerminal = function (node) {
+    return this.e32(node);
+  };
+  AnyVisitor.prototype.f32 = function (node) {
+    var result = this.d32_1(node.b1());
+    if (!result) {
+      result = node.x31().accept(this);
+    }
+    if (!result) {
+      result = node.y31().accept(this);
+    }
+    return result;
+  };
+  AnyVisitor.prototype.visitVariable = function (node) {
+    return this.f32(node);
+  };
+  function visitWithTable($this, first, second, computation) {
+    var firstKey = hashCode(first);
+    var secondKey = hashCode(second);
+    if (!$this.m32_1.u2(firstKey)) {
+      // Inline function 'kotlin.collections.set' call
+      var tmp0_set = $this.m32_1;
+      var tmp$ret$0;
+      // Inline function 'kotlin.collections.mutableMapOf' call
+      tmp$ret$0 = LinkedHashMap_init_$Create$();
+      var tmp1_set = tmp$ret$0;
+      tmp0_set.w3(firstKey, tmp1_set);
+    }
+    var cached = ensureNotNull($this.m32_1.a3(firstKey)).a3(secondKey);
+    if (!(cached == null)) {
+      return cached;
+    }
+    var result = computation();
+    // Inline function 'kotlin.collections.set' call
+    var tmp2_set = ensureNotNull($this.m32_1.a3(firstKey));
+    tmp2_set.w3(secondKey, result);
+    return result;
+  }
+  function apply($this, first, second) {
+    var truth = $this.i32_1(first.v31(), second.v31());
+    return new Pair($this.g32_1.buildTerminal(truth), truth ? $this.k32_1 : $this.j32_1);
+  }
+  function apply_0($this, first, second) {
+    $this.h32_1 = second.x31();
+    var lowNode = first.w31($this);
+    $this.h32_1 = second.y31();
+    var highNode = first.w31($this);
+    return new Pair($this.g32_1.buildVariable(second.b1(), lowNode.g4_1, highNode.g4_1), $this.l32_1(second.b1(), lowNode.h4_1, highNode.h4_1));
+  }
+  function apply_1($this, first, second) {
+    $this.h32_1 = first;
+    return second.w31($this);
+  }
+  function apply_2($this, first, second) {
+    var newValue;
+    var firstLow;
+    var firstHigh;
+    var secondLow;
+    var secondHigh;
+    if (compareTo(first.b1(), second.b1()) <= 0) {
+      newValue = first.b1();
+      firstHigh = first.y31();
+      firstLow = first.x31();
+    } else {
+      newValue = second.b1();
+      firstLow = first;
+      firstHigh = first;
+    }
+    if (compareTo(second.b1(), first.b1()) <= 0) {
+      secondHigh = second.y31();
+      secondLow = second.x31();
+    } else {
+      secondLow = second;
+      secondHigh = second;
+    }
+    $this.h32_1 = secondLow;
+    var lowNode = firstLow.accept($this);
+    $this.h32_1 = secondHigh;
+    var highNode = firstHigh.accept($this);
+    return new Pair($this.g32_1.buildVariable(newValue, lowNode.g4_1, highNode.g4_1), $this.l32_1(newValue, lowNode.h4_1, highNode.h4_1));
+  }
+  function BinaryApplyExpansionVisitor$visit$lambda$lambda(this$0, $node) {
+    return function (that) {
+      return apply(this$0, $node, that);
+    };
+  }
+  function BinaryApplyExpansionVisitor$visit$lambda$lambda_0(this$0, $node) {
+    return function (that) {
+      return apply_0(this$0, $node, that);
+    };
+  }
+  function BinaryApplyExpansionVisitor$visit$lambda(this$0, $node) {
+    return function () {
+      var tmp = this$0.n32_1;
+      tmp.o32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda(this$0, $node);
+      var tmp_0 = this$0.n32_1;
+      tmp_0.p32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_0(this$0, $node);
+      return this$0.h32_1.accept(this$0.n32_1);
+    };
+  }
+  function BinaryApplyExpansionVisitor$visit$lambda$lambda_1(this$0, $node) {
+    return function (that) {
+      return apply_1(this$0, $node, that);
+    };
+  }
+  function BinaryApplyExpansionVisitor$visit$lambda$lambda_2(this$0, $node) {
+    return function (that) {
+      return apply_2(this$0, $node, that);
+    };
+  }
+  function BinaryApplyExpansionVisitor$visit$lambda_0(this$0, $node) {
+    return function () {
+      var tmp = this$0.n32_1;
+      tmp.o32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_1(this$0, $node);
+      var tmp_0 = this$0.n32_1;
+      tmp_0.p32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_2(this$0, $node);
+      return this$0.h32_1.accept(this$0.n32_1);
+    };
+  }
+  function BinaryApplyExpansionVisitor(builder, thatNode, operator, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
+    this.g32_1 = builder;
+    this.h32_1 = thatNode;
+    this.i32_1 = operator;
+    this.j32_1 = expansionFalseTerminal;
+    this.k32_1 = expansionTrueTerminal;
+    this.l32_1 = expansionOperator;
+    var tmp = this;
+    var tmp$ret$0;
+    // Inline function 'kotlin.collections.mutableMapOf' call
+    tmp$ret$0 = LinkedHashMap_init_$Create$();
+    tmp.m32_1 = tmp$ret$0;
+    this.n32_1 = new CastVisitor();
+  }
+  BinaryApplyExpansionVisitor.prototype.e32 = function (node) {
+    var tmp = this.h32_1;
+    return visitWithTable(this, node, tmp, BinaryApplyExpansionVisitor$visit$lambda(this, node));
+  };
+  BinaryApplyExpansionVisitor.prototype.visitTerminal = function (node) {
+    return this.e32(node);
+  };
+  BinaryApplyExpansionVisitor.prototype.f32 = function (node) {
+    var tmp = this.h32_1;
+    return visitWithTable(this, node, tmp, BinaryApplyExpansionVisitor$visit$lambda_0(this, node));
+  };
+  BinaryApplyExpansionVisitor.prototype.visitVariable = function (node) {
+    return this.f32(node);
+  };
+  function ExpansionVisitor(varOp, falseTerminal, trueTerminal) {
+    this.q32_1 = varOp;
+    this.r32_1 = falseTerminal;
+    this.s32_1 = trueTerminal;
+  }
+  ExpansionVisitor.prototype.e32 = function (node) {
+    return node.v31() ? this.s32_1 : this.r32_1;
+  };
+  ExpansionVisitor.prototype.visitTerminal = function (node) {
+    return this.e32(node);
+  };
+  ExpansionVisitor.prototype.f32 = function (node) {
+    var lowValue = node.x31().accept(this);
+    var highValue = node.y31().accept(this);
+    return this.q32_1(node.b1(), lowValue, highValue);
+  };
+  ExpansionVisitor.prototype.visitVariable = function (node) {
+    return this.f32(node);
+  };
+  function UnaryApplyExpansionVisitor(builder, operator, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
+    this.t32_1 = builder;
+    this.u32_1 = operator;
+    this.v32_1 = expansionFalseTerminal;
+    this.w32_1 = expansionTrueTerminal;
+    this.x32_1 = expansionOperator;
+    var tmp = this;
+    var tmp$ret$0;
+    // Inline function 'kotlin.collections.mutableMapOf' call
+    tmp$ret$0 = LinkedHashMap_init_$Create$();
+    tmp.y32_1 = tmp$ret$0;
+  }
+  UnaryApplyExpansionVisitor.prototype.e32 = function (node) {
+    var resTruth = this.u32_1(node.v31());
+    return new Pair(this.t32_1.buildTerminal(resTruth), resTruth ? this.w32_1 : this.v32_1);
+  };
+  UnaryApplyExpansionVisitor.prototype.visitTerminal = function (node) {
+    return this.e32(node);
+  };
+  UnaryApplyExpansionVisitor.prototype.f32 = function (node) {
+    var key = hashCode(node);
+    if (this.y32_1.u2(key)) {
+      return ensureNotNull(this.y32_1.a3(key));
+    }
+    var lowNode = node.x31().accept(this);
+    var highNode = node.y31().accept(this);
+    var result = new Pair(this.t32_1.buildVariable(node.b1(), lowNode.g4_1, highNode.g4_1), this.x32_1(node.b1(), lowNode.h4_1, highNode.h4_1));
+    // Inline function 'kotlin.collections.set' call
+    var tmp0_set = this.y32_1;
+    tmp0_set.w3(key, result);
+    return result;
+  };
+  UnaryApplyExpansionVisitor.prototype.visitVariable = function (node) {
+    return this.f32(node);
+  };
+  function ReducedBinaryDecisionDiagramBuilder(delegate) {
+    this.z32_1 = delegate;
+    var tmp = this;
+    var tmp$ret$0;
+    // Inline function 'kotlin.collections.mutableMapOf' call
+    tmp$ret$0 = LinkedHashMap_init_$Create$();
+    tmp.a33_1 = tmp$ret$0;
+  }
+  ReducedBinaryDecisionDiagramBuilder.prototype.b33 = function (value, low, high) {
+    if (equals(low, high)) {
+      return low;
+    }
+    var newNode = this.z32_1.buildVariable(value, low, high);
+    var key = hashCode(newNode);
+    var cached = this.a33_1.a3(key);
+    var tmp;
+    if (!(cached == null)) {
+      tmp = cached;
+    } else {
+      // Inline function 'kotlin.collections.set' call
+      var tmp0_set = this.a33_1;
+      tmp0_set.w3(key, newNode);
+      tmp = newNode;
+    }
+    return tmp;
+  };
+  ReducedBinaryDecisionDiagramBuilder.prototype.buildVariable = function (value, low, high) {
+    return this.b33(isComparable(value) ? value : THROW_CCE(), low, high);
+  };
+  ReducedBinaryDecisionDiagramBuilder.prototype.c33 = function (truth) {
+    return this.z32_1.buildTerminal(truth);
+  };
+  ReducedBinaryDecisionDiagramBuilder.prototype.buildTerminal = function (truth) {
+    return this.c33(truth);
+  };
+  function SimpleBinaryDecisionDiagramBuilder() {
+  }
+  SimpleBinaryDecisionDiagramBuilder.prototype.b33 = function (value, low, high) {
+    return new SimpleBinaryDecisionDiagramVariable(value, low, high);
+  };
+  SimpleBinaryDecisionDiagramBuilder.prototype.buildVariable = function (value, low, high) {
+    return this.b33(isComparable(value) ? value : THROW_CCE(), low, high);
+  };
+  SimpleBinaryDecisionDiagramBuilder.prototype.c33 = function (truth) {
+    return new SimpleBinaryDecisionDiagramTerminal(truth);
+  };
+  SimpleBinaryDecisionDiagramBuilder.prototype.buildTerminal = function (truth) {
+    return this.c33(truth);
+  };
+  function SimpleBinaryDecisionDiagramTerminal(truth) {
+    this.d33_1 = truth;
+  }
+  SimpleBinaryDecisionDiagramTerminal.prototype.v31 = function () {
+    return this.d33_1;
+  };
+  SimpleBinaryDecisionDiagramTerminal.prototype.equals = function (other) {
+    if (this === other)
+      return true;
+    if (other == null ? true : !getKClassFromExpression(this).equals(getKClassFromExpression(other)))
+      return false;
+    if (other instanceof SimpleBinaryDecisionDiagramTerminal)
+      other;
+    else
+      THROW_CCE();
+    if (!(this.d33_1 === other.d33_1))
+      return false;
+    return true;
+  };
+  SimpleBinaryDecisionDiagramTerminal.prototype.hashCode = function () {
+    return this.d33_1 | 0;
+  };
+  SimpleBinaryDecisionDiagramTerminal.prototype.toString = function () {
+    return 'SimpleBinaryDecisionDiagramTerminal(truth=' + this.d33_1 + ')';
+  };
+  SimpleBinaryDecisionDiagramTerminal.prototype.accept = function (visitor) {
+    return this.w31(visitor);
+  };
+  function _get_hashCodeCache__ny3r0q($this) {
+    var tmp$ret$0;
+    // Inline function 'kotlin.getValue' call
+    var tmp0_getValue = hashCodeCache$factory();
+    tmp$ret$0 = $this.h33_1.b1();
+    return tmp$ret$0;
+  }
+  function SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this$0) {
+    return function () {
+      var result = hashCode(this$0.e33_1);
+      result = imul(31, result) + hashCode(this$0.f33_1) | 0;
+      result = imul(31, result) + hashCode(this$0.g33_1) | 0;
+      return result;
+    };
+  }
+  function SimpleBinaryDecisionDiagramVariable(value, low, high) {
+    this.e33_1 = value;
+    this.f33_1 = low;
+    this.g33_1 = high;
+    var tmp = this;
+    tmp.h33_1 = lazy(SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this));
+  }
+  SimpleBinaryDecisionDiagramVariable.prototype.b1 = function () {
+    return this.e33_1;
+  };
+  SimpleBinaryDecisionDiagramVariable.prototype.x31 = function () {
+    return this.f33_1;
+  };
+  SimpleBinaryDecisionDiagramVariable.prototype.y31 = function () {
+    return this.g33_1;
+  };
+  SimpleBinaryDecisionDiagramVariable.prototype.equals = function (other) {
+    if (this === other)
+      return true;
+    if (other == null ? true : !getKClassFromExpression(this).equals(getKClassFromExpression(other)))
+      return false;
+    if (other instanceof SimpleBinaryDecisionDiagramVariable)
+      other;
+    else
+      THROW_CCE();
+    if (!equals(this.e33_1, other.e33_1))
+      return false;
+    if (!equals(this.f33_1, other.f33_1))
+      return false;
+    if (!equals(this.g33_1, other.g33_1))
+      return false;
+    return true;
+  };
+  SimpleBinaryDecisionDiagramVariable.prototype.hashCode = function () {
+    return _get_hashCodeCache__ny3r0q(this);
+  };
+  SimpleBinaryDecisionDiagramVariable.prototype.toString = function () {
+    return 'SimpleBinaryDecisionDiagramVariable(value=' + this.e33_1 + ', low=' + this.f33_1 + ', high=' + this.g33_1 + ')';
+  };
+  SimpleBinaryDecisionDiagramVariable.prototype.accept = function (visitor) {
+    return this.w31(visitor);
+  };
+  function hashCodeCache$factory() {
+    return getPropertyCallableRef('hashCodeCache', 1, KProperty1, function (receiver) {
+      return _get_hashCodeCache__ny3r0q(receiver);
+    }, null);
+  }
+  function CastVisitor() {
+    this.o32_1 = null;
+    this.p32_1 = null;
+  }
+  CastVisitor.prototype.e32 = function (node) {
+    return ensureNotNull(this.o32_1)(node);
+  };
+  CastVisitor.prototype.visitTerminal = function (node) {
+    return this.e32(node);
+  };
+  CastVisitor.prototype.f32 = function (node) {
+    return ensureNotNull(this.p32_1)(node);
+  };
+  CastVisitor.prototype.visitVariable = function (node) {
+    return this.f32(node);
+  };
+  //region block: post-declaration
+  SimpleBinaryDecisionDiagramTerminal.prototype.w31 = accept;
+  SimpleBinaryDecisionDiagramVariable.prototype.w31 = accept_0;
+  //endregion
+  //region block: exports
+  _.$_$ = _.$_$ || {};
+  _.$_$.a = andThenExpansion;
+  _.$_$.b = anyWhere;
+  _.$_$.c = bddOf;
+  _.$_$.d = bddTerminalOf;
+  _.$_$.e = expansion;
+  _.$_$.f = map;
+  _.$_$.g = notThenExpansion;
+  _.$_$.h = orThenExpansion;
+  //endregion
+  return _;
+}(module.exports, require('./kotlin-kotlin-stdlib-js-ir.js')));
+
+//# sourceMappingURL=2p-bdd.js.map

package/2p-bdd.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../../../../../../bdd/src/commonMain/kotlin/it/unibo/tuprolog/bdd/BinaryDecisionDiagram.kt","../../../../../../../bdd/src/commonMain/kotlin/it/unibo/tuprolog/bdd/BinaryDecisionDiagramBuilder.kt","../../../../../../../bdd/src/commonMain/kotlin/it/unibo/tuprolog/bdd/BinaryDecisionDiagramOperators.kt","../../../../../../../bdd/src/commonMain/kotlin/it/unibo/tuprolog/bdd/BinaryDecisionDiagramUtils.kt","../../../../../../../bdd/src/commonMain/kotlin/it/unibo/tuprolog/bdd/exception/BinaryDecisionDiagramException.kt","../../../../../../../bdd/src/commonMain/kotlin/it/unibo/tuprolog/bdd/exception/BinaryDecisionDiagramOperationException.kt","../../../../../../../bdd/src/commonMain/kotlin/it/unibo/tuprolog/bdd/impl/AnyVisitor.kt","../../../../../../../bdd/src/commonMain/kotlin/it/unibo/tuprolog/bdd/impl/BinaryApplyExpansionVisitor.kt","commonMainSources/libraries/stdlib/src/kotlin/collections/Maps.kt","../../../../../../../bdd/src/commonMain/kotlin/it/unibo/tuprolog/bdd/impl/ExpansionVisitor.kt","../../../../../../../bdd/src/commonMain/kotlin/it/unibo/tuprolog/bdd/impl/UnaryApplyExpansionVisitor.kt","../../../../../../../bdd/src/commonMain/kotlin/it/unibo/tuprolog/bdd/impl/builder/ReducedBinaryDecisionDiagramBuilder.kt","../../../../../../../bdd/src/commonMain/kotlin/it/unibo/tuprolog/bdd/impl/builder/SimpleBinaryDecisionDiagramBuilder.kt","../../../../../../../bdd/src/commonMain/kotlin/it/unibo/tuprolog/bdd/impl/builder/SimpleBinaryDecisionDiagramTerminal.kt","commonMainSources/libraries/stdlib/src/kotlin/util/Lazy.kt","../../../../../../../bdd/src/commonMain/kotlin/it/unibo/tuprolog/bdd/impl/builder/SimpleBinaryDecisionDiagramVariable.kt","../../../../../../../bdd/src/commonMain/kotlin/it/unibo/tuprolog/bdd/impl/utils/CastVisitor.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;IAsDqG,OAAnB,OAAQ,eAAM,IAAN,C;;;;IAyBW,OAAnB,OAAQ,eAAM,IAAN,C;;;;;;;;;;;;;;;;;;;;;;;;;IAQxB,OAAtD,yBAAW,KAAX,EAAkB,gBAAW,KAAX,CAAlB,EAAqC,gBAAW,IAAX,CAArC,C;;;IASqG,OAA9C,qCAAe,eAAc,KAAd,EAAqB,GAArB,EAA0B,IAA1B,C;;;IAMN,OAAnC,qCAAe,eAAc,KAAd,C;;;;;;;;;;;;IC5D5C,OAAO,2C;;;IAWP,OAAO,wC;;;IAgBX,sCACgD,gBADhD,Y;;;IAGI,OAAO,wCAAoC,QAApC,C;;;QAHX,qB;MAAA,WACgD,gB;IADhD,yB;;;;;;;;;IASmC,OAAV,oC;;;ICiE7B,OAAO,2BAA2B,wGAA3B,C;;;IA0CP,OAAO,2BAA2B,8GAA3B,C;;;IA0CP,OAAO,2BAA2B,6GAA3B,C;;;IA9JP,OAAO,2BAA2B,mHAA3B,C;;;IAgCP,OAAO,2BAA2B,4HAA3B,C;;;IA4CQ,QAAC,C;;;;MADP,+BAAL,sBAAK,EACD,8BADC,EAED,uBAFC,EAGD,sBAHC,EAID,kBAJC,C;;;;IA4CS,WAAK,CAAL,GAAK,K;;;;MAFd,gCAAL,sBAAK,EACD,KADC,EAED,8BAFC,EAGD,uBAHC,EAID,sBAJC,EAKD,kBALC,C;;;;IA4CS,kBAAK,C;;;;MAFd,gCAAL,qBAAK,EACD,KADC,EAED,6BAFC,EAGD,uBAHC,EAID,sBAJC,EAKD,kBALC,C;;;;;;MA9JA,OAAL,wBAAK,QACD,+BACiC,sBADjC,EAEI,QAFJ,EAGI,uBAHJ,EAII,sBAJJ,EAKI,kBALJ,CADC,C;;;;;;MAgCA,OAAL,wBAAK,QACD,gCACiC,sBADjC,EAEI,KAFJ,EAGI,SAHJ,EAII,uBAJJ,EAKI,sBALJ,EAMI,kBANJ,CADC,C;;;;IC3EwD,OAAjB,mCAAW,KAAX,C;;;IART,OAAjB,mCAAW,KAAX,C;;;IAmCtB,OAAO,2BAA2B,sEAA3B,C;;;IAmBP,OAAO,2BAA2B,oCAA3B,C;;;;IAwBP,cAA2C,sB;IAC3C,OAAO,2BAA2B,0CAA3B,C;;;;MAjEH,OAAO,Q;;;QAEP,MAAM,4CACD,yCADC,K;;;;;;;;MAoBD,OAAL,eAAK,QACD,qBACI,SADJ,EAEI,cAFJ,EAGI,aAHJ,CADC,C;;;;;MAmBA,OAAL,SAAK,QAAO,eAAW,UAAX,CAAP,C;;;;;MA4B0B,OAAR,QAAQ,eAAc,QAAO,IAAP,CAAd,EAA4B,GAA5B,EAAiC,IAAjC,C;;;;;gBAF3B,QAAQ,eAAc,KAAd,C;kBACR,QAAQ,eAAc,IAAd,C;MAFP,iBAAL,SAAK,cAGH,oCAHG,C;;;;ICtFT,6BAAiB,OAAjB,EAA0B,KAA1B,O;IAFA,oB;IACA,kB;;;;IADS,iB;;;IACA,iB;;;;;;;;;;;;;;;ICCT,0CAA+B,OAA/B,EAAwC,KAAxC,C;;;;ICDA,sB;;;IAKkB,OAAL,K;;;;;;IAGT,aAAa,WAAU,IAAK,KAAf,C;QACT,CAAC,M;MACD,SAAS,IAAK,MAAI,QAAO,IAAP,C;;QAElB,CAAC,M;MACD,SAAS,IAAK,MAAK,QAAO,IAAP,C;;IAEvB,OAAO,M;;;;;;IC8CP,eAAqB,SAAN,KAAM,C;IACrB,gBAAuB,SAAP,MAAO,C;QACnB,CAAC,WAAa,IAAY,QAAZ,C;;MCiBmC,0B;;;MAnBc,YAAf,6B;MAqBzC,wB;MA6Jf,YA7JG,QA6JH,EAAS,QAAT,C;;ID5KI,aAAmC,cAAtB,eAAa,QAAb,CAAsB,CAAtB,IAAyB,SAAzB,C;QACT,YAAU,IAAV,C;MACA,OAAO,M;;IAEX,aAAa,a;;ICiBQ,6BAAtB,eAAa,QAAb,CAAsB,C;IAuJzB,YAvJ4B,SAuJ5B,EAvJyC,MAuJzC,C;IDtKI,OAAO,M;;;IAOP,YAAY,YAAS,KAAM,MAAf,EAAsB,MAAO,MAA7B,C;IACZ,OAAO,SACH,WAAQ,eAAc,KAAd,CADL,EAEC,KAFD,GAEQ,WAFR,GAEmC,WAFnC,C;;;IAUP,cAAW,MAAO,M;IAClB,cAAc,KAAM,KAAO,KAAP,C;IACpB,cAAW,MAAO,M;IAClB,eAAe,KAAM,KAAO,KAAP,C;IACrB,OAAO,SACH,WAAQ,eAAc,MAAO,KAArB,EAA4B,OAAQ,KAApC,EAA2C,QAAS,KAApD,CADL,EAEH,YAAkB,MAAO,KAAzB,EAAgC,OAAQ,KAAxC,EAAgD,QAAS,KAAzD,CAFG,C;;;IAUP,cAAW,K;IACX,OAAO,MAAO,KAAO,KAAP,C;;;IAOd,Y;IACA,Y;IACA,a;IACA,a;IACA,c;QAEI,UAAA,KAAM,KAAN,EAAe,MAAO,KAAtB,M;MACA,WAAW,KAAM,K;MACjB,YAAY,KAAM,M;MAClB,WAAW,KAAM,M;;MAEjB,WAAW,MAAO,K;MAClB,WAAW,K;MACX,YAAY,K;;QAEZ,UAAA,MAAO,KAAP,EAAgB,KAAM,KAAtB,M;MACA,aAAa,MAAO,M;MACpB,YAAY,MAAO,M;;MAEnB,YAAY,M;MACZ,aAAa,M;;IAGjB,cAAW,S;IACX,cAAc,QAAS,QAAO,KAAP,C;IACvB,cAAW,U;IACX,eAAe,SAAU,QAAO,KAAP,C;IACzB,OAAO,SACH,WAAQ,eAAc,QAAd,EAAwB,OAAQ,KAAhC,EAAuC,QAAS,KAAhD,CADL,EAEH,YAAkB,QAAlB,EAA4B,OAAQ,KAApC,EAA4C,QAAS,KAArD,CAFG,C;;;;MApGqC,aAAL,MAAK,EAAM,KAAN,EAAY,IAAZ,C;;;;;MACA,eAAL,MAAK,EAAM,KAAN,EAAY,IAAZ,C;;;;;gBADxC,Y;MAAA,YAAyB,8D;kBACzB,Y;MAAA,cAAyB,gE;MAChB,OAAT,YAAS,QAAO,YAAP,C;;;;;MAQ+B,eAAL,MAAK,EAAM,KAAN,EAAY,IAAZ,C;;;;;MACA,eAAL,MAAK,EAAM,KAAN,EAAY,IAAZ,C;;;;;gBADxC,Y;MAAA,YAAyB,gE;kBACzB,Y;MAAA,cAAyB,gE;MAChB,OAAT,YAAS,QAAO,YAAP,C;;;;IA7BjB,oB;IACA,qB;IACA,qB;IACA,mC;IACA,kC;IACA,8B;cAIQ,I;;;IC6B+D,YAAf,6B;ID7BhD,qB;IAEkB,8B;;;cAKM,U;IAA5B,OAAO,qBAAe,IAAf,OAA+B,oDAA/B,C;;;;;;cAUqB,U;IAA5B,OAAO,qBAAe,IAAf,OAA+B,sDAA/B,C;;;;;;IE/CX,kB;IACA,0B;IACA,yB;;;IAII,OAAW,IAAK,MAAhB,GAAuB,UAAvB,GAAyC,U;;;;;;IAIzC,eAAe,IAAK,MAAI,QAAO,IAAP,C;IACxB,gBAAgB,IAAK,MAAK,QAAO,IAAP,C;IAC1B,OAAO,WAAM,IAAK,KAAX,EAAkB,QAAlB,EAA4B,SAA5B,C;;;;;;ICCX,oB;IACA,qB;IACA,mC;IACA,kC;IACA,8B;cAGI,I;;;IFuCmE,YAAf,6B;IEvCpD,qB;;;IAKA,eAAe,WAAS,IAAK,MAAd,C;IACf,OAAO,SACH,UAAQ,eAAc,QAAd,CADL,EAEC,QAFD,GAEW,UAFX,GAEsC,UAFtC,C;;;;;;IASP,UAAe,SAAL,IAAK,C;QACX,UAAa,IAAY,GAAZ,C;MACb,OAAwB,cAAjB,cAAa,GAAb,CAAiB,C;;IAE5B,cAAc,IAAK,MAAI,QAAO,IAAP,C;IACvB,eAAe,IAAK,MAAK,QAAO,IAAP,C;IACzB,aAAa,SACT,UAAQ,eAAc,IAAK,KAAnB,EAA0B,OAAQ,KAAlC,EAAyC,QAAS,KAAlD,CADC,EAET,WAAkB,IAAK,KAAvB,EAA8B,OAAQ,KAAtC,EAA8C,QAAS,KAAvD,CAFS,C;;IFkBsB,yB;IAkLvC,YAlLoD,GAkLpD,EAlL2D,MAkL3D,C;IE/LI,OAAO,M;;;;;;ICzCX,qB;cAE+D,I;;;IHoDQ,YAAf,6B;IGpDO,qB;;;QAOvD,YAAO,IAAP,C;MACA,OAAO,G;;IAGX,cAAc,UAAS,eAAc,KAAd,EAAqB,GAArB,EAA0B,IAA1B,C;IACvB,UAAkB,SAAR,OAAQ,C;IAClB,aAAa,cAAM,GAAN,C;;QACF,YAAU,IAAV,C;YACP,M;;;MHG6D,yB;MAoNrE,YApN2E,GAoN3E,EApNkF,OAoNlF,C;YGpNQ,O;;IAJJ,U;;;;;;IASA,OAAO,UAAS,eAAc,KAAd,C;;;;;;;;ICxBhB,OAAO,wCACH,KADG,EAEH,GAFG,EAGH,IAHG,C;;;;;;IASP,OAAO,wCACH,KADG,C;;;;;;ICrBX,kB;;;IAAS,iB;;;QAID,SAAS,K;MAAO,OAAO,I;QACvB,SAAS,I,GAAT,I,GAAiB,8DAAe,KAAf,E;MAA6B,OAAO,K;QAEzD,K;MAAA,K;;;QAEI,iBAAS,KAAM,MAAf,C;MAAsB,OAAO,K;IAEjC,OAAO,I;;;IAIP,OAAO,UAAP,I;;;IAvBR,sE;;;;;;;;ICesB,2C;IA4B2E,YA5B3E,WA4BsE,K;IC9BtD,gB;;;;MAC9B,aAAmB,SAAN,YAAM,C;MACnB,SAAS,SAAK,MAAL,IAAkB,SAAJ,YAAI,CAA3B,I;MACA,SAAS,SAAK,MAAL,IAAmB,SAAL,YAAK,CAA5B,I;MACA,a;;;;IATJ,kB;IACA,gB;IACA,iB;cAGkC,I;IAAA,iBAAK,uEAAL,C;;;IALzB,iB;;;IACA,iB;;;IACA,iB;;;QAWD,SAAS,K;MAAO,OAAO,I;QACvB,SAAS,I,GAAT,I,GAAiB,8DAAe,KAAf,E;MAA6B,OAAO,K;QAEzD,K;MAAA,K;;;QAEI,oBAAS,KAAM,MAAf,C;MAAsB,OAAO,K;QAC7B,oBAAO,KAAM,MAAb,C;MAAkB,OAAO,K;QACzB,oBAAQ,KAAM,MAAd,C;MAAoB,OAAO,K;IAE/B,OAAO,I;;;IAIP,OAAO,gC;;;IAlCf,uH;;;;;;kCAamC,e,KAAA,U;;OAAA,I;;;ICSkC,iB;IACA,iB;;;IAIxC,OAAR,cAAV,UAAU,CAAV,CAAa,IAAb,C;;;;;;IAIkB,OAAR,cAAV,UAAU,CAAV,CAAa,IAAb,C;;;;;;;;;;;;;;;;;;;;;;"}