Detailed Description

constraint handler for bound disjunction constraints $(x_1 \{\leq,\geq\} b_1) \vee \ldots \vee (x_n \{\leq,\geq\} b_n)$

Author: Tobias Achterberg; Marc Pfetsch

Definition in file cons_bounddisjunction.c.

#include <assert.h>
#include <string.h>
#include <limits.h>
#include <ctype.h>
#include "scip/cons_bounddisjunction.h"
#include "scip/cons_quadratic.h"
#include "scip/cons_linear.h"
#include "scip/cons_logicor.h"
#include "scip/cons_setppc.h"
#include "scip/pub_misc.h"

Go to the source code of this file.

Macros
Constraint handler properties
#define	CONSHDLR_NAME "bounddisjunction"

#define	CONSHDLR_DESC "bound disjunction constraints"

#define	CONSHDLR_ENFOPRIORITY -3000000

#define	CONSHDLR_CHECKPRIORITY -3000000

#define	CONSHDLR_PROPFREQ 1

#define	CONSHDLR_EAGERFREQ 100

#define	CONSHDLR_MAXPREROUNDS -1

#define	CONSHDLR_DELAYPROP FALSE

#define	CONSHDLR_DELAYPRESOL FALSE

#define	CONSHDLR_NEEDSCONS TRUE

#define	CONSHDLR_PROP_TIMING SCIP_PROPTIMING_BEFORELP

#define	QUADCONSUPGD_PRIORITY 500000

Event handler properties
#define	EVENTHDLR_NAME "bounddisjunction"

#define	EVENTHDLR_DESC "event handler for bound disjunction constraints"

Conflict handler properties
#define	CONFLICTHDLR_NAME "bounddisjunction"

#define	CONFLICTHDLR_DESC "conflict handler creating bound disjunction constraints"

#define	CONFLICTHDLR_PRIORITY -3000000

Default parameter values
#define	DEFAULT_CONTINUOUSFRAC 0.4

Age increase defines
#define	AGEINCREASE(n) (1.0 + 0.2*n)

Comparison for two values
#define	isFeasLT(scip, var, val1, val2) SCIPisFeasLT(scip, val1, val2)

#define	isFeasLE(scip, var, val1, val2) SCIPisFeasLE(scip, val1, val2)

#define	isFeasGT(scip, var, val1, val2) SCIPisFeasGT(scip, val1, val2)

#define	isFeasGE(scip, var, val1, val2) SCIPisFeasGE(scip, val1, val2)

Functions
Local methods
static SCIP_RETCODE	lockRounding (SCIP scip, SCIP_CONS cons, SCIP_CONSDATA *consdata, int pos)

static SCIP_RETCODE	unlockRounding (SCIP scip, SCIP_CONS cons, SCIP_CONSDATA *consdata, int pos)

static SCIP_RETCODE	catchEvents (SCIP scip, SCIP_CONS cons, SCIP_CONSDATA consdata, SCIP_EVENTHDLR eventhdlr, int pos, int *filterpos)

static SCIP_RETCODE	dropEvents (SCIP scip, SCIP_CONS cons, SCIP_CONSDATA consdata, SCIP_EVENTHDLR eventhdlr, int pos, int filterpos)

static SCIP_RETCODE	conshdlrdataCreate (SCIP scip, SCIP_CONSHDLRDATA conshdlrdata, SCIP_EVENTHDLR eventhdlr)

static SCIP_RETCODE	conshdlrdataFree (SCIP scip, SCIP_CONSHDLRDATA *conshdlrdata)

static SCIP_RETCODE	consdataCreate (SCIP scip, SCIP_CONSDATA consdata, int nvars, SCIP_VAR vars, SCIP_BOUNDTYPE boundtypes, SCIP_Real *bounds)

static SCIP_RETCODE	consdataFree (SCIP scip, SCIP_CONSDATA *consdata)

static void	consdataPrint (SCIP scip, SCIP_CONSDATA consdata, FILE *file, SCIP_Bool endline)

static SCIP_RETCODE	switchWatchedvars (SCIP scip, SCIP_CONS cons, SCIP_EVENTHDLR *eventhdlr, int watchedvar1, int watchedvar2)

static SCIP_RETCODE	delCoefPos (SCIP scip, SCIP_CONS cons, SCIP_EVENTHDLR *eventhdlr, int pos)

static SCIP_RETCODE	addCoef (SCIP scip, SCIP_CONS cons, SCIP_EVENTHDLR eventhdlr, SCIP_VAR var, SCIP_BOUNDTYPE boundtype, SCIP_Real bound)

static SCIP_RETCODE	applyGlobalBounds (SCIP scip, SCIP_CONS cons, SCIP_EVENTHDLR eventhdlr, SCIP_Bool redundant)

static SCIP_Bool	isLiteralSatisfied (SCIP scip, SCIP_CONSDATA consdata, int pos)

static SCIP_Bool	isLiteralViolated (SCIP scip, SCIP_CONSDATA consdata, int pos)

static SCIP_RETCODE	removeFixedVariables (SCIP scip, SCIP_CONS cons, SCIP_EVENTHDLR eventhdlr, SCIP_Bool redundant)

static SCIP_RETCODE	upgradeCons (SCIP scip, SCIP_CONS cons, int ndelconss, int naddconss)

static SCIP_RETCODE	analyzeConflict (SCIP scip, SCIP_CONS cons)

static SCIP_RETCODE	disableCons (SCIP scip, SCIP_CONS cons)

static SCIP_RETCODE	processWatchedVars (SCIP scip, SCIP_CONS cons, SCIP_EVENTHDLR eventhdlr, SCIP_Bool cutoff, SCIP_Bool infeasible, SCIP_Bool reduceddom, SCIP_Bool *mustcheck)

static SCIP_RETCODE	checkCons (SCIP scip, SCIP_CONS cons, SCIP_SOL sol, SCIP_Bool violated)

static SCIP_RETCODE	registerBranchingCandidates (SCIP scip, SCIP_CONS cons, SCIP_Bool *neednarybranch)

static SCIP_RETCODE	enforceCurrentSol (SCIP scip, SCIP_CONS cons, SCIP_EVENTHDLR eventhdlr, SCIP_Bool cutoff, SCIP_Bool infeasible, SCIP_Bool reduceddom, SCIP_Bool *registeredbrcand)

static SCIP_RETCODE	createNAryBranch (SCIP scip, SCIP_CONS cons)

Upgrading methods for special quadratic constraint
static	SCIP_DECL_QUADCONSUPGD (upgradeConsQuadratic)

Callback methods of constraint handler
static	SCIP_DECL_CONSHDLRCOPY (conshdlrCopyBounddisjunction)

static	SCIP_DECL_CONSFREE (consFreeBounddisjunction)

static	SCIP_DECL_CONSEXITPRE (consExitpreBounddisjunction)

static	SCIP_DECL_CONSDELETE (consDeleteBounddisjunction)

static	SCIP_DECL_CONSTRANS (consTransBounddisjunction)

static	SCIP_DECL_CONSENFOLP (consEnfolpBounddisjunction)

static	SCIP_DECL_CONSENFOPS (consEnfopsBounddisjunction)

static	SCIP_DECL_CONSCHECK (consCheckBounddisjunction)

static	SCIP_DECL_CONSPROP (consPropBounddisjunction)

static	SCIP_DECL_CONSPRESOL (consPresolBounddisjunction)

static	SCIP_DECL_CONSRESPROP (consRespropBounddisjunction)

static	SCIP_DECL_CONSLOCK (consLockBounddisjunction)

static	SCIP_DECL_CONSACTIVE (consActiveBounddisjunction)

static	SCIP_DECL_CONSDEACTIVE (consDeactiveBounddisjunction)

static	SCIP_DECL_CONSPRINT (consPrintBounddisjunction)

static	SCIP_DECL_CONSCOPY (consCopyBounddisjunction)

static	SCIP_DECL_CONSPARSE (consParseBounddisjunction)

static	SCIP_DECL_CONSGETVARS (consGetVarsBounddisjunction)

static	SCIP_DECL_CONSGETNVARS (consGetNVarsBounddisjunction)

Callback methods of event handler
static	SCIP_DECL_EVENTEXEC (eventExecBounddisjunction)

Callback methods of conflict handler
static	SCIP_DECL_CONFLICTEXEC (conflictExecBounddisjunction)

static	SCIP_DECL_CONFLICTFREE (conflictFreeBounddisjunction)

Interface methods
SCIP_RETCODE	SCIPincludeConshdlrBounddisjunction (SCIP *scip)

SCIP_RETCODE	SCIPcreateConsBounddisjunction (SCIP scip, SCIP_CONS cons, const char name, int nvars, SCIP_VAR *vars, SCIP_BOUNDTYPE boundtypes, SCIP_Real *bounds, 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	SCIPcreateConsBasicBounddisjunction (SCIP scip, SCIP_CONS cons, const char name, int nvars, SCIP_VAR *vars, SCIP_BOUNDTYPE boundtypes, SCIP_Real *bounds)

int	SCIPgetNVarsBounddisjunction (SCIP scip, SCIP_CONS cons)

SCIP_VAR **	SCIPgetVarsBounddisjunction (SCIP scip, SCIP_CONS cons)

SCIP_BOUNDTYPE *	SCIPgetBoundtypesBounddisjunction (SCIP scip, SCIP_CONS cons)

SCIP_Real *	SCIPgetBoundsBounddisjunction (SCIP scip, SCIP_CONS cons)

Macro Definition Documentation

#define CONSHDLR_DESC "bound disjunction constraints"

Definition at line 42 of file cons_bounddisjunction.c.

Referenced by SCIPincludeConshdlrBounddisjunction().

#define CONSHDLR_ENFOPRIORITY -3000000

priority of the constraint handler for constraint enforcing

Definition at line 43 of file cons_bounddisjunction.c.

Referenced by SCIPincludeConshdlrBounddisjunction().

#define CONSHDLR_CHECKPRIORITY -3000000

priority of the constraint handler for checking feasibility

Definition at line 44 of file cons_bounddisjunction.c.

Referenced by SCIPincludeConshdlrBounddisjunction().

#define CONSHDLR_PROPFREQ 1

frequency for propagating domains; zero means only preprocessing propagation

Definition at line 45 of file cons_bounddisjunction.c.

Referenced by SCIPincludeConshdlrBounddisjunction().

#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 46 of file cons_bounddisjunction.c.

Referenced by SCIPincludeConshdlrBounddisjunction().

#define CONSHDLR_MAXPREROUNDS -1

maximal number of presolving rounds the constraint handler participates in (-1: no limit)

Definition at line 48 of file cons_bounddisjunction.c.

Referenced by SCIPincludeConshdlrBounddisjunction().

#define CONSHDLR_DELAYPROP FALSE

should propagation method be delayed, if other propagators found reductions?

Definition at line 49 of file cons_bounddisjunction.c.

Referenced by SCIPincludeConshdlrBounddisjunction().

#define CONSHDLR_DELAYPRESOL FALSE

should presolving method be delayed, if other presolvers found reductions?

Definition at line 50 of file cons_bounddisjunction.c.

Referenced by SCIPincludeConshdlrBounddisjunction().

#define CONSHDLR_NEEDSCONS TRUE

should the constraint handler be skipped, if no constraints are available?

Definition at line 51 of file cons_bounddisjunction.c.

Referenced by SCIPincludeConshdlrBounddisjunction().

#define CONSHDLR_PROP_TIMING SCIP_PROPTIMING_BEFORELP

Definition at line 53 of file cons_bounddisjunction.c.

Referenced by SCIPincludeConshdlrBounddisjunction().

#define QUADCONSUPGD_PRIORITY 500000

priority of the constraint handler for upgrading of quadratic constraints

Definition at line 55 of file cons_bounddisjunction.c.

Referenced by SCIPincludeConshdlrBounddisjunction().

#define EVENTHDLR_NAME "bounddisjunction"

Definition at line 64 of file cons_bounddisjunction.c.

Referenced by SCIP_DECL_EVENTEXEC(), and SCIPincludeConshdlrBounddisjunction().

#define EVENTHDLR_DESC "event handler for bound disjunction constraints"

Definition at line 65 of file cons_bounddisjunction.c.

Referenced by SCIPincludeConshdlrBounddisjunction().

#define CONFLICTHDLR_NAME "bounddisjunction"

Definition at line 74 of file cons_bounddisjunction.c.

Referenced by SCIP_DECL_CONFLICTEXEC(), and SCIPincludeConshdlrBounddisjunction().

#define CONFLICTHDLR_DESC "conflict handler creating bound disjunction constraints"

Definition at line 75 of file cons_bounddisjunction.c.

Referenced by SCIPincludeConshdlrBounddisjunction().

#define CONFLICTHDLR_PRIORITY -3000000

Definition at line 76 of file cons_bounddisjunction.c.

Referenced by SCIPincludeConshdlrBounddisjunction().

#define DEFAULT_CONTINUOUSFRAC 0.4

maximal percantage of continuous variables within a conflict

Definition at line 85 of file cons_bounddisjunction.c.

Referenced by SCIPincludeConshdlrBounddisjunction().

#define AGEINCREASE ( n ) (1.0 + 0.2*n)

Definition at line 96 of file cons_bounddisjunction.c.

Referenced by processWatchedVars().

#define isFeasLT	(	scip,
		var,
		val1,
		val2
	)	SCIPisFeasLT(scip, val1, val2)

Definition at line 116 of file cons_bounddisjunction.c.

Referenced by applyGlobalBounds(), createNAryBranch(), isLiteralViolated(), and registerBranchingCandidates().

#define isFeasLE	(	scip,
		var,
		val1,
		val2
	)	SCIPisFeasLE(scip, val1, val2)

Definition at line 117 of file cons_bounddisjunction.c.

Referenced by applyGlobalBounds(), checkCons(), createNAryBranch(), isLiteralSatisfied(), and removeFixedVariables().

#define isFeasGT	(	scip,
		var,
		val1,
		val2
	)	SCIPisFeasGT(scip, val1, val2)

Definition at line 118 of file cons_bounddisjunction.c.

Referenced by applyGlobalBounds(), createNAryBranch(), isLiteralViolated(), and registerBranchingCandidates().

#define isFeasGE	(	scip,
		var,
		val1,
		val2
	)	SCIPisFeasGE(scip, val1, val2)

Definition at line 119 of file cons_bounddisjunction.c.

Referenced by applyGlobalBounds(), checkCons(), createNAryBranch(), isLiteralSatisfied(), and removeFixedVariables().

Function Documentation

static SCIP_RETCODE lockRounding	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_CONSDATA *	consdata,
		int	pos
	)

static

adds rounding locks for the given variable in the given bound disjunction constraint

Parameters

scip	SCIP data structure
cons	bound disjunction constraint
consdata	bound disjunction constraint data
pos	position of the variable in the constraint

Definition at line 150 of file cons_bounddisjunction.c.

References FALSE, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_CALL, SCIP_OKAY, SCIPlockVarCons(), and TRUE.

Referenced by addCoef().

static SCIP_RETCODE unlockRounding	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_CONSDATA *	consdata,
		int	pos
	)

static

removes rounding locks for the given variable in the given bound disjunction constraint

Parameters

scip	SCIP data structure
cons	bound disjunction constraint
consdata	bound disjunction constraint data
pos	position of the variable in the constraint

Definition at line 176 of file cons_bounddisjunction.c.

References FALSE, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_CALL, SCIP_OKAY, SCIPunlockVarCons(), and TRUE.

Referenced by delCoefPos().

static SCIP_RETCODE catchEvents	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_CONSDATA *	consdata,
		SCIP_EVENTHDLR *	eventhdlr,
		int	pos,
		int *	filterpos
	)

static

catches the events on a single variable of the bound disjunction constraint

Parameters

scip	SCIP data structure
cons	bound disjunction constraint
consdata	bound disjunction constraint data
eventhdlr	event handler to call for the event processing
pos	position of the variable in the constraint
filterpos	pointer to store position of event filter entry, or NULL

Definition at line 202 of file cons_bounddisjunction.c.

References NULL, SCIP_BOUNDTYPE_LOWER, SCIP_CALL, SCIP_EVENTTYPE_LBRELAXED, SCIP_EVENTTYPE_LBTIGHTENED, SCIP_EVENTTYPE_UBRELAXED, SCIP_EVENTTYPE_UBTIGHTENED, SCIP_OKAY, and SCIPcatchVarEvent().

Referenced by SCIP_DECL_CONSACTIVE(), and switchWatchedvars().

static SCIP_RETCODE dropEvents	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_CONSDATA *	consdata,
		SCIP_EVENTHDLR *	eventhdlr,
		int	pos,
		int	filterpos
	)

static

drops the events on a single variable of the bound disjunction constraint

Parameters

scip	SCIP data structure
cons	bound disjunction constraint
consdata	bound disjunction constraint data
eventhdlr	event handler to call for the event processing
pos	position of the variable in the constraint
filterpos	position of event filter entry returned by SCIPcatchVarEvent(), or -1

Definition at line 230 of file cons_bounddisjunction.c.

References NULL, SCIP_BOUNDTYPE_LOWER, SCIP_CALL, SCIP_EVENTTYPE_LBRELAXED, SCIP_EVENTTYPE_LBTIGHTENED, SCIP_EVENTTYPE_UBRELAXED, SCIP_EVENTTYPE_UBTIGHTENED, SCIP_OKAY, and SCIPdropVarEvent().

Referenced by SCIP_DECL_CONSDEACTIVE(), and switchWatchedvars().

static SCIP_RETCODE conshdlrdataCreate	(	SCIP *	scip,
		SCIP_CONSHDLRDATA **	conshdlrdata,
		SCIP_EVENTHDLR *	eventhdlr
	)

static

creates constraint handler data for bound disjunction constraint handler

Parameters

scip	SCIP data structure
conshdlrdata	pointer to store the constraint handler data
eventhdlr	event handler

Definition at line 258 of file cons_bounddisjunction.c.

References NULL, SCIP_CALL, SCIP_OKAY, and SCIPallocMemory.

Referenced by SCIPincludeConshdlrBounddisjunction().

static SCIP_RETCODE conshdlrdataFree	(	SCIP *	scip,
		SCIP_CONSHDLRDATA **	conshdlrdata
	)

static

frees constraint handler data for bound disjunction constraint handler

Parameters

scip	SCIP data structure
conshdlrdata	pointer to the constraint handler data

Definition at line 278 of file cons_bounddisjunction.c.

References NULL, SCIP_OKAY, and SCIPfreeMemory.

Referenced by SCIP_DECL_CONSFREE().

static SCIP_RETCODE consdataCreate	(	SCIP *	scip,
		SCIP_CONSDATA **	consdata,
		int	nvars,
		SCIP_VAR **	vars,
		SCIP_BOUNDTYPE *	boundtypes,
		SCIP_Real *	bounds
	)

static

creates a bound disjunction constraint data object

Parameters

scip	SCIP data structure
consdata	pointer to store the bound disjunction constraint data
nvars	number of variables in the constraint
vars	variables of the literals in the constraint
boundtypes	types of bounds of the literals (lower or upper bounds)
bounds	bounds of the literals

Definition at line 293 of file cons_bounddisjunction.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPallocBlockMemory, SCIPduplicateBlockMemoryArray, SCIPgetTransformedVars(), and SCIPisTransformed().

Referenced by SCIP_DECL_CONSTRANS(), and SCIPcreateConsBounddisjunction().

static SCIP_RETCODE consdataFree	(	SCIP *	scip,
		SCIP_CONSDATA **	consdata
	)

static

frees a bound disjunction constraint data

Parameters

scip	SCIP data structure
consdata	pointer to the bound disjunction constraint

Definition at line 341 of file cons_bounddisjunction.c.

References NULL, SCIP_OKAY, SCIPfreeBlockMemory, and SCIPfreeBlockMemoryArrayNull.

Referenced by SCIP_DECL_CONSDELETE().

static void consdataPrint	(	SCIP *	scip,
		SCIP_CONSDATA *	consdata,
		FILE *	file,
		SCIP_Bool	endline
	)

static

prints bound disjunction constraint to file stream

Parameters

scip	SCIP data structure
consdata	bound disjunction constraint data
file	output file (or NULL for standard output)
endline	should an endline be set?

Definition at line 359 of file cons_bounddisjunction.c.

References NULL, SCIP_BOUNDTYPE_LOWER, SCIPinfoMessage(), and SCIPvarGetName().

Referenced by applyGlobalBounds(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSDEACTIVE(), and SCIP_DECL_CONSPRINT().

static SCIP_RETCODE switchWatchedvars	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_EVENTHDLR *	eventhdlr,
		int	watchedvar1,
		int	watchedvar2
	)

static

stores the given variable numbers as watched variables, and updates the event processing

Parameters

scip	SCIP data structure
cons	bound disjunction constraint
eventhdlr	event handler to call for the event processing
watchedvar1	new first watched variable
watchedvar2	new second watched variable

Definition at line 388 of file cons_bounddisjunction.c.

References catchEvents(), dropEvents(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPconsGetData().

Referenced by addCoef(), delCoefPos(), and processWatchedVars().

static SCIP_RETCODE delCoefPos	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_EVENTHDLR *	eventhdlr,
		int	pos
	)

static

deletes coefficient at given position from bound disjunction constraint data

Parameters

scip	SCIP data structure
cons	bound disjunction constraint
eventhdlr	event handler to call for the event processing
pos	position of coefficient to delete

Definition at line 451 of file cons_bounddisjunction.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsIsTransformed(), SCIPenableConsPropagation(), SCIPvarIsTransformed(), switchWatchedvars(), and unlockRounding().

Referenced by applyGlobalBounds(), and removeFixedVariables().

static SCIP_RETCODE addCoef	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_EVENTHDLR *	eventhdlr,
		SCIP_VAR *	var,
		SCIP_BOUNDTYPE	boundtype,
		SCIP_Real	bound
	)

static

adds literal to bound disjunction constraint data

Parameters

scip	SCIP data structure
cons	bound disjunction constraint
eventhdlr	event handler to call for the event processing
var	variable in literal
boundtype	boundtype of literal
bound	bound of literal

Definition at line 504 of file cons_bounddisjunction.c.

References lockRounding(), NULL, REALABS, SCIP_CALL, SCIP_OKAY, SCIPcalcMemGrowSize(), SCIPconsGetData(), SCIPconsIsTransformed(), SCIPenableConsPropagation(), SCIPisInfinity(), SCIPreallocBlockMemoryArray, SCIPvarIsTransformed(), and switchWatchedvars().

Referenced by removeFixedVariables().

static SCIP_RETCODE applyGlobalBounds	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_EVENTHDLR *	eventhdlr,
		SCIP_Bool *	redundant
	)

static

deletes all variables with global bounds violating the literal, checks for global bounds satisfying the literal

Parameters

scip	SCIP data structure
cons	bound disjunction constraint
eventhdlr	event handler to call for the event processing
redundant	returns whether a variable fixed to one exists in the constraint

Definition at line 566 of file cons_bounddisjunction.c.

References consdataPrint(), delCoefPos(), FALSE, isFeasGE, isFeasGT, isFeasLE, isFeasLT, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPcomputeVarLbGlobal(), SCIPcomputeVarUbGlobal(), SCIPconsGetData(), SCIPdebug, SCIPdebugMessage, and TRUE.

Referenced by SCIP_DECL_CONSEXITPRE(), and SCIP_DECL_CONSPRESOL().

static SCIP_Bool isLiteralSatisfied	(	SCIP *	scip,
		SCIP_CONSDATA *	consdata,
		int	pos
	)

static

returns whether literal at the given position is satisfied in the local bounds

Parameters

scip	SCIP data structure
consdata	bound disjunction constraint data
pos	position of the literal

Definition at line 641 of file cons_bounddisjunction.c.

References isFeasGE, isFeasLE, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_Real, SCIPcomputeVarLbLocal(), and SCIPcomputeVarUbLocal().

Referenced by createNAryBranch(), processWatchedVars(), registerBranchingCandidates(), removeFixedVariables(), and SCIP_DECL_CONSPRESOL().

static SCIP_Bool isLiteralViolated	(	SCIP *	scip,
		SCIP_CONSDATA *	consdata,
		int	pos
	)

static

returns whether literal at the given position is violated in the local bounds

Parameters

scip	SCIP data structure
consdata	bound disjunction constraint data
pos	position of the literal

Definition at line 666 of file cons_bounddisjunction.c.

References isFeasGT, isFeasLT, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_Real, SCIPcomputeVarLbLocal(), and SCIPcomputeVarUbLocal().

Referenced by processWatchedVars(), and SCIP_DECL_CONSPRESOL().

static SCIP_RETCODE removeFixedVariables	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_EVENTHDLR *	eventhdlr,
		SCIP_Bool *	redundant
	)

static

replace variables by their representative active (or multi-aggregated) variables

Parameters

scip	SCIP data structure
cons	bound disjunction constraint
eventhdlr	event handler
redundant	flag to indicate whether constraint has been bound redundant

Definition at line 691 of file cons_bounddisjunction.c.

References addCoef(), delCoefPos(), isFeasGE, isFeasLE, isLiteralSatisfied(), NULL, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_MULTAGGR, SCIPconsGetData(), SCIPconsGetName(), SCIPdebugMessage, SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetProbvarBound(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SCIPvarIsActive(), and TRUE.

Referenced by SCIP_DECL_CONSEXITPRE(), and SCIP_DECL_CONSPRESOL().

static SCIP_RETCODE upgradeCons	(	SCIP *	scip,
		SCIP_CONS *	cons,
		int *	ndelconss,
		int *	naddconss
	)

static

try to upgrade the bounddisjunction constraint

if only binary variables are left, we can upgrade a bounddisjunction to a logicor constraint(, if only two variables are left, this logicor constraint can be formulated as set-packing constraint as well)

e.g.: bounddisjunction( x1 >= 1, x2 <= 0; x3 >= 1; x4 <= 0 ) => x1 + ~x2 + x3 + ~x4 >= 1

Parameters

scip	SCIP data structure
cons	bound disjunction constraint that detected the conflict
ndelconss	pointer to store the number of delete constraint
naddconss	pointer to store the number of added constraint

Definition at line 777 of file cons_bounddisjunction.c.

References FALSE, NULL, SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIPaddCons(), SCIPallocBufferArray, SCIPconsGetData(), SCIPconsGetName(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateConsLogicor(), SCIPcreateConsSetpack(), SCIPdebugMessage, SCIPdebugPrintCons, SCIPdelCons(), SCIPfreeBufferArray, SCIPgetNegatedVar(), SCIPisFeasGT(), SCIPisFeasLT(), SCIPreleaseCons(), SCIPvarIsBinary(), and TRUE.

Referenced by SCIP_DECL_CONSPRESOL().

static SCIP_RETCODE analyzeConflict	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

static

analyzes conflicting assignment on given constraint, and adds conflict constraint to problem

Parameters

scip	SCIP data structure
cons	bound disjunction constraint that detected the conflict

Definition at line 881 of file cons_bounddisjunction.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_SOLVING, SCIPaddConflictBd(), SCIPanalyzeConflictCons(), SCIPboundtypeOpposite(), SCIPconsGetData(), SCIPgetStage(), SCIPinitConflictAnalysis(), SCIPinProbing(), and SCIPisConflictAnalysisApplicable().

Referenced by processWatchedVars().

static SCIP_RETCODE disableCons	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

static

disables or deletes the given constraint, depending on the current depth

Parameters

scip	SCIP data structure
cons	bound disjunction constraint to be disabled

Definition at line 912 of file cons_bounddisjunction.c.

References SCIP_CALL, SCIP_OKAY, SCIPconsGetValidDepth(), SCIPdelCons(), SCIPdisableCons(), and SCIPgetDepth().

Referenced by processWatchedVars().

static SCIP_RETCODE processWatchedVars	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_EVENTHDLR *	eventhdlr,
		SCIP_Bool *	cutoff,
		SCIP_Bool *	infeasible,
		SCIP_Bool *	reduceddom,
		SCIP_Bool *	mustcheck
	)

static

checks constraint for violation only looking at the watched variables, applies bound changes if possible

Parameters

scip	SCIP data structure
cons	bound disjunction 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
infeasible	pointer to store TRUE, if the constraint is infeasible in current bounds
reduceddom	pointer to store TRUE, if a domain reduction was found
mustcheck	pointer to store whether this constraint must be checked for feasibility

Definition at line 933 of file cons_bounddisjunction.c.

References AGEINCREASE, analyzeConflict(), CONSHDLR_NAME, disableCons(), FALSE, isLiteralSatisfied(), isLiteralViolated(), NULL, SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_CALL, SCIP_Longint, SCIP_LONGINT_MAX, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_MULTAGGR, SCIPaddConsAge(), SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPconsIsModifiable(), SCIPdebugMessage, SCIPdisableConsPropagation(), SCIPgetDepth(), SCIPinferVarLbCons(), SCIPinferVarUbCons(), SCIPresetConsAge(), SCIPvarGetName(), SCIPvarGetNBranchingsCurrentRun(), SCIPvarGetProbvar(), SCIPvarGetStatus(), switchWatchedvars(), and TRUE.

Referenced by enforceCurrentSol(), and SCIP_DECL_CONSPROP().

static SCIP_RETCODE checkCons	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_SOL *	sol,
		SCIP_Bool *	violated
	)

static

checks constraint for violation, returns TRUE iff constraint is feasible

Parameters

scip	SCIP data structure
cons	bound disjunction constraint to be checked
sol	primal CIP solution
violated	pointer to store whether the given solution violates the constraint

Definition at line 1185 of file cons_bounddisjunction.c.

References FALSE, isFeasGE, isFeasLE, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_OKAY, SCIP_Real, SCIPconsGetData(), SCIPgetSolVal(), and TRUE.

Referenced by enforceCurrentSol(), and SCIP_DECL_CONSCHECK().

static SCIP_RETCODE registerBranchingCandidates	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_Bool *	neednarybranch
	)

static

Parameters

scip	SCIP data structure
cons	bound disjunction constraint which variables should be registered for branching
neednarybranch	pointer to store TRUE, if n-ary branching is necessary to enforce this constraint

Definition at line 1234 of file cons_bounddisjunction.c.

References CONSHDLR_NAME, FALSE, isFeasGT, isFeasLT, isLiteralSatisfied(), NULL, REALABS, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARTYPE_CONTINUOUS, SCIPaddExternBranchCand(), SCIPcomputeVarLbLocal(), SCIPcomputeVarUbLocal(), SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPgetSolVal(), SCIPisFeasEQ(), SCIPisFeasGE(), SCIPisFeasLE(), SCIPisInfinity(), SCIPvarGetType(), and TRUE.

Referenced by enforceCurrentSol().

static SCIP_RETCODE enforceCurrentSol	(	SCIP *	scip,
		SCIP_CONS *	cons,
		SCIP_EVENTHDLR *	eventhdlr,
		SCIP_Bool *	cutoff,
		SCIP_Bool *	infeasible,
		SCIP_Bool *	reduceddom,
		SCIP_Bool *	registeredbrcand
	)

static

enforces the pseudo or LP solution on the given constraint

Parameters

scip	SCIP data structure
cons	bound disjunction constraint to be separated
eventhdlr	event handler to call for the event processing
cutoff	pointer to store TRUE, if the node can be cut off
infeasible	pointer to store TRUE, if the constraint was infeasible
reduceddom	pointer to store TRUE, if a domain reduction was found
registeredbrcand	pointer to store TRUE, if branching variable candidates were registered or was already true

Definition at line 1316 of file cons_bounddisjunction.c.

References checkCons(), CONSHDLR_NAME, NULL, processWatchedVars(), registerBranchingCandidates(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsGetHdlr(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPconsIsPropagationEnabled(), SCIPdebugMessage, SCIPresetConsAge(), and TRUE.

Referenced by SCIP_DECL_CONSENFOLP(), and SCIP_DECL_CONSENFOPS().

static SCIP_RETCODE createNAryBranch	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

static

enforces a constraint by creating an n-ary branch consisting of a set of child nodes, each enforcing one literal

Parameters

scip	SCIP data structure
cons	bound disjunction constraint to branch on

Definition at line 1372 of file cons_bounddisjunction.c.

References CONSHDLR_NAME, isFeasGE, isFeasGT, isFeasLE, isFeasLT, isLiteralSatisfied(), NULL, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_MULTAGGR, SCIPaddConsNode(), SCIPcalcChildEstimate(), SCIPcalcNodeselPriority(), SCIPchgVarLbNode(), SCIPchgVarUbNode(), SCIPcomputeVarLbLocal(), SCIPcomputeVarUbLocal(), SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateChild(), SCIPcreateConsLinear(), SCIPdebugMessage, SCIPdelConsNode(), SCIPgetSolVal(), SCIPinfinity(), SCIPreleaseCons(), SCIPvarGetName(), SCIPvarGetStatus(), and SCIPvarIsActive().

Referenced by SCIP_DECL_CONSENFOLP(), and SCIP_DECL_CONSENFOPS().

static SCIP_DECL_QUADCONSUPGD ( upgradeConsQuadratic )

static

upgrades quadratic complementarity constraints into a bounddisjunction constraint If constraint is of form (x - a) * (y - b) = 0 with x >= a and y >= b for some a and b, then upgrade to bounddisjunction constraint "x <= a or y <= b". If constraint is of form (x - a) * (y - b) >= 0, then upgrade to bounddisjunction constraints "x >= a or y <= b" and "x <= a or y >= b".

Definition at line 1502 of file cons_bounddisjunction.c.

References SCIP_BilinTerm::coef, SCIP_QuadVarTerm::lincoef, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIPconsGetName(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateConsBounddisjunction(), SCIPdebugMessage, SCIPdebugPrintCons, SCIPgetBilinTermsQuadratic(), SCIPgetLhsQuadratic(), SCIPgetNBilinTermsQuadratic(), SCIPgetNLinearVarsQuadratic(), SCIPgetNQuadVarTermsQuadratic(), SCIPgetQuadVarTermsQuadratic(), SCIPgetRhsQuadratic(), SCIPinfinity(), SCIPisEQ(), SCIPisGE(), SCIPisInfinity(), SCIPisLE(), SCIPisZero(), SCIPsnprintf(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), and SCIP_QuadVarTerm::var.

static SCIP_DECL_CONSHDLRCOPY ( conshdlrCopyBounddisjunction )

static

copy method for constraint handler plugins (called when SCIP copies plugins)

Definition at line 1903 of file cons_bounddisjunction.c.

References CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIPconshdlrGetName(), SCIPincludeConshdlrBounddisjunction(), and TRUE.

static SCIP_DECL_CONSFREE ( consFreeBounddisjunction )

static

destructor of constraint handler to free constraint handler data (called when SCIP is exiting)

Definition at line 1919 of file cons_bounddisjunction.c.

References CONSHDLR_NAME, conshdlrdataFree(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconshdlrGetData(), SCIPconshdlrGetName(), and SCIPconshdlrSetData().

static SCIP_DECL_CONSEXITPRE ( consExitpreBounddisjunction )

static

presolving deinitialization method of constraint handler (called after presolving has been finished)

Definition at line 1941 of file cons_bounddisjunction.c.

References applyGlobalBounds(), CONSHDLR_NAME, NULL, removeFixedVariables(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconshdlrGetName(), SCIPconsIsAdded(), SCIPdebugMessage, and SCIPdelCons().

static SCIP_DECL_CONSDELETE ( consDeleteBounddisjunction )

static

frees specific constraint data

Definition at line 1985 of file cons_bounddisjunction.c.

References consdataFree(), CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, and SCIPconshdlrGetName().

static SCIP_DECL_CONSTRANS ( consTransBounddisjunction )

static

transforms constraint data into data belonging to the transformed problem

Definition at line 2001 of file cons_bounddisjunction.c.

References consdataCreate(), CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_TRANSFORMING, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateCons(), and SCIPgetStage().

static SCIP_DECL_CONSENFOLP ( consEnfolpBounddisjunction )

static

constraint enforcing method of constraint handler for LP solutions

Definition at line 2034 of file cons_bounddisjunction.c.

References CONSHDLR_NAME, createNAryBranch(), enforceCurrentSol(), FALSE, NULL, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CUTOFF, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, SCIP_REDUCEDDOM, SCIPconsGetData(), SCIPconshdlrGetData(), SCIPconshdlrGetName(), and SCIPdebugMessage.

static SCIP_DECL_CONSENFOPS ( consEnfopsBounddisjunction )

static

constraint enforcing method of constraint handler for pseudo solutions

Definition at line 2106 of file cons_bounddisjunction.c.

References CONSHDLR_NAME, createNAryBranch(), enforceCurrentSol(), FALSE, NULL, SCIP_Bool, SCIP_BRANCHED, SCIP_CALL, SCIP_CUTOFF, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, SCIP_REDUCEDDOM, SCIPconsGetData(), SCIPconshdlrGetData(), SCIPconshdlrGetName(), and SCIPdebugMessage.

static SCIP_DECL_CONSCHECK ( consCheckBounddisjunction )

static

feasibility check method of constraint handler for integral solutions

Definition at line 2169 of file cons_bounddisjunction.c.

References checkCons(), CONSHDLR_NAME, NULL, SCIP_Bool, SCIP_CALL, SCIP_FEASIBLE, SCIP_INFEASIBLE, SCIP_OKAY, SCIPconsGetData(), SCIPconshdlrGetName(), SCIPgetSolVal(), SCIPinfoMessage(), SCIPprintCons(), and SCIPvarGetName().

static SCIP_DECL_CONSPROP ( consPropBounddisjunction )

static

domain propagation method of constraint handler

Definition at line 2223 of file cons_bounddisjunction.c.

References CONSHDLR_NAME, FALSE, NULL, processWatchedVars(), SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_REDUCEDDOM, SCIPconshdlrGetData(), and SCIPconshdlrGetName().

static SCIP_DECL_CONSPRESOL ( consPresolBounddisjunction )

static

presolving method of constraint handler

Definition at line 2267 of file cons_bounddisjunction.c.

References applyGlobalBounds(), CONSHDLR_NAME, isLiteralSatisfied(), isLiteralViolated(), NULL, removeFixedVariables(), SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_Real, SCIP_SUCCESS, SCIP_VARSTATUS_MULTAGGR, SCIPaddCons(), SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconshdlrGetName(), SCIPconsIsChecked(), SCIPconsIsDynamic(), SCIPconsIsEnforced(), SCIPconsIsInitial(), SCIPconsIsLocal(), SCIPconsIsModifiable(), SCIPconsIsPropagated(), SCIPconsIsRemovable(), SCIPconsIsSeparated(), SCIPconsIsStickingAtNode(), SCIPcreateConsLinear(), SCIPdebugMessage, SCIPdelCons(), SCIPenableConsPropagation(), SCIPinfinity(), SCIPisStopped(), SCIPreleaseCons(), SCIPtightenVarLb(), SCIPtightenVarUb(), SCIPvarGetStatus(), SCIPvarIsActive(), TRUE, and upgradeCons().

static SCIP_DECL_CONSRESPROP ( consRespropBounddisjunction )

static

propagation conflict resolving method of constraint handler

Definition at line 2415 of file cons_bounddisjunction.c.

References CONSHDLR_NAME, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_SUCCESS, SCIP_VARSTATUS_MULTAGGR, SCIPaddConflictBd(), SCIPboundtypeOpposite(), SCIPconsGetData(), SCIPconshdlrGetName(), SCIPdebugMessage, SCIPisFeasGE(), SCIPisFeasLE(), SCIPisGT(), SCIPisLT(), SCIPvarGetLbAtIndex(), SCIPvarGetStatus(), SCIPvarGetUbAtIndex(), and TRUE.

static SCIP_DECL_CONSLOCK ( consLockBounddisjunction )

static

variable rounding lock method of constraint handler

Definition at line 2483 of file cons_bounddisjunction.c.

References NULL, SCIP_BOUNDTYPE_LOWER, SCIP_CALL, SCIP_OKAY, SCIPaddVarLocks(), and SCIPconsGetData().

static SCIP_DECL_CONSACTIVE ( consActiveBounddisjunction )

static

constraint activation notification method of constraint handler

Definition at line 2510 of file cons_bounddisjunction.c.

References catchEvents(), consdataPrint(), CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconshdlrGetName(), SCIPconsIsTransformed(), SCIPdebug, SCIPdebugMessage, and TRUE.

static SCIP_DECL_CONSDEACTIVE ( consDeactiveBounddisjunction )

static

constraint deactivation notification method of constraint handler

Definition at line 2547 of file cons_bounddisjunction.c.

References consdataPrint(), CONSHDLR_NAME, dropEvents(), NULL, SCIP_CALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetName(), SCIPconshdlrGetData(), SCIPconshdlrGetName(), SCIPconsIsTransformed(), SCIPdebug, SCIPdebugMessage, and TRUE.

static SCIP_DECL_CONSPRINT ( consPrintBounddisjunction )

static

constraint display method of constraint handler

Definition at line 2584 of file cons_bounddisjunction.c.

References consdataPrint(), FALSE, NULL, SCIP_OKAY, and SCIPconsGetData().

static SCIP_DECL_CONSCOPY ( consCopyBounddisjunction )

static

constraint copying method of constraint handler

Definition at line 2598 of file cons_bounddisjunction.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPallocBufferArray, SCIPconsGetName(), SCIPcreateConsBounddisjunction(), SCIPfreeBufferArray, SCIPgetBoundsBounddisjunction(), SCIPgetBoundtypesBounddisjunction(), SCIPgetNVarsBounddisjunction(), SCIPgetVarCopy(), SCIPgetVarsBounddisjunction(), and TRUE.

static SCIP_DECL_CONSPARSE ( consParseBounddisjunction )

static

constraint parsing method of constraint handler

Definition at line 2640 of file cons_bounddisjunction.c.

References FALSE, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VERBLEVEL_MINIMAL, SCIPallocBufferArray, SCIPcreateConsBounddisjunction(), SCIPdebugMessage, SCIPfreeBufferArray, SCIPparseVarName(), SCIPreallocBufferArray, SCIPstrToRealValue(), SCIPvarGetName(), SCIPverbMessage(), and TRUE.

static SCIP_DECL_CONSGETVARS ( consGetVarsBounddisjunction )

static

constraint method of constraint handler which returns the variables (if possible)

Definition at line 2773 of file cons_bounddisjunction.c.

References BMScopyMemoryArray, FALSE, NULL, SCIP_OKAY, SCIPconsGetData(), and TRUE.

static SCIP_DECL_CONSGETNVARS ( consGetNVarsBounddisjunction )

static

constraint method of constraint handler which returns the number of variables (if possible)

Definition at line 2797 of file cons_bounddisjunction.c.

References NULL, SCIP_OKAY, SCIPconsGetData(), and TRUE.

static SCIP_DECL_EVENTEXEC ( eventExecBounddisjunction )

static

Definition at line 2819 of file cons_bounddisjunction.c.

References EVENTHDLR_NAME, NULL, SCIP_CALL, SCIP_EVENTTYPE_BOUNDRELAXED, SCIP_EVENTTYPE_BOUNDTIGHTENED, SCIP_OKAY, SCIPenableCons(), SCIPenableConsPropagation(), SCIPeventGetType(), and SCIPeventhdlrGetName().

static SCIP_DECL_CONFLICTEXEC ( conflictExecBounddisjunction )

static

conflict processing method of conflict handler (called when conflict was found)

Definition at line 2855 of file cons_bounddisjunction.c.

References CONFLICTHDLR_NAME, FALSE, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_CONSADDED, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIPaddConsNode(), SCIPallocBufferArray, SCIPbdchginfoGetBoundtype(), SCIPbdchginfoGetNewbound(), SCIPbdchginfoGetVar(), SCIPboundtypeOpposite(), SCIPconflicthdlrGetData(), SCIPconflicthdlrGetName(), SCIPcreateConsBounddisjunction(), SCIPfreeBufferArray, SCIPgetNConflictConssApplied(), SCIPgetNRuns(), SCIPisFeasEQ(), SCIPisGE(), SCIPisIntegral(), SCIPisLE(), SCIPreleaseCons(), SCIPsnprintf(), SCIPvarGetLbGlobal(), SCIPvarGetUbGlobal(), SCIPvarIsIntegral(), and TRUE.

static SCIP_DECL_CONFLICTFREE ( conflictFreeBounddisjunction )

static

free method of conflict handler

Definition at line 2940 of file cons_bounddisjunction.c.

References NULL, SCIP_OKAY, SCIPconflicthdlrGetData(), and SCIPfreeMemory.

SCIP_RETCODE SCIPincludeConshdlrBounddisjunction ( SCIP * scip )

creates the handler for bound disjunction constraints and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 2964 of file cons_bounddisjunction.c.

References CONFLICTHDLR_DESC, CONFLICTHDLR_NAME, CONFLICTHDLR_PRIORITY, CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPRESOL, CONSHDLR_DELAYPROP, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, conshdlrdataCreate(), DEFAULT_CONTINUOUSFRAC, EVENTHDLR_DESC, EVENTHDLR_NAME, FALSE, NULL, QUADCONSUPGD_PRIORITY, SCIP_CALL, SCIP_OKAY, SCIPaddRealParam(), SCIPallocMemory, SCIPfindConshdlr(), SCIPincludeConflicthdlrBasic(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPincludeQuadconsUpgrade(), SCIPsetConflicthdlrFree(), SCIPsetConshdlrActive(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDeactive(), SCIPsetConshdlrDelete(), SCIPsetConshdlrExitpre(), SCIPsetConshdlrFree(), SCIPsetConshdlrGetNVars(), SCIPsetConshdlrGetVars(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrTrans(), and TRUE.

Referenced by SCIP_DECL_CONSHDLRCOPY(), and SCIPincludeDefaultPlugins().

SCIP_RETCODE SCIPcreateConsBounddisjunction	(	SCIP *	scip,
		SCIP_CONS **	cons,
		const char *	name,
		int	nvars,
		SCIP_VAR **	vars,
		SCIP_BOUNDTYPE *	boundtypes,
		SCIP_Real *	bounds,
		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
	)

creates and captures a bound disjunction constraint

Note: the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()

Parameters

scip	SCIP data structure
cons	pointer to hold the created constraint
name	name of constraint
nvars	number of variables in the constraint
vars	variables of the literals in the constraint
boundtypes	types of bounds of the literals (lower or upper bounds)
bounds	bounds of the literals
initial	should the LP relaxation of constraint be in the initial LP? Usually set to TRUE. Set to FALSE for 'lazy constraints'.
separate	should the constraint be separated during LP processing? Usually set to TRUE.
enforce	should the constraint be enforced during node processing? TRUE for model constraints, FALSE for additional, redundant constraints.
check	should the constraint be checked for feasibility? TRUE for model constraints, FALSE for additional, redundant constraints.
propagate	should the constraint be propagated during node processing? Usually set to TRUE.
local	is constraint only valid locally? Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints.
modifiable	is constraint modifiable (subject to column generation)? Usually set to FALSE. In column generation applications, set to TRUE if pricing adds coefficients to this constraint.
dynamic	is constraint subject to aging? Usually set to FALSE. Set to TRUE for own cuts which are separated as constraints.
removable	should the relaxation be removed from the LP due to aging or cleanup? Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'.
stickingatnode	should the constraint always be kept at the node where it was added, even if it may be moved to a more global node? Usually set to FALSE. Set to TRUE to for constraints that represent node data.

Definition at line 3035 of file cons_bounddisjunction.c.

References consdataCreate(), CONSHDLR_NAME, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPcreateCons(), SCIPerrorMessage, and SCIPfindConshdlr().

Referenced by adjustOversizedJobBounds(), createConflict(), CUTOFF_CONSTRAINT(), forbidFixation(), readBounds(), readSemicontinuous(), readVariables(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSPARSE(), SCIP_DECL_QUADCONSUPGD(), and SCIPcreateConsBasicBounddisjunction().

SCIP_RETCODE SCIPcreateConsBasicBounddisjunction	(	SCIP *	scip,
		SCIP_CONS **	cons,
		const char *	name,
		int	nvars,
		SCIP_VAR **	vars,
		SCIP_BOUNDTYPE *	boundtypes,
		SCIP_Real *	bounds
	)

creates and captures an and constraint in its most basic version, i. e., all constraint flags are set to their basic value as explained for the method SCIPcreateConsBounddisjunction(); all flags can be set via SCIPsetConsFLAGNAME-methods in scip.h

See Also: SCIPcreateConsBounddisjunction() for information about the basic constraint flag configuration

Note: the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()

Parameters

scip	SCIP data structure
cons	pointer to hold the created constraint
name	name of constraint
nvars	number of variables in the constraint
vars	variables of the literals in the constraint
boundtypes	types of bounds of the literals (lower or upper bounds)
bounds	bounds of the literals

Definition at line 3099 of file cons_bounddisjunction.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPcreateConsBounddisjunction(), and TRUE.

int SCIPgetNVarsBounddisjunction	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

gets number of variables in bound disjunction constraint

Parameters

scip	SCIP data structure
cons	constraint data

Definition at line 3118 of file cons_bounddisjunction.c.

References CONSHDLR_NAME, NULL, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), and SCIPerrorMessage.

Referenced by checkBounddisjunction(), createCoveringProblem(), and SCIP_DECL_CONSCOPY().

SCIP_VAR** SCIPgetVarsBounddisjunction	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

gets array of variables in bound disjunction constraint

Parameters

scip	SCIP data structure
cons	constraint data

Definition at line 3139 of file cons_bounddisjunction.c.

References CONSHDLR_NAME, NULL, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), and SCIPerrorMessage.

Referenced by checkBounddisjunction(), createCoveringProblem(), and SCIP_DECL_CONSCOPY().

SCIP_BOUNDTYPE* SCIPgetBoundtypesBounddisjunction	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

gets array of bound types in bound disjunction constraint

Parameters

scip	SCIP data structure
cons	constraint data

Definition at line 3160 of file cons_bounddisjunction.c.

References CONSHDLR_NAME, NULL, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), and SCIPerrorMessage.

Referenced by checkBounddisjunction(), and SCIP_DECL_CONSCOPY().

SCIP_Real* SCIPgetBoundsBounddisjunction	(	SCIP *	scip,
		SCIP_CONS *	cons
	)

gets array of bounds in bound disjunction constraint

Parameters

scip	SCIP data structure
cons	constraint data

Definition at line 3181 of file cons_bounddisjunction.c.

References CONSHDLR_NAME, NULL, SCIPABORT, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), and SCIPerrorMessage.

Referenced by checkBounddisjunction(), and SCIP_DECL_CONSCOPY().

SCIP

Detailed Description

Macros

Functions

Macro Definition Documentation

Function Documentation