reader_wbo.c File Reference

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

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 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 68 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 79 of file reader_wbo.c.

References assert(), NULL, nvars, objscale, READER_NAME, result, SCIP_CALL, SCIP_OKAY, SCIP_WRITEERROR, SCIPerrorMessage, SCIPisExact(), SCIPreaderGetName(), SCIPwriteOpb(), and vars.