Scippy

    SCIP

    Solving Constraint Integer Programs

    SCIP_CertificateBound Struct Reference

    Detailed Description

    data structure for hashing bounds of variables in a certificate file

    Definition at line 51 of file struct_certificate.h.

    #include <struct_certificate.h>

    Data Fields

    int varindex
     
    SCIP_RATIONALboundval
     
    SCIP_BOUNDTYPE boundtype
     
    SCIP_Bool isbound
     
    SCIP_Bool isglobal
     
    SCIP_Longint certificateindex
     

    Field Documentation

    ◆ varindex

    int SCIP_CertificateBound::varindex

    ◆ boundval

    ◆ boundtype

    ◆ isbound

    ◆ isglobal

    ◆ certificateindex

    SCIP_Longint SCIP_CertificateBound::certificateindex