Scippy

SCIP

Solving Constraint Integer Programs

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)
 
SCIP_RETCODE SCIPincludeConshdlrIntegral (SCIP *scip)
 

Macro Definition Documentation

#define CONSHDLR_NAME   "integral"
#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 36 of file cons_integral.c.

Referenced by SCIPincludeConshdlrIntegral().

#define consCopyIntegral   NULL

Definition at line 58 of file cons_integral.c.

Referenced by SCIPincludeConshdlrIntegral().

#define consEnfopsIntegral   NULL

Definition at line 60 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 44 of file cons_integral.c.

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

static SCIP_DECL_CONSENFOLP ( consEnfolpIntegral  )
static
static SCIP_DECL_CONSCHECK ( consCheckIntegral  )
static

feasibility check method of constraint handler for integral solutions

Definition at line 100 of file cons_integral.c.

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

static SCIP_DECL_CONSLOCK ( consLockIntegral  )
static

variable rounding lock method of constraint handler

Definition at line 174 of file cons_integral.c.

References SCIP_OKAY.

SCIP_RETCODE SCIPincludeConshdlrIntegral ( SCIP scip)

creates the handler for integrality constraint and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 184 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(), and SCIPsetConshdlrCopy().

Referenced by SCIP_DECL_CONSHDLRCOPY(), and SCIPincludeDefaultPlugins().