Detailed Description
methods for validating the correctness of a solving process
Functions | |
SCIP_RETCODE | SCIPvalidateSolve (SCIP *scip, SCIP_Real primalreference, SCIP_Real dualreference, SCIP_Real reftol, SCIP_Bool quiet, SCIP_Bool *feasible, SCIP_Bool *primalboundcheck, SCIP_Bool *dualboundcheck) |
Function Documentation
◆ SCIPvalidateSolve()
SCIP_RETCODE SCIPvalidateSolve | ( | SCIP * | scip, |
SCIP_Real | primalreference, | ||
SCIP_Real | dualreference, | ||
SCIP_Real | reftol, | ||
SCIP_Bool | quiet, | ||
SCIP_Bool * | feasible, | ||
SCIP_Bool * | primalboundcheck, | ||
SCIP_Bool * | dualboundcheck | ||
) |
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.
- Parameters
-
scip SCIP data structure primalreference external primal reference value for the problem, or SCIP_UNKNOWN dualreference external dual reference value for the problem, or SCIP_UNKNOWN reftol relative tolerance for acceptable violation of reference values quiet TRUE if no status line should be printed feasible pointer to store if the best solution is feasible in the original problem, or NULL primalboundcheck pointer to store if the primal bound respects the given dual reference value, or NULL dualboundcheck pointer to store if the dual bound respects the given primal reference value, or NULL
Definition at line 69 of file scip_validation.c.
References EPSP, FALSE, MAX, NULL, SCIP_Bool, SCIP_CALL, SCIP_OBJSENSE_MAXIMIZE, SCIP_OBJSENSE_MINIMIZE, SCIP_OKAY, SCIP_Real, SCIP_STAGE_PROBLEM, SCIP_UNKNOWN, SCIPcheckSolOrig(), SCIPchgFeastol(), SCIPfeastol(), SCIPgetBestSol(), SCIPgetDualbound(), SCIPgetNSols(), SCIPgetObjsense(), SCIPgetPrimalbound(), SCIPgetRealParam(), SCIPgetStage(), SCIPinfoMessage(), SCIPisEQ(), SCIPisInfinity(), SCIPrelDiff(), and TRUE.
Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPprocessShellArguments().