Scippy

    SCIP

    Solving Constraint Integer Programs

    SCIP_BdChgInfo Struct Reference

    Detailed Description

    bound change information to track bound changes from root node to current node

    Definition at line 120 of file struct_var.h.

    #include <struct_var.h>

    Data Fields

    SCIP_Real oldbound
     
    SCIP_Real newbound
     
    SCIP_Longint oldcertificateindex
     
    SCIP_VARvar
     
    SCIP_INFERENCEDATA inferencedata
     
    SCIP_BDCHGIDX bdchgidx
     
    unsigned int pos:27
     
    unsigned int boundchgtype:2
     
    unsigned int boundtype:1
     
    unsigned int inferboundtype:1
     
    unsigned int redundant:1
     

    Field Documentation

    ◆ oldbound

    ◆ newbound

    ◆ oldcertificateindex

    SCIP_Longint SCIP_BdChgInfo::oldcertificateindex

    certificate line for old bound (-1 if certificate is not used)

    Definition at line 124 of file struct_var.h.

    Referenced by boundchgApplyExact(), SCIPboundchgApply(), and SCIPboundchgUndo().

    ◆ var

    ◆ inferencedata

    ◆ bdchgidx

    ◆ pos

    unsigned int SCIP_BdChgInfo::pos

    position in the variable domain change array

    Definition at line 128 of file struct_var.h.

    Referenced by SCIPconflictAddRelaxedBound(), SCIPvarGetLbchgInfo(), SCIPvarGetUbchgInfo(), varAddLbchginfo(), and varAddUbchginfo().

    ◆ boundchgtype

    ◆ boundtype

    ◆ inferboundtype

    unsigned int SCIP_BdChgInfo::inferboundtype

    type of bound for inference var (see inference data): lower or upper bound

    Definition at line 131 of file struct_var.h.

    Referenced by SCIPbdchginfoGetInferBoundtype(), varAddLbchginfo(), and varAddUbchginfo().

    ◆ redundant

    unsigned int SCIP_BdChgInfo::redundant