Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

LP diving heuristic that fixes indicator variables controlling semicontinuous variables.

Author
Katrin Halbig
Alexander Hoen

A diving heuristic iteratively rounds some fractional variables or variables determined by constraint handlers, and resolves the LP relaxation. Thereby simulating a depth-first-search in the tree.

Indicatordiving focuses on indicator variables, which control semicontinuous variables. If the semicontinuous variable is unbounded, the indicator constraint is not part of the LP and, therefore, the indicator variable is not set to an useful value in the LP solution.

For these indicator variables the score depends on the LP value and the bounds of the corresponding semicontinuous variable. If parameter usevarbounds=TRUE, also varbound constraints modeling semicontinuous variables are considered. For all other variables the Farkas score (scaled) is returned.

Definition in file heur_indicatordiving.c.

#include <assert.h>
#include "scip/cons_indicator.h"
#include "scip/cons_varbound.h"
#include "scip/heur_indicatordiving.h"
#include "scip/heuristics.h"
#include "scip/pub_cons.h"
#include "scip/pub_heur.h"
#include "scip/pub_message.h"
#include "scip/pub_misc.h"
#include "scip/pub_var.h"
#include "scip/scip_cons.h"
#include "scip/scip_heur.h"
#include "scip/scip_mem.h"
#include "scip/scip_numerics.h"
#include "scip/scip_param.h"
#include "scip/scip_probing.h"
#include "scip/scip_sol.h"
#include "scip/scip_tree.h"
#include "scip/scip_prob.h"
#include "scip/scip_message.h"

Go to the source code of this file.

Data Structures

struct  SCVarData
 

Macros

#define HEUR_NAME   "indicatordiving"
 
#define HEUR_DESC   "LP diving heuristic that fixes indicator variables controlling semicontinuous variables"
 
#define HEUR_DISPCHAR   'I'
 
#define HEUR_PRIORITY   -150000
 
#define HEUR_FREQ   0
 
#define HEUR_FREQOFS   0
 
#define HEUR_MAXDEPTH   -1
 
#define HEUR_TIMING   SCIP_HEURTIMING_AFTERLPPLUNGE
 
#define HEUR_USESSUBSCIP   FALSE
 
#define DIVESET_DIVETYPES   SCIP_DIVETYPE_INTEGRALITY
 
#define DIVESET_ISPUBLIC   FALSE
 
#define DEFAULT_MINRELDEPTH   0.0
 
#define DEFAULT_MAXRELDEPTH   1.0
 
#define DEFAULT_MAXLPITERQUOT   0.05
 
#define DEFAULT_MAXLPITEROFS   1000
 
#define DEFAULT_MAXDIVEUBQUOT   0.8
 
#define DEFAULT_MAXDIVEAVGQUOT   0.0
 
#define DEFAULT_MAXDIVEUBQUOTNOSOL   0.1
 
#define DEFAULT_MAXDIVEAVGQUOTNOSOL   0.0
 
#define DEFAULT_BACKTRACK   TRUE
 
#define DEFAULT_LPRESOLVEDOMCHGQUOT   0.15
 
#define DEFAULT_LPSOLVEFREQ   30
 
#define DEFAULT_ONLYLPBRANCHCANDS   FALSE
 
#define DEFAULT_RANDSEED   11
 
#define DEFAULT_ROUNDINGFRAC   0.5
 
#define DEFAULT_ROUNDINGMODE   0
 
#define DEFAULT_SEMICONTSCOREMODE   0
 
#define DEFAULT_USEVARBOUNDS   TRUE
 
#define DEFAULT_RUNWITHOUTSCINDS   FALSE
 
#define MIN_RAND   1e-06
 
#define MAX_RAND   1e-05
 

Typedefs

typedef enum IndicatorDivingRoundingMode INDICATORDIVINGROUNDINGMODE
 
typedef struct SCVarData SCVARDATA
 

Enumerations

enum  IndicatorDivingRoundingMode {
  ROUNDING_CONSERVATIVE = 0,
  ROUNDING_AGGRESSIVE = 1
}
 

Functions

static SCIP_Bool isViolatedAndNotFixed (SCIP *scip, SCIP_SOL *sol, SCIP_CONS *cons)
 
static SCIP_RETCODE releaseSCHashmap (SCIP *scip, SCIP_HASHMAP *hashmap)
 
static void checkAndGetIndicator (SCIP *scip, SCIP_VAR *cand, SCIP_HASHMAP *map, SCIP_CONS **cons, SCIP_Bool *isindicator, SCIP_Bool *containsviolindconss, SCIP_Bool newnode, SCIP_SOL *sol, SCIP_CONSHDLR *conshdlr)
 
static void checkAndGetVarbound (SCIP *scip, SCIP_VAR *cand, SCIP_HASHMAP *map, SCIP_CONS **cons, SCIP_Bool *isvarbound)
 
static SCIP_RETCODE addSCVarIndicator (SCIP *scip, SCVARDATA *scvdata, SCIP_VAR *indicator, SCIP_Real val0, SCIP_Real lb1, SCIP_Real ub1)
 
static SCIP_RETCODE varIsSemicontinuous (SCIP *scip, SCIP_VAR *var, SCIP_HASHMAP *scvars, SCIP_Real constant, SCIP_Bool *result)
 
static SCIP_RETCODE hasUnfixedSCIndicator (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_HASHMAP *scvars, SCIP_Bool *hasunfixedscindconss)
 
static SCIP_RETCODE createMaps (SCIP *scip, SCIP_CONSHDLR *indicatorconshdlr, SCIP_CONSHDLR *varboundconshdlr, SCIP_Bool usevarbounds, SCIP_HASHMAP **indicatormap, SCIP_HASHMAP **varboundmap)
 
static void getScoreOfFarkasDiving (SCIP *scip, SCIP_DIVESET *diveset, SCIP_VAR *cand, SCIP_Real candsfrac, SCIP_Bool *roundup, SCIP_Real *score)
 
static SCIP_DECL_HEURCOPY (heurCopyIndicatordiving)
 
static SCIP_DECL_HEURFREE (heurFreeIndicatordiving)
 
static SCIP_DECL_HEURINIT (heurInitIndicatordiving)
 
static SCIP_DECL_HEUREXIT (heurExitIndicatordiving)
 
static SCIP_DECL_HEUREXEC (heurExecIndicatordiving)
 
static SCIP_DECL_DIVESETGETSCORE (divesetGetScoreIndicatordiving)
 
static SCIP_DECL_DIVESETAVAILABLE (divesetAvailableIndicatordiving)
 
SCIP_RETCODE SCIPincludeHeurIndicatordiving (SCIP *scip)
 

Macro Definition Documentation

◆ HEUR_NAME

#define HEUR_NAME   "indicatordiving"

Definition at line 67 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ HEUR_DESC

#define HEUR_DESC   "LP diving heuristic that fixes indicator variables controlling semicontinuous variables"

Definition at line 68 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ HEUR_DISPCHAR

#define HEUR_DISPCHAR   'I'

Definition at line 69 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ HEUR_PRIORITY

#define HEUR_PRIORITY   -150000

Definition at line 70 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ HEUR_FREQ

#define HEUR_FREQ   0

Definition at line 71 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ HEUR_FREQOFS

#define HEUR_FREQOFS   0

Definition at line 72 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ HEUR_MAXDEPTH

#define HEUR_MAXDEPTH   -1

Definition at line 73 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ HEUR_TIMING

#define HEUR_TIMING   SCIP_HEURTIMING_AFTERLPPLUNGE

Definition at line 74 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ HEUR_USESSUBSCIP

#define HEUR_USESSUBSCIP   FALSE

does the heuristic use a secondary SCIP instance?

Definition at line 75 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DIVESET_DIVETYPES

#define DIVESET_DIVETYPES   SCIP_DIVETYPE_INTEGRALITY

bit mask that represents all supported dive types

Definition at line 76 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DIVESET_ISPUBLIC

#define DIVESET_ISPUBLIC   FALSE

is this dive set publicly available (ie., can be used by other primal heuristics?)

Definition at line 77 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DEFAULT_MINRELDEPTH

#define DEFAULT_MINRELDEPTH   0.0

minimal relative depth to start diving

Definition at line 84 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DEFAULT_MAXRELDEPTH

#define DEFAULT_MAXRELDEPTH   1.0

maximal relative depth to start diving

Definition at line 85 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DEFAULT_MAXLPITERQUOT

#define DEFAULT_MAXLPITERQUOT   0.05

maximal fraction of diving LP iterations compared to node LP iterations

Definition at line 86 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DEFAULT_MAXLPITEROFS

#define DEFAULT_MAXLPITEROFS   1000

additional number of allowed LP iterations

Definition at line 87 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DEFAULT_MAXDIVEUBQUOT

#define DEFAULT_MAXDIVEUBQUOT   0.8

maximal quotient (curlowerbound - lowerbound)/(cutoffbound - lowerbound) where diving is performed (0.0: no limit)

Definition at line 88 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DEFAULT_MAXDIVEAVGQUOT

#define DEFAULT_MAXDIVEAVGQUOT   0.0

maximal quotient (curlowerbound - lowerbound)/(avglowerbound - lowerbound) where diving is performed (0.0: no limit)

Definition at line 91 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DEFAULT_MAXDIVEUBQUOTNOSOL

#define DEFAULT_MAXDIVEUBQUOTNOSOL   0.1

maximal UBQUOT when no solution was found yet (0.0: no limit)

Definition at line 94 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DEFAULT_MAXDIVEAVGQUOTNOSOL

#define DEFAULT_MAXDIVEAVGQUOTNOSOL   0.0

maximal AVGQUOT when no solution was found yet (0.0: no limit)

Definition at line 95 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DEFAULT_BACKTRACK

#define DEFAULT_BACKTRACK   TRUE

use one level of backtracking if infeasibility is encountered?

Definition at line 96 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DEFAULT_LPRESOLVEDOMCHGQUOT

#define DEFAULT_LPRESOLVEDOMCHGQUOT   0.15

percentage of immediate domain changes during probing to trigger LP resolve

Definition at line 97 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DEFAULT_LPSOLVEFREQ

#define DEFAULT_LPSOLVEFREQ   30

LP solve frequency for diving heuristics

Definition at line 98 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DEFAULT_ONLYLPBRANCHCANDS

#define DEFAULT_ONLYLPBRANCHCANDS   FALSE

should only LP branching candidates be considered instead of the slower but more general constraint handler diving variable selection?

Definition at line 99 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DEFAULT_RANDSEED

#define DEFAULT_RANDSEED   11

initial seed for random number generation

Definition at line 102 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DEFAULT_ROUNDINGFRAC

#define DEFAULT_ROUNDINGFRAC   0.5

default setting for parameter roundingfrac

Definition at line 107 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DEFAULT_ROUNDINGMODE

#define DEFAULT_ROUNDINGMODE   0

default setting for parameter roundingmode

Definition at line 108 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DEFAULT_SEMICONTSCOREMODE

#define DEFAULT_SEMICONTSCOREMODE   0

default setting for parameter semicontscoremode

Definition at line 109 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DEFAULT_USEVARBOUNDS

#define DEFAULT_USEVARBOUNDS   TRUE

default setting for parameter usevarbounds

Definition at line 110 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ DEFAULT_RUNWITHOUTSCINDS

#define DEFAULT_RUNWITHOUTSCINDS   FALSE

default setting for parameter runwithoutscinds

Definition at line 111 of file heur_indicatordiving.c.

Referenced by SCIPincludeHeurIndicatordiving().

◆ MIN_RAND

#define MIN_RAND   1e-06

Definition at line 642 of file heur_indicatordiving.c.

Referenced by getScoreOfFarkasDiving().

◆ MAX_RAND

#define MAX_RAND   1e-05

Definition at line 643 of file heur_indicatordiving.c.

Referenced by getScoreOfFarkasDiving().

Typedef Documentation

◆ INDICATORDIVINGROUNDINGMODE

◆ SCVARDATA

typedef struct SCVarData SCVARDATA

Definition at line 136 of file heur_indicatordiving.c.

Enumeration Type Documentation

◆ IndicatorDivingRoundingMode

Enumerator
ROUNDING_CONSERVATIVE 
ROUNDING_AGGRESSIVE 

Definition at line 113 of file heur_indicatordiving.c.

Function Documentation

◆ isViolatedAndNotFixed()

static SCIP_Bool isViolatedAndNotFixed ( SCIP scip,
SCIP_SOL sol,
SCIP_CONS cons 
)
static

checks if constraint is violated but not fixed, i.e., it will be a diving candidate variable

Parameters
scipSCIP data structure
solpointer to solution
conspointer to indicator constraint

Definition at line 165 of file heur_indicatordiving.c.

References FALSE, releaseSCHashmap(), SCIP_Real, SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPgetBinaryVarIndicator(), SCIPgetSolVal(), SCIPisFeasIntegral(), SCIPisViolatedIndicator(), SCIPvarGetLbLocal(), and SCIPvarGetUbLocal().

Referenced by checkAndGetIndicator().

◆ releaseSCHashmap()

static SCIP_RETCODE releaseSCHashmap ( SCIP scip,
SCIP_HASHMAP hashmap 
)
static

releases all data from given hashmap filled with SCVarData and the hashmap itself

Parameters
scipSCIP data structure
hashmaphashmap to be freed

Definition at line 187 of file heur_indicatordiving.c.

References SCVarData::bndssize, SCVarData::bvars, checkAndGetIndicator(), SCVarData::lbs1, NULL, SCIP_OKAY, SCIPfreeBlockMemory, SCIPfreeBlockMemoryArray, SCIPhashmapEntryGetImage(), SCIPhashmapFree(), SCIPhashmapGetEntry(), SCIPhashmapGetNEntries(), SCVarData::ubs1, and SCVarData::vals0.

Referenced by isViolatedAndNotFixed().

◆ checkAndGetIndicator()

static void checkAndGetIndicator ( SCIP scip,
SCIP_VAR cand,
SCIP_HASHMAP map,
SCIP_CONS **  cons,
SCIP_Bool isindicator,
SCIP_Bool containsviolindconss,
SCIP_Bool  newnode,
SCIP_SOL sol,
SCIP_CONSHDLR conshdlr 
)
static

checks if variable is indicator variable and stores corresponding indicator constraint; additionally, if we are at a new probing node, it checks whether there are violated but not fixed indicator constraints

Parameters
scipSCIP data structure
candcandidate variable
mappointer to hashmap containing indicator conss
conspointer to store indicator constraint
isindicatorpointer to store whether candidate variable is indicator variable
containsviolindconsspointer to store whether there are violated and not fixed (unbounded) indicator constraints
newnodeare we at a new probing node?
solpointer to solution
conshdlrconstraint handler

Definition at line 222 of file heur_indicatordiving.c.

References checkAndGetVarbound(), FALSE, isViolatedAndNotFixed(), NULL, SCIPconshdlrGetConss(), SCIPconshdlrGetNActiveConss(), SCIPhashmapGetImage(), and TRUE.

Referenced by releaseSCHashmap().

◆ checkAndGetVarbound()

static void checkAndGetVarbound ( SCIP scip,
SCIP_VAR cand,
SCIP_HASHMAP map,
SCIP_CONS **  cons,
SCIP_Bool isvarbound 
)
static

checks if variable is binary variable of varbound constraint and stores corresponding varbound constraint

Parameters
scipSCIP data structure
candcandidate variable
mappointer to hashmap containing varbound conss
conspointer to store varbound constraint
isvarboundpointer to store whether candidate variable is indicator variable

Definition at line 271 of file heur_indicatordiving.c.

References addSCVarIndicator(), FALSE, NULL, SCIP_VARTYPE_BINARY, SCIPhashmapGetImage(), SCIPvarGetType(), and TRUE.

Referenced by checkAndGetIndicator().

◆ addSCVarIndicator()

static SCIP_RETCODE addSCVarIndicator ( SCIP scip,
SCVARDATA scvdata,
SCIP_VAR indicator,
SCIP_Real  val0,
SCIP_Real  lb1,
SCIP_Real  ub1 
)
static

adds an indicator to the data of a semicontinuous variable

Parameters
scipSCIP data structure
scvdatasemicontinuous variable data
indicatorindicator to be added
val0value of the variable when indicator == 0
lb1lower bound of the variable when indicator == 1
ub1upper bound of the variable when indicator == 1

Definition at line 298 of file heur_indicatordiving.c.

References SCVarData::bndssize, SCVarData::bvars, FALSE, SCVarData::lbs1, SCVarData::nbnds, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPcalcMemGrowSize(), SCIPreallocBlockMemoryArray, SCIPsortedvecFindPtr(), SCVarData::ubs1, SCVarData::vals0, and varIsSemicontinuous().

Referenced by checkAndGetVarbound(), and varIsSemicontinuous().

◆ varIsSemicontinuous()

static SCIP_RETCODE varIsSemicontinuous ( SCIP scip,
SCIP_VAR var,
SCIP_HASHMAP scvars,
SCIP_Real  constant,
SCIP_Bool result 
)
static

checks if a variable is semicontinuous and stores it data in the hashmap scvars

A variable x is semicontinuous if its bounds depend on at least one binary variable called the indicator, and indicator == 0 => x == x^0 for some real constant x^0.

Parameters
scipSCIP data structure
varthe variable to check
scvarssemicontinuous variable information
constantvalue which should be equal to the constant
resultbuffer to store whether var is semicontinuous

Definition at line 368 of file heur_indicatordiving.c.

References addSCVarIndicator(), SCVarData::bvars, FALSE, hasUnfixedSCIndicator(), MAX, MIN, SCVarData::nbnds, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARTYPE_BINARY, SCIPallocClearBlockMemory, SCIPdebugMsg, SCIPhashmapGetImage(), SCIPhashmapInsert(), SCIPisEQ(), SCIPsortedvecFindPtr(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetNVlbs(), SCIPvarGetNVubs(), SCIPvarGetType(), SCIPvarGetUbGlobal(), SCIPvarGetVlbCoefs(), SCIPvarGetVlbConstants(), SCIPvarGetVlbVars(), SCIPvarGetVubCoefs(), SCIPvarGetVubConstants(), SCIPvarGetVubVars(), TRUE, and SCVarData::vals0.

Referenced by addSCVarIndicator(), and hasUnfixedSCIndicator().

◆ hasUnfixedSCIndicator()

static SCIP_RETCODE hasUnfixedSCIndicator ( SCIP scip,
SCIP_CONSHDLR conshdlr,
SCIP_HASHMAP scvars,
SCIP_Bool hasunfixedscindconss 
)
static

checks if there are unfixed indicator variables modeling semicont. vars

Parameters
scipSCIP data structure
conshdlrindicator constraint handler
scvarssemicontinuous variable information
hasunfixedscindconsspointer to store if there are unfixed indicator variables modeling semicont. vars

Definition at line 517 of file heur_indicatordiving.c.

References createMaps(), FALSE, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPallocBufferArray, SCIPconsGetRhs(), SCIPconshdlrGetConss(), SCIPconshdlrGetNConss(), SCIPfreeBufferArray, SCIPgetBinaryVarIndicator(), SCIPgetConsNVars(), SCIPgetConsVals(), SCIPgetConsVars(), SCIPgetLinearConsIndicator(), SCIPgetSlackVarIndicator(), SCIPisInfinity(), SCIPvarGetLbLocal(), SCIPvarGetUbLocal(), TRUE, and varIsSemicontinuous().

Referenced by varIsSemicontinuous().

◆ createMaps()

static SCIP_RETCODE createMaps ( SCIP scip,
SCIP_CONSHDLR indicatorconshdlr,
SCIP_CONSHDLR varboundconshdlr,
SCIP_Bool  usevarbounds,
SCIP_HASHMAP **  indicatormap,
SCIP_HASHMAP **  varboundmap 
)
static

creates and initializes hashmaps

indicatormap: binary var -> indicator constraint varboundmap: binary var -> varbound constraint

Currently exactly one constraint is assigned to a binary variable (per hashmap), but a binary variable can also control more than one constraint. TODO: Allow more than one corresponding indicator/varbound constraint per binary variable.

Parameters
scipSCIP data structure
indicatorconshdlrindicator constraint handler
varboundconshdlrvarbound constraint handler
usevarboundsshould varbound constraints be considered?
indicatormaphashmap to store indicator constraints of binary variables
varboundmaphashmap to store varbound constraints of binary variables

Definition at line 597 of file heur_indicatordiving.c.

References SCIP_CALL, SCIP_OKAY, SCIPblkmem(), SCIPconshdlrGetConss(), SCIPconshdlrGetName(), SCIPconshdlrGetNConss(), SCIPgetBinaryVarIndicator(), SCIPgetVbdvarVarbound(), SCIPhashmapCreate(), SCIPhashmapExists(), and SCIPhashmapInsert().

Referenced by hasUnfixedSCIndicator().

◆ getScoreOfFarkasDiving()

static void getScoreOfFarkasDiving ( SCIP scip,
SCIP_DIVESET diveset,
SCIP_VAR cand,
SCIP_Real  candsfrac,
SCIP_Bool roundup,
SCIP_Real score 
)
static

calculate score and preferred rounding direction for the candidate variable

Parameters
scipSCIP data structure
divesetdiving settings
candcandidate variable
candsfracfractional part of solution value of candidate variable
rounduppointer to store whether the preferred rounding direction is upwards
scorepointer for diving score value

Definition at line 647 of file heur_indicatordiving.c.

References FALSE, MAX_RAND, MIN_RAND, NULL, REALABS, SCIP_DECL_HEURCOPY(), SCIP_Real, SCIP_VARTYPE_BINARY, SCIPdivesetGetRandnumgen(), SCIPisEQ(), SCIPisNegative(), SCIPisPositive(), SCIPrandomGetInt(), SCIPrandomGetReal(), SCIPvarGetObj(), SCIPvarGetType(), and TRUE.

◆ SCIP_DECL_HEURCOPY()

static SCIP_DECL_HEURCOPY ( heurCopyIndicatordiving  )
static

copy method for primal heuristic plugins (called when SCIP copies plugins)

Definition at line 694 of file heur_indicatordiving.c.

Referenced by getScoreOfFarkasDiving().

◆ SCIP_DECL_HEURFREE()

static SCIP_DECL_HEURFREE ( heurFreeIndicatordiving  )
static

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

Definition at line 709 of file heur_indicatordiving.c.

◆ SCIP_DECL_HEURINIT()

static SCIP_DECL_HEURINIT ( heurInitIndicatordiving  )
static

initialization method of primal heuristic (called after problem was transformed)

Definition at line 730 of file heur_indicatordiving.c.

◆ SCIP_DECL_HEUREXIT()

static SCIP_DECL_HEUREXIT ( heurExitIndicatordiving  )
static

deinitialization method of primal heuristic (called before transformed problem is freed)

Definition at line 755 of file heur_indicatordiving.c.

◆ SCIP_DECL_HEUREXEC()

static SCIP_DECL_HEUREXEC ( heurExecIndicatordiving  )
static

execution method of primal heuristic

Definition at line 777 of file heur_indicatordiving.c.

◆ SCIP_DECL_DIVESETGETSCORE()

static SCIP_DECL_DIVESETGETSCORE ( divesetGetScoreIndicatordiving  )
static

calculate score and preferred rounding direction for the candidate variable

Definition at line 829 of file heur_indicatordiving.c.

◆ SCIP_DECL_DIVESETAVAILABLE()

static SCIP_DECL_DIVESETAVAILABLE ( divesetAvailableIndicatordiving  )
static

callback to check preconditions for diving, e.g., if an incumbent solution is available

Definition at line 1100 of file heur_indicatordiving.c.

References NULL, SCIP_OKAY, SCIPconshdlrGetNActiveConss(), SCIPdivesetGetHeur(), SCIPfindConshdlr(), SCIPheurGetData(), and SCIPincludeHeurIndicatordiving().