SCIP
Solving Constraint Integer Programs
cons_integral.c File Reference
Detailed Description
constraint handler for the integrality constraint
Definition in file cons_integral.c.
#include "scip/cons_integral.h"#include "scip/pub_cons.h"#include "scip/pub_message.h"#include "scip/pub_var.h"#include "scip/scip_branch.h"#include "scip/scip_cons.h"#include "scip/scip_lp.h"#include "scip/scip_message.h"#include "scip/scip_numerics.h"#include "scip/scip_prob.h"#include "scip/scip_probing.h"#include "scip/scip_sol.h"#include <string.h>Go to the source code of this file.
Macros | |
| #define | CONSHDLR_NAME "integral" |
| #define | CONSHDLR_DESC "integrality constraint" |
| #define | CONSHDLR_ENFOPRIORITY 0 |
| #define | CONSHDLR_CHECKPRIORITY 0 |
| #define | CONSHDLR_EAGERFREQ -1 |
| #define | CONSHDLR_NEEDSCONS FALSE |
| #define | consCopyIntegral NULL |
| #define | consEnfopsIntegral NULL |
Functions | |
| static | SCIP_DECL_CONSHDLRCOPY (conshdlrCopyIntegral) |
| static | SCIP_DECL_CONSENFOLP (consEnfolpIntegral) |
| static | SCIP_DECL_CONSENFORELAX (consEnforelaxIntegral) |
| static | SCIP_DECL_CONSCHECK (consCheckIntegral) |
| static | SCIP_DECL_CONSLOCK (consLockIntegral) |
| static | SCIP_DECL_CONSGETDIVEBDCHGS (consGetDiveBdChgsIntegral) |
| SCIP_RETCODE | SCIPincludeConshdlrIntegral (SCIP *scip) |
Macro Definition Documentation
◆ CONSHDLR_NAME
| #define CONSHDLR_NAME "integral" |
Definition at line 39 of file cons_integral.c.
Referenced by SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSHDLRCOPY(), and SCIPincludeConshdlrIntegral().
◆ CONSHDLR_DESC
| #define CONSHDLR_DESC "integrality constraint" |
Definition at line 40 of file cons_integral.c.
Referenced by SCIPincludeConshdlrIntegral().
◆ CONSHDLR_ENFOPRIORITY
| #define CONSHDLR_ENFOPRIORITY 0 |
priority of the constraint handler for constraint enforcing
Definition at line 41 of file cons_integral.c.
Referenced by SCIPincludeConshdlrIntegral().
◆ CONSHDLR_CHECKPRIORITY
| #define CONSHDLR_CHECKPRIORITY 0 |
priority of the constraint handler for checking feasibility
Definition at line 42 of file cons_integral.c.
Referenced by SCIPincludeConshdlrIntegral().
◆ CONSHDLR_EAGERFREQ
| #define CONSHDLR_EAGERFREQ -1 |
frequency for using all instead of only the useful constraints in separation, propagation and enforcement, -1 for no eager evaluations, 0 for first only
Definition at line 43 of file cons_integral.c.
Referenced by SCIPincludeConshdlrIntegral().
◆ CONSHDLR_NEEDSCONS
| #define CONSHDLR_NEEDSCONS FALSE |
should the constraint handler be skipped, if no constraints are available?
Definition at line 46 of file cons_integral.c.
Referenced by SCIPincludeConshdlrIntegral().
◆ consCopyIntegral
| #define consCopyIntegral NULL |
Definition at line 68 of file cons_integral.c.
Referenced by SCIPincludeConshdlrIntegral().
◆ consEnfopsIntegral
| #define consEnfopsIntegral NULL |
Definition at line 70 of file cons_integral.c.
Referenced by SCIPincludeConshdlrIntegral().
Function Documentation
◆ SCIP_DECL_CONSHDLRCOPY()
|
static |
copy method for constraint handler plugins (called when SCIP copies plugins)
Definition at line 54 of file cons_integral.c.
References CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIPconshdlrGetName(), SCIPincludeConshdlrIntegral(), and TRUE.
◆ SCIP_DECL_CONSENFOLP()
|
static |
constraint enforcing method of constraint handler for LP solutions
Definition at line 74 of file cons_integral.c.
References CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_DECL_CONSENFORELAX(), SCIP_DIDNOTRUN, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_LPSOLSTAT_UNBOUNDEDRAY, SCIP_OKAY, SCIPbranchLP(), SCIPconshdlrGetName(), SCIPdebugMsg, SCIPgetLPSolstat(), and SCIPgetNLPBranchCands().
◆ SCIP_DECL_CONSENFORELAX()
|
static |
constraint enforcing method of constraint handler for relaxation solutions
Definition at line 109 of file cons_integral.c.
References CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_CUTOFF, SCIP_DECL_CONSCHECK(), SCIP_DIDNOTRUN, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, SCIPaddExternBranchCand(), SCIPbranchExtern(), SCIPconshdlrGetName(), SCIPdebugMsg, SCIPgetSolVal(), SCIPgetVarsData(), SCIPisFeasEQ(), SCIPisFeasIntegral(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbLocal(), and SCIPvarIsIntegral().
Referenced by SCIP_DECL_CONSENFOLP().
◆ SCIP_DECL_CONSCHECK()
|
static |
feasibility check method of constraint handler for integral solutions
Definition at line 171 of file cons_integral.c.
References CONSHDLR_NAME, EPSFRAC, NULL, SCIP_CALL, SCIP_DECL_CONSLOCK(), SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, SCIP_Real, SCIPconshdlrGetName(), SCIPdebugMsg, SCIPfeastol(), SCIPgetSolVal(), SCIPgetSolVarsData(), SCIPinfoMessage(), SCIPisFeasIntegral(), SCIPupdateSolIntegralityViolation(), and SCIPvarGetName().
Referenced by SCIP_DECL_CONSENFORELAX().
◆ SCIP_DECL_CONSLOCK()
|
static |
variable rounding lock method of constraint handler
Definition at line 251 of file cons_integral.c.
References SCIP_DECL_CONSGETDIVEBDCHGS(), and SCIP_OKAY.
Referenced by SCIP_DECL_CONSCHECK().
◆ SCIP_DECL_CONSGETDIVEBDCHGS()
|
static |
constraint handler method to suggest dive bound changes during the generic diving algorithm
Definition at line 258 of file cons_integral.c.
References CONSHDLR_NAME, FALSE, NULL, SCIP_Bool, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_CALL, SCIP_DIVETYPE_INTEGRALITY, SCIP_OKAY, SCIP_Real, SCIP_REAL_MIN, SCIPaddDiveBoundChange(), SCIPceil(), SCIPconshdlrGetName(), SCIPdebugMsg, SCIPfloor(), SCIPgetDivesetScore(), SCIPgetSolVal(), SCIPgetSolVarsData(), SCIPincludeConshdlrIntegral(), SCIPisFeasIntegral(), SCIPisGE(), SCIPisLE(), SCIPvarGetLbLocal(), SCIPvarGetUbLocal(), and TRUE.
Referenced by SCIP_DECL_CONSLOCK().