scip_validation.h
Go to the documentation of this file.
29 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
52 * - checking the feasibility of the incumbent solution in the original problem (using SCIPcheckSolOrig())
54 * - checking if the objective bounds computed by SCIP agree with external primal and dual reference bounds.
58 * For infeasible problems, +/-SCIPinfinity() should be passed as reference bounds depending on the objective sense
64 SCIP_Real primalreference, /**< external primal reference value for the problem, or SCIP_UNKNOWN */
68 SCIP_Bool* feasible, /**< pointer to store if the best solution is feasible in the original problem,
70 SCIP_Bool* primalboundcheck, /**< pointer to store if the primal bound respects the given dual reference
72 SCIP_Bool* dualboundcheck /**< pointer to store if the dual bound respects the given primal reference
SCIP_EXPORT 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)
Definition: scip_validation.c:60
Definition: struct_scip.h:59
type definitions for return codes for SCIP methods
type definitions for SCIP's main datastructure
common defines and data types used in all packages of SCIP
Definition: objbenders.h:33