Scippy

    SCIP

    Solving Constraint Integer Programs

    message_pb.h
    Go to the documentation of this file.
    1/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
    2/* */
    3/* This file is part of the program and library */
    4/* SCIP --- Solving Constraint Integer Programs */
    5/* */
    6/* Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB) */
    7/* */
    8/* Licensed under the Apache License, Version 2.0 (the "License"); */
    9/* you may not use this file except in compliance with the License. */
    10/* You may obtain a copy of the License at */
    11/* */
    12/* http://www.apache.org/licenses/LICENSE-2.0 */
    13/* */
    14/* Unless required by applicable law or agreed to in writing, software */
    15/* distributed under the License is distributed on an "AS IS" BASIS, */
    16/* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. */
    17/* See the License for the specific language governing permissions and */
    18/* limitations under the License. */
    19/* */
    20/* You should have received a copy of the Apache-2.0 license */
    21/* along with SCIP; see the file LICENSE. If not visit scipopt.org. */
    22/* */
    23/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
    24
    25/**@file message_pb.h
    26 * @brief messagehdlr for the Pseudo-Boolean output format
    27 * @author Alexander Hoen
    28 * @author Gioni Mexi
    29 * @author Dominik Kamp
    30 */
    31
    32/*--+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
    33
    34#ifndef __SCIP_PB_MESSAGE_PB_H__
    35#define __SCIP_PB_MESSAGE_PB_H__
    36
    37#include "scip/scip.h"
    38
    39#ifdef __cplusplus
    40extern "C" {
    41#endif
    42
    43/** message handler data */
    44struct SCIP_MessagehdlrData
    45{
    46 SCIP_Bool comment; /**< should output be printed as PB comments */
    47};
    48
    49/** creates default pbsolver message handler */
    51 SCIP_MESSAGEHDLR** messagehdlr, /**< pointer to message handler */
    52 SCIP_Bool buffered, /**< should the output be buffered */
    53 const char* filename, /**< name of log file or NULL for stdout */
    54 SCIP_Bool quiet /**< should screen messages be suppressed? */
    55 );
    56
    57/** prints that the problem instance is unsupported */
    59 SCIP* scip /**< SCIP data structure */
    60 );
    61
    62/** prints the best primal solution */
    64 SCIP* scip /**< SCIP data structure */
    65 );
    66
    67#ifdef __cplusplus
    68}
    69#endif
    70
    71#endif
    #define SCIP_Bool
    Definition: def.h:91
    SCIP_RETCODE SCIPprintSolutionPbSolver(SCIP *scip)
    Definition: message_pb.c:156
    SCIP_RETCODE SCIPcreateMessagehdlrPbSolver(SCIP_MESSAGEHDLR **messagehdlr, SCIP_Bool buffered, const char *filename, SCIP_Bool quiet)
    Definition: message_pb.c:106
    SCIP_RETCODE SCIPprintUnsupportedPbSolver(SCIP *scip)
    Definition: message_pb.c:128
    SCIP callable library.
    enum SCIP_Retcode SCIP_RETCODE
    Definition: type_retcode.h:63