|
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
- Parameters
-
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 |
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 |
|