presol.h File Reference

Detailed Description

internal methods for presolvers

Author

Tobias Achterberg

Definition in file presol.h.

#include "scip/def.h"
#include "blockmemshell/memory.h"
#include "scip/type_retcode.h"
#include "scip/type_result.h"
#include "scip/type_set.h"
#include "scip/type_presol.h"
#include "scip/pub_presol.h"

Go to the source code of this file.

Functions
SCIP_RETCODE	SCIPpresolCopyInclude (SCIP_PRESOL *presol, SCIP_SET *set)
SCIP_RETCODE	SCIPpresolCreate (SCIP_PRESOL **presol, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, BMS_BLKMEM *blkmem, const char *name, const char *desc, int priority, int maxrounds, SCIP_PRESOLTIMING timing, SCIP_DECL_PRESOLCOPY((*presolcopy)), SCIP_DECL_PRESOLFREE((*presolfree)), SCIP_DECL_PRESOLINIT((*presolinit)), SCIP_DECL_PRESOLEXIT((*presolexit)), SCIP_DECL_PRESOLINITPRE((*presolinitpre)), SCIP_DECL_PRESOLEXITPRE((*presolexitpre)), SCIP_DECL_PRESOLEXEC((*presolexec)), SCIP_PRESOLDATA *presoldata)
SCIP_RETCODE	SCIPpresolFree (SCIP_PRESOL **presol, SCIP_SET *set)
SCIP_RETCODE	SCIPpresolInit (SCIP_PRESOL *presol, SCIP_SET *set)
SCIP_RETCODE	SCIPpresolExit (SCIP_PRESOL *presol, SCIP_SET *set)
SCIP_RETCODE	SCIPpresolInitpre (SCIP_PRESOL *presol, SCIP_SET *set)
SCIP_RETCODE	SCIPpresolExitpre (SCIP_PRESOL *presol, SCIP_SET *set)
SCIP_RETCODE	SCIPpresolExec (SCIP_PRESOL *presol, SCIP_SET *set, SCIP_PRESOLTIMING timing, int nrounds, int *nfixedvars, int *naggrvars, int *nchgvartypes, int *nchgbds, int *naddholes, int *ndelconss, int *naddconss, int *nupgdconss, int *nchgcoefs, int *nchgsides, SCIP_RESULT *result)
void	SCIPpresolSetPriority (SCIP_PRESOL *presol, SCIP_SET *set, int priority)
void	SCIPpresolSetCopy (SCIP_PRESOL *presol, SCIP_DECL_PRESOLCOPY((*presolcopy)))
void	SCIPpresolSetFree (SCIP_PRESOL *presol, SCIP_DECL_PRESOLFREE((*presolfree)))
void	SCIPpresolSetInit (SCIP_PRESOL *presol, SCIP_DECL_PRESOLINIT((*presolinit)))
void	SCIPpresolSetExit (SCIP_PRESOL *presol, SCIP_DECL_PRESOLEXIT((*presolexit)))
void	SCIPpresolSetInitpre (SCIP_PRESOL *presol, SCIP_DECL_PRESOLINITPRE((*presolinitpre)))
void	SCIPpresolSetExitpre (SCIP_PRESOL *presol, SCIP_DECL_PRESOLEXITPRE((*presolexitpre)))
void	SCIPpresolEnableOrDisableClocks (SCIP_PRESOL *presol, SCIP_Bool enable)

Function Documentation

SCIPpresolCopyInclude()

SCIP_RETCODE SCIPpresolCopyInclude	(	SCIP_PRESOL *	presol,
		SCIP_SET *	set
	)

copies the given presolver to a new scip

Parameters

presol	presolver
set	SCIP_SET of SCIP to copy to

Definition at line 74 of file presol.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPpresolGetName(), and SCIPsetDebugMsg.

SCIPpresolCreate()

SCIP_RETCODE SCIPpresolCreate	(	SCIP_PRESOL **	presol,
		SCIP_SET *	set,
		SCIP_MESSAGEHDLR *	messagehdlr,
		BMS_BLKMEM *	blkmem,
		const char *	name,
		const char *	desc,
		int	priority,
		int	maxrounds,
		SCIP_PRESOLTIMING	timing,
		SCIP_DECL_PRESOLCOPY((*presolcopy))	,
		SCIP_DECL_PRESOLFREE((*presolfree))	,
		SCIP_DECL_PRESOLINIT((*presolinit))	,
		SCIP_DECL_PRESOLEXIT((*presolexit))	,
		SCIP_DECL_PRESOLINITPRE((*presolinitpre))	,
		SCIP_DECL_PRESOLEXITPRE((*presolexitpre))	,
		SCIP_DECL_PRESOLEXEC((*presolexec))	,
		SCIP_PRESOLDATA *	presoldata
	)

creates a presolver

Parameters

presol	pointer to store presolver
set	global SCIP settings
messagehdlr	message handler
blkmem	block memory for parameter settings
name	name of presolver
desc	description of presolver
priority	priority of the presolver (>= 0: before, < 0: after constraint handlers)
maxrounds	maximal number of presolving rounds the presolver participates in (-1: no limit)
timing	timing mask of the presolver
presoldata	presolver data

Definition at line 170 of file presol.c.

References doPresolCreate(), NULL, SCIP_CALL_FINALLY, SCIP_OKAY, and SCIPpresolFree().

Referenced by SCIPincludePresol(), and SCIPincludePresolBasic().

SCIPpresolFree()

SCIP_RETCODE SCIPpresolFree	(	SCIP_PRESOL **	presol,
		SCIP_SET *	set
	)

frees memory of presolver

Parameters

presol	pointer to presolver data structure
set	global SCIP settings

Definition at line 202 of file presol.c.

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

Referenced by SCIPpresolCreate().

SCIPpresolInit()

SCIP_RETCODE SCIPpresolInit	(	SCIP_PRESOL *	presol,
		SCIP_SET *	set
	)

initializes presolver

Parameters

presol	presolver
set	global SCIP settings

Definition at line 229 of file presol.c.

References SCIP_Presol::initialized, SCIP_Presol::lastnaddconss, SCIP_Presol::lastnaddholes, SCIP_Presol::lastnaggrvars, SCIP_Presol::lastnchgbds, SCIP_Presol::lastnchgcoefs, SCIP_Presol::lastnchgsides, SCIP_Presol::lastnchgvartypes, SCIP_Presol::lastndelconss, SCIP_Presol::lastnfixedvars, SCIP_Presol::lastnupgdconss, SCIP_Presol::naddconss, SCIP_Presol::naddholes, SCIP_Presol::naggrvars, SCIP_Presol::name, SCIP_Presol::ncalls, SCIP_Presol::nchgbds, SCIP_Presol::nchgcoefs, SCIP_Presol::nchgsides, SCIP_Presol::nchgvartypes, SCIP_Presol::ndelconss, SCIP_Presol::nfixedvars, NULL, SCIP_Presol::nupgdconss, SCIP_Presol::presolclock, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPclockReset(), SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, SCIP_Presol::setuptime, and TRUE.

Referenced by SCIPsetSetPriorityNlpi().

SCIPpresolExit()

SCIP_RETCODE SCIPpresolExit	(	SCIP_PRESOL *	presol,
		SCIP_SET *	set
	)

deinitializes presolver

Parameters

presol	presolver
set	global SCIP settings

Definition at line 288 of file presol.c.

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

Referenced by SCIPsetInitPlugins().

SCIPpresolInitpre()

SCIP_RETCODE SCIPpresolInitpre	(	SCIP_PRESOL *	presol,
		SCIP_SET *	set
	)

informs presolver that the presolving process is being started

Parameters

presol	presolver
set	global SCIP settings

Definition at line 319 of file presol.c.

References SCIP_Presol::lastnaddconss, SCIP_Presol::lastnaddholes, SCIP_Presol::lastnaggrvars, SCIP_Presol::lastnchgbds, SCIP_Presol::lastnchgcoefs, SCIP_Presol::lastnchgsides, SCIP_Presol::lastnchgvartypes, SCIP_Presol::lastndelconss, SCIP_Presol::lastnfixedvars, SCIP_Presol::lastnupgdconss, NULL, SCIP_CALL, SCIP_OKAY, SCIPclockStart(), SCIPclockStop(), and SCIP_Presol::setuptime.

Referenced by SCIPsetExitPlugins().

SCIPpresolExitpre()

SCIP_RETCODE SCIPpresolExitpre	(	SCIP_PRESOL *	presol,
		SCIP_SET *	set
	)

informs presolver that the presolving process is finished

Parameters

presol	presolver
set	global SCIP settings

Definition at line 354 of file presol.c.

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

Referenced by SCIPsetExitPlugins().

SCIPpresolExec()

SCIP_RETCODE SCIPpresolExec	(	SCIP_PRESOL *	presol,
		SCIP_SET *	set,
		SCIP_PRESOLTIMING	timing,
		int	nrounds,
		int *	nfixedvars,
		int *	naggrvars,
		int *	nchgvartypes,
		int *	nchgbds,
		int *	naddholes,
		int *	ndelconss,
		int *	naddconss,
		int *	nupgdconss,
		int *	nchgcoefs,
		int *	nchgsides,
		SCIP_RESULT *	result
	)

executes presolver

Parameters

presol	presolver
set	global SCIP settings
timing	current presolving timing
nrounds	number of presolving rounds already done
nfixedvars	pointer to total number of variables fixed of all presolvers
naggrvars	pointer to total number of variables aggregated of all presolvers
nchgvartypes	pointer to total number of variable type changes of all presolvers
nchgbds	pointer to total number of variable bounds tightened of all presolvers
naddholes	pointer to total number of domain holes added of all presolvers
ndelconss	pointer to total number of deleted constraints of all presolvers
naddconss	pointer to total number of added constraints of all presolvers
nupgdconss	pointer to total number of upgraded constraints of all presolvers
nchgcoefs	pointer to total number of changed coefficients of all presolvers
nchgsides	pointer to total number of changed left/right hand sides of all presolvers
result	pointer to store the result of the callback method

Definition at line 378 of file presol.c.

References SCIP_Presol::lastnaddconss, SCIP_Presol::lastnaddholes, SCIP_Presol::lastnaggrvars, SCIP_Presol::lastnchgbds, SCIP_Presol::lastnchgcoefs, SCIP_Presol::lastnchgsides, SCIP_Presol::lastnchgvartypes, SCIP_Presol::lastndelconss, SCIP_Presol::lastnfixedvars, SCIP_Presol::lastnupgdconss, SCIP_Presol::maxrounds, SCIP_Presol::naddconss, SCIP_Presol::naddholes, SCIP_Presol::naggrvars, SCIP_Presol::name, SCIP_Presol::ncalls, SCIP_Presol::nchgbds, SCIP_Presol::nchgcoefs, SCIP_Presol::nchgsides, SCIP_Presol::nchgvartypes, SCIP_Presol::ndelconss, SCIP_Presol::nfixedvars, NULL, SCIP_Presol::nupgdconss, SCIP_Presol::presolclock, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_SUCCESS, SCIP_UNBOUNDED, SCIPclockStart(), SCIPclockStop(), SCIPerrorMessage, SCIPsetDebugMsg, and SCIP_Presol::timing.

Referenced by presolveRound().

SCIPpresolSetPriority()

void SCIPpresolSetPriority	(	SCIP_PRESOL *	presol,
		SCIP_SET *	set,
		int	priority
	)

sets priority of presolver

Parameters

presol	presolver
set	global SCIP settings
priority	new priority of the presolver

Definition at line 629 of file presol.c.

References FALSE, NULL, and SCIP_Presol::priority.

Referenced by SCIPsetPresolPriority().

SCIPpresolSetCopy()

void SCIPpresolSetCopy	(	SCIP_PRESOL *	presol,
		SCIP_DECL_PRESOLCOPY((*presolcopy))
	)

sets copy method of presolver

Parameters

presol

presolver

Definition at line 523 of file presol.c.

References NULL.

Referenced by SCIPsetPresolCopy().

SCIPpresolSetFree()

void SCIPpresolSetFree	(	SCIP_PRESOL *	presol,
		SCIP_DECL_PRESOLFREE((*presolfree))
	)

sets destructor method of presolver

Parameters

presol

presolver

Definition at line 534 of file presol.c.

References NULL.

Referenced by SCIPsetPresolFree().

SCIPpresolSetInit()

void SCIPpresolSetInit	(	SCIP_PRESOL *	presol,
		SCIP_DECL_PRESOLINIT((*presolinit))
	)

sets initialization method of presolver

Parameters

presol

presolver

Definition at line 545 of file presol.c.

References NULL.

Referenced by SCIPsetPresolInit().

SCIPpresolSetExit()

void SCIPpresolSetExit	(	SCIP_PRESOL *	presol,
		SCIP_DECL_PRESOLEXIT((*presolexit))
	)

sets deinitialization method of presolver

Parameters

presol

presolver

Definition at line 556 of file presol.c.

References NULL.

Referenced by SCIPsetPresolExit().

SCIPpresolSetInitpre()

void SCIPpresolSetInitpre	(	SCIP_PRESOL *	presol,
		SCIP_DECL_PRESOLINITPRE((*presolinitpre))
	)

sets solving process initialization method of presolver

Parameters

presol

presolver

Definition at line 567 of file presol.c.

References NULL.

Referenced by SCIPsetPresolInitpre().

SCIPpresolSetExitpre()

void SCIPpresolSetExitpre	(	SCIP_PRESOL *	presol,
		SCIP_DECL_PRESOLEXITPRE((*presolexitpre))
	)

sets solving process deinitialization method of presolver

Parameters

presol

presolver

Definition at line 578 of file presol.c.

References NULL.

Referenced by SCIPsetPresolExitpre().

SCIPpresolEnableOrDisableClocks()

void SCIPpresolEnableOrDisableClocks	(	SCIP_PRESOL *	presol,
		SCIP_Bool	enable
	)

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

Parameters

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

Definition at line 675 of file presol.c.

References NULL, SCIP_Presol::presolclock, SCIPclockEnableOrDisable(), and SCIP_Presol::setuptime.