Scippy

SCIP

Solving Constraint Integer Programs

Macros | Typedefs
type_iisfinder.h File Reference
Public API of SCIP » Core API » Type Definitions

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)   SCIP_RETCODE x (SCIP* scip, SCIP_IISFINDER* iisfinder)
 
#define SCIP_DECL_IISFINDERFREE(x)   SCIP_RETCODE x (SCIP* scip, SCIP_IISFINDER* iisfinder)
 
#define SCIP_DECL_IISFINDEREXEC(x)   SCIP_RETCODE x (SCIP_IIS* iis, SCIP_IISFINDER* iisfinder, SCIP_RESULT* result)
 

Typedefs

typedef struct SCIP_IISfinder SCIP_IISFINDER
 
typedef struct SCIP_IISfinderData SCIP_IISFINDERDATA
 
typedef struct SCIP_IIS SCIP_IIS
 

Macro Definition Documentation

◆ SCIP_DECL_IISFINDERCOPY

#define SCIP_DECL_IISFINDERCOPY (   x)    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.

◆ SCIP_DECL_IISFINDERFREE

#define SCIP_DECL_IISFINDERFREE (   x)    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.

◆ SCIP_DECL_IISFINDEREXEC

#define SCIP_DECL_IISFINDEREXEC (   x)    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.

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.