Scippy

    SCIP

    Solving Constraint Integer Programs

    type_reopt.h File Reference

    Detailed Description

    type definitions for collecting reoptimization information

    Author
    Jakob Witzig

    Definition in file type_reopt.h.

    Go to the source code of this file.

    Typedefs

    typedef struct SCIP_Reopt SCIP_REOPT
     
    typedef struct SCIP_SolTree SCIP_SOLTREE
     
    typedef struct SCIP_SolNode SCIP_SOLNODE
     
    typedef struct SCIP_ReoptTree SCIP_REOPTTREE
     
    typedef struct SCIP_ReoptNode SCIP_REOPTNODE
     
    typedef struct SCIP_ReoptNode SCIP_REPRESENTATIVE
     
    typedef struct SCIP_ReoptConsData SCIP_REOPTCONSDATA
     
    typedef enum SCIP_ReoptType SCIP_REOPTTYPE
     
    typedef enum Reopt_ConsType REOPT_CONSTYPE
     

    Enumerations

    enum  SCIP_ReoptType {
      SCIP_REOPTTYPE_NONE = 0 ,
      SCIP_REOPTTYPE_TRANSIT = 1 ,
      SCIP_REOPTTYPE_INFSUBTREE = 2 ,
      SCIP_REOPTTYPE_STRBRANCHED = 3 ,
      SCIP_REOPTTYPE_LOGICORNODE = 4 ,
      SCIP_REOPTTYPE_LEAF = 5 ,
      SCIP_REOPTTYPE_PRUNED = 6 ,
      SCIP_REOPTTYPE_FEASIBLE = 7
    }
     
    enum  Reopt_ConsType {
      REOPT_CONSTYPE_INFSUBTREE = 0 ,
      REOPT_CONSTYPE_DUALREDS = 1 ,
      REOPT_CONSTYPE_CUT = 2 ,
      REOPT_CONSTYPE_UNKNOWN = 3
    }
     

    Typedef Documentation

    ◆ SCIP_REOPT

    typedef struct SCIP_Reopt SCIP_REOPT

    reopt data

    Definition at line 39 of file type_reopt.h.

    ◆ SCIP_SOLTREE

    typedef struct SCIP_SolTree SCIP_SOLTREE

    tree to check solutions

    Definition at line 41 of file type_reopt.h.

    ◆ SCIP_SOLNODE

    typedef struct SCIP_SolNode SCIP_SOLNODE

    nodes of SCIP_SOLTREE

    Definition at line 43 of file type_reopt.h.

    ◆ SCIP_REOPTTREE

    data structure to store the search tree

    Definition at line 45 of file type_reopt.h.

    ◆ SCIP_REOPTNODE

    nodes of SCIP_REOPTTREE

    Definition at line 47 of file type_reopt.h.

    ◆ SCIP_REPRESENTATIVE

    representatives of the search frontier

    Definition at line 49 of file type_reopt.h.

    ◆ SCIP_REOPTCONSDATA

    typedef struct SCIP_ReoptConsData SCIP_REOPTCONSDATA

    data for constraints to handle dual information \ within (mixed) binary programs

    Definition at line 51 of file type_reopt.h.

    ◆ SCIP_REOPTTYPE

    type nodes during reoptimization

    Definition at line 67 of file type_reopt.h.

    ◆ REOPT_CONSTYPE

    tye of constraunts added during reoptimization

    Definition at line 76 of file type_reopt.h.

    Enumeration Type Documentation

    ◆ SCIP_ReoptType

    Enumerator
    SCIP_REOPTTYPE_NONE 

    node is not part of the reoptimizationtree

    SCIP_REOPTTYPE_TRANSIT 

    node is only needed for reconstructing the tree

    SCIP_REOPTTYPE_INFSUBTREE 

    node contains dual reductions which leed to LP infeasibility

    SCIP_REOPTTYPE_STRBRANCHED 

    node contains dual reductions

    SCIP_REOPTTYPE_LOGICORNODE 

    node contains additional constraints

    SCIP_REOPTTYPE_LEAF 

    node is a leaf node

    SCIP_REOPTTYPE_PRUNED 

    node is a leaf node and pruned by boudning

    SCIP_REOPTTYPE_FEASIBLE 

    node is a leaf node and has an integral optimal LP solution

    Definition at line 56 of file type_reopt.h.

    ◆ Reopt_ConsType

    Enumerator
    REOPT_CONSTYPE_INFSUBTREE 

    constraint cutoffs an LP infeasible subtree

    REOPT_CONSTYPE_DUALREDS 

    constraint reconstructs dual reductions

    REOPT_CONSTYPE_CUT 

    constraint representing a cut, e.g., to separate a solution

    REOPT_CONSTYPE_UNKNOWN 

    constraint was added by SCIP, e.g., a (local) conflict

    Definition at line 69 of file type_reopt.h.