binary-decision-diagram/dist/cjs/src/minimal-string/bdd-to-minimal-string.d.ts

A library to create, minimize and optimize binary decision diagrams

import { RootNode } from '../root-node.js';
import { AbstractNode } from '../abstract-node.js';
export declare function bddToMinimalString(bdd: RootNode): string;
export declare function nodeToString(node: AbstractNode, idByNode: Map<AbstractNode, string>, lastCode: number): {
    id: string;
    str: string;
    nextCode: number;
};