Scippy

    SCIP

    Solving Constraint Integer Programs

    Functions
    message_pb.h File Reference

    Detailed Description

    messagehdlr for the Pseudo-Boolean output format

    Author
    Alexander Hoen
    Gioni Mexi
    Dominik Kamp

    Definition in file message_pb.h.

    #include "scip/scip.h"

    Go to the source code of this file.

    Functions

    SCIP_RETCODE SCIPcreateMessagehdlrPbSolver (SCIP_MESSAGEHDLR **messagehdlr, SCIP_Bool buffered, const char *filename, SCIP_Bool quiet)
     
    SCIP_RETCODE SCIPprintUnsupportedPbSolver (SCIP *scip)
     
    SCIP_RETCODE SCIPprintSolutionPbSolver (SCIP *scip)
     

    Function Documentation

    ◆ SCIPcreateMessagehdlrPbSolver()

    SCIP_RETCODE SCIPcreateMessagehdlrPbSolver ( SCIP_MESSAGEHDLR **  messagehdlr,
    SCIP_Bool  buffered,
    const char *  filename,
    SCIP_Bool  quiet 
    )

    creates default pbsolver message handler

    Parameters
    messagehdlrpointer to message handler
    bufferedshould the output be buffered
    filenamename of log file or NULL for stdout
    quietshould screen messages be suppressed?

    Definition at line 106 of file message_pb.c.

    References BMSallocMemory, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPmessagehdlrCreate(), SCIPmessageSetErrorPrinting(), and TRUE.

    Referenced by runShell().

    ◆ SCIPprintUnsupportedPbSolver()

    SCIP_RETCODE SCIPprintUnsupportedPbSolver ( SCIP *  scip)

    prints that the problem instance is unsupported

    Parameters
    scipSCIP data structure

    Definition at line 128 of file message_pb.c.

    References FALSE, NULL, SCIP_Bool, SCIP_OKAY, SCIPgetMessagehdlr(), SCIPinfoMessage(), SCIPmessagehdlrGetData(), SCIPmessagehdlrIsQuiet(), SCIPmessagehdlrSetQuiet(), and TRUE.

    Referenced by fromCommandLine().

    ◆ SCIPprintSolutionPbSolver()

    SCIP_RETCODE SCIPprintSolutionPbSolver ( SCIP *  scip)

    prints the best primal solution

    Parameters
    scipSCIP data structure

    Definition at line 156 of file message_pb.c.

    References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_STATUS_INFEASIBLE, SCIP_STATUS_OPTIMAL, SCIP_VARSTATUS_ORIGINAL, SCIPallocBufferArray, SCIPcheckSolOrig(), SCIPfreeBufferArray, SCIPgetBestSol(), SCIPgetMessagehdlr(), SCIPgetNOrigVars(), SCIPgetOrigVars(), SCIPgetSolVal(), SCIPgetStatus(), SCIPinfoMessage(), SCIPisZero(), SCIPmessagehdlrGetData(), SCIPmessagehdlrIsQuiet(), SCIPmessagehdlrSetQuiet(), SCIPprintBestSol(), SCIPreallocBufferArray, SCIPsnprintf(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetStatus(), and TRUE.

    Referenced by fromCommandLine().