Scippy

    SCIP

    Solving Constraint Integer Programs

    Macros | Functions
    reader_wbo.c File Reference
    Implementation files (.c files) » SCIP Default Plugins » Default Readers

    Detailed Description

    WBO file reader (OPB format with weighted constraints)

    Author
    Michael Winkler

    Definition in file reader_wbo.c.

    #include "scip/pub_message.h"
    #include "scip/pub_reader.h"
    #include "scip/reader_opb.h"
    #include "scip/reader_wbo.h"
    #include "scip/scip_exact.h"
    #include "scip/scip_reader.h"
    #include <string.h>

    Go to the source code of this file.

    Macros

    #define READER_NAME   "wboreader"
     
    #define READER_DESC   "file reader for pseudoboolean wbo file format"
     
    #define READER_EXTENSION   "wbo"
     

    Functions

    static SCIP_DECL_READERCOPY (readerCopyWbo)
     
    static SCIP_DECL_READERREAD (readerReadWbo)
     
    static SCIP_DECL_READERWRITE (readerWriteWbo)
     
    SCIP_RETCODE SCIPincludeReaderWbo (SCIP *scip)
     

    Macro Definition Documentation

    ◆ READER_NAME

    #define READER_NAME   "wboreader"

    Definition at line 43 of file reader_wbo.c.

    ◆ READER_DESC

    #define READER_DESC   "file reader for pseudoboolean wbo file format"

    Definition at line 44 of file reader_wbo.c.

    ◆ READER_EXTENSION

    #define READER_EXTENSION   "wbo"

    Definition at line 45 of file reader_wbo.c.

    Function Documentation

    ◆ SCIP_DECL_READERCOPY()

    static SCIP_DECL_READERCOPY ( readerCopyWbo  )
    		static

    copy method for reader plugins (called when SCIP copies plugins)

    Definition at line 53 of file reader_wbo.c.

    References NULL, READER_NAME, SCIP_CALL, SCIP_OKAY, SCIPincludeReaderWbo(), and SCIPreaderGetName().

    ◆ SCIP_DECL_READERREAD()

    static SCIP_DECL_READERREAD ( readerReadWbo  )
    		static

    problem reading method of reader

    Definition at line 68 of file reader_wbo.c.

    References SCIP_CALL, SCIP_OKAY, and SCIPreadOpb().

    ◆ SCIP_DECL_READERWRITE()

    static SCIP_DECL_READERWRITE ( readerWriteWbo  )
    		static

    problem writing method of reader

    Definition at line 79 of file reader_wbo.c.

    References NULL, READER_NAME, SCIP_CALL, SCIP_OKAY, SCIP_WRITEERROR, SCIPerrorMessage, SCIPisExact(), SCIPreaderGetName(), and SCIPwriteOpb().