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_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) |