Function cudd_sys::Cudd_Init [−] [src]

pub unsafe extern "C" fn Cudd_Init(
    numVars: c_uint, 
    numVarsZ: c_uint, 
    numSlots: c_uint, 
    cacheSize: c_uint, 
    maxMemory: c_ulong
) -> *mut DdManager