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_AGGRROW * | aggrrow |
| SCIP_ROW ** | aggrrows |
| SCIP_ROW ** | negslackrows |
| SCIP_Real * | weights |
| SCIP_Real * | negslackweights |
| SCIP_Real * | substfactor |
| 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().