prop_pseudoobj.h File Reference

Detailed Description

Pseudo objective propagator.

Author

Tobias Achterberg

Stefan Heinz

This propagator propagates the objective function using the cutoff bound and the pseudo objective value. The pseudo objective value can be seen as minimum activity of the linear objective function. Using this, this propagator checks if variables with non-zero objective coefficients can exceed the cutoff bound. If this is the case the corresponding bound can be tightened.

Definition in file prop_pseudoobj.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions
SCIP_RETCODE	SCIPincludePropPseudoobj (SCIP *scip)
SCIP_RETCODE	SCIPpropagateCutoffboundVar (SCIP *scip, SCIP_PROP *prop, SCIP_VAR *var, SCIP_Real cutoffbound, SCIP_Real pseudoobjval, SCIP_Bool *tightened)

Function Documentation

SCIP_RETCODE SCIPincludePropPseudoobj

(

SCIP *

scip

)

creates the pseudo objective function propagator and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 3514 of file prop_pseudoobj.c.

References DEFAULT_FORCE, DEFAULT_MAXIMPLVARS, DEFAULT_MAXNEWVARS, DEFAULT_MAXVARSFRAC, DEFAULT_MINUSELESS, DEFAULT_PROPCUTOFFBOUND, DEFAULT_PROPFULLINROOT, DEFAULT_PROPUSEIMPLICS, DEFAULT_RESPROPUSEIMPLICS, EVENTHDLR_DESC, EVENTHDLR_NAME, NULL, PROP_DELAY, PROP_DESC, PROP_FREQ, PROP_NAME, PROP_PRESOL_DELAY, PROP_PRESOL_MAXROUNDS, PROP_PRESOL_PRIORITY, PROP_PRIORITY, PROP_TIMING, propdataReset(), SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPallocMemory, SCIPerrorMessage, SCIPincludeEventhdlrBasic(), SCIPincludePropBasic(), SCIPsetPropCopy(), SCIPsetPropExitsol(), SCIPsetPropFree(), SCIPsetPropInitsol(), SCIPsetPropPresol(), SCIPsetPropResprop(), and TRUE.

Referenced by SCIP_DECL_PROPCOPY(), and SCIPincludeDefaultPlugins().

SCIP_RETCODE SCIPpropagateCutoffboundVar	(	SCIP *	scip,
		SCIP_PROP *	prop,
		SCIP_VAR *	var,
		SCIP_Real	cutoffbound,
		SCIP_Real	pseudoobjval,
		SCIP_Bool *	tightened
	)

propagates the cutoff bound for the given variables

Parameters

scip	SCIP data structure
prop	propagator, or NULL
var	variables to propagate
cutoffbound	cutoff bound to use
pseudoobjval	pseudo objective value to use
tightened	pointer to if the domain was tightened

Definition at line 3603 of file prop_pseudoobj.c.

References propagateCutoffboundVar(), SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPvarGetObj(), and TRUE.