Detailed Description
data structure for hashing bounds of variables in a certificate file
Definition at line 51 of file struct_certificate.h.
#include <struct_certificate.h>
Data Fields | |
| int | varindex |
| SCIP_RATIONAL * | boundval |
| SCIP_BOUNDTYPE | boundtype |
| SCIP_Bool | isbound |
| SCIP_Bool | isglobal |
| SCIP_Longint | certificateindex |
Field Documentation
◆ varindex
| int SCIP_CertificateBound::varindex |
index of this bound in the certificate file
Definition at line 53 of file struct_certificate.h.
Referenced by printBoundAssumption(), SCIPcertificateEnsureLastBoundInfoConsistent(), SCIPcertificatePrintBoundCons(), SCIPcertificatePrintGlobalBound(), and SCIPcertifyActivityVarBoundExact().
◆ boundval
| SCIP_RATIONAL* SCIP_CertificateBound::boundval |
value of the bound
Definition at line 54 of file struct_certificate.h.
Referenced by printBoundAssumption(), SCIPcertificateEnsureLastBoundInfoConsistent(), SCIPcertificateExit(), SCIPcertificatePrintBoundCons(), SCIPcertificatePrintGlobalBound(), SCIPcertificateSetAndPrintObjective(), and SCIPcertifyActivityVarBoundExact().
◆ boundtype
| SCIP_BOUNDTYPE SCIP_CertificateBound::boundtype |
is it the upper bound?
Definition at line 55 of file struct_certificate.h.
Referenced by printBoundAssumption(), SCIPcertificateEnsureLastBoundInfoConsistent(), SCIPcertificatePrintBoundCons(), SCIPcertificatePrintGlobalBound(), and SCIPcertifyActivityVarBoundExact().
◆ isbound
| SCIP_Bool SCIP_CertificateBound::isbound |
is the last printed index a bound? if it is not, the other information is not useful
Definition at line 56 of file struct_certificate.h.
Referenced by certificatePrintDualbound(), certificatePrintMirSplit(), certificatePrintRow(), printBoundAssumption(), SCIPcertificateEnsureLastBoundInfoConsistent(), SCIPcertificatePrintAggrrow(), SCIPcertificatePrintBoundCons(), SCIPcertificatePrintCons(), SCIPcertificatePrintGlobalBound(), SCIPcertificatePrintUnsplitting(), and SCIPcertifyActivityVarBoundExact().
◆ isglobal
| SCIP_Bool SCIP_CertificateBound::isglobal |
is the bound global?
Definition at line 57 of file struct_certificate.h.
Referenced by printBoundAssumption(), SCIPcertificateEnsureLastBoundInfoConsistent(), SCIPcertificatePrintBoundCons(), SCIPcertificatePrintGlobalBound(), and SCIPcertifyActivityVarBoundExact().
◆ certificateindex
| SCIP_Longint SCIP_CertificateBound::certificateindex |
index of the bound in the certificate file
Definition at line 58 of file struct_certificate.h.
Referenced by printBoundAssumption(), SCIPcertificateEnsureLastBoundInfoConsistent(), SCIPcertificatePrintBoundCons(), SCIPcertificatePrintGlobalBound(), and SCIPcertifyActivityVarBoundExact().