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_CONSCHECK (consCheckIntegral)
 
static SCIP_DECL_CONSLOCK (consLockIntegral)
 
static SCIP_DECL_CONSGETDIVEBDCHGS (consGetDiveBdChgsIntegral)
 
SCIP_RETCODE SCIPincludeConshdlrIntegral (SCIP *scip)
 

Macro Definition Documentation

#define CONSHDLR_NAME   "integral"

Definition at line 30 of file cons_integral.c.

Referenced by SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSHDLRCOPY(), and SCIPincludeConshdlrIntegral().

#define CONSHDLR_DESC   "integrality constraint"

Definition at line 31 of file cons_integral.c.

Referenced by SCIPincludeConshdlrIntegral().

#define CONSHDLR_ENFOPRIORITY   0

priority of the constraint handler for constraint enforcing

Definition at line 32 of file cons_integral.c.

Referenced by SCIPincludeConshdlrIntegral().

#define CONSHDLR_CHECKPRIORITY   0

priority of the constraint handler for checking feasibility

Definition at line 33 of file cons_integral.c.

Referenced by SCIPincludeConshdlrIntegral().

#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().

#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().

#define consCopyIntegral   NULL

Definition at line 59 of file cons_integral.c.

Referenced by SCIPincludeConshdlrIntegral().

#define consEnfopsIntegral   NULL

Definition at line 61 of file cons_integral.c.

Referenced by SCIPincludeConshdlrIntegral().

Function Documentation

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, NULL, SCIP_CALL, SCIP_OKAY, SCIPconshdlrGetName(), SCIPincludeConshdlrIntegral(), and TRUE.

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, NULL, SCIP_CALL, SCIP_DECL_CONSCHECK(), SCIP_DIDNOTRUN, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_LPSOLSTAT_UNBOUNDEDRAY, SCIP_OKAY, SCIPbranchLP(), SCIPconshdlrGetName(), SCIPdebugMessage, SCIPgetLPSolstat(), and SCIPgetNLPBranchCands().

static SCIP_DECL_CONSCHECK ( consCheckIntegral  )
static

feasibility check method of constraint handler for integral solutions

Definition at line 101 of file cons_integral.c.

References CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_DECL_CONSLOCK(), SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, SCIP_Real, SCIPconshdlrGetName(), SCIPdebugMessage, SCIPgetSolVal(), SCIPgetSolVarsData(), SCIPinfoMessage(), SCIPisFeasIntegral(), and SCIPvarGetName().

Referenced by SCIP_DECL_CONSENFOLP().

static SCIP_DECL_CONSLOCK ( consLockIntegral  )
static

variable rounding lock method of constraint handler

Definition at line 175 of file cons_integral.c.

References SCIP_DECL_CONSGETDIVEBDCHGS(), and SCIP_OKAY.

Referenced by SCIP_DECL_CONSCHECK().

static SCIP_DECL_CONSGETDIVEBDCHGS ( consGetDiveBdChgsIntegral  )
static

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

Definition at line 182 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(), SCIPdebugMessage, SCIPfloor(), SCIPgetDivesetScore(), SCIPgetSolVal(), SCIPgetSolVarsData(), SCIPincludeConshdlrIntegral(), SCIPisFeasIntegral(), SCIPisGE(), SCIPisLE(), SCIPvarGetLbLocal(), SCIPvarGetUbLocal(), and TRUE.

Referenced by SCIP_DECL_CONSLOCK().

SCIP_RETCODE SCIPincludeConshdlrIntegral ( SCIP *  scip)

creates the handler for integrality constraint and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 256 of file cons_integral.c.

References consCopyIntegral, consEnfopsIntegral, CONSHDLR_CHECKPRIORITY, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, NULL, SCIP_CALL, SCIP_OKAY, SCIPincludeConshdlrBasic(), SCIPsetConshdlrCopy(), and SCIPsetConshdlrGetDiveBdChgs().

Referenced by SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSHDLRCOPY(), and SCIPincludeDefaultPlugins().