bdd.d.ts

export var $$eval: (bdd : any, vars : any) => any ;
export var getId: (bdd : any) => any ;
export var initSize_1: any ;
export var nodeC: any ;
export var sz_1: any ;
export var htab: any ;
export var n_items: any ;
export var hashVal: (x : any, y : any, v : any) => any ;
export var resize: (newSize : any) => any ;
export var insert:
  (idl : any, idh : any, v : any, ind : any, bucket : any, newNode : any) =>
  any ;
export var resetUnique: (param : any) => any ;
export var mkNode: (low : any, v : any, high : any) => any ;
export var cmpVar: (x : any, y : any) => any ;
export var zero: any ;
export var one: any ;
export var mkVar: (x : any) => any ;
export var cacheSize: any ;
export var andslot1: any ;
export var andslot2: any ;
export var andslot3: any ;
export var xorslot1: any ;
export var xorslot2: any ;
export var xorslot3: any ;
export var notslot1: any ;
export var notslot2: any ;
export var hash: (x : any, y : any) => any ;
export var not: (n : any) => any ;
export var and2: (n1 : any, n2 : any) => any ;
export var xor: (n1 : any, n2 : any) => any ;
export var hwb: (n : any) => any ;
export var seed: any ;
export var random: (param : any) => any ;
export var random_vars: (n : any) => any ;
export var bool_equal: (a : any, b : any) => any ;
export var test_hwb: (bdd : any, vars : any) => any ;
export var main: (param : any) => any ;