Scippy

SCIP

Solving Constraint Integer Programs

Macros | Functions
presol_boundshift.c File Reference

Detailed Description

presolver that converts variables with domain [a,b] to variables with domain [0,b-a]

Author
Stefan Heinz
Michael Winkler

Definition in file presol_boundshift.c.

#include <assert.h>
#include <string.h>
#include "scip/presol_boundshift.h"

Go to the source code of this file.

Macros

#define PRESOL_NAME   "boundshift"
 
#define PRESOL_DESC   "converts variables with domain [a,b] to variables with domain [0,b-a]"
 
#define PRESOL_PRIORITY   7900000
 
#define PRESOL_MAXROUNDS   0
 
#define PRESOL_TIMING   SCIP_PRESOLTIMING_FAST /* timing of the presolver (fast, medium, or exhaustive) */
 
#define DEFAULT_MAXSHIFT   SCIP_LONGINT_MAX
 
#define DEFAULT_FLIPPING   TRUE
 
#define DEFAULT_INTEGER   TRUE
 

Functions

static void initPresoldata (SCIP_PRESOLDATA *presoldata)
 
static SCIP_DECL_PRESOLCOPY (presolCopyBoundshift)
 
static SCIP_DECL_PRESOLFREE (presolFreeBoundshift)
 
static SCIP_DECL_PRESOLEXEC (presolExecBoundshift)
 
SCIP_RETCODE SCIPincludePresolBoundshift (SCIP *scip)
 

Macro Definition Documentation

#define PRESOL_NAME   "boundshift"

Definition at line 32 of file presol_boundshift.c.

Referenced by SCIP_DECL_PRESOLCOPY(), SCIP_DECL_PRESOLEXEC(), and SCIPincludePresolBoundshift().

#define PRESOL_DESC   "converts variables with domain [a,b] to variables with domain [0,b-a]"

Definition at line 33 of file presol_boundshift.c.

Referenced by SCIPincludePresolBoundshift().

#define PRESOL_PRIORITY   7900000

priority of the presolver (>= 0: before, < 0: after constraint handlers)

Definition at line 34 of file presol_boundshift.c.

Referenced by SCIPincludePresolBoundshift().

#define PRESOL_MAXROUNDS   0

maximal number of presolving rounds the presolver participates in (-1: no limit)

Definition at line 35 of file presol_boundshift.c.

Referenced by SCIPincludePresolBoundshift().

#define PRESOL_TIMING   SCIP_PRESOLTIMING_FAST /* timing of the presolver (fast, medium, or exhaustive) */

Definition at line 36 of file presol_boundshift.c.

Referenced by SCIPincludePresolBoundshift().

#define DEFAULT_MAXSHIFT   SCIP_LONGINT_MAX

absolute value of maximum shift

Definition at line 43 of file presol_boundshift.c.

Referenced by initPresoldata(), and SCIPincludePresolBoundshift().

#define DEFAULT_FLIPPING   TRUE

is flipping allowed?

Definition at line 44 of file presol_boundshift.c.

Referenced by initPresoldata(), and SCIPincludePresolBoundshift().

#define DEFAULT_INTEGER   TRUE

are only integer ranges shifted

Definition at line 45 of file presol_boundshift.c.

Referenced by initPresoldata(), and SCIPincludePresolBoundshift().

Function Documentation

static void initPresoldata ( SCIP_PRESOLDATA *  presoldata)
static

initializes the presolver data

Parameters
presoldatapresolver data

Definition at line 66 of file presol_boundshift.c.

References DEFAULT_FLIPPING, DEFAULT_INTEGER, DEFAULT_MAXSHIFT, and NULL.

Referenced by SCIPincludePresolBoundshift().

static SCIP_DECL_PRESOLCOPY ( presolCopyBoundshift  )
static

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

Definition at line 83 of file presol_boundshift.c.

References NULL, PRESOL_NAME, SCIP_CALL, SCIP_OKAY, SCIPincludePresolBoundshift(), and SCIPpresolGetName().

static SCIP_DECL_PRESOLFREE ( presolFreeBoundshift  )
static

destructor of presolver to free user data (called when SCIP is exiting)

Definition at line 98 of file presol_boundshift.c.

References NULL, SCIP_OKAY, SCIPfreeMemory, SCIPpresolGetData(), and SCIPpresolSetData().

static SCIP_DECL_PRESOLEXEC ( presolExecBoundshift  )
static

presolving execution method

Definition at line 115 of file presol_boundshift.c.

References NULL, PRESOL_NAME, REALABS, SCIP_Bool, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIP_SUCCESS, SCIP_VARTYPE_BINARY, SCIPaddVar(), SCIPaggregateVars(), SCIPcreateVar(), SCIPdebugMessage, SCIPdoNotAggr(), SCIPduplicateBufferArray, SCIPfreeBufferArray, SCIPgetNBinVars(), SCIPgetNVars(), SCIPgetVars(), SCIPinfinity(), SCIPisEQ(), SCIPisGT(), SCIPisIntegral(), SCIPisLE(), SCIPisLT(), SCIPpresolGetData(), SCIPpresolGetName(), SCIPreleaseVar(), SCIPsnprintf(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetType(), SCIPvarGetUbGlobal(), SCIPvarIsInitial(), and SCIPvarIsRemovable().

SCIP_RETCODE SCIPincludePresolBoundshift ( SCIP *  scip)

creates the boundshift presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 239 of file presol_boundshift.c.

References DEFAULT_FLIPPING, DEFAULT_INTEGER, DEFAULT_MAXSHIFT, initPresoldata(), NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_LONGINT_MAX, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddLongintParam(), SCIPallocMemory, SCIPincludePresolBasic(), SCIPsetPresolCopy(), SCIPsetPresolFree(), and TRUE.

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().