type_certificate.h File Reference

Detailed Description

type definitions for certificate output

Author

Ambros Gleixner

Daniel Steffy

Definition in file type_certificate.h.

Go to the source code of this file.

Typedef Documentation

SCIP_CERTNODEDATA

typedef struct SCIP_Certnodedata SCIP_CERTNODEDATA

branching information for nodes

Definition at line 40 of file type_certificate.h.

SCIP_AGGREGATIONINFO

typedef struct SCIP_AggregationInfo SCIP_AGGREGATIONINFO

aggregation information of rows

Definition at line 41 of file type_certificate.h.

SCIP_MIRINFO

typedef struct SCIP_MirInfo SCIP_MIRINFO

information for split-disjunction

Definition at line 42 of file type_certificate.h.

SCIP_CERTIFICATE

typedef struct SCIP_Certificate SCIP_CERTIFICATE

certificate data structure

Definition at line 43 of file type_certificate.h.

SCIP_CERTIFICATEBOUND

typedef struct SCIP_CertificateBound SCIP_CERTIFICATEBOUND

data structure for hashing bounds of variables in a certificate file

Definition at line 44 of file type_certificate.h.