pub unsafe extern "C" fn SCIPcheckBendersSubproblemOptimality(
scip: *mut SCIP,
benders: *mut SCIP_BENDERS,
sol: *mut SCIP_SOL,
probnumber: c_int,
optimal: *mut c_uint,
) -> SCIP_RETCODEExpand description
checks the optimality of a Benders’ decomposition subproblem by comparing the objective function value against the value of the corresponding auxiliary variable
@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 SCIP is in one of the following stages: - \ref SCIP_STAGE_PRESOLVING - \ref SCIP_STAGE_SOLVING - \ref SCIP_STAGE_SOLVED
@pre This method can be called if requested subproblem is in one of the following stages: - \ref SCIP_STAGE_SOLVING - \ref SCIP_STAGE_SOLVED