binary-decision-diagram/src/types.ts

A library to create, minimize and optimize binary decision diagrams

import type { LeafNode } from './leaf-node.js';
import type { InternalNode } from './internal-node.js';
import type { RootNode } from './root-node.js';

export type NodeType = 'LeafNode' | 'InternalNode' | 'RootNode';

export type NonLeafNode = InternalNode | RootNode;
export type NonRootNode = InternalNode | LeafNode;

// maps state-set to value
export type TruthTable = Map<string, number>;

export type BooleanString = '0' | '1';

export type ResolverFunction<T> = (i: T) => boolean;

export type ResolverFunctions<T = any> = {
    [k: number]: ResolverFunction<T>;
};




// 1 char which is the value
export type SimpleBddLeafNode = number;

/**
 * a simple bdd is a json-representation
 * which could be parsed from the minimal string
 * use this to have great performance
 * when resolving values
 */
export type SimpleBdd = {
    0: SimpleBdd | SimpleBddLeafNode; // branch-0
    1: SimpleBdd | SimpleBddLeafNode; // branch-1
    l: number; // level of the boolean function
};