SCIPvalidateSolveExact

scip_sys

Function SCIPvalidateSolveExact 

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

validate the result of an exact 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, +/-inf should be passed as reference bounds depending on the objective sense of the original problem.