pub unsafe extern "C" fn SCIPapplyProbingVar(
scip: *mut SCIP,
vars: *mut *mut SCIP_VAR,
nvars: c_int,
probingpos: c_int,
boundtype: SCIP_BOUNDTYPE,
bound: f64,
maxproprounds: c_int,
impllbs: *mut f64,
implubs: *mut f64,
proplbs: *mut f64,
propubs: *mut f64,
cutoff: *mut c_uint,
) -> SCIP_RETCODEExpand description
applies and evaluates probing of a single variable in the given direction and bound