SCIP
Solving Constraint Integer Programs
lpi_spx.cpp File Reference
Detailed Description
LP interface for SoPlex.
This is an implementation of SCIP's LP interface for SoPlex.
For debugging purposes, the SoPlex results can be double checked with CPLEX if SCIP_WITH_LPSCHECK is defined. This may yield false positives, since the LP is dumped to a file for transferring it to CPLEX, hence, precision may be lost.
Definition in file lpi_spx.cpp.
#include "scip/config.h"#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.
Data Structures | |
| struct | SCIP_LPi |
| struct | SCIP_LPiState |
| struct | SCIP_LPiNorms |
Macros | |
| #define | STRONGBRANCH_RESTOREBASIS |
| #define | CHECK_SOPLEX_PARAM(x) |
| #define | SOPLEX_SUBVERSION 0 |
| #define | SOPLEX_APIVERSION 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 |
Variables | |
| static const char | spxname [20] = {'S', 'o', 'P', 'l', 'e', 'x', ' ', SOPLEX_VERSION/100 + '0', '.', (SOPLEX_VERSION % 100)/10 + '0', '.', SOPLEX_VERSION % 10 + '0', '\0'} |
| static const char | spxdesc [200] |
Macro Definition Documentation
◆ STRONGBRANCH_RESTOREBASIS
| #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 42 of file lpi_spx.cpp.
◆ CHECK_SOPLEX_PARAM
| #define CHECK_SOPLEX_PARAM | ( | x | ) |
Value:
Definition at line 79 of file lpi_spx.cpp.
◆ SOPLEX_SUBVERSION
| #define SOPLEX_SUBVERSION 0 |
Definition at line 102 of file lpi_spx.cpp.
◆ SOPLEX_APIVERSION
| #define SOPLEX_APIVERSION 0 |
Definition at line 106 of file lpi_spx.cpp.
◆ SOPLEX_VERBLEVEL
| #define SOPLEX_VERBLEVEL 5 |
verbosity level for LPINFO
Definition at line 132 of file lpi_spx.cpp.
◆ NULL
| #define NULL 0 |
Definition at line 142 of file lpi_spx.cpp.
◆ SOPLEX_TRY
| #define SOPLEX_TRY | ( | messagehdlr, | |
| x | |||
| ) |
Value:
do \
{ \
try \
{ \
(x); \
} \
catch( const SPxMemoryException& E ) \
{ \
std::string s = E.what(); \
SCIPerrorMessage("SoPlex threw a memory exception: %s\n", s.c_str()); \
return SCIP_ERROR; \
} \
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 153 of file lpi_spx.cpp.
◆ SOPLEX_TRY_ABORT
| #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 198 of file lpi_spx.cpp.
◆ COLS_PER_PACKET
| #define COLS_PER_PACKET SCIP_DUALPACKETSIZE |
Definition at line 761 of file lpi_spx.cpp.
◆ ROWS_PER_PACKET
| #define ROWS_PER_PACKET SCIP_DUALPACKETSIZE |
Definition at line 763 of file lpi_spx.cpp.
Typedef Documentation
◆ COLPACKET
| typedef SCIP_DUALPACKET COLPACKET |
Definition at line 760 of file lpi_spx.cpp.
◆ ROWPACKET
| typedef SCIP_DUALPACKET ROWPACKET |
Definition at line 762 of file lpi_spx.cpp.
Function Documentation
◆ ensureCstatMem()
|
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 807 of file lpi_spx.cpp.
References BMSreallocMemoryArray, SCIP_LPi::cstat, SCIP_LPi::cstatsize, MAX, NULL, SCIP_ALLOC, and SCIP_OKAY.
Referenced by SCIPlpiGetState(), and SCIPlpiSetState().
◆ ensureRstatMem()
|
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 829 of file lpi_spx.cpp.
References BMSreallocMemoryArray, MAX, NULL, SCIP_LPi::rstat, SCIP_LPi::rstatsize, SCIP_ALLOC, and SCIP_OKAY.
Referenced by SCIPlpiGetState(), and SCIPlpiSetState().
◆ colpacketNum()
|
static |
returns the number of packets needed to store column packet information
- Parameters
-
ncols number of columns to store
Definition at line 858 of file lpi_spx.cpp.
References COLS_PER_PACKET.
Referenced by lpistateCreate(), and lpistateFree().
◆ rowpacketNum()
|
static |
returns the number of packets needed to store row packet information
- Parameters
-
nrows number of rows to store
Definition at line 867 of file lpi_spx.cpp.
References ROWS_PER_PACKET.
Referenced by lpistateCreate(), and lpistateFree().
◆ lpistatePack()
|
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 876 of file lpi_spx.cpp.
References SCIP_LPiState::ncols, SCIP_LPiState::nrows, NULL, SCIP_LPiState::packcstat, SCIP_LPiState::packrstat, and SCIPencodeDualBit().
Referenced by SCIPlpiGetState().
◆ lpistateUnpack()
|
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 892 of file lpi_spx.cpp.
References SCIP_LPiState::ncols, SCIP_LPiState::nrows, NULL, SCIP_LPiState::packcstat, SCIP_LPiState::packrstat, and SCIPdecodeDualBit().
Referenced by SCIPlpiSetState().
◆ lpistateCreate()
|
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 908 of file lpi_spx.cpp.
References BMSallocBlockMemory, BMSallocBlockMemoryArray, colpacketNum(), NULL, rowpacketNum(), SCIP_ALLOC, and SCIP_OKAY.
Referenced by SCIPlpiGetState().
◆ lpistateFree()
|
static |
frees LPi state information
- Parameters
-
lpistate pointer to LPi state information (like basis information) blkmem block memory
Definition at line 932 of file lpi_spx.cpp.
References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, colpacketNum(), NULL, and rowpacketNum().
Referenced by SCIPlpiFreeState().
◆ invalidateSolution()
|
static |
marks the current LP to be unsolved
Definition at line 959 of file lpi_spx.cpp.
References FALSE, NULL, and SCIP_LPi::solved.
Referenced by SCIPlpiAddCols(), SCIPlpiAddRows(), SCIPlpiChgBounds(), SCIPlpiChgCoef(), SCIPlpiChgObj(), SCIPlpiChgObjsen(), SCIPlpiChgSides(), SCIPlpiClear(), SCIPlpiCreate(), SCIPlpiDelCols(), SCIPlpiDelColset(), SCIPlpiDelRows(), SCIPlpiDelRowset(), SCIPlpiLoadColLP(), SCIPlpiScaleCol(), SCIPlpiScaleRow(), SCIPlpiSetBase(), and spxSolve().
◆ spxSolve()
|
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 2388 of file lpi_spx.cpp.
References invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPmessagePrintWarning(), SCIP_LPi::solved, SOPLEX_VERBLEVEL, SCIP_LPi::spx, Status(), TRUE, UNKNOWN, and x.
Referenced by SCIPlpiSolveDual(), and SCIPlpiSolvePrimal().
◆ lpiStrongbranch()
|
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 2533 of file lpi_spx.cpp.
References EPSCEIL, EPSFLOOR, FALSE, NULL, SCIP_Bool, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SOPLEX_VERBLEVEL, SCIP_LPi::spx, Status(), and TRUE.
Referenced by SCIPlpiStrongbranchesFrac(), SCIPlpiStrongbranchesInt(), SCIPlpiStrongbranchFrac(), and SCIPlpiStrongbranchInt().
◆ fileExists()
|
static |
returns whether the given file exists
- Parameters
-
filename file name
Definition at line 4634 of file lpi_spx.cpp.
References FALSE, NULL, and TRUE.
Referenced by SCIPlpiReadLP().
Variable Documentation
◆ spxname
|
static |
Definition at line 979 of file lpi_spx.cpp.
Referenced by SCIPlpiGetSolverName().
◆ spxdesc
|
static |
Initial value:
= {'L', 'i', 'n', 'e', 'a', 'r', ' ', 'p', 'r', 'o', 'g', 'r', 'a', 'm', 'm', 'i', 'n', 'g',
' ', 's', 'o', 'l', 'v', 'e', 'r', ' ' , 'd', 'e', 'v', 'e', 'l', 'o', 'p', 'e', 'd',
' ', 'a', 't', ' ', 'Z', 'u', 's', 'e', ' ', 'I', 'n', 's', 't', 'i', 't', 'u', 't', 'e',
' ', 'B', 'e', 'r', 'l', 'i', 'n', ' ', '(', 's', 'o', 'p', 'l', 'e', 'x', '.', 'z', 'i', 'b', '.', 'd', 'e', ')',
' ', '[', 'G', 'i', 't', 'H', 'a', 's', 'h', ':', ' ',
getGitHash()[0], getGitHash()[1], getGitHash()[2], getGitHash()[3],
getGitHash()[4], getGitHash()[5], getGitHash()[6], getGitHash()[7],
']', '\0'}
Definition at line 981 of file lpi_spx.cpp.
Referenced by SCIPlpiGetSolverDesc().