|
|
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.
Go to the source code of this file.
|
| 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) |
| |
includes the opb file reader into SCIP
includes the opb file reader in SCIP
- Parameters
-
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().
reads problem from file
- Parameters
-
| scip | SCIP data structure |
| reader | the file reader itself |
| filename | full path and name of file to read, or NULL if stdin should be used |
| result | pointer 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
-
| scip | SCIP data structure |
| file | output file, or NULL if standard output should be used |
| name | problem name |
| transformed | TRUE iff problem is the transformed problem |
| objsense | objective sense |
| objscale | scalar applied to objective function; external objective value is extobj = objsense * objscale * (intobj + objoffset) |
| objoffset | objective offset from bound shifting and fixing |
| vars | array with active variables ordered binary, integer, implicit, continuous |
| nvars | number of active variables in the problem |
| nbinvars | number of binary variables |
| nintvars | number of general integer variables |
| nimplvars | number of implicit integer variables |
| ncontvars | number of continuous variables |
| fixedvars | array with fixed variables |
| nfixedvars | number of fixed and aggregated variables in the problem |
| conss | array with constraints of the problem |
| nconss | number of constraints in the problem |
| genericnames | should generic variable and constraint names be used |
| result | pointer 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().
|
