Detailed Description

internal methods for IIS finder

Author: Mark Turner

Definition in file iisfinder.h.

#include "scip/def.h"
#include "blockmemshell/memory.h"
#include "scip/type_retcode.h"
#include "scip/type_set.h"
#include "scip/pub_iisfinder.h"
#include "scip/lp.h"

Go to the source code of this file.

Functions
SCIP_RETCODE	SCIPiisfinderCreate (SCIP_IISFINDER *iisfinder, SCIP_SET set, SCIP_MESSAGEHDLR messagehdlr, BMS_BLKMEM blkmem, const char name, const char desc, int priority, SCIP_DECL_IISFINDERCOPY((iisfindercopy)), SCIP_DECL_IISFINDERFREE((iisfinderfree)), SCIP_DECL_IISFINDEREXEC((iisfinderexec)), SCIP_IISFINDERDATA iisfinderdata)

void	SCIPiisfinderEnableOrDisableClocks (SCIP_IISFINDER *iisfinder, SCIP_Bool enable)

SCIP_RETCODE	SCIPiisGenerate (SCIP_SET *set)

SCIP_RETCODE	SCIPiisfinderCopyInclude (SCIP_IISFINDER iisfinder, SCIP_SET set)

void	SCIPiisfinderSetCopy (SCIP_IISFINDER iisfinder, SCIP_DECL_IISFINDERCOPY((iisfindercopy)))

SCIP_RETCODE	SCIPiisfinderFree (SCIP_IISFINDER *iisfinder, SCIP_SET set, BMS_BLKMEM *blkmem)

void	SCIPiisfinderSetFree (SCIP_IISFINDER iisfinder, SCIP_DECL_IISFINDERFREE((iisfinderfree)))

void	SCIPiisfinderSetPriority (SCIP_IISFINDER iisfinder, SCIP_SET set, int priority)

SCIP_RETCODE	SCIPiisCreate (SCIP_IIS *iis, SCIP_SET set, BMS_BLKMEM *blkmem)

SCIP_RETCODE	SCIPiisFree (SCIP_IIS *iis, BMS_BLKMEM blkmem)

SCIP_RETCODE	SCIPiisReset (SCIP_IIS **iis)

Function Documentation

◆ SCIPiisfinderCreate()

SCIP_RETCODE SCIPiisfinderCreate	(	SCIP_IISFINDER **	iisfinder,
		SCIP_SET *	set,
		SCIP_MESSAGEHDLR *	messagehdlr,
		BMS_BLKMEM *	blkmem,
		const char *	name,
		const char *	desc,
		int	priority,
		SCIP_DECL_IISFINDERCOPY((*iisfindercopy))	,
		SCIP_DECL_IISFINDERFREE((*iisfinderfree))	,
		SCIP_DECL_IISFINDEREXEC((*iisfinderexec))	,
		SCIP_IISFINDERDATA *	iisfinderdata
	)

creates an IIS finder

Parameters

iisfinder	pointer to store IIS finder
set	global SCIP settings
messagehdlr	message handler
blkmem	block memory for parameter settings
name	name of IIS finder
desc	description of IIS finder
priority	priority of the IIS finder in standard mode
iisfinderdata	IIS finder data

Definition at line 285 of file iisfinder.c.

References doIISfinderCreate(), NULL, SCIP_CALL_FINALLY, SCIP_OKAY, and SCIPiisfinderFree().

Referenced by SCIPincludeIISfinder(), and SCIPincludeIISfinderBasic().

◆ SCIPiisfinderEnableOrDisableClocks()

void SCIPiisfinderEnableOrDisableClocks	(	SCIP_IISFINDER *	iisfinder,
		SCIP_Bool	enable
	)

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

Parameters

iisfinder	the IIS finder for which all clocks should be enabled or disabled
enable	should the clocks of the IIS be enabled?

Definition at line 656 of file iisfinder.c.

References SCIP_IISfinder::iisfindertime, NULL, and SCIPclockEnableOrDisable().

◆ SCIPiisGenerate()

SCIP_RETCODE SCIPiisGenerate ( SCIP_SET * set )

calls the IIS finder generation method

calls IIS finder generation method

Parameters

set	global SCIP settings

Definition at line 321 of file iisfinder.c.

References checkTrivialInfeas(), createSubscipIIS(), FALSE, SCIP_IISfinder::iisfindertime, SCIP_IIS::iistime, SCIP_IIS::infeasible, SCIP_IIS::irreducible, SCIP_IISfinder::name, SCIP_IIS::nnodes, NULL, SCIP_Bool, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_Longint, SCIP_OKAY, SCIP_Real, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVED, SCIP_STATUS_BESTSOLLIMIT, SCIP_STATUS_DUALLIMIT, SCIP_STATUS_GAPLIMIT, SCIP_STATUS_INFEASIBLE, SCIP_STATUS_INFORUNBD, SCIP_STATUS_MEMLIMIT, SCIP_STATUS_NODELIMIT, SCIP_STATUS_OPTIMAL, SCIP_STATUS_PRIMALLIMIT, SCIP_STATUS_RESTARTLIMIT, SCIP_STATUS_SOLLIMIT, SCIP_STATUS_STALLNODELIMIT, SCIP_STATUS_TERMINATE, SCIP_STATUS_TIMELIMIT, SCIP_STATUS_TOTALNODELIMIT, SCIP_STATUS_UNBOUNDED, SCIP_STATUS_UNKNOWN, SCIP_STATUS_USERINTERRUPT, SCIP_SUCCESS, SCIPclockGetTime(), SCIPclockStart(), SCIPclockStop(), SCIPconsGetHdlr(), SCIPconsGetNUses(), SCIPconshdlrGetName(), SCIPdebugMsg, SCIPdelCons(), SCIPdelVar(), SCIPfreeTransform(), SCIPgetBoolParam(), SCIPgetIIS(), SCIPgetLongintParam(), SCIPgetNOrigConss(), SCIPgetNOrigVars(), SCIPgetNTotalNodes(), SCIPgetNVarsLinear(), SCIPgetOrigConss(), SCIPgetOrigVars(), SCIPgetRealParam(), SCIPgetStage(), SCIPgetStatus(), SCIPgetVarsLinear(), SCIPiisfinderInfoMessage(), SCIPiisGetNNodes(), SCIPiisGetTime(), SCIPiisGreedyMakeIrreducible(), SCIPiisReset(), SCIPiisSetSubscipIrreducible(), SCIPinfoMessage(), SCIPisInfinity(), SCIPsetSortIISfinders(), SCIPsolve(), SCIPvarGetLbOriginal(), SCIPvarGetNUses(), SCIPvarGetUbOriginal(), SCIP_IIS::subscip, and TRUE.

Referenced by SCIPgenerateIIS().

◆ SCIPiisfinderCopyInclude()

SCIP_RETCODE SCIPiisfinderCopyInclude	(	SCIP_IISFINDER *	iisfinder,
		SCIP_SET *	set
	)

copies the given IIS finder to a new scip

Parameters

iisfinder	IIS finder
set	SCIP_SET of SCIP to copy to

Definition at line 577 of file iisfinder.c.

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

Referenced by SCIPsetCopyPlugins().

◆ SCIPiisfinderSetCopy()

void SCIPiisfinderSetCopy	(	SCIP_IISFINDER *	iisfinder,
		SCIP_DECL_IISFINDERCOPY((*iisfindercopy))
	)

sets copy method of IIS finder

Parameters

iisfinder IIS finder

Definition at line 667 of file iisfinder.c.

References NULL.

Referenced by SCIPsetIISfinderCopy().

◆ SCIPiisfinderFree()

SCIP_RETCODE SCIPiisfinderFree	(	SCIP_IISFINDER **	iisfinder,
		SCIP_SET *	set,
		BMS_BLKMEM *	blkmem
	)

frees memory of IIS finder

Parameters

iisfinder	IIS finder
set	global SCIP settings
blkmem	block memory

Definition at line 595 of file iisfinder.c.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArrayNull, NULL, SCIP_CALL, SCIP_OKAY, and SCIPclockFree().

Referenced by SCIPiisfinderCreate().

◆ SCIPiisfinderSetFree()

void SCIPiisfinderSetFree	(	SCIP_IISFINDER *	iisfinder,
		SCIP_DECL_IISFINDERFREE((*iisfinderfree))
	)

sets destructor method of IIS finder

Parameters

iisfinder IIS finder

Definition at line 678 of file iisfinder.c.

References NULL.

Referenced by SCIPsetIISfinderFree().

◆ SCIPiisfinderSetPriority()

void SCIPiisfinderSetPriority	(	SCIP_IISFINDER *	iisfinder,
		SCIP_SET *	set,
		int	priority
	)

sets priority of IIS finder

Parameters

iisfinder	IIS finder
set	global SCIP settings
priority	new priority of the IIS finder

Definition at line 689 of file iisfinder.c.

References FALSE, NULL, and SCIP_IISfinder::priority.

Referenced by SCIPsetIISfinderPriority().

◆ SCIPiisCreate()

SCIP_RETCODE SCIPiisCreate	(	SCIP_IIS **	iis,
		SCIP_SET *	set,
		BMS_BLKMEM *	blkmem
	)

creates and captures a new IIS

Parameters

iis	pointer to return the created IIS
set	global SCIP settings
blkmem	block memory

Definition at line 749 of file iisfinder.c.

References BMSallocBlockMemory, FALSE, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_CLOCKTYPE_DEFAULT, SCIP_OKAY, SCIPclockCreate(), SCIPrandomCreate(), and SCIPsetInitializeRandomSeed().

Referenced by doScipCreate().

◆ SCIPiisFree()

SCIP_RETCODE SCIPiisFree	(	SCIP_IIS **	iis,
		BMS_BLKMEM *	blkmem
	)

releases an IIS

Parameters

iis	pointer to the IIS
blkmem	block memory

Definition at line 774 of file iisfinder.c.

References BMSfreeBlockMemory, NULL, SCIP_CALL, SCIP_OKAY, SCIPclockFree(), SCIPfree(), SCIPhashmapFree(), and SCIPrandomFree().

Referenced by SCIPfree().

◆ SCIPiisReset()

SCIP_RETCODE SCIPiisReset ( SCIP_IIS ** iis )

reset an IIS (in case one exists from a previous solve)

Parameters

iis	pointer to the IIS

Definition at line 816 of file iisfinder.c.

References FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIPclockReset(), SCIPfree(), and SCIPhashmapFree().

Referenced by createSubscipIIS(), and SCIPiisGenerate().

SCIP

Detailed Description

Functions

Function Documentation

◆ SCIPiisfinderCreate()

◆ SCIPiisfinderEnableOrDisableClocks()

◆ SCIPiisGenerate()

◆ SCIPiisfinderCopyInclude()

◆ SCIPiisfinderSetCopy()

◆ SCIPiisfinderFree()

◆ SCIPiisfinderSetFree()

◆ SCIPiisfinderSetPriority()

◆ SCIPiisCreate()

◆ SCIPiisFree()

◆ SCIPiisReset()