Scippy

    SCIP

    Solving Constraint Integer Programs

    SCIP_AggregationInfo Struct Reference

    Detailed Description

    data structure for storing necessary information to print verified aggregation of rows

    Definition at line 62 of file struct_certificate.h.

    #include <struct_certificate.h>

    Data Fields

    SCIP_AGGRROWaggrrow
     
    SCIP_ROW ** aggrrows
     
    SCIP_ROW ** negslackrows
     
    SCIP_Realweights
     
    SCIP_Realnegslackweights
     
    SCIP_Realsubstfactor
     
    int naggrrows
     
    int nnegslackrows
     
    SCIP_Longint fileindex
     
    SCIP_Longint arpos
     

    Field Documentation

    ◆ aggrrow

    SCIP_AGGRROW* SCIP_AggregationInfo::aggrrow

    aggregation row to be saved

    Definition at line 64 of file struct_certificate.h.

    Referenced by SCIPcertificateFreeAggrInfo(), and SCIPcertificateNewAggrInfo().

    ◆ aggrrows

    SCIP_ROW** SCIP_AggregationInfo::aggrrows

    array of rows used for the aggregation

    Definition at line 65 of file struct_certificate.h.

    Referenced by SCIPcertificateFreeAggrInfo(), SCIPcertificateNewAggrInfo(), and SCIPcertificatePrintMirCut().

    ◆ negslackrows

    SCIP_ROW** SCIP_AggregationInfo::negslackrows

    array of rows that are implicitly added (using negative slack)

    Definition at line 66 of file struct_certificate.h.

    Referenced by SCIPcertificateFreeAggrInfo(), SCIPcertificateNewAggrInfo(), and SCIPcertificatePrintMirCut().

    ◆ weights

    SCIP_Real* SCIP_AggregationInfo::weights

    array of weights

    Definition at line 67 of file struct_certificate.h.

    Referenced by SCIPcertificateFreeAggrInfo(), SCIPcertificateNewAggrInfo(), and SCIPcertificatePrintMirCut().

    ◆ negslackweights

    SCIP_Real* SCIP_AggregationInfo::negslackweights

    array of weights for the negslackrows

    Definition at line 68 of file struct_certificate.h.

    Referenced by cutsSubstituteMIRSafely(), SCIPcertificateFreeAggrInfo(), SCIPcertificateNewAggrInfo(), and SCIPcertificatePrintMirCut().

    ◆ substfactor

    SCIP_Real* SCIP_AggregationInfo::substfactor

    factor used in the substition of slack variables (weight)/(1-f0)

    Definition at line 69 of file struct_certificate.h.

    Referenced by cutsSubstituteMIRSafely(), SCIPcertificateFreeAggrInfo(), SCIPcertificateNewAggrInfo(), and SCIPcertificatePrintMirCut().

    ◆ naggrrows

    int SCIP_AggregationInfo::naggrrows

    length of the aggrrows array

    Definition at line 70 of file struct_certificate.h.

    Referenced by SCIPcertificateFreeAggrInfo(), SCIPcertificateNewAggrInfo(), and SCIPcertificatePrintMirCut().

    ◆ nnegslackrows

    int SCIP_AggregationInfo::nnegslackrows

    length of the negslackrows array

    Definition at line 71 of file struct_certificate.h.

    Referenced by SCIPcertificateFreeAggrInfo(), SCIPcertificateNewAggrInfo(), and SCIPcertificatePrintMirCut().

    ◆ fileindex

    SCIP_Longint SCIP_AggregationInfo::fileindex

    index of the aggregated row in the certificate file

    Definition at line 72 of file struct_certificate.h.

    Referenced by SCIPcertificateNewAggrInfo().

    ◆ arpos

    SCIP_Longint SCIP_AggregationInfo::arpos

    position in the aggrinfo array, so we can access it from the hashmap

    Definition at line 73 of file struct_certificate.h.

    Referenced by SCIPcertificateFreeAggrInfo(), and SCIPcertificateNewAggrInfo().