Scippy

SCIP

Solving Constraint Integer Programs

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