Scippy

    SCIP

    Solving Constraint Integer Programs

    Macros | Functions
    presol_boundshift.c File Reference
    Implementation files (.c files) » SCIP Default Plugins » Default Presolvers

    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 "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

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

    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 SCIP_DECL_PRESOLCOPY ( presolCopyBoundshift  )
    		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 SCIP_DECL_PRESOLFREE ( presolFreeBoundshift  )
    		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 SCIP_DECL_PRESOLEXEC ( presolExecBoundshift  )
    		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(), SCIPcreateVarImpl(), SCIPdebugAddSolVal, SCIPdebugGetSolVal, SCIPdebugMsg, SCIPdebugMsgPrint, SCIPdoNotAggr(), SCIPduplicateBufferArray, SCIPfreeBufferArray, SCIPgetNBinVars(), SCIPgetNVars(), SCIPgetVars(), SCIPinfinity(), SCIPisEQ(), SCIPisGT(), SCIPisIntegral(), SCIPisLE(), SCIPisLT(), SCIPpresolGetData(), SCIPpresolGetName(), SCIPreleaseVar(), SCIPsnprintf(), SCIPvarGetImplType(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetType(), SCIPvarGetUbGlobal(), SCIPvarIsActive(), SCIPvarIsImpliedIntegral(), SCIPvarIsInitial(), SCIPvarIsIntegral(), and SCIPvarIsRemovable().