pub_disp.h File Reference
Detailed Description
public methods for displaying runtime statistics
Definition in file pub_disp.h.
Go to the source code of this file.
Functions | |
SCIP_EXPORT SCIP_DISPDATA * | SCIPdispGetData (SCIP_DISP *disp) |
SCIP_EXPORT void | SCIPdispSetData (SCIP_DISP *disp, SCIP_DISPDATA *dispdata) |
SCIP_EXPORT const char * | SCIPdispGetName (SCIP_DISP *disp) |
SCIP_EXPORT const char * | SCIPdispGetDesc (SCIP_DISP *disp) |
SCIP_EXPORT const char * | SCIPdispGetHeader (SCIP_DISP *disp) |
SCIP_EXPORT int | SCIPdispGetWidth (SCIP_DISP *disp) |
SCIP_EXPORT int | SCIPdispGetPriority (SCIP_DISP *disp) |
SCIP_EXPORT int | SCIPdispGetPosition (SCIP_DISP *disp) |
SCIP_EXPORT SCIP_DISPSTATUS | SCIPdispGetStatus (SCIP_DISP *disp) |
SCIP_EXPORT SCIP_Bool | SCIPdispIsInitialized (SCIP_DISP *disp) |
SCIP_EXPORT void | SCIPdispLongint (SCIP_MESSAGEHDLR *messagehdlr, FILE *file, SCIP_Longint val, int width) |
SCIP_EXPORT void | SCIPdispInt (SCIP_MESSAGEHDLR *messagehdlr, FILE *file, int val, int width) |
SCIP_EXPORT void | SCIPdispTime (SCIP_MESSAGEHDLR *messagehdlr, FILE *file, SCIP_Real val, int width) |