pub_disp.h File Reference

Detailed Description

public methods for displaying runtime statistics

Author

Tobias Achterberg

Definition in file pub_disp.h.

#include <stdio.h>
#include "scip/def.h"
#include "scip/type_retcode.h"
#include "scip/type_disp.h"

Go to the source code of this file.

Functions
SCIP_DISPDATA *	SCIPdispGetData (SCIP_DISP *disp)
void	SCIPdispSetData (SCIP_DISP *disp, SCIP_DISPDATA *dispdata)
const char *	SCIPdispGetName (SCIP_DISP *disp)
const char *	SCIPdispGetDesc (SCIP_DISP *disp)
const char *	SCIPdispGetHeader (SCIP_DISP *disp)
int	SCIPdispGetWidth (SCIP_DISP *disp)
int	SCIPdispGetPriority (SCIP_DISP *disp)
int	SCIPdispGetPosition (SCIP_DISP *disp)
SCIP_DISPSTATUS	SCIPdispGetStatus (SCIP_DISP *disp)
SCIP_Bool	SCIPdispIsInitialized (SCIP_DISP *disp)
void	SCIPdispLongint (SCIP_MESSAGEHDLR *messagehdlr, FILE *file, SCIP_Longint val, int width)
void	SCIPdispInt (SCIP_MESSAGEHDLR *messagehdlr, FILE *file, int val, int width)
void	SCIPdispTime (SCIP_MESSAGEHDLR *messagehdlr, FILE *file, SCIP_Real val, int width)