pub unsafe extern "C" fn SCIPupdateDivesetStats(
    scip: *mut SCIP,
    diveset: *mut SCIP_DIVESET,
    nprobingnodes: c_int,
    nbacktracks: c_int,
    nsolsfound: c_longlong,
    nbestsolsfound: c_longlong,
    nconflictsfound: c_longlong,
    leavewassol: c_uint,
    divecontext: SCIP_DIVECONTEXT
)
Expand description

update diveset statistics and global diveset statistics