Scippy

    SCIP

    Solving Constraint Integer Programs

    Data Fields
    SCIP_IIS Struct Reference

    Detailed Description

    IIS

    Definition at line 58 of file struct_iisfinder.h.

    #include <struct_iisfinder.h>

    Data Fields

    SCIP * subscip
     
    SCIP_HASHMAP * varsmap
     
    SCIP_HASHMAP * conssmap
     
    SCIP_RANDNUMGEN * randnumgen
     
    SCIP_CLOCK * iistime
     
    int niismessagecalls
     
    SCIP_Longint nnodes
     
    SCIP_Bool infeasible
     
    SCIP_Bool irreducible
     

    Field Documentation

    ◆ subscip

    SCIP* SCIP_IIS::subscip

    The subscip that stores the IIS

    Definition at line 60 of file struct_iisfinder.h.

    Referenced by createSubscipIIS(), SCIPiisGenerate(), and SCIPiisGetSubscip().

    ◆ varsmap

    SCIP_HASHMAP* SCIP_IIS::varsmap

    The variable hashmap from the original SCIP to IIS subscip

    Definition at line 61 of file struct_iisfinder.h.

    Referenced by createSubscipIIS().

    ◆ conssmap

    SCIP_HASHMAP* SCIP_IIS::conssmap

    The constraints hashmap from the original SCIP to IIS subscip

    Definition at line 62 of file struct_iisfinder.h.

    Referenced by createSubscipIIS().

    ◆ randnumgen

    SCIP_RANDNUMGEN* SCIP_IIS::randnumgen

    random number generator

    Definition at line 63 of file struct_iisfinder.h.

    Referenced by SCIPiisGetRandnumgen().

    ◆ iistime

    SCIP_CLOCK* SCIP_IIS::iistime

    IIS total execution time

    Definition at line 64 of file struct_iisfinder.h.

    Referenced by createSubscipIIS(), SCIPiisGenerate(), and SCIPiisGetTime().

    ◆ niismessagecalls

    int SCIP_IIS::niismessagecalls

    The number of times an iis info message has been displayed

    Definition at line 65 of file struct_iisfinder.h.

    Referenced by SCIPiisfinderInfoMessage().

    ◆ nnodes

    SCIP_Longint SCIP_IIS::nnodes

    The number of nodes used over all IIS solves

    Definition at line 66 of file struct_iisfinder.h.

    Referenced by SCIPiisAddNNodes(), SCIPiisGenerate(), and SCIPiisGetNNodes().

    ◆ infeasible

    SCIP_Bool SCIP_IIS::infeasible

    Whether the subscip is currently infeasible, i.e., a valid IS

    Definition at line 67 of file struct_iisfinder.h.

    Referenced by SCIPiisfinderInfoMessage(), SCIPiisGenerate(), SCIPiisIsSubscipInfeasible(), and SCIPiisSetSubscipInfeasible().

    ◆ irreducible

    SCIP_Bool SCIP_IIS::irreducible

    Whether the subscip is an irreducible infeasible subsystem, i.e., an IIS

    Definition at line 68 of file struct_iisfinder.h.

    Referenced by SCIPiisGenerate(), SCIPiisIsSubscipIrreducible(), and SCIPiisSetSubscipIrreducible().