Scippy

SCIP

Solving Constraint Integer Programs

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

Referenced by SCIP_DECL_READERCOPY(), and SCIPincludeReaderWbo().

◆ READER_DESC

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

Definition at line 33 of file reader_wbo.c.

Referenced by SCIPincludeReaderWbo().

◆ READER_EXTENSION

#define READER_EXTENSION   "wbo"

Definition at line 34 of file reader_wbo.c.

Referenced by SCIPincludeReaderWbo().

Function Documentation

◆ SCIP_DECL_READERCOPY()

static SCIP_DECL_READERCOPY ( readerCopyWbo  )
static

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

Definition at line 42 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 57 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 68 of file reader_wbo.c.

References SCIP_CALL, SCIP_OKAY, and SCIPwriteOpb().