shiftandpropagate primal heuristic
Definition in file heur_shiftandpropagate.c.
#include "blockmemshell/memory.h"
#include "scip/heur_shiftandpropagate.h"
#include "scip/pub_event.h"
#include "scip/pub_heur.h"
#include "scip/pub_lp.h"
#include "scip/pub_message.h"
#include "scip/pub_misc.h"
#include "scip/pub_misc_sort.h"
#include "scip/pub_sol.h"
#include "scip/pub_var.h"
#include "scip/scip_event.h"
#include "scip/scip_general.h"
#include "scip/scip_heur.h"
#include "scip/scip_lp.h"
#include "scip/scip_mem.h"
#include "scip/scip_message.h"
#include "scip/scip_numerics.h"
#include "scip/scip_param.h"
#include "scip/scip_prob.h"
#include "scip/scip_probing.h"
#include "scip/scip_randnumgen.h"
#include "scip/scip_sol.h"
#include "scip/scip_solvingstats.h"
#include "scip/scip_tree.h"
#include "scip/scip_var.h"
#include <string.h>
Go to the source code of this file.
Functions | |
static SCIP_Bool | varIsDiscrete (SCIP_VAR *var, SCIP_Bool impliscontinuous) |
static SCIP_Bool | colIsDiscrete (SCIP_COL *col, SCIP_Bool impliscontinuous) |
static void | getRowData (CONSTRAINTMATRIX *matrix, int rowindex, SCIP_Real **valpointer, SCIP_Real *lhs, SCIP_Real *rhs, int **indexpointer, int *nrowvals) |
static void | getColumnData (CONSTRAINTMATRIX *matrix, int colindex, SCIP_Real **valpointer, int **indexpointer, int *ncolvals) |
static void | relaxVar (SCIP *scip, SCIP_VAR *var, CONSTRAINTMATRIX *matrix) |
static void | transformVariable (SCIP *scip, CONSTRAINTMATRIX *matrix, SCIP_HEURDATA *heurdata, int colpos) |
static SCIP_RETCODE | initMatrix (SCIP *scip, CONSTRAINTMATRIX *matrix, SCIP_HEURDATA *heurdata, int *colposs, int *nmaxrows, SCIP_Bool relax, SCIP_Bool *initialized, SCIP_Bool *infeasible) |
static void | freeMatrix (SCIP *scip, CONSTRAINTMATRIX **matrix) |
static void | checkRowViolation (SCIP *scip, CONSTRAINTMATRIX *matrix, int rowindex, int *violatedrows, int *violatedrowpos, int *nviolatedrows, int *rowweights, SCIP_Bool updateweights) |
static void | checkViolations (SCIP *scip, CONSTRAINTMATRIX *matrix, int colidx, int *violatedrows, int *violatedrowpos, int *nviolatedrows, int *rowweights, SCIP_Bool updateweights) |
static SCIP_Real | retransformVariable (SCIP *scip, CONSTRAINTMATRIX *matrix, SCIP_VAR *var, int varindex, SCIP_Real solvalue) |
static SCIP_RETCODE | getOptimalShiftingValue (SCIP *scip, CONSTRAINTMATRIX *matrix, int varindex, int direction, int *rowweights, SCIP_Real *steps, int *violationchange, SCIP_Real *beststep, int *rowviolations) |
static SCIP_RETCODE | updateTransformation (SCIP *scip, CONSTRAINTMATRIX *matrix, SCIP_HEURDATA *heurdata, int varindex, SCIP_Real lb, SCIP_Real ub, int *violatedrows, int *violatedrowpos, int *nviolatedrows) |
static | SCIP_DECL_SORTPTRCOMP (heurSortColsShiftandpropagate) |
static | SCIP_DECL_HEUREXIT (heurExitShiftandpropagate) |
static | SCIP_DECL_HEURINIT (heurInitShiftandpropagate) |
static | SCIP_DECL_HEURFREE (heurFreeShiftandpropagate) |
static | SCIP_DECL_HEURCOPY (heurCopyShiftandpropagate) |
static | SCIP_DECL_HEUREXEC (heurExecShiftandpropagate) |
static | SCIP_DECL_EVENTEXEC (eventExecShiftandpropagate) |
SCIP_RETCODE | SCIPincludeHeurShiftandpropagate (SCIP *scip) |
#define HEUR_NAME "shiftandpropagate" |
Definition at line 61 of file heur_shiftandpropagate.c.
#define HEUR_DESC "Pre-root heuristic to expand an auxiliary branch-and-bound tree and apply propagation techniques" |
Definition at line 62 of file heur_shiftandpropagate.c.
#define HEUR_DISPCHAR SCIP_HEURDISPCHAR_PROP |
Definition at line 63 of file heur_shiftandpropagate.c.
#define HEUR_PRIORITY 1000 |
Definition at line 64 of file heur_shiftandpropagate.c.
#define HEUR_FREQ 0 |
Definition at line 65 of file heur_shiftandpropagate.c.
#define HEUR_FREQOFS 0 |
Definition at line 66 of file heur_shiftandpropagate.c.
#define HEUR_MAXDEPTH -1 |
Definition at line 67 of file heur_shiftandpropagate.c.
#define HEUR_TIMING SCIP_HEURTIMING_BEFORENODE |
Definition at line 68 of file heur_shiftandpropagate.c.
#define HEUR_USESSUBSCIP FALSE |
does the heuristic use a secondary SCIP instance?
Definition at line 69 of file heur_shiftandpropagate.c.
#define DEFAULT_WEIGHT_INEQUALITY 1 |
the heuristic row weight for inequalities
Definition at line 71 of file heur_shiftandpropagate.c.
Referenced by SCIP_DECL_HEUREXEC().
#define DEFAULT_WEIGHT_EQUALITY 3 |
the heuristic row weight for equations
Definition at line 72 of file heur_shiftandpropagate.c.
Referenced by SCIP_DECL_HEUREXEC().
#define DEFAULT_RELAX TRUE |
Should continuous variables be relaxed from the problem?
Definition at line 73 of file heur_shiftandpropagate.c.
Referenced by SCIPincludeHeurShiftandpropagate().
#define DEFAULT_PROBING TRUE |
Is propagation of solution values enabled?
Definition at line 74 of file heur_shiftandpropagate.c.
Referenced by SCIPincludeHeurShiftandpropagate().
#define DEFAULT_ONLYWITHOUTSOL TRUE |
Should heuristic only be executed if no primal solution was found, yet?
Definition at line 75 of file heur_shiftandpropagate.c.
#define DEFAULT_NPROPROUNDS 10 |
The default number of propagation rounds for each propagation used
Definition at line 76 of file heur_shiftandpropagate.c.
Referenced by SCIPincludeHeurShiftandpropagate().
#define DEFAULT_PROPBREAKER 65000 |
fixed maximum number of propagations
Definition at line 77 of file heur_shiftandpropagate.c.
Referenced by SCIP_DECL_HEUREXEC().
#define DEFAULT_CUTOFFBREAKER 15 |
fixed maximum number of allowed cutoffs before the heuristic stops
Definition at line 78 of file heur_shiftandpropagate.c.
Referenced by SCIPincludeHeurShiftandpropagate().
#define DEFAULT_RANDSEED 29 |
the default random seed for random number generation
Definition at line 79 of file heur_shiftandpropagate.c.
#define DEFAULT_SORTKEY 'v' |
the default key for variable sorting
Definition at line 80 of file heur_shiftandpropagate.c.
Referenced by SCIPincludeHeurShiftandpropagate().
#define DEFAULT_SORTVARS TRUE |
should variables be processed in sorted order?
Definition at line 81 of file heur_shiftandpropagate.c.
#define DEFAULT_COLLECTSTATS TRUE |
should variable statistics be collected during probing?
Definition at line 82 of file heur_shiftandpropagate.c.
Referenced by SCIPincludeHeurShiftandpropagate().
#define DEFAULT_STOPAFTERFEASIBLE TRUE |
Should the heuristic stop calculating optimal shift values when no more rows are violated?
Definition at line 83 of file heur_shiftandpropagate.c.
Referenced by SCIPincludeHeurShiftandpropagate().
#define DEFAULT_PREFERBINARIES TRUE |
Should binary variables be shifted first?
Definition at line 84 of file heur_shiftandpropagate.c.
Referenced by SCIPincludeHeurShiftandpropagate().
#define DEFAULT_SELECTBEST FALSE |
should the heuristic choose the best candidate in every round? (set to FALSE for static order)?
Definition at line 85 of file heur_shiftandpropagate.c.
Referenced by SCIPincludeHeurShiftandpropagate().
#define DEFAULT_MAXCUTOFFQUOT 0.0 |
maximum percentage of allowed cutoffs before stopping the heuristic
Definition at line 86 of file heur_shiftandpropagate.c.
Referenced by SCIPincludeHeurShiftandpropagate().
#define SORTKEYS "nrtuv |
options sorting key: (n)orms down, norms (u)p, (v)iolated rows decreasing, viola(t)ed rows increasing, or (r)andom
Definition at line 87 of file heur_shiftandpropagate.c.
Referenced by SCIPincludeHeurShiftandpropagate().
#define DEFAULT_NOZEROFIXING FALSE |
should variables with a zero shifting value be delayed instead of being fixed?
Definition at line 89 of file heur_shiftandpropagate.c.
Referenced by SCIPincludeHeurShiftandpropagate().
#define DEFAULT_FIXBINLOCKS TRUE |
should binary variables with no locks in one direction be fixed to that direction?
Definition at line 90 of file heur_shiftandpropagate.c.
Referenced by SCIPincludeHeurShiftandpropagate().
#define DEFAULT_BINLOCKSFIRST FALSE |
should binary variables with no locks be preferred in the ordering?
Definition at line 91 of file heur_shiftandpropagate.c.
Referenced by SCIPincludeHeurShiftandpropagate().
#define DEFAULT_NORMALIZE TRUE |
should coefficients and left/right hand sides be normalized by max row coeff?
Definition at line 92 of file heur_shiftandpropagate.c.
#define DEFAULT_UPDATEWEIGHTS FALSE |
should row weight be increased every time the row is violated?
Definition at line 93 of file heur_shiftandpropagate.c.
Referenced by SCIPincludeHeurShiftandpropagate().
#define DEFAULT_IMPLISCONTINUOUS TRUE |
should implicit integer variables be treated as continuous variables?
Definition at line 94 of file heur_shiftandpropagate.c.
Referenced by SCIPincludeHeurShiftandpropagate().
#define DEFAULT_MINFIXINGRATELP 0.0 |
minimum fixing rate over all variables (including continuous) to solve LP
Definition at line 95 of file heur_shiftandpropagate.c.
#define EVENTHDLR_NAME "eventhdlrshiftandpropagate" |
Definition at line 97 of file heur_shiftandpropagate.c.
#define EVENTHDLR_DESC "event handler to catch bound changes" |
Definition at line 98 of file heur_shiftandpropagate.c.
#define EVENTTYPE_SHIFTANDPROPAGATE (SCIP_EVENTTYPE_BOUNDCHANGED | SCIP_EVENTTYPE_GBDCHANGED) |
Definition at line 99 of file heur_shiftandpropagate.c.
Referenced by SCIP_DECL_HEUREXEC().
typedef enum TransformStatus TRANSFORMSTATUS |
Definition at line 154 of file heur_shiftandpropagate.c.
typedef struct ConstraintMatrix CONSTRAINTMATRIX |
Definition at line 178 of file heur_shiftandpropagate.c.
enum TransformStatus |
status of a variable in heuristic transformation
Definition at line 147 of file heur_shiftandpropagate.c.
returns whether a given variable is counted as discrete, depending on the parameter impliscontinuous
var | variable to check for discreteness |
impliscontinuous | should implicit integer variables be counted as continuous? |
Definition at line 199 of file heur_shiftandpropagate.c.
References SCIP_Bool, SCIP_VARTYPE_IMPLINT, SCIPvarGetType(), SCIPvarIsIntegral(), and var.
Referenced by initMatrix(), and SCIP_DECL_HEUREXEC().
returns whether a given column is counted as discrete, depending on the parameter impliscontinuous
col | column to check for discreteness |
impliscontinuous | should implicit integer variables be counted as continuous? |
Definition at line 209 of file heur_shiftandpropagate.c.
References SCIP_Bool, SCIP_VARTYPE_IMPLINT, SCIPcolGetVar(), SCIPcolIsIntegral(), and SCIPvarGetType().
Referenced by initMatrix().
|
static |
returns nonzero values and corresponding columns of given row
matrix | constraint matrix object |
rowindex | index of the desired row |
valpointer | pointer to store the nonzero coefficients of the row |
lhs | lhs of the row |
rhs | rhs of the row |
indexpointer | pointer to store column indices which belong to the nonzeros |
nrowvals | pointer to store number of nonzeros in the desired row (or NULL) |
Definition at line 219 of file heur_shiftandpropagate.c.
References assert(), NULL, and SCIP_Real.
Referenced by checkRowViolation(), and relaxVar().
|
static |
returns nonzero values and corresponding rows of given column
matrix | constraint matrix object |
colindex | the index of the desired column |
valpointer | pointer to store the nonzero coefficients of the column |
indexpointer | pointer to store row indices which belong to the nonzeros |
ncolvals | pointer to store number of nonzeros in the desired column |
Definition at line 258 of file heur_shiftandpropagate.c.
References assert(), NULL, and SCIP_Real.
Referenced by checkViolations(), getOptimalShiftingValue(), transformVariable(), and updateTransformation().
|
static |
relaxes a continuous variable from all its rows, which has influence on both the left and right hand side of the constraint.
scip | current scip instance |
var | variable which is relaxed from the problem |
matrix | constraint matrix object |
Definition at line 291 of file heur_shiftandpropagate.c.
References ABS, assert(), getRowData(), NULL, r, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIPcolGetNLPNonz(), SCIPcolGetRows(), SCIPcolGetVals(), SCIPdebugMsg, SCIPinfinity(), SCIPisFeasNegative(), SCIPisFeasPositive(), SCIPisInfinity(), SCIProwGetLPPos(), SCIProwGetName(), SCIPvarGetCol(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), and var.
Referenced by initMatrix().
|
static |
transforms bounds of a given variable s.t. its lower bound equals zero afterwards. If the variable already has lower bound zero, the variable is not transformed, if not, the variable's bounds are changed w.r.t. the smaller absolute value of its bounds in order to avoid numerical inaccuracies. If both lower and upper bound of the variable differ from infinity, there are two cases. If |lb| <= |ub|, the bounds are shifted by -lb, else a new variable ub - x replaces x. The transformation is memorized by the transform status of the variable s.t. retransformation is possible.
scip | current scip instance |
matrix | constraint matrix object |
heurdata | heuristic data |
colpos | position of variable column in matrix |
Definition at line 389 of file heur_shiftandpropagate.c.
References assert(), FALSE, getColumnData(), heurdata, i, MIN, NULL, REALABS, SCIP_Bool, SCIP_Real, SCIPcolGetVar(), SCIPcolIsInLP(), SCIPdebugMsg, SCIPinfinity(), SCIPisFeasLE(), SCIPisFeasZero(), SCIPisInfinity(), SCIPisLE(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbLocal(), SCIPvarIsIntegral(), TRANSFORMSTATUS_FREE, TRANSFORMSTATUS_LB, TRANSFORMSTATUS_NEG, TRUE, and var.
Referenced by initMatrix(), and updateTransformation().
|
static |
initializes copy of the original coefficient matrix and applies heuristic specific adjustments: normalizing row vectors, transforming variable domains such that lower bound is zero, and relaxing continuous variables.
scip | current scip instance |
matrix | constraint matrix object to be initialized |
heurdata | heuristic data |
colposs | position of columns according to variable type sorting |
nmaxrows | maximum number of rows a variable appears in |
relax | should continuous variables be relaxed from the problem? |
initialized | was the initialization successful? |
infeasible | is the problem infeasible? |
Definition at line 497 of file heur_shiftandpropagate.c.
References ABS, assert(), colIsDiscrete(), FALSE, heurdata, i, lprows, MAX, NULL, relaxVar(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPallocBufferArray, SCIPcolGetLPPos(), SCIPcolGetNLPNonz(), SCIPcolGetRows(), SCIPcolGetVals(), SCIPcolGetVar(), SCIPdebug, SCIPdebugMsg, SCIPgetLPRowsData(), SCIPgetRowMaxCoef(), SCIPinfinity(), SCIPisFeasNegative(), SCIPisFeasPositive(), SCIPisInfinity(), SCIPprintRow(), SCIProwGetCols(), SCIProwGetConstant(), SCIProwGetLhs(), SCIProwGetLPPos(), SCIProwGetNLPNonz(), SCIProwGetRhs(), SCIProwGetVals(), TRANSFORMSTATUS_NONE, transformVariable(), TRUE, var, and varIsDiscrete().
Referenced by SCIP_DECL_HEUREXEC().
|
static |
frees all members of the heuristic matrix
scip | current SCIP instance |
matrix | constraint matrix object |
Definition at line 722 of file heur_shiftandpropagate.c.
References assert(), NULL, SCIPfreeBuffer, and SCIPfreeBufferArray.
Referenced by SCIP_DECL_HEUREXEC().
|
static |
updates the information about a row whenever violation status changes
scip | current SCIP instance |
matrix | constraint matrix object |
rowindex | index of the row |
violatedrows | contains all violated rows |
violatedrowpos | positions of rows in the violatedrows array |
nviolatedrows | pointer to update total number of violated rows |
rowweights | row weight storage |
updateweights | should row weight be increased every time the row is violated? |
Definition at line 770 of file heur_shiftandpropagate.c.
References assert(), c, getRowData(), NULL, SCIP_Bool, SCIPisFeasGE(), SCIPisFeasGT(), SCIPisFeasLE(), and SCIPisFeasLT().
Referenced by checkViolations().
|
static |
collects the necessary information about row violations for the zero-solution. That is, all solution values in heuristic transformation are zero.
scip | current scip instance |
matrix | constraint matrix object |
colidx | column index for specific column, or -1 for all rows |
violatedrows | violated rows |
violatedrowpos | row positions of violated rows |
nviolatedrows | pointer to store the number of violated rows |
rowweights | weight array for every row |
updateweights | should row weight be increased every time the row is violated? |
Definition at line 835 of file heur_shiftandpropagate.c.
References assert(), BMSclearMemoryArray, checkRowViolation(), getColumnData(), i, NULL, SCIP_Bool, SCIPdebugMsg, SCIPisFeasGE(), SCIPisFeasGT(), SCIPisFeasLE(), and SCIPisFeasLT().
Referenced by SCIP_DECL_HEUREXEC(), and updateTransformation().
|
static |
retransforms solution values of variables according to their transformation status
scip | current scip instance |
matrix | constraint matrix object |
var | variable whose solution value has to be retransformed |
varindex | permutation of variable indices according to sorting |
solvalue | solution value of the variable |
Definition at line 896 of file heur_shiftandpropagate.c.
References assert(), NULL, SCIP_Real, SCIPisInfinity(), SCIPvarGetLbLocal(), SCIPvarGetUbLocal(), TRANSFORMSTATUS_LB, TRANSFORMSTATUS_NEG, TRANSFORMSTATUS_NONE, and var.
Referenced by SCIP_DECL_HEUREXEC().
|
static |
determines the best shifting value of a variable
scip | current scip instance |
matrix | constraint matrix object |
varindex | index of variable which should be shifted |
direction | the direction for this variable |
rowweights | weighting of rows for best shift calculation |
steps | buffer array to store the individual steps for individual rows |
violationchange | buffer array to store the individual change of feasibility of row |
beststep | pointer to store optimal shifting step |
rowviolations | pointer to store new weighted sum of row violations, i.e, v - f |
Definition at line 930 of file heur_shiftandpropagate.c.
References assert(), FALSE, getColumnData(), i, MAX, MIN, NULL, SCIP_Bool, SCIP_OKAY, SCIP_Real, SCIPfeasCeil(), SCIPfeasFloor(), SCIPinfinity(), SCIPisFeasLE(), SCIPisFeasLT(), SCIPisGT(), SCIPisInfinity(), SCIPisZero(), SCIPsortRealInt(), and TRUE.
Referenced by SCIP_DECL_HEUREXEC().
|
static |
updates transformation of a given variable by taking into account current local bounds. if the bounds have changed since last update, updating the heuristic specific upper bound of the variable, its current transformed solution value and all affected rows is necessary.
scip | current scip |
matrix | constraint matrix object |
heurdata | heuristic data |
varindex | index of variable in matrix |
lb | local lower bound of the variable |
ub | local upper bound of the variable |
violatedrows | violated rows |
violatedrowpos | violated row positions |
nviolatedrows | pointer to store number of violated rows |
Definition at line 1124 of file heur_shiftandpropagate.c.
References ABS, assert(), checkViolations(), FALSE, getColumnData(), heurdata, i, MIN, NULL, SCIP_Bool, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIPABORT, SCIPdebugMsg, SCIPerrorMessage, SCIPinfinity(), SCIPisFeasZero(), SCIPisInfinity(), SCIPisLE(), TRANSFORMSTATUS_FREE, TRANSFORMSTATUS_LB, TRANSFORMSTATUS_NEG, TRANSFORMSTATUS_NONE, transformVariable(), and TRUE.
Referenced by SCIP_DECL_EVENTEXEC(), and SCIP_DECL_HEUREXEC().
|
static |
comparison method for columns; binary < integer < implicit < continuous variables
Definition at line 1249 of file heur_shiftandpropagate.c.
References assert(), NULL, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_CONTINUOUS, SCIP_VARTYPE_IMPLINT, SCIP_VARTYPE_INTEGER, SCIPABORT, SCIPcolGetVar(), SCIPerrorMessage, and SCIPvarGetType().
|
static |
deinitialization method of primal heuristic(called before transformed problem is freed)
Definition at line 1318 of file heur_shiftandpropagate.c.
References assert(), heurdata, NULL, SCIP_LONGINT_FORMAT, SCIP_OKAY, SCIPfreeRandom(), SCIPheurGetData(), SCIPstatistic, and SCIPstatisticMessage.
|
static |
initialization method of primal heuristic(called after problem was transformed). We only need this method for statistic mode of heuristic.
Definition at line 1350 of file heur_shiftandpropagate.c.
References assert(), DEFAULT_RANDSEED, heurdata, NULL, SCIP_CALL, SCIP_LPSOLSTAT_NOTSOLVED, SCIP_OKAY, SCIPcreateRandom(), SCIPheurGetData(), SCIPstatistic, and TRUE.
|
static |
destructor of primal heuristic to free user data(called when SCIP is exiting)
Definition at line 1375 of file heur_shiftandpropagate.c.
References assert(), heurdata, NULL, SCIP_OKAY, SCIPeventhdlrGetData(), SCIPfreeBlockMemory, SCIPfreeBlockMemoryNull, SCIPheurGetData(), and SCIPheurSetData().
|
static |
copy method for primal heuristic plugins(called when SCIP copies plugins)
Definition at line 1400 of file heur_shiftandpropagate.c.
References assert(), HEUR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIPheurGetName(), and SCIPincludeHeurShiftandpropagate().
|
static |
execution method of primal heuristic
Definition at line 1414 of file heur_shiftandpropagate.c.
References assert(), b, BMSclearMemoryArray, BMScopyMemoryArray, c, checkViolations(), cutoff, DEFAULT_PROPBREAKER, DEFAULT_WEIGHT_EQUALITY, DEFAULT_WEIGHT_INEQUALITY, EVENTTYPE_SHIFTANDPROPAGATE, FALSE, freeMatrix(), getOptimalShiftingValue(), HEUR_NAME, heurdata, i, initMatrix(), lperror, nbinvars, nintvars, nlprows, NULL, nvars, r, REALABS, result, retransformVariable(), SCIP_Bool, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_FOUNDSOL, SCIP_LOCKTYPE_MODEL, SCIP_Longint, SCIP_LONGINT_FORMAT, SCIP_LPSOLSTAT_OPTIMAL, SCIP_MAXSTRLEN, SCIP_MAXTREEDEPTH, SCIP_OKAY, SCIP_Real, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_INTEGER, SCIP_VERBLEVEL_FULL, SCIPallocBuffer, SCIPallocBufferArray, SCIPbacktrackProbing(), SCIPcatchVarEvent(), SCIPceil(), SCIPchgVarLbProbing(), SCIPchgVarUbProbing(), SCIPcolGetLPPos(), SCIPcolGetVar(), SCIPconstructLP(), SCIPcreateSol(), SCIPcutoffNode(), SCIPdebug, SCIPdebugMsg, SCIPdisableVarHistory(), SCIPdropVarEvent(), SCIPenableVarHistory(), SCIPendProbing(), SCIPepsilon(), SCIPeventhdlrGetData(), SCIPfixVarProbing(), SCIPflushLP(), SCIPfreeBuffer, SCIPfreeBufferArray, SCIPfreeSol(), SCIPgetBestSol(), SCIPgetCurrentNode(), SCIPgetDepth(), SCIPgetLPColsData(), SCIPgetLPSolstat(), SCIPgetNContVars(), SCIPgetNLPCols(), SCIPgetNLPIterations(), SCIPgetNLPRows(), SCIPgetNUnfixedLPCols(), SCIPgetNVars(), SCIPgetProbingDepth(), SCIPgetSolOrigObj(), SCIPgetVars(), SCIPhasCurrentNodeLP(), SCIPheurGetData(), SCIPisEQ(), SCIPisFeasEQ(), SCIPisFeasGE(), SCIPisFeasLE(), SCIPisFeasZero(), SCIPisInfinity(), SCIPisLE(), SCIPisLPConstructed(), SCIPisLPSolBasic(), SCIPisStopped(), SCIPlinkLPSol(), SCIPnewProbingNode(), SCIPprintSol(), SCIPpropagateProbing(), SCIPrandomPermuteIntArray(), SCIPsetSolVal(), SCIPsnprintfProbingStats(), SCIPsolSetHeur(), SCIPsolveProbingLP(), SCIPsortDownIntInt(), SCIPsortDownRealInt(), SCIPsortIntInt(), SCIPsortPtr(), SCIPsortRealInt(), SCIPstartProbing(), SCIPstatistic, SCIPstatisticMessage, SCIPtrySol(), SCIPvarGetCol(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUpType(), SCIPvarGetType(), SCIPvarGetUbLocal(), SCIPvarIsBinary(), SCIPvarIsInLP(), SCIPvarIsIntegral(), SCIPverbMessage(), SCIPwarningMessage(), SCIPwriteLP(), sol, TRANSFORMSTATUS_FREE, TRUE, updateTransformation(), var, varIsDiscrete(), and vars.
|
static |
event handler execution method for the heuristic which catches all events in which a lower or upper bound were tightened
Definition at line 2373 of file heur_shiftandpropagate.c.
References assert(), EVENTHDLR_NAME, heurdata, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPcolGetVar(), SCIPeventhdlrGetData(), SCIPeventhdlrGetName(), SCIPvarGetLbLocal(), SCIPvarGetUbLocal(), updateTransformation(), and var.