lpi_spx2.cpp File Reference

Detailed Description

LP interface for SoPlex version 2.0 and higher.

Author

Matthias Miltenberger

Ambros Gleixner

This is an implementation of SCIP's LP interface for SoPlex using the extended and improved interface of SoPlex 2.0

For debugging purposes, the SoPlex results can be double checked with CPLEX if WITH_LPSCHECK is defined. This may yield false positives, since the LP is dumped to a file for transfering it to CPLEX, hence, precision may be lost.

Definition in file lpi_spx2.cpp.

#include "soplex.h"
#include "spxgithash.h"
#include "scip/pub_message.h"
#include <cassert>
#include "lpi/lpi.h"
#include "scip/bitencode.h"

Go to the source code of this file.

Macros
#define	STRONGBRANCH_RESTOREBASIS
#define	CHECK_SOPLEX_PARAM(x)
#define	SOPLEX_SUBVERSION   0
#define	SOPLEX_VERBLEVEL   5
#define	NULL   0
#define	SOPLEX_TRY(messagehdlr, x)
#define	SOPLEX_TRY_ABORT(x)
#define	COLS_PER_PACKET   SCIP_DUALPACKETSIZE
#define	ROWS_PER_PACKET   SCIP_DUALPACKETSIZE

Typedefs
typedef SCIP_DUALPACKET	COLPACKET
typedef SCIP_DUALPACKET	ROWPACKET

Functions
static SCIP_RETCODE	ensureCstatMem (SCIP_LPI *lpi, int num)
static SCIP_RETCODE	ensureRstatMem (SCIP_LPI *lpi, int num)
static int	colpacketNum (int ncols)
static int	rowpacketNum (int nrows)
static void	lpistatePack (SCIP_LPISTATE *lpistate, const int *cstat, const int *rstat)
static void	lpistateUnpack (const SCIP_LPISTATE *lpistate, int *cstat, int *rstat)
static SCIP_RETCODE	lpistateCreate (SCIP_LPISTATE **lpistate, BMS_BLKMEM *blkmem, int ncols, int nrows)
static void	lpistateFree (SCIP_LPISTATE **lpistate, BMS_BLKMEM *blkmem)
static void	invalidateSolution (SCIP_LPI *lpi)
Miscellaneous Methods
const char *	SCIPlpiGetSolverName (void)
const char *	SCIPlpiGetSolverDesc (void)
void *	SCIPlpiGetSolverPointer (SCIP_LPI *lpi)
LPI Creation and Destruction Methods
SCIP_RETCODE	SCIPlpiCreate (SCIP_LPI **lpi, SCIP_MESSAGEHDLR *messagehdlr, const char *name, SCIP_OBJSEN objsen)
SCIP_RETCODE	SCIPlpiFree (SCIP_LPI **lpi)
Modification Methods
SCIP_RETCODE	SCIPlpiLoadColLP (SCIP_LPI *lpi, SCIP_OBJSEN objsen, int ncols, const SCIP_Real *obj, const SCIP_Real *lb, const SCIP_Real *ub, char **colnames, int nrows, const SCIP_Real *lhs, const SCIP_Real *rhs, char **, int nnonz, const int *beg, const int *ind, const SCIP_Real *val)
SCIP_RETCODE	SCIPlpiAddCols (SCIP_LPI *lpi, int ncols, const SCIP_Real *obj, const SCIP_Real *lb, const SCIP_Real *ub, char **, int nnonz, const int *beg, const int *ind, const SCIP_Real *val)
SCIP_RETCODE	SCIPlpiDelCols (SCIP_LPI *lpi, int firstcol, int lastcol)
SCIP_RETCODE	SCIPlpiDelColset (SCIP_LPI *lpi, int *dstat)
SCIP_RETCODE	SCIPlpiAddRows (SCIP_LPI *lpi, int nrows, const SCIP_Real *lhs, const SCIP_Real *rhs, char **, int nnonz, const int *beg, const int *ind, const SCIP_Real *val)
SCIP_RETCODE	SCIPlpiDelRows (SCIP_LPI *lpi, int firstrow, int lastrow)
SCIP_RETCODE	SCIPlpiDelRowset (SCIP_LPI *lpi, int *dstat)
SCIP_RETCODE	SCIPlpiClear (SCIP_LPI *lpi)
SCIP_RETCODE	SCIPlpiChgBounds (SCIP_LPI *lpi, int ncols, const int *ind, const SCIP_Real *lb, const SCIP_Real *ub)
SCIP_RETCODE	SCIPlpiChgSides (SCIP_LPI *lpi, int nrows, const int *ind, const SCIP_Real *lhs, const SCIP_Real *rhs)
SCIP_RETCODE	SCIPlpiChgCoef (SCIP_LPI *lpi, int row, int col, SCIP_Real newval)
SCIP_RETCODE	SCIPlpiChgObjsen (SCIP_LPI *lpi, SCIP_OBJSEN objsen)
SCIP_RETCODE	SCIPlpiChgObj (SCIP_LPI *lpi, int ncols, int *ind, SCIP_Real *obj)
SCIP_RETCODE	SCIPlpiScaleRow (SCIP_LPI *lpi, int row, SCIP_Real scaleval)
SCIP_RETCODE	SCIPlpiScaleCol (SCIP_LPI *lpi, int col, SCIP_Real scaleval)
Data Accessing Methods
SCIP_RETCODE	SCIPlpiGetNRows (SCIP_LPI *lpi, int *nrows)
SCIP_RETCODE	SCIPlpiGetNCols (SCIP_LPI *lpi, int *ncols)
SCIP_RETCODE	SCIPlpiGetNNonz (SCIP_LPI *lpi, int *nnonz)
SCIP_RETCODE	SCIPlpiGetCols (SCIP_LPI *lpi, int firstcol, int lastcol, SCIP_Real *lb, SCIP_Real *ub, int *nnonz, int *beg, int *ind, SCIP_Real *val)
SCIP_RETCODE	SCIPlpiGetRows (SCIP_LPI *lpi, int firstrow, int lastrow, SCIP_Real *lhs, SCIP_Real *rhs, int *nnonz, int *beg, int *ind, SCIP_Real *val)
SCIP_RETCODE	SCIPlpiGetColNames (SCIP_LPI *lpi, int firstcol, int lastcol, char **colnames, char *namestorage, int namestoragesize, int *storageleft)
SCIP_RETCODE	SCIPlpiGetRowNames (SCIP_LPI *lpi, int firstrow, int lastrow, char **rownames, char *namestorage, int namestoragesize, int *storageleft)
SCIP_RETCODE	SCIPlpiGetObjsen (SCIP_LPI *lpi, SCIP_OBJSEN *objsen)
SCIP_RETCODE	SCIPlpiGetObj (SCIP_LPI *lpi, int firstcol, int lastcol, SCIP_Real *vals)
SCIP_RETCODE	SCIPlpiGetBounds (SCIP_LPI *lpi, int firstcol, int lastcol, SCIP_Real *lbs, SCIP_Real *ubs)
SCIP_RETCODE	SCIPlpiGetSides (SCIP_LPI *lpi, int firstrow, int lastrow, SCIP_Real *lhss, SCIP_Real *rhss)
SCIP_RETCODE	SCIPlpiGetCoef (SCIP_LPI *lpi, int row, int col, SCIP_Real *val)
Solving Methods
static SCIP_RETCODE	spxSolve (SCIP_LPI *lpi)
SCIP_RETCODE	SCIPlpiSolvePrimal (SCIP_LPI *lpi)
SCIP_RETCODE	SCIPlpiSolveDual (SCIP_LPI *lpi)
SCIP_RETCODE	SCIPlpiSolveBarrier (SCIP_LPI *lpi, SCIP_Bool crossover)
SCIP_RETCODE	SCIPlpiStartStrongbranch (SCIP_LPI *lpi)
SCIP_RETCODE	SCIPlpiEndStrongbranch (SCIP_LPI *lpi)
static SCIP_RETCODE	lpiStrongbranch (SCIP_LPI *lpi, int col, SCIP_Real psol, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, int *iter)
SCIP_RETCODE	SCIPlpiStrongbranchFrac (SCIP_LPI *lpi, int col, SCIP_Real psol, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, int *iter)
SCIP_RETCODE	SCIPlpiStrongbranchesFrac (SCIP_LPI *lpi, int *cols, int ncols, SCIP_Real *psols, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, int *iter)
SCIP_RETCODE	SCIPlpiStrongbranchInt (SCIP_LPI *lpi, int col, SCIP_Real psol, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, int *iter)
SCIP_RETCODE	SCIPlpiStrongbranchesInt (SCIP_LPI *lpi, int *cols, int ncols, SCIP_Real *psols, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, int *iter)
Solution Information Methods
SCIP_Bool	SCIPlpiWasSolved (SCIP_LPI *lpi)
SCIP_RETCODE	SCIPlpiGetSolFeasibility (SCIP_LPI *lpi, SCIP_Bool *primalfeasible, SCIP_Bool *dualfeasible)
SCIP_Bool	SCIPlpiExistsPrimalRay (SCIP_LPI *lpi)
SCIP_Bool	SCIPlpiHasPrimalRay (SCIP_LPI *lpi)
SCIP_Bool	SCIPlpiIsPrimalUnbounded (SCIP_LPI *lpi)
SCIP_Bool	SCIPlpiIsPrimalInfeasible (SCIP_LPI *lpi)
SCIP_Bool	SCIPlpiIsPrimalFeasible (SCIP_LPI *lpi)
SCIP_Bool	SCIPlpiExistsDualRay (SCIP_LPI *lpi)
SCIP_Bool	SCIPlpiHasDualRay (SCIP_LPI *lpi)
SCIP_Bool	SCIPlpiIsDualUnbounded (SCIP_LPI *lpi)
SCIP_Bool	SCIPlpiIsDualInfeasible (SCIP_LPI *lpi)
SCIP_Bool	SCIPlpiIsDualFeasible (SCIP_LPI *lpi)
SCIP_Bool	SCIPlpiIsOptimal (SCIP_LPI *lpi)
SCIP_Bool	SCIPlpiIsStable (SCIP_LPI *lpi)
SCIP_Bool	SCIPlpiIsObjlimExc (SCIP_LPI *lpi)
SCIP_Bool	SCIPlpiIsIterlimExc (SCIP_LPI *lpi)
SCIP_Bool	SCIPlpiIsTimelimExc (SCIP_LPI *lpi)
int	SCIPlpiGetInternalStatus (SCIP_LPI *lpi)
SCIP_RETCODE	SCIPlpiIgnoreInstability (SCIP_LPI *lpi, SCIP_Bool *success)
SCIP_RETCODE	SCIPlpiGetObjval (SCIP_LPI *lpi, SCIP_Real *objval)
SCIP_RETCODE	SCIPlpiGetSol (SCIP_LPI *lpi, SCIP_Real *objval, SCIP_Real *primsol, SCIP_Real *dualsol, SCIP_Real *activity, SCIP_Real *redcost)
SCIP_RETCODE	SCIPlpiGetPrimalRay (SCIP_LPI *lpi, SCIP_Real *ray)
SCIP_RETCODE	SCIPlpiGetDualfarkas (SCIP_LPI *lpi, SCIP_Real *dualfarkas)
SCIP_RETCODE	SCIPlpiGetIterations (SCIP_LPI *lpi, int *iterations)
SCIP_RETCODE	SCIPlpiGetRealSolQuality (SCIP_LPI *lpi, SCIP_LPSOLQUALITY qualityindicator, SCIP_Real *quality)
LP Basis Methods
SCIP_RETCODE	SCIPlpiGetBase (SCIP_LPI *lpi, int *cstat, int *rstat)
SCIP_RETCODE	SCIPlpiSetBase (SCIP_LPI *lpi, int *cstat, int *rstat)
SCIP_RETCODE	SCIPlpiGetBasisInd (SCIP_LPI *lpi, int *bind)
SCIP_RETCODE	SCIPlpiGetBInvRow (SCIP_LPI *lpi, int r, SCIP_Real *coef, int *inds, int *ninds)
SCIP_RETCODE	SCIPlpiGetBInvCol (SCIP_LPI *lpi, int c, SCIP_Real *coef, int *inds, int *ninds)
SCIP_RETCODE	SCIPlpiGetBInvARow (SCIP_LPI *lpi, int r, const SCIP_Real *binvrow, SCIP_Real *coef, int *inds, int *ninds)
SCIP_RETCODE	SCIPlpiGetBInvACol (SCIP_LPI *lpi, int c, SCIP_Real *coef, int *inds, int *ninds)
LP State Methods
SCIP_RETCODE	SCIPlpiGetState (SCIP_LPI *lpi, BMS_BLKMEM *blkmem, SCIP_LPISTATE **lpistate)
SCIP_RETCODE	SCIPlpiSetState (SCIP_LPI *lpi, BMS_BLKMEM *, SCIP_LPISTATE *lpistate)
SCIP_RETCODE	SCIPlpiClearState (SCIP_LPI *lpi)
SCIP_RETCODE	SCIPlpiFreeState (SCIP_LPI *lpi, BMS_BLKMEM *blkmem, SCIP_LPISTATE **lpistate)
SCIP_Bool	SCIPlpiHasStateBasis (SCIP_LPI *lpi, SCIP_LPISTATE *lpistate)
SCIP_RETCODE	SCIPlpiReadState (SCIP_LPI *lpi, const char *fname)
SCIP_RETCODE	SCIPlpiWriteState (SCIP_LPI *lpi, const char *fname)
LP Pricing Norms Methods
SCIP_RETCODE	SCIPlpiGetNorms (SCIP_LPI *lpi, BMS_BLKMEM *blkmem, SCIP_LPINORMS **lpinorms)
SCIP_RETCODE	SCIPlpiSetNorms (SCIP_LPI *lpi, BMS_BLKMEM *blkmem, SCIP_LPINORMS *lpinorms)
SCIP_RETCODE	SCIPlpiFreeNorms (SCIP_LPI *lpi, BMS_BLKMEM *blkmem, SCIP_LPINORMS **lpinorms)
Parameter Methods
SCIP_RETCODE	SCIPlpiGetIntpar (SCIP_LPI *lpi, SCIP_LPPARAM type, int *ival)
SCIP_RETCODE	SCIPlpiSetIntpar (SCIP_LPI *lpi, SCIP_LPPARAM type, int ival)
SCIP_RETCODE	SCIPlpiGetRealpar (SCIP_LPI *lpi, SCIP_LPPARAM type, SCIP_Real *dval)
SCIP_RETCODE	SCIPlpiSetRealpar (SCIP_LPI *lpi, SCIP_LPPARAM type, SCIP_Real dval)
Numerical Methods
SCIP_Real	SCIPlpiInfinity (SCIP_LPI *lpi)
SCIP_Bool	SCIPlpiIsInfinity (SCIP_LPI *lpi, SCIP_Real val)
File Interface Methods
static SCIP_Bool	fileExists (const char *filename)
SCIP_RETCODE	SCIPlpiReadLP (SCIP_LPI *lpi, const char *fname)
SCIP_RETCODE	SCIPlpiWriteLP (SCIP_LPI *lpi, const char *fname)

Variables
static char	spxname [100]
static char	spxdesc [200]

Macro Definition Documentation

#define STRONGBRANCH_RESTOREBASIS

if defined then in SCIPlpiStrongbranch() we restore the basis after the down branch and after the up branch; if false only after the end of a strong branching phase, which however seems to mostly increase strong branching time and iterations

Definition at line 30 of file lpi_spx2.cpp.

#define CHECK_SOPLEX_PARAM

(

x

)

Value:

if( !x )                                                                             \
   {                                                                                    \
      SCIPmessagePrintWarning(_messagehdlr, "SoPlex: unsupported parameter value\n");   \
   }

Definition at line 68 of file lpi_spx2.cpp.

#define SOPLEX_SUBVERSION   0

Definition at line 85 of file lpi_spx2.cpp.

Referenced by SCIPlpiGetSolverName().

#define SOPLEX_VERBLEVEL   5

verbosity level for LPINFO

Definition at line 102 of file lpi_spx2.cpp.

Referenced by lpiStrongbranch(), SCIPlpiCreate(), and spxSolve().

#define NULL   0

Definition at line 112 of file lpi_spx2.cpp.

Referenced by ensureCstatMem(), ensureRstatMem(), fileExists(), lpistateCreate(), lpistateFree(), lpistatePack(), lpistateUnpack(), lpiStrongbranch(), SCIPlpiAddCols(), SCIPlpiAddRows(), SCIPlpiChgBounds(), SCIPlpiChgCoef(), SCIPlpiChgObj(), SCIPlpiChgObjsen(), SCIPlpiChgSides(), SCIPlpiClear(), SCIPlpiClearState(), SCIPlpiCreate(), SCIPlpiDelCols(), SCIPlpiDelColset(), SCIPlpiDelRows(), SCIPlpiDelRowset(), SCIPlpiExistsDualRay(), SCIPlpiExistsPrimalRay(), SCIPlpiFree(), SCIPlpiFreeNorms(), SCIPlpiFreeState(), SCIPlpiGetBase(), SCIPlpiGetBasisInd(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvARow(), SCIPlpiGetBInvCol(), SCIPlpiGetBInvRow(), SCIPlpiGetBounds(), SCIPlpiGetCoef(), SCIPlpiGetColNames(), SCIPlpiGetCols(), SCIPlpiGetDualfarkas(), SCIPlpiGetInternalStatus(), SCIPlpiGetIntpar(), SCIPlpiGetIterations(), SCIPlpiGetNCols(), SCIPlpiGetNNonz(), SCIPlpiGetNorms(), SCIPlpiGetNRows(), SCIPlpiGetObj(), SCIPlpiGetObjsen(), SCIPlpiGetObjval(), SCIPlpiGetPrimalRay(), SCIPlpiGetRealpar(), SCIPlpiGetRealSolQuality(), SCIPlpiGetRowNames(), SCIPlpiGetRows(), SCIPlpiGetSides(), SCIPlpiGetSol(), SCIPlpiGetSolFeasibility(), SCIPlpiGetState(), SCIPlpiHasDualRay(), SCIPlpiHasPrimalRay(), SCIPlpiIgnoreInstability(), SCIPlpiIsDualFeasible(), SCIPlpiIsDualInfeasible(), SCIPlpiIsDualUnbounded(), SCIPlpiIsIterlimExc(), SCIPlpiIsObjlimExc(), SCIPlpiIsOptimal(), SCIPlpiIsPrimalFeasible(), SCIPlpiIsPrimalInfeasible(), SCIPlpiIsPrimalUnbounded(), SCIPlpiIsStable(), SCIPlpiIsTimelimExc(), SCIPlpiLoadColLP(), SCIPlpiReadLP(), SCIPlpiScaleCol(), SCIPlpiScaleRow(), SCIPlpiSetBase(), SCIPlpiSetIntpar(), SCIPlpiSetNorms(), SCIPlpiSetRealpar(), SCIPlpiSetState(), SCIPlpiSolveDual(), SCIPlpiSolvePrimal(), SCIPlpiStrongbranchesFrac(), SCIPlpiStrongbranchesInt(), SCIPlpiWasSolved(), SCIPlpiWriteLP(), and spxSolve().

#define SOPLEX_TRY	(		messagehdlr,
			x
	)

Value:

do                                  \
   {                                                                    \
      try                                                               \
      {                                                                 \
         (x);                                                           \
      }                                                                 \
      catch(const SPxException& E)                                      \
      {                                                                 \
         std::string s = E.what();                                      \
         SCIPmessagePrintWarning((messagehdlr), "SoPlex threw an exception: %s\n", s.c_str()); \
         return SCIP_LPERROR;                                           \
      }                                                                 \
   }                                                                    \
   while( FALSE )

Macro for a single SoPlex call for which exceptions have to be catched - return an LP error. We make no distinction between different exception types, e.g., between memory allocation and other exceptions.

Definition at line 123 of file lpi_spx2.cpp.

Referenced by SCIPlpiChgCoef(), SCIPlpiChgObjsen(), SCIPlpiClear(), SCIPlpiCreate(), SCIPlpiDelCols(), SCIPlpiDelColset(), SCIPlpiDelRows(), SCIPlpiDelRowset(), SCIPlpiReadState(), SCIPlpiSetBase(), and SCIPlpiWriteState().

#define SOPLEX_TRY_ABORT

(

x

)

Value:

do                                         \
   {                                                                    \
      try                                                               \
      {                                                                 \
         (x);                                                           \
      }                                                                 \
      catch(const SPxException& E)                                      \
      {                                                                 \
         std::string s = E.what();                                      \
         SCIPerrorMessage("SoPlex threw an exception: %s\n", s.c_str()); \
         abort();                                                       \
      }                                                                 \
   }                                                                    \
   while( FALSE )

Definition at line 156 of file lpi_spx2.cpp.

#define COLS_PER_PACKET   SCIP_DUALPACKETSIZE

Definition at line 685 of file lpi_spx2.cpp.

Referenced by colpacketNum().

#define ROWS_PER_PACKET   SCIP_DUALPACKETSIZE

Definition at line 687 of file lpi_spx2.cpp.

Referenced by rowpacketNum().

Typedef Documentation

typedef SCIP_DUALPACKET COLPACKET

Definition at line 684 of file lpi_spx2.cpp.

typedef SCIP_DUALPACKET ROWPACKET

Definition at line 686 of file lpi_spx2.cpp.

Function Documentation

static SCIP_RETCODE ensureCstatMem ( SCIP_LPI *  lpi, int  num  )

static

resizes cstat array to have at least num entries

Parameters

lpi	LP interface structure
num	minimal number of entries in array

Definition at line 731 of file lpi_spx2.cpp.

References BMSreallocMemoryArray, SCIP_LPi::cstat, SCIP_LPi::cstatsize, ensureRstatMem(), MAX, NULL, SCIP_ALLOC, and SCIP_OKAY.

Referenced by SCIPlpiGetState(), and SCIPlpiSetState().

static SCIP_RETCODE ensureRstatMem ( SCIP_LPI *  lpi, int  num  )

static

resizes rstat array to have at least num entries

Parameters

lpi	LP interface structure
num	minimal number of entries in array

Definition at line 753 of file lpi_spx2.cpp.

References BMSreallocMemoryArray, colpacketNum(), MAX, NULL, SCIP_LPi::rstat, SCIP_LPi::rstatsize, SCIP_ALLOC, and SCIP_OKAY.

Referenced by ensureCstatMem(), SCIPlpiGetState(), and SCIPlpiSetState().

static int colpacketNum ( int  ncols )

static

returns the number of packets needed to store column packet information

Parameters

ncols

number of columns to store

Definition at line 782 of file lpi_spx2.cpp.

References COLS_PER_PACKET, and rowpacketNum().

Referenced by ensureRstatMem(), lpistateCreate(), and lpistateFree().

static int rowpacketNum ( int  nrows )

static

returns the number of packets needed to store row packet information

Parameters

nrows

number of rows to store

Definition at line 791 of file lpi_spx2.cpp.

References lpistatePack(), and ROWS_PER_PACKET.

Referenced by colpacketNum(), lpistateCreate(), and lpistateFree().

static void lpistatePack ( SCIP_LPISTATE *  lpistate, const int *  cstat, const int *  rstat  )

static

store row and column basis status in a packed LPi state object

Parameters

lpistate	pointer to LPi state data
cstat	basis status of columns in unpacked format
rstat	basis status of rows in unpacked format

Definition at line 800 of file lpi_spx2.cpp.

References lpistateUnpack(), SCIP_LPiState::ncols, SCIP_LPiState::nrows, NULL, SCIP_LPiState::packcstat, SCIP_LPiState::packrstat, and SCIPencodeDualBit().

Referenced by rowpacketNum(), and SCIPlpiGetState().

static void lpistateUnpack ( const SCIP_LPISTATE *  lpistate, int *  cstat, int *  rstat  )

static

unpacks row and column basis status from a packed LPi state object

Parameters

lpistate	pointer to LPi state data
cstat	buffer for storing basis status of columns in unpacked format
rstat	buffer for storing basis status of rows in unpacked format

Definition at line 816 of file lpi_spx2.cpp.

References lpistateCreate(), SCIP_LPiState::ncols, SCIP_LPiState::nrows, NULL, SCIP_LPiState::packcstat, SCIP_LPiState::packrstat, and SCIPdecodeDualBit().

Referenced by lpistatePack(), and SCIPlpiSetState().

static SCIP_RETCODE lpistateCreate ( SCIP_LPISTATE **  lpistate, BMS_BLKMEM *  blkmem, int  ncols, int  nrows  )

static

creates LPi state information object

Parameters

lpistate	pointer to LPi state
blkmem	block memory
ncols	number of columns to store
nrows	number of rows to store

Definition at line 832 of file lpi_spx2.cpp.

References BMSallocBlockMemory, BMSallocBlockMemoryArray, colpacketNum(), lpistateFree(), NULL, rowpacketNum(), SCIP_ALLOC, and SCIP_OKAY.

Referenced by lpistateUnpack(), and SCIPlpiGetState().

static void lpistateFree ( SCIP_LPISTATE **  lpistate, BMS_BLKMEM *  blkmem  )

static

frees LPi state information

Parameters

lpistate	pointer to LPi state information (like basis information)
blkmem	block memory

Definition at line 856 of file lpi_spx2.cpp.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, colpacketNum(), invalidateSolution(), NULL, and rowpacketNum().

Referenced by lpistateCreate(), and SCIPlpiFreeState().

static void invalidateSolution ( SCIP_LPI *  lpi )

static

marks the current LP to be unsolved

Definition at line 883 of file lpi_spx2.cpp.

Referenced by lpistateFree(), SCIPlpiAddCols(), SCIPlpiAddRows(), SCIPlpiChgBounds(), SCIPlpiChgCoef(), SCIPlpiChgObj(), SCIPlpiChgObjsen(), SCIPlpiChgSides(), SCIPlpiClear(), SCIPlpiCreate(), SCIPlpiDelCols(), SCIPlpiDelColset(), SCIPlpiDelRows(), SCIPlpiDelRowset(), SCIPlpiLoadColLP(), SCIPlpiScaleCol(), SCIPlpiScaleRow(), SCIPlpiSetBase(), and spxSolve().

const char* SCIPlpiGetSolverName

(

void

)

gets name and version of LP solver

Definition at line 907 of file lpi_spx2.cpp.

References SCIPdebugMessage, SCIPlpiGetSolverDesc(), SOPLEX_SUBVERSION, and spxname.

const char* SCIPlpiGetSolverDesc

(

void

)

gets description of LP solver (developer, webpage, ...)

Definition at line 922 of file lpi_spx2.cpp.

References SCIPlpiGetSolverPointer(), and spxdesc.

Referenced by SCIPlpiGetSolverName().

void* SCIPlpiGetSolverPointer

(

SCIP_LPI *

lpi

)

gets pointer for LP solver - use only with great care

Parameters

lpi	pointer to an LP interface structure

Definition at line 935 of file lpi_spx2.cpp.

References SCIPlpiCreate(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetSolverDesc().

SCIP_RETCODE SCIPlpiCreate	(	SCIP_LPI **	lpi,
		SCIP_MESSAGEHDLR *	messagehdlr,
		const char *	name,
		SCIP_OBJSEN	objsen
	)

creates an LP problem object

Parameters

lpi	pointer to an LP interface structure
messagehdlr	message handler to use for printing messages, or NULL
name	problem name
objsen	objective sense

Definition at line 954 of file lpi_spx2.cpp.

References BMSallocMemory, BMSallocMemoryCPP, FALSE, invalidateSolution(), NULL, SCIP_ALLOC, SCIP_CALL, SCIP_LPPAR_PRICING, SCIP_OKAY, SCIP_PRICING_LPIDEFAULT, SCIPlpiChgObjsen(), SCIPlpiFree(), SCIPlpiSetIntpar(), SOPLEX_TRY, and SOPLEX_VERBLEVEL.

Referenced by SCIPlpiGetSolverPointer().

SCIP_RETCODE SCIPlpiFree

(

SCIP_LPI **

lpi

)

deletes an LP problem object

Parameters

lpi	pointer to an LP interface structure

Definition at line 1001 of file lpi_spx2.cpp.

References BMSfreeMemory, BMSfreeMemoryArrayNull, NULL, SCIP_OKAY, and SCIPlpiLoadColLP().

Referenced by SCIPlpiCreate().

SCIP_RETCODE SCIPlpiLoadColLP	(	SCIP_LPI *	lpi,
		SCIP_OBJSEN	objsen,
		int	ncols,
		const SCIP_Real *	obj,
		const SCIP_Real *	lb,
		const SCIP_Real *	ub,
		char **	colnames,
		int	nrows,
		const SCIP_Real *	lhs,
		const SCIP_Real *	rhs,
		char **	,
		int	nnonz,
		const int *	beg,
		const int *	ind,
		const SCIP_Real *	val
	)

copies LP data with column matrix into LP solver

Parameters

lpi	LP interface structure
objsen	objective sense
ncols	number of columns
obj	objective function values of columns
lb	lower bounds of columns
ub	upper bounds of columns
colnames	column names, or NULL
nrows	number of rows
lhs	left hand sides of rows
rhs	right hand sides of rows
nnonz	number of nonzero elements in the constraint matrix
beg	start index of each column in ind- and val-array
ind	row indices of constraint matrix entries
val	values of constraint matrix entries

Definition at line 1034 of file lpi_spx2.cpp.

References invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_CALL, SCIP_LPERROR, SCIP_OBJSEN_MINIMIZE, SCIP_OKAY, SCIPdebugMessage, SCIPlpiAddCols(), SCIPmessagePrintWarning(), and SCIP_LPi::spx.

Referenced by SCIPlpiFree().

SCIP_RETCODE SCIPlpiAddCols	(	SCIP_LPI *	lpi,
		int	ncols,
		const SCIP_Real *	obj,
		const SCIP_Real *	lb,
		const SCIP_Real *	ub,
		char **	,
		int	nnonz,
		const int *	beg,
		const int *	ind,
		const SCIP_Real *	val
	)

adds columns to the LP

Parameters

lpi	LP interface structure
ncols	number of columns to be added
obj	objective function values of new columns
lb	lower bounds of new columns
ub	upper bounds of new columns
nnonz	number of nonzero elements to be added to the constraint matrix
beg	start index of each column in ind- and val-array, or NULL if nnonz == 0
ind	row indices of constraint matrix entries, or NULL if nnonz == 0
val	values of constraint matrix entries, or NULL if nnonz == 0

Definition at line 1095 of file lpi_spx2.cpp.

References invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiDelCols(), SCIPmessagePrintWarning(), and SCIP_LPi::spx.

Referenced by SCIPlpiLoadColLP().

SCIP_RETCODE SCIPlpiDelCols	(	SCIP_LPI *	lpi,
		int	firstcol,
		int	lastcol
	)

deletes all columns in the given range from LP

Parameters

lpi	LP interface structure
firstcol	first column to be deleted
lastcol	last column to be deleted

Definition at line 1159 of file lpi_spx2.cpp.

References invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiDelColset(), SOPLEX_TRY, and SCIP_LPi::spx.

Referenced by SCIPlpiAddCols().

SCIP_RETCODE SCIPlpiDelColset	(	SCIP_LPI *	lpi,
		int *	dstat
	)

deletes columns from SCIP_LP; the new position of a column must not be greater that its old position

Parameters

lpi	LP interface structure
dstat	deletion status of columns input: 1 if column should be deleted, 0 if not output: new position of column, -1 if column was deleted

Definition at line 1181 of file lpi_spx2.cpp.

References invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiAddRows(), SOPLEX_TRY, and SCIP_LPi::spx.

Referenced by SCIPlpiDelCols().

SCIP_RETCODE SCIPlpiAddRows	(	SCIP_LPI *	lpi,
		int	nrows,
		const SCIP_Real *	lhs,
		const SCIP_Real *	rhs,
		char **	,
		int	nnonz,
		const int *	beg,
		const int *	ind,
		const SCIP_Real *	val
	)

adds rows to the LP

Parameters

lpi	LP interface structure
nrows	number of rows to be added
lhs	left hand sides of new rows
rhs	right hand sides of new rows
nnonz	number of nonzero elements to be added to the constraint matrix
beg	start index of each row in ind- and val-array, or NULL if nnonz == 0
ind	column indices of constraint matrix entries, or NULL if nnonz == 0
val	values of constraint matrix entries, or NULL if nnonz == 0

Definition at line 1212 of file lpi_spx2.cpp.

References invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiDelRows(), SCIPmessagePrintWarning(), and SCIP_LPi::spx.

Referenced by SCIPlpiDelColset().

SCIP_RETCODE SCIPlpiDelRows	(	SCIP_LPI *	lpi,
		int	firstrow,
		int	lastrow
	)

deletes all rows in the given range from LP

Parameters

lpi	LP interface structure
firstrow	first row to be deleted
lastrow	last row to be deleted

Definition at line 1274 of file lpi_spx2.cpp.

References invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiDelRowset(), SOPLEX_TRY, and SCIP_LPi::spx.

Referenced by SCIPlpiAddRows().

SCIP_RETCODE SCIPlpiDelRowset	(	SCIP_LPI *	lpi,
		int *	dstat
	)

deletes rows from SCIP_LP; the new position of a row must not be greater that its old position

Parameters

lpi	LP interface structure
dstat	deletion status of rows input: 1 if row should be deleted, 0 if not output: new position of row, -1 if row was deleted

Definition at line 1296 of file lpi_spx2.cpp.

References invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiClear(), SOPLEX_TRY, and SCIP_LPi::spx.

Referenced by SCIPlpiDelRows().

SCIP_RETCODE SCIPlpiClear

(

SCIP_LPI *

lpi

)

clears the whole LP

Parameters

lpi	LP interface structure

Definition at line 1327 of file lpi_spx2.cpp.

References invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiChgBounds(), SOPLEX_TRY, and SCIP_LPi::spx.

Referenced by SCIPlpiDelRowset().

SCIP_RETCODE SCIPlpiChgBounds	(	SCIP_LPI *	lpi,
		int	ncols,
		const int *	ind,
		const SCIP_Real *	lb,
		const SCIP_Real *	ub
	)

changes lower and upper bounds of columns

Parameters

lpi	LP interface structure
ncols	number of columns to change bounds for
ind	column indices
lb	values for the new lower bounds
ub	values for the new upper bounds

Definition at line 1345 of file lpi_spx2.cpp.

References invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiChgSides(), SCIPmessagePrintWarning(), and SCIP_LPi::spx.

Referenced by SCIPlpiClear().

SCIP_RETCODE SCIPlpiChgSides	(	SCIP_LPI *	lpi,
		int	nrows,
		const int *	ind,
		const SCIP_Real *	lhs,
		const SCIP_Real *	rhs
	)

changes left and right hand sides of rows

Parameters

lpi	LP interface structure
nrows	number of rows to change sides for
ind	row indices
lhs	new values for left hand sides
rhs	new values for right hand sides

Definition at line 1389 of file lpi_spx2.cpp.

References invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiChgCoef(), SCIPmessagePrintWarning(), and SCIP_LPi::spx.

Referenced by SCIPlpiChgBounds().

SCIP_RETCODE SCIPlpiChgCoef	(	SCIP_LPI *	lpi,
		int	row,
		int	col,
		SCIP_Real	newval
	)

changes a single coefficient

Parameters

lpi	LP interface structure
row	row number of coefficient to change
col	column number of coefficient to change
newval	new value of coefficient

Definition at line 1433 of file lpi_spx2.cpp.

References invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiChgObjsen(), SOPLEX_TRY, and SCIP_LPi::spx.

Referenced by SCIPlpiChgSides().

SCIP_RETCODE SCIPlpiChgObjsen	(	SCIP_LPI *	lpi,
		SCIP_OBJSEN	objsen
	)

changes the objective sense

Parameters

lpi	LP interface structure
objsen	new objective sense

Definition at line 1457 of file lpi_spx2.cpp.

References invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_OBJSEN_MINIMIZE, SCIP_OKAY, SCIPdebugMessage, SCIPlpiChgObj(), SOPLEX_TRY, and SCIP_LPi::spx.

Referenced by SCIPlpiChgCoef(), and SCIPlpiCreate().

SCIP_RETCODE SCIPlpiChgObj	(	SCIP_LPI *	lpi,
		int	ncols,
		int *	ind,
		SCIP_Real *	obj
	)

changes objective values of columns in the LP

Parameters

lpi	LP interface structure
ncols	number of columns to change objective value for
ind	column indices to change objective value for
obj	new objective values for columns

Definition at line 1477 of file lpi_spx2.cpp.

References invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiScaleRow(), SCIPmessagePrintWarning(), and SCIP_LPi::spx.

Referenced by SCIPlpiChgObjsen().

SCIP_RETCODE SCIPlpiScaleRow	(	SCIP_LPI *	lpi,
		int	row,
		SCIP_Real	scaleval
	)

multiplies a row with a non-zero scalar; for negative scalars, the row's sense is switched accordingly

Parameters

lpi	LP interface structure
row	row number to scale
scaleval	scaling multiplier

Definition at line 1518 of file lpi_spx2.cpp.

References invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiScaleCol(), SCIPmessagePrintWarning(), and SCIP_LPi::spx.

Referenced by SCIPlpiChgObj().

SCIP_RETCODE SCIPlpiScaleCol	(	SCIP_LPI *	lpi,
		int	col,
		SCIP_Real	scaleval
	)

multiplies a column with a non-zero scalar; the objective value is multiplied with the scalar, and the bounds are divided by the scalar; for negative scalars, the column's bounds are switched

Parameters

lpi	LP interface structure
col	column number to scale
scaleval	scaling multiplier

Definition at line 1585 of file lpi_spx2.cpp.

References invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiGetNRows(), SCIPmessagePrintWarning(), and SCIP_LPi::spx.

Referenced by SCIPlpiScaleRow().

SCIP_RETCODE SCIPlpiGetNRows	(	SCIP_LPI *	lpi,
		int *	nrows
	)

gets the number of rows in the LP

Parameters

lpi	LP interface structure
nrows	pointer to store the number of rows

Definition at line 1667 of file lpi_spx2.cpp.

References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetNCols(), and SCIP_LPi::spx.

Referenced by SCIPlpiScaleCol().

SCIP_RETCODE SCIPlpiGetNCols	(	SCIP_LPI *	lpi,
		int *	ncols
	)

gets the number of columns in the LP

Parameters

lpi	LP interface structure
ncols	pointer to store the number of cols

Definition at line 1684 of file lpi_spx2.cpp.

References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetNNonz(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetNRows().

SCIP_RETCODE SCIPlpiGetNNonz	(	SCIP_LPI *	lpi,
		int *	nnonz
	)

gets the number of nonzero elements in the LP constraint matrix

Parameters

lpi	LP interface structure
nnonz	pointer to store the number of nonzeros

Definition at line 1701 of file lpi_spx2.cpp.

References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetCols(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetNCols().

SCIP_RETCODE SCIPlpiGetCols	(	SCIP_LPI *	lpi,
		int	firstcol,
		int	lastcol,
		SCIP_Real *	lb,
		SCIP_Real *	ub,
		int *	nnonz,
		int *	beg,
		int *	ind,
		SCIP_Real *	val
	)

gets columns from LP problem object; the arrays have to be large enough to store all values Either both, lb and ub, have to be NULL, or both have to be non-NULL, either nnonz, beg, ind, and val have to be NULL, or all of them have to be non-NULL.

Parameters

lpi	LP interface structure
firstcol	first column to get from LP
lastcol	last column to get from LP
lb	buffer to store the lower bound vector, or NULL
ub	buffer to store the upper bound vector, or NULL
nnonz	pointer to store the number of nonzero elements returned, or NULL
beg	buffer to store start index of each column in ind- and val-array, or NULL
ind	buffer to store column indices of constraint matrix entries, or NULL
val	buffer to store values of constraint matrix entries, or NULL

Definition at line 1734 of file lpi_spx2.cpp.

References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetRows(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetNNonz().

SCIP_RETCODE SCIPlpiGetRows	(	SCIP_LPI *	lpi,
		int	firstrow,
		int	lastrow,
		SCIP_Real *	lhs,
		SCIP_Real *	rhs,
		int *	nnonz,
		int *	beg,
		int *	ind,
		SCIP_Real *	val
	)

gets rows from LP problem object; the arrays have to be large enough to store all values. Either both, lhs and rhs, have to be NULL, or both have to be non-NULL, either nnonz, beg, ind, and val have to be NULL, or all of them have to be non-NULL.

Parameters

lpi	LP interface structure
firstrow	first row to get from LP
lastrow	last row to get from LP
lhs	buffer to store left hand side vector, or NULL
rhs	buffer to store right hand side vector, or NULL
nnonz	pointer to store the number of nonzero elements returned, or NULL
beg	buffer to store start index of each row in ind- and val-array, or NULL
ind	buffer to store row indices of constraint matrix entries, or NULL
val	buffer to store values of constraint matrix entries, or NULL

Definition at line 1799 of file lpi_spx2.cpp.

References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetColNames(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetCols().

SCIP_RETCODE SCIPlpiGetColNames	(	SCIP_LPI *	lpi,
		int	firstcol,
		int	lastcol,
		char **	colnames,
		char *	namestorage,
		int	namestoragesize,
		int *	storageleft
	)

gets column names

Parameters

lpi	LP interface structure
firstcol	first column to get name from LP
lastcol	last column to get name from LP
colnames	pointers to column names (of size at least lastcol-firstcol+1)
namestorage	storage for col names
namestoragesize	size of namestorage (if 0, storageleft returns the storage needed)
storageleft	amount of storage left (if < 0 the namestorage was not big enough)

Definition at line 1861 of file lpi_spx2.cpp.

References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetRowNames(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetRows().

SCIP_RETCODE SCIPlpiGetRowNames	(	SCIP_LPI *	lpi,
		int	firstrow,
		int	lastrow,
		char **	rownames,
		char *	namestorage,
		int	namestoragesize,
		int *	storageleft
	)

gets row names

Parameters

lpi	LP interface structure
firstrow	first row to get name from LP
lastrow	last row to get name from LP
rownames	pointers to row names (of size at least lastrow-firstrow+1)
namestorage	storage for row names
namestoragesize	size of namestorage (if 0, -storageleft returns the storage needed)
storageleft	amount of storage left (if < 0 the namestorage was not big enough)

Definition at line 1887 of file lpi_spx2.cpp.

References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetObjsen(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetColNames().

SCIP_RETCODE SCIPlpiGetObjsen	(	SCIP_LPI *	lpi,
		SCIP_OBJSEN *	objsen
	)

gets objective sense of the LP

Parameters

lpi	LP interface structure
objsen	pointer to store objective sense

Definition at line 1913 of file lpi_spx2.cpp.

References NULL, SCIP_OBJSEN_MAXIMIZE, SCIP_OBJSEN_MINIMIZE, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetObj(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetRowNames().

SCIP_RETCODE SCIPlpiGetObj	(	SCIP_LPI *	lpi,
		int	firstcol,
		int	lastcol,
		SCIP_Real *	vals
	)

gets objective coefficients from LP problem object

Parameters

lpi	LP interface structure
firstcol	first column to get objective coefficient for
lastcol	last column to get objective coefficient for
vals	array to store objective coefficients

Definition at line 1930 of file lpi_spx2.cpp.

References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetBounds(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetObjsen().

SCIP_RETCODE SCIPlpiGetBounds	(	SCIP_LPI *	lpi,
		int	firstcol,
		int	lastcol,
		SCIP_Real *	lbs,
		SCIP_Real *	ubs
	)

gets current bounds from LP problem object

Parameters

lpi	LP interface structure
firstcol	first column to get objective value for
lastcol	last column to get objective value for
lbs	array to store lower bound values, or NULL
ubs	array to store upper bound values, or NULL

Definition at line 1953 of file lpi_spx2.cpp.

References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetSides(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetObj().

SCIP_RETCODE SCIPlpiGetSides	(	SCIP_LPI *	lpi,
		int	firstrow,
		int	lastrow,
		SCIP_Real *	lhss,
		SCIP_Real *	rhss
	)

gets current row sides from LP problem object

Parameters

lpi	LP interface structure
firstrow	first row to get sides for
lastrow	last row to get sides for
lhss	array to store left hand side values, or NULL
rhss	array to store right hand side values, or NULL

Definition at line 1981 of file lpi_spx2.cpp.

References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetCoef(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetBounds().

SCIP_RETCODE SCIPlpiGetCoef	(	SCIP_LPI *	lpi,
		int	row,
		int	col,
		SCIP_Real *	val
	)

gets a single coefficient

Parameters

lpi	LP interface structure
row	row number of coefficient
col	column number of coefficient
val	pointer to store the value of the coefficient

Definition at line 2009 of file lpi_spx2.cpp.

References NULL, SCIP_OKAY, SCIPdebugMessage, SCIP_LPi::spx, and spxSolve().

Referenced by SCIPlpiGetSides().

static SCIP_RETCODE spxSolve ( SCIP_LPI *  lpi )

static

solves LP – used for both, primal and dual simplex, because SoPlex doesn't distinct the two cases

Parameters

lpi	LP interface structure

Definition at line 2043 of file lpi_spx2.cpp.

References invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiSolvePrimal(), SCIPmessagePrintWarning(), SCIP_LPi::solved, SOPLEX_VERBLEVEL, SCIP_LPi::spx, TRUE, and UNKNOWN.

Referenced by SCIPlpiGetCoef(), SCIPlpiSolveDual(), and SCIPlpiSolvePrimal().

SCIP_RETCODE SCIPlpiSolvePrimal

(

SCIP_LPI *

lpi

)

calls primal simplex to solve the LP

startFinishOptions - bits 1 - do not delete work areas and factorization at end 2 - use old factorization if same number of rows 4 - skip as much initialization of work areas as possible (work in progress)

4 does not seem to work.

Primal algorithm

Parameters

lpi	LP interface structure

Definition at line 2109 of file lpi_spx2.cpp.

References NULL, SCIPdebugMessage, SCIPlpiSolveDual(), SCIP_LPi::spx, and spxSolve().

Referenced by spxSolve().

SCIP_RETCODE SCIPlpiSolveDual

(

SCIP_LPI *

lpi

)

calls dual simplex to solve the LP

startFinishOptions - bits 1 - do not delete work areas and factorization at end 2 - use old factorization if same number of rows 4 - skip as much initialization of work areas as possible (work in progress)

4 does not seem to work.

Dual algorithm

Parameters

lpi	LP interface structure

Definition at line 2123 of file lpi_spx2.cpp.

References NULL, SCIP_Bool, SCIPdebugMessage, SCIPlpiSolveBarrier(), SCIP_LPi::spx, and spxSolve().

Referenced by SCIPlpiSolveBarrier(), and SCIPlpiSolvePrimal().

SCIP_RETCODE SCIPlpiSolveBarrier	(	SCIP_LPI *	lpi,
		SCIP_Bool	crossover
	)

calls barrier or interior point algorithm to solve the LP with crossover to simplex basis

Parameters

lpi	LP interface structure
crossover	perform crossover

Definition at line 2137 of file lpi_spx2.cpp.

References SCIPdebugMessage, SCIPlpiSolveDual(), and SCIPlpiStartStrongbranch().

Referenced by SCIPlpiSolveDual().

SCIP_RETCODE SCIPlpiStartStrongbranch

(

SCIP_LPI *

lpi

)

start strong branching - call before any strongbranching

Parameters

lpi	LP interface structure

Definition at line 2149 of file lpi_spx2.cpp.

References SCIP_OKAY, SCIPlpiEndStrongbranch(), and SCIP_LPi::spx.

Referenced by SCIPlpiSolveBarrier().

SCIP_RETCODE SCIPlpiEndStrongbranch

(

SCIP_LPI *

lpi

)

end strong branching - call after any strongbranching

Parameters

lpi	LP interface structure

Definition at line 2160 of file lpi_spx2.cpp.

References lpiStrongbranch(), SCIP_OKAY, and SCIP_LPi::spx.

Referenced by SCIPlpiStartStrongbranch().

static SCIP_RETCODE lpiStrongbranch ( SCIP_LPI *  lpi, int  col, SCIP_Real  psol, int  itlim, SCIP_Real *  down, SCIP_Real *  up, SCIP_Bool *  downvalid, SCIP_Bool *  upvalid, int *  iter  )

static

performs strong branching iterations on one arbitrary candidate

Parameters

lpi	LP interface structure
col	column to apply strong branching on
psol	current primal solution value of column
itlim	iteration limit for strong branchings
down	stores dual bound after branching column down
up	stores dual bound after branching column up
downvalid	stores whether the returned down value is a valid dual bound; otherwise, it can only be used as an estimate value
upvalid	stores whether the returned up value is a valid dual bound; otherwise, it can only be used as an estimate value
iter	stores total number of strong branching iterations, or -1; may be NULL

Definition at line 2173 of file lpi_spx2.cpp.

References EPSCEIL, EPSFLOOR, FALSE, NULL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiStrongbranchFrac(), SOPLEX_VERBLEVEL, SCIP_LPi::spx, TRUE, and UNKNOWN.

Referenced by SCIPlpiEndStrongbranch(), SCIPlpiStrongbranchesFrac(), SCIPlpiStrongbranchesInt(), SCIPlpiStrongbranchFrac(), and SCIPlpiStrongbranchInt().

SCIP_RETCODE SCIPlpiStrongbranchFrac	(	SCIP_LPI *	lpi,
		int	col,
		SCIP_Real	psol,
		int	itlim,
		SCIP_Real *	down,
		SCIP_Real *	up,
		SCIP_Bool *	downvalid,
		SCIP_Bool *	upvalid,
		int *	iter
	)

performs strong branching iterations on one fractional candidate

Parameters

lpi	LP interface structure
col	column to apply strong branching on
psol	fractional current primal solution value of column
itlim	iteration limit for strong branchings
down	stores dual bound after branching column down
up	stores dual bound after branching column up
downvalid	stores whether the returned down value is a valid dual bound; otherwise, it can only be used as an estimate value
upvalid	stores whether the returned up value is a valid dual bound; otherwise, it can only be used as an estimate value
iter	stores total number of strong branching iterations, or -1; may be NULL

Definition at line 2404 of file lpi_spx2.cpp.

References lpiStrongbranch(), SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, and SCIPlpiStrongbranchesFrac().

Referenced by lpiStrongbranch().

SCIP_RETCODE SCIPlpiStrongbranchesFrac	(	SCIP_LPI *	lpi,
		int *	cols,
		int	ncols,
		SCIP_Real *	psols,
		int	itlim,
		SCIP_Real *	down,
		SCIP_Real *	up,
		SCIP_Bool *	downvalid,
		SCIP_Bool *	upvalid,
		int *	iter
	)

performs strong branching iterations on given fractional candidates

Parameters

lpi	LP interface structure
cols	columns to apply strong branching on
ncols	number of columns
psols	fractional current primal solution values of columns
itlim	iteration limit for strong branchings
down	stores dual bounds after branching columns down
up	stores dual bounds after branching columns up
downvalid	stores whether the returned down values are valid dual bounds; otherwise, they can only be used as an estimate values
upvalid	stores whether the returned up values are a valid dual bounds; otherwise, they can only be used as an estimate values
iter	stores total number of strong branching iterations, or -1; may be NULL

Definition at line 2434 of file lpi_spx2.cpp.

References lpiStrongbranch(), NULL, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, and SCIPlpiStrongbranchInt().

Referenced by SCIPlpiStrongbranchFrac().

SCIP_RETCODE SCIPlpiStrongbranchInt	(	SCIP_LPI *	lpi,
		int	col,
		SCIP_Real	psol,
		int	itlim,
		SCIP_Real *	down,
		SCIP_Real *	up,
		SCIP_Bool *	downvalid,
		SCIP_Bool *	upvalid,
		int *	iter
	)

performs strong branching iterations on one candidate with integral value

Parameters

lpi	LP interface structure
col	column to apply strong branching on
psol	current integral primal solution value of column
itlim	iteration limit for strong branchings
down	stores dual bound after branching column down
up	stores dual bound after branching column up
downvalid	stores whether the returned down value is a valid dual bound; otherwise, it can only be used as an estimate value
upvalid	stores whether the returned up value is a valid dual bound; otherwise, it can only be used as an estimate value
iter	stores total number of strong branching iterations, or -1; may be NULL

Definition at line 2478 of file lpi_spx2.cpp.

References lpiStrongbranch(), SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, and SCIPlpiStrongbranchesInt().

Referenced by SCIPlpiStrongbranchesFrac().

SCIP_RETCODE SCIPlpiStrongbranchesInt	(	SCIP_LPI *	lpi,
		int *	cols,
		int	ncols,
		SCIP_Real *	psols,
		int	itlim,
		SCIP_Real *	down,
		SCIP_Real *	up,
		SCIP_Bool *	downvalid,
		SCIP_Bool *	upvalid,
		int *	iter
	)

performs strong branching iterations on given candidates with integral values

Parameters

lpi	LP interface structure
cols	columns to apply strong branching on
ncols	number of columns
psols	current integral primal solution values of columns
itlim	iteration limit for strong branchings
down	stores dual bounds after branching columns down
up	stores dual bounds after branching columns up
downvalid	stores whether the returned down values are valid dual bounds; otherwise, they can only be used as an estimate values
upvalid	stores whether the returned up values are a valid dual bounds; otherwise, they can only be used as an estimate values
iter	stores total number of strong branching iterations, or -1; may be NULL

Definition at line 2508 of file lpi_spx2.cpp.

References lpiStrongbranch(), NULL, SCIP_Bool, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, and SCIPlpiWasSolved().

Referenced by SCIPlpiStrongbranchInt().

SCIP_Bool SCIPlpiWasSolved

(

SCIP_LPI *

lpi

)

returns whether a solve method was called after the last modification of the LP

Parameters

lpi	LP interface structure

Definition at line 2564 of file lpi_spx2.cpp.

References NULL, SCIP_Bool, SCIPlpiGetSolFeasibility(), and SCIP_LPi::solved.

Referenced by SCIPlpiStrongbranchesInt().

SCIP_RETCODE SCIPlpiGetSolFeasibility	(	SCIP_LPI *	lpi,
		SCIP_Bool *	primalfeasible,
		SCIP_Bool *	dualfeasible
	)

gets information about primal and dual feasibility of the current LP solution

Parameters

lpi	LP interface structure
primalfeasible	stores primal feasibility status
dualfeasible	stores dual feasibility status

Definition at line 2574 of file lpi_spx2.cpp.

References NULL, SCIP_Bool, SCIP_OKAY, SCIPdebugMessage, SCIPlpiExistsPrimalRay(), SCIPlpiIsDualFeasible(), and SCIPlpiIsPrimalFeasible().

Referenced by SCIPlpiWasSolved().

SCIP_Bool SCIPlpiExistsPrimalRay

(

SCIP_LPI *

lpi

)

returns TRUE iff LP is proven to have a primal unbounded ray (but not necessary a primal feasible point); this does not necessarily mean, that the solver knows and can return the primal ray

Parameters

lpi	LP interface structure

Definition at line 2595 of file lpi_spx2.cpp.

References NULL, SCIP_Bool, SCIPdebugMessage, SCIPlpiHasPrimalRay(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetSolFeasibility().

SCIP_Bool SCIPlpiHasPrimalRay

(

SCIP_LPI *

lpi

)

returns TRUE iff LP is proven to have a primal unbounded ray (but not necessary a primal feasible point), and the solver knows and can return the primal ray

Parameters

lpi	LP interface structure

Definition at line 2610 of file lpi_spx2.cpp.

References NULL, SCIP_Bool, SCIPdebugMessage, SCIPlpiIsPrimalUnbounded(), and SCIP_LPi::spx.

Referenced by SCIPlpiExistsPrimalRay().

SCIP_Bool SCIPlpiIsPrimalUnbounded

(

SCIP_LPI *

lpi

)

returns TRUE iff LP is proven to be primal unbounded

Parameters

lpi	LP interface structure

Definition at line 2623 of file lpi_spx2.cpp.

References NULL, SCIP_Bool, SCIPdebugMessage, SCIPlpiIsPrimalInfeasible(), and SCIP_LPi::spx.

Referenced by SCIPlpiHasPrimalRay().

SCIP_Bool SCIPlpiIsPrimalInfeasible

(

SCIP_LPI *

lpi

)

returns TRUE iff LP is proven to be primal infeasible

Parameters

lpi	LP interface structure

Definition at line 2641 of file lpi_spx2.cpp.

References NULL, SCIP_Bool, SCIPdebugMessage, SCIPlpiIsPrimalFeasible(), and SCIP_LPi::spx.

Referenced by SCIPlpiIsPrimalUnbounded().

SCIP_Bool SCIPlpiIsPrimalFeasible

(

SCIP_LPI *

lpi

)

returns TRUE iff LP is proven to be primal feasible

Parameters

lpi	LP interface structure

Definition at line 2654 of file lpi_spx2.cpp.

References NULL, SCIP_Bool, SCIPdebugMessage, SCIPlpiExistsDualRay(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetSolFeasibility(), SCIPlpiIsOptimal(), and SCIPlpiIsPrimalInfeasible().

SCIP_Bool SCIPlpiExistsDualRay

(

SCIP_LPI *

lpi

)

returns TRUE iff LP is proven to have a dual unbounded ray (but not necessary a dual feasible point); this does not necessarily mean, that the solver knows and can return the dual ray

Parameters

lpi	LP interface structure

Definition at line 2678 of file lpi_spx2.cpp.

References NULL, SCIP_Bool, SCIPdebugMessage, SCIPlpiHasDualRay(), and SCIP_LPi::spx.

Referenced by SCIPlpiIsPrimalFeasible().

SCIP_Bool SCIPlpiHasDualRay

(

SCIP_LPI *

lpi

)

returns TRUE iff LP is proven to have a dual unbounded ray (but not necessary a dual feasible point), and the solver knows and can return the dual ray

Parameters

lpi	LP interface structure

Definition at line 2693 of file lpi_spx2.cpp.

References NULL, SCIP_Bool, SCIPdebugMessage, SCIPlpiIsDualUnbounded(), and SCIP_LPi::spx.

Referenced by SCIPlpiExistsDualRay().

SCIP_Bool SCIPlpiIsDualUnbounded

(

SCIP_LPI *

lpi

)

returns TRUE iff LP is dual unbounded

Parameters

lpi	LP interface structure

Definition at line 2706 of file lpi_spx2.cpp.

References NULL, SCIP_Bool, SCIPdebugMessage, SCIPlpiIsDualInfeasible(), and SCIP_LPi::spx.

Referenced by SCIPlpiHasDualRay().

SCIP_Bool SCIPlpiIsDualInfeasible

(

SCIP_LPI *

lpi

)

returns TRUE iff LP is dual infeasible

Parameters

lpi	LP interface structure

Definition at line 2719 of file lpi_spx2.cpp.

References NULL, SCIP_Bool, SCIPdebugMessage, SCIPlpiIsDualFeasible(), and SCIP_LPi::spx.

Referenced by SCIPlpiIsDualUnbounded().

SCIP_Bool SCIPlpiIsDualFeasible

(

SCIP_LPI *

lpi

)

returns TRUE iff LP is proven to be dual feasible

Parameters

lpi	LP interface structure

Definition at line 2732 of file lpi_spx2.cpp.

References NULL, SCIP_Bool, SCIPdebugMessage, SCIPlpiIsOptimal(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetSolFeasibility(), SCIPlpiIsDualInfeasible(), and SCIPlpiIsOptimal().

SCIP_Bool SCIPlpiIsOptimal

(

SCIP_LPI *

lpi

)

returns TRUE iff LP was solved to optimality

Parameters

lpi	LP interface structure

Definition at line 2750 of file lpi_spx2.cpp.

References NULL, SCIP_Bool, SCIPdebugMessage, SCIPlpiIsDualFeasible(), SCIPlpiIsPrimalFeasible(), SCIPlpiIsStable(), and SCIP_LPi::spx.

Referenced by SCIPlpiIsDualFeasible(), and SCIPlpiIsStable().

SCIP_Bool SCIPlpiIsStable

(

SCIP_LPI *

lpi

)

returns TRUE iff current LP basis is stable

Parameters

lpi	LP interface structure

Definition at line 2767 of file lpi_spx2.cpp.

References SCIP_LPi::checkcondition, SCIP_LPi::conditionlimit, FALSE, NULL, SCIP_Bool, SCIP_INVALID, SCIP_LPSOLQUALITY_ESTIMCONDITION, SCIP_OKAY, SCIP_Real, SCIPABORT, SCIPdebugMessage, SCIPlpiGetRealSolQuality(), SCIPlpiIsObjlimExc(), SCIPlpiIsOptimal(), SCIP_LPi::spx, and TRUE.

Referenced by SCIPlpiIsOptimal().

SCIP_Bool SCIPlpiIsObjlimExc

(

SCIP_LPI *

lpi

)

returns TRUE iff the objective limit was reached

Parameters

lpi	LP interface structure

Definition at line 2802 of file lpi_spx2.cpp.

References NULL, SCIP_Bool, SCIPdebugMessage, SCIPlpiIsIterlimExc(), and SCIP_LPi::spx.

Referenced by SCIPlpiIsStable().

SCIP_Bool SCIPlpiIsIterlimExc

(

SCIP_LPI *

lpi

)

returns TRUE iff the iteration limit was reached

Parameters

lpi	LP interface structure

Definition at line 2815 of file lpi_spx2.cpp.

References NULL, SCIP_Bool, SCIPdebugMessage, SCIPlpiIsTimelimExc(), and SCIP_LPi::spx.

Referenced by SCIPlpiIsObjlimExc().

SCIP_Bool SCIPlpiIsTimelimExc

(

SCIP_LPI *

lpi

)

returns TRUE iff the time limit was reached

Parameters

lpi	LP interface structure

Definition at line 2828 of file lpi_spx2.cpp.

References NULL, SCIPdebugMessage, SCIPlpiGetInternalStatus(), and SCIP_LPi::spx.

Referenced by SCIPlpiIsIterlimExc().

int SCIPlpiGetInternalStatus

(

SCIP_LPI *

lpi

)

returns the internal solution status of the solver

Parameters

lpi	LP interface structure

Definition at line 2841 of file lpi_spx2.cpp.

References NULL, SCIP_Bool, SCIPdebugMessage, SCIPlpiIgnoreInstability(), and SCIP_LPi::spx.

Referenced by SCIPlpiIsTimelimExc().

SCIP_RETCODE SCIPlpiIgnoreInstability	(	SCIP_LPI *	lpi,
		SCIP_Bool *	success
	)

tries to reset the internal status of the LP solver in order to ignore an instability of the last solving call

Parameters

lpi	LP interface structure
success	pointer to store, whether the instability could be ignored

Definition at line 2854 of file lpi_spx2.cpp.

References FALSE, NULL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiGetObjval(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetInternalStatus().

SCIP_RETCODE SCIPlpiGetObjval	(	SCIP_LPI *	lpi,
		SCIP_Real *	objval
	)

gets objective value of solution

Parameters

lpi	LP interface structure
objval	stores the objective value

Definition at line 2871 of file lpi_spx2.cpp.

References NULL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiGetSol(), and SCIP_LPi::spx.

Referenced by SCIPlpiIgnoreInstability().

SCIP_RETCODE SCIPlpiGetSol	(	SCIP_LPI *	lpi,
		SCIP_Real *	objval,
		SCIP_Real *	primsol,
		SCIP_Real *	dualsol,
		SCIP_Real *	activity,
		SCIP_Real *	redcost
	)

gets primal and dual solution vectors

Parameters

lpi	LP interface structure
objval	stores the objective value, may be NULL if not needed
primsol	primal solution vector, may be NULL if not needed
dualsol	dual solution vector, may be NULL if not needed
activity	row activity vector, may be NULL if not needed
redcost	reduced cost vector, may be NULL if not needed

Definition at line 2888 of file lpi_spx2.cpp.

References SCIP_LPi::messagehdlr, NULL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiGetPrimalRay(), SCIPmessagePrintWarning(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetObjval().

SCIP_RETCODE SCIPlpiGetPrimalRay	(	SCIP_LPI *	lpi,
		SCIP_Real *	ray
	)

gets primal ray for unbounded LPs

Unbounded ray (NULL returned if none/wrong). Up to user to use delete [] on these arrays.

Parameters

lpi	LP interface structure
ray	primal ray

Definition at line 2941 of file lpi_spx2.cpp.

References SCIP_LPi::messagehdlr, NULL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiGetDualfarkas(), SCIPmessagePrintWarning(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetSol().

SCIP_RETCODE SCIPlpiGetDualfarkas	(	SCIP_LPI *	lpi,
		SCIP_Real *	dualfarkas
	)

gets dual farkas proof for infeasibility

Infeasibility ray (NULL returned if none/wrong). Up to user to use delete [] on these arrays.

Parameters

lpi	LP interface structure
dualfarkas	dual farkas row multipliers

Definition at line 2969 of file lpi_spx2.cpp.

References SCIP_LPi::messagehdlr, NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetIterations(), SCIPmessagePrintWarning(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetPrimalRay().

SCIP_RETCODE SCIPlpiGetIterations	(	SCIP_LPI *	lpi,
		int *	iterations
	)

gets the number of LP iterations of the last solve call

Parameters

lpi	LP interface structure
iterations	pointer to store the number of iterations of the last solve call

Definition at line 2997 of file lpi_spx2.cpp.

References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetRealSolQuality(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetDualfarkas().

SCIP_RETCODE SCIPlpiGetRealSolQuality	(	SCIP_LPI *	lpi,
		SCIP_LPSOLQUALITY	qualityindicator,
		SCIP_Real *	quality
	)

gets information about the quality of an LP solution

Such information is usually only available, if also a (maybe not optimal) solution is available. The LPI should return SCIP_INVALID for quality, if the requested quantity is not available.

Parameters

lpi	LP interface structure
qualityindicator	indicates which quality should be returned
quality	pointer to store quality number

Definition at line 3017 of file lpi_spx2.cpp.

References NULL, SCIP_INVALID, SCIP_INVALIDDATA, SCIP_LPSOLQUALITY_ESTIMCONDITION, SCIP_LPSOLQUALITY_EXACTCONDITION, SCIP_OKAY, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetBase(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetIterations(), and SCIPlpiIsStable().

SCIP_RETCODE SCIPlpiGetBase	(	SCIP_LPI *	lpi,
		int *	cstat,
		int *	rstat
	)

gets current basis status for columns and rows; arrays must be large enough to store the basis status

Parameters

lpi	LP interface structure
cstat	array to store column basis status, or NULL
rstat	array to store row basis status, or NULL

Definition at line 3073 of file lpi_spx2.cpp.

References NULL, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_INVALIDDATA, SCIP_LPERROR, SCIP_OKAY, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiSetBase(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetRealSolQuality(), and SCIPlpiGetState().

SCIP_RETCODE SCIPlpiSetBase	(	SCIP_LPI *	lpi,
		int *	cstat,
		int *	rstat
	)

sets current basis status for columns and rows

Whats changed since last solve. Is only used when startFinishOptions used in dual or primal. Bit 1 - number of rows/columns has not changed (so work arrays valid) 2 - matrix has not changed 4 - if matrix has changed only by adding rows 8 - if matrix has changed only by adding columns 16 - row lbs not changed 32 - row ubs not changed 64 - column objective not changed 128 - column lbs not changed 256 - column ubs not changed 512 - basis not changed (up to user to set this to 0) top bits may be used internally

Parameters

lpi	LP interface structure
cstat	array with column basis status
rstat	array with row basis status

Definition at line 3162 of file lpi_spx2.cpp.

References BMSallocMemoryArray, BMSfreeMemoryArrayNull, invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_ALLOC, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_INVALIDDATA, SCIP_LPERROR, SCIP_OKAY, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetBasisInd(), SOPLEX_TRY, and SCIP_LPi::spx.

Referenced by SCIPlpiGetBase(), and SCIPlpiSetState().

SCIP_RETCODE SCIPlpiGetBasisInd	(	SCIP_LPI *	lpi,
		int *	bind
	)

returns the indices of the basic columns and rows; basic column n gives value n, basic row m gives value -1-m

Parameters

lpi	LP interface structure
bind	pointer to store basis indices ready to keep number of rows entries

Definition at line 3248 of file lpi_spx2.cpp.

References NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetBInvRow(), and SCIP_LPi::spx.

Referenced by SCIPlpiSetBase().

SCIP_RETCODE SCIPlpiGetBInvRow	(	SCIP_LPI *	lpi,
		int	r,
		SCIP_Real *	coef,
		int *	inds,
		int *	ninds
	)

get dense row of inverse basis matrix B^-1

Note

The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.

Parameters

lpi	LP interface structure
r	row number
coef	pointer to store the coefficients of the row
inds	array to store the non-zero indices
ninds	pointer to store the number of non-zero indices (-1: if we do not store sparsity informations)

Definition at line 3272 of file lpi_spx2.cpp.

References NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetBInvCol(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetBasisInd(), and SCIPlpiGetBInvARow().

SCIP_RETCODE SCIPlpiGetBInvCol	(	SCIP_LPI *	lpi,
		int	c,
		SCIP_Real *	coef,
		int *	inds,
		int *	ninds
	)

get dense column of inverse basis matrix B^-1

Note

The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.

Parameters

lpi	LP interface structure
c	column number of B^-1; this is NOT the number of the column in the LP; you have to call SCIPlpiGetBasisInd() to get the array which links the B^-1 column numbers to the row and column numbers of the LP! c must be between 0 and nrows-1, since the basis has the size nrows * nrows
coef	pointer to store the coefficients of the column
inds	array to store the non-zero indices
ninds	pointer to store the number of non-zero indices (-1: if we do not store sparsity informations)

Definition at line 3302 of file lpi_spx2.cpp.

References NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetBInvARow(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetBInvRow().

SCIP_RETCODE SCIPlpiGetBInvARow	(	SCIP_LPI *	lpi,
		int	r,
		const SCIP_Real *	binvrow,
		SCIP_Real *	coef,
		int *	inds,
		int *	ninds
	)

get dense row of inverse basis matrix times constraint matrix B^-1 * A

Note

The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.

Parameters

lpi	LP interface structure
r	row number
binvrow	row in (A_B)^-1 from prior call to SCIPlpiGetBInvRow(), or NULL
coef	vector to return coefficients
inds	array to store the non-zero indices
ninds	pointer to store the number of non-zero indices (-1: if we do not store sparsity informations)

Definition at line 3333 of file lpi_spx2.cpp.

References BMSallocMemoryArray, BMSfreeMemoryArrayNull, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiGetBInvACol(), SCIPlpiGetBInvRow(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetBInvCol().

SCIP_RETCODE SCIPlpiGetBInvACol	(	SCIP_LPI *	lpi,
		int	c,
		SCIP_Real *	coef,
		int *	inds,
		int *	ninds
	)

get dense column of inverse basis matrix times constraint matrix B^-1 * A

Note

The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.

Parameters

lpi	LP interface structure
c	column number
coef	vector to return coefficients
inds	array to store the non-zero indices
ninds	pointer to store the number of non-zero indices (-1: if we do not store sparsity informations)

Definition at line 3393 of file lpi_spx2.cpp.

References NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetState(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetBInvARow().

SCIP_RETCODE SCIPlpiGetState	(	SCIP_LPI *	lpi,
		BMS_BLKMEM *	blkmem,
		SCIP_LPISTATE **	lpistate
	)

stores LPi state (like basis information) into lpistate object

Parameters

lpi	LP interface structure
blkmem	block memory
lpistate	pointer to LPi state information (like basis information)

Definition at line 3444 of file lpi_spx2.cpp.

References SCIP_LPi::cstat, ensureCstatMem(), ensureRstatMem(), lpistateCreate(), lpistatePack(), NULL, SCIP_LPi::rstat, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetBase(), SCIPlpiSetState(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetBInvACol().

SCIP_RETCODE SCIPlpiSetState	(	SCIP_LPI *	lpi,
		BMS_BLKMEM *	,
		SCIP_LPISTATE *	lpistate
	)

loads LPi state (like basis information) into solver; note that the LP might have been extended with additional columns and rows since the state was stored with SCIPlpiGetState()

Parameters

lpi	LP interface structure
lpistate	LPi state information (like basis information)

Definition at line 3488 of file lpi_spx2.cpp.

References SCIP_LPi::cstat, ensureCstatMem(), ensureRstatMem(), lpistateUnpack(), SCIP_LPiState::ncols, SCIP_LPiState::nrows, NULL, REALABS, SCIP_LPi::rstat, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiClearState(), SCIPlpiIsInfinity(), SCIPlpiSetBase(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetState().

SCIP_RETCODE SCIPlpiClearState

(

SCIP_LPI *

lpi

)

clears current LPi state (like basis information) of the solver

Parameters

lpi	LP interface structure

Definition at line 3547 of file lpi_spx2.cpp.

References SCIP_LPi::messagehdlr, NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiFreeState(), SCIPmessagePrintWarning(), and SCIP_LPi::spx.

Referenced by SCIPlpiSetState().

SCIP_RETCODE SCIPlpiFreeState	(	SCIP_LPI *	lpi,
		BMS_BLKMEM *	blkmem,
		SCIP_LPISTATE **	lpistate
	)

frees LPi state information

Parameters

lpi	LP interface structure
blkmem	block memory
lpistate	pointer to LPi state information (like basis information)

Definition at line 3574 of file lpi_spx2.cpp.

References lpistateFree(), NULL, SCIP_Bool, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiHasStateBasis().

Referenced by SCIPlpiClearState().

SCIP_Bool SCIPlpiHasStateBasis	(	SCIP_LPI *	lpi,
		SCIP_LPISTATE *	lpistate
	)

checks, whether the given LP state contains simplex basis information

Parameters

lpi	LP interface structure
lpistate	LP state information (like basis information)

Definition at line 3592 of file lpi_spx2.cpp.

References SCIPlpiReadState(), and TRUE.

Referenced by SCIPlpiFreeState().

SCIP_RETCODE SCIPlpiReadState	(	SCIP_LPI *	lpi,
		const char *	fname
	)

reads LP state (like basis information from a file

Read a basis from the given filename, returns -1 on file error, 0 if no values, 1 if values

Parameters

lpi	LP interface structure
fname	file name

Definition at line 3601 of file lpi_spx2.cpp.

References SCIP_LPi::messagehdlr, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiWriteState(), SOPLEX_TRY, and SCIP_LPi::spx.

Referenced by SCIPlpiHasStateBasis().

SCIP_RETCODE SCIPlpiWriteState	(	SCIP_LPI *	lpi,
		const char *	fname
	)

writes LP state (like basis information) to a file

Write the basis in MPS format to the specified file. If writeValues true, writes values of structurals (and adds VALUES to end of NAME card)

parameters:

• filename
• bool writeValues
• int formatType (0 - normal, 1 - extra accuracy, 2 - IEEE hex)

Parameters

lpi	LP interface structure
fname	file name

Definition at line 3617 of file lpi_spx2.cpp.

References SCIP_LPi::messagehdlr, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetNorms(), SOPLEX_TRY, and SCIP_LPi::spx.

Referenced by SCIPlpiReadState().

SCIP_RETCODE SCIPlpiGetNorms	(	SCIP_LPI *	lpi,
		BMS_BLKMEM *	blkmem,
		SCIP_LPINORMS **	lpinorms
	)

stores LPi pricing norms information

Parameters

lpi	LP interface structure
blkmem	block memory
lpinorms	pointer to LPi pricing norms information

Definition at line 3650 of file lpi_spx2.cpp.

References BMSallocBlockMemory, BMSallocBlockMemoryArray, BMSfreeBlockMemory, BMSfreeBlockMemoryArray, NULL, SCIP_ALLOC, SCIP_OKAY, SCIPdebugMessage, SCIPlpiSetNorms(), and SCIP_LPi::spx.

Referenced by SCIPlpiWriteState().

SCIP_RETCODE SCIPlpiSetNorms	(	SCIP_LPI *	lpi,
		BMS_BLKMEM *	blkmem,
		SCIP_LPINORMS *	lpinorms
	)

loads LPi pricing norms into solver; note that the LP might have been extended with additional columns and rows since the state was stored with SCIPlpiGetNorms()

Parameters

lpi	LP interface structure
blkmem	block memory
lpinorms	LPi pricing norms information

Definition at line 3705 of file lpi_spx2.cpp.

References SCIP_LPiNorms::ncols, SCIP_LPiNorms::norms, SCIP_LPiNorms::nrows, NULL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiFreeNorms(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetNorms().

SCIP_RETCODE SCIPlpiFreeNorms	(	SCIP_LPI *	lpi,
		BMS_BLKMEM *	blkmem,
		SCIP_LPINORMS **	lpinorms
	)

frees pricing norms information

Parameters

lpi	LP interface structure
blkmem	block memory
lpinorms	pointer to LPi pricing norms information

Definition at line 3736 of file lpi_spx2.cpp.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiGetIntpar().

Referenced by SCIPlpiSetNorms().

SCIP_RETCODE SCIPlpiGetIntpar	(	SCIP_LPI *	lpi,
		SCIP_LPPARAM	type,
		int *	ival
	)

gets integer parameter of LP

Parameters

lpi	LP interface structure
type	parameter number
ival	buffer to store the parameter value

Definition at line 3769 of file lpi_spx2.cpp.

References NULL, SCIP_LPi::pricing, SCIP_LPPAR_FROMSCRATCH, SCIP_LPPAR_LPINFO, SCIP_LPPAR_LPITLIM, SCIP_LPPAR_PRESOLVING, SCIP_LPPAR_PRICING, SCIP_LPPAR_SCALING, SCIP_LPPAR_TIMING, SCIP_OKAY, SCIP_PARAMETERUNKNOWN, SCIPdebugMessage, SCIPlpiSetIntpar(), and SCIP_LPi::spx.

Referenced by SCIPlpiFreeNorms().

SCIP_RETCODE SCIPlpiSetIntpar	(	SCIP_LPI *	lpi,
		SCIP_LPPARAM	type,
		int	ival
	)

sets integer parameter of LP

Amount of print out: 0 - none 1 - just final 2 - just factorizations 3 - as 2 plus a bit more 4 - verbose above that 8,16,32 etc just for selective SCIPdebug

Parameters

lpi	LP interface structure
type	parameter number
ival	parameter value

Definition at line 3814 of file lpi_spx2.cpp.

References FALSE, NULL, SCIP_LPi::pricing, SCIP_LPERROR, SCIP_LPPAR_FROMSCRATCH, SCIP_LPPAR_LPINFO, SCIP_LPPAR_LPITLIM, SCIP_LPPAR_PRESOLVING, SCIP_LPPAR_PRICING, SCIP_LPPAR_SCALING, SCIP_LPPAR_TIMING, SCIP_OKAY, SCIP_PARAMETERUNKNOWN, SCIP_PRICING_AUTO, SCIP_PRICING_DEVEX, SCIP_PRICING_FULL, SCIP_PRICING_LPIDEFAULT, SCIP_PRICING_PARTIAL, SCIP_PRICING_STEEP, SCIP_PRICING_STEEPQSTART, SCIPdebugMessage, SCIPlpiGetRealpar(), SCIP_LPi::spx, and TRUE.

Referenced by SCIPlpiCreate(), and SCIPlpiGetIntpar().

SCIP_RETCODE SCIPlpiGetRealpar	(	SCIP_LPI *	lpi,
		SCIP_LPPARAM	type,
		SCIP_Real *	dval
	)

gets floating point parameter of LP

Parameters

lpi	LP interface structure
type	parameter number
dval	buffer to store the parameter value

Definition at line 3888 of file lpi_spx2.cpp.

References SCIP_LPi::conditionlimit, NULL, SCIP_LPPAR_CONDITIONLIMIT, SCIP_LPPAR_DUALFEASTOL, SCIP_LPPAR_FEASTOL, SCIP_LPPAR_LOBJLIM, SCIP_LPPAR_LPTILIM, SCIP_LPPAR_ROWREPSWITCH, SCIP_LPPAR_UOBJLIM, SCIP_OKAY, SCIP_PARAMETERUNKNOWN, SCIPdebugMessage, SCIPlpiInfinity(), SCIPlpiSetRealpar(), and SCIP_LPi::spx.

Referenced by SCIPlpiSetIntpar().

SCIP_RETCODE SCIPlpiSetRealpar	(	SCIP_LPI *	lpi,
		SCIP_LPPARAM	type,
		SCIP_Real	dval
	)

sets floating point parameter of LP

Parameters

lpi	LP interface structure
type	parameter number
dval	parameter value

Definition at line 3933 of file lpi_spx2.cpp.

References SCIP_LPi::checkcondition, SCIP_LPi::conditionlimit, NULL, SCIP_LPPAR_CONDITIONLIMIT, SCIP_LPPAR_DUALFEASTOL, SCIP_LPPAR_FEASTOL, SCIP_LPPAR_LOBJLIM, SCIP_LPPAR_LPTILIM, SCIP_LPPAR_ROWREPSWITCH, SCIP_LPPAR_UOBJLIM, SCIP_OKAY, SCIP_PARAMETERUNKNOWN, SCIP_Real, SCIPdebugMessage, SCIPlpiInfinity(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetRealpar().

SCIP_Real SCIPlpiInfinity

(

SCIP_LPI *

lpi

)

returns value treated as infinity in the LP solver

Parameters

lpi	LP interface structure

Definition at line 3992 of file lpi_spx2.cpp.

References SCIP_Bool, SCIP_Real, SCIPdebugMessage, SCIPlpiIsInfinity(), and SCIP_LPi::spx.

Referenced by SCIPlpiGetRealpar(), and SCIPlpiSetRealpar().

SCIP_Bool SCIPlpiIsInfinity	(	SCIP_LPI *	lpi,
		SCIP_Real	val
	)

checks if given value is treated as infinity in the LP solver

Parameters

lpi	LP interface structure
val	value to be checked for infinity

Definition at line 4002 of file lpi_spx2.cpp.

References fileExists(), SCIP_Bool, SCIPdebugMessage, and SCIP_LPi::spx.

Referenced by SCIPlpiInfinity(), and SCIPlpiSetState().

static SCIP_Bool fileExists ( const char *  filename )

static

returns, whether the given file exists

Parameters

filename

file name

Definition at line 4026 of file lpi_spx2.cpp.

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

Referenced by SCIPlpiIsInfinity(), and SCIPlpiReadLP().

SCIP_RETCODE SCIPlpiReadLP	(	SCIP_LPI *	lpi,
		const char *	fname
	)

reads LP from a file

read file in MPS format parameters: filename bool keepNames bool ignoreErrors

Parameters

lpi	LP interface structure
fname	file name

Definition at line 4042 of file lpi_spx2.cpp.

References fileExists(), SCIP_LPi::messagehdlr, NULL, SCIP_NOFILE, SCIP_OKAY, SCIP_READERROR, SCIPdebugMessage, SCIPlpiWriteLP(), SCIPmessagePrintWarning(), and SCIP_LPi::spx.

Referenced by fileExists().

SCIP_RETCODE SCIPlpiWriteLP	(	SCIP_LPI *	lpi,
		const char *	fname
	)

writes LP to a file

write file in MPS format parameters: filename int formatType (0 - normal, 1 - extra accuracy, 2 - IEEE hex) int numberAcross (1 or 2 values should be specified on every data line in the MPS file) double objSense

Parameters

lpi	LP interface structure
fname	file name

Definition at line 4076 of file lpi_spx2.cpp.

References SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, SCIP_WRITEERROR, SCIPdebugMessage, SCIPmessagePrintWarning(), and SCIP_LPi::spx.

Referenced by SCIPlpiReadLP().

Variable Documentation

char spxname[100]

static

Definition at line 900 of file lpi_spx2.cpp.

Referenced by SCIPlpiGetSolverName().

char spxdesc[200]

static

Definition at line 901 of file lpi_spx2.cpp.

Referenced by SCIPlpiGetSolverDesc().