struct_certificate.h File Reference

Detailed Description

data structures for certificate output

Author

Ambros Gleixner

Daniel Steffy

Leon Eifler

Definition in file struct_certificate.h.

#include <stdio.h>
#include "scip/def.h"
#include "scip/pub_fileio.h"
#include "scip/type_certificate.h"
#include "scip/type_var.h"
#include "scip/type_misc.h"

Go to the source code of this file.

Data Structures
struct	SCIP_CertificateBound
struct	SCIP_AggregationInfo
struct	SCIP_MirInfo
struct	SCIP_Certnodedata
struct	SCIP_Certificate