Detailed Description
generalized variable bounds propagator
Definition in file prop_genvbounds.c.
#include "blockmemshell/memory.h"
#include "scip/cons_linear.h"
#include "scip/debug.h"
#include "scip/prop_genvbounds.h"
#include "scip/pub_event.h"
#include "scip/pub_message.h"
#include "scip/pub_misc.h"
#include "scip/pub_prop.h"
#include "scip/pub_var.h"
#include "scip/scip_conflict.h"
#include "scip/scip_cons.h"
#include "scip/scip_datastructures.h"
#include "scip/scip_event.h"
#include "scip/scip_general.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_prop.h"
#include "scip/scip_sol.h"
#include "scip/scip_solve.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.
Data Structures | |
struct | GenVBound |
Macros | |
#define | PROP_NAME "genvbounds" |
#define | PROP_DESC "generalized variable bounds propagator" |
#define | PROP_TIMING SCIP_PROPTIMING_ALWAYS |
#define | PROP_PRIORITY 3000000 |
#define | PROP_FREQ 1 |
#define | PROP_DELAY FALSE |
#define | PROP_PRESOL_PRIORITY -2000000 |
#define | PROP_PRESOLTIMING SCIP_PRESOLTIMING_FAST /* timing of the presolving method (fast, medium, or exhaustive) */ |
#define | PROP_PRESOL_MAXROUNDS -1 |
#define | DEFAULT_GLOBAL_PROPAGATION TRUE |
#define | DEFAULT_PROPAGATE_IN_ROOT_NODE TRUE |
#define | DEFAULT_SORT TRUE |
#define | DEFAULT_PROPASCONSS FALSE |
#define | EVENTHDLR_NAME "genvbounds" |
#define | EVENTHDLR_DESC "event handler for generalized variable bounds propagator" |
Typedefs | |
typedef struct GenVBound | GENVBOUND |
Macro Definition Documentation
◆ PROP_NAME
#define PROP_NAME "genvbounds" |
Definition at line 58 of file prop_genvbounds.c.
Referenced by SCIPgenVBoundAdd().
◆ PROP_DESC
#define PROP_DESC "generalized variable bounds propagator" |
Definition at line 59 of file prop_genvbounds.c.
◆ PROP_TIMING
#define PROP_TIMING SCIP_PROPTIMING_ALWAYS |
Definition at line 60 of file prop_genvbounds.c.
◆ PROP_PRIORITY
#define PROP_PRIORITY 3000000 |
propagator priority
Definition at line 61 of file prop_genvbounds.c.
◆ PROP_FREQ
#define PROP_FREQ 1 |
propagator frequency
Definition at line 62 of file prop_genvbounds.c.
◆ PROP_DELAY
#define PROP_DELAY FALSE |
should propagation method be delayed, if other propagators found reductions?
Definition at line 63 of file prop_genvbounds.c.
◆ PROP_PRESOL_PRIORITY
#define PROP_PRESOL_PRIORITY -2000000 |
priority of the presolving method (>= 0: before, < 0: after constraint handlers); combined with presolvers
Definition at line 66 of file prop_genvbounds.c.
◆ PROP_PRESOLTIMING
#define PROP_PRESOLTIMING SCIP_PRESOLTIMING_FAST /* timing of the presolving method (fast, medium, or exhaustive) */ |
Definition at line 69 of file prop_genvbounds.c.
◆ PROP_PRESOL_MAXROUNDS
#define PROP_PRESOL_MAXROUNDS -1 |
maximal number of presolving rounds the presolver participates in (-1: no limit)
Definition at line 70 of file prop_genvbounds.c.
◆ DEFAULT_GLOBAL_PROPAGATION
#define DEFAULT_GLOBAL_PROPAGATION TRUE |
apply global propagation?
Definition at line 73 of file prop_genvbounds.c.
◆ DEFAULT_PROPAGATE_IN_ROOT_NODE
#define DEFAULT_PROPAGATE_IN_ROOT_NODE TRUE |
apply genvbounds in root node if no new incumbent was found?
Definition at line 74 of file prop_genvbounds.c.
◆ DEFAULT_SORT
#define DEFAULT_SORT TRUE |
sort genvbounds and wait for bound change events? (otherwise all genvbounds are applied in each node)
Definition at line 75 of file prop_genvbounds.c.
◆ DEFAULT_PROPASCONSS
#define DEFAULT_PROPASCONSS FALSE |
should genvbounds be transformed to (linear) constraints?
Definition at line 78 of file prop_genvbounds.c.
◆ EVENTHDLR_NAME
#define EVENTHDLR_NAME "genvbounds" |
Definition at line 80 of file prop_genvbounds.c.
◆ EVENTHDLR_DESC
#define EVENTHDLR_DESC "event handler for generalized variable bounds propagator" |
Definition at line 81 of file prop_genvbounds.c.
Typedef Documentation
◆ GENVBOUND
Definition at line 104 of file prop_genvbounds.c.
Function Documentation
◆ getCutoffboundGenVBound()
returns correct cutoff bound value
- Parameters
-
scip SCIP data structure
Definition at line 170 of file prop_genvbounds.c.
Referenced by createConstraints(), getGenVBoundsBound(), and resolveGenVBoundPropagation().
◆ getGenVBound()
|
static |
returns corresponding genvbound in genvboundstore if there is one, NULL otherwise
- Parameters
-
scip SCIP data structure propdata data of the genvbounds propagator var bounds variable boundtype bounds type
Definition at line 191 of file prop_genvbounds.c.
References GenVBound::boundtype, GenVBound::coefs, GenVBound::constant, GenVBound::cutoffcoef, FALSE, getGenVBoundsMinActivity(), GenVBound::ncoefs, NULL, SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_Real, SCIPdebugMsgPrint, SCIPhashmapGetImage(), SCIPisZero(), SCIPvarGetName(), TRUE, GenVBound::var, and GenVBound::vars.
Referenced by addNewGenVBound(), and SCIPgenVBoundAdd().
◆ getGenVBoundsMinActivity()
|
static |
calculates the minactivity of a linear combination of variables stored in an array
- Parameters
-
scip SCIP data structure vars array of variables coefs array of coefficients nvars number of variables global use global variable bounds?
Definition at line 258 of file prop_genvbounds.c.
References bound, GenVBound::coefs, getGenVBoundsMinActivityConflict(), NULL, SCIP_Real, SCIPinfinity(), SCIPisInfinity(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), and GenVBound::vars.
Referenced by getGenVBound(), and getGenVBoundsBound().
◆ getGenVBoundsMinActivityConflict()
|
static |
calculates the minactivity of a linear combination of variables stored in the current conflict set
- Parameters
-
scip SCIP data structure vars array of variables coefs array of coefficients nvars number of variables bdchgidx bound change at which minactivity should be computed; if NULL use local bounds
Definition at line 299 of file prop_genvbounds.c.
References bound, getGenVBoundsBound(), NULL, SCIP_Bool, SCIP_Real, SCIPgetConflictVarLb(), SCIPgetConflictVarUb(), SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), SCIPinfinity(), SCIPisEQ(), SCIPisInfinity(), SCIPvarGetLbLocal(), SCIPvarGetUbLocal(), and TRUE.
Referenced by getGenVBoundsMinActivity(), and resolveGenVBoundPropagation().
◆ getGenVBoundsBound()
returns a valid bound given by a generalized variable bound
- Parameters
-
scip SCIP data structure genvbound generalized variable bound global use global variable bounds?
Definition at line 359 of file prop_genvbounds.c.
References GenVBound::boundtype, GenVBound::coefs, GenVBound::constant, createStartingData(), GenVBound::cutoffcoef, getCutoffboundGenVBound(), getGenVBoundsMinActivity(), GenVBound::ncoefs, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIP_UNKNOWN, SCIPdebugCheckLbGlobal, SCIPdebugCheckUbGlobal, SCIPdebugGetSolVal, SCIPgetSolTransObj(), SCIPgetTransObjoffset(), SCIPgetTransObjscale(), SCIPinfinity(), SCIPisInfinity(), GenVBound::var, and GenVBound::vars.
Referenced by applyGenVBound(), and getGenVBoundsMinActivityConflict().
◆ createStartingData()
|
static |
allocate local and global startindices, startcomponents and startmap
- Parameters
-
scip SCIP data structure propdata data of the genvbounds propagator
Definition at line 446 of file prop_genvbounds.c.
References freeStartingData(), NULL, SCIP_CALL, SCIP_OKAY, SCIPallocBlockMemoryArray, SCIPblkmem(), SCIPdebugMsg, and SCIPhashmapCreate().
Referenced by execGenVBounds(), and getGenVBoundsBound().
◆ freeStartingData()
|
static |
free local and global startindices, startcomponents and startmap
- Parameters
-
scip SCIP data structure propdata data of the genvbounds propagator
Definition at line 487 of file prop_genvbounds.c.
References fillGlobalStartingData(), NULL, SCIP_OKAY, SCIPdebugMsg, SCIPfreeBlockMemoryArray, and SCIPhashmapFree().
Referenced by createConstraints(), createStartingData(), execGenVBounds(), freeGenVBounds(), and freeGenVBoundsRelaxOnly().
◆ fillGlobalStartingData()
|
static |
- Parameters
-
scip SCIP data structure propdata data of the genvbounds propagator
Definition at line 532 of file prop_genvbounds.c.
References NULL, resetLocalStartingData(), SCIP_CALL, SCIP_OKAY, SCIPdebugMsg, SCIPisNegative(), SCIPisZero(), and SCIPreallocBlockMemoryArray.
Referenced by execGenVBounds(), and freeStartingData().
◆ resetLocalStartingData()
|
static |
resets local starting data
- Parameters
-
scip SCIP data structure propdata data of the genvbounds propagator
Definition at line 586 of file prop_genvbounds.c.
References freeComponentsData(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPhashmapRemoveAll().
Referenced by applyGenVBounds(), and fillGlobalStartingData().
◆ freeComponentsData()
|
static |
frees sorted components data
- Parameters
-
scip SCIP data structure propdata data of the genvbounds propagator
Definition at line 606 of file prop_genvbounds.c.
References freeGenVBound(), NULL, SCIP_OKAY, SCIPdebugMsg, and SCIPfreeBlockMemoryArray.
Referenced by createConstraints(), execGenVBounds(), freeGenVBounds(), freeGenVBoundsRelaxOnly(), and resetLocalStartingData().
◆ freeGenVBound()
|
static |
frees memory allocated for a generalized variable bound
Definition at line 633 of file prop_genvbounds.c.
References GenVBound::coefs, GenVBound::coefssize, freeGenVBounds(), GenVBound::ncoefs, NULL, SCIP_CALL, SCIP_OKAY, SCIPfreeBlockMemory, SCIPfreeBlockMemoryArray, SCIPreleaseVar(), GenVBound::var, and GenVBound::vars.
Referenced by createConstraints(), freeComponentsData(), freeGenVBounds(), and freeGenVBoundsRelaxOnly().
◆ freeGenVBounds()
|
static |
helper function to release all genvbounds
Definition at line 664 of file prop_genvbounds.c.
References freeComponentsData(), freeGenVBound(), freeGenVBoundsRelaxOnly(), freeStartingData(), NULL, SCIP_CALL, SCIP_LOCKTYPE_MODEL, SCIP_OKAY, SCIPaddVarLocksType(), SCIPdebugMsg, SCIPfreeBlockMemoryArray, SCIPhashmapFree(), and SCIPreleaseVar().
Referenced by freeGenVBound().
◆ freeGenVBoundsRelaxOnly()
|
static |
helper function to release relax-only genvbounds
Definition at line 713 of file prop_genvbounds.c.
References FALSE, freeComponentsData(), freeGenVBound(), freeStartingData(), NULL, resolveGenVBoundPropagation(), SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_CALL, SCIP_OKAY, SCIPhashmapRemove(), and TRUE.
Referenced by freeGenVBounds().
◆ resolveGenVBoundPropagation()
|
static |
resolves propagation of lower bound on +/- left-hand side variable of a generalized variable bound
- Parameters
-
scip SCIP data structure genvbound genvbound data structure bdchgidx the index of the bound change, representing the point of time where the change took place boundval pointer to lower bound value on +/- left-hand side variable success was the explanation succesful?
Definition at line 765 of file prop_genvbounds.c.
References analyzeGenVBoundConflict(), GenVBound::boundtype, GenVBound::coefs, GenVBound::constant, GenVBound::cutoffcoef, FALSE, getCutoffboundGenVBound(), getGenVBoundsMinActivityConflict(), MAX, GenVBound::ncoefs, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPaddConflictRelaxedLb(), SCIPaddConflictRelaxedUb(), SCIPdebugMsg, SCIPfeasCeil(), SCIPgetConflictVarLb(), SCIPgetConflictVarUb(), SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), SCIPisEQ(), SCIPisGE(), SCIPisGT(), SCIPisLE(), SCIPisLT(), SCIPisPositive(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), SCIPvarIsIntegral(), TRUE, GenVBound::var, and GenVBound::vars.
Referenced by analyzeGenVBoundConflict(), and freeGenVBoundsRelaxOnly().
◆ analyzeGenVBoundConflict()
|
static |
create initial conflict
- Parameters
-
scip SCIP data structure genvbound genvbound data structure
Definition at line 983 of file prop_genvbounds.c.
References applyGenVBound(), bound, GenVBound::boundtype, MAX, NULL, REALABS, resolveGenVBoundPropagation(), SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_CALL, SCIP_CONFTYPE_PROPAGATION, SCIP_OKAY, SCIP_Real, SCIPaddConflictRelaxedLb(), SCIPaddConflictRelaxedUb(), SCIPanalyzeConflict(), SCIPdebugMsg, SCIPfeastol(), SCIPgetConflictVarLb(), SCIPgetConflictVarUb(), SCIPgetCutoffbound(), SCIPinitConflictAnalysis(), SCIPisConflictAnalysisApplicable(), SCIPisFeasGT(), SCIPisFeasLT(), SCIPisGE(), SCIPisInfinity(), SCIPisLE(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbLocal(), and GenVBound::var.
Referenced by applyGenVBound(), and resolveGenVBoundPropagation().
◆ applyGenVBound()
|
static |
apply propagation for one generalized variable bound; also if the left-hand side variable is locally fixed, we compute the right-hand side minactivity to possibly detect infeasibility
- Parameters
-
scip SCIP data structure prop genvbounds propagator genvbound genvbound data structure global apply global bound changes? (global: true, local: false) result result pointer nchgbds counter to increment if bound was tightened
Definition at line 1115 of file prop_genvbounds.c.
References analyzeGenVBoundConflict(), GenVBound::boundtype, FALSE, freeEventData(), getGenVBoundsBound(), GenVBound::index, GenVBound::ncoefs, NULL, REALABS, SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTRUN, SCIP_OKAY, SCIP_Real, SCIP_REDUCEDDOM, SCIP_STAGE_PRESOLVING, SCIP_SUCCESS, SCIP_VARSTATUS_MULTAGGR, SCIPdebugMessage, SCIPdebugMsg, SCIPdebugPrintf, SCIPgetStage(), SCIPinferVarLbProp(), SCIPinferVarUbProp(), SCIPisInfinity(), SCIPtightenVarLbGlobal(), SCIPtightenVarUbGlobal(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), and GenVBound::var.
Referenced by analyzeGenVBoundConflict(), and applyGenVBounds().
◆ freeEventData()
|
static |
frees event data
- Parameters
-
scip SCIP data structure eventdata event data to be freed
Definition at line 1249 of file prop_genvbounds.c.
References freeAllEventData(), NULL, SCIP_OKAY, SCIPfreeBlockMemory, and SCIPfreeBlockMemoryArray.
Referenced by applyGenVBound(), and freeAllEventData().
◆ freeAllEventData()
|
static |
frees all eventdata stored
- Parameters
-
scip SCIP data structure propdata data of the genvbounds propagator
Definition at line 1273 of file prop_genvbounds.c.
References dropAndFreeEvents(), freeEventData(), NULL, SCIP_CALL, SCIP_OKAY, SCIPfreeBlockMemoryArray, and SCIPhashmapFree().
Referenced by dropAndFreeEvents(), and freeEventData().
◆ dropAndFreeEvents()
|
static |
drops all events caught by genvbounds propagator and frees their data
- Parameters
-
scip SCIP data structure propdata data of the genvbounds propagator
Definition at line 1320 of file prop_genvbounds.c.
References freeAllEventData(), getEventData(), NULL, SCIP_CALL, SCIP_EVENTTYPE_LBTIGHTENED, SCIP_EVENTTYPE_UBTIGHTENED, SCIP_OKAY, SCIPdebugMsg, SCIPdropVarEvent(), and GenVBound::var.
Referenced by createConstraints(), execGenVBounds(), and freeAllEventData().
◆ getEventData()
|
static |
returns the corresponding event data entry in the corresponding array, if there is one; if not: allocates a new event data entry, stores it in the array and returns its adress
- Parameters
-
scip SCIP data structure propdata data of the genvbounds propagator var variable boundtype type of bound eventdata event data to return
Definition at line 1369 of file prop_genvbounds.c.
References addEventData(), NULL, SCIP_BOUNDTYPE_LOWER, SCIP_CALL, SCIP_OKAY, SCIPallocBlockMemory, SCIPallocBlockMemoryArray, SCIPhashmapExists(), SCIPhashmapGetImage(), SCIPhashmapInsert(), and GenVBound::var.
Referenced by addEventData(), and dropAndFreeEvents().
◆ addEventData()
|
static |
adds an event to the event array lbevents (if boundtype == SCIP_BOUNDTYPE_LOWER) or ubevents (if boundtype == SCIP_BOUNDTYPE_UPPER)
- Parameters
-
scip SCIP data structure propdata data of the genvbounds propagator var variable thats event to be added startindex starting index startcomponent starting components index boundtype type of bound
Definition at line 1421 of file prop_genvbounds.c.
References getEventData(), NULL, SCIP_CALL, SCIP_OKAY, and setUpEvents().
Referenced by getEventData(), and setUpEvents().
◆ setUpEvents()
|
static |
- Parameters
-
scip SCIP data structure propdata data of the genvbounds propagator
Definition at line 1464 of file prop_genvbounds.c.
References addEventData(), GenVBound::coefs, GenVBound::ncoefs, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_EVENTTYPE_LBTIGHTENED, SCIP_EVENTTYPE_UBTIGHTENED, SCIP_OKAY, SCIPallocBlockMemoryArray, SCIPblkmem(), SCIPcatchVarEvent(), SCIPdebugMsg, SCIPgetNFixedVars(), SCIPgetNVars(), SCIPhashmapCreate(), SCIPisPositive(), SCIPreallocBlockMemoryArray, sortGenVBounds(), and GenVBound::vars.
Referenced by addEventData(), and execGenVBounds().
◆ sortGenVBounds()
|
static |
performs a topological sort on genvboundstore array
The genvbounds graph is defined as follows: Given two genvbounds
(genvbound1) c1 * x_i1 >= RHS1
and
(genvbound2) c2 * x_i2 >= RHS2,
there is an arc from genvbound1 to genvbound2 iff c1 = +1 and x_i1 appears with positive coefficient in RHS2 or c1 = -1 and x_i1 appears with negative coefficient in RHS2; in this case, a bound change of x_i1 deduced from genvbound1 improves genvbound2's minactivity in RHS2.
The method computes the strongly connected components and sorts them topologically. The order of the nodes in an strongly connected component is arbitrary.
- Parameters
-
scip SCIP data structure propdata data of the genvbounds propagator
Definition at line 1605 of file prop_genvbounds.c.
References applyGenVBounds(), GenVBound::coefs, GenVBound::index, GenVBound::ncoefs, nnodes, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPallocBlockMemoryArray, SCIPallocBufferArray, SCIPcreateDigraph(), SCIPdebugMsg, SCIPdigraphAddArc(), SCIPdigraphComputeDirectedComponents(), SCIPdigraphComputeUndirectedComponents(), SCIPdigraphFree(), SCIPdigraphGetComponent(), SCIPdigraphGetNComponents(), SCIPdigraphGetNNodes(), SCIPdigraphTopoSortComponents(), SCIPfreeBufferArray, SCIPhashmapExists(), SCIPhashmapGetImage(), SCIPisNegative(), SCIPisPositive(), TRUE, and GenVBound::vars.
Referenced by execGenVBounds(), and setUpEvents().
◆ applyGenVBounds()
|
static |
apply propagation of generalized variable bounds
- Parameters
-
scip SCIP data structure prop genvbounds propagator global use global variable bounds for propagation? result result pointer nchgbds counter to increase by the number of changed bounds
Definition at line 1756 of file prop_genvbounds.c.
References applyGenVBound(), initPropdata(), NULL, resetLocalStartingData(), SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_OKAY, SCIPdebugMsg, SCIPgetDepth(), SCIPinProbing(), SCIPpropGetData(), and SCIPvarIsActive().
Referenced by execGenVBounds(), and sortGenVBounds().
◆ initPropdata()
|
static |
initialize propagator data
- Parameters
-
scip SCIP data structure propdata data of the genvbounds propagator
Definition at line 1847 of file prop_genvbounds.c.
References addNewGenVBound(), BMSclearMemoryArray, NULL, SCIP_CALL, SCIP_OKAY, SCIPallocBlockMemoryArray, SCIPblkmem(), SCIPdebugMsg, SCIPgetNVars(), and SCIPhashmapCreate().
Referenced by applyGenVBounds(), and SCIPgenVBoundAdd().
◆ addNewGenVBound()
|
static |
adds a new genvbound to genvboundstore array and sets a hashmap entry
- Parameters
-
scip SCIP data structure propdata data of the genvbounds propagator genvbound genvbound to be added
Definition at line 1877 of file prop_genvbounds.c.
References execGenVBounds(), getGenVBound(), NULL, SCIP_BOUNDTYPE_LOWER, SCIP_CALL, SCIP_OKAY, SCIPhashmapInsert(), and SCIPreallocBlockMemoryArray.
Referenced by initPropdata(), and SCIPgenVBoundAdd().
◆ execGenVBounds()
|
static |
runs propagation routine
- Parameters
-
scip SCIP data structure propdata data of the genvbounds propagator result result pointer local should local propagation be applied? nchgbds counter to increase by the number of changed bounds
Definition at line 1917 of file prop_genvbounds.c.
References applyGenVBounds(), createConstraints(), createStartingData(), dropAndFreeEvents(), FALSE, fillGlobalStartingData(), freeComponentsData(), freeStartingData(), NULL, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_OKAY, SCIPdebugMsg, SCIPgetCurrentNode(), SCIPgetCutoffbound(), SCIPgetDepth(), SCIPinProbing(), SCIPisFeasLT(), setUpEvents(), sortGenVBounds(), and TRUE.
Referenced by addNewGenVBound().
◆ createConstraints()
|
static |
- Parameters
-
scip SCIP data structure propdata data of the genvbounds propagator
Definition at line 2002 of file prop_genvbounds.c.
References GenVBound::boundtype, GenVBound::coefs, GenVBound::constant, GenVBound::cutoffcoef, dropAndFreeEvents(), FALSE, freeComponentsData(), freeGenVBound(), freeStartingData(), getCutoffboundGenVBound(), GenVBound::index, GenVBound::ncoefs, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_CALL, SCIP_LOCKTYPE_MODEL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIP_VARTYPE_CONTINUOUS, SCIPaddCons(), SCIPaddVar(), SCIPaddVarLocksType(), SCIPallocBufferArray, SCIPcreateConsLinear(), SCIPcreateVarBasic(), SCIPdebugMsg, SCIPdebugMsgPrint, SCIPfreeBlockMemoryArray, SCIPfreeBufferArray, SCIPgenVBoundAdd(), SCIPhashmapFree(), SCIPinfinity(), SCIPmarkDoNotMultaggrVar(), SCIPreleaseCons(), SCIPsnprintf(), SCIPvarGetName(), TRUE, GenVBound::var, and GenVBound::vars.
Referenced by execGenVBounds().
◆ SCIP_DECL_PROPCOPY()
|
static |
copy method for propagator plugins (called when SCIP copies plugins)
- Note
- The UG framework assumes that all default plug-ins of SCIP implement a copy callback.
Definition at line 2314 of file prop_genvbounds.c.
Referenced by SCIPgenVBoundAdd().
◆ SCIP_DECL_PROPINIT()
|
static |
initialization method of propagator (called after problem was transformed)
Definition at line 2328 of file prop_genvbounds.c.
◆ SCIP_DECL_PROPPRESOL()
|
static |
presolving method of propagator
Definition at line 2373 of file prop_genvbounds.c.
◆ SCIP_DECL_PROPINITPRE()
|
static |
presolving initialization method of propagator (called when presolving is about to begin)
Definition at line 2408 of file prop_genvbounds.c.
◆ SCIP_DECL_PROPEXITPRE()
|
static |
presolving deinitialization method of propagator (called after presolving has been finished)
Definition at line 2436 of file prop_genvbounds.c.
◆ SCIP_DECL_PROPEXIT()
|
static |
deinitialization method of propagator (called before transformed problem is freed)
Definition at line 2550 of file prop_genvbounds.c.
◆ SCIP_DECL_PROPEXEC()
|
static |
execution method of propagator
Definition at line 2570 of file prop_genvbounds.c.
◆ SCIP_DECL_PROPRESPROP()
|
static |
propagation conflict resolving method of propagator
Definition at line 2650 of file prop_genvbounds.c.
◆ SCIP_DECL_PROPEXITSOL()
|
static |
solving process deinitialization method of propagator (called before branch and bound process data is freed)
Definition at line 2719 of file prop_genvbounds.c.
◆ SCIP_DECL_PROPFREE()
|
static |
destructor of propagator to free user data (called when SCIP is exiting)
Definition at line 2752 of file prop_genvbounds.c.
◆ SCIP_DECL_EVENTEXEC()
|
static |
Definition at line 2775 of file prop_genvbounds.c.