Scippy

    SCIP

    Solving Constraint Integer Programs

    Detailed Description

    methods and datastructures for displaying statistics tables

    Author
    Tristan Gally
    Mohammed Ghannam

    Definition in file table.c.

    #include <stdio.h>
    #include <assert.h>
    #include <string.h>
    #include "scip/def.h"
    #include "blockmemshell/memory.h"
    #include "scip/set.h"
    #include "scip/stat.h"
    #include "scip/scip.h"
    #include "scip/datatree.h"
    #include "scip/table.h"
    #include "scip/struct_table.h"

    Go to the source code of this file.

    Functions

    SCIP_RETCODE SCIPtableCopyInclude (SCIP_TABLE *table, SCIP_SET *set)
     
    static SCIP_RETCODE doTableCreate (SCIP_TABLE **table, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, BMS_BLKMEM *blkmem, const char *name, const char *desc, SCIP_Bool active, SCIP_DECL_TABLECOPY((*tablecopy)), SCIP_DECL_TABLEFREE((*tablefree)), SCIP_DECL_TABLEINIT((*tableinit)), SCIP_DECL_TABLEEXIT((*tableexit)), SCIP_DECL_TABLEINITSOL((*tableinitsol)), SCIP_DECL_TABLEEXITSOL((*tableexitsol)), SCIP_DECL_TABLEOUTPUT((*tableoutput)), SCIP_DECL_TABLECOLLECT((*tablecollect)), SCIP_TABLEDATA *tabledata, int position, SCIP_STAGE earlieststage)
     
    SCIP_RETCODE SCIPtableCreate (SCIP_TABLE **table, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, BMS_BLKMEM *blkmem, const char *name, const char *desc, SCIP_Bool active, SCIP_DECL_TABLECOPY((*tablecopy)), SCIP_DECL_TABLEFREE((*tablefree)), SCIP_DECL_TABLEINIT((*tableinit)), SCIP_DECL_TABLEEXIT((*tableexit)), SCIP_DECL_TABLEINITSOL((*tableinitsol)), SCIP_DECL_TABLEEXITSOL((*tableexitsol)), SCIP_DECL_TABLEOUTPUT((*tableoutput)), SCIP_DECL_TABLECOLLECT((*tablecollect)), SCIP_TABLEDATA *tabledata, int position, SCIP_STAGE earlieststage)
     
    SCIP_RETCODE SCIPtableFree (SCIP_TABLE **table, SCIP_SET *set)
     
    SCIP_RETCODE SCIPtableInit (SCIP_TABLE *table, SCIP_SET *set)
     
    SCIP_RETCODE SCIPtableExit (SCIP_TABLE *table, SCIP_SET *set)
     
    SCIP_RETCODE SCIPtableInitsol (SCIP_TABLE *table, SCIP_SET *set)
     
    SCIP_RETCODE SCIPtableExitsol (SCIP_TABLE *table, SCIP_SET *set)
     
    SCIP_RETCODE SCIPtableOutput (SCIP_TABLE *table, BMS_BLKMEM *blkmem, SCIP_SET *set, FILE *file)
     
    SCIP_RETCODE SCIPtableCollect (SCIP_TABLE *table, SCIP_SET *set, SCIP_DATATREE *datatree)
     
    SCIP_TABLEDATASCIPtableGetData (SCIP_TABLE *table)
     
    void SCIPtableSetData (SCIP_TABLE *table, SCIP_TABLEDATA *tabledata)
     
    const char * SCIPtableGetName (SCIP_TABLE *table)
     
    const char * SCIPtableGetDesc (SCIP_TABLE *table)
     
    int SCIPtableGetPosition (SCIP_TABLE *table)
     
    SCIP_STAGE SCIPtableGetEarliestStage (SCIP_TABLE *table)
     
    SCIP_Bool SCIPtableIsActive (SCIP_TABLE *table)
     
    SCIP_Bool SCIPtableIsInitialized (SCIP_TABLE *table)
     

    Function Documentation

    ◆ SCIPtableCopyInclude()

    SCIP_RETCODE SCIPtableCopyInclude ( SCIP_TABLE table,
    SCIP_SET set 
    )

    copies the given statistics table to a new scip

    Parameters
    tablestatistics table
    setSCIP_SET of SCIP to copy to

    Definition at line 53 of file table.c.

    References NULL, SCIP_CALL, SCIP_OKAY, SCIPsetDebugMsg, and SCIPtableGetName().

    Referenced by SCIPsetCopyPlugins().

    ◆ doTableCreate()

    static SCIP_RETCODE doTableCreate ( SCIP_TABLE **  table,
    SCIP_SET set,
    SCIP_MESSAGEHDLR messagehdlr,
    BMS_BLKMEM blkmem,
    const char *  name,
    const char *  desc,
    SCIP_Bool  active,
    SCIP_DECL_TABLECOPY((*tablecopy))  ,
    SCIP_DECL_TABLEFREE((*tablefree))  ,
    SCIP_DECL_TABLEINIT((*tableinit))  ,
    SCIP_DECL_TABLEEXIT((*tableexit))  ,
    SCIP_DECL_TABLEINITSOL((*tableinitsol))  ,
    SCIP_DECL_TABLEEXITSOL((*tableexitsol))  ,
    SCIP_DECL_TABLEOUTPUT((*tableoutput))  ,
    SCIP_DECL_TABLECOLLECT((*tablecollect))  ,
    SCIP_TABLEDATA tabledata,
    int  position,
    SCIP_STAGE  earlieststage 
    )
    static

    internal method for creating a statistics table

    Parameters
    tablepointer to store statistics table
    setglobal SCIP settings
    messagehdlrmessage handler
    blkmemblock memory for parameter settings
    namename of statistics table
    descdescription of statistics table
    activeshould the table be activated by default?
    tabledatadisplay statistics table
    positionposition of statistics table
    earlieststageoutput of the statistics table is only printed from this stage onwards

    Definition at line 72 of file table.c.

    References active, BMSallocMemory, BMSclearMemory, BMSduplicateMemoryArray, FALSE, NULL, paramname, SCIP_ALLOC, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIPsetAddBoolParam(), and SCIPsnprintf().

    Referenced by SCIPtableCreate().

    ◆ SCIPtableCreate()

    SCIP_RETCODE SCIPtableCreate ( SCIP_TABLE **  table,
    SCIP_SET set,
    SCIP_MESSAGEHDLR messagehdlr,
    BMS_BLKMEM blkmem,
    const char *  name,
    const char *  desc,
    SCIP_Bool  active,
    SCIP_DECL_TABLECOPY((*tablecopy))  ,
    SCIP_DECL_TABLEFREE((*tablefree))  ,
    SCIP_DECL_TABLEINIT((*tableinit))  ,
    SCIP_DECL_TABLEEXIT((*tableexit))  ,
    SCIP_DECL_TABLEINITSOL((*tableinitsol))  ,
    SCIP_DECL_TABLEEXITSOL((*tableexitsol))  ,
    SCIP_DECL_TABLEOUTPUT((*tableoutput))  ,
    SCIP_DECL_TABLECOLLECT((*tablecollect))  ,
    SCIP_TABLEDATA tabledata,
    int  position,
    SCIP_STAGE  earlieststage 
    )

    creates a statistics table

    Parameters
    tablepointer to store statistics table
    setglobal SCIP settings
    messagehdlrmessage handler
    blkmemblock memory for parameter settings
    namename of statistics table
    descdescription of statistics table
    activeshould the table be activated by default?
    tabledatadisplay statistics table
    positionposition of statistics table
    earlieststageoutput of the statistics table is only printed from this stage onwards

    Definition at line 130 of file table.c.

    References active, doTableCreate(), NULL, SCIP_CALL_FINALLY, SCIP_OKAY, and SCIPtableFree().

    Referenced by SCIPincludeTable().

    ◆ SCIPtableFree()

    SCIP_RETCODE SCIPtableFree ( SCIP_TABLE **  table,
    SCIP_SET set 
    )

    frees memory of statistics table

    Parameters
    tablepointer to statistics table data structure
    setglobal SCIP settings

    Definition at line 164 of file table.c.

    References BMSfreeMemory, BMSfreeMemoryArrayNull, NULL, SCIP_CALL, and SCIP_OKAY.

    Referenced by SCIPtableCreate().

    ◆ SCIPtableInit()

    SCIP_RETCODE SCIPtableInit ( SCIP_TABLE table,
    SCIP_SET set 
    )

    initializes statistics table

    Parameters
    tablestatistics table
    setglobal SCIP settings

    Definition at line 189 of file table.c.

    References SCIP_Table::initialized, SCIP_Table::name, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, SCIPerrorMessage, and TRUE.

    ◆ SCIPtableExit()

    SCIP_RETCODE SCIPtableExit ( SCIP_TABLE table,
    SCIP_SET set 
    )

    deinitializes statistics table

    Parameters
    tablestatistics table
    setglobal SCIP settings

    Definition at line 213 of file table.c.

    References FALSE, SCIP_Table::initialized, SCIP_Table::name, NULL, SCIP_CALL, SCIP_INVALIDCALL, SCIP_OKAY, and SCIPerrorMessage.

    ◆ SCIPtableInitsol()

    SCIP_RETCODE SCIPtableInitsol ( SCIP_TABLE table,
    SCIP_SET set 
    )

    informs statistics table that the branch and bound process is being started

    Parameters
    tablestatistics table
    setglobal SCIP settings

    Definition at line 237 of file table.c.

    References NULL, SCIP_CALL, and SCIP_OKAY.

    ◆ SCIPtableExitsol()

    SCIP_RETCODE SCIPtableExitsol ( SCIP_TABLE table,
    SCIP_SET set 
    )

    informs statistics table that the branch and bound process data is being freed

    Parameters
    tablestatistics table
    setglobal SCIP settings

    Definition at line 255 of file table.c.

    References NULL, SCIP_CALL, and SCIP_OKAY.

    ◆ SCIPtableOutput()

    SCIP_RETCODE SCIPtableOutput ( SCIP_TABLE table,
    BMS_BLKMEM blkmem,
    SCIP_SET set,
    FILE *  file 
    )

    output statistics table to screen

    Parameters
    tablestatistics table
    blkmemblock memory
    setglobal SCIP settings
    fileoutput file (or NULL for standard output)

    Definition at line 273 of file table.c.

    References SCIP_Table::name, NULL, SCIP_CALL, SCIP_OKAY, SCIPdatatreeCreate(), SCIPdatatreeFree(), SCIPprintDatatreeAsTable(), and SCIPtableCollect().

    Referenced by SCIPprintStatistics().

    ◆ SCIPtableCollect()

    SCIP_RETCODE SCIPtableCollect ( SCIP_TABLE table,
    SCIP_SET set,
    SCIP_DATATREE datatree 
    )

    collects statistics table data

    Parameters
    tablestatistics table
    setglobal SCIP settings
    datatreedata tree where to add table data

    Definition at line 305 of file table.c.

    References SCIP_Table::desc, NULL, SCIP_CALL, SCIP_OKAY, and SCIPinsertDatatreeString().

    Referenced by SCIPprintStatisticsJson(), and SCIPtableOutput().