Function SCIPsolveBendersSubproblems 

pub unsafe extern "C" fn SCIPsolveBendersSubproblems(
    scip: *mut SCIP,
    benders: *mut SCIP_BENDERS,
    sol: *mut SCIP_SOL,
    result: *mut SCIP_RESULT,
    infeasible: *mut c_uint,
    auxviol: *mut c_uint,
    type_: SCIP_BENDERSENFOTYPE,
    checkint: c_uint,
) -> SCIP_RETCODE

calls the exec method of Benders’ decomposition to solve the subproblems

The checkint flag indicates whether integer feasibility can be assumed. If it is not assumed, i.e. checkint == FALSE, then only the convex relaxations of the subproblems are solved. If integer feasibility is assumed, i.e. checkint == TRUE, then the convex relaxations and the full CIP are solved to generate Benders’ cuts and check solution feasibility.

@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_INITPRESOLVE - \ref SCIP_STAGE_PRESOLVING - \ref SCIP_STAGE_EXITPRESOLVE - \ref SCIP_STAGE_PRESOLVED - \ref SCIP_STAGE_INITSOLVE - \ref SCIP_STAGE_SOLVING - \ref SCIP_STAGE_SOLVED