Function SCIPseparateSol 

pub unsafe extern "C" fn SCIPseparateSol(
    scip: *mut SCIP,
    sol: *mut SCIP_SOL,
    pretendroot: c_uint,
    allowlocal: c_uint,
    onlydelayed: c_uint,
    delayed: *mut c_uint,
    cutoff: *mut c_uint,
) -> SCIP_RETCODE

separates the given primal solution or the current LP solution by calling the separators and constraint handlers’ separation methods; the generated cuts are stored in the separation storage and can be accessed with the methods SCIPgetCuts() and SCIPgetNCuts(); after evaluating the cuts, you have to call SCIPclearCuts() in order to remove the cuts from the separation storage; it is possible to call SCIPseparateSol() multiple times with different solutions and evaluate the found cuts afterwards

@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_SOLVING