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) |
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
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.
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 48429 of file scip.c.
References EPSP, FALSE, MAX, 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().