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