pub unsafe extern "C" fn SCIPchgVarUbProbing(
scip: *mut SCIP,
var: *mut SCIP_VAR,
newbound: f64,
) -> SCIP_RETCODEExpand description
injects a change of variable’s upper bound into current probing node; the same can also be achieved with a call to SCIPchgVarUb(), but in this case, the bound change would be treated like a deduction instead of a branching decision
@return \ref SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See \ref SCIP_Retcode “SCIP_RETCODE” for a complete list of error codes.
@pre This method can be called if @p scip is in one of the following stages: - \ref SCIP_STAGE_PRESOLVING - \ref SCIP_STAGE_SOLVING