Scippy

SCIP

Solving Constraint Integer Programs

Macros | Functions
cons_integral.c File Reference

Detailed Description

constraint handler for the integrality constraint

Author
Tobias Achterberg

Definition in file cons_integral.c.

#include <assert.h>
#include <string.h>
#include <limits.h>
#include "scip/cons_integral.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 30 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 31 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 32 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 33 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 34 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 37 of file cons_integral.c.

Referenced by SCIPincludeConshdlrIntegral().

◆ consCopyIntegral

#define consCopyIntegral   NULL

Definition at line 59 of file cons_integral.c.

Referenced by SCIPincludeConshdlrIntegral().

◆ consEnfopsIntegral

#define consEnfopsIntegral   NULL

Definition at line 61 of file cons_integral.c.

Referenced by SCIPincludeConshdlrIntegral().

Function Documentation

◆ SCIP_DECL_CONSHDLRCOPY()

static SCIP_DECL_CONSHDLRCOPY ( conshdlrCopyIntegral  )
static

copy method for constraint handler plugins (called when SCIP copies plugins)

Definition at line 45 of file cons_integral.c.

References CONSHDLR_NAME, SCIP_CALL, SCIP_OKAY, SCIPconshdlrGetName(), SCIPincludeConshdlrIntegral(), and TRUE.

◆ SCIP_DECL_CONSENFOLP()

static SCIP_DECL_CONSENFOLP ( consEnfolpIntegral  )
static

constraint enforcing method of constraint handler for LP solutions

Definition at line 65 of file cons_integral.c.

References CONSHDLR_NAME, 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 SCIP_DECL_CONSENFORELAX ( consEnforelaxIntegral  )
static

constraint enforcing method of constraint handler for relaxation solutions

Definition at line 100 of file cons_integral.c.

References CONSHDLR_NAME, 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 SCIP_DECL_CONSCHECK ( consCheckIntegral  )
static

feasibility check method of constraint handler for integral solutions

Definition at line 162 of file cons_integral.c.

References CONSHDLR_NAME, EPSFRAC, 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 SCIP_DECL_CONSLOCK ( consLockIntegral  )
static

variable rounding lock method of constraint handler

Definition at line 242 of file cons_integral.c.

References SCIP_DECL_CONSGETDIVEBDCHGS(), and SCIP_OKAY.

Referenced by SCIP_DECL_CONSCHECK().

◆ SCIP_DECL_CONSGETDIVEBDCHGS()

static SCIP_DECL_CONSGETDIVEBDCHGS ( consGetDiveBdChgsIntegral  )
static

constraint handler method to suggest dive bound changes during the generic diving algorithm

Definition at line 249 of file cons_integral.c.

References CONSHDLR_NAME, FALSE, 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().