Detailed Description

methods for variable pricers

Author: Tobias Achterberg; Timo Berthold

Definition in file pricer.c.

#include <assert.h>
#include <string.h>
#include "scip/def.h"
#include "scip/set.h"
#include "scip/clock.h"
#include "scip/paramset.h"
#include "scip/lp.h"
#include "scip/prob.h"
#include "scip/pricestore.h"
#include "scip/scip.h"
#include "scip/pricer.h"
#include "scip/pub_message.h"
#include "scip/pub_misc.h"
#include "scip/struct_pricer.h"

Go to the source code of this file.

Functions
	SCIP_DECL_SORTPTRCOMP (SCIPpricerComp)

	SCIP_DECL_SORTPTRCOMP (SCIPpricerCompName)

static	SCIP_DECL_PARAMCHGD (paramChgdPricerPriority)

SCIP_RETCODE	SCIPpricerCopyInclude (SCIP_PRICER pricer, SCIP_SET set, SCIP_Bool *valid)

SCIP_RETCODE	SCIPpricerCreate (SCIP_PRICER *pricer, SCIP_SET set, SCIP_MESSAGEHDLR messagehdlr, BMS_BLKMEM blkmem, const char name, const char desc, int priority, SCIP_Bool delay, SCIP_DECL_PRICERCOPY((pricercopy)), SCIP_DECL_PRICERFREE((pricerfree)), SCIP_DECL_PRICERINIT((pricerinit)), SCIP_DECL_PRICEREXIT((pricerexit)), SCIP_DECL_PRICERINITSOL((pricerinitsol)), SCIP_DECL_PRICEREXITSOL((pricerexitsol)), SCIP_DECL_PRICERREDCOST((pricerredcost)), SCIP_DECL_PRICERFARKAS((pricerfarkas)), SCIP_PRICERDATA *pricerdata)

SCIP_RETCODE	SCIPpricerFree (SCIP_PRICER *pricer, SCIP_SET set)

SCIP_RETCODE	SCIPpricerInit (SCIP_PRICER pricer, SCIP_SET set)

SCIP_RETCODE	SCIPpricerExit (SCIP_PRICER pricer, SCIP_SET set)

SCIP_RETCODE	SCIPpricerInitsol (SCIP_PRICER pricer, SCIP_SET set)

SCIP_RETCODE	SCIPpricerExitsol (SCIP_PRICER pricer, SCIP_SET set)

SCIP_RETCODE	SCIPpricerActivate (SCIP_PRICER pricer, SCIP_SET set)

SCIP_RETCODE	SCIPpricerDeactivate (SCIP_PRICER pricer, SCIP_SET set)

SCIP_RETCODE	SCIPpricerRedcost (SCIP_PRICER pricer, SCIP_SET set, SCIP_PROB prob, SCIP_Real lowerbound, SCIP_Bool stopearly, SCIP_RESULT result)

SCIP_RETCODE	SCIPpricerFarkas (SCIP_PRICER pricer, SCIP_SET set, SCIP_PROB prob, SCIP_RESULT result)

SCIP_RETCODE	SCIPpricerExec (SCIP_PRICER pricer, SCIP_SET set, SCIP_PROB prob, SCIP_LP lp, SCIP_PRICESTORE pricestore, SCIP_Real lowerbound, SCIP_Bool stopearly, SCIP_RESULT result)

SCIP_PRICERDATA *	SCIPpricerGetData (SCIP_PRICER *pricer)

void	SCIPpricerSetData (SCIP_PRICER pricer, SCIP_PRICERDATA pricerdata)

void	SCIPpricerSetCopy (SCIP_PRICER pricer, SCIP_DECL_PRICERCOPY((pricercopy)))

void	SCIPpricerSetFree (SCIP_PRICER pricer, SCIP_DECL_PRICERFREE((pricerfree)))

void	SCIPpricerSetInit (SCIP_PRICER pricer, SCIP_DECL_PRICERINIT((pricerinit)))

void	SCIPpricerSetExit (SCIP_PRICER pricer, SCIP_DECL_PRICEREXIT((pricerexit)))

void	SCIPpricerSetInitsol (SCIP_PRICER pricer, SCIP_DECL_PRICERINITSOL((pricerinitsol)))

void	SCIPpricerSetExitsol (SCIP_PRICER pricer, SCIP_DECL_PRICEREXITSOL((pricerexitsol)))

const char *	SCIPpricerGetName (SCIP_PRICER *pricer)

const char *	SCIPpricerGetDesc (SCIP_PRICER *pricer)

int	SCIPpricerGetPriority (SCIP_PRICER *pricer)

void	SCIPpricerSetPriority (SCIP_PRICER pricer, SCIP_SET set, int priority)

int	SCIPpricerGetNCalls (SCIP_PRICER *pricer)

int	SCIPpricerGetNVarsFound (SCIP_PRICER *pricer)

SCIP_Real	SCIPpricerGetSetupTime (SCIP_PRICER *pricer)

SCIP_Real	SCIPpricerGetTime (SCIP_PRICER *pricer)

void	SCIPpricerEnableOrDisableClocks (SCIP_PRICER *pricer, SCIP_Bool enable)

SCIP_Bool	SCIPpricerIsActive (SCIP_PRICER *pricer)

SCIP_Bool	SCIPpricerIsDelayed (SCIP_PRICER *pricer)

SCIP_Bool	SCIPpricerIsInitialized (SCIP_PRICER *pricer)

Function Documentation

SCIP_DECL_SORTPTRCOMP ( SCIPpricerComp )

compares two pricers w. r. to their activity and their priority

Definition at line 44 of file pricer.c.

SCIP_DECL_SORTPTRCOMP ( SCIPpricerCompName )

comparison method for sorting pricers w.r.t. to their name

Definition at line 53 of file pricer.c.

References SCIPpricerGetName().

static SCIP_DECL_PARAMCHGD ( paramChgdPricerPriority )

static

method to call, when the priority of a pricer was changed

Definition at line 63 of file pricer.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPparamGetData(), SCIPparamGetInt(), and SCIPsetPricerPriority().

SCIP_RETCODE SCIPpricerCopyInclude	(	SCIP_PRICER *	pricer,
		SCIP_SET *	set,
		SCIP_Bool *	valid
	)

copies the given pricer to a new scip

Parameters

pricer	pricer
set	SCIP_SET of SCIP to copy to
valid	was the copying process valid?

Definition at line 77 of file pricer.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, and SCIPpricerGetName().

Referenced by SCIP_DECL_PARAMCHGD().

SCIP_RETCODE SCIPpricerCreate	(	SCIP_PRICER **	pricer,
		SCIP_SET *	set,
		SCIP_MESSAGEHDLR *	messagehdlr,
		BMS_BLKMEM *	blkmem,
		const char *	name,
		const char *	desc,
		int	priority,
		SCIP_Bool	delay,
		SCIP_DECL_PRICERCOPY((*pricercopy))	,
		SCIP_DECL_PRICERFREE((*pricerfree))	,
		SCIP_DECL_PRICERINIT((*pricerinit))	,
		SCIP_DECL_PRICEREXIT((*pricerexit))	,
		SCIP_DECL_PRICERINITSOL((*pricerinitsol))	,
		SCIP_DECL_PRICEREXITSOL((*pricerexitsol))	,
		SCIP_DECL_PRICERREDCOST((*pricerredcost))	,
		SCIP_DECL_PRICERFARKAS((*pricerfarkas))	,
		SCIP_PRICERDATA *	pricerdata
	)

creates a variable pricer To use the variable pricer for solving a problem, it first has to be activated with a call to SCIPactivatePricer().

Parameters

pricer	pointer to variable pricer data structure
set	global SCIP settings
messagehdlr	message handler
blkmem	block memory for parameter settings
name	name of variable pricer
desc	description of variable pricer
priority	priority of the variable pricer
delay	should the pricer be delayed until no other pricers or already existing problem variables with negative reduced costs are found
pricerdata	variable pricer data

Definition at line 99 of file pricer.c.

References BMSallocMemory, BMSduplicateMemoryArray, FALSE, NULL, paramname, SCIP_ALLOC, SCIP_CALL, SCIP_CLOCKTYPE_DEFAULT, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPclockCreate(), SCIPsetAddIntParam(), and SCIPsnprintf().

Referenced by SCIPincludePricer(), and SCIPincludePricerBasic().

SCIP_RETCODE SCIPpricerFree	(	SCIP_PRICER **	pricer,
		SCIP_SET *	set
	)

calls destructor and frees memory of variable pricer

Parameters

pricer	pointer to variable pricer data structure
set	global SCIP settings

Definition at line 160 of file pricer.c.

References BMSfreeMemory, BMSfreeMemoryArray, NULL, SCIP_CALL, SCIP_OKAY, and SCIPclockFree().

SCIP_RETCODE SCIPpricerInit	(	SCIP_PRICER *	pricer,
		SCIP_SET *	set
	)

initializes variable pricer

Parameters

pricer	variable pricer
set	global SCIP settings

Definition at line 186 of file pricer.c.

References SCIP_Pricer::active, SCIP_Pricer::initialized, SCIP_Pricer::name, SCIP_Pricer::ncalls, NULL, SCIP_Pricer::nvarsfound, SCIP_Pricer::pricerclock, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPclockReset(), SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, SCIP_Pricer::setuptime, and TRUE.

SCIP_RETCODE SCIPpricerExit	(	SCIP_PRICER *	pricer,
		SCIP_SET *	set
	)

calls exit method of variable pricer

Parameters

pricer	variable pricer
set	global SCIP settings

Definition at line 226 of file pricer.c.

References SCIP_Pricer::active, FALSE, SCIP_Pricer::initialized, SCIP_Pricer::name, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, and SCIP_Pricer::setuptime.

Referenced by SCIPsetInitPlugins().

SCIP_RETCODE SCIPpricerInitsol	(	SCIP_PRICER *	pricer,
		SCIP_SET *	set
	)

informs variable pricer that the branch and bound process is being started

Parameters

pricer	variable pricer
set	global SCIP settings

Definition at line 257 of file pricer.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), and SCIP_Pricer::setuptime.

Referenced by SCIPsetInitprePlugins().

SCIP_RETCODE SCIPpricerExitsol	(	SCIP_PRICER *	pricer,
		SCIP_SET *	set
	)

informs variable pricer that the branch and bound process data is being freed

Parameters

pricer	variable pricer
set	global SCIP settings

Definition at line 281 of file pricer.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), and SCIP_Pricer::setuptime.

Referenced by SCIPsetInitsolPlugins().

SCIP_RETCODE SCIPpricerActivate	(	SCIP_PRICER *	pricer,
		SCIP_SET *	set
	)

activates pricer such that it is called in LP solving loop

Parameters

pricer	variable pricer
set	global SCIP settings

Definition at line 305 of file pricer.c.

References SCIP_Pricer::active, FALSE, NULL, SCIP_OKAY, SCIP_STAGE_PROBLEM, and TRUE.

Referenced by SCIPactivatePricer().

SCIP_RETCODE SCIPpricerDeactivate	(	SCIP_PRICER *	pricer,
		SCIP_SET *	set
	)

deactivates pricer such that it is no longer called in LP solving loop

Parameters

pricer	variable pricer
set	global SCIP settings

Definition at line 325 of file pricer.c.

References SCIP_Pricer::active, FALSE, NULL, SCIP_OKAY, and SCIP_STAGE_PROBLEM.

Referenced by SCIPdeactivatePricer(), and SCIPfreeProb().

SCIP_RETCODE SCIPpricerRedcost	(	SCIP_PRICER *	pricer,
		SCIP_SET *	set,
		SCIP_PROB *	prob,
		SCIP_Real *	lowerbound,
		SCIP_Bool *	stopearly,
		SCIP_RESULT *	result
	)

calls reduced cost pricing method of variable pricer

Parameters

pricer	variable pricer
set	global SCIP settings
prob	transformed problem
lowerbound	local lower bound computed by the pricer
stopearly	should pricing be stopped, although new variables were added?
result	result of the pricing process

Definition at line 345 of file pricer.c.

References SCIP_Pricer::active, SCIP_Pricer::name, SCIP_Pricer::ncalls, NULL, SCIP_Prob::nvars, SCIP_Pricer::nvarsfound, SCIP_Pricer::pricerclock, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), and SCIPdebugMessage.

Referenced by SCIPpricerExec().

SCIP_RETCODE SCIPpricerFarkas	(	SCIP_PRICER *	pricer,
		SCIP_SET *	set,
		SCIP_PROB *	prob,
		SCIP_RESULT *	result
	)

calls Farkas pricing method of variable pricer

Parameters

pricer	variable pricer
set	global SCIP settings
prob	transformed problem
result	result of the pricing process

Definition at line 385 of file pricer.c.

References SCIP_Pricer::active, SCIP_Pricer::name, SCIP_Pricer::ncalls, NULL, SCIP_Prob::nvars, SCIP_Pricer::nvarsfound, SCIP_Pricer::pricerclock, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), and SCIPdebugMessage.

Referenced by SCIPpricerExec().

SCIP_RETCODE SCIPpricerExec	(	SCIP_PRICER *	pricer,
		SCIP_SET *	set,
		SCIP_PROB *	prob,
		SCIP_LP *	lp,
		SCIP_PRICESTORE *	pricestore,
		SCIP_Real *	lowerbound,
		SCIP_Bool *	stopearly,
		SCIP_RESULT *	result
	)

depending on the LP's solution status, calls reduced cost or Farkas pricing method of variable pricer

Parameters

pricer	variable pricer
set	global SCIP settings
prob	transformed problem
lp	LP data
pricestore	pricing storage
lowerbound	local lower bound computed by the pricer
stopearly	should pricing be stopped, although new variables were added?
result	result of the pricing process

Definition at line 424 of file pricer.c.

References SCIP_Pricer::delay, FALSE, NULL, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_LPSOLSTAT_INFEASIBLE, SCIP_OKAY, SCIP_SUCCESS, SCIPlpGetSolstat(), SCIPpricerFarkas(), SCIPpricerRedcost(), SCIPpricestoreGetNVars(), and SCIPsetInfinity().

Referenced by SCIPpriceLoop().

SCIP_PRICERDATA* SCIPpricerGetData ( SCIP_PRICER * pricer )

gets user data of variable pricer

Parameters

pricer variable pricer

Definition at line 463 of file pricer.c.

References NULL, and SCIP_Pricer::pricerdata.

Referenced by SCIP_DECL_PRICERCOPY(), SCIP_DECL_PRICEREXIT(), SCIP_DECL_PRICEREXITSOL(), SCIP_DECL_PRICERFARKAS(), SCIP_DECL_PRICERFREE(), SCIP_DECL_PRICERINIT(), SCIP_DECL_PRICERINITSOL(), SCIP_DECL_PRICERREDCOST(), SCIPfindObjPricer(), and SCIPgetObjPricer().

void SCIPpricerSetData	(	SCIP_PRICER *	pricer,
		SCIP_PRICERDATA *	pricerdata
	)

sets user data of variable pricer; user has to free old data in advance!

Parameters

pricer	variable pricer
pricerdata	new variable pricer user data

Definition at line 473 of file pricer.c.

References NULL, and SCIP_Pricer::pricerdata.

Referenced by SCIP_DECL_PRICERFREE().

void SCIPpricerSetCopy	(	SCIP_PRICER *	pricer,
		SCIP_DECL_PRICERCOPY((*pricercopy))
	)

sets copy callback of pricer

Parameters

pricer variable pricer

Definition at line 484 of file pricer.c.

References NULL.

Referenced by SCIPsetPricerCopy().

void SCIPpricerSetFree	(	SCIP_PRICER *	pricer,
		SCIP_DECL_PRICERFREE((*pricerfree))
	)

sets destructor callback of pricer

Parameters

pricer pricer

Definition at line 495 of file pricer.c.

References NULL.

Referenced by SCIPsetPricerFree().

void SCIPpricerSetInit	(	SCIP_PRICER *	pricer,
		SCIP_DECL_PRICERINIT((*pricerinit))
	)

sets initialization callback of pricer

Parameters

pricer pricer

Definition at line 506 of file pricer.c.

References NULL.

Referenced by SCIPsetPricerInit().

void SCIPpricerSetExit	(	SCIP_PRICER *	pricer,
		SCIP_DECL_PRICEREXIT((*pricerexit))
	)

sets deinitialization callback of pricer

Parameters

pricer pricer

Definition at line 517 of file pricer.c.

References NULL.

Referenced by SCIPsetPricerExit().

void SCIPpricerSetInitsol	(	SCIP_PRICER *	pricer,
		SCIP_DECL_PRICERINITSOL((*pricerinitsol))
	)

sets solving process initialization callback of pricer

Parameters

pricer pricer

Definition at line 528 of file pricer.c.

References NULL.

Referenced by SCIPsetPricerInitsol().

void SCIPpricerSetExitsol	(	SCIP_PRICER *	pricer,
		SCIP_DECL_PRICEREXITSOL((*pricerexitsol))
	)

sets solving process deinitialization callback of pricer

Parameters

pricer pricer

Definition at line 539 of file pricer.c.

References NULL.

Referenced by SCIPsetPricerExitsol().

const char* SCIPpricerGetName ( SCIP_PRICER * pricer )

gets name of variable pricer

Parameters

pricer variable pricer

Definition at line 550 of file pricer.c.

References SCIP_Pricer::name, and NULL.

Referenced by printPricerStatistics(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPincludeDialogDefaultFix(), SCIPincludeDialogDefaultSet(), SCIPpriceLoop(), SCIPpricerCopyInclude(), and SCIPsetFindReader().

const char* SCIPpricerGetDesc ( SCIP_PRICER * pricer )

gets description of variable pricer

Parameters

pricer variable pricer

Definition at line 560 of file pricer.c.

References SCIP_Pricer::desc, and NULL.

Referenced by SCIP_DECL_DIALOGEXEC(), SCIPincludeDialogDefaultFix(), and SCIPincludeDialogDefaultSet().

int SCIPpricerGetPriority ( SCIP_PRICER * pricer )

gets priority of variable pricer

Parameters

pricer variable pricer

Definition at line 570 of file pricer.c.

References NULL, and SCIP_Pricer::priority.

Referenced by SCIP_DECL_DIALOGEXEC().

void SCIPpricerSetPriority	(	SCIP_PRICER *	pricer,
		SCIP_SET *	set,
		int	priority
	)

sets priority of variable pricer

Parameters

pricer	variable pricer
set	global SCIP settings
priority	new priority of the variable pricer

Definition at line 580 of file pricer.c.

References FALSE, NULL, and SCIP_Pricer::priority.

Referenced by SCIPsetPricerPriority().

int SCIPpricerGetNCalls ( SCIP_PRICER * pricer )

gets the number of times, the pricer was called and tried to find a variable with negative reduced costs

Parameters

pricer variable pricer

Definition at line 594 of file pricer.c.

References SCIP_Pricer::ncalls, and NULL.

Referenced by printPricerStatistics().

int SCIPpricerGetNVarsFound ( SCIP_PRICER * pricer )

gets the number of variables with negative reduced costs found by this pricer

Parameters

pricer variable pricer

Definition at line 604 of file pricer.c.

References NULL, and SCIP_Pricer::nvarsfound.

Referenced by printPricerStatistics().

SCIP_Real SCIPpricerGetSetupTime ( SCIP_PRICER * pricer )

gets time in seconds used in this pricer for setting up for next stages

Parameters

pricer variable pricer

Definition at line 614 of file pricer.c.

References NULL, SCIPclockGetTime(), and SCIP_Pricer::setuptime.

Referenced by printPricerStatistics().

SCIP_Real SCIPpricerGetTime ( SCIP_PRICER * pricer )

gets time in seconds used in this pricer

Parameters

pricer variable pricer

Definition at line 624 of file pricer.c.

References NULL, SCIP_Pricer::pricerclock, and SCIPclockGetTime().

Referenced by printPricerStatistics().

void SCIPpricerEnableOrDisableClocks	(	SCIP_PRICER *	pricer,
		SCIP_Bool	enable
	)

enables or disables all clocks of pricer, depending on the value of the flag

Parameters

pricer	the pricer for which all clocks should be enabled or disabled
enable	should the clocks of the pricer be enabled?

Definition at line 634 of file pricer.c.

References NULL, SCIP_Pricer::pricerclock, SCIPclockEnableOrDisable(), and SCIP_Pricer::setuptime.

Referenced by SCIPsetSetReoptimizationParams().

SCIP_Bool SCIPpricerIsActive ( SCIP_PRICER * pricer )

returns whether the given pricer is in use in the current problem

Parameters

pricer variable pricer

Definition at line 646 of file pricer.c.

References SCIP_Pricer::active, and NULL.

Referenced by SCIP_DECL_PARAMCHGD().

SCIP_Bool SCIPpricerIsDelayed ( SCIP_PRICER * pricer )

returns whether the pricer should be delayed until no other pricer finds a new variable

Parameters

pricer variable pricer

Definition at line 656 of file pricer.c.

References SCIP_Pricer::delay, and NULL.

Referenced by SCIP_DECL_DIALOGEXEC().

SCIP_Bool SCIPpricerIsInitialized ( SCIP_PRICER * pricer )

is variable pricer initialized?

Parameters

pricer variable pricer

Definition at line 666 of file pricer.c.

References SCIP_Pricer::initialized, and NULL.

SCIP

Detailed Description

Functions

Function Documentation