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 "blockmemshell/memory.h"
#include "scip/presol_boundshift.h"
#include "scip/pub_message.h"
#include "scip/pub_misc.h"
#include "scip/pub_presol.h"
#include "scip/pub_var.h"
#include "scip/scip_mem.h"
#include "scip/scip_message.h"
#include "scip/scip_numerics.h"
#include "scip/scip_param.h"
#include "scip/scip_presol.h"
#include "scip/scip_prob.h"
#include "scip/scip_var.h"
#include <string.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	MAXABSBOUND   1000.0
#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

PRESOL_NAME

#define PRESOL_NAME   "boundshift"

Definition at line 42 of file presol_boundshift.c.

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

PRESOL_DESC

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

Definition at line 43 of file presol_boundshift.c.

Referenced by SCIPincludePresolBoundshift(), and SCIPincludePresolMILP().

PRESOL_PRIORITY

#define PRESOL_PRIORITY   7900000

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

Definition at line 44 of file presol_boundshift.c.

Referenced by SCIPincludePresolBoundshift(), and SCIPincludePresolMILP().

PRESOL_MAXROUNDS

#define PRESOL_MAXROUNDS   0

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

Definition at line 45 of file presol_boundshift.c.

Referenced by SCIPincludePresolBoundshift(), and SCIPincludePresolMILP().

PRESOL_TIMING

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

Definition at line 46 of file presol_boundshift.c.

Referenced by SCIPincludePresolBoundshift(), and SCIPincludePresolMILP().

MAXABSBOUND

#define MAXABSBOUND   1000.0

maximum absolute variable bounds for aggregation

Definition at line 48 of file presol_boundshift.c.

Referenced by SCIP_DECL_PRESOLEXEC().

DEFAULT_MAXSHIFT

#define DEFAULT_MAXSHIFT   SCIP_LONGINT_MAX

absolute value of maximum shift

Definition at line 54 of file presol_boundshift.c.

Referenced by initPresoldata(), and SCIPincludePresolBoundshift().

DEFAULT_FLIPPING

#define DEFAULT_FLIPPING   TRUE

is flipping allowed?

Definition at line 55 of file presol_boundshift.c.

Referenced by initPresoldata(), and SCIPincludePresolBoundshift().

DEFAULT_INTEGER

#define DEFAULT_INTEGER   TRUE

are only integer ranges shifted

Definition at line 56 of file presol_boundshift.c.

Referenced by initPresoldata(), and SCIPincludePresolBoundshift().

Function Documentation

initPresoldata()

static void initPresoldata ( SCIP_PRESOLDATA *  presoldata )

static

initializes the presolver data

Parameters

presoldata

presolver data

Definition at line 77 of file presol_boundshift.c.

References DEFAULT_FLIPPING, DEFAULT_INTEGER, DEFAULT_MAXSHIFT, and NULL.

Referenced by SCIPincludePresolBoundshift().

SCIP_DECL_PRESOLCOPY()

static SCIP_DECL_PRESOLCOPY ( presolCopyBoundshift  )

static

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

Definition at line 94 of file presol_boundshift.c.

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

SCIP_DECL_PRESOLFREE()

static SCIP_DECL_PRESOLFREE ( presolFreeBoundshift  )

static

destructor of presolver to free user data (called when SCIP is exiting) ! [SnippetPresolFreeBoundshift]

Definition at line 110 of file presol_boundshift.c.

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

SCIP_DECL_PRESOLEXEC()

static SCIP_DECL_PRESOLEXEC ( presolExecBoundshift  )

static

! [SnippetPresolFreeBoundshift] presolving execution method

Definition at line 128 of file presol_boundshift.c.

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