SCIP Doxygen Documentation
Loading...
Searching...
No Matches

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_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 42 of file reader_wbo.c.

◆ READER_DESC

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

Definition at line 43 of file reader_wbo.c.

◆ READER_EXTENSION

#define READER_EXTENSION   "wbo"

Definition at line 44 of file reader_wbo.c.

Function Documentation

◆ SCIP_DECL_READERCOPY()

SCIP_DECL_READERCOPY ( readerCopyWbo )
static

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

Definition at line 52 of file reader_wbo.c.

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

◆ SCIP_DECL_READERREAD()

SCIP_DECL_READERREAD ( readerReadWbo )
static

problem reading method of reader

Definition at line 67 of file reader_wbo.c.

References result, SCIP_CALL, SCIP_OKAY, and SCIPreadOpb().

◆ SCIP_DECL_READERWRITE()

SCIP_DECL_READERWRITE ( readerWriteWbo )
static

problem writing method of reader

Definition at line 78 of file reader_wbo.c.

References nbinvars, nintvars, nvars, objscale, result, SCIP_CALL, SCIP_OKAY, SCIPwriteOpb(), and vars.