Scippy

    SCIP

    Solving Constraint Integer Programs

    SCIP_DomExact Struct Reference

    Detailed Description

    exact domain of a variable

    Definition at line 182 of file struct_var.h.

    #include <struct_var.h>

    Data Fields

    SCIP_RATIONALlb
     
    SCIP_RATIONALub
     
    SCIP_Longint lbcertificateidx
     
    SCIP_Longint ubcertificateidx
     

    Field Documentation

    ◆ lb

    ◆ ub

    ◆ lbcertificateidx

    SCIP_Longint SCIP_DomExact::lbcertificateidx

    ◆ ubcertificateidx

    SCIP_Longint SCIP_DomExact::ubcertificateidx