cons_optcumulative.h File Reference

Detailed Description

constraint handler for cumulative constraints with optional activities

Author

Chris Beck

Stefan Heinz

Definition in file cons_optcumulative.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions
SCIP_RETCODE	SCIPincludeConshdlrOptcumulative (SCIP *scip)
SCIP_RETCODE	SCIPcreateConsOptcumulative (SCIP *scip, SCIP_CONS **cons, const char *name, int nvars, SCIP_VAR **vars, SCIP_VAR **binvars, int *durations, int *demands, int capacity, 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	SCIPsetHminOptcumulative (SCIP *scip, SCIP_CONS *cons, int hmin)
int	SCIPgetHminOptcumulative (SCIP *scip, SCIP_CONS *cons)
SCIP_RETCODE	SCIPsetHmaxOptcumulative (SCIP *scip, SCIP_CONS *cons, int hmax)
int	SCIPgetHmaxOptcumulative (SCIP *scip, SCIP_CONS *cons)

Function Documentation

SCIPincludeConshdlrOptcumulative()

SCIP_RETCODE SCIPincludeConshdlrOptcumulative

(

SCIP *

scip

)

creates the handler for cumulative constraints with optional activities and includes it in SCIP

creates the handler for optcumulative constraints and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 4028 of file cons_optcumulative.c.

References consActiveOptcumulative, consDeactiveOptcumulative, consDelvarsOptcumulative, consDisableOptcumulative, consEnableOptcumulative, consEnforelaxOptcomulative, consExitOptcumulative, consExitpreOptcumulative, CONSHDLR_CHECKPRIORITY, CONSHDLR_DELAYPROP, CONSHDLR_DELAYSEPA, CONSHDLR_DESC, CONSHDLR_EAGERFREQ, CONSHDLR_ENFOPRIORITY, CONSHDLR_MAXPREROUNDS, CONSHDLR_NAME, CONSHDLR_NEEDSCONS, CONSHDLR_PRESOLTIMING, CONSHDLR_PROP_TIMING, CONSHDLR_PROPFREQ, CONSHDLR_SEPAFREQ, CONSHDLR_SEPAPRIORITY, conshdlrdataCreate(), consInitOptcumulative, consInitsolOptcumulative, consSepasolOptcumulative, DEFAULT_CONFLICTANALYSIS, DEFAULT_INTERVALRELAX, DEFAULT_ROWRELAX, EVENTHDLR_BINVARS_DESC, EVENTHDLR_BINVARS_NAME, EVENTHDLR_INTVARS_DESC, EVENTHDLR_INTVARS_NAME, FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPincludeConshdlrBasic(), SCIPincludeEventhdlrBasic(), SCIPsetConshdlrActive(), SCIPsetConshdlrCopy(), SCIPsetConshdlrDelete(), SCIPsetConshdlrDelvars(), SCIPsetConshdlrDisable(), SCIPsetConshdlrEnable(), SCIPsetConshdlrEnforelax(), SCIPsetConshdlrExit(), SCIPsetConshdlrExitpre(), SCIPsetConshdlrExitsol(), SCIPsetConshdlrFree(), SCIPsetConshdlrInit(), SCIPsetConshdlrInitlp(), SCIPsetConshdlrInitpre(), SCIPsetConshdlrInitsol(), SCIPsetConshdlrParse(), SCIPsetConshdlrPresol(), SCIPsetConshdlrPrint(), SCIPsetConshdlrProp(), SCIPsetConshdlrResprop(), SCIPsetConshdlrSepa(), and SCIPsetConshdlrTrans().

Referenced by runShell(), and SCIP_DECL_CONSHDLRCOPY().

SCIPcreateConsOptcumulative()

SCIP_RETCODE SCIPcreateConsOptcumulative	(	SCIP *	scip,
		SCIP_CONS **	cons,
		const char *	name,
		int	nvars,
		SCIP_VAR **	vars,
		SCIP_VAR **	binvars,
		int *	durations,
		int *	demands,
		int	capacity,
		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 optcumulative constraint

Parameters

scip	SCIP data structure
cons	pointer to hold the created constraint
name	name of constraint
nvars	number of variables (jobs)
vars	array of integer variable which corresponds to starting times for a job
binvars	array of variable representing if the job has to be processed on this machine
durations	array containing corresponding durations
demands	array containing corresponding demands
capacity	available cumulative capacity
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 seperated 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 4102 of file cons_optcumulative.c.

References assert(), catchAllEvents(), consdataCreate(), CONSHDLR_NAME, FALSE, NULL, nvars, propagate, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_STAGE_PROBLEM, SCIPconshdlrGetData(), SCIPcreateCons(), SCIPerrorMessage, SCIPfindConshdlr(), SCIPgetStage(), separate(), and vars.

Referenced by createCipFormulation(), createMipCpFormulation(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSPARSE(), and SCIP_DECL_CONSPRESOL().

SCIPsetHminOptcumulative()

SCIP_RETCODE SCIPsetHminOptcumulative	(	SCIP *	scip,
		SCIP_CONS *	cons,
		int	hmin )

set the left bound of the time axis to be considered (including hmin)

Parameters

scip	SCIP data structure
cons	constraint data
hmin	left bound of time axis to be considered

Definition at line 4182 of file cons_optcumulative.c.

References assert(), CONSHDLR_NAME, NULL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), and SCIPerrorMessage.

Referenced by SCIP_DECL_CONSPARSE().

SCIPgetHminOptcumulative()

int SCIPgetHminOptcumulative	(	SCIP *	scip,
		SCIP_CONS *	cons )

returns the left bound of the time axis to be considered

Parameters

scip	SCIP data structure
cons	constraint

Definition at line 4206 of file cons_optcumulative.c.

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

SCIPsetHmaxOptcumulative()

SCIP_RETCODE SCIPsetHmaxOptcumulative	(	SCIP *	scip,
		SCIP_CONS *	cons,
		int	hmax )

set the right bound of the time axis to be considered (not including hmax)

Parameters

scip	SCIP data structure
cons	constraint data
hmax	right bound of time axis to be considered

Definition at line 4226 of file cons_optcumulative.c.

References assert(), CONSHDLR_NAME, NULL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPconsGetData(), SCIPconsGetHdlr(), SCIPconshdlrGetName(), and SCIPerrorMessage.

Referenced by SCIP_DECL_CONSPARSE().

SCIPgetHmaxOptcumulative()

int SCIPgetHmaxOptcumulative	(	SCIP *	scip,
		SCIP_CONS *	cons )

returns the right bound of the time axis to be considered

Parameters

scip	SCIP data structure
cons	constraint

Definition at line 4249 of file cons_optcumulative.c.

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