Scippy

SCIP

Solving Constraint Integer Programs

All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages

Detailed Description

CNF file reader.

Author: Thorsten Koch; Tobias Achterberg

The DIMACS CNF (conjunctive normal form) is a file format used for example for SAT problems. For a detailed description of this format see http://people.sc.fsu.edu/~jburkardt/data/cnf/cnf.html .

Definition in file reader_cnf.c.

#include <assert.h>
#include <string.h>
#include "scip/reader_cnf.h"
#include "scip/cons_linear.h"
#include "scip/cons_logicor.h"
#include "scip/cons_setppc.h"
#include "scip/pub_misc.h"

Go to the source code of this file.

Macros
#define	READER_NAME "cnfreader"

#define	READER_DESC "file reader for SAT problems in conjunctive normal form"

#define	READER_EXTENSION "cnf"

#define	MAXLINELEN 65536

Functions
static void	readError (SCIP scip, int linecount, const char errormsg)

static void	readWarning (SCIP scip, int linecount, const char warningmsg)

static SCIP_RETCODE	readCnfLine (SCIP scip, SCIP_FILE file, char buffer, int size, int linecount)

static SCIP_RETCODE	readCnf (SCIP scip, SCIP_FILE file)

static	SCIP_DECL_READERCOPY (readerCopyCnf)

static	SCIP_DECL_READERREAD (readerReadCnf)

SCIP_RETCODE	SCIPincludeReaderCnf (SCIP *scip)

Macro Definition Documentation

#define READER_NAME "cnfreader"

Definition at line 37 of file reader_cnf.c.

Referenced by SCIP_DECL_READERCOPY(), SCIP_DECL_READERREAD(), and SCIPincludeReaderCnf().

#define READER_DESC "file reader for SAT problems in conjunctive normal form"

Definition at line 38 of file reader_cnf.c.

Referenced by SCIPincludeReaderCnf().

#define READER_EXTENSION "cnf"

Definition at line 39 of file reader_cnf.c.

Referenced by SCIPincludeReaderCnf().

#define MAXLINELEN 65536

Definition at line 41 of file reader_cnf.c.

Referenced by readCnf().

Function Documentation

static void readError	(	SCIP *	scip,
		int	linecount,
		const char *	errormsg
	)

static

Parameters

scip	SCIP data structure
linecount	line number of error
errormsg	error message

Definition at line 49 of file reader_cnf.c.

References SCIPerrorMessage.

Referenced by readCnf(), and readCnfLine().

static void readWarning	(	SCIP *	scip,
		int	linecount,
		const char *	warningmsg
	)

static

Parameters

scip	SCIP data structure
linecount	line number of error
warningmsg	warning message

Definition at line 59 of file reader_cnf.c.

References SCIPwarningMessage().

Referenced by readCnf().

static SCIP_RETCODE readCnfLine	(	SCIP *	scip,
		SCIP_FILE *	file,
		char *	buffer,
		int	size,
		int *	linecount
	)

static

reads the next non-empty non-comment line of a cnf file

Parameters

scip	SCIP data structure
file	input file
buffer	buffer for storing the input line
size	size of the buffer
linecount	pointer to the line number counter

Definition at line 70 of file reader_cnf.c.

References NULL, readError(), SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_READERROR, SCIPfgets(), and SCIPsnprintf().

Referenced by readCnf().

static SCIP_RETCODE readCnf	(	SCIP *	scip,
		SCIP_FILE *	file
	)

static

Parameters

scip	SCIP data structure
file	input file

Definition at line 127 of file reader_cnf.c.

References FALSE, MAXLINELEN, NULL, readCnfLine(), readError(), readWarning(), SCIP_Bool, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OBJSENSE_MAXIMIZE, SCIP_OKAY, SCIP_READERROR, SCIP_Real, SCIP_VARTYPE_BINARY, SCIPaddCons(), SCIPaddVar(), SCIPallocBufferArray, SCIPchgVarObj(), SCIPcreateConsLinear(), SCIPcreateConsLogicor(), SCIPcreateConsSetcover(), SCIPcreateVar(), SCIPfindConshdlr(), SCIPfreeBufferArray, SCIPgetBoolParam(), SCIPgetNegatedVar(), SCIPinfinity(), SCIPreleaseCons(), SCIPreleaseVar(), SCIPsetObjsense(), SCIPsnprintf(), SCIPstrtok(), SCIPwarningMessage(), and TRUE.

Referenced by SCIP_DECL_READERREAD().

static SCIP_DECL_READERCOPY ( readerCopyCnf )

static

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

Definition at line 361 of file reader_cnf.c.

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

static SCIP_DECL_READERREAD ( readerReadCnf )

static

problem reading method of reader

Definition at line 376 of file reader_cnf.c.

References NULL, readCnf(), READER_NAME, SCIP_CALL, SCIP_NOFILE, SCIP_SUCCESS, SCIPcreateProb(), SCIPerrorMessage, SCIPfclose(), SCIPfopen(), SCIPprintSysError(), and SCIPreaderGetName().

SCIP_RETCODE SCIPincludeReaderCnf ( SCIP * scip )

includes the cnf file reader in SCIP

Parameters

scip	SCIP data structure

Definition at line 415 of file reader_cnf.c.

References FALSE, NULL, READER_DESC, READER_EXTENSION, READER_NAME, SCIP_CALL, SCIP_OKAY, SCIPaddBoolParam(), SCIPincludeReaderBasic(), SCIPsetReaderCopy(), and SCIPsetReaderRead().

Referenced by SCIP_DECL_READERCOPY(), and SCIPincludeDefaultPlugins().