IIS Finders

Detailed Description

methods and files provided by the default IIS finders of SCIP

A detailed description what an IIS finder does and how to add a IIS finder to SCIP can be found here.

Topics
	Inclusion methods
	methods to include specific IIS finders into SCIP

Functions
SCIP_RETCODE	SCIPiisGreedyMakeIrreducible (SCIP_IIS *iis)

Files
file	iisfinder_greedy.h
	greedy deletion and addition filter heuristic to compute IISs

Function Documentation

SCIPiisGreedyMakeIrreducible()

SCIP_RETCODE SCIPiisGreedyMakeIrreducible

(

SCIP_IIS *

iis

)

perform the greedy deletion algorithm with singleton batches to obtain an irreducible infeasible subsystem (IIS)

Parameters

iis	IIS data structure

Definition at line 1120 of file iisfinder_greedy.c.

References assert(), DEFAULT_BATCHINGFACTOR, DEFAULT_BATCHINGOFFSET, DEFAULT_BATCHUPDATEINTERVAL, DEFAULT_NODELIMPERITER, DEFAULT_TIMELIMPERITER, deletionFilterBatch(), MAX, NULL, nvars, SCIP_Bool, SCIP_CALL, SCIP_INVALIDDATA, SCIP_Longint, SCIP_OKAY, SCIP_Real, SCIPerrorMessage, SCIPgetBoolParam(), SCIPgetLongintParam(), SCIPgetNOrigConss(), SCIPgetNOrigVars(), SCIPgetRealParam(), SCIPiisGetNNodes(), SCIPiisGetSubscip(), SCIPiisGetTime(), SCIPiisIsSubscipInfeasible(), SCIPiisSetSubscipIrreducible(), and TRUE.

Referenced by SCIPiisGenerate().