binary-decision-diagram/dist/cjs/src/leaf-node.js

A library to create, minimize and optimize binary decision diagrams

"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.LeafNode = void 0;
const parents_js_1 = require("./parents.js");
const abstract_node_js_1 = require("./abstract-node.js");
const util_js_1 = require("./util.js");
class LeafNode extends abstract_node_js_1.AbstractNode {
    value;
    parents = new parents_js_1.Parents(this);
    constructor(level, rootNode, value, parent) {
        super(level, rootNode, 'LeafNode');
        this.value = value;
        this.parents.add(parent);
    }
    removeIfValueEquals(value) {
        this.ensureNotDeleted();
        if (this.value !== value) {
            return false;
        }
        const parents = this.parents.getAll();
        parents.forEach(parent => {
            const branchKey = parent.branches.getKeyOfNode(this);
            const otherBranch = parent.branches.getBranch((0, util_js_1.oppositeBoolean)(branchKey));
            this.parents.remove(parent);
            parent.branches.setBranch(branchKey, otherBranch);
            if (parent.isInternalNode()) {
                parent.applyReductionRule();
            }
        });
        return true;
    }
}
exports.LeafNode = LeafNode;
//# sourceMappingURL=leaf-node.js.map