Cudd_EstimateCofactorSimple

Function Cudd_EstimateCofactorSimple 

Source
pub unsafe extern "C" fn Cudd_EstimateCofactorSimple(
    node: *mut DdNode,
    i: c_int,
) -> c_int