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

A library to create, minimize and optimize binary decision diagrams

/**
 * @recursive
 */
export function bddToSimpleBdd(bdd) {
    return nodeToSimpleBddNode(bdd);
}
/**
 * @recursive
 */
export 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),
    };
}
//# sourceMappingURL=bdd-to-simple-bdd.js.map