SCIPvalidateSolve

scip_sys

Function SCIPvalidateSolve 

Source 
pub unsafe extern "C" fn SCIPvalidateSolve(
    scip: *mut SCIP,
    primalreference: f64,
    dualreference: f64,
    reftol: f64,
    quiet: c_uint,
    feasible: *mut c_uint,
    primalboundcheck: *mut c_uint,
    dualboundcheck: *mut c_uint,
) -> SCIP_RETCODE
Expand description

validate the result of the solve

the validation includes

  • checking the feasibility of the incumbent solution in the original problem (using SCIPcheckSolOrig())

  • checking if the objective bounds computed by SCIP agree with external primal and dual reference bounds.

All external reference bounds the original problem space and the original objective sense.

For infeasible problems, +/-SCIPinfinity() should be passed as reference bounds depending on the objective sense of the original problem.