binary-decision-diagram
Version:
A library to create, minimize and optimize binary decision diagrams
58 lines • 2.39 kB
JavaScript
"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.minimalStringToSimpleBdd = void 0;
const util_js_1 = require("../util.js");
const string_format_js_1 = require("./string-format.js");
function minimalStringToSimpleBdd(str) {
const nodesById = new Map();
// parse leaf nodes
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_js_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_js_1.getNumberOfChar)(chunk.charAt(1));
nodesById.set(id, value);
}
// parse internal nodes
const internalNodeChars = str.substring(lastLeafNodeChar, str.length - 3);
const internalNodeChunks = (0, util_js_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_js_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);
}
const node0 = nodesById.get(idOf0Branch);
const node1 = nodesById.get(idOf1Branch);
const node = {
l: level, // level is first for prettier json output
0: node0,
1: node1
};
nodesById.set(id, node);
}
// parse root node
const last3 = str.slice(-3);
const idOf0 = last3.charAt(0);
const idOf1 = last3.charAt(1);
const levelOfRoot = (0, string_format_js_1.getNumberOfChar)(last3.charAt(2));
const nodeOf0 = nodesById.get(idOf0);
const nodeOf1 = nodesById.get(idOf1);
const rootNode = {
l: levelOfRoot,
0: nodeOf0,
1: nodeOf1,
};
return rootNode;
}
exports.minimalStringToSimpleBdd = minimalStringToSimpleBdd;
//# sourceMappingURL=minimal-string-to-simple-bdd.js.map