Scippy

SCIP

Solving Constraint Integer Programs

reader_opb.h File Reference

Detailed Description

pseudo-Boolean file reader (opb format)

Author
Stefan Heinz
Michael Winkler

This file reader parses the opb format and is also used by the wbo reader for the wbo format. For a detailed description of this format see http://www.cril.univ-artois.fr/PB10/format.pdf .

Definition in file reader_opb.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludeReaderOpb (SCIP *scip)
 
SCIP_RETCODE SCIPreadOpb (SCIP *scip, SCIP_READER *reader, const char *filename, SCIP_RESULT *result)
 
SCIP_RETCODE SCIPwriteOpb (SCIP *scip, FILE *file, const char *name, SCIP_Bool transformed, SCIP_OBJSENSE objsense, SCIP_Real objscale, SCIP_Real objoffset, SCIP_VAR **vars, int nvars, int nbinvars, int nintvars, int nimplvars, int ncontvars, SCIP_VAR **fixedvars, int nfixedvars, SCIP_CONS **conss, int nconss, SCIP_Bool genericnames, SCIP_RESULT *result)
 

Function Documentation

SCIP_RETCODE SCIPincludeReaderOpb ( SCIP scip)

includes the opb file reader into SCIP

includes the opb file reader in SCIP

Parameters
scipSCIP data structure

Definition at line 4327 of file reader_opb.c.

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

Referenced by SCIP_DECL_READERCOPY(), and SCIPincludeDefaultPlugins().

SCIP_RETCODE SCIPreadOpb ( SCIP scip,
SCIP_READER reader,
const char *  filename,
SCIP_RESULT result 
)

reads problem from file

Parameters
scipSCIP data structure
readerthe file reader itself
filenamefull path and name of file to read, or NULL if stdin should be used
resultpointer to store the result of the file reading call

Definition at line 4035 of file reader_opb.c.

References FALSE, NULL, OPB_MAX_LINELEN, OPB_MAX_PUSHEDTOKENS, readOPBFile(), SCIP_CALL, SCIP_OBJSENSE_MINIMIZE, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_READERROR, SCIP_SUCCESS, SCIPallocBufferArray, SCIPfreeBufferArrayNull, SCIPinfinity(), SCIPsetObjsense(), and SCIPwarningMessage().

Referenced by SCIP_DECL_READERREAD().

SCIP_RETCODE SCIPwriteOpb ( SCIP scip,
FILE *  file,
const char *  name,
SCIP_Bool  transformed,
SCIP_OBJSENSE  objsense,
SCIP_Real  objscale,
SCIP_Real  objoffset,
SCIP_VAR **  vars,
int  nvars,
int  nbinvars,
int  nintvars,
int  nimplvars,
int  ncontvars,
SCIP_VAR **  fixedvars,
int  nfixedvars,
SCIP_CONS **  conss,
int  nconss,
SCIP_Bool  genericnames,
SCIP_RESULT result 
)

writes problem to file

Parameters
scipSCIP data structure
fileoutput file, or NULL if standard output should be used
nameproblem name
transformedTRUE iff problem is the transformed problem
objsenseobjective sense
objscalescalar applied to objective function; external objective value is extobj = objsense * objscale * (intobj + objoffset)
objoffsetobjective offset from bound shifting and fixing
varsarray with active variables ordered binary, integer, implicit, continuous
nvarsnumber of active variables in the problem
nbinvarsnumber of binary variables
nintvarsnumber of general integer variables
nimplvarsnumber of implicit integer variables
ncontvarsnumber of continuous variables
fixedvarsarray with fixed variables
nfixedvarsnumber of fixed and aggregated variables in the problem
conssarray with constraints of the problem
nconssnumber of constraints in the problem
genericnamesshould generic variable and constraint names be used
resultpointer to store the result of the file writing call

Definition at line 4110 of file reader_opb.c.

References computeAndConstraintInfos(), FALSE, INDICATORSLACKVARNAME, INDICATORVARNAME, NULL, SCIP_Bool, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_SUCCESS, SCIP_WRITEERROR, SCIPconshdlrGetNConss(), SCIPfindConshdlr(), SCIPfreeMemoryArray, SCIPprintOrigProblem(), SCIPprintTransProblem(), SCIPprintVar(), SCIPsortedvecFindPtr(), SCIPvarGetName(), SCIPwarningMessage(), TRUE, and writeOpb().

Referenced by SCIP_DECL_READERWRITE().