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