SCIP Doxygen Documentation
Loading...
Searching...
No Matches
IIS Finders
Public API of SCIP » Plugin API of SCIP

Detailed Description

functions 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 functions
 functions 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
iisIIS 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().