binary-decision-diagram 1.4.0 → 2.0.1

package/dist/lib/internal-node.js

@@ -1,53 +1,35 @@
 "use strict";
-var __extends = (this && this.__extends) || (function () {
-    var extendStatics = function (d, b) {
-        extendStatics = Object.setPrototypeOf ||
-            ({ __proto__: [] } instanceof Array && function (d, b) { d.__proto__ = b; }) ||
-            function (d, b) { for (var p in b) if (Object.prototype.hasOwnProperty.call(b, p)) d[p] = b[p]; };
-        return extendStatics(d, b);
-    };
-    return function (d, b) {
-        if (typeof b !== "function" && b !== null)
-            throw new TypeError("Class extends value " + String(b) + " is not a constructor or null");
-        extendStatics(d, b);
-        function __() { this.constructor = d; }
-        d.prototype = b === null ? Object.create(b) : (__.prototype = b.prototype, new __());
-    };
-})();
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.InternalNode = void 0;
-var branches_1 = require("./branches");
-var parents_1 = require("./parents");
-var abstract_node_1 = require("./abstract-node");
-var InternalNode = /** @class */ (function (_super) {
-    __extends(InternalNode, _super);
-    function InternalNode(level, rootNode, parent) {
-        var _this = _super.call(this, level, rootNode, 'InternalNode') || this;
-        _this.branches = new branches_1.Branches(_this);
-        _this.parents = new parents_1.Parents(_this);
-        _this.parents.add(parent);
-        return _this;
+const branches_1 = require("./branches");
+const parents_1 = require("./parents");
+const abstract_node_1 = require("./abstract-node");
+class InternalNode extends abstract_node_1.AbstractNode {
+    constructor(level, rootNode, parent) {
+        super(level, rootNode, 'InternalNode');
+        this.branches = new branches_1.Branches(this);
+        this.parents = new parents_1.Parents(this);
+        this.parents.add(parent);
     }
     /**
      * by the reduction-rule of bdd,
      * if both branches are equal,
      * we can remove this node from the bdd
      */
-    InternalNode.prototype.applyReductionRule = function () {
+    applyReductionRule() {
         // console.log('applyReductionRule() ' + this.id);
-        var _this = this;
         if (this.branches.hasEqualBranches()) {
             this.ensureNotDeleted('applyReductionRule');
-            var keepBranch_1 = this.branches.getBranch('0');
+            const keepBranch = this.branches.getBranch('0');
             // move own parents to keepBranch
-            var ownParents = this.parents.getAll();
-            ownParents.forEach(function (parent) {
+            const ownParents = this.parents.getAll();
+            ownParents.forEach(parent => {
                 // console.log('ownParent: ' + parent.id);
-                var branchKey = parent.branches.getKeyOfNode(_this);
-                parent.branches.setBranch(branchKey, keepBranch_1);
+                const branchKey = parent.branches.getKeyOfNode(this);
+                parent.branches.setBranch(branchKey, keepBranch);
                 // remove parents from own list
                 // this will auto-remove the connection to the other '1'-branch
-                _this.parents.remove(parent);
+                this.parents.remove(parent);
                 // if parent has now two equal branches,
                 // we have to apply the reduction again
                 // to ensure we end in a valid state
@@ -58,8 +40,7 @@ var InternalNode = /** @class */ (function (_super) {
             return true;
         }
         return false;
-    };
-    return InternalNode;
-}(abstract_node_1.AbstractNode));
+    }
+}
 exports.InternalNode = InternalNode;
 //# sourceMappingURL=internal-node.js.map

package/dist/lib/internal-node.js.map

@@ -1 +1 @@
-{"version":3,"file":"internal-node.js","sourceRoot":"","sources":["../../src/internal-node.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;AAAA,uCAAsC;AACtC,qCAAoC;AAEpC,iDAA+C;AAG/C;IAAkC,gCAAY;IAI1C,sBACI,KAAa,EACb,QAAkB,EAClB,MAAmB;QAHvB,YAKI,kBAAM,KAAK,EAAE,QAAQ,EAAE,cAAc,CAAC,SAEzC;QAVM,cAAQ,GAAa,IAAI,mBAAQ,CAAC,KAAI,CAAC,CAAC;QACxC,aAAO,GAAG,IAAI,iBAAO,CAAC,KAAI,CAAC,CAAC;QAQ/B,KAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;;IAC7B,CAAC;IAID;;;;OAIG;IACH,yCAAkB,GAAlB;QAEI,kDAAkD;QAFtD,iBA8BC;QA1BG,IAAI,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,EAAE;YAClC,IAAI,CAAC,gBAAgB,CAAC,oBAAoB,CAAC,CAAC;YAC5C,IAAM,YAAU,GAAgB,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YAE7D,iCAAiC;YACjC,IAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YACzC,UAAU,CAAC,OAAO,CAAC,UAAA,MAAM;gBACrB,0CAA0C;gBAC1C,IAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAI,CAAC,CAAC;gBACrD,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,SAAS,EAAE,YAAU,CAAC,CAAC;gBAEjD,+BAA+B;gBAC/B,+DAA+D;gBAC/D,KAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBAE5B,wCAAwC;gBACxC,uCAAuC;gBACvC,oCAAoC;gBACpC,IAAI,MAAM,CAAC,QAAQ,CAAC,sBAAsB,EAAE,IAAI,MAAM,CAAC,cAAc,EAAE,EAAE;oBACpE,MAAuB,CAAC,kBAAkB,EAAE,CAAC;iBACjD;YACL,CAAC,CAAC,CAAC;YAEH,OAAO,IAAI,CAAC;SACf;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAEL,mBAAC;AAAD,CAAC,AApDD,CAAkC,4BAAY,GAoD7C;AApDY,oCAAY"}
+{"version":3,"file":"internal-node.js","sourceRoot":"","sources":["../../src/internal-node.ts"],"names":[],"mappings":";;;AAAA,yCAAsC;AACtC,uCAAoC;AAEpC,mDAA+C;AAG/C,MAAa,YAAa,SAAQ,4BAAY;IAI1C,YACI,KAAa,EACb,QAAkB,EAClB,MAAmB;QAEnB,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;QARpC,aAAQ,GAAa,IAAI,mBAAQ,CAAC,IAAI,CAAC,CAAC;QACxC,YAAO,GAAG,IAAI,iBAAO,CAAC,IAAI,CAAC,CAAC;QAQ/B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC;IAID;;;;OAIG;IACH,kBAAkB;QAEd,kDAAkD;QAElD,IAAI,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,EAAE;YAClC,IAAI,CAAC,gBAAgB,CAAC,oBAAoB,CAAC,CAAC;YAC5C,MAAM,UAAU,GAAgB,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YAE7D,iCAAiC;YACjC,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YACzC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;gBACxB,0CAA0C;gBAC1C,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBACrD,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;gBAEjD,+BAA+B;gBAC/B,+DAA+D;gBAC/D,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBAE5B,wCAAwC;gBACxC,uCAAuC;gBACvC,oCAAoC;gBACpC,IAAI,MAAM,CAAC,QAAQ,CAAC,sBAAsB,EAAE,IAAI,MAAM,CAAC,cAAc,EAAE,EAAE;oBACpE,MAAuB,CAAC,kBAAkB,EAAE,CAAC;iBACjD;YACL,CAAC,CAAC,CAAC;YAEH,OAAO,IAAI,CAAC;SACf;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;CAEJ;AApDD,oCAoDC"}

package/dist/lib/leaf-node.js

@@ -1,52 +1,33 @@
 "use strict";
-var __extends = (this && this.__extends) || (function () {
-    var extendStatics = function (d, b) {
-        extendStatics = Object.setPrototypeOf ||
-            ({ __proto__: [] } instanceof Array && function (d, b) { d.__proto__ = b; }) ||
-            function (d, b) { for (var p in b) if (Object.prototype.hasOwnProperty.call(b, p)) d[p] = b[p]; };
-        return extendStatics(d, b);
-    };
-    return function (d, b) {
-        if (typeof b !== "function" && b !== null)
-            throw new TypeError("Class extends value " + String(b) + " is not a constructor or null");
-        extendStatics(d, b);
-        function __() { this.constructor = d; }
-        d.prototype = b === null ? Object.create(b) : (__.prototype = b.prototype, new __());
-    };
-})();
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.LeafNode = void 0;
-var parents_1 = require("./parents");
-var abstract_node_1 = require("./abstract-node");
-var util_1 = require("./util");
-var LeafNode = /** @class */ (function (_super) {
-    __extends(LeafNode, _super);
-    function LeafNode(level, rootNode, value, parent) {
-        var _this = _super.call(this, level, rootNode, 'LeafNode') || this;
-        _this.value = value;
-        _this.parents = new parents_1.Parents(_this);
-        _this.parents.add(parent);
-        return _this;
+const parents_1 = require("./parents");
+const abstract_node_1 = require("./abstract-node");
+const util_1 = require("./util");
+class LeafNode extends abstract_node_1.AbstractNode {
+    constructor(level, rootNode, value, parent) {
+        super(level, rootNode, 'LeafNode');
+        this.value = value;
+        this.parents = new parents_1.Parents(this);
+        this.parents.add(parent);
     }
-    LeafNode.prototype.removeIfValueEquals = function (value) {
-        var _this = this;
+    removeIfValueEquals(value) {
         this.ensureNotDeleted();
         if (this.value !== value) {
             return false;
         }
-        var parents = this.parents.getAll();
-        parents.forEach(function (parent) {
-            var branchKey = parent.branches.getKeyOfNode(_this);
-            var otherBranch = parent.branches.getBranch((0, util_1.oppositeBoolean)(branchKey));
-            _this.parents.remove(parent);
+        const parents = this.parents.getAll();
+        parents.forEach(parent => {
+            const branchKey = parent.branches.getKeyOfNode(this);
+            const otherBranch = parent.branches.getBranch((0, util_1.oppositeBoolean)(branchKey));
+            this.parents.remove(parent);
             parent.branches.setBranch(branchKey, otherBranch);
             if (parent.isInternalNode()) {
                 parent.applyReductionRule();
             }
         });
         return true;
-    };
-    return LeafNode;
-}(abstract_node_1.AbstractNode));
+    }
+}
 exports.LeafNode = LeafNode;
 //# sourceMappingURL=leaf-node.js.map

package/dist/lib/leaf-node.js.map

@@ -1 +1 @@
-{"version":3,"file":"leaf-node.js","sourceRoot":"","sources":["../../src/leaf-node.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;AAAA,qCAAoC;AACpC,iDAA+C;AAG/C,+BAAyC;AAGzC;IAA8B,4BAAY;IAGtC,kBACI,KAAa,EACb,QAAkB,EACX,KAAa,EACpB,MAAmB;QAJvB,YAMI,kBAAM,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,SAErC;QALU,WAAK,GAAL,KAAK,CAAQ;QALjB,aAAO,GAAG,IAAI,iBAAO,CAAC,KAAI,CAAC,CAAC;QAS/B,KAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;;IAC7B,CAAC;IAED,sCAAmB,GAAnB,UAAoB,KAAa;QAAjC,iBAmBC;QAlBG,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAExB,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,EAAE;YACtB,OAAO,KAAK,CAAC;SAChB;QAED,IAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACtC,OAAO,CAAC,OAAO,CAAC,UAAA,MAAM;YAClB,IAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAI,CAAC,CAAC;YACrD,IAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAA,sBAAe,EAAC,SAAS,CAAC,CAAC,CAAC;YAC1E,KAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC5B,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;YAClD,IAAI,MAAM,CAAC,cAAc,EAAE,EAAE;gBACxB,MAAuB,CAAC,kBAAkB,EAAE,CAAC;aACjD;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,IAAI,CAAC;IAChB,CAAC;IAGL,eAAC;AAAD,CAAC,AAnCD,CAA8B,4BAAY,GAmCzC;AAnCY,4BAAQ"}
+{"version":3,"file":"leaf-node.js","sourceRoot":"","sources":["../../src/leaf-node.ts"],"names":[],"mappings":";;;AAAA,uCAAoC;AACpC,mDAA+C;AAG/C,iCAAyC;AAGzC,MAAa,QAAS,SAAQ,4BAAY;IAGtC,YACI,KAAa,EACb,QAAkB,EACX,KAAa,EACpB,MAAmB;QAEnB,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;QAH5B,UAAK,GAAL,KAAK,CAAQ;QALjB,YAAO,GAAG,IAAI,iBAAO,CAAC,IAAI,CAAC,CAAC;QAS/B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC;IAED,mBAAmB,CAAC,KAAa;QAC7B,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAExB,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,EAAE;YACtB,OAAO,KAAK,CAAC;SAChB;QAED,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACtC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;YACrB,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YACrD,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAA,sBAAe,EAAC,SAAS,CAAC,CAAC,CAAC;YAC1E,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC5B,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;YAClD,IAAI,MAAM,CAAC,cAAc,EAAE,EAAE;gBACxB,MAAuB,CAAC,kBAAkB,EAAE,CAAC;aACjD;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,IAAI,CAAC;IAChB,CAAC;CAGJ;AAnCD,4BAmCC"}

package/dist/lib/minimal-string/bdd-to-minimal-string.js

@@ -1,23 +1,23 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.nodeToString = exports.bddToMinimalString = void 0;
-var string_format_1 = require("./string-format");
-var string_format_2 = require("./string-format");
+const string_format_1 = require("./string-format");
+const string_format_2 = require("./string-format");
 function bddToMinimalString(bdd) {
-    var ret = '';
-    var currentCharCode = string_format_2.FIRST_CHAR_CODE_FOR_ID;
+    let ret = '';
+    let currentCharCode = string_format_2.FIRST_CHAR_CODE_FOR_ID;
     // add leaf node count
-    var leafNodeAmount = bdd.getLeafNodes().length;
+    const leafNodeAmount = bdd.getLeafNodes().length;
     if (leafNodeAmount > 99) {
         throw new Error('cannot build string with too many leaf nodes');
     }
     ret += leafNodeAmount.toString().padStart(2, '0');
-    var levelsHighestFirst = bdd.levels.slice().reverse();
-    var idByNode = new Map();
-    levelsHighestFirst.forEach(function (level) {
-        var nodes = bdd.getNodesOfLevel(level);
-        nodes.forEach(function (node) {
-            var stringRep = nodeToString(node, idByNode, currentCharCode);
+    const levelsHighestFirst = bdd.levels.slice().reverse();
+    const idByNode = new Map();
+    levelsHighestFirst.forEach(level => {
+        const nodes = bdd.getNodesOfLevel(level);
+        nodes.forEach(node => {
+            const stringRep = nodeToString(node, idByNode, currentCharCode);
             currentCharCode = stringRep.nextCode;
             idByNode.set(node, stringRep.id);
             ret += stringRep.str;
@@ -27,26 +27,26 @@ function bddToMinimalString(bdd) {
 }
 exports.bddToMinimalString = bddToMinimalString;
 function nodeToString(node, idByNode, lastCode) {
-    var nextId = (0, string_format_1.getNextCharId)(lastCode);
+    const nextId = (0, string_format_1.getNextCharId)(lastCode);
     switch (node.type) {
         case 'LeafNode':
-            var valueChar = (0, string_format_1.getCharOfValue)(node.asLeafNode().value);
+            const valueChar = (0, string_format_1.getCharOfValue)(node.asLeafNode().value);
             return {
                 id: nextId.char,
                 nextCode: nextId.nextCode,
                 str: nextId.char + valueChar
             };
         case 'InternalNode':
-            var branch0Id = idByNode.get(node.asInternalNode().branches.getBranch('0'));
-            var branch1Id = idByNode.get(node.asInternalNode().branches.getBranch('1'));
+            const branch0Id = idByNode.get(node.asInternalNode().branches.getBranch('0'));
+            const branch1Id = idByNode.get(node.asInternalNode().branches.getBranch('1'));
             return {
                 id: nextId.char,
                 nextCode: nextId.nextCode,
                 str: nextId.char + branch0Id + branch1Id + (0, string_format_1.getCharOfLevel)(node.level)
             };
         case 'RootNode':
-            var branch0IdRoot = idByNode.get(node.asRootNode().branches.getBranch('0'));
-            var branch1IdRoot = idByNode.get(node.asRootNode().branches.getBranch('1'));
+            const branch0IdRoot = idByNode.get(node.asRootNode().branches.getBranch('0'));
+            const branch1IdRoot = idByNode.get(node.asRootNode().branches.getBranch('1'));
             return {
                 id: nextId.char,
                 nextCode: nextId.nextCode,

package/dist/lib/minimal-string/bdd-to-minimal-string.js.map

@@ -1 +1 @@
-{"version":3,"file":"bdd-to-minimal-string.js","sourceRoot":"","sources":["../../../src/minimal-string/bdd-to-minimal-string.ts"],"names":[],"mappings":";;;AAEA,iDAAgF;AAChF,iDAEyB;AAGzB,SAAgB,kBAAkB,CAAC,GAAa;IAC5C,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,IAAI,eAAe,GAAG,sCAAsB,CAAC;IAE7C,sBAAsB;IACtB,IAAM,cAAc,GAAG,GAAG,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC;IACjD,IAAI,cAAc,GAAG,EAAE,EAAE;QACrB,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;KACnE;IAED,GAAG,IAAI,cAAc,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAElD,IAAM,kBAAkB,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC;IACxD,IAAM,QAAQ,GAA8B,IAAI,GAAG,EAAE,CAAC;IACtD,kBAAkB,CAAC,OAAO,CAAC,UAAA,KAAK;QAC5B,IAAM,KAAK,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QACzC,KAAK,CAAC,OAAO,CAAC,UAAA,IAAI;YACd,IAAM,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC;YAChE,eAAe,GAAG,SAAS,CAAC,QAAQ,CAAC;YACrC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;YACjC,GAAG,IAAI,SAAS,CAAC,GAAG,CAAC;QACzB,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACf,CAAC;AAxBD,gDAwBC;AAED,SAAgB,YAAY,CACxB,IAAkB,EAClB,QAAmC,EACnC,QAAgB;IAMhB,IAAM,MAAM,GAAG,IAAA,6BAAa,EAAC,QAAQ,CAAC,CAAC;IACvC,QAAQ,IAAI,CAAC,IAAI,EAAE;QACf,KAAK,UAAU;YACX,IAAM,SAAS,GAAG,IAAA,8BAAc,EAAC,IAAI,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC;YAC1D,OAAO;gBACH,EAAE,EAAE,MAAM,CAAC,IAAI;gBACf,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,GAAG,EAAE,MAAM,CAAC,IAAI,GAAG,SAAS;aAC/B,CAAC;QACN,KAAK,cAAc;YACf,IAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9E,IAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9E,OAAO;gBACH,EAAE,EAAE,MAAM,CAAC,IAAI;gBACf,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,GAAG,EAAE,MAAM,CAAC,IAAI,GAAG,SAAS,GAAG,SAAS,GAAG,IAAA,8BAAc,EAAC,IAAI,CAAC,KAAK,CAAC;aACxE,CAAC;QACN,KAAK,UAAU;YACX,IAAM,aAAa,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9E,IAAM,aAAa,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9E,OAAO;gBACH,EAAE,EAAE,MAAM,CAAC,IAAI;gBACf,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,GAAG,EAAE,EAAE,GAAG,aAAa,GAAG,aAAa,GAAG,IAAA,8BAAc,EAAC,IAAI,CAAC,KAAK,CAAC;aACvE,CAAC;QACN;YACI,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;KAC5C;AACL,CAAC;AArCD,oCAqCC"}
+{"version":3,"file":"bdd-to-minimal-string.js","sourceRoot":"","sources":["../../../src/minimal-string/bdd-to-minimal-string.ts"],"names":[],"mappings":";;;AAEA,mDAAgF;AAChF,mDAEyB;AAGzB,SAAgB,kBAAkB,CAAC,GAAa;IAC5C,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,IAAI,eAAe,GAAG,sCAAsB,CAAC;IAE7C,sBAAsB;IACtB,MAAM,cAAc,GAAG,GAAG,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC;IACjD,IAAI,cAAc,GAAG,EAAE,EAAE;QACrB,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;KACnE;IAED,GAAG,IAAI,cAAc,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAElD,MAAM,kBAAkB,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC;IACxD,MAAM,QAAQ,GAA8B,IAAI,GAAG,EAAE,CAAC;IACtD,kBAAkB,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;QAC/B,MAAM,KAAK,GAAG,GAAG,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QACzC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACjB,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC;YAChE,eAAe,GAAG,SAAS,CAAC,QAAQ,CAAC;YACrC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;YACjC,GAAG,IAAI,SAAS,CAAC,GAAG,CAAC;QACzB,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACf,CAAC;AAxBD,gDAwBC;AAED,SAAgB,YAAY,CACxB,IAAkB,EAClB,QAAmC,EACnC,QAAgB;IAMhB,MAAM,MAAM,GAAG,IAAA,6BAAa,EAAC,QAAQ,CAAC,CAAC;IACvC,QAAQ,IAAI,CAAC,IAAI,EAAE;QACf,KAAK,UAAU;YACX,MAAM,SAAS,GAAG,IAAA,8BAAc,EAAC,IAAI,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC;YAC1D,OAAO;gBACH,EAAE,EAAE,MAAM,CAAC,IAAI;gBACf,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,GAAG,EAAE,MAAM,CAAC,IAAI,GAAG,SAAS;aAC/B,CAAC;QACN,KAAK,cAAc;YACf,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9E,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9E,OAAO;gBACH,EAAE,EAAE,MAAM,CAAC,IAAI;gBACf,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,GAAG,EAAE,MAAM,CAAC,IAAI,GAAG,SAAS,GAAG,SAAS,GAAG,IAAA,8BAAc,EAAC,IAAI,CAAC,KAAK,CAAC;aACxE,CAAC;QACN,KAAK,UAAU;YACX,MAAM,aAAa,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9E,MAAM,aAAa,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9E,OAAO;gBACH,EAAE,EAAE,MAAM,CAAC,IAAI;gBACf,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,GAAG,EAAE,EAAE,GAAG,aAAa,GAAG,aAAa,GAAG,IAAA,8BAAc,EAAC,IAAI,CAAC,KAAK,CAAC;aACvE,CAAC;QACN;YACI,MAAM,IAAI,KAAK,CAAC,mBAAmB,CAAC,CAAC;KAC5C;AACL,CAAC;AArCD,oCAqCC"}

package/dist/lib/minimal-string/bdd-to-simple-bdd.js

@@ -12,8 +12,8 @@ exports.bddToSimpleBdd = bddToSimpleBdd;
  * @recursive
  */
 function nodeToSimpleBddNode(node) {
-    var branch0 = node.branches.getBranch('0');
-    var branch1 = node.branches.getBranch('1');
+    const branch0 = node.branches.getBranch('0');
+    const branch1 = node.branches.getBranch('1');
     return {
         l: node.level,
         0: branch0.isLeafNode() ? branch0.asLeafNode().value : nodeToSimpleBddNode(branch0),

package/dist/lib/minimal-string/bdd-to-simple-bdd.js.map

@@ -1 +1 @@
-{"version":3,"file":"bdd-to-simple-bdd.js","sourceRoot":"","sources":["../../../src/minimal-string/bdd-to-simple-bdd.ts"],"names":[],"mappings":";;;AAOA;;GAEG;AACH,SAAgB,cAAc,CAAC,GAAa;IACxC,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC;AACpC,CAAC;AAFD,wCAEC;AAGD;;GAEG;AACH,SAAgB,mBAAmB,CAC/B,IAAkB;IAGlB,IAAM,OAAO,GAAkB,IAAqB,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAC7E,IAAM,OAAO,GAAkB,IAAqB,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAE7E,OAAO;QACH,CAAC,EAAE,IAAI,CAAC,KAAK;QACb,CAAC,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC;QACnF,CAAC,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC;KACtF,CAAC;AACN,CAAC;AAZD,kDAYC"}
+{"version":3,"file":"bdd-to-simple-bdd.js","sourceRoot":"","sources":["../../../src/minimal-string/bdd-to-simple-bdd.ts"],"names":[],"mappings":";;;AAOA;;GAEG;AACH,SAAgB,cAAc,CAAC,GAAa;IACxC,OAAO,mBAAmB,CAAC,GAAG,CAAC,CAAC;AACpC,CAAC;AAFD,wCAEC;AAGD;;GAEG;AACH,SAAgB,mBAAmB,CAC/B,IAAkB;IAGlB,MAAM,OAAO,GAAkB,IAAqB,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAC7E,MAAM,OAAO,GAAkB,IAAqB,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAE7E,OAAO;QACH,CAAC,EAAE,IAAI,CAAC,KAAK;QACb,CAAC,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC;QACnF,CAAC,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC;KACtF,CAAC;AACN,CAAC;AAZD,kDAYC"}

package/dist/lib/minimal-string/index.js

@@ -1,7 +1,11 @@
 "use strict";
 var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
     if (k2 === undefined) k2 = k;
-    Object.defineProperty(o, k2, { enumerable: true, get: function() { return m[k]; } });
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
 }) : (function(o, m, k, k2) {
     if (k2 === undefined) k2 = k;
     o[k2] = m[k];

package/dist/lib/minimal-string/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/minimal-string/index.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,0DAAwC;AACxC,iEAA+C;AAC/C,4DAA0C;AAC1C,kDAAgC;AAChC,sDAAoC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/minimal-string/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,0DAAwC;AACxC,iEAA+C;AAC/C,4DAA0C;AAC1C,kDAAgC;AAChC,sDAAoC"}

package/dist/lib/minimal-string/minimal-string-to-simple-bdd.js

@@ -1,39 +1,39 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.minimalStringToSimpleBdd = void 0;
-var util_1 = require("../util");
-var string_format_1 = require("./string-format");
+const util_1 = require("../util");
+const string_format_1 = require("./string-format");
 function minimalStringToSimpleBdd(str) {
-    var nodesById = new Map();
+    const nodesById = new Map();
     // parse leaf nodes
-    var leafNodeAmount = parseInt(str.charAt(0) + str.charAt(1), 10);
-    var lastLeafNodeChar = (2 + leafNodeAmount * 2);
-    var leafNodeChars = str.substring(2, lastLeafNodeChar);
-    var leafNodeChunks = (0, util_1.splitStringToChunks)(leafNodeChars, 2);
-    for (var i = 0; i < leafNodeChunks.length; i++) {
-        var chunk = leafNodeChunks[i];
-        var id = chunk.charAt(0);
-        var value = (0, string_format_1.getNumberOfChar)(chunk.charAt(1));
+    const leafNodeAmount = parseInt(str.charAt(0) + str.charAt(1), 10);
+    const lastLeafNodeChar = (2 + leafNodeAmount * 2);
+    const leafNodeChars = str.substring(2, lastLeafNodeChar);
+    const leafNodeChunks = (0, util_1.splitStringToChunks)(leafNodeChars, 2);
+    for (let i = 0; i < leafNodeChunks.length; i++) {
+        const chunk = leafNodeChunks[i];
+        const id = chunk.charAt(0);
+        const value = (0, string_format_1.getNumberOfChar)(chunk.charAt(1));
         nodesById.set(id, value);
     }
     // parse internal nodes
-    var internalNodeChars = str.substring(lastLeafNodeChar, str.length - 3);
-    var internalNodeChunks = (0, util_1.splitStringToChunks)(internalNodeChars, 4);
-    for (var i = 0; i < internalNodeChunks.length; i++) {
-        var chunk = internalNodeChunks[i];
-        var id = chunk.charAt(0);
-        var idOf0Branch = chunk.charAt(1);
-        var idOf1Branch = chunk.charAt(2);
-        var level = (0, string_format_1.getNumberOfChar)(chunk.charAt(3));
+    const internalNodeChars = str.substring(lastLeafNodeChar, str.length - 3);
+    const internalNodeChunks = (0, util_1.splitStringToChunks)(internalNodeChars, 4);
+    for (let i = 0; i < internalNodeChunks.length; i++) {
+        const chunk = internalNodeChunks[i];
+        const id = chunk.charAt(0);
+        const idOf0Branch = chunk.charAt(1);
+        const idOf1Branch = chunk.charAt(2);
+        const level = (0, string_format_1.getNumberOfChar)(chunk.charAt(3));
         if (!nodesById.has(idOf0Branch)) {
             throw new Error('missing node with id ' + idOf0Branch);
         }
         if (!nodesById.has(idOf1Branch)) {
             throw new Error('missing node with id ' + idOf1Branch);
         }
-        var node0 = nodesById.get(idOf0Branch);
-        var node1 = nodesById.get(idOf1Branch);
-        var node = {
+        const node0 = nodesById.get(idOf0Branch);
+        const node1 = nodesById.get(idOf1Branch);
+        const node = {
             l: level,
             0: node0,
             1: node1
@@ -41,13 +41,13 @@ function minimalStringToSimpleBdd(str) {
         nodesById.set(id, node);
     }
     // parse root node
-    var last3 = str.slice(-3);
-    var idOf0 = last3.charAt(0);
-    var idOf1 = last3.charAt(1);
-    var levelOfRoot = (0, string_format_1.getNumberOfChar)(last3.charAt(2));
-    var nodeOf0 = nodesById.get(idOf0);
-    var nodeOf1 = nodesById.get(idOf1);
-    var rootNode = {
+    const last3 = str.slice(-3);
+    const idOf0 = last3.charAt(0);
+    const idOf1 = last3.charAt(1);
+    const levelOfRoot = (0, string_format_1.getNumberOfChar)(last3.charAt(2));
+    const nodeOf0 = nodesById.get(idOf0);
+    const nodeOf1 = nodesById.get(idOf1);
+    const rootNode = {
         l: levelOfRoot,
         0: nodeOf0,
         1: nodeOf1,

package/dist/lib/minimal-string/minimal-string-to-simple-bdd.js.map

@@ -1 +1 @@
-{"version":3,"file":"minimal-string-to-simple-bdd.js","sourceRoot":"","sources":["../../../src/minimal-string/minimal-string-to-simple-bdd.ts"],"names":[],"mappings":";;;AAIA,gCAA8C;AAC9C,iDAAkD;AAElD,SAAgB,wBAAwB,CACpC,GAAW;IAEX,IAAM,SAAS,GAA+C,IAAI,GAAG,EAAE,CAAC;IAExE,mBAAmB;IACnB,IAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnE,IAAM,gBAAgB,GAAG,CAAC,CAAC,GAAG,cAAc,GAAG,CAAC,CAAC,CAAC;IAClD,IAAM,aAAa,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC;IACzD,IAAM,cAAc,GAAG,IAAA,0BAAmB,EAAC,aAAa,EAAE,CAAC,CAAC,CAAC;IAC7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QAC5C,IAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAChC,IAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAM,KAAK,GAAsB,IAAA,+BAAe,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;KAC5B;IAED,uBAAuB;IACvB,IAAM,iBAAiB,GAAG,GAAG,CAAC,SAAS,CAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1E,IAAM,kBAAkB,GAAG,IAAA,0BAAmB,EAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC;IACrE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QAChD,IAAM,KAAK,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACpC,IAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACpC,IAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACpC,IAAM,KAAK,GAAG,IAAA,+BAAe,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAG/C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE;YAC7B,MAAM,IAAI,KAAK,CAAC,uBAAuB,GAAG,WAAW,CAAC,CAAC;SAC1D;QACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE;YAC7B,MAAM,IAAI,KAAK,CAAC,uBAAuB,GAAG,WAAW,CAAC,CAAC;SAC1D;QAED,IAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,WAAW,CAAc,CAAC;QACtD,IAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,WAAW,CAAc,CAAC;QACtD,IAAM,IAAI,GAAc;YACpB,CAAC,EAAE,KAAK;YACR,CAAC,EAAE,KAAK;YACR,CAAC,EAAE,KAAK;SACX,CAAC;QACF,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;KAC3B;IAED,kBAAkB;IAClB,IAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAM,WAAW,GAAG,IAAA,+BAAe,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,IAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAc,CAAC;IAClD,IAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAc,CAAC;IAClD,IAAM,QAAQ,GAAc;QACxB,CAAC,EAAE,WAAW;QACd,CAAC,EAAE,OAAO;QACV,CAAC,EAAE,OAAO;KACb,CAAC;IAEF,OAAO,QAAQ,CAAC;AACpB,CAAC;AA3DD,4DA2DC"}
+{"version":3,"file":"minimal-string-to-simple-bdd.js","sourceRoot":"","sources":["../../../src/minimal-string/minimal-string-to-simple-bdd.ts"],"names":[],"mappings":";;;AAIA,kCAA8C;AAC9C,mDAAkD;AAElD,SAAgB,wBAAwB,CACpC,GAAW;IAEX,MAAM,SAAS,GAA+C,IAAI,GAAG,EAAE,CAAC;IAExE,mBAAmB;IACnB,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnE,MAAM,gBAAgB,GAAG,CAAC,CAAC,GAAG,cAAc,GAAG,CAAC,CAAC,CAAC;IAClD,MAAM,aAAa,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC;IACzD,MAAM,cAAc,GAAG,IAAA,0BAAmB,EAAC,aAAa,EAAE,CAAC,CAAC,CAAC;IAC7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QAC5C,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,KAAK,GAAsB,IAAA,+BAAe,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;KAC5B;IAED,uBAAuB;IACvB,MAAM,iBAAiB,GAAG,GAAG,CAAC,SAAS,CAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1E,MAAM,kBAAkB,GAAG,IAAA,0BAAmB,EAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC;IACrE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QAChD,MAAM,KAAK,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,IAAA,+BAAe,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAG/C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE;YAC7B,MAAM,IAAI,KAAK,CAAC,uBAAuB,GAAG,WAAW,CAAC,CAAC;SAC1D;QACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE;YAC7B,MAAM,IAAI,KAAK,CAAC,uBAAuB,GAAG,WAAW,CAAC,CAAC;SAC1D;QAED,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,WAAW,CAAc,CAAC;QACtD,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,WAAW,CAAc,CAAC;QACtD,MAAM,IAAI,GAAc;YACpB,CAAC,EAAE,KAAK;YACR,CAAC,EAAE,KAAK;YACR,CAAC,EAAE,KAAK;SACX,CAAC;QACF,SAAS,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;KAC3B;IAED,kBAAkB;IAClB,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,WAAW,GAAG,IAAA,+BAAe,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAc,CAAC;IAClD,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAc,CAAC;IAClD,MAAM,QAAQ,GAAc;QACxB,CAAC,EAAE,WAAW;QACd,CAAC,EAAE,OAAO;QACV,CAAC,EAAE,OAAO;KACb,CAAC;IAEF,OAAO,QAAQ,CAAC;AACpB,CAAC;AA3DD,4DA2DC"}

package/dist/lib/minimal-string/resolve-with-simple-bdd.js

@@ -1,13 +1,13 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.resolveWithSimpleBdd = void 0;
-var util_1 = require("../util");
+const util_1 = require("../util");
 function resolveWithSimpleBdd(simpleBdd, fns, input) {
-    var currentNode = simpleBdd;
-    var currentLevel = simpleBdd.l;
+    let currentNode = simpleBdd;
+    let currentLevel = simpleBdd.l;
     while (true) {
-        var booleanResult = fns[currentLevel](input);
-        var branchKey = (0, util_1.booleanToBooleanString)(booleanResult);
+        const booleanResult = fns[currentLevel](input);
+        const branchKey = (0, util_1.booleanToBooleanString)(booleanResult);
         currentNode = currentNode[branchKey];
         if (typeof currentNode === 'number' || typeof currentNode === 'string') {
             return currentNode;

package/dist/lib/minimal-string/resolve-with-simple-bdd.js.map

@@ -1 +1 @@
-{"version":3,"file":"resolve-with-simple-bdd.js","sourceRoot":"","sources":["../../../src/minimal-string/resolve-with-simple-bdd.ts"],"names":[],"mappings":";;;AAKA,gCAAiD;AAEjD,SAAgB,oBAAoB,CAChC,SAAoB,EACpB,GAAsB,EACtB,KAAU;IAEV,IAAI,WAAW,GAAkC,SAAS,CAAC;IAC3D,IAAI,YAAY,GAAW,SAAS,CAAC,CAAC,CAAC;IACvC,OAAO,IAAI,EAAE;QACT,IAAM,aAAa,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/C,IAAM,SAAS,GAAG,IAAA,6BAAsB,EAAC,aAAa,CAAC,CAAC;QACxD,WAAW,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;QACrC,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,OAAO,WAAW,KAAK,QAAQ,EAAE;YACpE,OAAO,WAAkB,CAAC;SAC7B;aAAM;YACH,YAAY,GAAG,WAAW,CAAC,CAAC,CAAC;SAChC;KACJ;AACL,CAAC;AAjBD,oDAiBC"}
+{"version":3,"file":"resolve-with-simple-bdd.js","sourceRoot":"","sources":["../../../src/minimal-string/resolve-with-simple-bdd.ts"],"names":[],"mappings":";;;AAKA,kCAAiD;AAEjD,SAAgB,oBAAoB,CAChC,SAAoB,EACpB,GAAsB,EACtB,KAAU;IAEV,IAAI,WAAW,GAAkC,SAAS,CAAC;IAC3D,IAAI,YAAY,GAAW,SAAS,CAAC,CAAC,CAAC;IACvC,OAAO,IAAI,EAAE;QACT,MAAM,aAAa,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,SAAS,GAAG,IAAA,6BAAsB,EAAC,aAAa,CAAC,CAAC;QACxD,WAAW,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;QACrC,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,OAAO,WAAW,KAAK,QAAQ,EAAE;YACpE,OAAO,WAAkB,CAAC;SAC7B;aAAM;YACH,YAAY,GAAG,WAAW,CAAC,CAAC,CAAC;SAChC;KACJ;AACL,CAAC;AAjBD,oDAiBC"}

package/dist/lib/minimal-string/string-format.js

@@ -31,17 +31,17 @@ Rules for the string:
 // we use this because 39 is the quotes which causes problems
 exports.CHAR_CODE_OFFSET = 40; // String.fromCharCode(33) === ')'
 function getCharOfLevel(level) {
-    var charCode = exports.CHAR_CODE_OFFSET + level;
+    const charCode = exports.CHAR_CODE_OFFSET + level;
     return String.fromCharCode(charCode);
 }
 exports.getCharOfLevel = getCharOfLevel;
 function getNumberOfChar(char) {
-    var charCode = char.charCodeAt(0);
+    const charCode = char.charCodeAt(0);
     return charCode - exports.CHAR_CODE_OFFSET;
 }
 exports.getNumberOfChar = getNumberOfChar;
 function getCharOfValue(value) {
-    var charCode = exports.CHAR_CODE_OFFSET + value;
+    const charCode = exports.CHAR_CODE_OFFSET + value;
     return String.fromCharCode(charCode);
 }
 exports.getCharOfValue = getCharOfValue;
@@ -51,9 +51,9 @@ function getNextCharId(lastCode) {
     if (lastCode >= 128 && lastCode <= 160) {
         lastCode = 161;
     }
-    var char = String.fromCharCode(lastCode);
+    const char = String.fromCharCode(lastCode);
     return {
-        char: char,
+        char,
         nextCode: lastCode + 1
     };
 }

package/dist/lib/minimal-string/string-format.js.map

@@ -1 +1 @@
-{"version":3,"file":"string-format.js","sourceRoot":"","sources":["../../../src/minimal-string/string-format.ts"],"names":[],"mappings":";AAAA;;;;;;;EAOE;;;AAEF;;;;;;;;;;;;;;;;;;EAkBE;AAEF,6DAA6D;AAChD,QAAA,gBAAgB,GAAG,EAAE,CAAC,CAAC,kCAAkC;AAGtE,SAAgB,cAAc,CAAC,KAAa;IACxC,IAAM,QAAQ,GAAG,wBAAgB,GAAG,KAAK,CAAC;IAC1C,OAAO,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;AACzC,CAAC;AAHD,wCAGC;AAED,SAAgB,eAAe,CAAC,IAAY;IACxC,IAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACpC,OAAO,QAAQ,GAAG,wBAAgB,CAAC;AACvC,CAAC;AAHD,0CAGC;AAED,SAAgB,cAAc,CAAC,KAAa;IACxC,IAAM,QAAQ,GAAG,wBAAgB,GAAG,KAAK,CAAC;IAC1C,OAAO,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;AACzC,CAAC;AAHD,wCAGC;AAGY,QAAA,sBAAsB,GAAG,EAAE,CAAC,CAAC,kCAAkC;AAE5E,SAAgB,aAAa,CAAC,QAAgB;IAK1C,6CAA6C;IAC7C,IAAI,QAAQ,IAAI,GAAG,IAAI,QAAQ,IAAI,GAAG,EAAE;QACpC,QAAQ,GAAG,GAAG,CAAC;KAClB;IAED,IAAM,IAAI,GAAG,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;IAC3C,OAAO;QACH,IAAI,MAAA;QACJ,QAAQ,EAAE,QAAQ,GAAG,CAAC;KACzB,CAAC;AACN,CAAC;AAfD,sCAeC"}
+{"version":3,"file":"string-format.js","sourceRoot":"","sources":["../../../src/minimal-string/string-format.ts"],"names":[],"mappings":";AAAA;;;;;;;EAOE;;;AAEF;;;;;;;;;;;;;;;;;;EAkBE;AAEF,6DAA6D;AAChD,QAAA,gBAAgB,GAAG,EAAE,CAAC,CAAC,kCAAkC;AAGtE,SAAgB,cAAc,CAAC,KAAa;IACxC,MAAM,QAAQ,GAAG,wBAAgB,GAAG,KAAK,CAAC;IAC1C,OAAO,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;AACzC,CAAC;AAHD,wCAGC;AAED,SAAgB,eAAe,CAAC,IAAY;IACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACpC,OAAO,QAAQ,GAAG,wBAAgB,CAAC;AACvC,CAAC;AAHD,0CAGC;AAED,SAAgB,cAAc,CAAC,KAAa;IACxC,MAAM,QAAQ,GAAG,wBAAgB,GAAG,KAAK,CAAC;IAC1C,OAAO,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;AACzC,CAAC;AAHD,wCAGC;AAGY,QAAA,sBAAsB,GAAG,EAAE,CAAC,CAAC,kCAAkC;AAE5E,SAAgB,aAAa,CAAC,QAAgB;IAK1C,6CAA6C;IAC7C,IAAI,QAAQ,IAAI,GAAG,IAAI,QAAQ,IAAI,GAAG,EAAE;QACpC,QAAQ,GAAG,GAAG,CAAC;KAClB;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;IAC3C,OAAO;QACH,IAAI;QACJ,QAAQ,EAAE,QAAQ,GAAG,CAAC;KACzB,CAAC;AACN,CAAC;AAfD,sCAeC"}

package/dist/lib/optimize-brute-force.d.ts

@@ -4,12 +4,12 @@ import { RootNode } from './root-node';
  * a function that is called each time
  * a 'better' bdd was found
  */
-export declare type OptmisiationCallback = (bdd: OptimisationResult) => void;
+export type OptmisiationCallback = (bdd: OptimisationResult) => void;
 export interface OptimisationResult {
     bdd: RootNode;
     truthTable: TruthTable;
 }
-export declare type CompareResultsFunction = (a: RootNode, b: RootNode) => RootNode | Promise<RootNode>;
+export type CompareResultsFunction = (a: RootNode, b: RootNode) => RootNode | Promise<RootNode>;
 /**
  * returns the bdd with less nodes
  */
@@ -28,10 +28,10 @@ export interface OptimizeBruteForceInput {
  * and checking the resulting bdd
  */
 export declare function optimizeBruteForce({ truthTable, iterations, onBetterBdd, compareResults, afterBddCreation, log }: OptimizeBruteForceInput): Promise<OptimisationResult>;
-export declare type BooleanFunctionReorderMapping = {
+export type BooleanFunctionReorderMapping = {
     [indexAfter: number]: number;
 };
-export declare type BooleanFunctionReorderMappingReverse = {
+export type BooleanFunctionReorderMappingReverse = {
     [indexBefore: number]: number;
 };
 export declare function shuffleBooleanOrdering(truthTable: TruthTable): {