rsdd_bg.wasm.d.ts

/* tslint:disable */
/* eslint-disable */
export const memory: WebAssembly.Memory;
export function vtree(a: number, b: number, c: number, d: number): void;
export function bdd(a: number, b: number, c: number): void;
export function bdd_with_var_order(a: number, b: number, c: number, d: number, e: number): void;
export function sdd(a: number, b: number, c: number, d: number): void;
export function demo_model_count_sdd(a: number, b: number, c: number): void;
export function __wbindgen_malloc(a: number, b: number): number;
export function __wbindgen_realloc(a: number, b: number, c: number, d: number): number;
export function __wbindgen_add_to_stack_pointer(a: number): number;
export function __wbindgen_free(a: number, b: number, c: number): void;