@tuprolog/2p-full 0.32.5 → 1.0.0

package/2p-bdd.js

@@ -88,12 +88,12 @@
   protoOf(Companion_0).simpleOf = function () {
     return new SimpleBinaryDecisionDiagramBuilder();
   };
-  protoOf(Companion_0).z30 = function (delegate) {
+  protoOf(Companion_0).q31 = function (delegate) {
     return new ReducedBinaryDecisionDiagramBuilder(delegate);
   };
   protoOf(Companion_0).reducedOf = function (delegate, $super) {
     delegate = delegate === VOID ? this.defaultOf() : delegate;
-    return $super === VOID ? this.z30(delegate) : $super.z30.call(this, delegate);
+    return $super === VOID ? this.q31(delegate) : $super.q31.call(this, delegate);
   };
   var Companion_instance_0;
   function Companion_getInstance_0() {
@@ -206,14 +206,14 @@
     cause = cause === VOID ? null : cause;
     RuntimeException_init_$Init$(message, cause, this);
     captureStack(this, BinaryDecisionDiagramException);
-    this.a31_1 = message;
-    this.b31_1 = cause;
+    this.r31_1 = message;
+    this.s31_1 = cause;
   }
   protoOf(BinaryDecisionDiagramException).na = function () {
-    return this.a31_1;
+    return this.r31_1;
   };
   protoOf(BinaryDecisionDiagramException).oa = function () {
-    return this.b31_1;
+    return this.s31_1;
   };
   function BinaryDecisionDiagramOperationException(message, cause) {
     cause = cause === VOID ? null : cause;
@@ -221,60 +221,60 @@
     captureStack(this, BinaryDecisionDiagramOperationException);
   }
   function AnyVisitor(predicate) {
-    this.c31_1 = predicate;
+    this.t31_1 = predicate;
   }
-  protoOf(AnyVisitor).d31 = function (node) {
+  protoOf(AnyVisitor).u31 = function (node) {
     return false;
   };
   protoOf(AnyVisitor).visitTerminal = function (node) {
-    return this.d31(node);
+    return this.u31(node);
   };
-  protoOf(AnyVisitor).e31 = function (node) {
-    var result = this.c31_1(node.r2());
+  protoOf(AnyVisitor).v31 = function (node) {
+    var result = this.t31_1(node.r2());
     if (!result) {
-      result = node.x30().accept(this);
+      result = node.o31().accept(this);
     }
     if (!result) {
-      result = node.y30().accept(this);
+      result = node.p31().accept(this);
     }
     return result;
   };
   protoOf(AnyVisitor).visitVariable = function (node) {
-    return this.e31(node);
+    return this.v31(node);
   };
   function visitWithTable($this, first, second, computation) {
     var firstKey = hashCode(first);
     var secondKey = hashCode(second);
-    if (!$this.l31_1.u2(firstKey)) {
+    if (!$this.c32_1.u2(firstKey)) {
       // Inline function 'kotlin.collections.set' call
-      var this_0 = $this.l31_1;
+      var this_0 = $this.c32_1;
       // Inline function 'kotlin.collections.mutableMapOf' call
       var value = LinkedHashMap_init_$Create$();
       this_0.n2(firstKey, value);
     }
-    var cached = ensureNotNull($this.l31_1.x2(firstKey)).x2(secondKey);
+    var cached = ensureNotNull($this.c32_1.x2(firstKey)).x2(secondKey);
     if (!(cached == null)) {
       return cached;
     }
     var result = computation();
     // Inline function 'kotlin.collections.set' call
-    ensureNotNull($this.l31_1.x2(firstKey)).n2(secondKey, result);
+    ensureNotNull($this.c32_1.x2(firstKey)).n2(secondKey, result);
     return result;
   }
   function apply($this, first, second) {
-    var truth = $this.h31_1(first.v30(), second.v30());
-    return new Pair($this.f31_1.buildTerminal(truth), truth ? $this.j31_1 : $this.i31_1);
+    var truth = $this.y31_1(first.m31(), second.m31());
+    return new Pair($this.w31_1.buildTerminal(truth), truth ? $this.a32_1 : $this.z31_1);
   }
   function apply_0($this, first, second) {
-    $this.g31_1 = second.x30();
-    var lowNode = first.w30($this);
-    $this.g31_1 = second.y30();
-    var highNode = first.w30($this);
-    return new Pair($this.f31_1.buildVariable(second.r2(), lowNode.ye_1, highNode.ye_1), $this.k31_1(second.r2(), lowNode.ze_1, highNode.ze_1));
+    $this.x31_1 = second.o31();
+    var lowNode = first.n31($this);
+    $this.x31_1 = second.p31();
+    var highNode = first.n31($this);
+    return new Pair($this.w31_1.buildVariable(second.r2(), lowNode.ye_1, highNode.ye_1), $this.b32_1(second.r2(), lowNode.ze_1, highNode.ze_1));
   }
   function apply_1($this, first, second) {
-    $this.g31_1 = first;
-    return second.w30($this);
+    $this.x31_1 = first;
+    return second.n31($this);
   }
   function apply_2($this, first, second) {
     var newValue;
@@ -284,25 +284,25 @@
     var secondHigh;
     if (compareTo(first.r2(), second.r2()) <= 0) {
       newValue = first.r2();
-      firstHigh = first.y30();
-      firstLow = first.x30();
+      firstHigh = first.p31();
+      firstLow = first.o31();
     } else {
       newValue = second.r2();
       firstLow = first;
       firstHigh = first;
     }
     if (compareTo(second.r2(), first.r2()) <= 0) {
-      secondHigh = second.y30();
-      secondLow = second.x30();
+      secondHigh = second.p31();
+      secondLow = second.o31();
     } else {
       secondLow = second;
       secondHigh = second;
     }
-    $this.g31_1 = secondLow;
+    $this.x31_1 = secondLow;
     var lowNode = firstLow.accept($this);
-    $this.g31_1 = secondHigh;
+    $this.x31_1 = secondHigh;
     var highNode = firstHigh.accept($this);
-    return new Pair($this.f31_1.buildVariable(newValue, lowNode.ye_1, highNode.ye_1), $this.k31_1(newValue, lowNode.ze_1, highNode.ze_1));
+    return new Pair($this.w31_1.buildVariable(newValue, lowNode.ye_1, highNode.ye_1), $this.b32_1(newValue, lowNode.ze_1, highNode.ze_1));
   }
   function BinaryApplyExpansionVisitor$visit$lambda$lambda(this$0, $node) {
     return function (that) {
@@ -316,11 +316,11 @@
   }
   function BinaryApplyExpansionVisitor$visit$lambda(this$0, $node) {
     return function () {
-      var tmp = this$0.m31_1;
-      tmp.n31_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda(this$0, $node);
-      var tmp_0 = this$0.m31_1;
-      tmp_0.o31_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_0(this$0, $node);
-      return this$0.g31_1.accept(this$0.m31_1);
+      var tmp = this$0.d32_1;
+      tmp.e32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda(this$0, $node);
+      var tmp_0 = this$0.d32_1;
+      tmp_0.f32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_0(this$0, $node);
+      return this$0.x31_1.accept(this$0.d32_1);
     };
   }
   function BinaryApplyExpansionVisitor$visit$lambda$lambda_1(this$0, $node) {
@@ -335,141 +335,141 @@
   }
   function BinaryApplyExpansionVisitor$visit$lambda_0(this$0, $node) {
     return function () {
-      var tmp = this$0.m31_1;
-      tmp.n31_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_1(this$0, $node);
-      var tmp_0 = this$0.m31_1;
-      tmp_0.o31_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_2(this$0, $node);
-      return this$0.g31_1.accept(this$0.m31_1);
+      var tmp = this$0.d32_1;
+      tmp.e32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_1(this$0, $node);
+      var tmp_0 = this$0.d32_1;
+      tmp_0.f32_1 = BinaryApplyExpansionVisitor$visit$lambda$lambda_2(this$0, $node);
+      return this$0.x31_1.accept(this$0.d32_1);
     };
   }
   function BinaryApplyExpansionVisitor(builder, thatNode, operator, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
-    this.f31_1 = builder;
-    this.g31_1 = thatNode;
-    this.h31_1 = operator;
-    this.i31_1 = expansionFalseTerminal;
-    this.j31_1 = expansionTrueTerminal;
-    this.k31_1 = expansionOperator;
+    this.w31_1 = builder;
+    this.x31_1 = thatNode;
+    this.y31_1 = operator;
+    this.z31_1 = expansionFalseTerminal;
+    this.a32_1 = expansionTrueTerminal;
+    this.b32_1 = expansionOperator;
     var tmp = this;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp.l31_1 = LinkedHashMap_init_$Create$();
-    this.m31_1 = new CastVisitor();
+    tmp.c32_1 = LinkedHashMap_init_$Create$();
+    this.d32_1 = new CastVisitor();
   }
-  protoOf(BinaryApplyExpansionVisitor).d31 = function (node) {
-    var tmp = this.g31_1;
+  protoOf(BinaryApplyExpansionVisitor).u31 = function (node) {
+    var tmp = this.x31_1;
     return visitWithTable(this, node, tmp, BinaryApplyExpansionVisitor$visit$lambda(this, node));
   };
   protoOf(BinaryApplyExpansionVisitor).visitTerminal = function (node) {
-    return this.d31(node);
+    return this.u31(node);
   };
-  protoOf(BinaryApplyExpansionVisitor).e31 = function (node) {
-    var tmp = this.g31_1;
+  protoOf(BinaryApplyExpansionVisitor).v31 = function (node) {
+    var tmp = this.x31_1;
     return visitWithTable(this, node, tmp, BinaryApplyExpansionVisitor$visit$lambda_0(this, node));
   };
   protoOf(BinaryApplyExpansionVisitor).visitVariable = function (node) {
-    return this.e31(node);
+    return this.v31(node);
   };
   function ExpansionVisitor(varOp, falseTerminal, trueTerminal) {
-    this.p31_1 = varOp;
-    this.q31_1 = falseTerminal;
-    this.r31_1 = trueTerminal;
+    this.g32_1 = varOp;
+    this.h32_1 = falseTerminal;
+    this.i32_1 = trueTerminal;
   }
-  protoOf(ExpansionVisitor).d31 = function (node) {
-    return node.v30() ? this.r31_1 : this.q31_1;
+  protoOf(ExpansionVisitor).u31 = function (node) {
+    return node.m31() ? this.i32_1 : this.h32_1;
   };
   protoOf(ExpansionVisitor).visitTerminal = function (node) {
-    return this.d31(node);
+    return this.u31(node);
   };
-  protoOf(ExpansionVisitor).e31 = function (node) {
-    var lowValue = node.x30().accept(this);
-    var highValue = node.y30().accept(this);
-    return this.p31_1(node.r2(), lowValue, highValue);
+  protoOf(ExpansionVisitor).v31 = function (node) {
+    var lowValue = node.o31().accept(this);
+    var highValue = node.p31().accept(this);
+    return this.g32_1(node.r2(), lowValue, highValue);
   };
   protoOf(ExpansionVisitor).visitVariable = function (node) {
-    return this.e31(node);
+    return this.v31(node);
   };
   function UnaryApplyExpansionVisitor(builder, operator, expansionFalseTerminal, expansionTrueTerminal, expansionOperator) {
-    this.s31_1 = builder;
-    this.t31_1 = operator;
-    this.u31_1 = expansionFalseTerminal;
-    this.v31_1 = expansionTrueTerminal;
-    this.w31_1 = expansionOperator;
+    this.j32_1 = builder;
+    this.k32_1 = operator;
+    this.l32_1 = expansionFalseTerminal;
+    this.m32_1 = expansionTrueTerminal;
+    this.n32_1 = expansionOperator;
     var tmp = this;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp.x31_1 = LinkedHashMap_init_$Create$();
+    tmp.o32_1 = LinkedHashMap_init_$Create$();
   }
-  protoOf(UnaryApplyExpansionVisitor).d31 = function (node) {
-    var resTruth = this.t31_1(node.v30());
-    return new Pair(this.s31_1.buildTerminal(resTruth), resTruth ? this.v31_1 : this.u31_1);
+  protoOf(UnaryApplyExpansionVisitor).u31 = function (node) {
+    var resTruth = this.k32_1(node.m31());
+    return new Pair(this.j32_1.buildTerminal(resTruth), resTruth ? this.m32_1 : this.l32_1);
   };
   protoOf(UnaryApplyExpansionVisitor).visitTerminal = function (node) {
-    return this.d31(node);
+    return this.u31(node);
   };
-  protoOf(UnaryApplyExpansionVisitor).e31 = function (node) {
+  protoOf(UnaryApplyExpansionVisitor).v31 = function (node) {
     var key = hashCode(node);
-    if (this.x31_1.u2(key)) {
-      return ensureNotNull(this.x31_1.x2(key));
+    if (this.o32_1.u2(key)) {
+      return ensureNotNull(this.o32_1.x2(key));
     }
-    var lowNode = node.x30().accept(this);
-    var highNode = node.y30().accept(this);
-    var result = new Pair(this.s31_1.buildVariable(node.r2(), lowNode.ye_1, highNode.ye_1), this.w31_1(node.r2(), lowNode.ze_1, highNode.ze_1));
+    var lowNode = node.o31().accept(this);
+    var highNode = node.p31().accept(this);
+    var result = new Pair(this.j32_1.buildVariable(node.r2(), lowNode.ye_1, highNode.ye_1), this.n32_1(node.r2(), lowNode.ze_1, highNode.ze_1));
     // Inline function 'kotlin.collections.set' call
-    this.x31_1.n2(key, result);
+    this.o32_1.n2(key, result);
     return result;
   };
   protoOf(UnaryApplyExpansionVisitor).visitVariable = function (node) {
-    return this.e31(node);
+    return this.v31(node);
   };
   function ReducedBinaryDecisionDiagramBuilder(delegate) {
-    this.y31_1 = delegate;
+    this.p32_1 = delegate;
     var tmp = this;
     // Inline function 'kotlin.collections.mutableMapOf' call
-    tmp.z31_1 = LinkedHashMap_init_$Create$();
+    tmp.q32_1 = LinkedHashMap_init_$Create$();
   }
-  protoOf(ReducedBinaryDecisionDiagramBuilder).a32 = function (value, low, high) {
+  protoOf(ReducedBinaryDecisionDiagramBuilder).r32 = function (value, low, high) {
     if (equals(low, high)) {
       return low;
     }
-    var newNode = this.y31_1.buildVariable(value, low, high);
+    var newNode = this.p32_1.buildVariable(value, low, high);
     var key = hashCode(newNode);
-    var cached = this.z31_1.x2(key);
+    var cached = this.q32_1.x2(key);
     var tmp;
     if (!(cached == null)) {
       tmp = cached;
     } else {
       // Inline function 'kotlin.collections.set' call
-      this.z31_1.n2(key, newNode);
+      this.q32_1.n2(key, newNode);
       tmp = newNode;
     }
     return tmp;
   };
   protoOf(ReducedBinaryDecisionDiagramBuilder).buildVariable = function (value, low, high) {
-    return this.a32(isComparable(value) ? value : THROW_CCE(), low, high);
+    return this.r32(isComparable(value) ? value : THROW_CCE(), low, high);
   };
-  protoOf(ReducedBinaryDecisionDiagramBuilder).b32 = function (truth) {
-    return this.y31_1.buildTerminal(truth);
+  protoOf(ReducedBinaryDecisionDiagramBuilder).s32 = function (truth) {
+    return this.p32_1.buildTerminal(truth);
   };
   protoOf(ReducedBinaryDecisionDiagramBuilder).buildTerminal = function (truth) {
-    return this.b32(truth);
+    return this.s32(truth);
   };
   function SimpleBinaryDecisionDiagramBuilder() {
   }
-  protoOf(SimpleBinaryDecisionDiagramBuilder).a32 = function (value, low, high) {
+  protoOf(SimpleBinaryDecisionDiagramBuilder).r32 = function (value, low, high) {
     return new SimpleBinaryDecisionDiagramVariable(value, low, high);
   };
   protoOf(SimpleBinaryDecisionDiagramBuilder).buildVariable = function (value, low, high) {
-    return this.a32(isComparable(value) ? value : THROW_CCE(), low, high);
+    return this.r32(isComparable(value) ? value : THROW_CCE(), low, high);
   };
-  protoOf(SimpleBinaryDecisionDiagramBuilder).b32 = function (truth) {
+  protoOf(SimpleBinaryDecisionDiagramBuilder).s32 = function (truth) {
     return new SimpleBinaryDecisionDiagramTerminal(truth);
   };
   protoOf(SimpleBinaryDecisionDiagramBuilder).buildTerminal = function (truth) {
-    return this.b32(truth);
+    return this.s32(truth);
   };
   function SimpleBinaryDecisionDiagramTerminal(truth) {
-    this.c32_1 = truth;
+    this.t32_1 = truth;
   }
-  protoOf(SimpleBinaryDecisionDiagramTerminal).v30 = function () {
-    return this.c32_1;
+  protoOf(SimpleBinaryDecisionDiagramTerminal).m31 = function () {
+    return this.t32_1;
   };
   protoOf(SimpleBinaryDecisionDiagramTerminal).equals = function (other) {
     if (this === other)
@@ -478,48 +478,48 @@
       return false;
     if (!(other instanceof SimpleBinaryDecisionDiagramTerminal))
       THROW_CCE();
-    if (!(this.c32_1 === other.c32_1))
+    if (!(this.t32_1 === other.t32_1))
       return false;
     return true;
   };
   protoOf(SimpleBinaryDecisionDiagramTerminal).hashCode = function () {
-    return getBooleanHashCode(this.c32_1);
+    return getBooleanHashCode(this.t32_1);
   };
   protoOf(SimpleBinaryDecisionDiagramTerminal).toString = function () {
-    return 'SimpleBinaryDecisionDiagramTerminal(truth=' + this.c32_1 + ')';
+    return 'SimpleBinaryDecisionDiagramTerminal(truth=' + this.t32_1 + ')';
   };
   protoOf(SimpleBinaryDecisionDiagramTerminal).accept = function (visitor) {
-    return this.w30(visitor);
+    return this.n31(visitor);
   };
   function _get_hashCodeCache__ny3r0q($this) {
     // Inline function 'kotlin.getValue' call
-    var this_0 = $this.g32_1;
+    var this_0 = $this.x32_1;
     hashCodeCache$factory();
     return this_0.r2();
   }
   function SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this$0) {
     return function () {
-      var result = hashCode(this$0.d32_1);
-      result = imul(31, result) + hashCode(this$0.e32_1) | 0;
-      result = imul(31, result) + hashCode(this$0.f32_1) | 0;
+      var result = hashCode(this$0.u32_1);
+      result = imul(31, result) + hashCode(this$0.v32_1) | 0;
+      result = imul(31, result) + hashCode(this$0.w32_1) | 0;
       return result;
     };
   }
   function SimpleBinaryDecisionDiagramVariable(value, low, high) {
-    this.d32_1 = value;
-    this.e32_1 = low;
-    this.f32_1 = high;
+    this.u32_1 = value;
+    this.v32_1 = low;
+    this.w32_1 = high;
     var tmp = this;
-    tmp.g32_1 = lazy(SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this));
+    tmp.x32_1 = lazy(SimpleBinaryDecisionDiagramVariable$hashCodeCache$delegate$lambda(this));
   }
   protoOf(SimpleBinaryDecisionDiagramVariable).r2 = function () {
-    return this.d32_1;
+    return this.u32_1;
   };
-  protoOf(SimpleBinaryDecisionDiagramVariable).x30 = function () {
-    return this.e32_1;
+  protoOf(SimpleBinaryDecisionDiagramVariable).o31 = function () {
+    return this.v32_1;
   };
-  protoOf(SimpleBinaryDecisionDiagramVariable).y30 = function () {
-    return this.f32_1;
+  protoOf(SimpleBinaryDecisionDiagramVariable).p31 = function () {
+    return this.w32_1;
   };
   protoOf(SimpleBinaryDecisionDiagramVariable).equals = function (other) {
     if (this === other)
@@ -528,11 +528,11 @@
       return false;
     if (!(other instanceof SimpleBinaryDecisionDiagramVariable))
       THROW_CCE();
-    if (!equals(this.d32_1, other.d32_1))
+    if (!equals(this.u32_1, other.u32_1))
       return false;
-    if (!equals(this.e32_1, other.e32_1))
+    if (!equals(this.v32_1, other.v32_1))
       return false;
-    if (!equals(this.f32_1, other.f32_1))
+    if (!equals(this.w32_1, other.w32_1))
       return false;
     return true;
   };
@@ -540,10 +540,10 @@
     return _get_hashCodeCache__ny3r0q(this);
   };
   protoOf(SimpleBinaryDecisionDiagramVariable).toString = function () {
-    return 'SimpleBinaryDecisionDiagramVariable(value=' + this.d32_1 + ', low=' + this.e32_1 + ', high=' + this.f32_1 + ')';
+    return 'SimpleBinaryDecisionDiagramVariable(value=' + this.u32_1 + ', low=' + this.v32_1 + ', high=' + this.w32_1 + ')';
   };
   protoOf(SimpleBinaryDecisionDiagramVariable).accept = function (visitor) {
-    return this.w30(visitor);
+    return this.n31(visitor);
   };
   function hashCodeCache$factory() {
     return getPropertyCallableRef('hashCodeCache', 1, KProperty1, function (receiver) {
@@ -551,20 +551,20 @@
     }, null);
   }
   function CastVisitor() {
-    this.n31_1 = null;
-    this.o31_1 = null;
+    this.e32_1 = null;
+    this.f32_1 = null;
   }
-  protoOf(CastVisitor).d31 = function (node) {
-    return ensureNotNull(this.n31_1)(node);
+  protoOf(CastVisitor).u31 = function (node) {
+    return ensureNotNull(this.e32_1)(node);
   };
   protoOf(CastVisitor).visitTerminal = function (node) {
-    return this.d31(node);
+    return this.u31(node);
   };
-  protoOf(CastVisitor).e31 = function (node) {
-    return ensureNotNull(this.o31_1)(node);
+  protoOf(CastVisitor).v31 = function (node) {
+    return ensureNotNull(this.f32_1)(node);
   };
   protoOf(CastVisitor).visitVariable = function (node) {
-    return this.e31(node);
+    return this.v31(node);
   };
   //region block: post-declaration
   defineProp(protoOf(BinaryDecisionDiagramException), 'message', function () {
@@ -573,8 +573,8 @@
   defineProp(protoOf(BinaryDecisionDiagramException), 'cause', function () {
     return this.oa();
   });
-  protoOf(SimpleBinaryDecisionDiagramTerminal).w30 = accept;
-  protoOf(SimpleBinaryDecisionDiagramVariable).w30 = accept_0;
+  protoOf(SimpleBinaryDecisionDiagramTerminal).n31 = accept;
+  protoOf(SimpleBinaryDecisionDiagramVariable).n31 = accept_0;
   //endregion
   //region block: init
   Companion_instance = new Companion();