type_iisfinder.h File Reference

Detailed Description

type definitions for IIS

Author

Mark Turner

Definition in file type_iisfinder.h.

#include "scip/def.h"
#include "scip/type_retcode.h"
#include "scip/type_scip.h"
#include "scip/type_lp.h"
#include "scip/type_result.h"

Go to the source code of this file.

Macros
#define	SCIP_DECL_IISFINDERCOPY(x)
#define	SCIP_DECL_IISFINDERFREE(x)
#define	SCIP_DECL_IISFINDEREXEC(x)

Macro Definition Documentation

SCIP_DECL_IISFINDERCOPY

#define SCIP_DECL_IISFINDERCOPY

(

x

)

Value:

SCIP_RETCODE x (SCIP* scip, SCIP_IISFINDER* iisfinder)

copy method for IIS finder plugins (called when SCIP copies plugins)

input:

• scip : SCIP main data structure
• iisfinder : the IIS (irreducible infeasible subsystem) finder itself

Definition at line 62 of file type_iisfinder.h.

Referenced by doIISfinderCreate(), SCIPiisfinderCreate(), SCIPiisfinderSetCopy(), SCIPincludeIISfinder(), and SCIPsetIISfinderCopy().

SCIP_DECL_IISFINDERFREE

#define SCIP_DECL_IISFINDERFREE

(

x

)

Value:

SCIP_RETCODE x (SCIP* scip, SCIP_IISFINDER* iisfinder)

destructor of IIS finder plugins to free user data (called when SCIP is exiting)

input:

• scip : SCIP main data structure
• iisfinder : the IIS finder itself

Definition at line 70 of file type_iisfinder.h.

Referenced by doIISfinderCreate(), SCIPiisfinderCreate(), SCIPiisfinderSetFree(), SCIPincludeIISfinder(), and SCIPsetIISfinderFree().

SCIP_DECL_IISFINDEREXEC

#define SCIP_DECL_IISFINDEREXEC

(

x

)

Value:

SCIP_RETCODE x (SCIP_IIS* iis, SCIP_IISFINDER* iisfinder, SCIP_RESULT* result)

IIS finder execution method to generate an IIS

This method is called to generate an IIS (irreducible infeasible subsystem) for an infeasible problem. It creates a copy of the SCIP instance and performs different algorithms to create a still infeasible reduced problem.

input:

• iis : The IIS data structure. It contains a subscip.
• iisfinder : the IIS finder itself
• result : pointer to store the result of the IIS finder call

possible return values for *result (if more than one applies, the first in the list should be used):

• SCIP_SUCCESS : the IIS finder succeeded
• SCIP_DIDNOTFIND : the IIS finder did not find a small enough infeasible subsystem.
• SCIP_DIDNOTRUN : the IIS finder did not run because some criteria was not satisfied

Definition at line 88 of file type_iisfinder.h.

Referenced by doIISfinderCreate(), SCIPiisfinderCreate(), and SCIPincludeIISfinder().

Typedef Documentation

SCIP_IISFINDER

typedef struct SCIP_IISfinder SCIP_IISFINDER

IIS finder data structure

Definition at line 51 of file type_iisfinder.h.

SCIP_IISFINDERDATA

typedef struct SCIP_IISfinderData SCIP_IISFINDERDATA

IIS finder specific data

Definition at line 52 of file type_iisfinder.h.

SCIP_IIS

typedef struct SCIP_IIS SCIP_IIS

IIS storage data structure

Definition at line 53 of file type_iisfinder.h.