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().