Scippy

SCIP

Solving Constraint Integer Programs

reader_lp.c File Reference

Detailed Description

LP file reader.

Author
Tobias Achterberg
Marc Pfetsch
Stefan Heinz
Stefan Vigerske
Michael Winkler
Lars Schewe

Definition in file reader_lp.c.

#include <stdlib.h>
#include <assert.h>
#include <string.h>
#include <strings.h>
#include <ctype.h>
#include "scip/reader_lp.h"
#include "scip/cons_knapsack.h"
#include "scip/cons_linear.h"
#include "scip/cons_logicor.h"
#include "scip/cons_setppc.h"
#include "scip/cons_varbound.h"
#include "scip/cons_and.h"
#include "scip/cons_sos1.h"
#include "scip/cons_sos2.h"
#include "scip/cons_indicator.h"
#include "scip/cons_quadratic.h"
#include "scip/cons_soc.h"
#include "scip/cons_bounddisjunction.h"
#include "scip/pub_misc.h"

Go to the source code of this file.

Macros

#define READER_NAME   "lpreader"
 
#define READER_DESC   "file reader for MIPs in IBM CPLEX's LP file format"
 
#define READER_EXTENSION   "lp"
 
#define DEFAULT_LINEARIZE_ANDS   TRUE
 
#define DEFAULT_AGGRLINEARIZATION_ANDS   TRUE
 
#define LP_MAX_LINELEN   65536
 
#define LP_MAX_PUSHEDTOKENS   2
 
#define LP_INIT_COEFSSIZE   8192
 
#define LP_INIT_QUADCOEFSSIZE   16
 
#define LP_MAX_PRINTLEN   561
 
#define LP_MAX_NAMELEN   256
 
#define LP_PRINTLEN   100
 

Typedefs

typedef enum LpSection LPSECTION
 
typedef enum LpExpType LPEXPTYPE
 
typedef enum LpSense LPSENSE
 
typedef struct LpInput LPINPUT
 

Enumerations

enum  LpSection {
  LP_START,
  LP_OBJECTIVE,
  LP_END,
  LP_START,
  LP_OBJECTIVE,
  LP_CONSTRAINTS,
  LP_BOUNDS,
  LP_GENERALS,
  LP_BINARIES,
  LP_SEMICONTINUOUS,
  LP_SOS,
  LP_END
}
 
enum  LpExpType {
  LP_EXP_NONE,
  LP_EXP_UNSIGNED,
  LP_EXP_SIGNED,
  LP_EXP_NONE,
  LP_EXP_UNSIGNED,
  LP_EXP_SIGNED
}
 
enum  LpSense {
  LP_SENSE_LE,
  LP_SENSE_GE,
  LP_SENSE_EQ,
  LP_SENSE_NOTHING,
  LP_SENSE_LE,
  LP_SENSE_GE,
  LP_SENSE_EQ
}
 

Functions

static void syntaxError (SCIP *scip, LPINPUT *lpinput, const char *msg)
 
static SCIP_Bool hasError (LPINPUT *lpinput)
 
static SCIP_Bool isDelimChar (char c)
 
static SCIP_Bool isTokenChar (char c)
 
static SCIP_Bool isValueChar (char c, char nextc, SCIP_Bool firstchar, SCIP_Bool *hasdot, LPEXPTYPE *exptype)
 
static SCIP_Bool getNextLine (SCIP *scip, LPINPUT *lpinput)
 
static void swapPointers (char **pointer1, char **pointer2)
 
static SCIP_Bool getNextToken (SCIP *scip, LPINPUT *lpinput)
 
static void pushToken (LPINPUT *lpinput)
 
static void pushBufferToken (LPINPUT *lpinput)
 
static void swapTokenBuffer (LPINPUT *lpinput)
 
static SCIP_Bool isNewSection (SCIP *scip, LPINPUT *lpinput)
 
static SCIP_Bool isSign (LPINPUT *lpinput, int *sign)
 
static SCIP_Bool isValue (SCIP *scip, LPINPUT *lpinput, SCIP_Real *value)
 
static SCIP_Bool isSense (LPINPUT *lpinput, LPSENSE *sense)
 
static SCIP_RETCODE getVariable (SCIP *scip, char *name, SCIP_VAR **var, SCIP_Bool *created)
 
static SCIP_RETCODE readStart (SCIP *scip, LPINPUT *lpinput)
 
static SCIP_RETCODE readCoefficients (SCIP *scip, LPINPUT *lpinput, SCIP_Bool isobjective, char *name, SCIP_VAR ***vars, SCIP_Real **coefs, int *ncoefs, SCIP_VAR ***quadvars1, SCIP_VAR ***quadvars2, SCIP_Real **quadcoefs, int *nquadcoefs, SCIP_Bool *newsection)
 
static SCIP_RETCODE readObjective (SCIP *scip, LPINPUT *lpinput)
 
static SCIP_RETCODE createIndicatorConstraint (SCIP *scip, LPINPUT *lpinput, const char *name, SCIP_VAR *binvar, SCIP_Real binvalue)
 
static SCIP_RETCODE readConstraints (SCIP *scip, LPINPUT *lpinput)
 
static SCIP_RETCODE readBounds (SCIP *scip, LPINPUT *lpinput)
 
static SCIP_RETCODE readGenerals (SCIP *scip, LPINPUT *lpinput)
 
static SCIP_RETCODE readBinaries (SCIP *scip, LPINPUT *lpinput)
 
static SCIP_RETCODE readSemicontinuous (SCIP *scip, LPINPUT *lpinput)
 
static SCIP_RETCODE readSos (SCIP *scip, LPINPUT *lpinput)
 
static SCIP_RETCODE readLPFile (SCIP *scip, LPINPUT *lpinput, const char *filename)
 
static SCIP_DECL_HASHGETKEY (hashGetKeyVar)
 
static SCIP_DECL_HASHKEYEQ (hashKeyEqVar)
 
static SCIP_DECL_HASHKEYVAL (hashKeyValVar)
 
static SCIP_RETCODE getActiveVariables (SCIP *scip, SCIP_VAR ***vars, SCIP_Real **scalars, int *nvars, SCIP_Real *constant, SCIP_Bool transformed)
 
static void clearLine (char *linebuffer, int *linecnt)
 
static void endLine (SCIP *scip, FILE *file, char *linebuffer, int *linecnt)
 
static void appendLine (SCIP *scip, FILE *file, char *linebuffer, int *linecnt, const char *extension)
 
static void printRow (SCIP *scip, FILE *file, const char *rowname, const char *rownameextension, const char *type, SCIP_VAR **linvars, SCIP_Real *linvals, int nlinvars, SCIP_QUADVARTERM *quadvarterms, int nquadvarterms, SCIP_BILINTERM *bilinterms, int nbilinterms, SCIP_Real rhs)
 
static SCIP_RETCODE printQuadraticCons (SCIP *scip, FILE *file, const char *rowname, SCIP_VAR **linvars, SCIP_Real *linvals, int nlinvars, SCIP_QUADVARTERM *quadvarterms, int nquadvarterms, SCIP_BILINTERM *bilinterms, int nbilinterms, SCIP_Real lhs, SCIP_Real rhs, SCIP_Bool transformed)
 
static void printSosCons (SCIP *scip, FILE *file, const char *rowname, SCIP_VAR **vars, SCIP_Real *weights, int nvars, int type)
 
static SCIP_RETCODE printSOCCons (SCIP *scip, FILE *file, const char *rowname, SCIP_CONS *cons)
 
static SCIP_RETCODE printAndCons (SCIP *scip, FILE *file, const char *consname, SCIP_CONS *cons, SCIP_Bool aggrlinearizationands, SCIP_Bool transformed)
 
static SCIP_RETCODE collectAggregatedVars (SCIP *scip, SCIP_VAR **vars, int nvars, SCIP_VAR ***aggvars, int *naggvars, int *saggvars, SCIP_HASHTABLE *varAggregated)
 
static SCIP_RETCODE printAggregatedCons (SCIP *scip, FILE *file, SCIP_Bool transformed, int nvars, int nAggregatedVars, SCIP_VAR **aggregatedVars)
 
static void checkVarnames (SCIP *scip, SCIP_VAR **vars, int nvars)
 
static void checkConsnames (SCIP *scip, SCIP_CONS **conss, int nconss, SCIP_Bool transformed)
 
static SCIP_DECL_READERCOPY (readerCopyLp)
 
static SCIP_DECL_READERFREE (readerFreeLp)
 
static SCIP_DECL_READERREAD (readerReadLp)
 
static SCIP_DECL_READERWRITE (readerWriteLp)
 
SCIP_RETCODE SCIPincludeReaderLp (SCIP *scip)
 
SCIP_RETCODE SCIPreadLp (SCIP *scip, SCIP_READER *reader, const char *filename, SCIP_RESULT *result)
 
SCIP_RETCODE SCIPwriteLp (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_CONS **conss, int nconss, SCIP_RESULT *result)
 

Variables

static const char commentchars [] = "\\"
 

Macro Definition Documentation

#define READER_NAME   "lpreader"
#define READER_DESC   "file reader for MIPs in IBM CPLEX's LP file format"

Definition at line 55 of file reader_lp.c.

Referenced by SCIPincludeReaderLp().

#define READER_EXTENSION   "lp"

Definition at line 56 of file reader_lp.c.

Referenced by SCIPincludeReaderLp().

#define DEFAULT_LINEARIZE_ANDS   TRUE

Should possible "and"-constraints be linearized when writing the lp file?

Definition at line 58 of file reader_lp.c.

Referenced by SCIPincludeReaderLp(), and SCIPwriteLp().

#define DEFAULT_AGGRLINEARIZATION_ANDS   TRUE

Should an aggregated linearization for and constraints be used?

Definition at line 59 of file reader_lp.c.

Referenced by SCIPincludeReaderLp(), and SCIPwriteLp().

#define LP_MAX_LINELEN   65536
#define LP_MAX_PUSHEDTOKENS   2

Definition at line 66 of file reader_lp.c.

Referenced by pushBufferToken(), pushToken(), and SCIPreadLp().

#define LP_INIT_COEFSSIZE   8192

Definition at line 67 of file reader_lp.c.

Referenced by readCoefficients().

#define LP_INIT_QUADCOEFSSIZE   16

Definition at line 68 of file reader_lp.c.

Referenced by readCoefficients().

#define LP_MAX_PRINTLEN   561

the maximum length of any line is 560 + '\0' = 561

Definition at line 69 of file reader_lp.c.

Referenced by appendLine(), printRow(), printSOCCons(), printSosCons(), and SCIPwriteLp().

#define LP_MAX_NAMELEN   256

the maximum length for any name is 255 + '\0' = 256

Definition at line 70 of file reader_lp.c.

Referenced by checkConsnames(), checkVarnames(), printAggregatedCons(), printAndCons(), printRow(), printSOCCons(), printSosCons(), and SCIPwriteLp().

#define LP_PRINTLEN   100

Definition at line 71 of file reader_lp.c.

Referenced by appendLine().

Typedef Documentation

typedef enum LpSection LPSECTION

Definition at line 87 of file reader_lp.c.

typedef enum LpExpType LPEXPTYPE

Definition at line 93 of file reader_lp.c.

typedef enum LpSense LPSENSE

Definition at line 99 of file reader_lp.c.

typedef struct LpInput LPINPUT

Definition at line 126 of file reader_lp.c.

Enumeration Type Documentation

enum LpSection

Section in LP File

Enumerator
LP_START 
LP_OBJECTIVE 
LP_END 
LP_START 
LP_OBJECTIVE 
LP_CONSTRAINTS 
LP_BOUNDS 
LP_GENERALS 
LP_BINARIES 
LP_SEMICONTINUOUS 
LP_SOS 
LP_END 

Definition at line 83 of file reader_lp.c.

enum LpExpType
Enumerator
LP_EXP_NONE 
LP_EXP_UNSIGNED 
LP_EXP_SIGNED 
LP_EXP_NONE 
LP_EXP_UNSIGNED 
LP_EXP_SIGNED 

Definition at line 89 of file reader_lp.c.

enum LpSense
Enumerator
LP_SENSE_LE 
LP_SENSE_GE 
LP_SENSE_EQ 
LP_SENSE_NOTHING 
LP_SENSE_LE 
LP_SENSE_GE 
LP_SENSE_EQ 

Definition at line 95 of file reader_lp.c.

Function Documentation

static void syntaxError ( SCIP scip,
LPINPUT lpinput,
const char *  msg 
)
static

issues an error message and marks the LP data to have errors

Parameters
scipSCIP data structure
lpinputLP reading data
msgerror message

Definition at line 137 of file reader_lp.c.

References LP_END, NULL, SCIP_VERBLEVEL_MINIMAL, SCIPerrorMessage, SCIPsnprintf(), SCIPverbMessage(), and TRUE.

Referenced by createIndicatorConstraint(), readBinaries(), readBounds(), readCoefficients(), readConstraints(), readGenerals(), readSemicontinuous(), and readSos().

static SCIP_Bool hasError ( LPINPUT lpinput)
static

returns whether a syntax error was detected

Parameters
lpinputLP reading data

Definition at line 164 of file reader_lp.c.

References NULL.

Referenced by createIndicatorConstraint(), readConstraints(), readLPFile(), and readObjective().

static SCIP_Bool isDelimChar ( char  c)
static

returns whether the given character is a token delimiter

Parameters
cinput character

Definition at line 175 of file reader_lp.c.

References FALSE, and TRUE.

Referenced by getNextToken().

static SCIP_Bool isTokenChar ( char  c)
static

returns whether the given character is a single token

Parameters
cinput character

Definition at line 196 of file reader_lp.c.

References FALSE, and TRUE.

Referenced by getNextToken().

static SCIP_Bool isValueChar ( char  c,
char  nextc,
SCIP_Bool  firstchar,
SCIP_Bool hasdot,
LPEXPTYPE exptype 
)
static

returns whether the current character is member of a value string

Parameters
cinput character
nextcnext input character
firstcharis the given character the first char of the token?
hasdotpointer to update the dot flag
exptypepointer to update the exponent type

Definition at line 220 of file reader_lp.c.

References FALSE, LP_EXP_NONE, LP_EXP_SIGNED, LP_EXP_UNSIGNED, NULL, and TRUE.

Referenced by getNextToken().

static SCIP_Bool getNextLine ( SCIP scip,
LPINPUT lpinput 
)
static

reads the next line from the input file into the line buffer; skips comments; returns whether a line could be read

Parameters
scipSCIP data structure
lpinputLP reading data

Definition at line 264 of file reader_lp.c.

References BMSclearMemoryArray, commentchars, FALSE, LP_MAX_LINELEN, NULL, SCIPdebugMessage, SCIPfgets(), SCIPfseek(), SCIPwarningMessage(), and TRUE.

Referenced by getNextToken().

static void swapPointers ( char **  pointer1,
char **  pointer2 
)
static

swaps the addresses of two pointers

Parameters
pointer1first pointer
pointer2second pointer

Definition at line 355 of file reader_lp.c.

Referenced by getNextToken(), pushBufferToken(), pushToken(), and swapTokenBuffer().

static SCIP_Bool getNextToken ( SCIP scip,
LPINPUT lpinput 
)
static

reads the next token from the input file into the token buffer; returns whether a token was read

Parameters
scipSCIP data structure
lpinputLP reading data

Definition at line 369 of file reader_lp.c.

References FALSE, getNextLine(), isDelimChar(), isTokenChar(), isValueChar(), LP_END, LP_EXP_NONE, LP_MAX_LINELEN, NULL, SCIP_Bool, SCIPdebugMessage, swapPointers(), and TRUE.

Referenced by createIndicatorConstraint(), isNewSection(), readBinaries(), readBounds(), readCoefficients(), readConstraints(), readGenerals(), readSemicontinuous(), readSos(), and readStart().

static void pushToken ( LPINPUT lpinput)
static

puts the current token on the token stack, such that it is read at the next call to getNextToken()

Parameters
lpinputLP reading data

Definition at line 474 of file reader_lp.c.

References LP_MAX_PUSHEDTOKENS, NULL, and swapPointers().

Referenced by isNewSection(), readBounds(), readCoefficients(), readConstraints(), readSemicontinuous(), and readSos().

static void pushBufferToken ( LPINPUT lpinput)
static

puts the buffered token on the token stack, such that it is read at the next call to getNextToken()

Parameters
lpinputLP reading data

Definition at line 487 of file reader_lp.c.

References LP_MAX_PUSHEDTOKENS, NULL, and swapPointers().

Referenced by readCoefficients(), readConstraints(), and readSos().

static void swapTokenBuffer ( LPINPUT lpinput)
static

swaps the current token with the token buffer

Parameters
lpinputLP reading data

Definition at line 500 of file reader_lp.c.

References NULL, and swapPointers().

Referenced by isNewSection(), readCoefficients(), readConstraints(), and readSos().

static SCIP_Bool isNewSection ( SCIP scip,
LPINPUT lpinput 
)
static

checks whether the current token is a section identifier, and if yes, switches to the corresponding section

Parameters
scipSCIP data structure
lpinputLP reading data

Definition at line 511 of file reader_lp.c.

References FALSE, getNextToken(), LP_BINARIES, LP_BOUNDS, LP_CONSTRAINTS, LP_END, LP_GENERALS, LP_MAX_LINELEN, LP_OBJECTIVE, LP_SEMICONTINUOUS, LP_SOS, NULL, pushToken(), SCIP_Bool, SCIP_OBJSENSE_MAXIMIZE, SCIP_OBJSENSE_MINIMIZE, SCIPdebugMessage, swapTokenBuffer(), and TRUE.

Referenced by readBinaries(), readBounds(), readCoefficients(), readConstraints(), readGenerals(), readSemicontinuous(), readSos(), and readStart().

static SCIP_Bool isSign ( LPINPUT lpinput,
int *  sign 
)
static

returns whether the current token is a sign

Parameters
lpinputLP reading data
signpointer to update the sign

Definition at line 722 of file reader_lp.c.

References FALSE, NULL, and TRUE.

Referenced by createIndicatorConstraint(), readBounds(), readCoefficients(), and readConstraints().

static SCIP_Bool isValue ( SCIP scip,
LPINPUT lpinput,
SCIP_Real value 
)
static

returns whether the current token is a value

Parameters
scipSCIP data structure
lpinputLP reading data
valuepointer to store the value (unchanged, if token is no value)

Definition at line 747 of file reader_lp.c.

References FALSE, NULL, SCIPinfinity(), and TRUE.

Referenced by createIndicatorConstraint(), readBounds(), readCoefficients(), readConstraints(), and readSos().

static SCIP_Bool isSense ( LPINPUT lpinput,
LPSENSE sense 
)
static

returns whether the current token is an equation sense

Parameters
lpinputLP reading data
sensepointer to store the equation sense, or NULL

Definition at line 779 of file reader_lp.c.

References FALSE, LP_SENSE_EQ, LP_SENSE_GE, LP_SENSE_LE, NULL, and TRUE.

Referenced by createIndicatorConstraint(), readBounds(), readCoefficients(), and readConstraints().

static SCIP_RETCODE getVariable ( SCIP scip,
char *  name,
SCIP_VAR **  var,
SCIP_Bool created 
)
static

returns the variable with the given name, or creates a new variable if it does not exist

Parameters
scipSCIP data structure
namename of the variable
varpointer to store the variable
createdpointer to store whether a new variable was created, or NULL

Definition at line 810 of file reader_lp.c.

References FALSE, NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_VARTYPE_CONTINUOUS, SCIPaddVar(), SCIPcreateVar(), SCIPdebugMessage, SCIPfindVar(), SCIPgetBoolParam(), SCIPinfinity(), SCIPreleaseVar(), and TRUE.

Referenced by readBinaries(), readBounds(), readCoefficients(), readGenerals(), and readSemicontinuous().

static SCIP_RETCODE readStart ( SCIP scip,
LPINPUT lpinput 
)
static

reads the header of the file

Parameters
scipSCIP data structure
lpinputLP reading data

Definition at line 855 of file reader_lp.c.

References getNextToken(), isNewSection(), NULL, and SCIP_OKAY.

Referenced by readLPFile().

static SCIP_RETCODE readCoefficients ( SCIP scip,
LPINPUT lpinput,
SCIP_Bool  isobjective,
char *  name,
SCIP_VAR ***  vars,
SCIP_Real **  coefs,
int *  ncoefs,
SCIP_VAR ***  quadvars1,
SCIP_VAR ***  quadvars2,
SCIP_Real **  quadcoefs,
int *  nquadcoefs,
SCIP_Bool newsection 
)
static

reads an objective or constraint with name and coefficients

Parameters
scipSCIP data structure
lpinputLP reading data
isobjectiveindicates whether we are currently reading the coefficients of the objective
namepointer to store the name of the line; must be at least of size LP_MAX_LINELEN
varspointer to store the array with variables (must be freed by caller)
coefspointer to store the array with coefficients (must be freed by caller)
ncoefspointer to store the number of coefficients
quadvars1pointer to store the array with first variables in quadratic terms (must be freed by caller)
quadvars2pointer to store the array with second variables in quadratic terms (must be freed by caller)
quadcoefspointer to store the array with coefficients in quadratic terms (must be freed by caller)
nquadcoefspointer to store the number of quadratic coefficients
newsectionpointer to store whether a new section was encountered

Definition at line 876 of file reader_lp.c.

References FALSE, getNextToken(), getVariable(), isNewSection(), isSense(), isSign(), isValue(), LP_INIT_COEFSSIZE, LP_INIT_QUADCOEFSSIZE, LP_MAX_LINELEN, MAX, NULL, pushBufferToken(), pushToken(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPallocMemoryArray, SCIPdebugMessage, SCIPisZero(), SCIPmemccpy(), SCIPreallocMemoryArray, SCIPvarGetName(), SCIPwarningMessage(), swapTokenBuffer(), syntaxError(), and TRUE.

Referenced by createIndicatorConstraint(), readConstraints(), and readObjective().

static SCIP_RETCODE createIndicatorConstraint ( SCIP scip,
LPINPUT lpinput,
const char *  name,
SCIP_VAR binvar,
SCIP_Real  binvalue 
)
static
static SCIP_RETCODE readConstraints ( SCIP scip,
LPINPUT lpinput 
)
static

reads the constraints section

Read linear and indicator constraints.

The CPLEX manual says that indicator constraints are of the following form:

[constraintname:] binaryvariable = value -> linear constraint

We also accept "<->".

Parameters
scipSCIP data structure
lpinputLP reading data

Definition at line 1529 of file reader_lp.c.

References createIndicatorConstraint(), FALSE, getNextToken(), hasError(), isNewSection(), isSense(), isSign(), isValue(), LP_MAX_LINELEN, LP_SENSE_EQ, LP_SENSE_GE, LP_SENSE_LE, LP_SENSE_NOTHING, NULL, pushBufferToken(), pushToken(), readCoefficients(), SCIP_Bool, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIPaddCons(), SCIPcreateConsLinear(), SCIPcreateConsQuadratic(), SCIPdebugMessage, SCIPdebugPrintCons, SCIPerrorMessage, SCIPfreeMemoryArrayNull, SCIPinfinity(), SCIPisEQ(), SCIPreleaseCons(), swapTokenBuffer(), syntaxError(), and TRUE.

Referenced by readLPFile().

static SCIP_RETCODE readBounds ( SCIP scip,
LPINPUT lpinput 
)
static
static SCIP_RETCODE readGenerals ( SCIP scip,
LPINPUT lpinput 
)
static

reads the generals section

Parameters
scipSCIP data structure
lpinputLP reading data

Definition at line 1935 of file reader_lp.c.

References getNextToken(), getVariable(), isNewSection(), NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARTYPE_INTEGER, SCIPchgVarType(), SCIPisFeasIntegral(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetUbGlobal(), SCIPwarningMessage(), and syntaxError().

Referenced by readLPFile().

static SCIP_RETCODE readBinaries ( SCIP scip,
LPINPUT lpinput 
)
static
static SCIP_RETCODE readSemicontinuous ( SCIP scip,
LPINPUT lpinput 
)
static
static SCIP_RETCODE readSos ( SCIP scip,
LPINPUT lpinput 
)
static

reads the sos section

The format is as follows:

SOS <constraint name>: [S1|S2]:: {<variable name>:<weight>} ... <constraint name>: [S1|S2]:: {<variable name>:<weight>}

Parameters
scipSCIP data structure
lpinputLP reading data

Definition at line 2132 of file reader_lp.c.

References FALSE, getNextToken(), isNewSection(), isValue(), NULL, pushBufferToken(), pushToken(), SCIP_Bool, SCIP_CALL, SCIP_INVALIDDATA, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIPABORT, SCIPaddCons(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPconsGetName(), SCIPcreateConsSOS1(), SCIPcreateConsSOS2(), SCIPdebugMessage, SCIPdebugPrintCons, SCIPerrorMessage, SCIPfindVar(), SCIPmemccpy(), SCIPreleaseCons(), SCIPsnprintf(), SCIPvarGetName(), swapTokenBuffer(), syntaxError(), and TRUE.

Referenced by readLPFile().

static SCIP_RETCODE readLPFile ( SCIP scip,
LPINPUT lpinput,
const char *  filename 
)
static
static SCIP_DECL_HASHGETKEY ( hashGetKeyVar  )
static

hash key retrieval function for variables

Definition at line 2413 of file reader_lp.c.

static SCIP_DECL_HASHKEYEQ ( hashKeyEqVar  )
static

returns TRUE iff the indices of both variables are equal

Definition at line 2420 of file reader_lp.c.

References FALSE, and TRUE.

static SCIP_DECL_HASHKEYVAL ( hashKeyValVar  )
static

returns the hash value of the key

Definition at line 2429 of file reader_lp.c.

References NULL, SCIP_Bool, SCIPinfoMessage(), SCIPvarGetIndex(), SCIPvarGetName(), and SCIPvarGetProbindex().

static SCIP_RETCODE getActiveVariables ( SCIP scip,
SCIP_VAR ***  vars,
SCIP_Real **  scalars,
int *  nvars,
SCIP_Real constant,
SCIP_Bool  transformed 
)
static

transforms given variables, scalars, and constant to the corresponding active variables, scalars, and constant

Parameters
scipSCIP data structure
varspointer to vars array to get active variables for
scalarspointer to scalars a_1, ..., a_n in linear sum a_1*x_1 + ... + a_n*x_n + c
nvarspointer to number of variables and values in vars and vals array
constantpointer to constant c in linear sum a_1*x_1 + ... + a_n*x_n + c
transformedtransformed constraint?

Definition at line 2472 of file reader_lp.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPgetProbvarLinearSum(), SCIPreallocBufferArray, SCIPvarGetOrigvarSum(), and TRUE.

Referenced by printAggregatedCons(), and printQuadraticCons().

static void clearLine ( char *  linebuffer,
int *  linecnt 
)
static

clears the given line buffer

Parameters
linebufferline
linecntnumber of characters in line

Definition at line 2517 of file reader_lp.c.

References NULL.

Referenced by endLine(), printRow(), printSOCCons(), printSosCons(), and SCIPwriteLp().

static void endLine ( SCIP scip,
FILE *  file,
char *  linebuffer,
int *  linecnt 
)
static

ends the given line with '\0' and prints it to the given file stream

Parameters
scipSCIP data structure
fileoutput file (or NULL for standard output)
linebufferline
linecntnumber of characters in line

Definition at line 2531 of file reader_lp.c.

References clearLine(), NULL, and SCIPinfoMessage().

Referenced by appendLine(), printRow(), printSOCCons(), printSosCons(), and SCIPwriteLp().

static void appendLine ( SCIP scip,
FILE *  file,
char *  linebuffer,
int *  linecnt,
const char *  extension 
)
static

appends extension to line and prints it to the give file stream if the line exceeded the length given in the define LP_PRINTLEN

Parameters
scipSCIP data structure
fileoutput file (or NULL for standard output)
linebufferline
linecntnumber of characters in line
extensionstring to extent the line

Definition at line 2553 of file reader_lp.c.

References endLine(), LP_MAX_PRINTLEN, LP_PRINTLEN, NULL, and SCIPdebugMessage.

Referenced by printRow(), printSOCCons(), printSosCons(), and SCIPwriteLp().

static void printRow ( SCIP scip,
FILE *  file,
const char *  rowname,
const char *  rownameextension,
const char *  type,
SCIP_VAR **  linvars,
SCIP_Real linvals,
int  nlinvars,
SCIP_QUADVARTERM quadvarterms,
int  nquadvarterms,
SCIP_BILINTERM bilinterms,
int  nbilinterms,
SCIP_Real  rhs 
)
static
Parameters
scipSCIP data structure
fileoutput file (or NULL for standard output)
rownamerow name
rownameextensionrow name extension
typerow type ("=", "<=", or ">=")
linvarsarray of linear variables
linvalsarray of linear coefficient values
nlinvarsnumber of linear variables
quadvartermsquadratic variable terms
nquadvartermsnumber of quadratic variable terms
bilintermsbilinear terms
nbilintermsnumber of bilinear terms
rhsright hand side

Definition at line 2584 of file reader_lp.c.

References appendLine(), clearLine(), endLine(), LP_MAX_NAMELEN, LP_MAX_PRINTLEN, NULL, SCIPisZero(), SCIPsnprintf(), and SCIPvarGetName().

Referenced by printAggregatedCons(), and printQuadraticCons().

static SCIP_RETCODE printQuadraticCons ( SCIP scip,
FILE *  file,
const char *  rowname,
SCIP_VAR **  linvars,
SCIP_Real linvals,
int  nlinvars,
SCIP_QUADVARTERM quadvarterms,
int  nquadvarterms,
SCIP_BILINTERM bilinterms,
int  nbilinterms,
SCIP_Real  lhs,
SCIP_Real  rhs,
SCIP_Bool  transformed 
)
static

prints given (linear or) quadratic constraint information in LP format to file stream

Parameters
scipSCIP data structure
fileoutput file (or NULL for standard output)
rownamename of the row
linvarsarray of linear variables
linvalsarray of linear coefficients values (or NULL if all linear coefficient values are 1)
nlinvarsnumber of linear variables
quadvartermsquadratic variable terms
nquadvartermsnumber of quadratic variable terms
bilintermsbilinear terms
nbilintermsnumber of bilinear terms
lhsleft hand side
rhsright hand side
transformedtransformed constraint?

Definition at line 2719 of file reader_lp.c.

References getActiveVariables(), NULL, printRow(), SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPallocBufferArray, SCIPduplicateBufferArray, SCIPfreeBufferArray, SCIPisEQ(), and SCIPisInfinity().

Referenced by printAndCons(), and SCIPwriteLp().

static void printSosCons ( SCIP scip,
FILE *  file,
const char *  rowname,
SCIP_VAR **  vars,
SCIP_Real weights,
int  nvars,
int  type 
)
static

prints given SOS constraint information in LP format to file stream

Parameters
scipSCIP data structure
fileoutput file (or NULL for standard output)
rownamename of the row
varsarray of variables
weightsarray of weight values (or NULL)
nvarsnumber of variables
typeSOS type (SOS1 or SOS2)

Definition at line 2818 of file reader_lp.c.

References appendLine(), clearLine(), endLine(), LP_MAX_NAMELEN, LP_MAX_PRINTLEN, NULL, SCIPsnprintf(), and SCIPvarGetName().

Referenced by SCIPwriteLp().

static SCIP_RETCODE printSOCCons ( SCIP scip,
FILE *  file,
const char *  rowname,
SCIP_CONS cons 
)
static

prints given soc constraint in LP format to file stream

Parameters
scipSCIP data structure
fileoutput file (or NULL for standard output)
rownamename of the row
conssecond order cone constraint

Definition at line 2877 of file reader_lp.c.

References appendLine(), clearLine(), endLine(), LP_MAX_NAMELEN, LP_MAX_PRINTLEN, NULL, SCIP_OKAY, SCIP_Real, SCIPgetLhsCoefsSOC(), SCIPgetLhsConstantSOC(), SCIPgetLhsOffsetsSOC(), SCIPgetLhsVarsSOC(), SCIPgetNLhsVarsSOC(), SCIPgetRhsCoefSOC(), SCIPgetRhsOffsetSOC(), SCIPgetRhsVarSOC(), SCIPisZero(), SCIPsnprintf(), and SCIPvarGetName().

Referenced by SCIPwriteLp().

static SCIP_RETCODE printAndCons ( SCIP scip,
FILE *  file,
const char *  consname,
SCIP_CONS cons,
SCIP_Bool  aggrlinearizationands,
SCIP_Bool  transformed 
)
static

prints a linearization of an and-constraint into the given file

Parameters
scipSCIP data structure
fileoutput file (or NULL for standard output)
consnamename of the constraint
consand constraint
aggrlinearizationandsprint weak or strong realaxation
transformedtransformed constraint?

Definition at line 3027 of file reader_lp.c.

References LP_MAX_NAMELEN, NULL, printQuadraticCons(), SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPallocBufferArray, SCIPfreeBufferArray, SCIPgetNVarsAnd(), SCIPgetResultantAnd(), SCIPgetVarsAnd(), SCIPinfinity(), and SCIPsnprintf().

Referenced by SCIPwriteLp().

static SCIP_RETCODE collectAggregatedVars ( SCIP scip,
SCIP_VAR **  vars,
int  nvars,
SCIP_VAR ***  aggvars,
int *  naggvars,
int *  saggvars,
SCIP_HASHTABLE varAggregated 
)
static

check whether given variables are aggregated and put them into an array without duplication

Parameters
scipSCIP data structure
varsvariable array
nvarsnumber of active variables in the problem
aggvarspointer to array storing the aggregated variables on output
naggvarspointer to number of aggregated variables on output
saggvarspointer to number of slots in aggvars array
varAggregatedhashtable for checking duplicates

Definition at line 3114 of file reader_lp.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIPcalcMemGrowSize(), SCIPhashtableExists(), SCIPhashtableInsert(), SCIPreallocBlockMemoryArray, and SCIPvarGetStatus().

Referenced by SCIPwriteLp().

static SCIP_RETCODE printAggregatedCons ( SCIP scip,
FILE *  file,
SCIP_Bool  transformed,
int  nvars,
int  nAggregatedVars,
SCIP_VAR **  aggregatedVars 
)
static

print aggregated variable-constraints

Parameters
scipSCIP data structure
fileoutput file (or NULL for standard output)
transformedTRUE iff problem is the transformed problem
nvarsnumber of active variables in the problem
nAggregatedVarsnumber of aggregated variables
aggregatedVarsarray storing the aggregated variables

Definition at line 3170 of file reader_lp.c.

References getActiveVariables(), LP_MAX_NAMELEN, NULL, printRow(), SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPallocBufferArray, SCIPfreeBufferArray, SCIPsnprintf(), and SCIPvarGetName().

Referenced by SCIPwriteLp().

static void checkVarnames ( SCIP scip,
SCIP_VAR **  vars,
int  nvars 
)
static

method check if the variable names are not longer than LP_MAX_NAMELEN

Parameters
scipSCIP data structure
varsarray of variables
nvarsnumber of variables

Definition at line 3223 of file reader_lp.c.

References FALSE, LP_MAX_NAMELEN, NULL, SCIP_Bool, SCIPvarGetName(), SCIPwarningMessage(), and TRUE.

Referenced by SCIPwriteLp().

static void checkConsnames ( SCIP scip,
SCIP_CONS **  conss,
int  nconss,
SCIP_Bool  transformed 
)
static

method check if the constraint names are not longer than LP_MAX_NAMELEN

Parameters
scipSCIP data structure
conssarray of constraints
nconssnumber of constraints
transformedTRUE iff problem is the transformed problem

Definition at line 3260 of file reader_lp.c.

References FALSE, LP_MAX_NAMELEN, NULL, SCIP_Bool, SCIP_Real, SCIPconsGetHdlr(), SCIPconsGetName(), SCIPconshdlrGetName(), SCIPconsIsEnabled(), SCIPconsIsTransformed(), SCIPgetLhsLinear(), SCIPisEQ(), SCIPwarningMessage(), and TRUE.

Referenced by SCIPwriteLp().

static SCIP_DECL_READERCOPY ( readerCopyLp  )
static

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

Definition at line 3331 of file reader_lp.c.

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

static SCIP_DECL_READERFREE ( readerFreeLp  )
static

destructor of reader to free user data (called when SCIP is exiting)

Definition at line 3345 of file reader_lp.c.

References NULL, READER_NAME, SCIP_OKAY, SCIPfreeMemory, SCIPreaderGetData(), and SCIPreaderGetName().

static SCIP_DECL_READERREAD ( readerReadLp  )
static

problem reading method of reader

Definition at line 3359 of file reader_lp.c.

References SCIP_CALL, SCIP_OKAY, and SCIPreadLp().

static SCIP_DECL_READERWRITE ( readerWriteLp  )
static

problem writing method of reader

Definition at line 3370 of file reader_lp.c.

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

SCIP_RETCODE SCIPreadLp ( 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 3421 of file reader_lp.c.

References FALSE, LP_MAX_LINELEN, LP_MAX_PUSHEDTOKENS, LP_START, NULL, readLPFile(), SCIP_CALL, SCIP_OBJSENSE_MINIMIZE, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_READERROR, SCIP_SUCCESS, SCIPallocMemoryArray, SCIPfreeMemoryArray, SCIPgetBoolParam(), and SCIPsetObjsense().

Referenced by SCIP_DECL_READERREAD().

SCIP_RETCODE SCIPwriteLp ( 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_CONS **  conss,
int  nconss,
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
conssarray with constraints of the problem
nconssnumber of constraints in the problem
resultpointer to store the result of the file writing call

Definition at line 3493 of file reader_lp.c.

References appendLine(), checkConsnames(), checkVarnames(), clearLine(), collectAggregatedVars(), DEFAULT_AGGRLINEARIZATION_ANDS, DEFAULT_LINEARIZE_ANDS, endLine(), LP_MAX_NAMELEN, LP_MAX_PRINTLEN, MAX, NULL, printAggregatedCons(), printAndCons(), printQuadraticCons(), printSOCCons(), printSosCons(), READER_NAME, SCIP_Bool, SCIP_CALL, SCIP_Longint, SCIP_OBJSENSE_MINIMIZE, SCIP_OKAY, SCIP_Real, SCIP_SETPPCTYPE_COVERING, SCIP_SETPPCTYPE_PACKING, SCIP_SETPPCTYPE_PARTITIONING, SCIP_SUCCESS, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_INTEGER, SCIPallocBlockMemoryArray, SCIPallocBufferArray, SCIPblkmem(), SCIPcalcHashtableSize(), SCIPconsGetHdlr(), SCIPconsGetName(), SCIPconshdlrGetConss(), SCIPconshdlrGetName(), SCIPconshdlrGetNConss(), SCIPconsIsDeleted(), SCIPconsIsEnabled(), SCIPconsIsTransformed(), SCIPdebugMessage, SCIPfindConshdlr(), SCIPfindReader(), SCIPfreeBlockMemoryArray, SCIPfreeBufferArray, SCIPgetBilinTermsQuadratic(), SCIPgetBinaryVarIndicator(), SCIPgetCapacityKnapsack(), SCIPgetCoefsLinearVarsQuadratic(), SCIPgetLhsLinear(), SCIPgetLhsQuadratic(), SCIPgetLhsVarbound(), SCIPgetLhsVarsSOC(), SCIPgetLinearConsIndicator(), SCIPgetLinearVarsQuadratic(), SCIPgetNBilinTermsQuadratic(), SCIPgetNLhsVarsSOC(), SCIPgetNLinearVarsQuadratic(), SCIPgetNQuadVarTermsQuadratic(), SCIPgetNVarsKnapsack(), SCIPgetNVarsLinear(), SCIPgetNVarsLogicor(), SCIPgetNVarsSetppc(), SCIPgetNVarsSOS1(), SCIPgetNVarsSOS2(), SCIPgetQuadVarTermsQuadratic(), SCIPgetRhsLinear(), SCIPgetRhsQuadratic(), SCIPgetRhsVarbound(), SCIPgetRhsVarSOC(), SCIPgetSlackVarIndicator(), SCIPgetTypeSetppc(), SCIPgetValsLinear(), SCIPgetVarsKnapsack(), SCIPgetVarsLinear(), SCIPgetVarsLogicor(), SCIPgetVarsSetppc(), SCIPgetVarsSOS1(), SCIPgetVarsSOS2(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetWeightsKnapsack(), SCIPgetWeightsSOS1(), SCIPgetWeightsSOS2(), SCIPhashmapCreate(), SCIPhashmapExists(), SCIPhashmapFree(), SCIPhashmapSetImage(), SCIPhashtableCreate(), SCIPhashtableFree(), SCIPinfinity(), SCIPinfoMessage(), SCIPisFeasEQ(), SCIPisInfinity(), SCIPisZero(), SCIPprintCons(), SCIPreaderGetData(), SCIPsnprintf(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetLbOriginal(), SCIPvarGetName(), SCIPvarGetNegatedVar(), SCIPvarGetObj(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), SCIPvarGetUbOriginal(), SCIPvarIsNegated(), SCIPwarningMessage(), and TRUE.

Referenced by SCIP_DECL_READERWRITE().

Variable Documentation

const char commentchars[] = "\\"
static

Definition at line 128 of file reader_lp.c.

Referenced by getNextLine().