binary-decision-diagram/dist/cjs/src/minimal-string/bdd-to-simple-bdd.js

A library to create, minimize and optimize binary decision diagrams

"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.nodeToSimpleBddNode = exports.bddToSimpleBdd = void 0;
/**
 * @recursive
 */
function bddToSimpleBdd(bdd) {
    return nodeToSimpleBddNode(bdd);
}
exports.bddToSimpleBdd = bddToSimpleBdd;
/**
 * @recursive
 */
function nodeToSimpleBddNode(node) {
    const branch0 = node.branches.getBranch('0');
    const branch1 = node.branches.getBranch('1');
    return {
        l: node.level,
        0: branch0.isLeafNode() ? branch0.asLeafNode().value : nodeToSimpleBddNode(branch0),
        1: branch1.isLeafNode() ? branch1.asLeafNode().value : nodeToSimpleBddNode(branch1),
    };
}
exports.nodeToSimpleBddNode = nodeToSimpleBddNode;
//# sourceMappingURL=bdd-to-simple-bdd.js.map