Constraint handler for "or" constraints, \(r = x_1 \vee x_2 \vee \dots \vee x_n\).
This constraint handler deals with "or" constraint. These are constraint of the form:
\[ r = x_1 \vee x_2 \vee \dots \vee x_n \]
where \(x_i\) is a binary variable for all \(i\). Hence, \(r\) is also of binary type. The variable \(r\) is called resultant and the \(x\)'s operators.
Definition in file cons_or.c.
#include <assert.h>
#include <string.h>
#include "scip/cons_or.h"
#include "scip/cons_and.h"
#include "scip/pub_misc.h"
Go to the source code of this file.
Macros | |
#define | CONSHDLR_NAME "or" |
#define | CONSHDLR_DESC "constraint handler for or constraints: r = or(x1, ..., xn)" |
#define | CONSHDLR_SEPAPRIORITY +850000 |
#define | CONSHDLR_ENFOPRIORITY -850000 |
#define | CONSHDLR_CHECKPRIORITY -850000 |
#define | CONSHDLR_SEPAFREQ 0 |
#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 | EVENTHDLR_NAME "or" |
#define | EVENTHDLR_DESC "event handler for or constraints" |
Typedefs | |
typedef enum Proprule | PROPRULE |
Enumerations | |
enum | Proprule { PROPRULE_1, PROPRULE_2, PROPRULE_3, PROPRULE_4, PROPRULE_INVALID, PROPRULE_INVALID = 0, PROPRULE_1 = 1, PROPRULE_2 = 2, PROPRULE_3 = 3, PROPRULE_4 = 4, PROPRULE_1_CORETIMES = 1, PROPRULE_2_EDGEFINDING = 2, PROPRULE_3_TTEF = 3, PROPRULE_1_RHS = 1, PROPRULE_1_LHS = 2, PROPRULE_1_RANGEDROW = 3, PROPRULE_INVALID = 0, PROPRULE_1, PROPRULE_2, PROPRULE_3, PROPRULE_4, PROPRULE_INVALID, PROPRULE_1, PROPRULE_2, PROPRULE_3, PROPRULE_4, PROPRULE_0, PROPRULE_1, PROPRULE_INTLB, PROPRULE_INTUB, PROPRULE_INVALID } |
#define CONSHDLR_NAME "or" |
Definition at line 43 of file cons_or.c.
Referenced by SCIP_DECL_CONSHDLRCOPY(), SCIPcreateConsOr(), SCIPgetNVarsOr(), SCIPgetResultantOr(), SCIPgetVarsOr(), and SCIPincludeConshdlrOr().
#define CONSHDLR_DESC "constraint handler for or constraints: r = or(x1, ..., xn)" |
Definition at line 44 of file cons_or.c.
Referenced by SCIPincludeConshdlrOr().
#define CONSHDLR_SEPAPRIORITY +850000 |
priority of the constraint handler for separation
Definition at line 45 of file cons_or.c.
Referenced by SCIPincludeConshdlrOr().
#define CONSHDLR_ENFOPRIORITY -850000 |
priority of the constraint handler for constraint enforcing
Definition at line 46 of file cons_or.c.
Referenced by SCIPincludeConshdlrOr().
#define CONSHDLR_CHECKPRIORITY -850000 |
priority of the constraint handler for checking feasibility
Definition at line 47 of file cons_or.c.
Referenced by SCIPincludeConshdlrOr().
#define CONSHDLR_SEPAFREQ 0 |
frequency for separating cuts; zero means to separate only in the root node
Definition at line 48 of file cons_or.c.
Referenced by SCIPincludeConshdlrOr().
#define CONSHDLR_PROPFREQ 1 |
frequency for propagating domains; zero means only preprocessing propagation
Definition at line 49 of file cons_or.c.
Referenced by SCIPincludeConshdlrOr().
#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 50 of file cons_or.c.
Referenced by SCIPincludeConshdlrOr().
#define CONSHDLR_MAXPREROUNDS -1 |
maximal number of presolving rounds the constraint handler participates in (-1: no limit)
Definition at line 53 of file cons_or.c.
Referenced by SCIPincludeConshdlrOr().
#define CONSHDLR_DELAYSEPA FALSE |
should separation method be delayed, if other separators found cuts?
Definition at line 54 of file cons_or.c.
Referenced by SCIPincludeConshdlrOr().
#define CONSHDLR_DELAYPROP FALSE |
should propagation method be delayed, if other propagators found reductions?
Definition at line 55 of file cons_or.c.
Referenced by SCIPincludeConshdlrOr().
#define CONSHDLR_NEEDSCONS TRUE |
should the constraint handler be skipped, if no constraints are available?
Definition at line 56 of file cons_or.c.
Referenced by SCIPincludeConshdlrOr().
#define CONSHDLR_PROP_TIMING SCIP_PROPTIMING_BEFORELP |
propagation timing mask of the constraint handler
Definition at line 58 of file cons_or.c.
Referenced by SCIPincludeConshdlrOr().
#define CONSHDLR_PRESOLTIMING SCIP_PRESOLTIMING_MEDIUM |
presolving timing of the constraint handler (fast, medium, or exhaustive)
Definition at line 59 of file cons_or.c.
Referenced by SCIPincludeConshdlrOr().
#define EVENTHDLR_NAME "or" |
Definition at line 61 of file cons_or.c.
Referenced by SCIPincludeConshdlrOr().
#define EVENTHDLR_DESC "event handler for or constraints" |
Definition at line 62 of file cons_or.c.
Referenced by SCIPincludeConshdlrOr().
enum Proprule |
|
static |
installs rounding locks for the given variable in the given or constraint
scip | SCIP data structure |
cons | or constraint |
var | variable of constraint entry |
Definition at line 116 of file cons_or.c.
References SCIP_CALL, SCIP_OKAY, SCIPlockVarCons(), TRUE, and unlockRounding().
Referenced by addCoef().
|
static |
removes rounding locks for the given variable in the given or constraint
scip | SCIP data structure |
cons | or constraint |
var | variable of constraint entry |
Definition at line 130 of file cons_or.c.
References conshdlrdataCreate(), SCIP_CALL, SCIP_OKAY, SCIPunlockVarCons(), and TRUE.
Referenced by delCoefPos(), and lockRounding().
|
static |
creates constraint handler data
scip | SCIP data structure |
conshdlrdata | pointer to store the constraint handler data |
eventhdlr | event handler |
Definition at line 144 of file cons_or.c.
References conshdlrdataFree(), SCIP_CALL, SCIP_OKAY, and SCIPallocBlockMemory.
Referenced by SCIPincludeConshdlrOr(), and unlockRounding().
|
static |
frees constraint handler data
scip | SCIP data structure |
conshdlrdata | pointer to the constraint handler data |
Definition at line 164 of file cons_or.c.
References consdataGetNRows(), SCIP_OKAY, and SCIPfreeBlockMemory.
Referenced by conshdlrdataCreate(), and SCIP_DECL_CONSFREE().
|
static |
gets number of LP rows needed for the LP relaxation of the constraint
consdata | constraint data |
Definition at line 179 of file cons_or.c.
References consdataCatchWatchedEvents().
Referenced by addRelaxation(), checkCons(), consdataFreeRows(), conshdlrdataFree(), createRelaxation(), and separateCons().
|
static |
catches events for the watched variable at given position
scip | SCIP data structure |
consdata | or constraint data |
eventhdlr | event handler to call for the event processing |
pos | array position of variable to catch bound change events for |
filterpos | pointer to store position of event filter entry |
Definition at line 190 of file cons_or.c.
References consdataDropWatchedEvents(), SCIP_CALL, SCIP_EVENTTYPE_LBRELAXED, SCIP_EVENTTYPE_UBTIGHTENED, SCIP_OKAY, and SCIPcatchVarEvent().
Referenced by consdataGetNRows(), and consdataSwitchWatchedvars().
|
static |
drops events for the watched variable at given position
scip | SCIP data structure |
consdata | or constraint data |
eventhdlr | event handler to call for the event processing |
pos | array position of watched variable to drop bound change events for |
filterpos | position of event filter entry |
Definition at line 214 of file cons_or.c.
References consdataCatchEvents(), SCIP_CALL, SCIP_EVENTTYPE_LBRELAXED, SCIP_EVENTTYPE_UBTIGHTENED, SCIP_OKAY, and SCIPdropVarEvent().
Referenced by consdataCatchWatchedEvents(), and consdataSwitchWatchedvars().
|
static |
catches needed events on all variables of constraint, except the special ones for watched variables
scip | SCIP data structure |
consdata | or constraint data |
eventhdlr | event handler to call for the event processing |
Definition at line 237 of file cons_or.c.
References consdataDropEvents(), SCIP_CALL, SCIP_EVENTTYPE_BOUNDCHANGED, SCIP_EVENTTYPE_LBTIGHTENED, SCIP_EVENTTYPE_UBRELAXED, SCIP_OKAY, and SCIPcatchVarEvent().
Referenced by consdataCreate(), and consdataDropWatchedEvents().
|
static |
drops events on all variables of constraint, except the special ones for watched variables
scip | SCIP data structure |
consdata | or constraint data |
eventhdlr | event handler to call for the event processing |
Definition at line 263 of file cons_or.c.
References consdataSwitchWatchedvars(), SCIP_CALL, SCIP_EVENTTYPE_BOUNDCHANGED, SCIP_EVENTTYPE_LBTIGHTENED, SCIP_EVENTTYPE_UBRELAXED, SCIP_OKAY, and SCIPdropVarEvent().
Referenced by consdataCatchEvents(), and consdataFree().
|
static |
stores the given variable numbers as watched variables, and updates the event processing
scip | SCIP data structure |
consdata | or constraint data |
eventhdlr | event handler to call for the event processing |
watchedvar1 | new first watched variable |
watchedvar2 | new second watched variable |
Definition at line 289 of file cons_or.c.
References consdataCatchWatchedEvents(), consdataDropWatchedEvents(), consdataEnsureVarsSize(), SCIP_CALL, and SCIP_OKAY.
Referenced by consdataDropEvents(), consdataFree(), delCoefPos(), and propagateCons().
|
static |
ensures, that the vars array can store at least num entries
scip | SCIP data structure |
consdata | linear constraint data |
num | minimum number of entries to store |
Definition at line 349 of file cons_or.c.
References consdataCreate(), SCIP_CALL, SCIP_OKAY, SCIPcalcMemGrowSize(), and SCIPreallocBlockMemoryArray.
Referenced by addCoef(), and consdataSwitchWatchedvars().
|
static |
creates constraint data for or constraint
scip | SCIP data structure |
consdata | pointer to store the constraint data |
eventhdlr | event handler to call for the event processing |
nvars | number of variables in the or operation |
vars | variables in or operation |
resvar | resultant variable |
Definition at line 373 of file cons_or.c.
References consdataCatchEvents(), consdataFreeRows(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPallocBlockMemory, SCIPduplicateBlockMemoryArray, SCIPgetTransformedVar(), SCIPgetTransformedVars(), and SCIPisTransformed().
Referenced by consdataEnsureVarsSize(), SCIP_DECL_CONSTRANS(), and SCIPcreateConsOr().
|
static |
releases LP rows of constraint data and frees rows array
scip | SCIP data structure |
consdata | constraint data |
Definition at line 417 of file cons_or.c.
References consdataFree(), consdataGetNRows(), SCIP_CALL, SCIP_OKAY, SCIPfreeBlockMemoryArray, and SCIPreleaseRow().
Referenced by consdataCreate(), consdataFree(), and SCIP_DECL_CONSEXITSOL().
|
static |
frees constraint data for or constraint
scip | SCIP data structure |
consdata | pointer to the constraint data |
eventhdlr | event handler to call for the event processing |
Definition at line 444 of file cons_or.c.
References consdataDropEvents(), consdataFreeRows(), consdataPrint(), consdataSwitchWatchedvars(), SCIP_CALL, SCIP_OKAY, SCIPfreeBlockMemory, SCIPfreeBlockMemoryArray, and SCIPisTransformed().
Referenced by consdataFreeRows(), and SCIP_DECL_CONSDELETE().
|
static |
prints or constraint to file stream
scip | SCIP data structure |
consdata | or constraint data |
file | output file (or NULL for standard output) |
Definition at line 478 of file cons_or.c.
References addCoef(), SCIP_CALL, SCIP_OKAY, SCIPinfoMessage(), SCIPwriteVarName(), SCIPwriteVarsList(), and TRUE.
Referenced by applyFixings(), consdataFree(), and SCIP_DECL_CONSPRINT().
|
static |
adds coefficient in or constraint
scip | SCIP data structure |
cons | linear constraint |
eventhdlr | event handler to call for the event processing |
var | variable to add to the constraint |
Definition at line 503 of file cons_or.c.
References consdataEnsureVarsSize(), delCoefPos(), lockRounding(), SCIP_Bool, SCIP_CALL, SCIP_EVENTTYPE_LBTIGHTENED, SCIP_EVENTTYPE_UBRELAXED, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcatchVarEvent(), SCIPconsGetData(), SCIPconsIsTransformed(), SCIPerrorMessage, SCIPgetTransformedVar(), and SCIPvarIsTransformed().
Referenced by applyFixings(), and consdataPrint().
|
static |
deletes coefficient at given position from or constraint data
scip | SCIP data structure |
cons | or constraint |
eventhdlr | event handler to call for the event processing |
pos | position of coefficient to delete |
Definition at line 557 of file cons_or.c.
References applyFixings(), consdataSwitchWatchedvars(), FALSE, SCIP_CALL, SCIP_EVENTTYPE_LBTIGHTENED, SCIP_EVENTTYPE_UBRELAXED, SCIP_OKAY, SCIPconsGetData(), SCIPconsIsTransformed(), SCIPdropVarEvent(), SCIPvarIsTransformed(), and unlockRounding().
Referenced by addCoef(), and applyFixings().
|
static |
deletes all zero-fixed variables
scip | SCIP data structure |
cons | or constraint |
eventhdlr | event handler to call for the event processing |
Definition at line 615 of file cons_or.c.
References addCoef(), consdataPrint(), createRelaxation(), delCoefPos(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPdebug, SCIPdebugMsg, SCIPdebugMsgPrint, SCIPgetBinvarRepresentative(), SCIPisFeasEQ(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), and SCIPvarIsBinary().
Referenced by delCoefPos(), and SCIP_DECL_CONSPRESOL().
|
static |
creates LP rows corresponding to or constraint:
scip | SCIP data structure |
cons | constraint to check |
Definition at line 674 of file cons_or.c.
References addRelaxation(), consdataGetNRows(), SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPaddVarsToRowSameCoef(), SCIPaddVarToRow(), SCIPallocBlockMemoryArray, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconsGetName(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsRemovable(), SCIPcreateEmptyRowCons(), SCIPinfinity(), and SCIPsnprintf().
Referenced by addRelaxation(), applyFixings(), and separateCons().
|
static |
adds linear relaxation of or constraint to the LP
scip | SCIP data structure |
cons | constraint to check |
infeasible | pointer to store whether an infeasibility was detected |
Definition at line 717 of file cons_or.c.
References checkCons(), consdataGetNRows(), createRelaxation(), FALSE, SCIP_CALL, SCIP_OKAY, SCIPaddRow(), SCIPconsGetData(), and SCIProwIsInLP().
Referenced by createRelaxation(), and SCIP_DECL_CONSINITLP().
|
static |
checks or constraint for feasibility of given solution: returns TRUE iff constraint is feasible
scip | SCIP data structure |
cons | constraint to check |
sol | solution to check, NULL for current solution |
checklprows | Do constraints represented by rows in the current LP have to be checked? |
printreason | Should the reason for the violation be printed? |
violated | pointer to store whether the constraint is violated |
Definition at line 751 of file cons_or.c.
References consdataGetNRows(), FALSE, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPconsGetData(), SCIPgetSolVal(), SCIPincConsAge(), SCIPinfoMessage(), SCIPisFeasIntegral(), SCIPprintCons(), SCIPresetConsAge(), SCIProwIsInLP(), SCIPupdateSolConsViolation(), SCIPvarGetName(), separateCons(), and TRUE.
Referenced by addRelaxation(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), and SCIP_DECL_CONSENFORELAX().
|
static |
separates current LP solution
scip | SCIP data structure |
cons | constraint to check |
sol | primal CIP solution, NULL for current LP solution |
separated | pointer to store whether a cut was found |
Definition at line 853 of file cons_or.c.
References analyzeConflictZero(), consdataGetNRows(), createRelaxation(), FALSE, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPaddRow(), SCIPconsGetData(), SCIPgetRowSolFeasibility(), SCIPisFeasNegative(), SCIProwIsInLP(), and TRUE.
Referenced by checkCons(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSSEPALP(), and SCIP_DECL_CONSSEPASOL().
|
static |
analyzes conflicting FALSE assignment to resultant of given constraint, and adds conflict constraint to problem
scip | SCIP data structure |
cons | or constraint that detected the conflict |
truepos | position of operand that is fixed to TRUE |
Definition at line 903 of file cons_or.c.
References analyzeConflictOne(), FALSE, SCIP_CALL, SCIP_CONFTYPE_PROPAGATION, SCIP_OKAY, SCIP_STAGE_SOLVING, SCIPaddConflictBinvar(), SCIPanalyzeConflictCons(), SCIPconsGetData(), SCIPgetStage(), SCIPinitConflictAnalysis(), SCIPinProbing(), SCIPisConflictAnalysisApplicable(), SCIPvarGetLbLocal(), and SCIPvarGetUbLocal().
Referenced by propagateCons(), and separateCons().
|
static |
analyzes conflicting TRUE assignment to resultant of given constraint, and adds conflict constraint to problem
scip | SCIP data structure |
cons | or constraint that detected the conflict |
Definition at line 935 of file cons_or.c.
References FALSE, propagateCons(), SCIP_CALL, SCIP_CONFTYPE_PROPAGATION, SCIP_OKAY, SCIP_STAGE_SOLVING, SCIPaddConflictBinvar(), SCIPanalyzeConflictCons(), SCIPconsGetData(), SCIPconsIsModifiable(), SCIPgetStage(), SCIPinitConflictAnalysis(), SCIPinProbing(), SCIPisConflictAnalysisApplicable(), SCIPvarGetLbLocal(), and SCIPvarGetUbLocal().
Referenced by analyzeConflictZero(), and propagateCons().
|
static |
propagates constraint with the following rules: (1) v_i = TRUE => r = TRUE (2) r = FALSE => v_i = FALSE for all i (3) v_i = FALSE for all i => r = FALSE (4) r = TRUE, v_i = FALSE for all i except j => v_j = TRUE
scip | SCIP data structure |
cons | or constraint to be processed |
eventhdlr | event handler to call for the event processing |
cutoff | pointer to store TRUE, if the node can be cut off |
nfixedvars | pointer to add up the number of found domain reductions |
Definition at line 976 of file cons_or.c.
References analyzeConflictOne(), analyzeConflictZero(), consdataSwitchWatchedvars(), FALSE, PROPRULE_1, PROPRULE_2, PROPRULE_3, PROPRULE_4, resolvePropagation(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), SCIPconsIsModifiable(), SCIPdebugMsg, SCIPdelConsLocal(), SCIPincConsAge(), SCIPinferBinvarCons(), SCIPinRepropagation(), SCIPisFeasEQ(), SCIPresetConsAge(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbLocal(), and TRUE.
Referenced by analyzeConflictOne(), SCIP_DECL_CONSPRESOL(), and SCIP_DECL_CONSPROP().
|
static |
resolves a conflict on the given variable by supplying the variables needed for applying the corresponding propagation rule (see propagateCons()): (1) v_i = TRUE => r = TRUE (2) r = FALSE => v_i = FALSE for all i (3) v_i = FALSE for all i => r = FALSE (4) r = TRUE, v_i = FALSE for all i except j => v_j = TRUE
scip | SCIP data structure |
cons | constraint that inferred the bound change |
infervar | variable that was deduced |
proprule | propagation rule that deduced the value |
bdchgidx | bound change index (time stamp of bound change), or NULL for current time |
result | pointer to store the result of the propagation conflict resolving call |
Definition at line 1215 of file cons_or.c.
References FALSE, PROPRULE_1, PROPRULE_2, PROPRULE_3, PROPRULE_4, PROPRULE_INVALID, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_SUCCESS, SCIPaddConflictBinvar(), SCIPconsGetData(), SCIPconsGetName(), SCIPerrorMessage, SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), TRUE, and upgradeCons().
Referenced by propagateCons(), and SCIP_DECL_CONSRESPROP().
|
static |
upgrades unmodifiable or constraint into an and constraint on negated variables
scip | SCIP data structure |
cons | constraint that inferred the bound change |
nupgdconss | pointer to count the number of constraint upgrades |
Definition at line 1301 of file cons_or.c.
References SCIP_CALL, SCIP_DECL_CONSHDLRCOPY(), SCIP_OKAY, SCIPaddCons(), SCIPallocBufferArray, SCIPconsGetData(), SCIPconsGetName(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateConsAnd(), SCIPdebugMsg, SCIPdelCons(), SCIPfreeBufferArray, SCIPgetNegatedVar(), and SCIPreleaseCons().
Referenced by resolvePropagation(), and SCIP_DECL_CONSPRESOL().
|
static |
copy method for constraint handler plugins (called when SCIP copies plugins)
Definition at line 1359 of file cons_or.c.
References CONSHDLR_NAME, SCIP_CALL, SCIP_DECL_CONSFREE(), SCIP_OKAY, SCIPconshdlrGetName(), SCIPincludeConshdlrOr(), and TRUE.
Referenced by upgradeCons().
|
static |
destructor of constraint handler to free constraint handler data (called when SCIP is exiting)
Definition at line 1375 of file cons_or.c.
References conshdlrdataFree(), SCIP_CALL, SCIP_DECL_CONSEXITSOL(), SCIP_OKAY, SCIPconshdlrGetData(), and SCIPconshdlrSetData().
Referenced by SCIP_DECL_CONSHDLRCOPY().
|
static |
solving process deinitialization method of constraint handler (called before branch and bound process data is freed)
Definition at line 1393 of file cons_or.c.
References consdataFreeRows(), SCIP_CALL, SCIP_DECL_CONSDELETE(), SCIP_OKAY, and SCIPconsGetData().
Referenced by SCIP_DECL_CONSFREE().
|
static |
frees specific constraint data
Definition at line 1411 of file cons_or.c.
References consdataFree(), SCIP_CALL, SCIP_DECL_CONSTRANS(), SCIP_OKAY, and SCIPconshdlrGetData().
Referenced by SCIP_DECL_CONSEXITSOL().
|
static |
transforms constraint data into data belonging to the transformed problem
Definition at line 1426 of file cons_or.c.
References consdataCreate(), SCIP_CALL, SCIP_DECL_CONSINITLP(), SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), and SCIPcreateCons().
Referenced by SCIP_DECL_CONSDELETE().
|
static |
LP initialization method of constraint handler (called before the initial LP relaxation at a node is solved)
Definition at line 1455 of file cons_or.c.
References addRelaxation(), FALSE, SCIP_CALL, SCIP_DECL_CONSSEPALP(), SCIP_OKAY, and SCIPconsIsInitial().
Referenced by SCIP_DECL_CONSTRANS().
|
static |
separation method of constraint handler for LP solutions
Definition at line 1473 of file cons_or.c.
References SCIP_Bool, SCIP_CALL, SCIP_DECL_CONSSEPASOL(), SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_SEPARATED, and separateCons().
Referenced by SCIP_DECL_CONSINITLP().
|
static |
separation method of constraint handler for arbitrary primal solutions
Definition at line 1497 of file cons_or.c.
References SCIP_Bool, SCIP_CALL, SCIP_DECL_CONSENFOLP(), SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_SEPARATED, and separateCons().
Referenced by SCIP_DECL_CONSSEPALP().
|
static |
constraint enforcing method of constraint handler for LP solutions
Definition at line 1521 of file cons_or.c.
References checkCons(), FALSE, SCIP_Bool, SCIP_CALL, SCIP_DECL_CONSENFORELAX(), SCIP_FEASIBLE, SCIP_OKAY, SCIP_SEPARATED, and separateCons().
Referenced by SCIP_DECL_CONSSEPASOL().
|
static |
constraint enforcing method of constraint handler for relaxation solutions
Definition at line 1548 of file cons_or.c.
References checkCons(), FALSE, SCIP_Bool, SCIP_CALL, SCIP_DECL_CONSENFOPS(), SCIP_FEASIBLE, SCIP_OKAY, SCIP_SEPARATED, and separateCons().
Referenced by SCIP_DECL_CONSENFOLP().
|
static |
constraint enforcing method of constraint handler for pseudo solutions
Definition at line 1575 of file cons_or.c.
References checkCons(), FALSE, SCIP_Bool, SCIP_CALL, SCIP_DECL_CONSCHECK(), SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, and TRUE.
Referenced by SCIP_DECL_CONSENFORELAX().
|
static |
feasibility check method of constraint handler for integral solutions
Definition at line 1598 of file cons_or.c.
References checkCons(), FALSE, SCIP_Bool, SCIP_CALL, SCIP_DECL_CONSPROP(), SCIP_FEASIBLE, SCIP_INFEASIBLE, and SCIP_OKAY.
Referenced by SCIP_DECL_CONSENFOPS().
|
static |
domain propagation method of constraint handler
Definition at line 1621 of file cons_or.c.
References FALSE, propagateCons(), SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DECL_CONSPRESOL(), SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_REDUCEDDOM, and SCIPconshdlrGetData().
Referenced by SCIP_DECL_CONSCHECK().
|
static |
presolving method of constraint handler
Definition at line 1654 of file cons_or.c.
References applyFixings(), FALSE, propagateCons(), SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_CUTOFF, SCIP_DECL_CONSRESPROP(), SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_SUCCESS, SCIPaddVarImplication(), SCIPaggregateVars(), SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconsIsActive(), SCIPconsIsDeleted(), SCIPconsIsModifiable(), SCIPdebugMsg, SCIPdelCons(), SCIPdoNotAggr(), SCIPisFeasEQ(), SCIPisStopped(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), TRUE, and upgradeCons().
Referenced by SCIP_DECL_CONSPROP().
|
static |
propagation conflict resolving method of constraint handler
Definition at line 1774 of file cons_or.c.
References resolvePropagation(), SCIP_CALL, SCIP_DECL_CONSLOCK(), and SCIP_OKAY.
Referenced by SCIP_DECL_CONSPRESOL().
|
static |
variable rounding lock method of constraint handler
Definition at line 1784 of file cons_or.c.
References SCIP_CALL, SCIP_DECL_CONSPRINT(), SCIP_OKAY, SCIPaddVarLocks(), and SCIPconsGetData().
Referenced by SCIP_DECL_CONSRESPROP().
|
static |
constraint display method of constraint handler
Definition at line 1807 of file cons_or.c.
References consdataPrint(), SCIP_CALL, SCIP_DECL_CONSCOPY(), SCIP_OKAY, and SCIPconsGetData().
Referenced by SCIP_DECL_CONSLOCK().
|
static |
constraint copying method of constraint handler
Definition at line 1821 of file cons_or.c.
References SCIP_CALL, SCIP_DECL_CONSPARSE(), SCIP_INVALIDCALL, SCIP_OKAY, SCIPallocBufferArray, SCIPconsGetName(), SCIPcreateConsOr(), SCIPfreeBufferArray, SCIPgetNVarsOr(), SCIPgetResultantOr(), SCIPgetVarCopy(), SCIPgetVarsOr(), and TRUE.
Referenced by SCIP_DECL_CONSPRINT().
|
static |
constraint parsing method of constraint handler
Definition at line 1874 of file cons_or.c.
References FALSE, SCIP_CALL, SCIP_DECL_CONSGETVARS(), SCIP_OKAY, SCIPallocBufferArray, SCIPcreateConsOr(), SCIPdebugMsg, SCIPduplicateBufferArray, SCIPfreeBufferArray, SCIPparseVarName(), SCIPparseVarsList(), SCIPreallocBufferArray, and SCIPstrtok().
Referenced by SCIP_DECL_CONSCOPY().
|
static |
constraint method of constraint handler which returns the variables (if possible)
Definition at line 1952 of file cons_or.c.
References BMScopyMemoryArray, FALSE, SCIP_DECL_CONSGETNVARS(), SCIP_OKAY, SCIPconsGetData(), and TRUE.
Referenced by SCIP_DECL_CONSPARSE().
|
static |
constraint method of constraint handler which returns the number of variable (if possible)
Definition at line 1973 of file cons_or.c.
References SCIP_DECL_EVENTEXEC(), SCIP_OKAY, SCIPconsGetData(), and TRUE.
Referenced by SCIP_DECL_CONSGETVARS().
|
static |
Definition at line 1994 of file cons_or.c.
References FALSE, SCIP_EVENTTYPE_LBTIGHTENED, SCIP_OKAY, SCIPeventGetType(), and SCIPincludeConshdlrOr().
Referenced by SCIP_DECL_CONSGETNVARS().