Detailed Description

functions for irreducible infeasible subsystems (IIS) finders

Functions
const char *	SCIPiisfinderGetName (SCIP_IISFINDER *iisfinder)
SCIP_IISFINDERDATA *	SCIPiisfinderGetData (SCIP_IISFINDER *iisfinder)
const char *	SCIPiisfinderGetDesc (SCIP_IISFINDER *iisfinder)
int	SCIPiisfinderGetPriority (SCIP_IISFINDER *iisfinder)
void	SCIPiisfinderSetData (SCIP_IISFINDER iisfinder, SCIP_IISFINDERDATA iisfinderdata)
SCIP_Real	SCIPiisfinderGetTime (SCIP_IISFINDER *iisfinder)
void	SCIPiisfinderInfoMessage (SCIP_IIS *iis, SCIP_Bool printheaders)
	SCIP_DECL_SORTPTRCOMP (SCIPiisfinderComp)
SCIP_RETCODE	SCIPincludeIISfinder (SCIP scip, const char name, const char desc, int priority, SCIP_DECL_IISFINDERCOPY((iisfindercopy)), SCIP_DECL_IISFINDERFREE((iisfinderfree)), SCIP_DECL_IISFINDEREXEC((iisfinderexec)), SCIP_IISFINDERDATA *iisfinderdata)
SCIP_RETCODE	SCIPincludeIISfinderBasic (SCIP scip, SCIP_IISFINDER iisfinder, const char name, const char desc, int priority, SCIP_DECL_IISFINDEREXEC((iisfinderexec)), SCIP_IISFINDERDATA *iisfinderdata)
SCIP_RETCODE	SCIPsetIISfinderCopy (SCIP scip, SCIP_IISFINDER iisfinder,)
SCIP_RETCODE	SCIPsetIISfinderFree (SCIP scip, SCIP_IISFINDER iisfinder,)
SCIP_IISFINDER *	SCIPfindIISfinder (SCIP scip, const char name)
SCIP_IISFINDER **	SCIPgetIISfinders (SCIP *scip)
int	SCIPgetNIISfinders (SCIP *scip)
SCIP_RETCODE	SCIPsetIISfinderPriority (SCIP scip, SCIP_IISFINDER iisfinder, int priority)

Function Documentation

◆ SCIPiisfinderGetName()

const char * SCIPiisfinderGetName ( SCIP_IISFINDER * iisfinder )

gets name of IIS finder

Parameters

iisfinder IIS finder

Definition at line 315 of file iisfinder.c.

References assert(), SCIP_IISfinder::name, NULL, and SCIPiisfinderGetName().

Referenced by SCIP_DECL_IISFINDERCOPY(), SCIPiisfinderCopyInclude(), and SCIPiisfinderGetName().

◆ SCIPiisfinderGetData()

SCIP_IISFINDERDATA * SCIPiisfinderGetData ( SCIP_IISFINDER * iisfinder )

gets user data of IIS finder

Parameters

iisfinder IIS finder

Definition at line 706 of file iisfinder.c.

References assert(), SCIP_IISfinder::iisfinderdata, NULL, and SCIPiisfinderGetData().

Referenced by SCIP_DECL_IISFINDERCOPY(), SCIP_DECL_IISFINDEREXEC(), SCIP_DECL_IISFINDEREXEC(), SCIP_DECL_IISFINDERFREE(), SCIP_DECL_IISFINDERFREE(), SCIPfindObjIISfinder(), SCIPgetObjIISfinder(), and SCIPiisfinderGetData().

◆ SCIPiisfinderGetDesc()

const char * SCIPiisfinderGetDesc ( SCIP_IISFINDER * iisfinder )

gets description of IIS finder

gets description of the IIS finder

Parameters

iisfinder IIS finder

Definition at line 648 of file iisfinder.c.

References assert(), SCIP_IISfinder::desc, NULL, and SCIPiisfinderGetDesc().

Referenced by SCIPiisfinderGetDesc().

◆ SCIPiisfinderGetPriority()

int SCIPiisfinderGetPriority ( SCIP_IISFINDER * iisfinder )

gets priority of IIS finder

Parameters

iisfinder IIS finder

Definition at line 727 of file iisfinder.c.

References assert(), NULL, SCIP_IISfinder::priority, and SCIPiisfinderGetPriority().

Referenced by SCIPiisfinderGetPriority().

◆ SCIPiisfinderSetData()

void SCIPiisfinderSetData	(	SCIP_IISFINDER *	iisfinder,
		SCIP_IISFINDERDATA *	iisfinderdata )

sets user data of IIS finder; user has to free old data in advance!

Parameters

iisfinder	IIS finder
iisfinderdata	new IIS finder user data

Definition at line 716 of file iisfinder.c.

References assert(), SCIP_IISfinder::iisfinderdata, NULL, and SCIPiisfinderSetData().

Referenced by SCIP_DECL_IISFINDERFREE(), SCIP_DECL_IISFINDERFREE(), and SCIPiisfinderSetData().

◆ SCIPiisfinderGetTime()

SCIP_Real SCIPiisfinderGetTime ( SCIP_IISFINDER * iisfinder )

gets time in seconds used in this IIS finder

Parameters

iisfinder IIS finder

Definition at line 784 of file iisfinder.c.

References assert(), SCIP_IISfinder::iisfindertime, NULL, SCIP_Real, SCIPclockGetTime(), and SCIPiisfinderGetTime().

Referenced by SCIPiisfinderGetTime().

◆ SCIPiisfinderInfoMessage()

void SCIPiisfinderInfoMessage	(	SCIP_IIS *	iis,
		SCIP_Bool	printheaders )

prints output line during IIS calculations

Parameters

iis	pointer to the IIS
printheaders	whether the headers should be printed instead of the info

Definition at line 794 of file iisfinder.c.

References assert(), i, SCIP_IIS::infeasible, SCIP_IIS::niismessagecalls, NULL, nvars, SCIP_Bool, SCIPgetNOrigConss(), SCIPgetNOrigVars(), SCIPgetOrigVars(), SCIPiisfinderInfoMessage(), SCIPiisGetNNodes(), SCIPiisGetSubscip(), SCIPiisGetTime(), SCIPinfoMessage(), SCIPisInfinity(), SCIPvarGetLbOriginal(), SCIPvarGetUbOriginal(), and vars.

Referenced by additionFilterBatch(), deletionFilterBatch(), SCIPiisfinderInfoMessage(), and SCIPiisGenerate().

◆ SCIP_DECL_SORTPTRCOMP()

SCIP_DECL_SORTPTRCOMP ( SCIPiisfinderComp )

compares two IIS finders w. r. to their priority

Definition at line 1062 of file iisfinder.c.

References SCIP_DECL_SORTPTRCOMP.

◆ SCIPincludeIISfinder()

SCIP_RETCODE SCIPincludeIISfinder	(	SCIP *	scip,
		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 and includes it in SCIP

Note: this method has all IIS finder callbacks as arguments and is thus changed every time a new callback is added in future releases; consider using SCIPincludeIISfinderBasic() and setter functions if you seek for a method which is less likely to change in future releases

Parameters

scip	SCIP data structure
name	name of IIS finder
desc	description of IIS finder
priority	priority of the IIS finder
-	copy method of IIS finder or NULL if you don't want to copy your plugin into sub-SCIPs
-	destructor of IIS finder
-	IIS finder execution method
iisfinderdata	IIS finder data

Definition at line 48 of file scip_iisfinder.c.

References FALSE, NULL, SCIP_CALL, SCIP_DECL_IISFINDERCOPY, SCIP_DECL_IISFINDEREXEC, SCIP_DECL_IISFINDERFREE, SCIP_INVALIDDATA, SCIP_OKAY, SCIPcheckStage, SCIPerrorMessage, SCIPfindIISfinder(), SCIPiisfinderCreate(), SCIPincludeIISfinder(), SCIPsetIncludeIISfinder(), and TRUE.

Referenced by SCIPincludeIISfinder(), and SCIPincludeObjIISfinder().

◆ SCIPincludeIISfinderBasic()

SCIP_RETCODE SCIPincludeIISfinderBasic	(	SCIP *	scip,
		SCIP_IISFINDER **	iisfinder,
		const char *	name,
		const char *	desc,
		int	priority,
		SCIP_DECL_IISFINDEREXEC((*iisfinderexec))	,
		SCIP_IISFINDERDATA *	iisfinderdata )

Creates an IIS finder and includes it in SCIP with its most fundamental callbacks.

All non-fundamental (or optional) callbacks as, e.g., copy and free callbacks, will be set to NULL. Optional callbacks can be set via specific setter functions, see SCIPsetIISfinderCopy() and SCIPsetIISfinderFree(),

Note: if you want to set all callbacks with a single method call, consider using SCIPincludeIISfinder() instead

Creates an IIS finder and includes it in SCIP with its most fundamental callbacks.

All non-fundamental (or optional) callbacks as, e.g., copy and free callbacks, will be set to NULL. Optional callbacks can be set via specific setter functions, see SCIPsetIISfinderCopy(), and SCIPsetIISfinderFree()

Note: if you want to set all callbacks with a single method call, consider using SCIPincludeIISfinder() instead

Parameters

scip	SCIP data structure
iisfinder	reference to an IIS finder, or NULL
name	name of IIS finder
desc	description of IIS finder
priority	priority of the IIS finder in standard mode
-	IIS finder execution method
iisfinderdata	IIS finder data