Cudd_Random

Function Cudd_Random 

Source
pub unsafe extern "C" fn Cudd_Random(dd: *mut DdManager) -> i32