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.