SCIP
Solving Constraint Integer Programs
presol_boundshift.c File Reference
Detailed Description
presolver that converts variables with domain [a,b] to variables with domain [0,b-a]
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 "scip/debug.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 | 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 52 of file presol_boundshift.c.
◆ PRESOL_DESC
Definition at line 53 of file presol_boundshift.c.
◆ PRESOL_PRIORITY
| #define PRESOL_PRIORITY 7900000 |
priority of the presolver (>= 0: before, < 0: after constraint handlers)
Definition at line 54 of file presol_boundshift.c.
◆ PRESOL_MAXROUNDS
| #define PRESOL_MAXROUNDS 0 |
maximal number of presolving rounds the presolver participates in (-1: no limit)
Definition at line 55 of file presol_boundshift.c.
◆ PRESOL_TIMING
| #define PRESOL_TIMING SCIP_PRESOLTIMING_FAST /* timing of the presolver (fast, medium, or exhaustive) */ |
Definition at line 56 of file presol_boundshift.c.
◆ MAXABSBOUND
| #define MAXABSBOUND 1000.0 |
maximum absolute variable bounds for aggregation
Definition at line 58 of file presol_boundshift.c.
◆ DEFAULT_MAXSHIFT
| #define DEFAULT_MAXSHIFT SCIP_LONGINT_MAX |
absolute value of maximum shift
Definition at line 64 of file presol_boundshift.c.
◆ DEFAULT_FLIPPING
| #define DEFAULT_FLIPPING TRUE |
is flipping allowed?
Definition at line 65 of file presol_boundshift.c.
◆ DEFAULT_INTEGER
| #define DEFAULT_INTEGER TRUE |
are only integer ranges shifted
Definition at line 66 of file presol_boundshift.c.
Function Documentation
◆ SCIP_DECL_PRESOLCOPY()
|
static |
copy method for constraint handler plugins (called when SCIP copies plugins)
Definition at line 91 of file presol_boundshift.c.
References NULL, PRESOL_NAME, SCIP_CALL, SCIP_OKAY, SCIPincludePresolBoundshift(), and SCIPpresolGetName().
◆ SCIP_DECL_PRESOLFREE()
|
static |
destructor of presolver to free user data (called when SCIP is exiting) ! [SnippetPresolFreeBoundshift]
Definition at line 107 of file presol_boundshift.c.
References NULL, SCIP_OKAY, SCIPfreeBlockMemory, SCIPpresolGetData(), and SCIPpresolSetData().
◆ SCIP_DECL_PRESOLEXEC()
|
static |
! [SnippetPresolFreeBoundshift] presolving execution method
Definition at line 125 of file presol_boundshift.c.
References MAXABSBOUND, NULL, PRESOL_NAME, REALABS, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIP_SUCCESS, SCIP_VARTYPE_BINARY, SCIPaddVar(), SCIPadjustedVarLb(), SCIPadjustedVarUb(), SCIPaggregateVars(), SCIPcreateVar(), SCIPdebugAddSolVal, SCIPdebugGetSolVal, SCIPdebugMsg, SCIPdebugMsgPrint, SCIPdoNotAggr(), SCIPduplicateBufferArray, SCIPfreeBufferArray, SCIPgetNBinVars(), SCIPgetNVars(), SCIPgetVars(), SCIPinfinity(), SCIPisEQ(), SCIPisGT(), SCIPisIntegral(), SCIPisLE(), SCIPisLT(), SCIPpresolGetData(), SCIPpresolGetName(), SCIPreleaseVar(), SCIPsnprintf(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetType(), SCIPvarGetUbGlobal(), SCIPvarIsActive(), SCIPvarIsInitial(), SCIPvarIsIntegral(), and SCIPvarIsRemovable().