Scippy

SCIP

Solving Constraint Integer Programs

All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages

Detailed Description

integer objective value separator

Author: Tobias Achterberg; Timo Berthold

Definition in file sepa_intobj.c.

#include <assert.h>
#include <string.h>
#include "scip/sepa_intobj.h"

Go to the source code of this file.

Macros
#define	SEPA_NAME "intobj"

#define	SEPA_DESC "integer objective value separator"

#define	SEPA_PRIORITY -100

#define	SEPA_FREQ -1

#define	SEPA_MAXBOUNDDIST 0.0

#define	SEPA_USESSUBSCIP FALSE

#define	SEPA_DELAY FALSE

#define	EVENTHDLR_NAME "intobj"

#define	EVENTHDLR_DESC "objective change event handler for integer objective value separator"

Functions
static SCIP_RETCODE	sepadataCreate (SCIP scip, SCIP_SEPADATA *sepadata)

static SCIP_RETCODE	sepadataFree (SCIP scip, SCIP_SEPADATA *sepadata)

static SCIP_RETCODE	createObjRow (SCIP scip, SCIP_SEPA sepa, SCIP_SEPADATA *sepadata)

static SCIP_RETCODE	separateCuts (SCIP scip, SCIP_SEPA sepa, SCIP_SOL sol, SCIP_RESULT result)

static	SCIP_DECL_SEPACOPY (sepaCopyIntobj)

static	SCIP_DECL_SEPAFREE (sepaFreeIntobj)

static	SCIP_DECL_SEPAEXIT (sepaExitIntobj)

static	SCIP_DECL_SEPAEXITSOL (sepaExitsolIntobj)

static	SCIP_DECL_SEPAEXECLP (sepaExeclpIntobj)

static	SCIP_DECL_SEPAEXECSOL (sepaExecsolIntobj)

static	SCIP_DECL_EVENTINIT (eventInitIntobj)

static	SCIP_DECL_EVENTEXIT (eventExitIntobj)

static	SCIP_DECL_EVENTEXEC (eventExecIntobj)

SCIP_RETCODE	SCIPincludeSepaIntobj (SCIP *scip)

Macro Definition Documentation

#define SEPA_NAME "intobj"

Definition at line 29 of file sepa_intobj.c.

Referenced by SCIP_DECL_SEPACOPY(), and SCIPincludeSepaIntobj().

#define SEPA_DESC "integer objective value separator"

Definition at line 30 of file sepa_intobj.c.

Referenced by SCIPincludeSepaIntobj().

#define SEPA_PRIORITY -100

Definition at line 31 of file sepa_intobj.c.

Referenced by SCIPincludeSepaIntobj().

#define SEPA_FREQ -1

Definition at line 32 of file sepa_intobj.c.

Referenced by SCIPincludeSepaIntobj().

#define SEPA_MAXBOUNDDIST 0.0

Definition at line 33 of file sepa_intobj.c.

Referenced by SCIPincludeSepaIntobj().

#define SEPA_USESSUBSCIP FALSE

does the separator use a secondary SCIP instance?

Definition at line 34 of file sepa_intobj.c.

Referenced by SCIPincludeSepaIntobj().

#define SEPA_DELAY FALSE

should separation method be delayed, if other separators found cuts?

Definition at line 35 of file sepa_intobj.c.

Referenced by SCIPincludeSepaIntobj().

#define EVENTHDLR_NAME "intobj"

Definition at line 37 of file sepa_intobj.c.

Referenced by SCIPincludeSepaIntobj().

#define EVENTHDLR_DESC "objective change event handler for integer objective value separator"

Definition at line 38 of file sepa_intobj.c.

Referenced by SCIPincludeSepaIntobj().

Function Documentation

static SCIP_RETCODE sepadataCreate	(	SCIP *	scip,
		SCIP_SEPADATA **	sepadata
	)

static

creates separator data

Parameters

scip	SCIP data structure
sepadata	pointer to store separator data

Definition at line 60 of file sepa_intobj.c.

References NULL, SCIP_CALL, SCIP_OKAY, and SCIPallocMemory.

Referenced by SCIPincludeSepaIntobj().

static SCIP_RETCODE sepadataFree	(	SCIP *	scip,
		SCIP_SEPADATA **	sepadata
	)

static

frees separator data

Parameters

scip	SCIP data structure
sepadata	pointer to separator data

Definition at line 77 of file sepa_intobj.c.

References NULL, SCIP_OKAY, and SCIPfreeMemory.

Referenced by SCIP_DECL_SEPAFREE().

static SCIP_RETCODE createObjRow	(	SCIP *	scip,
		SCIP_SEPA *	sepa,
		SCIP_SEPADATA *	sepadata
	)

static

creates the objective value inequality and the objective value variable, if not yet existing

Parameters

scip	SCIP data structure
sepa	separator
sepadata	separator data

Definition at line 94 of file sepa_intobj.c.

References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OBJSENSE_MINIMIZE, SCIP_OKAY, SCIP_Real, SCIP_VARTYPE_IMPLINT, SCIPaddVar(), SCIPaddVarLocks(), SCIPaddVarToRow(), SCIPallVarsInProb(), SCIPcacheRowExtensions(), SCIPceil(), SCIPcreateEmptyRowSepa(), SCIPcreateVar(), SCIPdebug, SCIPdebugMessage, SCIPfloor(), SCIPflushRowExtensions(), SCIPgetDualbound(), SCIPgetNOrigVars(), SCIPgetObjsense(), SCIPgetOrigVars(), SCIPinfinity(), SCIPisZero(), SCIPprintRow(), SCIPvarGetLbGlobal(), SCIPvarGetObj(), SCIPvarGetUbGlobal(), and TRUE.

Referenced by separateCuts().

static SCIP_RETCODE separateCuts	(	SCIP *	scip,
		SCIP_SEPA *	sepa,
		SCIP_SOL *	sol,
		SCIP_RESULT *	result
	)

static

searches and adds integral objective cuts that separate the given primal solution

Parameters

scip	SCIP data structure
sepa	the intobj separator
sol	the solution that should be separated, or NULL for LP solution
result	pointer to store the result

Definition at line 170 of file sepa_intobj.c.

References createObjRow(), FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_OBJSENSE_MINIMIZE, SCIP_OKAY, SCIP_Real, SCIP_REDUCEDDOM, SCIP_SEPARATED, SCIPaddCut(), SCIPceil(), SCIPdebugMessage, SCIPfloor(), SCIPgetLPObjval(), SCIPgetObjsense(), SCIPgetSolOrigObj(), SCIPisFeasIntegral(), SCIPisObjIntegral(), SCIPretransformObj(), SCIProwIsInLP(), SCIPsepaGetData(), SCIPtightenVarLb(), SCIPtightenVarUb(), SCIPvarGetLbLocal(), SCIPvarGetName(), and SCIPvarGetUbLocal().

Referenced by SCIP_DECL_SEPAEXECLP(), and SCIP_DECL_SEPAEXECSOL().

static SCIP_DECL_SEPACOPY ( sepaCopyIntobj )

static

copy method for separator plugins (called when SCIP copies plugins)

Definition at line 249 of file sepa_intobj.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPincludeSepaIntobj(), SCIPsepaGetName(), and SEPA_NAME.

static SCIP_DECL_SEPAFREE ( sepaFreeIntobj )

static

destructor of separator to free user data (called when SCIP is exiting)

Definition at line 263 of file sepa_intobj.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPsepaGetData(), SCIPsepaSetData(), and sepadataFree().

static SCIP_DECL_SEPAEXIT ( sepaExitIntobj )

static

deinitialization method of separator (called before transformed problem is freed)

Definition at line 281 of file sepa_intobj.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPreleaseVar(), and SCIPsepaGetData().

static SCIP_DECL_SEPAEXITSOL ( sepaExitsolIntobj )

static

solving process deinitialization method of separator (called before branch and bound process data is freed)

Definition at line 300 of file sepa_intobj.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPreleaseRow(), and SCIPsepaGetData().

static SCIP_DECL_SEPAEXECLP ( sepaExeclpIntobj )

static

LP solution separation method of separator

Definition at line 319 of file sepa_intobj.c.

References NULL, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_LPSOLSTAT_OPTIMAL, SCIP_OKAY, SCIPgetLPSolstat(), SCIPgetNLPBranchCands(), SCIPisStopped(), and separateCuts().

static SCIP_DECL_SEPAEXECSOL ( sepaExecsolIntobj )

static

arbitrary primal solution separation method of separator

Definition at line 344 of file sepa_intobj.c.

References SCIP_CALL, SCIP_DIDNOTRUN, SCIP_OKAY, and separateCuts().

static SCIP_DECL_EVENTINIT ( eventInitIntobj )

static

initialization method of event handler (called after problem was transformed)

Definition at line 362 of file sepa_intobj.c.

References NULL, SCIP_CALL, SCIP_EVENTTYPE_OBJCHANGED, SCIP_EVENTTYPE_VARADDED, SCIP_OKAY, and SCIPcatchEvent().

static SCIP_DECL_EVENTEXIT ( eventExitIntobj )

static

deinitialization method of event handler (called before transformed problem is freed)

Definition at line 371 of file sepa_intobj.c.

References NULL, SCIP_CALL, SCIP_EVENTTYPE_OBJCHANGED, SCIP_EVENTTYPE_VARADDED, SCIP_OKAY, and SCIPdropEvent().

static SCIP_DECL_EVENTEXEC ( eventExecIntobj )

static

execution method of objective change event handler

Definition at line 381 of file sepa_intobj.c.

References NULL, SCIP_CALL, SCIP_EVENTTYPE_OBJCHANGED, SCIP_EVENTTYPE_VARADDED, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIPaddVarToRow(), SCIPdebugMessage, SCIPerrorMessage, SCIPeventGetNewobj(), SCIPeventGetOldobj(), SCIPeventGetType(), SCIPeventGetVar(), SCIPeventhdlrGetData(), SCIPisZero(), SCIPvarGetName(), and SCIPvarGetObj().

SCIP_RETCODE SCIPincludeSepaIntobj ( SCIP * scip )

creates the integer objective value separator and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 430 of file sepa_intobj.c.

References EVENTHDLR_DESC, EVENTHDLR_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIPincludeEventhdlrBasic(), SCIPincludeSepaBasic(), SCIPsetEventhdlrExit(), SCIPsetEventhdlrInit(), SCIPsetSepaCopy(), SCIPsetSepaExit(), SCIPsetSepaExitsol(), SCIPsetSepaFree(), SEPA_DELAY, SEPA_DESC, SEPA_FREQ, SEPA_MAXBOUNDDIST, SEPA_NAME, SEPA_PRIORITY, SEPA_USESSUBSCIP, and sepadataCreate().

Referenced by SCIP_DECL_SEPACOPY(), and SCIPincludeDefaultPlugins().