Detailed Description
constraint handler for linking constraints
The constraints handler stores linking constraints between a linking variable (integer or continuous) and an array of binary variables. Such a linking constraint has the form:
linkvar = sum_{i=1}^n {vals[i] * binvars[i]}
with the additional side condition that exactly one binary variable has to be one (set partitioning condition).
This constraint can be created only with the linking variable if it is an integer variable. In this case the binary variables are only created on demand. That is, whenever someone asks for the binary variables. Therefore, such constraints can be used to get a "binary representation" of the domain of the linking variable which will be dynamically created.
Definition in file cons_linking.c.
#include "blockmemshell/memory.h"
#include "scip/cons_linear.h"
#include "scip/cons_linking.h"
#include "scip/cons_setppc.h"
#include "scip/pub_cons.h"
#include "scip/pub_event.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_var.h"
#include "scip/scip_conflict.h"
#include "scip/scip_cons.h"
#include "scip/scip_copy.h"
#include "scip/scip_cut.h"
#include "scip/scip_event.h"
#include "scip/scip_general.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_sol.h"
#include "scip/scip_tree.h"
#include "scip/scip_var.h"
#include <ctype.h>
#include <string.h>
Go to the source code of this file.
Macros | |
#define | CONSHDLR_NAME "linking" |
#define | CONSHDLR_DESC "linking constraint x = sum_{i=1}^{n} c_i*y_i, y1+...+yn = 1, x real, y's binary" |
#define | EVENTHDLR_NAME "linking" |
#define | EVENTHDLR_DESC "event handler for linking constraints" |
#define | CONSHDLR_SEPAPRIORITY 750000 |
#define | CONSHDLR_ENFOPRIORITY -2050000 |
#define | CONSHDLR_CHECKPRIORITY -750000 |
#define | CONSHDLR_SEPAFREQ 1 |
#define | CONSHDLR_PROPFREQ 1 |
#define | CONSHDLR_EAGERFREQ 100 |
#define | CONSHDLR_MAXPREROUNDS -1 |
#define | CONSHDLR_DELAYSEPA FALSE |
#define | CONSHDLR_DELAYPROP FALSE |
#define | CONSHDLR_NEEDSCONS TRUE |
#define | CONSHDLR_PROP_TIMING SCIP_PROPTIMING_BEFORELP |
#define | CONSHDLR_PRESOLTIMING SCIP_PRESOLTIMING_MEDIUM |
#define | HASHSIZE_BINVARSCONS 500 |
#define | DEFAULT_LINEARIZE FALSE |
Functions | |
static void * | getHashmapKey (SCIP_VAR *var) |
static void | consdataSort (SCIP_CONSDATA *consdata) |
static SCIP_RETCODE | lockRounding (SCIP *scip, SCIP_CONS *cons, SCIP_VAR **binvars, int nbinvars) |
static SCIP_RETCODE | conshdlrdataCreate (SCIP *scip, SCIP_CONSHDLRDATA **conshdlrdata, SCIP_EVENTHDLR *eventhdlr) |
static void | conshdlrdataFree (SCIP *scip, SCIP_CONSHDLRDATA **conshdlrdata) |
static SCIP_RETCODE | consdataPrint (SCIP *scip, SCIP_CONSDATA *consdata, FILE *file) |
static SCIP_RETCODE | catchEvent (SCIP *scip, SCIP_CONSDATA *consdata, SCIP_EVENTHDLR *eventhdlr, int pos) |
static SCIP_RETCODE | dropEvent (SCIP *scip, SCIP_CONSDATA *consdata, SCIP_EVENTHDLR *eventhdlr, int pos) |
static SCIP_RETCODE | catchAllEvents (SCIP *scip, SCIP_CONSDATA *consdata, SCIP_EVENTHDLR *eventhdlr) |
static SCIP_RETCODE | dropAllEvents (SCIP *scip, SCIP_CONSDATA *consdata, SCIP_EVENTHDLR *eventhdlr) |
static SCIP_RETCODE | consdataLinearize (SCIP *scip, SCIP_CONS *cons, SCIP_CONSDATA *consdata) |
static SCIP_RETCODE | consdataCreateBinvars (SCIP *scip, SCIP_CONS *cons, SCIP_CONSDATA *consdata, SCIP_EVENTHDLR *eventhdlr, SCIP_Bool linearize) |
static SCIP_RETCODE | consdataCreate (SCIP *scip, SCIP_EVENTHDLR *eventhdlr, SCIP_CONSDATA **consdata, SCIP_VAR *linkvar, SCIP_VAR **binvars, SCIP_Real *vals, int nbinvars) |
static SCIP_RETCODE | consdataFree (SCIP *scip, SCIP_CONSDATA **consdata) |
static SCIP_RETCODE | analyzeConflict (SCIP *scip, SCIP_CONS *cons, SCIP_VAR *linkvar, SCIP_VAR *binvar, SCIP_Bool lblinkvar, SCIP_Bool ublinkvar) |
static SCIP_RETCODE | consFixLinkvar (SCIP *scip, SCIP_CONS *cons, int pos, SCIP_Bool *cutoff) |
static SCIP_RETCODE | processRealBoundChg (SCIP *scip, SCIP_CONS *cons, SCIP_Bool *cutoff, int *nchgbds, SCIP_Bool *mustcheck) |
static SCIP_RETCODE | delCoefPos (SCIP *scip, SCIP_EVENTHDLR *eventhdlr, SCIP_CONS *cons, int pos) |
static SCIP_RETCODE | removeFixedBinvars (SCIP *scip, SCIP_EVENTHDLR *eventhdlr, SCIP_CONS *cons) |
static SCIP_RETCODE | tightenedLinkvar (SCIP *scip, SCIP_CONS *cons, SCIP_CONSDATA *consdata, SCIP_Bool *cutoff, int *nchgbds) |
static SCIP_RETCODE | processBinvarFixings (SCIP *scip, SCIP_CONS *cons, SCIP_Bool *cutoff, int *nchgbds, SCIP_Bool *addcut, SCIP_Bool *mustcheck) |
static SCIP_Bool | checkCons (SCIP *scip, SCIP_CONS *cons, SCIP_SOL *sol) |
static SCIP_RETCODE | createRows (SCIP *scip, SCIP_CONS *cons) |
static SCIP_RETCODE | addCuts (SCIP *scip, SCIP_CONS *cons, SCIP_Bool *cutoff) |
static SCIP_RETCODE | separateCons (SCIP *scip, SCIP_CONS *cons, SCIP_SOL *sol, SCIP_Bool *cutoff, SCIP_Bool *separated, int *nchgbds) |
static SCIP_RETCODE | enforcePseudo (SCIP *scip, SCIP_CONS *cons, SCIP_Bool *cutoff, SCIP_Bool *infeasible, int *nchgbds, SCIP_Bool *solvelp) |
static SCIP_RETCODE | enforceConstraint (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_CONS **conss, int nconss, int nusefulconss, SCIP_SOL *sol, SCIP_RESULT *result) |
static | SCIP_DECL_CONSHDLRCOPY (conshdlrCopyLinking) |
static | SCIP_DECL_CONSFREE (consFreeLinking) |
static | SCIP_DECL_CONSINITPRE (consInitpreLinking) |
static | SCIP_DECL_CONSEXITSOL (consExitsolLinking) |
static | SCIP_DECL_CONSDELETE (consDeleteLinking) |
static | SCIP_DECL_CONSTRANS (consTransLinking) |
static | SCIP_DECL_CONSINITLP (consInitlpLinking) |
static | SCIP_DECL_CONSSEPALP (consSepalpLinking) |
static | SCIP_DECL_CONSSEPASOL (consSepasolLinking) |
static | SCIP_DECL_CONSENFOLP (consEnfolpLinking) |
static | SCIP_DECL_CONSENFORELAX (consEnforelaxLinking) |
static | SCIP_DECL_CONSENFOPS (consEnfopsLinking) |
static | SCIP_DECL_CONSCHECK (consCheckLinking) |
static | SCIP_DECL_CONSPROP (consPropLinking) |
static | SCIP_DECL_CONSPRESOL (consPresolLinking) |
static | SCIP_DECL_CONSRESPROP (consRespropLinking) |
static | SCIP_DECL_CONSLOCK (consLockLinking) |
static | SCIP_DECL_CONSENABLE (consEnableLinking) |
static | SCIP_DECL_CONSPRINT (consPrintLinking) |
static | SCIP_DECL_CONSCOPY (consCopyLinking) |
static | SCIP_DECL_CONSPARSE (consParseLinking) |
static | SCIP_DECL_CONSGETVARS (consGetVarsLinking) |
static | SCIP_DECL_CONSGETNVARS (consGetNVarsLinking) |
static | SCIP_DECL_EVENTEXEC (eventExecBinvar) |
SCIP_RETCODE | SCIPincludeConshdlrLinking (SCIP *scip) |
SCIP_RETCODE | SCIPcreateConsLinking (SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR *linkvar, SCIP_VAR **binvars, SCIP_Real *vals, int nbinvars, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool modifiable, SCIP_Bool dynamic, SCIP_Bool removable, SCIP_Bool stickingatnode) |
SCIP_RETCODE | SCIPcreateConsBasicLinking (SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR *linkvar, SCIP_VAR **binvars, SCIP_Real *vals, int nbinvars) |
SCIP_Bool | SCIPexistsConsLinking (SCIP *scip, SCIP_VAR *linkvar) |
SCIP_CONS * | SCIPgetConsLinking (SCIP *scip, SCIP_VAR *linkvar) |
SCIP_VAR * | SCIPgetLinkvarLinking (SCIP *scip, SCIP_CONS *cons) |
SCIP_RETCODE | SCIPgetBinvarsLinking (SCIP *scip, SCIP_CONS *cons, SCIP_VAR ***binvars, int *nbinvars) |
int | SCIPgetNBinvarsLinking (SCIP *scip, SCIP_CONS *cons) |
SCIP_Real * | SCIPgetValsLinking (SCIP *scip, SCIP_CONS *cons) |
SCIP_RETCODE | SCIPgetBinvarsDataLinking (SCIP_CONS *cons, SCIP_VAR ***binvars, SCIP_Real **vals, int *nbinvars) |
Macro Definition Documentation
◆ CONSHDLR_NAME
#define CONSHDLR_NAME "linking" |
Definition at line 72 of file cons_linking.c.
Referenced by enforceConstraint(), enforcePseudo(), processBinvarFixings(), processRealBoundChg(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSFREE(), SCIP_DECL_CONSHDLRCOPY(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIPcreateConsLinking(), SCIPexistsConsLinking(), SCIPgetBinvarsDataLinking(), SCIPgetBinvarsLinking(), SCIPgetConsLinking(), SCIPgetLinkvarLinking(), SCIPgetNBinvarsLinking(), SCIPgetValsLinking(), SCIPincludeConshdlrLinking(), and separateCons().
◆ CONSHDLR_DESC
#define CONSHDLR_DESC "linking constraint x = sum_{i=1}^{n} c_i*y_i, y1+...+yn = 1, x real, y's binary" |
Definition at line 73 of file cons_linking.c.
Referenced by SCIPincludeConshdlrLinking().
◆ EVENTHDLR_NAME
#define EVENTHDLR_NAME "linking" |
Definition at line 75 of file cons_linking.c.
Referenced by SCIP_DECL_EVENTEXEC(), and SCIPincludeConshdlrLinking().
◆ EVENTHDLR_DESC
#define EVENTHDLR_DESC "event handler for linking constraints" |
Definition at line 76 of file cons_linking.c.
Referenced by SCIPincludeConshdlrLinking().
◆ CONSHDLR_SEPAPRIORITY
#define CONSHDLR_SEPAPRIORITY 750000 |
priority of the constraint handler for separation
Definition at line 78 of file cons_linking.c.
Referenced by SCIPincludeConshdlrLinking().
◆ CONSHDLR_ENFOPRIORITY
#define CONSHDLR_ENFOPRIORITY -2050000 |
priority of the constraint handler for constraint enforcing
Definition at line 79 of file cons_linking.c.
Referenced by SCIPincludeConshdlrLinking().
◆ CONSHDLR_CHECKPRIORITY
#define CONSHDLR_CHECKPRIORITY -750000 |
priority of the constraint handler for checking feasibility
Definition at line 80 of file cons_linking.c.
Referenced by SCIPincludeConshdlrLinking().
◆ CONSHDLR_SEPAFREQ
#define CONSHDLR_SEPAFREQ 1 |
frequency for separating cuts; zero means to separate only in the root node
Definition at line 81 of file cons_linking.c.
Referenced by SCIPincludeConshdlrLinking().
◆ CONSHDLR_PROPFREQ
#define CONSHDLR_PROPFREQ 1 |
frequency for propagating domains; zero means only preprocessing propagation
Definition at line 82 of file cons_linking.c.
Referenced by SCIPincludeConshdlrLinking().
◆ CONSHDLR_EAGERFREQ
#define CONSHDLR_EAGERFREQ 100 |
frequency for using all instead of only the useful constraints in separation, propagation and enforcement, -1 for no eager evaluations, 0 for first only
Definition at line 83 of file cons_linking.c.
Referenced by SCIPincludeConshdlrLinking().
◆ CONSHDLR_MAXPREROUNDS
#define CONSHDLR_MAXPREROUNDS -1 |
maximal number of presolving rounds the constraint handler participates in (-1: no limit)
Definition at line 84 of file cons_linking.c.
Referenced by SCIPincludeConshdlrLinking().
◆ CONSHDLR_DELAYSEPA
#define CONSHDLR_DELAYSEPA FALSE |
should separation method be delayed, if other separators found cuts?
Definition at line 85 of file cons_linking.c.
Referenced by SCIPincludeConshdlrLinking().
◆ CONSHDLR_DELAYPROP
#define CONSHDLR_DELAYPROP FALSE |
should propagation method be delayed, if other propagators found reductions?
Definition at line 86 of file cons_linking.c.
Referenced by SCIPincludeConshdlrLinking().
◆ CONSHDLR_NEEDSCONS
#define CONSHDLR_NEEDSCONS TRUE |
should the constraint handler be skipped, if no constraints are available?
Definition at line 87 of file cons_linking.c.
Referenced by SCIPincludeConshdlrLinking().
◆ CONSHDLR_PROP_TIMING
#define CONSHDLR_PROP_TIMING SCIP_PROPTIMING_BEFORELP |
propagation timing mask of the constraint handler
Definition at line 89 of file cons_linking.c.
Referenced by SCIPincludeConshdlrLinking().
◆ CONSHDLR_PRESOLTIMING
#define CONSHDLR_PRESOLTIMING SCIP_PRESOLTIMING_MEDIUM |
presolving timing of the constraint handler (fast, medium, or exhaustive)
Definition at line 90 of file cons_linking.c.
Referenced by SCIPincludeConshdlrLinking().
◆ HASHSIZE_BINVARSCONS
#define HASHSIZE_BINVARSCONS 500 |
minimal size of hash table in linking constraint handler
Definition at line 93 of file cons_linking.c.
Referenced by SCIPcreateConsLinking().
◆ DEFAULT_LINEARIZE
#define DEFAULT_LINEARIZE FALSE |
should the linking constraint be linearize after the binary variable are created
Definition at line 94 of file cons_linking.c.
Referenced by SCIPincludeConshdlrLinking().
Function Documentation
◆ getHashmapKey()
|
static |
returns for a given linking variable the corresponding hash map key
- Parameters
-
var variable to get the hash map key for
Definition at line 132 of file cons_linking.c.
References SCIPvarGetIndex().
Referenced by checkCons(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSTRANS(), SCIPcreateConsLinking(), SCIPexistsConsLinking(), and SCIPgetConsLinking().
◆ consdataSort()
|
static |
- Parameters
-
consdata linking constraint data
Definition at line 142 of file cons_linking.c.
References SCIPsortRealPtr(), and TRUE.
Referenced by processBinvarFixings(), processRealBoundChg(), SCIPgetBinvarsDataLinking(), and SCIPgetValsLinking().
◆ lockRounding()
|
static |
installs rounding locks for the binary variables in the given linking constraint
- Parameters
-
scip SCIP data structure cons linking constraint binvars binary variables nbinvars number of binary variables
Definition at line 158 of file cons_linking.c.
References b, SCIP_CALL, SCIP_OKAY, SCIPlockVarCons(), and TRUE.
Referenced by consdataCreateBinvars().
◆ conshdlrdataCreate()
|
static |
creates constraint handler data for the linking constraint handler
- Parameters
-
scip SCIP data structure conshdlrdata pointer to store the constraint handler data eventhdlr event handler
Definition at line 177 of file cons_linking.c.
References NULL, SCIP_CALL, SCIP_OKAY, and SCIPallocBlockMemory.
Referenced by SCIPincludeConshdlrLinking().
◆ conshdlrdataFree()
|
static |
frees constraint handler data for linking constraint handler
- Parameters
-
scip SCIP data structure conshdlrdata pointer to the constraint handler data
Definition at line 200 of file cons_linking.c.
References NULL, SCIPfreeBlockMemory, and SCIPhashmapFree().
Referenced by SCIP_DECL_CONSFREE().
◆ consdataPrint()
|
static |
prints linking constraint to file stream
- Parameters
-
scip SCIP data structure consdata linking constraint data file output file (or NULL for standard output)
Definition at line 218 of file cons_linking.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPinfoMessage(), SCIPwriteVarName(), and SCIPwriteVarsLinearsum().
Referenced by SCIP_DECL_CONSPRINT().
◆ catchEvent()
|
static |
catches events for variable at given position
- Parameters
-
scip SCIP data structure consdata linking constraint data eventhdlr event handler to call for the event processing pos array position of variable to catch bound change events for
Definition at line 259 of file cons_linking.c.
References NULL, SCIP_CALL, SCIP_EVENTTYPE_BOUNDCHANGED, SCIP_OKAY, SCIPcatchVarEvent(), SCIPisEQ(), SCIPvarGetLbLocal(), and SCIPvarGetUbLocal().
Referenced by catchAllEvents().
◆ dropEvent()
|
static |
drops events for variable at given position
- Parameters
-
scip SCIP data structure consdata linking constraint data eventhdlr event handler to call for the event processing pos array position of variable to catch bound change events for
Definition at line 291 of file cons_linking.c.
References NULL, SCIP_CALL, SCIP_EVENTTYPE_BOUNDCHANGED, SCIP_OKAY, SCIPdropVarEvent(), SCIPisEQ(), SCIPvarGetLbLocal(), and SCIPvarGetUbLocal().
Referenced by delCoefPos(), and dropAllEvents().
◆ catchAllEvents()
|
static |
catches bound change events for all variables in transformed linking constraint
- Parameters
-
scip SCIP data structure consdata linking constraint data eventhdlr event handler to call for the event processing
Definition at line 322 of file cons_linking.c.
References catchEvent(), NULL, SCIP_CALL, and SCIP_OKAY.
Referenced by consdataCreate(), and consdataCreateBinvars().
◆ dropAllEvents()
|
static |
drops bound change events for all variables in transformed linking constraint
- Parameters
-
scip SCIP data structure consdata linking constraint data eventhdlr event handler to call for the event processing
Definition at line 348 of file cons_linking.c.
References dropEvent(), NULL, SCIP_CALL, and SCIP_OKAY.
Referenced by SCIP_DECL_CONSDELETE().
◆ consdataLinearize()
|
static |
linearize the given linking constraint into a set partitioning constraint for the binary variables and a linear constraint for the linking between the linking variable and the binary variables
- Parameters
-
scip SCIP data structure cons linking constraint consdata linking constraint data
Definition at line 375 of file cons_linking.c.
References b, NULL, SCIP_CALL, SCIP_OKAY, SCIPaddCoefLinear(), SCIPaddCons(), SCIPconsGetName(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateConsLinear(), SCIPcreateConsSetpart(), SCIPdebugMsg, and SCIPreleaseCons().
Referenced by consdataCreateBinvars(), SCIP_DECL_CONSENABLE(), and SCIP_DECL_CONSINITPRE().
◆ consdataCreateBinvars()
|
static |
creates the binary variables
- Parameters
-
scip SCIP data structure cons linking constraint consdata linking constraint data eventhdlr event handler for bound change events on binary variables linearize should the linking constraint be linearized
Definition at line 414 of file cons_linking.c.
References b, catchAllEvents(), consdataLinearize(), FALSE, lockRounding(), NULL, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_VARTYPE_BINARY, SCIPaddVar(), SCIPallocBlockMemoryArray, SCIPconvertRealToInt(), SCIPcreateVar(), SCIPdebugMsg, SCIPenableCons(), SCIPisTransformed(), SCIPsnprintf(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetUbGlobal(), and TRUE.
Referenced by SCIPcreateConsLinking(), and SCIPgetBinvarsLinking().
◆ consdataCreate()
|
static |
creates consdata
- Parameters
-
scip SCIP data structure eventhdlr event handler to call for the event processing consdata pointer to constraint data linkvar linking variable which is linked binvars binary variables vals coefficients of the binary variables nbinvars number of binary starting variables
Definition at line 517 of file cons_linking.c.
References catchAllEvents(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_VARTYPE_CONTINUOUS, SCIPallocBlockMemory, SCIPcaptureVar(), SCIPduplicateBlockMemoryArray, SCIPgetTransformedVar(), SCIPgetTransformedVars(), SCIPisTransformed(), and SCIPvarGetType().
Referenced by SCIP_DECL_CONSTRANS(), and SCIPcreateConsLinking().
◆ consdataFree()
|
static |
free consdata
- Parameters
-
scip SCIP data structure consdata pointer to consdata
Definition at line 600 of file cons_linking.c.
References NULL, SCIP_CALL, SCIP_OKAY, SCIPfreeBlockMemory, SCIPfreeBlockMemoryArray, SCIPreleaseRow(), and SCIPreleaseVar().
Referenced by SCIP_DECL_CONSDELETE().
◆ analyzeConflict()
|
static |
analyzes conflicting assignment on given constraint where reason comes from the linking variable lower or upper bound
- Parameters
-
scip SCIP data structure cons linking constraint to be processed linkvar linking variable binvar binary variable is the reason lblinkvar lower bound of linking variable is the reason ublinkvar upper bound of linking variable is the reason
Definition at line 651 of file cons_linking.c.
References FALSE, NULL, SCIP_CALL, SCIP_CONFTYPE_PROPAGATION, SCIP_OKAY, SCIP_STAGE_SOLVING, SCIPaddConflictBinvar(), SCIPaddConflictLb(), SCIPaddConflictUb(), SCIPanalyzeConflictCons(), SCIPgetStage(), SCIPinitConflictAnalysis(), SCIPinProbing(), and SCIPisConflictAnalysisApplicable().
Referenced by consFixLinkvar(), and processRealBoundChg().
◆ consFixLinkvar()
|
static |
fix linking variable to the value of the binary variable at pos
- Parameters
-
scip SCIP data structure cons linking constraint to be processed pos position of binary variable cutoff pointer to store TRUE, if the node can be cut off
Definition at line 699 of file cons_linking.c.
References analyzeConflict(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPconsGetData(), SCIPinferVarLbCons(), SCIPinferVarUbCons(), SCIPisFeasEQ(), SCIPisFeasLE(), SCIPvarGetLbLocal(), SCIPvarGetUbLocal(), and TRUE.
Referenced by processBinvarFixings().
◆ processRealBoundChg()
|
static |
checks constraint for violation from the local bound of the linking variable, applies fixings to the binary variables if possible
- Parameters
-
scip SCIP data structure cons linking constraint to be processed cutoff pointer to store TRUE, if the node can be cut off nchgbds pointer to store the number of changes (foxed) variable bounds mustcheck pointer to store whether this constraint must be checked for feasibility
Definition at line 756 of file cons_linking.c.
References analyzeConflict(), b, consdataSort(), CONSHDLR_NAME, FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_MULTAGGR, SCIPaddCons(), SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateConsSetpart(), SCIPdebugMsg, SCIPdelConsLocal(), SCIPgetDepth(), SCIPinferBinvarCons(), SCIPisEQ(), SCIPisGT(), SCIPisLT(), SCIPreleaseCons(), SCIPvarGetAggrVar(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetStatus(), SCIPvarGetUbLocal(), and TRUE.
Referenced by enforcePseudo(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), and separateCons().
◆ delCoefPos()
|
static |
deletes coefficient at given position from the binary variable array
- Parameters
-
scip SCIP data structure eventhdlr event handler to call for the event processing cons linking constraint pos position of coefficient to delete
Definition at line 956 of file cons_linking.c.
References dropEvent(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetData(), SCIPconsIsTransformed(), SCIPreleaseVar(), SCIPunlockVarCons(), SCIPvarIsTransformed(), and TRUE.
Referenced by removeFixedBinvars().
◆ removeFixedBinvars()
|
static |
remove the trailing and leading binary variables that are fixed to zero
- Parameters
-
scip SCIP data structure eventhdlr event handler to call for the event processing cons linking constraint
Definition at line 1014 of file cons_linking.c.
References b, delCoefPos(), NULL, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PRESOLVING, SCIPconsGetData(), SCIPgetDepth(), SCIPgetStage(), SCIPinProbing(), SCIPinRepropagation(), and SCIPvarGetUbLocal().
Referenced by SCIP_DECL_CONSPRESOL().
◆ tightenedLinkvar()
|
static |
tightened the linking variable due to binary variables which are fixed to zero
- Parameters
-
scip SCIP data structure cons linking constraint to be processed consdata linking constraint to be processed cutoff pointer to store TRUE, if the node can be cut off nchgbds pointer to store the number of changed variable bounds
Definition at line 1061 of file cons_linking.c.
References b, FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_CONFTYPE_PROPAGATION, SCIP_OKAY, SCIP_Real, SCIP_STAGE_SOLVING, SCIP_VARSTATUS_MULTAGGR, SCIPaddConflictBinvar(), SCIPaddConflictLb(), SCIPaddConflictUb(), SCIPanalyzeConflictCons(), SCIPdebugMsg, SCIPgetStage(), SCIPinferVarLbCons(), SCIPinferVarUbCons(), SCIPinitConflictAnalysis(), SCIPinProbing(), SCIPisConflictAnalysisApplicable(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetProbvar(), SCIPvarGetStatus(), SCIPvarGetUbLocal(), and TRUE.
Referenced by processBinvarFixings(), and SCIP_DECL_CONSPRESOL().
◆ processBinvarFixings()
|
static |
checks constraint for violation only looking at the fixed binary variables, applies further fixings if possible
- Parameters
-
scip SCIP data structure cons linking constraint to be processed cutoff pointer to store TRUE, if the node can be cut off nchgbds pointer to store the number of changed variable bounds addcut pointer to store whether this constraint must be added as a cut mustcheck pointer to store whether this constraint must be checked for feasibility
Definition at line 1198 of file cons_linking.c.
References consdataSort(), consFixLinkvar(), CONSHDLR_NAME, FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_CONFTYPE_PROPAGATION, SCIP_OKAY, SCIP_STAGE_SOLVING, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_MULTAGGR, SCIPaddConflictBinvar(), SCIPanalyzeConflictCons(), SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPconsIsModifiable(), SCIPdebugMsg, SCIPdelConsLocal(), SCIPgetStage(), SCIPinferBinvarCons(), SCIPinitConflictAnalysis(), SCIPinProbing(), SCIPisConflictAnalysisApplicable(), SCIPisFeasEQ(), SCIPisFeasZero(), SCIPisLT(), SCIPresetConsAge(), SCIPvarGetAggrVar(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetProbvar(), SCIPvarGetStatus(), SCIPvarGetUbLocal(), SCIPvarIsBinary(), tightenedLinkvar(), and TRUE.
Referenced by enforcePseudo(), and SCIP_DECL_CONSPROP().
◆ checkCons()
returns whether the given solution is feasible for the given linking constraint
- Parameters
-
scip SCIP data structure cons linking constraint to be checked sol primal solution, or NULL for current LP/pseudo solution
Definition at line 1461 of file cons_linking.c.
References aggregateVariables(), b, getHashmapKey(), MAX, NULL, REALABS, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIPaggregateVars(), SCIPconsGetData(), SCIPconsGetName(), SCIPconvertRealToInt(), SCIPdebugMsg, SCIPfeastol(), SCIPgetSolVal(), SCIPhashmapGetImage(), SCIPisEQ(), SCIPisFeasEQ(), SCIPisFeasGE(), SCIPisFeasLE(), SCIPisIntegral(), SCIPrelDiff(), SCIPupdateSolLPConsViolation(), SCIPvarGetAggrConstant(), SCIPvarGetAggrScalar(), SCIPvarGetAggrVar(), SCIPvarGetStatus(), SCIPvarIsBinary(), and TRUE.
Referenced by enforcePseudo(), SCIP_DECL_CONSCHECK(), and separateCons().
◆ createRows()
|
static |
create two rows for the linking constraint
- row1: {sum_{b=1}^n-1 vals[b] * binvars[b]} - linkvar = 0
- row2: {sum_{b=0}^n-1 binvars[b]} = 1.0
- Parameters
-
scip SCIP data structure cons linking constraint
Definition at line 1634 of file cons_linking.c.
References b, NULL, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPaddVarsToRowSameCoef(), SCIPaddVarToRow(), SCIPconsGetData(), SCIPconsGetName(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsRemovable(), SCIPcreateEmptyRowCons(), and SCIPsnprintf().
Referenced by addCuts().
◆ addCuts()
|
static |
adds linking constraint as cut to the LP
- Parameters
-
scip SCIP data structure cons linking constraint cutoff whether a cutoff has been detected
Definition at line 1684 of file cons_linking.c.
References createRows(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPaddRow(), SCIPconsGetData(), SCIPconsGetName(), SCIPdebugMsg, SCIProwIsInLP(), and TRUE.
Referenced by SCIP_DECL_CONSINITLP(), and separateCons().
◆ separateCons()
|
static |
checks constraint for violation, and adds it as a cuts if possible
- Parameters
-
scip SCIP data structure cons linking constraint to be separated sol primal CIP solution, NULL for current LP solution cutoff pointer to store TRUE, if the node can be cut off separated pointer to store TRUE, if a cut was found nchgbds pointer to store the number of changed variables bounds
Definition at line 1731 of file cons_linking.c.
References addCuts(), checkCons(), CONSHDLR_NAME, FALSE, NULL, processRealBoundChg(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPdebugMsg, SCIPgetRowLPFeasibility(), SCIPincConsAge(), SCIPisFeasNegative(), SCIPresetConsAge(), SCIProwIsInLP(), and TRUE.
Referenced by enforceConstraint(), SCIP_DECL_CONSSEPALP(), and SCIP_DECL_CONSSEPASOL().
◆ enforcePseudo()
|
static |
enforces the pseudo solution on the given constraint
- Parameters
-
scip SCIP data structure cons linking constraint to be separated cutoff pointer to store TRUE, if the node can be cut off infeasible pointer to store TRUE, if the constraint was infeasible nchgbds pointer to store the number of changed variable bounds solvelp pointer to store TRUE, if the LP has to be solved
Definition at line 1824 of file cons_linking.c.
References checkCons(), CONSHDLR_NAME, FALSE, NULL, processBinvarFixings(), processRealBoundChg(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPhasCurrentNodeLP(), SCIPincConsAge(), SCIPresetConsAge(), and TRUE.
Referenced by SCIP_DECL_CONSENFOPS().
◆ enforceConstraint()
|
static |
helper function to enforce constraints
- Parameters
-
scip SCIP data structure conshdlr constraint handler conss constraints to process nconss number of constraints nusefulconss number of useful (non-obsolete) constraints to process sol solution to enforce (NULL for the LP solution) result pointer to store the result of the enforcing call
Definition at line 1882 of file cons_linking.c.
References CONSHDLR_NAME, FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_FEASIBLE, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPconshdlrGetName(), SCIPdebugMsg, and separateCons().
Referenced by SCIP_DECL_CONSENFOLP(), and SCIP_DECL_CONSENFORELAX().
◆ SCIP_DECL_CONSHDLRCOPY()
|
static |
copy method for constraint handler plugins (called when SCIP copies plugins)
Definition at line 1939 of file cons_linking.c.
References CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIPconshdlrGetName(), SCIPincludeConshdlrLinking(), and TRUE.
◆ SCIP_DECL_CONSFREE()
|
static |
destructor of constraint handler to free constraint handler data (called when SCIP is exiting)
Definition at line 1955 of file cons_linking.c.
References CONSHDLR_NAME, conshdlrdataFree(), NULL, SCIP_OKAY, SCIPconshdlrGetData(), and SCIPconshdlrGetName().
◆ SCIP_DECL_CONSINITPRE()
|
static |
presolving initialization method of constraint handler (called when presolving is about to begin)
Definition at line 1975 of file cons_linking.c.
References consdataLinearize(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPconshdlrGetData(), SCIPconsIsAdded(), SCIPdelCons(), SCIPdisableCons(), and SCIPvarGetLbGlobal().
◆ SCIP_DECL_CONSEXITSOL()
|
static |
solving process deinitialization method of constraint handler (called before branch and bound process data is freed)
Definition at line 2012 of file cons_linking.c.
References NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), and SCIPreleaseRow().
◆ SCIP_DECL_CONSDELETE()
|
static |
frees specific constraint data
Definition at line 2038 of file cons_linking.c.
References consdataFree(), CONSHDLR_NAME, dropAllEvents(), getHashmapKey(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconshdlrGetData(), SCIPconshdlrGetName(), SCIPhashmapExists(), SCIPhashmapRemove(), and SCIPisTransformed().
◆ SCIP_DECL_CONSTRANS()
|
static |
transforms constraint data into data belonging to the transformed problem
Definition at line 2070 of file cons_linking.c.
References consdataCreate(), CONSHDLR_NAME, getHashmapKey(), NULL, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_TRANSFORMING, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconshdlrGetName(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateCons(), SCIPdebugMsg, SCIPgetStage(), SCIPhashmapInsert(), and SCIPvarGetName().
◆ SCIP_DECL_CONSINITLP()
|
static |
LP initialization method of constraint handler (called before the initial LP relaxation at a node is solved)
Definition at line 2114 of file cons_linking.c.
References addCuts(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), and SCIPconsIsInitial().
◆ SCIP_DECL_CONSSEPALP()
|
static |
separation method of constraint handler for LP solutions
Definition at line 2140 of file cons_linking.c.
References CONSHDLR_NAME, FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPconshdlrGetName(), SCIPdebugMsg, and separateCons().
◆ SCIP_DECL_CONSSEPASOL()
|
static |
separation method of constraint handler for arbitrary primal solutions
Definition at line 2180 of file cons_linking.c.
References CONSHDLR_NAME, FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPconshdlrGetName(), SCIPdebugMsg, and separateCons().
◆ SCIP_DECL_CONSENFOLP()
|
static |
constraint enforcing method of constraint handler for LP solutions
Definition at line 2220 of file cons_linking.c.
References enforceConstraint(), NULL, SCIP_CALL, and SCIP_OKAY.
◆ SCIP_DECL_CONSENFORELAX()
|
static |
constraint enforcing method of constraint handler for relaxation solutions
Definition at line 2230 of file cons_linking.c.
References enforceConstraint(), SCIP_CALL, and SCIP_OKAY.
◆ SCIP_DECL_CONSENFOPS()
|
static |
constraint enforcing method of constraint handler for pseudo solutions
Definition at line 2240 of file cons_linking.c.
References CONSHDLR_NAME, enforcePseudo(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTRUN, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SOLVELP, SCIPconshdlrGetName(), and SCIPdebugMsg.
◆ SCIP_DECL_CONSCHECK()
|
static |
feasibility check method of constraint handler for integral solutions
Definition at line 2289 of file cons_linking.c.
References b, checkCons(), CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, SCIPconsGetData(), SCIPconshdlrGetName(), SCIPgetSolVal(), SCIPinfoMessage(), SCIPisFeasEQ(), SCIPisFeasIntegral(), SCIPprintCons(), SCIProwIsInLP(), SCIPvarGetName(), and SCIPvarIsBinary().
◆ SCIP_DECL_CONSPROP()
|
static |
domain propagation method of constraint handler
Definition at line 2373 of file cons_linking.c.
References CONSHDLR_NAME, FALSE, NULL, processBinvarFixings(), processRealBoundChg(), SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIPconshdlrGetName(), and SCIPdebugMsg.
◆ SCIP_DECL_CONSPRESOL()
|
static |
presolving method of constraint handler
Definition at line 2410 of file cons_linking.c.
References aggregateVariables(), CONSHDLR_NAME, FALSE, NULL, processRealBoundChg(), removeFixedBinvars(), SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_Real, SCIP_SUCCESS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_NEGATED, SCIPaddClique(), SCIPaggregateVars(), SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconshdlrGetName(), SCIPconsIsActive(), SCIPconsIsEnabled(), SCIPconsIsModifiable(), SCIPdebugMsg, SCIPdelCons(), SCIPfixVar(), SCIPisStopped(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SCIPvarIsActive(), tightenedLinkvar(), and TRUE.
◆ SCIP_DECL_CONSRESPROP()
|
static |
propagation conflict resolving method of constraint handler
Definition at line 2778 of file cons_linking.c.
References b, CONSHDLR_NAME, FALSE, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_Real, SCIP_SUCCESS, SCIPaddConflictBinvar(), SCIPaddConflictLb(), SCIPaddConflictUb(), SCIPconsGetData(), SCIPdebugMsg, SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), SCIPisEQ(), SCIPisFeasEQ(), SCIPvarGetUbLocal(), SCIPvarIsBinary(), and TRUE.
◆ SCIP_DECL_CONSLOCK()
|
static |
variable rounding lock method of constraint handler
Definition at line 2951 of file cons_linking.c.
References b, NULL, SCIP_CALL, SCIP_LOCKTYPE_MODEL, SCIP_OKAY, SCIPaddVarLocksType(), and SCIPconsGetData().
◆ SCIP_DECL_CONSENABLE()
|
static |
constraint enabling notification method of constraint handler
Definition at line 2975 of file cons_linking.c.
References consdataLinearize(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPconshdlrGetData(), SCIPdelCons(), SCIPdisableCons(), and SCIPvarGetLbGlobal().
◆ SCIP_DECL_CONSPRINT()
|
static |
constraint display method of constraint handler
Definition at line 3003 of file cons_linking.c.
References consdataPrint(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPconsGetData().
◆ SCIP_DECL_CONSCOPY()
|
static |
constraint copying method of constraint handler
Definition at line 3017 of file cons_linking.c.
References CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPcreateConsLinking(), SCIPduplicateBufferArray, SCIPerrorMessage, SCIPfreeBufferArrayNull, SCIPgetVarCopy(), and TRUE.
◆ SCIP_DECL_CONSPARSE()
|
static |
constraint parsing method of constraint handler
Definition at line 3094 of file cons_linking.c.
References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VERBLEVEL_MINIMAL, SCIPallocBufferArray, SCIPconvertRealToInt(), SCIPcreateConsLinking(), SCIPfreeBufferArray, SCIPisIntegral(), SCIPparseVarName(), SCIPparseVarsLinearsum(), SCIPreallocBufferArray, SCIPverbMessage(), and TRUE.
◆ SCIP_DECL_CONSGETVARS()
|
static |
constraint method of constraint handler which returns the variables (if possible)
Definition at line 3184 of file cons_linking.c.
References BMScopyMemoryArray, FALSE, NULL, SCIP_OKAY, SCIPconsGetData(), and TRUE.
◆ SCIP_DECL_CONSGETNVARS()
|
static |
constraint method of constraint handler which returns the number of variables (if possible)
Definition at line 3207 of file cons_linking.c.
References NULL, SCIP_OKAY, SCIPconsGetData(), and TRUE.
◆ SCIP_DECL_EVENTEXEC()
|
static |
execution method of event handler
Definition at line 3226 of file cons_linking.c.
References EVENTHDLR_NAME, NULL, SCIP_EVENTTYPE_LBRELAXED, SCIP_EVENTTYPE_LBTIGHTENED, SCIP_EVENTTYPE_UBRELAXED, SCIP_EVENTTYPE_UBTIGHTENED, SCIP_INVALIDDATA, SCIP_OKAY, SCIPerrorMessage, SCIPeventGetType(), and SCIPeventhdlrGetName().