constraint handler for indicator constraints over arbitrary constraint types
Definition in file cons_superindicator.c.
#include "blockmemshell/memory.h"
#include "scip/cons_indicator.h"
#include "scip/cons_linear.h"
#include "scip/cons_superindicator.h"
#include "scip/dialog_default.h"
#include "scip/pub_cons.h"
#include "scip/pub_dialog.h"
#include "scip/pub_heur.h"
#include "scip/pub_message.h"
#include "scip/pub_misc.h"
#include "scip/pub_sol.h"
#include "scip/pub_var.h"
#include "scip/scip_conflict.h"
#include "scip/scip_cons.h"
#include "scip/scip_copy.h"
#include "scip/scip_dialog.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_sol.h"
#include "scip/scip_var.h"
#include <string.h>
Go to the source code of this file.
Macros | |
#define | CONSHDLR_NAME "superindicator" |
#define | CONSHDLR_DESC "constraint handler for indicator constraints over arbitrary constraint types" |
#define | CONSHDLR_SEPAPRIORITY 0 |
#define | CONSHDLR_ENFOPRIORITY -5000000 |
#define | CONSHDLR_CHECKPRIORITY -5000000 |
#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 | DEFAULT_CHECKSLACKTYPE TRUE |
#define | DEFAULT_UPGDPRIOINDICATOR 1 |
#define | DEFAULT_UPGDPRIOLINEAR 2 |
#define | DEFAULT_MAXUPGDCOEFLINEAR 1e4 |
Functions | |
static SCIP_RETCODE | consdataCreateSuperindicator (SCIP *scip, SCIP_CONSDATA **consdata, SCIP_VAR *binvar, SCIP_CONS *slackcons) |
static SCIP_RETCODE | consdataCheckSuperindicator (SCIP *scip, SCIP_CONSDATA *consdata, SCIP_SOL *sol, SCIP_Bool checkintegrality, SCIP_Bool checklprows, SCIP_Bool printreason, SCIP_RESULT *result) |
static void | extractLinearValues (SCIP *scip, SCIP_CONS *cons, SCIP_Real *minactivity, SCIP_Real *maxactivity, SCIP_Real *minabscoef) |
static SCIP_RETCODE | upgradeIndicatorSuperindicator (SCIP *scip, SCIP_CONS *cons, SCIP_Bool *success, SCIP_Bool *deleted) |
static SCIP_RETCODE | upgradeLinearSuperindicator (SCIP *scip, SCIP_CONS *cons, SCIP_Bool *success, SCIP_Bool *deleted) |
static SCIP_RETCODE | upgradeSuperindicator (SCIP *scip, SCIP_CONS *cons, SCIP_Bool *success, SCIP_Bool *deleted) |
static SCIP_RETCODE | enforceConstraint (SCIP *scip, SCIP_CONSHDLR *conshdlr, SCIP_CONS **conss, int nconss, int nusefulconss, SCIP_SOL *sol, SCIP_Bool solinfeasible, SCIP_RESULT *result) |
static | SCIP_DECL_CONSHDLRCOPY (conshdlrCopySuperindicator) |
static | SCIP_DECL_CONSFREE (consFreeSuperindicator) |
static | SCIP_DECL_CONSINITPRE (consInitpreSuperindicator) |
static | SCIP_DECL_CONSDELETE (consDeleteSuperindicator) |
static | SCIP_DECL_CONSTRANS (consTransSuperindicator) |
static | SCIP_DECL_CONSINITLP (consInitlpSuperindicator) |
static | SCIP_DECL_CONSSEPALP (consSepalpSuperindicator) |
static | SCIP_DECL_CONSSEPASOL (consSepasolSuperindicator) |
static | SCIP_DECL_CONSENFOLP (consEnfolpSuperindicator) |
static | SCIP_DECL_CONSENFORELAX (consEnforelaxSuperindicator) |
static | SCIP_DECL_CONSENFOPS (consEnfopsSuperindicator) |
static | SCIP_DECL_CONSCHECK (consCheckSuperindicator) |
static | SCIP_DECL_CONSPROP (consPropSuperindicator) |
static | SCIP_DECL_CONSPRESOL (consPresolSuperindicator) |
static | SCIP_DECL_CONSRESPROP (consRespropSuperindicator) |
static | SCIP_DECL_CONSLOCK (consLockSuperindicator) |
static | SCIP_DECL_CONSPRINT (consPrintSuperindicator) |
static | SCIP_DECL_CONSCOPY (consCopySuperindicator) |
static | SCIP_DECL_CONSPARSE (consParseSuperindicator) |
static | SCIP_DECL_CONSGETVARS (consGetVarsSuperindicator) |
static | SCIP_DECL_CONSGETNVARS (consGetNVarsSuperindicator) |
SCIP_RETCODE | SCIPincludeConshdlrSuperindicator (SCIP *scip) |
SCIP_RETCODE | SCIPcreateConsSuperindicator (SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR *binvar, SCIP_CONS *slackcons, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool dynamic, SCIP_Bool removable, SCIP_Bool stickingatnode) |
SCIP_RETCODE | SCIPcreateConsBasicSuperindicator (SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR *binvar, SCIP_CONS *slackcons) |
SCIP_VAR * | SCIPgetBinaryVarSuperindicator (SCIP_CONS *cons) |
SCIP_CONS * | SCIPgetSlackConsSuperindicator (SCIP_CONS *cons) |
SCIP_RETCODE | SCIPtransformMinUC (SCIP *scip, SCIP_Bool *success) |
SCIP_DECL_DIALOGEXEC (SCIPdialogExecChangeMinUC) | |
#define CONSHDLR_NAME "superindicator" |
Definition at line 71 of file cons_superindicator.c.
#define CONSHDLR_DESC "constraint handler for indicator constraints over arbitrary constraint types" |
Definition at line 72 of file cons_superindicator.c.
#define CONSHDLR_SEPAPRIORITY 0 |
priority of the constraint handler for separation
Definition at line 73 of file cons_superindicator.c.
#define CONSHDLR_ENFOPRIORITY -5000000 |
priority of the constraint handler for constraint enforcing
Definition at line 74 of file cons_superindicator.c.
#define CONSHDLR_CHECKPRIORITY -5000000 |
priority of the constraint handler for checking feasibility
Definition at line 75 of file cons_superindicator.c.
#define CONSHDLR_SEPAFREQ -1 |
frequency for separating cuts; zero means to separate only in the root node
Definition at line 76 of file cons_superindicator.c.
#define CONSHDLR_PROPFREQ 1 |
frequency for propagating domains; zero means only preprocessing propagation
Definition at line 77 of file cons_superindicator.c.
#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 78 of file cons_superindicator.c.
#define CONSHDLR_MAXPREROUNDS -1 |
maximal number of presolving rounds the constraint handler participates in (-1: no limit)
Definition at line 80 of file cons_superindicator.c.
#define CONSHDLR_DELAYSEPA FALSE |
should separation method be delayed, if other separators found cuts?
Definition at line 82 of file cons_superindicator.c.
#define CONSHDLR_DELAYPROP FALSE |
should propagation method be delayed, if other propagators found reductions?
Definition at line 83 of file cons_superindicator.c.
#define CONSHDLR_NEEDSCONS TRUE |
should the constraint handler be skipped, if no constraints are available?
Definition at line 84 of file cons_superindicator.c.
#define CONSHDLR_PROP_TIMING SCIP_PROPTIMING_BEFORELP |
propagation timing mask of the constraint handler
Definition at line 86 of file cons_superindicator.c.
#define CONSHDLR_PRESOLTIMING SCIP_PRESOLTIMING_MEDIUM |
presolving timing of the constraint handler (fast, medium, or exhaustive)
Definition at line 87 of file cons_superindicator.c.
#define DEFAULT_CHECKSLACKTYPE TRUE |
should type of slack constraint be checked when creating superindicator constraint?
Definition at line 89 of file cons_superindicator.c.
Referenced by SCIPincludeConshdlrSuperindicator().
#define DEFAULT_UPGDPRIOINDICATOR 1 |
priority for upgrading to an indicator constraint (-1: never)
Definition at line 90 of file cons_superindicator.c.
Referenced by SCIPincludeConshdlrSuperindicator().
#define DEFAULT_UPGDPRIOLINEAR 2 |
priority for upgrading to a linear constraint (-1: never)
Definition at line 91 of file cons_superindicator.c.
Referenced by SCIPincludeConshdlrSuperindicator().
#define DEFAULT_MAXUPGDCOEFLINEAR 1e4 |
maximum big-M coefficient of binary variable in upgrade to a linear constraint (relative to smallest coefficient)
Definition at line 92 of file cons_superindicator.c.
Referenced by SCIPincludeConshdlrSuperindicator().
|
static |
creates superindicator constraint data
scip | SCIP data structure |
consdata | pointer to constraint data |
binvar | binary variable |
slackcons | slack constraint |
Definition at line 124 of file cons_superindicator.c.
References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPallocBlockMemory, SCIPcaptureCons(), SCIPdebugMsg, SCIPgetTransformedVar(), SCIPisTransformed(), and SCIPtransformCons().
Referenced by SCIP_DECL_CONSTRANS(), and SCIPcreateConsSuperindicator().
|
static |
checks the feasibility of a superindicator constraint
scip | SCIP data structure |
consdata | pointer to superindicator constraint data |
sol | pointer to the solution to be checked |
checkintegrality | Has integrality to be checked? |
checklprows | Do constraints represented by rows in the current LP have to be checked? |
printreason | Should the reason for the violation be printed? |
result | pointer to store the result of the test |
Definition at line 163 of file cons_superindicator.c.
References assert(), NULL, result, SCIP_Bool, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, SCIP_Real, SCIPcheckCons(), SCIPconsGetName(), SCIPdebugMsg, SCIPgetSolVal(), SCIPinfoMessage(), SCIPisFeasEQ(), SCIPisIntegral(), SCIPvarGetName(), sol, and TRUE.
Referenced by enforceConstraint(), SCIP_DECL_CONSCHECK(), and SCIP_DECL_CONSENFOPS().
|
static |
computes the minactivity, maxactivity, and minimal absolute value of nonzero coefficients of a linear constraint with respect to its global bounds
scip | SCIP data structure |
cons | pointer to linear constraint |
minactivity | pointer to return the minimal activity |
maxactivity | pointer to return the maximal activity |
minabscoef | pointer to return the minimal absolute value of the coefficients |
Definition at line 234 of file cons_superindicator.c.
References assert(), FALSE, i, NULL, nvars, SCIP_Bool, SCIP_Real, SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPgetNVarsLinear(), SCIPgetValsLinear(), SCIPgetVarsLinear(), SCIPinfinity(), SCIPisInfinity(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), and vars.
Referenced by upgradeLinearSuperindicator().
|
static |
tries to upgrade superindicator constraint to an indicator constraint
scip | SCIP data structure |
cons | superindicator constraint to be upgraded |
success | pointer to store if the upgrading was successful |
deleted | pointer to store if the constraint was deleted |
Definition at line 311 of file cons_superindicator.c.
References assert(), FALSE, i, NULL, nvars, SCIP_Bool, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIPaddCons(), SCIPallocBufferArray, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateConsIndicator(), SCIPdebug, SCIPdebugMsg, SCIPdelCons(), SCIPfindConshdlr(), SCIPfreeBufferArray, SCIPgetLhsLinear(), SCIPgetNVarsLinear(), SCIPgetRhsLinear(), SCIPgetValsLinear(), SCIPgetVarsLinear(), SCIPisInfinity(), SCIPreleaseCons(), SCIPsnprintf(), and TRUE.
Referenced by upgradeSuperindicator().
|
static |
upgrades a superindicator constraint to a linear constraint if possible
scip | SCIP data structure |
cons | superindicator constraint to be upgraded |
success | pointer to store if the upgrading was successful |
deleted | pointer to store if the constraint was deleted |
Definition at line 427 of file cons_superindicator.c.
References assert(), extractLinearValues(), FALSE, i, NULL, nvars, SCIP_Bool, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIPaddCons(), SCIPallocBufferArray, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconshdlrGetName(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateConsLinear(), SCIPdebug, SCIPdebugMsg, SCIPdelCons(), SCIPfindConshdlr(), SCIPfreeBufferArray, SCIPgetLhsLinear(), SCIPgetNVarsLinear(), SCIPgetRhsLinear(), SCIPgetValsLinear(), SCIPgetVarsLinear(), SCIPinfinity(), SCIPisGE(), SCIPisInfinity(), SCIPisLE(), SCIPisNegative(), SCIPisPositive(), SCIPreleaseCons(), SCIPsnprintf(), and TRUE.
Referenced by upgradeSuperindicator().
|
static |
tries to upgrade a superindicator constraint in order of the upgrade priority parameters
scip | SCIP data structure |
cons | superindicator constraint to be updated |
success | pointer to store if the constraint was upgraded |
deleted | pointer to store if the constraint was deleted |
Definition at line 630 of file cons_superindicator.c.
References assert(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsGetHdlr(), SCIPconshdlrGetData(), upgradeIndicatorSuperindicator(), and upgradeLinearSuperindicator().
Referenced by SCIP_DECL_CONSPRESOL().
|
static |
helper function to enforce constraints
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) |
solinfeasible | was the solution already declared infeasible by a constraint handler? |
result | pointer to store the result of the enforcing call |
Definition at line 677 of file cons_superindicator.c.
References assert(), consdataCheckSuperindicator(), FALSE, i, NULL, result, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPconsGetData(), SCIPconsGetName(), SCIPdebugMsg, SCIPdebugPrintf, SCIPenfolpCons(), SCIPenforelaxCons(), SCIPerrorMessage, SCIPisFeasEQ(), SCIPprintSol(), SCIPvarGetLbLocal(), SCIPvarGetName(), sol, and TRUE.
Referenced by SCIP_DECL_CONSENFOLP(), and SCIP_DECL_CONSENFORELAX().
|
static |
copy method for constraint handler plugins (called when SCIP copies plugins)
Definition at line 811 of file cons_superindicator.c.
References assert(), CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIPconshdlrGetName(), SCIPincludeConshdlrSuperindicator(), TRUE, and valid.
|
static |
destructor of constraint handler to free constraint handler data (called when SCIP is exiting)
Definition at line 827 of file cons_superindicator.c.
References assert(), CONSHDLR_NAME, NULL, SCIP_OKAY, SCIPconshdlrGetData(), SCIPconshdlrGetName(), SCIPconshdlrSetData(), SCIPdebugMsg, and SCIPfreeBlockMemory.
|
static |
presolving initialization method of constraint handler (called when presolving is about to begin)
Definition at line 850 of file cons_superindicator.c.
References assert(), i, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPdebugMsg, SCIPsetConsLocal(), and TRUE.
|
static |
frees specific constraint data
Definition at line 871 of file cons_superindicator.c.
References assert(), CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetName(), SCIPconshdlrGetName(), SCIPdebugMsg, SCIPfreeBlockMemory, and SCIPreleaseCons().
|
static |
transforms constraint data into data belonging to the transformed problem
Definition at line 894 of file cons_superindicator.c.
References assert(), consdataCreateSuperindicator(), NULL, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateCons(), SCIPdebugMsg, and SCIPsnprintf().
|
static |
LP initialization method of constraint handler
Definition at line 921 of file cons_superindicator.c.
References assert(), c, CONSHDLR_NAME, FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPconsIsInitial(), SCIPdebugMsg, SCIPinitlpCons(), SCIPisFeasEQ(), SCIPvarGetLbLocal(), and SCIPvarGetName().
|
static |
separation method of constraint handler for LP solutions
Definition at line 958 of file cons_superindicator.c.
References assert(), c, CONSHDLR_NAME, FALSE, NULL, result, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_NEWROUND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPdebugMsg, SCIPdebugMsgPrint, SCIPerrorMessage, SCIPisFeasEQ(), SCIPprintSol(), SCIPsepalpCons(), SCIPvarGetLbLocal(), and SCIPvarGetName().
|
static |
separation method of constraint handler for arbitrary primal solutions
Definition at line 1067 of file cons_superindicator.c.
References assert(), c, CONSHDLR_NAME, FALSE, NULL, result, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_NEWROUND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPdebugMsg, SCIPdebugMsgPrint, SCIPerrorMessage, SCIPisFeasEQ(), SCIPprintSol(), SCIPsepasolCons(), SCIPvarGetLbLocal(), SCIPvarGetName(), and sol.
|
static |
constraint enforcing method of constraint handler for LP solutions
Definition at line 1176 of file cons_superindicator.c.
References enforceConstraint(), NULL, result, SCIP_CALL, and SCIP_OKAY.
|
static |
constraint enforcing method of constraint handler for relaxation solutions
Definition at line 1185 of file cons_superindicator.c.
References enforceConstraint(), result, SCIP_CALL, SCIP_OKAY, and sol.
|
static |
constraint enforcing method of constraint handler for pseudo solutions
Definition at line 1194 of file cons_superindicator.c.
References assert(), consdataCheckSuperindicator(), FALSE, i, NULL, result, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CONSADDED, SCIP_CUTOFF, SCIP_DIDNOTRUN, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_REDUCEDDOM, SCIP_SOLVELP, SCIPconsGetData(), SCIPconsGetName(), SCIPdebugMsg, SCIPdebugMsgPrint, SCIPenfopsCons(), SCIPerrorMessage, SCIPisFeasEQ(), SCIPvarGetLbLocal(), SCIPvarGetName(), and TRUE.
|
static |
feasibility check method of constraint handler for integral solutions
Definition at line 1327 of file cons_superindicator.c.
References assert(), consdataCheckSuperindicator(), i, NULL, result, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, SCIPconsGetData(), SCIPdebugMsg, SCIPheurGetName(), SCIPsolGetHeur(), and sol.
|
static |
domain propagation method of constraint handler
Definition at line 1355 of file cons_superindicator.c.
References assert(), FALSE, i, NULL, result, SCIP_CALL, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_REDUCEDDOM, SCIPaddCons(), SCIPconsGetData(), SCIPconsGetName(), SCIPdebugMsg, SCIPdebugMsgPrint, SCIPdelCons(), SCIPerrorMessage, SCIPisFeasEQ(), SCIPpropCons(), SCIPsetConsLocal(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), and SCIPvarGetName().
|
static |
presolving method of constraint handler
Definition at line 1448 of file cons_superindicator.c.
References assert(), FALSE, i, NULL, result, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DELAYED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_OKAY, SCIP_SUCCESS, SCIP_UNBOUNDED, SCIPaddCons(), SCIPconsGetData(), SCIPconsGetName(), SCIPdebugMsg, SCIPdelCons(), SCIPisFeasEQ(), SCIPsetConsLocal(), SCIPvarGetLbGlobal(), SCIPvarGetName(), and upgradeSuperindicator().
|
static |
propagation conflict resolving method of constraint handler
Definition at line 1537 of file cons_superindicator.c.
References assert(), NULL, result, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_OKAY, SCIPaddConflictLb(), SCIPconsGetData(), SCIPconsGetName(), SCIPdebugMsg, SCIPdebugMsgPrint, SCIPgetVarUbAtIndex(), SCIPisFeasEQ(), SCIPrespropCons(), and TRUE.
|
static |
variable rounding lock method of constraint handler
Definition at line 1570 of file cons_superindicator.c.
References assert(), NULL, SCIP_CALL, SCIP_LOCKTYPE_MODEL, SCIP_OKAY, SCIPaddConsLocksType(), SCIPaddVarLocksType(), SCIPconsGetData(), SCIPconsGetName(), and SCIPdebugMsg.
|
static |
constraint display method of constraint handler
Definition at line 1594 of file cons_superindicator.c.
References assert(), CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_NEGATED, SCIPconsGetData(), SCIPconshdlrGetName(), SCIPinfoMessage(), SCIPprintCons(), SCIPvarGetNegatedVar(), SCIPvarGetStatus(), SCIPwriteVarName(), and TRUE.
|
static |
constraint copying method of constraint handler
Definition at line 1636 of file cons_superindicator.c.
References assert(), CONSHDLR_NAME, FALSE, NULL, propagate, SCIP_CALL, SCIP_OKAY, SCIP_VERBLEVEL_MINIMAL, SCIPaddCons(), SCIPcaptureCons(), SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPconsIsChecked(), SCIPconsIsDeleted(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPconsIsTransformed(), SCIPcreateConsLinear(), SCIPcreateConsSuperindicator(), SCIPdebugMsg, SCIPgetConsCopy(), SCIPgetTransformedCons(), SCIPgetVarCopy(), SCIPinfinity(), SCIPisTransformed(), SCIPreleaseCons(), SCIPverbMessage(), SCIPwarningMessage(), TRUE, and valid.
|
static |
constraint parsing method of constraint handler
Definition at line 1755 of file cons_superindicator.c.
References assert(), FALSE, NULL, propagate, SCIP_CALL, SCIP_OKAY, SCIP_VERBLEVEL_MINIMAL, SCIPcreateConsSuperindicator(), SCIPdebugMsg, SCIPfindVar(), SCIPgetNegatedVar(), SCIPparseCons(), SCIPreleaseCons(), and SCIPverbMessage().
|
static |
constraint method of constraint handler which returns the variables (if possible)
Definition at line 1847 of file cons_superindicator.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPgetConsVars(), and vars.
|
static |
constraint method of constraint handler which returns the number of variables (if possible)
Definition at line 1871 of file cons_superindicator.c.
References assert(), NULL, nvars, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), and SCIPgetConsNVars().