SCIP
Solving Constraint Integer Programs
SCIP_Certificate Struct Reference
Detailed Description
certificate data structure
Definition at line 121 of file struct_certificate.h.
#include <struct_certificate.h>
Field Documentation
◆ messagehdlr
| SCIP_MESSAGEHDLR* SCIP_Certificate::messagehdlr |
message handler to use
Definition at line 123 of file struct_certificate.h.
◆ nodedatahash
| SCIP_HASHMAP* SCIP_Certificate::nodedatahash |
Hashmap storing pointer to data of each node
Definition at line 124 of file struct_certificate.h.
Referenced by certificateFreeNodeData(), certificateIsLeftNode(), SCIPcertificateExit(), SCIPcertificateInit(), SCIPcertificateNewNodeData(), SCIPcertificatePrintInheritedBound(), SCIPcertificatePrintUnsplitting(), SCIPcertificateUpdateBoundData(), SCIPcertificateUpdateBranchingData(), and SCIPcertificateUpdateParentData().
◆ aggrinfohash
| SCIP_HASHMAP* SCIP_Certificate::aggrinfohash |
Hashmap storing aggregation information of rows
Definition at line 125 of file struct_certificate.h.
Referenced by SCIPcertificateClearAggrinfo(), SCIPcertificateExit(), SCIPcertificateFreeAggrInfo(), SCIPcertificateFreeRowInfo(), SCIPcertificateInit(), SCIPcertificatePrintMirCut(), and SCIPstoreCertificateActiveAggrInfo().
◆ mirinfohash
| SCIP_HASHMAP* SCIP_Certificate::mirinfohash |
Hashmap storing split disjunctions
Definition at line 126 of file struct_certificate.h.
Referenced by certificatePrintMirSplit(), SCIPcertificateClearMirinfo(), SCIPcertificateExit(), SCIPcertificateFreeMirInfo(), SCIPcertificateFreeRowInfo(), SCIPcertificateInit(), SCIPcertificatePrintMirCut(), and SCIPstoreCertificateActiveMirInfo().
◆ aggrinfo
| SCIP_AGGREGATIONINFO** SCIP_Certificate::aggrinfo |
array to store the aggregation info to avoid memory leaks
Definition at line 127 of file struct_certificate.h.
Referenced by cutsSubstituteMIRSafely(), SCIPcertificateClearAggrinfo(), SCIPcertificateFreeAggrInfo(), SCIPcertificateInit(), SCIPcertificateNewAggrInfo(), SCIPfreeCertificateActiveAggrInfo(), and SCIPstoreCertificateActiveAggrInfo().
◆ mirinfo
| SCIP_MIRINFO** SCIP_Certificate::mirinfo |
array to store the split info to avoid memory leaks
Definition at line 128 of file struct_certificate.h.
Referenced by calcMIRSafely(), cutsRoundMIRSafely(), cutsSubstituteMIRSafely(), cutsTransformMIRSafely(), cutTightenCoefsSafely(), SCIPcertificateClearMirinfo(), SCIPcertificateFreeMirInfo(), SCIPcertificateInit(), SCIPcertificateNewMirInfo(), SCIPfreeCertificateActiveMirInfo(), and SCIPstoreCertificateActiveMirInfo().
◆ aggrinfosize
| SCIP_Longint SCIP_Certificate::aggrinfosize |
size of aggrinfo array
Definition at line 129 of file struct_certificate.h.
Referenced by SCIPcertificateClearAggrinfo(), SCIPcertificateInit(), and SCIPcertificateNewAggrInfo().
◆ naggrinfos
| SCIP_Longint SCIP_Certificate::naggrinfos |
number of elements in aggrinfo array
Definition at line 130 of file struct_certificate.h.
Referenced by cutsSubstituteMIRSafely(), SCIPcertificateClearAggrinfo(), SCIPcertificateFreeAggrInfo(), SCIPcertificateNewAggrInfo(), SCIPfreeCertificateActiveAggrInfo(), and SCIPstoreCertificateActiveAggrInfo().
◆ mirinfosize
| SCIP_Longint SCIP_Certificate::mirinfosize |
size of mirinfo array
Definition at line 131 of file struct_certificate.h.
Referenced by SCIPcertificateClearMirinfo(), SCIPcertificateInit(), and SCIPcertificateNewMirInfo().
◆ nmirinfos
| SCIP_Longint SCIP_Certificate::nmirinfos |
number of elements in mirinfo array
Definition at line 132 of file struct_certificate.h.
Referenced by calcMIRSafely(), cutsRoundMIRSafely(), cutsSubstituteMIRSafely(), cutsTransformMIRSafely(), cutTightenCoefsSafely(), SCIPcertificateClearMirinfo(), SCIPcertificateFreeMirInfo(), SCIPcertificateNewMirInfo(), SCIPfreeCertificateActiveMirInfo(), and SCIPstoreCertificateActiveMirInfo().
◆ lastinfo
| SCIP_CERTIFICATEBOUND* SCIP_Certificate::lastinfo |
information on last printed certificate index
Definition at line 133 of file struct_certificate.h.
Referenced by certificatePrintDualbound(), certificatePrintMirSplit(), certificatePrintRow(), printBoundAssumption(), SCIPcertificateEnsureLastBoundInfoConsistent(), SCIPcertificateExit(), SCIPcertificatePrintAggrrow(), SCIPcertificatePrintBoundCons(), SCIPcertificatePrintCons(), SCIPcertificatePrintGlobalBound(), SCIPcertificatePrintUnsplitting(), SCIPcertificateSetAndPrintObjective(), and SCIPcertifyActivityVarBoundExact().
◆ blkmem
| BMS_BLKMEM* SCIP_Certificate::blkmem |
SCIP block memory
Definition at line 134 of file struct_certificate.h.
Referenced by certificateFreeNodeData(), SCIPcertificateClearAggrinfo(), SCIPcertificateClearMirinfo(), SCIPcertificateExit(), SCIPcertificateFreeAggrInfo(), SCIPcertificateFreeMirInfo(), SCIPcertificateInit(), SCIPcertificateNewNodeData(), and SCIPcertificatePrintDualboundExactLP().
◆ indexcounter
| SCIP_Longint SCIP_Certificate::indexcounter |
counter for line indices in file
Definition at line 135 of file struct_certificate.h.
Referenced by certificatePrintDualbound(), certificatePrintMirSplit(), certificatePrintRow(), printBoundAssumption(), SCIPcertificateEnsureLastBoundInfoConsistent(), SCIPcertificateExit(), SCIPcertificateGetCurrentIndex(), SCIPcertificateInitTransFile(), SCIPcertificateNewAggrInfo(), SCIPcertificatePrintAggrrow(), SCIPcertificatePrintBoundCons(), SCIPcertificatePrintCons(), SCIPcertificatePrintCutoffBound(), SCIPcertificatePrintCutoffConflictingBounds(), SCIPcertificatePrintDerHeader(), SCIPcertificatePrintDualboundExactLP(), SCIPcertificatePrintDualboundPseudo(), SCIPcertificatePrintGlobalBound(), SCIPcertificatePrintInheritedBound(), SCIPcertificatePrintMirCut(), SCIPcertificatePrintUnsplitting(), SCIPcertifyActivityConflict(), SCIPcertifyActivityVarBoundExact(), and SCIPconsPrintCertificateExactLinear().
◆ indexcounter_ori
| SCIP_Longint SCIP_Certificate::indexcounter_ori |
counter for line indices in origial problem vipr file
Definition at line 136 of file struct_certificate.h.
Referenced by SCIPcertificatePrintBoundCons(), and SCIPcertificatePrintCons().
◆ conscounter
| SCIP_Longint SCIP_Certificate::conscounter |
counter for line indices in constraint section
Definition at line 137 of file struct_certificate.h.
Referenced by SCIPcertificatePrintBoundCons(), SCIPcertificatePrintCons(), and SCIPcertificatePrintDerHeader().
◆ lastboundindex
| SCIP_Longint SCIP_Certificate::lastboundindex |
place to store the last bound index to avoid having to add it to the signature of SCIPvarChgUbLocal, varProcessChgUbLocal
Definition at line 138 of file struct_certificate.h.
Referenced by SCIPcertificateGetLastBoundIndex(), and SCIPcertificateSetLastBoundIndex().
◆ origfile
| SCIP_FILE* SCIP_Certificate::origfile |
file to store original problem definition
Definition at line 139 of file struct_certificate.h.
Referenced by certificatePrintSol(), SCIPcertificateExit(), SCIPcertificateInit(), SCIPcertificateInitTransFile(), SCIPcertificateIsEnabled(), SCIPcertificatePrintProblemComment(), SCIPcertificatePrintProblemMessage(), and SCIPcertificatePrintProblemRational().
◆ transfile
| SCIP_FILE* SCIP_Certificate::transfile |
file to store transformed problem (after presolving)
Definition at line 140 of file struct_certificate.h.
Referenced by concatenateCertificate(), SCIPcertificateExit(), SCIPcertificateInit(), SCIPcertificateInitTransFile(), SCIPcertificateIsEnabled(), SCIPcertificatePrintDualboundExactLP(), SCIPcertificatePrintProblemComment(), SCIPcertificatePrintProblemMessage(), SCIPcertificatePrintProblemRational(), SCIPcertificateUpdateBranchingData(), and SCIPcertifyActivityVarBoundExact().
◆ derivationfile
| SCIP_FILE* SCIP_Certificate::derivationfile |
file to store derivations temporarily
Definition at line 141 of file struct_certificate.h.
Referenced by SCIPcertificateExit(), SCIPcertificateInit(), SCIPcertificateInitTransFile(), SCIPcertificateIsEnabled(), SCIPcertificatePrintProofComment(), SCIPcertificatePrintProofMessage(), and SCIPcertificatePrintProofRational().
◆ transfile_initialized
| SCIP_Bool SCIP_Certificate::transfile_initialized |
boolean to store if the transfile has been initialized
Definition at line 142 of file struct_certificate.h.
Referenced by SCIPcertificateInitTransFile().
◆ derivationfilename
| char* SCIP_Certificate::derivationfilename |
name of the derivation file
Definition at line 143 of file struct_certificate.h.
Referenced by concatenateCertificate(), SCIPcertificateExit(), and SCIPcertificateInit().
◆ origfilename
| char* SCIP_Certificate::origfilename |
name of the original problem file
Definition at line 144 of file struct_certificate.h.
Referenced by SCIPcertificateExit(), and SCIPcertificateInit().
◆ filesize
| SCIP_Real SCIP_Certificate::filesize |
size of derivation file in MB
Definition at line 145 of file struct_certificate.h.
Referenced by checkAndUpdateFilesize(), SCIPcertificateExit(), and SCIPcertificateGetFilesize().
◆ maxfilesize
| SCIP_Real SCIP_Certificate::maxfilesize |
maximum size of derivation file in MB (stop printing if exceeded)
Definition at line 146 of file struct_certificate.h.
Referenced by checkAndUpdateFilesize(), and SCIPcertificateInit().
◆ rowdatahash
| SCIP_HASHMAP* SCIP_Certificate::rowdatahash |
Hashmap storing mapping between rows and file index
Definition at line 147 of file struct_certificate.h.
Referenced by createAndAddProofcons(), removeExactConflictFromCertificateHashmap(), SCIPcertificateExit(), SCIPcertificateFreeRowInfo(), SCIPcertificateGetConsIndex(), SCIPcertificateGetRowIndex(), SCIPcertificateInit(), SCIPcertificatePrintAggrrow(), SCIPcertificatePrintDualboundExactLP(), SCIPcertificatePrintMirCut(), SCIPconsPrintCertificateExactLinear(), SCIPgetDualProof(), and SCIPgetFarkasProof().
◆ rootbound
| SCIP_RATIONAL* SCIP_Certificate::rootbound |
the bound for the root node
Definition at line 148 of file struct_certificate.h.
Referenced by SCIPcertificateExit(), SCIPcertificateInit(), and SCIPcertificateUpdateParentData().
◆ finalbound
| SCIP_RATIONAL* SCIP_Certificate::finalbound |
the final dual bound value
Definition at line 149 of file struct_certificate.h.
Referenced by SCIPcertificateExit(), SCIPcertificateInit(), SCIPcertificatePrintResult(), and SCIPcertificateSaveFinalbound().
◆ derindex_root
| SCIP_Longint SCIP_Certificate::derindex_root |
index of root bound in certificate
Definition at line 150 of file struct_certificate.h.
Referenced by SCIPcertificateUpdateParentData().
◆ rootinfeas
| SCIP_Bool SCIP_Certificate::rootinfeas |
is the root node infeasible
Definition at line 151 of file struct_certificate.h.
Referenced by SCIPcertificateUpdateParentData().
◆ objintegral
| SCIP_Bool SCIP_Certificate::objintegral |
is the objective always integral? copy this so we don't need the prob everywhere
Definition at line 152 of file struct_certificate.h.
Referenced by certificatePrintDualbound(), SCIPcertificatePrintDualboundExactLP(), and SCIPcertificatePrintDualboundPseudo().
◆ workingmirinfo
| SCIP_Bool SCIP_Certificate::workingmirinfo |
true if mirinfo is under construction and not sparsely stored, false otherwise
Definition at line 153 of file struct_certificate.h.
Referenced by SCIPcertificateFreeRowInfo(), SCIPcertificateNewMirInfo(), SCIPfreeCertificateActiveMirInfo(), and SCIPstoreCertificateActiveMirInfo().
◆ workingaggrinfo
| SCIP_Bool SCIP_Certificate::workingaggrinfo |
true if aggrinfo is under construction (last entry not in hashmap), false otherwise
Definition at line 154 of file struct_certificate.h.
Referenced by SCIPcertificateFreeRowInfo(), SCIPcertificateNewAggrInfo(), SCIPfreeCertificateActiveAggrInfo(), and SCIPstoreCertificateActiveAggrInfo().
◆ vals
| SCIP_RATIONAL** SCIP_Certificate::vals |
we maintain an array for solvals so we don't have to reallocate at every bounding call
Definition at line 155 of file struct_certificate.h.
Referenced by SCIPcertificateExit(), SCIPcertificateInit(), and SCIPcertificatePrintDualboundExactLP().
◆ valssize
| int SCIP_Certificate::valssize |
the size of the vals array
Definition at line 156 of file struct_certificate.h.
Referenced by SCIPcertificateExit(), SCIPcertificateInit(), and SCIPcertificatePrintDualboundExactLP().