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 "blockmemshell/memory.h"
#include "scip/cons_and.h"
#include "scip/cons_or.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_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_prob.h"
#include "scip/scip_probing.h"
#include "scip/scip_sol.h"
#include "scip/scip_tree.h"
#include "scip/scip_var.h"
#include "scip/symmetry_graph.h"
#include "symmetry/struct_symmetry.h"
#include <string.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" |
#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 |
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 146 of file cons_or.c.
References assert(), SCIP_CALL, SCIP_LOCKTYPE_CONFLICT, SCIP_OKAY, SCIPconsIsLockedType(), SCIPlockVarCons(), TRUE, and var.
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 162 of file cons_or.c.
References assert(), SCIP_CALL, SCIP_LOCKTYPE_CONFLICT, SCIP_OKAY, SCIPconsIsLockedType(), SCIPunlockVarCons(), TRUE, and var.
Referenced by delCoefPos().
|
static |
creates constraint handler data
scip | SCIP data structure |
conshdlrdata | pointer to store the constraint handler data |
eventhdlr | event handler |
Definition at line 178 of file cons_or.c.
References assert(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPallocBlockMemory.
Referenced by SCIPincludeConshdlrOr().
|
static |
frees constraint handler data
scip | SCIP data structure |
conshdlrdata | pointer to the constraint handler data |
Definition at line 198 of file cons_or.c.
References assert(), NULL, and SCIPfreeBlockMemory.
Referenced by SCIP_DECL_CONSFREE().
|
static |
gets number of LP rows needed for the LP relaxation of the constraint
consdata | constraint data |
Definition at line 211 of file cons_or.c.
References assert(), and NULL.
Referenced by addRelaxation(), checkCons(), consdataFreeRows(), 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 222 of file cons_or.c.
References assert(), NULL, nvars, SCIP_CALL, SCIP_EVENTTYPE_LBRELAXED, SCIP_EVENTTYPE_UBTIGHTENED, SCIP_OKAY, and SCIPcatchVarEvent().
Referenced by 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 246 of file cons_or.c.
References assert(), NULL, nvars, SCIP_CALL, SCIP_EVENTTYPE_LBRELAXED, SCIP_EVENTTYPE_UBTIGHTENED, SCIP_OKAY, and SCIPdropVarEvent().
Referenced by 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 269 of file cons_or.c.
References assert(), i, NULL, SCIP_CALL, SCIP_EVENTTYPE_BOUNDCHANGED, SCIP_EVENTTYPE_LBTIGHTENED, SCIP_EVENTTYPE_UBRELAXED, SCIP_OKAY, and SCIPcatchVarEvent().
Referenced by consdataCreate().
|
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 295 of file cons_or.c.
References assert(), i, NULL, SCIP_CALL, SCIP_EVENTTYPE_BOUNDCHANGED, SCIP_EVENTTYPE_LBTIGHTENED, SCIP_EVENTTYPE_UBRELAXED, SCIP_OKAY, and SCIPdropVarEvent().
Referenced by 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 321 of file cons_or.c.
References assert(), consdataCatchWatchedEvents(), consdataDropWatchedEvents(), NULL, nvars, SCIP_CALL, and SCIP_OKAY.
Referenced by 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 381 of file cons_or.c.
References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPcalcMemGrowSize(), and SCIPreallocBlockMemoryArray.
Referenced by addCoef().
|
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 405 of file cons_or.c.
References assert(), consdataCatchEvents(), FALSE, NULL, nvars, SCIP_CALL, SCIP_OKAY, SCIPallocBlockMemory, SCIPduplicateBlockMemoryArray, SCIPgetTransformedVar(), SCIPgetTransformedVars(), SCIPisTransformed(), and vars.
Referenced by 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 449 of file cons_or.c.
References assert(), consdataGetNRows(), NULL, r, SCIP_CALL, SCIP_OKAY, SCIPfreeBlockMemoryArray, and SCIPreleaseRow().
Referenced by 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 476 of file cons_or.c.
References assert(), consdataDropEvents(), consdataFreeRows(), consdataSwitchWatchedvars(), NULL, SCIP_CALL, SCIP_OKAY, SCIPfreeBlockMemory, SCIPfreeBlockMemoryArray, and SCIPisTransformed().
Referenced by 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 510 of file cons_or.c.
References assert(), NULL, SCIP_CALL, SCIP_OKAY, SCIPinfoMessage(), SCIPwriteVarName(), SCIPwriteVarsList(), and TRUE.
Referenced by applyFixings(), 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 535 of file cons_or.c.
References assert(), consdataEnsureVarsSize(), lockRounding(), NULL, SCIP_Bool, SCIP_CALL, SCIP_EVENTTYPE_LBTIGHTENED, SCIP_EVENTTYPE_UBRELAXED, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcatchVarEvent(), SCIPconsGetData(), SCIPconsIsTransformed(), SCIPerrorMessage, SCIPgetTransformedVar(), SCIPvarIsTransformed(), and var.
Referenced by applyFixings().
|
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 589 of file cons_or.c.
References assert(), consdataSwitchWatchedvars(), FALSE, NULL, nvars, SCIP_CALL, SCIP_EVENTTYPE_LBTIGHTENED, SCIP_EVENTTYPE_UBRELAXED, SCIP_OKAY, SCIPconsGetData(), SCIPconsIsTransformed(), SCIPdropVarEvent(), SCIPvarIsTransformed(), and unlockRounding().
Referenced by 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 647 of file cons_or.c.
References addCoef(), assert(), consdataPrint(), delCoefPos(), NULL, nvars, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPdebug, SCIPdebugMsg, SCIPdebugMsgPrint, SCIPgetBinvarRepresentative(), SCIPisFeasEQ(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), SCIPvarIsBinary(), and var.
Referenced by SCIP_DECL_CONSPRESOL().
|
static |
creates LP rows corresponding to or constraint:
scip | SCIP data structure |
cons | constraint to check |
Definition at line 706 of file cons_or.c.
References assert(), consdataGetNRows(), i, NULL, nvars, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPaddVarsToRowSameCoef(), SCIPaddVarToRow(), SCIPallocBlockMemoryArray, SCIPconsGetData(), SCIPconsGetName(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsRemovable(), SCIPcreateEmptyRowCons(), SCIPinfinity(), and SCIPsnprintf().
Referenced by addRelaxation(), 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 749 of file cons_or.c.
References assert(), consdataGetNRows(), createRelaxation(), FALSE, NULL, r, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPaddRow(), SCIPconsGetData(), and SCIProwIsInLP().
Referenced by 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 783 of file cons_or.c.
References assert(), consdataGetNRows(), FALSE, i, MAX3, NULL, r, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPconsGetData(), SCIPgetSolVal(), SCIPincConsAge(), SCIPinfoMessage(), SCIPisFeasPositive(), SCIPprintCons(), SCIPresetConsAge(), SCIProwIsInLP(), SCIPupdateSolConsViolation(), SCIPvarGetName(), sol, and TRUE.
Referenced by 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 899 of file cons_or.c.
References assert(), consdataGetNRows(), createRelaxation(), FALSE, NULL, r, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPaddRow(), SCIPconsGetData(), SCIPgetRowSolFeasibility(), SCIPisFeasNegative(), SCIProwIsInLP(), sol, and TRUE.
Referenced by 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 949 of file cons_or.c.
References assert(), FALSE, NULL, nvars, SCIP_CALL, SCIP_CONFTYPE_PROPAGATION, SCIP_OKAY, SCIP_STAGE_SOLVING, SCIPaddConflictBinvar(), SCIPanalyzeConflictCons(), SCIPconsGetData(), SCIPgetStage(), SCIPinitConflictAnalysis(), SCIPinProbing(), SCIPisConflictAnalysisApplicable(), SCIPvarGetLbLocal(), and SCIPvarGetUbLocal().
Referenced by propagateCons().
|
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 981 of file cons_or.c.
References assert(), FALSE, NULL, SCIP_CALL, SCIP_CONFTYPE_PROPAGATION, SCIP_OKAY, SCIP_STAGE_SOLVING, SCIPaddConflictBinvar(), SCIPanalyzeConflictCons(), SCIPconsGetData(), SCIPconsIsModifiable(), SCIPgetStage(), SCIPinitConflictAnalysis(), SCIPinProbing(), SCIPisConflictAnalysisApplicable(), SCIPvarGetLbLocal(), and SCIPvarGetUbLocal().
Referenced by 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 1022 of file cons_or.c.
References analyzeConflictOne(), analyzeConflictZero(), assert(), consdataSwitchWatchedvars(), cutoff, FALSE, i, NULL, nvars, PROPRULE_1, PROPRULE_2, PROPRULE_3, PROPRULE_4, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), SCIPconsIsModifiable(), SCIPdebugMsg, SCIPdelConsLocal(), SCIPincConsAge(), SCIPinferBinvarCons(), SCIPinRepropagation(), SCIPisFeasEQ(), SCIPresetConsAge(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbLocal(), TRUE, and vars.
Referenced by 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 1261 of file cons_or.c.
References assert(), FALSE, i, NULL, nvars, PROPRULE_1, PROPRULE_2, PROPRULE_3, PROPRULE_4, PROPRULE_INVALID, result, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_SUCCESS, SCIPaddConflictBinvar(), SCIPconsGetData(), SCIPconsGetName(), SCIPerrorMessage, SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), TRUE, and vars.
Referenced by 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 1347 of file cons_or.c.
References assert(), i, NULL, SCIP_CALL, 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 SCIP_DECL_CONSPRESOL().
|
static |
adds symmetry information of constraint to a symmetry detection graph
scip | SCIP pointer |
symtype | type of symmetries that need to be added |
cons | constraint |
graph | symmetry detection graph |
success | pointer to store whether symmetry information could be added |
Definition at line 1400 of file cons_or.c.
References assert(), FALSE, i, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPaddSymgraphConsnode(), SCIPaddSymgraphEdge(), SCIPaddSymgraphOpnode(), SCIPaddSymgraphVarAggregation(), SCIPallocBufferArray, SCIPconsGetData(), SCIPfreeBufferArray, SCIPgetSymActiveVariables(), SCIPisTransformed(), SYM_CONSOPTYPE_OR, TRUE, and vars.
Referenced by SCIP_DECL_CONSGETPERMSYMGRAPH(), and SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH().
|
static |
copy method for constraint handler plugins (called when SCIP copies plugins)
Definition at line 1473 of file cons_or.c.
References assert(), CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIPconshdlrGetName(), SCIPincludeConshdlrOr(), TRUE, and valid.
|
static |
destructor of constraint handler to free constraint handler data (called when SCIP is exiting)
Definition at line 1489 of file cons_or.c.
References assert(), conshdlrdataFree(), NULL, SCIP_OKAY, SCIPconshdlrGetData(), and SCIPconshdlrSetData().
|
static |
solving process deinitialization method of constraint handler (called before branch and bound process data is freed)
Definition at line 1507 of file cons_or.c.
References c, consdataFreeRows(), SCIP_CALL, SCIP_OKAY, and SCIPconsGetData().
|
static |
frees specific constraint data
Definition at line 1525 of file cons_or.c.
References assert(), consdataFree(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPconshdlrGetData().
|
static |
transforms constraint data into data belonging to the transformed problem
Definition at line 1540 of file cons_or.c.
References assert(), consdataCreate(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), and SCIPcreateCons().
|
static |
LP initialization method of constraint handler (called before the initial LP relaxation at a node is solved)
Definition at line 1569 of file cons_or.c.
References addRelaxation(), assert(), FALSE, i, SCIP_CALL, SCIP_OKAY, and SCIPconsIsInitial().
|
static |
separation method of constraint handler for LP solutions
Definition at line 1587 of file cons_or.c.
References c, NULL, result, SCIP_Bool, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_SEPARATED, and separateCons().
|
static |
separation method of constraint handler for arbitrary primal solutions
Definition at line 1611 of file cons_or.c.
References c, result, SCIP_Bool, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_SEPARATED, separateCons(), and sol.
|
static |
constraint enforcing method of constraint handler for LP solutions
Definition at line 1635 of file cons_or.c.
References checkCons(), FALSE, i, NULL, result, SCIP_Bool, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, SCIP_SEPARATED, and separateCons().
|
static |
constraint enforcing method of constraint handler for relaxation solutions
Definition at line 1669 of file cons_or.c.
References checkCons(), FALSE, i, result, SCIP_Bool, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, SCIP_SEPARATED, separateCons(), and sol.
|
static |
constraint enforcing method of constraint handler for pseudo solutions
Definition at line 1703 of file cons_or.c.
References checkCons(), FALSE, i, NULL, result, SCIP_Bool, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, and TRUE.
|
static |
feasibility check method of constraint handler or
Definition at line 1725 of file cons_or.c.
References checkCons(), i, result, SCIP_Bool, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, and sol.
|
static |
domain propagation method of constraint handler
Definition at line 1744 of file cons_or.c.
References assert(), c, cutoff, FALSE, NULL, propagateCons(), result, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_REDUCEDDOM, and SCIPconshdlrGetData().
|
static |
presolving method of constraint handler
Definition at line 1777 of file cons_or.c.
References applyFixings(), assert(), c, cutoff, FALSE, i, NULL, propagateCons(), result, SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_SUCCESS, SCIPaddVarImplication(), SCIPaggregateVars(), SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconsIsActive(), SCIPconsIsDeleted(), SCIPconsIsModifiable(), SCIPdebugMsg, SCIPdelCons(), SCIPdoNotAggr(), SCIPisFeasEQ(), SCIPisStopped(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), TRUE, and upgradeCons().
|
static |
|
static |
variable rounding lock method of constraint handler
Definition at line 1907 of file cons_or.c.
References assert(), i, NULL, SCIP_CALL, SCIP_LOCKTYPE_MODEL, SCIP_OKAY, SCIPaddVarLocksType(), and SCIPconsGetData().
|
static |
constraint display method of constraint handler
Definition at line 1932 of file cons_or.c.
References assert(), consdataPrint(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPconsGetData().
|
static |
constraint copying method of constraint handler
Definition at line 1945 of file cons_or.c.
References assert(), NULL, nvars, propagate, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPallocBufferArray, SCIPconsGetName(), SCIPcreateConsOr(), SCIPfreeBufferArray, SCIPgetNVarsOr(), SCIPgetResultantOr(), SCIPgetVarCopy(), SCIPgetVarsOr(), TRUE, valid, and vars.
|
static |
constraint parsing method of constraint handler
Definition at line 1998 of file cons_or.c.
References assert(), FALSE, NULL, nvars, propagate, SCIP_CALL, SCIP_OKAY, SCIPallocBufferArray, SCIPcreateConsOr(), SCIPdebugMsg, SCIPduplicateBufferArray, SCIPerrorMessage, SCIPfreeBufferArray, SCIPparseVarName(), SCIPparseVarsList(), SCIPreallocBufferArray, SCIPstrtok(), and vars.
|
static |
|
static |
|
static |
constraint handler method which returns the permutation symmetry detection graph of a constraint
Definition at line 2115 of file cons_or.c.
References addSymmetryInformation(), SCIP_CALL, SCIP_OKAY, and SYM_SYMTYPE_PERM.
|
static |
constraint handler method which returns the signed permutation symmetry detection graph of a constraint
Definition at line 2124 of file cons_or.c.
References addSymmetryInformation(), SCIP_CALL, SCIP_OKAY, and SYM_SYMTYPE_SIGNPERM.
|
static |
Definition at line 2136 of file cons_or.c.
References assert(), FALSE, NULL, SCIP_EVENTTYPE_LBTIGHTENED, SCIP_OKAY, and SCIPeventGetType().