pub unsafe extern "C" fn SCIPisPresolveFinished(
    scip: *mut SCIP
) -> c_uint
Expand description

returns whether the presolving process would be finished given no more presolving reductions are found in this presolving round

Checks whether the number of presolving rounds is not exceeded and the presolving reductions found in the current presolving round suffice to trigger another presolving round.

@note if subsequent presolvers find more reductions, presolving might continue even if the method returns FALSE @note does not check whether infeasibility or unboundedness was already detected in presolving (which would result in presolving being stopped although the method returns TRUE)

@return Returns TRUE if presolving is finished if no further reductions are detected