Cudd_IsInHook

Function Cudd_IsInHook 

Source
pub unsafe extern "C" fn Cudd_IsInHook(
    dd: *mut DdManager,
    f: DD_HOOK_FUNCTION,
    hook_type: Cudd_HookType,
) -> c_int