Scippy

SCIP

Solving Constraint Integer Programs

SCIP_CertificateBound Struct Reference

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_RATIONALboundval
 
SCIP_BOUNDTYPE boundtype
 
SCIP_Bool isbound
 
SCIP_Bool isglobal
 
SCIP_Longint certificateindex
 

Field Documentation

◆ varindex

int SCIP_CertificateBound::varindex

◆ boundval

◆ boundtype

◆ isbound

◆ isglobal

◆ certificateindex

SCIP_Longint SCIP_CertificateBound::certificateindex