SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
LP interface for CPLEX >= 8.0.
Definition in file lpi_cpx.c.
#include <assert.h>#include "cplex.h"#include "scip/bitencode.h"#include "lpi/lpi.h"#include "scip/pub_message.h"Go to the source code of this file.
Macros | |
| #define | CPX_SUBVERSION 0 |
| #define | CHECK_ZERO(messagehdlr, x) |
| #define | ABORT_ZERO(x) |
| #define | CPX_INT_MAX 2100000000 /* CPLEX doesn't accept larger values in integer parameters */ |
| #define | CPX_REFACTORMAXITERS 50 /* maximal number of iterations allowed for producing a refactorization of the basis */ |
| #define | CPX_MAGICZEROCONSTANT 1e-10 |
| #define | COLS_PER_PACKET SCIP_DUALPACKETSIZE |
| #define | ROWS_PER_PACKET SCIP_DUALPACKETSIZE |
| #define | NUMINTPARAM 11 |
| #define | NUMDBLPARAM 7 |
Typedefs | |
| typedef SCIP_DUALPACKET | COLPACKET |
| typedef SCIP_DUALPACKET | ROWPACKET |
| typedef struct SCIP_CPXParam | SCIP_CPXPARAM |
Variables | |
| static const int | intparam [NUMINTPARAM] |
| static const int | dblparam [NUMDBLPARAM] |
| static const double | dblparammin [NUMDBLPARAM] |
| static char | cpxname [100] |
| #define CPX_SUBVERSION 0 |
Definition at line 37 of file lpi_cpx.c.
Referenced by SCIPlpiGetSolverName().
| #define CHECK_ZERO | ( | messagehdlr, | |
| x | |||
| ) |
Definition at line 45 of file lpi_cpx.c.
Referenced by getBase(), getParameterValues(), lpiStrongbranchIntegral(), restoreLPData(), SCIPlpiAddCols(), SCIPlpiAddRows(), SCIPlpiChgBounds(), SCIPlpiChgCoef(), SCIPlpiChgObj(), SCIPlpiChgObjsen(), SCIPlpiChgSides(), SCIPlpiClear(), SCIPlpiCreate(), SCIPlpiDelCols(), SCIPlpiDelColset(), SCIPlpiDelRows(), SCIPlpiDelRowset(), SCIPlpiFree(), SCIPlpiGetBase(), SCIPlpiGetBasisInd(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvARow(), SCIPlpiGetBInvCol(), SCIPlpiGetBInvRow(), SCIPlpiGetBounds(), SCIPlpiGetCoef(), SCIPlpiGetColNames(), SCIPlpiGetCols(), SCIPlpiGetDualfarkas(), SCIPlpiGetNorms(), SCIPlpiGetObj(), SCIPlpiGetObjval(), SCIPlpiGetPrimalRay(), SCIPlpiGetRealSolQuality(), SCIPlpiGetRowNames(), SCIPlpiGetRows(), SCIPlpiGetSides(), SCIPlpiGetSol(), SCIPlpiGetSolFeasibility(), SCIPlpiLoadColLP(), SCIPlpiReadState(), SCIPlpiSetBase(), SCIPlpiSetNorms(), SCIPlpiSetState(), SCIPlpiSolveBarrier(), SCIPlpiSolveDual(), SCIPlpiSolvePrimal(), SCIPlpiStrongbranchesFrac(), SCIPlpiStrongbranchFrac(), SCIPlpiWriteState(), setBase(), and setParameterValues().
| #define ABORT_ZERO | ( | x | ) |
Definition at line 54 of file lpi_cpx.c.
Referenced by SCIPlpiIsDualFeasible(), SCIPlpiIsDualInfeasible(), SCIPlpiIsDualUnbounded(), SCIPlpiIsPrimalFeasible(), SCIPlpiIsPrimalInfeasible(), SCIPlpiIsPrimalUnbounded(), and SCIPlpiIsStable().
| #define CPX_INT_MAX 2100000000 /* CPLEX doesn't accept larger values in integer parameters */ |
Definition at line 63 of file lpi_cpx.c.
Referenced by checkParameterValues(), lpiStrongbranchIntegral(), SCIPlpiGetIntpar(), and SCIPlpiSetIntpar().
| #define CPX_REFACTORMAXITERS 50 /* maximal number of iterations allowed for producing a refactorization of the basis */ |
Definition at line 68 of file lpi_cpx.c.
Referenced by restoreLPData().
| #define CPX_MAGICZEROCONSTANT 1e-10 |
Definition at line 72 of file lpi_cpx.c.
Referenced by SCIPlpiChgBounds().
| #define COLS_PER_PACKET SCIP_DUALPACKETSIZE |
Definition at line 75 of file lpi_cpx.c.
Referenced by colpacketNum().
| #define ROWS_PER_PACKET SCIP_DUALPACKETSIZE |
Definition at line 77 of file lpi_cpx.c.
Referenced by rowpacketNum().
| #define NUMINTPARAM 11 |
Definition at line 81 of file lpi_cpx.c.
Referenced by checkParameterValues(), copyParameterValues(), getIntParam(), getParameterValues(), setIntParam(), and setParameterValues().
| #define NUMDBLPARAM 7 |
Definition at line 102 of file lpi_cpx.c.
Referenced by checkParameterValues(), copyParameterValues(), getDblParam(), getParameterValues(), setDblParam(), and setParameterValues().
| typedef SCIP_DUALPACKET COLPACKET |
| typedef SCIP_DUALPACKET ROWPACKET |
| typedef struct SCIP_CPXParam SCIP_CPXPARAM |
|
static |
resizes larray and uarray to have at least num entries
| lpi | LP interface structure |
| num | minimal number of entries in array |
Definition at line 202 of file lpi_cpx.c.
References BMSreallocMemoryArray, SCIP_LPi::boundchgsize, SCIP_LPi::larray, MAX, NULL, SCIP_ALLOC, SCIP_OKAY, and SCIP_LPi::uarray.
Referenced by SCIPlpiChgBounds().
|
static |
resizes senarray, rngarray, and rngindarray to have at least num entries
| lpi | LP interface structure |
| num | minimal number of entries in array |
Definition at line 231 of file lpi_cpx.c.
References BMSreallocMemoryArray, MAX, NULL, SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIP_LPi::rngindarray, SCIP_ALLOC, SCIP_OKAY, SCIP_LPi::senarray, and SCIP_LPi::sidechgsize.
Referenced by SCIPlpiAddRows(), SCIPlpiChgSides(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvCol(), SCIPlpiGetRows(), SCIPlpiGetSides(), and SCIPlpiLoadColLP().
|
static |
resizes valarray and indarray to have at least num entries
| lpi | LP interface structure |
| num | minimal number of entries in array |
Definition at line 256 of file lpi_cpx.c.
References BMSreallocMemoryArray, SCIP_LPi::indarray, MAX, NULL, SCIP_ALLOC, SCIP_OKAY, SCIP_LPi::valarray, and SCIP_LPi::valsize.
Referenced by SCIPlpiGetBInvACol(), SCIPlpiGetBInvARow(), SCIPlpiGetBInvCol(), SCIPlpiGetBInvRow(), SCIPlpiScaleCol(), and SCIPlpiScaleRow().
|
static |
resizes cstat array to have at least num entries
| lpi | LP interface structure |
| num | minimal number of entries in array |
Definition at line 279 of file lpi_cpx.c.
References BMSreallocMemoryArray, SCIP_LPi::cstat, SCIP_LPi::cstatsize, MAX, NULL, SCIP_ALLOC, and SCIP_OKAY.
Referenced by getBase(), and SCIPlpiSetState().
|
static |
resizes rstat array to have at least num entries
| lpi | LP interface structure |
| num | minimal number of entries in array |
Definition at line 301 of file lpi_cpx.c.
References BMSreallocMemoryArray, MAX, NULL, SCIP_LPi::rstat, SCIP_LPi::rstatsize, SCIP_ALLOC, and SCIP_OKAY.
Referenced by getBase(), SCIPlpiSetBase(), and SCIPlpiSetState().
|
static |
stores current basis in internal arrays of LPI data structure
| lpi | LP interface structure |
Definition at line 323 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cstat, ensureCstatMem(), ensureRstatMem(), SCIP_LPi::messagehdlr, NULL, SCIP_LPi::rstat, SCIP_CALL, SCIP_OKAY, and SCIPdebugMessage.
Referenced by lpiStrongbranchIntegral(), and SCIPlpiGetState().
|
static |
loads basis stored in internal arrays of LPI data structure into CPLEX
| lpi | LP interface structure |
Definition at line 350 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cstat, SCIP_LPi::messagehdlr, NULL, SCIP_LPi::rstat, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_OKAY, and SCIPdebugMessage.
Referenced by lpiStrongbranchIntegral(), and SCIPlpiSetState().
|
static |
returns the number of packets needed to store column packet information
| ncols | number of columns to store |
Definition at line 380 of file lpi_cpx.c.
References COLS_PER_PACKET.
Referenced by lpistateCreate(), and lpistateFree().
|
static |
returns the number of packets needed to store row packet information
| nrows | number of rows to store |
Definition at line 389 of file lpi_cpx.c.
References ROWS_PER_PACKET.
Referenced by lpistateCreate(), and lpistateFree().
|
static |
store row and column basis status in a packed LPi state object
| 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 398 of file lpi_cpx.c.
References SCIP_LPiState::ncols, SCIP_LPiState::nrows, NULL, SCIP_LPiState::packcstat, SCIP_LPiState::packrstat, and SCIPencodeDualBit().
Referenced by SCIPlpiGetState().
|
static |
unpacks row and column basis status from a packed LPi state object
| 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 414 of file lpi_cpx.c.
References SCIP_LPiState::ncols, SCIP_LPiState::nrows, NULL, SCIP_LPiState::packcstat, SCIP_LPiState::packrstat, and SCIPdecodeDualBit().
Referenced by SCIPlpiSetState().
|
static |
creates LPi state information object
| lpistate | pointer to LPi state |
| blkmem | block memory |
| ncols | number of columns to store |
| nrows | number of rows to store |
Definition at line 430 of file lpi_cpx.c.
References BMSallocBlockMemory, BMSallocBlockMemoryArray, colpacketNum(), NULL, rowpacketNum(), SCIP_ALLOC, and SCIP_OKAY.
Referenced by SCIPlpiGetState().
|
static |
frees LPi state information
| lpistate | pointer to LPi state information (like basis information) |
| blkmem | block memory |
Definition at line 451 of file lpi_cpx.c.
References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, colpacketNum(), NULL, and rowpacketNum().
Referenced by SCIPlpiFreeState().
|
static |
gets all CPLEX parameters used in LPI
| lpi | LP interface structure |
| cpxparam | current parameter values for this LP |
Definition at line 473 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, dblparam, SCIP_CPXParam::dblparval, intparam, SCIP_CPXParam::intparval, SCIP_LPi::messagehdlr, NULL, NUMDBLPARAM, NUMINTPARAM, SCIP_OKAY, and SCIPdebugMessage.
Referenced by checkParameterValues(), and SCIPlpiCreate().
|
static |
in debug mode, checks validity of CPLEX parameters
| lpi | LP interface structure |
Definition at line 499 of file lpi_cpx.c.
References CPX_INT_MAX, SCIP_LPi::cpxenv, SCIP_LPi::curparam, dblparammin, SCIP_CPXParam::dblparval, getParameterValues(), intparam, SCIP_CPXParam::intparval, MAX, NULL, NUMDBLPARAM, NUMINTPARAM, SCIP_CALL, and SCIP_OKAY.
Referenced by setParameterValues().
|
static |
sets all CPLEX parameters used in LPI
| lpi | LP interface structure |
| cpxparam | current parameter values for this LP |
Definition at line 529 of file lpi_cpx.c.
References CHECK_ZERO, checkParameterValues(), SCIP_LPi::cpxenv, SCIP_LPi::curparam, dblparam, dblparammin, SCIP_CPXParam::dblparval, intparam, SCIP_CPXParam::intparval, MAX, SCIP_LPi::messagehdlr, NULL, NUMDBLPARAM, NUMINTPARAM, SCIP_CALL, SCIP_OKAY, and SCIPdebugMessage.
Referenced by SCIPlpiGetBasisInd(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvARow(), SCIPlpiGetBInvCol(), SCIPlpiGetBInvRow(), SCIPlpiSolveBarrier(), SCIPlpiSolveDual(), SCIPlpiSolvePrimal(), SCIPlpiStrongbranchesFrac(), and SCIPlpiStrongbranchFrac().
|
static |
copies CPLEX parameters from source to dest
| dest | CPLEX parameters to copy to |
| source | CPLEX parameters which will be copied |
Definition at line 576 of file lpi_cpx.c.
References SCIP_CPXParam::dblparval, SCIP_CPXParam::intparval, NUMDBLPARAM, and NUMINTPARAM.
Referenced by SCIPlpiCreate().
|
static |
gets a single integer parameter value
| lpi | LP interface structure |
| param | parameter to get value for |
Definition at line 591 of file lpi_cpx.c.
References SCIP_LPi::cpxparam, intparam, SCIP_CPXParam::intparval, NULL, NUMINTPARAM, SCIPABORT, and SCIPerrorMessage.
Referenced by lpiStrongbranchIntegral(), SCIPlpiGetIntpar(), SCIPlpiSolveDual(), and SCIPlpiSolvePrimal().
|
static |
gets a single double parameter value
| lpi | LP interface structure |
| param | parameter to get value for |
Definition at line 613 of file lpi_cpx.c.
References SCIP_LPi::cpxparam, dblparam, SCIP_CPXParam::dblparval, NULL, NUMDBLPARAM, SCIP_Real, SCIPABORT, and SCIPerrorMessage.
Referenced by lpiStrongbranchIntegral(), SCIPlpiGetRealpar(), and SCIPlpiSolveDual().
|
static |
sets a single integer parameter value
| lpi | LP interface structure |
| param | parameter to set value |
| parval | new value for parameter |
Definition at line 644 of file lpi_cpx.c.
References SCIP_LPi::cpxparam, intparam, SCIP_CPXParam::intparval, NULL, NUMINTPARAM, SCIPABORT, and SCIPerrorMessage.
Referenced by lpiStrongbranchIntegral(), SCIPlpiGetBasisInd(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvARow(), SCIPlpiGetBInvCol(), SCIPlpiGetBInvRow(), SCIPlpiSetIntpar(), SCIPlpiSolveBarrier(), SCIPlpiSolveDual(), SCIPlpiSolvePrimal(), SCIPlpiStrongbranchesFrac(), and SCIPlpiStrongbranchFrac().
|
static |
sets a single double parameter value
| lpi | LP interface structure |
| param | parameter to set value |
| parval | new value for parameter |
Definition at line 669 of file lpi_cpx.c.
References SCIP_LPi::cpxparam, dblparam, SCIP_CPXParam::dblparval, NULL, NUMDBLPARAM, SCIPABORT, and SCIPerrorMessage.
Referenced by SCIPlpiSetRealpar(), and SCIPlpiSolveDual().
|
static |
marks the current LP to be unsolved
| lpi | LP interface structure |
Definition at line 699 of file lpi_cpx.c.
References FALSE, SCIP_LPi::instabilityignored, NULL, and SCIP_LPi::solstat.
Referenced by SCIPlpiAddCols(), SCIPlpiAddRows(), SCIPlpiChgBounds(), SCIPlpiChgCoef(), SCIPlpiChgObjsen(), SCIPlpiChgSides(), SCIPlpiClear(), SCIPlpiCreate(), SCIPlpiDelCols(), SCIPlpiDelColset(), SCIPlpiDelRows(), SCIPlpiDelRowset(), SCIPlpiLoadColLP(), SCIPlpiScaleCol(), SCIPlpiScaleRow(), SCIPlpiSetBase(), SCIPlpiSolveBarrier(), SCIPlpiSolveDual(), and SCIPlpiSolvePrimal().
|
static |
converts SCIP's objective sense into CPLEX's objective sense
| objsen | objective sense |
Definition at line 710 of file lpi_cpx.c.
References SCIP_OBJSEN_MAXIMIZE, SCIP_OBJSEN_MINIMIZE, SCIPABORT, and SCIPerrorMessage.
Referenced by SCIPlpiChgObjsen(), and SCIPlpiLoadColLP().
|
static |
converts SCIP's lhs/rhs pairs into CPLEX's sen/rhs/rng
| lpi | LP interface structure |
| nrows | number of rows |
| lhs | left hand side vector |
| rhs | right hand side vector |
| indoffset | index of first row in LP |
| rngcount | pointer to store the number of range rows |
Definition at line 729 of file lpi_cpx.c.
References NULL, SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIP_LPi::rngindarray, and SCIP_LPi::senarray.
Referenced by SCIPlpiAddRows(), SCIPlpiChgSides(), and SCIPlpiLoadColLP().
|
static |
converts CPLEX's sen/rhs/rng triplets into SCIP's lhs/rhs pairs
| lpi | LP interface structure |
| nrows | number of rows |
| lhs | buffer to store the left hand side vector |
| rhs | buffer to store the right hand side vector |
Definition at line 795 of file lpi_cpx.c.
References NULL, SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIPABORT, SCIPerrorMessage, and SCIP_LPi::senarray.
Referenced by reconvertSides().
converts CPLEX's sen/rhs/rng triplets into SCIP's lhs/rhs pairs, only storing the left hand side
| lpi | LP interface structure |
| nrows | number of rows |
| lhs | buffer to store the left hand side vector |
Definition at line 852 of file lpi_cpx.c.
References NULL, SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIPABORT, SCIPerrorMessage, and SCIP_LPi::senarray.
Referenced by reconvertSides().
converts CPLEX's sen/rhs/rng triplets into SCIP's lhs/rhs pairs, only storing the right hand side
| lpi | LP interface structure |
| nrows | number of rows |
| rhs | buffer to store the right hand side vector |
Definition at line 900 of file lpi_cpx.c.
References NULL, SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIPABORT, SCIPerrorMessage, and SCIP_LPi::senarray.
Referenced by reconvertSides().
converts CPLEX's sen/rhs/rng triplets into SCIP's lhs/rhs pairs
| lpi | LP interface structure |
| nrows | number of rows |
| lhs | buffer to store the left hand side vector, or NULL |
| rhs | buffer to store the right hand side vector, or NULL |
Definition at line 948 of file lpi_cpx.c.
References NULL, reconvertBothSides(), reconvertLhs(), and reconvertRhs().
Referenced by SCIPlpiGetRows(), and SCIPlpiGetSides().
|
static |
after restoring the old lp data in CPLEX we need to resolve the lp to be able to retrieve correct information
| lpi | LP interface structure |
Definition at line 966 of file lpi_cpx.c.
References CHECK_ZERO, CPX_REFACTORMAXITERS, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, and SCIPmessagePrintWarning().
Referenced by SCIPlpiGetBasisInd(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvARow(), SCIPlpiGetBInvCol(), and SCIPlpiGetBInvRow().
| const char* SCIPlpiGetSolverName | ( | void | ) |
gets name and version of LP solver
Definition at line 1009 of file lpi_cpx.c.
References CPX_SUBVERSION, and cpxname.
| const char* SCIPlpiGetSolverDesc | ( | void | ) |
| void* SCIPlpiGetSolverPointer | ( | SCIP_LPI * | lpi | ) |
gets pointer for LP solver - use only with great care
Here we return the pointer to the LP environment.
| lpi | pointer to an LP interface structure |
Definition at line 1033 of file lpi_cpx.c.
References SCIP_LPi::cpxlp.
| SCIP_RETCODE SCIPlpiSetIntegralityInformation | ( | SCIP_LPI * | lpi, |
| int | ncols, | ||
| int * | intInfo | ||
| ) |
pass integrality information to LP solver
| lpi | pointer to an LP interface structure |
| ncols | length of integrality array |
| intInfo | integrality array (0: continuous, 1: integer) |
Definition at line 1041 of file lpi_cpx.c.
References SCIP_LPERROR, and SCIPerrorMessage.
| SCIP_RETCODE SCIPlpiCreate | ( | SCIP_LPI ** | lpi, |
| SCIP_MESSAGEHDLR * | messagehdlr, | ||
| const char * | name, | ||
| SCIP_OBJSEN | objsen | ||
| ) |
creates an LP problem object
| 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 1064 of file lpi_cpx.c.
References BMSallocMemory, CHECK_ZERO, copyParameterValues(), FALSE, getParameterValues(), invalidateSolution(), NULL, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_LPPAR_PRICING, SCIP_OKAY, SCIP_PRICING_LPIDEFAULT, SCIP_Real, SCIPdebugMessage, SCIPlpiChgObjsen(), and SCIPlpiSetIntpar().
| SCIP_RETCODE SCIPlpiFree | ( | SCIP_LPI ** | lpi | ) |
deletes an LP problem object
| lpi | pointer to an LP interface structure |
Definition at line 1149 of file lpi_cpx.c.
References BMSfreeMemory, BMSfreeMemoryArrayNull, CHECK_ZERO, NULL, SCIP_OKAY, and SCIPdebugMessage.
| 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 ** | rownames, | ||
| int | nnonz, | ||
| const int * | beg, | ||
| const int * | ind, | ||
| const SCIP_Real * | val | ||
| ) |
copies LP data with column matrix into LP solver
| 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 |
| rownames | row names, or NULL |
| 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 1195 of file lpi_cpx.c.
References BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, convertSides(), SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, cpxObjsen(), ensureSidechgMem(), invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, and SCIP_LPi::senarray.
| SCIP_RETCODE SCIPlpiAddCols | ( | SCIP_LPI * | lpi, |
| int | ncols, | ||
| const SCIP_Real * | obj, | ||
| const SCIP_Real * | lb, | ||
| const SCIP_Real * | ub, | ||
| char ** | colnames, | ||
| int | nnonz, | ||
| const int * | beg, | ||
| const int * | ind, | ||
| const SCIP_Real * | val | ||
| ) |
adds columns to the LP
| 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 |
| colnames | column names, or NULL |
| 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 1255 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, and SCIPdebugMessage.
| SCIP_RETCODE SCIPlpiDelCols | ( | SCIP_LPI * | lpi, |
| int | firstcol, | ||
| int | lastcol | ||
| ) |
deletes all columns in the given range from LP
| lpi | LP interface structure |
| firstcol | first column to be deleted |
| lastcol | last column to be deleted |
Definition at line 1307 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, and SCIPdebugMessage.
| 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
| 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 1328 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, and SCIPdebugMessage.
| SCIP_RETCODE SCIPlpiAddRows | ( | SCIP_LPI * | lpi, |
| int | nrows, | ||
| const SCIP_Real * | lhs, | ||
| const SCIP_Real * | rhs, | ||
| char ** | rownames, | ||
| int | nnonz, | ||
| const int * | beg, | ||
| const int * | ind, | ||
| const SCIP_Real * | val | ||
| ) |
adds rows to the LP
| 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 |
| rownames | row names, or NULL |
| 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 1349 of file lpi_cpx.c.
References CHECK_ZERO, convertSides(), SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureSidechgMem(), FALSE, invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIP_LPi::rngfound, SCIP_LPi::rngindarray, SCIP_CALL, SCIP_LPPAR_SCALING, SCIP_OKAY, SCIPdebugMessage, SCIPlpiSetIntpar(), SCIP_LPi::senarray, and TRUE.
| SCIP_RETCODE SCIPlpiDelRows | ( | SCIP_LPI * | lpi, |
| int | firstrow, | ||
| int | lastrow | ||
| ) |
deletes all rows in the given range from LP
| lpi | LP interface structure |
| firstrow | first row to be deleted |
| lastrow | last row to be deleted |
Definition at line 1411 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, and SCIPdebugMessage.
| 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
| 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 1432 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, and SCIPdebugMessage.
| SCIP_RETCODE SCIPlpiClear | ( | SCIP_LPI * | lpi | ) |
clears the whole LP
| lpi | LP interface structure |
Definition at line 1453 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, and SCIPdebugMessage.
| 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
| 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 1483 of file lpi_cpx.c.
References CHECK_ZERO, CPX_MAGICZEROCONSTANT, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureBoundchgMem(), EPSZ, invalidateSolution(), SCIP_LPi::larray, SCIP_LPi::messagehdlr, NULL, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPdebugPrintf, SCIPerrorMessage, SCIPlpiIsInfinity(), and SCIP_LPi::uarray.
Referenced by SCIPlpiScaleCol().
| 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
| 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 1547 of file lpi_cpx.c.
References CHECK_ZERO, convertSides(), SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureSidechgMem(), invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIP_LPi::rngindarray, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, and SCIP_LPi::senarray.
Referenced by SCIPlpiScaleRow().
| SCIP_RETCODE SCIPlpiChgCoef | ( | SCIP_LPI * | lpi, |
| int | row, | ||
| int | col, | ||
| SCIP_Real | newval | ||
| ) |
changes a single coefficient
| 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 1595 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, and SCIPdebugMessage.
Referenced by SCIPlpiScaleCol(), and SCIPlpiScaleRow().
| SCIP_RETCODE SCIPlpiChgObjsen | ( | SCIP_LPI * | lpi, |
| SCIP_OBJSEN | objsen | ||
| ) |
changes the objective sense
| lpi | LP interface structure |
| objsen | new objective sense |
Definition at line 1616 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, cpxObjsen(), invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, and SCIPdebugMessage.
Referenced by SCIPlpiCreate().
| SCIP_RETCODE SCIPlpiChgObj | ( | SCIP_LPI * | lpi, |
| int | ncols, | ||
| const int * | ind, | ||
| const SCIP_Real * | obj | ||
| ) |
changes objective values of columns in the LP
| 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 1639 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, and SCIPdebugMessage.
Referenced by SCIPlpiScaleCol().
| 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
| lpi | LP interface structure |
| row | row number to scale |
| scaleval | scaling multiplier |
Definition at line 1658 of file lpi_cpx.c.
References SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureValMem(), SCIP_LPi::indarray, invalidateSolution(), NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiChgCoef(), SCIPlpiChgSides(), SCIPlpiGetRows(), and SCIP_LPi::valarray.
| 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
| lpi | LP interface structure |
| col | column number to scale |
| scaleval | scaling multiplier |
Definition at line 1714 of file lpi_cpx.c.
References SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureValMem(), SCIP_LPi::indarray, invalidateSolution(), NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiChgBounds(), SCIPlpiChgCoef(), SCIPlpiChgObj(), SCIPlpiGetCols(), SCIPlpiGetObj(), and SCIP_LPi::valarray.
| SCIP_RETCODE SCIPlpiGetNRows | ( | SCIP_LPI * | lpi, |
| int * | nrows | ||
| ) |
gets the number of rows in the LP
| lpi | LP interface structure |
| nrows | pointer to store the number of rows |
Definition at line 1788 of file lpi_cpx.c.
References SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, NULL, SCIP_OKAY, and SCIPdebugMessage.
| SCIP_RETCODE SCIPlpiGetNCols | ( | SCIP_LPI * | lpi, |
| int * | ncols | ||
| ) |
gets the number of columns in the LP
| lpi | LP interface structure |
| ncols | pointer to store the number of cols |
Definition at line 1805 of file lpi_cpx.c.
References SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, NULL, SCIP_OKAY, and SCIPdebugMessage.
| SCIP_RETCODE SCIPlpiGetNNonz | ( | SCIP_LPI * | lpi, |
| int * | nnonz | ||
| ) |
gets the number of nonzero elements in the LP constraint matrix
| lpi | LP interface structure |
| nnonz | pointer to store the number of nonzeros |
Definition at line 1822 of file lpi_cpx.c.
References SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, NULL, SCIP_OKAY, and SCIPdebugMessage.
| 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.
| 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 1842 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, and SCIPdebugMessage.
Referenced by SCIPlpiScaleCol().
| 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.
| 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 1898 of file lpi_cpx.c.
References BMSclearMemoryArray, CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureSidechgMem(), SCIP_LPi::messagehdlr, NULL, reconvertSides(), SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, and SCIP_LPi::senarray.
Referenced by SCIPlpiScaleRow().
| SCIP_RETCODE SCIPlpiGetColNames | ( | SCIP_LPI * | lpi, |
| int | firstcol, | ||
| int | lastcol, | ||
| char ** | colnames, | ||
| char * | namestorage, | ||
| int | namestoragesize, | ||
| int * | storageleft | ||
| ) |
gets column names
| 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 1967 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, and SCIPdebugMessage.
| SCIP_RETCODE SCIPlpiGetRowNames | ( | SCIP_LPI * | lpi, |
| int | firstrow, | ||
| int | lastrow, | ||
| char ** | rownames, | ||
| char * | namestorage, | ||
| int | namestoragesize, | ||
| int * | storageleft | ||
| ) |
gets row names
| 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 2001 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, and SCIPdebugMessage.
| SCIP_RETCODE SCIPlpiGetObjsen | ( | SCIP_LPI * | lpi, |
| SCIP_OBJSEN * | objsen | ||
| ) |
gets objective sense of the LP
| lpi | LP interface structure |
| objsen | pointer to store objective sense |
Definition at line 2035 of file lpi_cpx.c.
References SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, NULL, SCIP_OBJSEN_MAXIMIZE, SCIP_OBJSEN_MINIMIZE, SCIP_OKAY, and SCIPdebugMessage.
| SCIP_RETCODE SCIPlpiGetObj | ( | SCIP_LPI * | lpi, |
| int | firstcol, | ||
| int | lastcol, | ||
| SCIP_Real * | vals | ||
| ) |
gets objective coefficients from LP problem object
| 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 2052 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, and SCIPdebugMessage.
Referenced by SCIPlpiScaleCol().
| SCIP_RETCODE SCIPlpiGetBounds | ( | SCIP_LPI * | lpi, |
| int | firstcol, | ||
| int | lastcol, | ||
| SCIP_Real * | lbs, | ||
| SCIP_Real * | ubs | ||
| ) |
gets current bounds from LP problem object
| lpi | LP interface structure |
| firstcol | first column to get bounds for |
| lastcol | last column to get bounds for |
| lbs | array to store lower bound values, or NULL |
| ubs | array to store upper bound values, or NULL |
Definition at line 2073 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, and SCIPdebugMessage.
| SCIP_RETCODE SCIPlpiGetSides | ( | SCIP_LPI * | lpi, |
| int | firstrow, | ||
| int | lastrow, | ||
| SCIP_Real * | lhss, | ||
| SCIP_Real * | rhss | ||
| ) |
gets current row sides from LP problem object
| 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 2102 of file lpi_cpx.c.
References BMSclearMemoryArray, CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureSidechgMem(), SCIP_LPi::messagehdlr, NULL, reconvertSides(), SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, and SCIP_LPi::senarray.
| SCIP_RETCODE SCIPlpiGetCoef | ( | SCIP_LPI * | lpi, |
| int | row, | ||
| int | col, | ||
| SCIP_Real * | val | ||
| ) |
gets a single coefficient
| 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 2144 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, and SCIPdebugMessage.
| 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
| lpi | LP interface structure |
Definition at line 2175 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::clearstate, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, FALSE, SCIP_LPi::fromscratch, getIntParam(), SCIP_LPi::instabilityignored, invalidateSolution(), SCIP_LPi::iterations, SCIP_LPi::messagehdlr, NULL, SCIP_CALL, SCIP_LPERROR, SCIP_NOMEMORY, SCIP_OKAY, SCIPdebugMessage, SCIPerrorMessage, setIntParam(), setParameterValues(), SCIP_LPi::solisbasic, SCIP_LPi::solstat, and TRUE.
| 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
| lpi | LP interface structure |
Definition at line 2289 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::clearstate, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, FALSE, SCIP_LPi::fromscratch, getDblParam(), getIntParam(), SCIP_LPi::instabilityignored, invalidateSolution(), SCIP_LPi::iterations, SCIP_LPi::messagehdlr, NULL, SCIP_CALL, SCIP_LPERROR, SCIP_NOMEMORY, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetObjval(), SCIPlpiIsObjlimExc(), setDblParam(), setIntParam(), setParameterValues(), SCIP_LPi::solisbasic, SCIP_LPi::solstat, and TRUE.
Referenced by lpiStrongbranchIntegral().
| SCIP_RETCODE SCIPlpiSolveBarrier | ( | SCIP_LPI * | lpi, |
| SCIP_Bool | crossover | ||
| ) |
calls barrier or interior point algorithm to solve the LP with crossover to simplex basis
| lpi | LP interface structure |
| crossover | perform crossover |
Definition at line 2483 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::clearstate, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, FALSE, SCIP_LPi::fromscratch, SCIP_LPi::instabilityignored, invalidateSolution(), SCIP_LPi::iterations, SCIP_LPi::messagehdlr, NULL, SCIP_CALL, SCIP_LPERROR, SCIP_NOMEMORY, SCIP_OKAY, SCIPdebugMessage, SCIPerrorMessage, setIntParam(), setParameterValues(), SCIP_LPi::solisbasic, and SCIP_LPi::solstat.
|
static |
manually performs strong branching on one integral variable
| 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 2567 of file lpi_cpx.c.
References CHECK_ZERO, CPX_INT_MAX, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, EPSCEIL, EPSFLOOR, EPSISINT, SCIP_LPi::feastol, getBase(), getDblParam(), getIntParam(), SCIP_LPi::messagehdlr, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiGetIterations(), SCIPlpiGetObjval(), SCIPlpiIsIterlimExc(), SCIPlpiIsObjlimExc(), SCIPlpiIsOptimal(), SCIPlpiIsPrimalInfeasible(), SCIPlpiSolveDual(), setBase(), setIntParam(), and TRUE.
Referenced by SCIPlpiStrongbranchesInt(), and SCIPlpiStrongbranchInt().
| SCIP_RETCODE SCIPlpiStartStrongbranch | ( | SCIP_LPI * | lpi | ) |
| SCIP_RETCODE SCIPlpiEndStrongbranch | ( | SCIP_LPI * | lpi | ) |
| 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
| 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 2691 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::clearstate, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, EPSISINT, FALSE, SCIP_LPi::feastol, SCIP_LPi::fromscratch, SCIP_LPi::messagehdlr, NULL, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, setIntParam(), setParameterValues(), and TRUE.
| 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
| 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 2755 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::clearstate, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, EPSISINT, FALSE, SCIP_LPi::feastol, SCIP_LPi::fromscratch, SCIP_LPi::messagehdlr, NULL, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, setIntParam(), setParameterValues(), and TRUE.
| 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
| 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 2821 of file lpi_cpx.c.
References SCIP_LPi::cpxlp, EPSISINT, SCIP_LPi::feastol, lpiStrongbranchIntegral(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPdebugMessage.
| 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
| 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 2855 of file lpi_cpx.c.
References SCIP_LPi::cpxlp, EPSISINT, SCIP_LPi::feastol, lpiStrongbranchIntegral(), NULL, SCIP_CALL, SCIP_OKAY, and SCIPdebugMessage.
returns whether a solve method was called after the last modification of the LP
| lpi | LP interface structure |
Definition at line 2908 of file lpi_cpx.c.
References NULL, and SCIP_LPi::solstat.
| SCIP_RETCODE SCIPlpiGetSolFeasibility | ( | SCIP_LPI * | lpi, |
| SCIP_Bool * | primalfeasible, | ||
| SCIP_Bool * | dualfeasible | ||
| ) |
gets information about primal and dual feasibility of the current LP solution
| lpi | LP interface structure |
| primalfeasible | stores primal feasibility status |
| dualfeasible | stores dual feasibility status |
Definition at line 2918 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::messagehdlr, NULL, SCIP_Bool, SCIP_OKAY, and SCIPdebugMessage.
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
| lpi | LP interface structure |
Definition at line 2945 of file lpi_cpx.c.
References SCIP_LPi::cpxlp, NULL, and SCIP_LPi::solstat.
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
| lpi | LP interface structure |
Definition at line 2959 of file lpi_cpx.c.
References SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, NULL, and SCIP_LPi::solstat.
returns TRUE iff LP is proven to be primal unbounded
| lpi | LP interface structure |
Definition at line 2972 of file lpi_cpx.c.
References ABORT_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, NULL, SCIPdebugMessage, and SCIP_LPi::solstat.
returns TRUE iff LP is proven to be primal infeasible
| lpi | LP interface structure |
Definition at line 2996 of file lpi_cpx.c.
References ABORT_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, NULL, SCIPdebugMessage, and SCIP_LPi::solstat.
Referenced by lpiStrongbranchIntegral().
returns TRUE iff LP is proven to be primal feasible
| lpi | LP interface structure |
Definition at line 3015 of file lpi_cpx.c.
References ABORT_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, NULL, SCIP_Bool, SCIPdebugMessage, and SCIP_LPi::solstat.
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
| lpi | LP interface structure |
Definition at line 3036 of file lpi_cpx.c.
References NULL, and SCIP_LPi::solstat.
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
| lpi | LP interface structure |
Definition at line 3049 of file lpi_cpx.c.
References SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, NULL, and SCIP_LPi::solstat.
returns TRUE iff LP is proven to be dual unbounded
| lpi | LP interface structure |
Definition at line 3062 of file lpi_cpx.c.
References ABORT_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, NULL, SCIPdebugMessage, and SCIP_LPi::solstat.
returns TRUE iff LP is proven to be dual infeasible
| lpi | LP interface structure |
Definition at line 3081 of file lpi_cpx.c.
References ABORT_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, NULL, SCIPdebugMessage, and SCIP_LPi::solstat.
returns TRUE iff LP is proven to be dual feasible
| lpi | LP interface structure |
Definition at line 3102 of file lpi_cpx.c.
References ABORT_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, NULL, SCIP_Bool, SCIPdebugMessage, and SCIP_LPi::solstat.
returns TRUE iff LP was solved to optimality
| lpi | LP interface structure |
Definition at line 3121 of file lpi_cpx.c.
References NULL, and SCIP_LPi::solstat.
Referenced by lpiStrongbranchIntegral(), and SCIPlpiIsStable().
returns TRUE iff current LP basis is stable
| lpi | LP interface structure |
Definition at line 3132 of file lpi_cpx.c.
References ABORT_ZERO, SCIP_LPi::checkcondition, SCIP_LPi::conditionlimit, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, FALSE, NULL, SCIP_INVALID, SCIP_LPSOLQUALITY_ESTIMCONDITION, SCIP_OKAY, SCIP_Real, SCIPABORT, SCIPdebugMessage, SCIPlpiGetRealSolQuality(), SCIPlpiIsObjlimExc(), SCIPlpiIsOptimal(), and SCIP_LPi::solstat.
returns TRUE iff the objective limit was reached
| lpi | LP interface structure |
Definition at line 3181 of file lpi_cpx.c.
References NULL, and SCIP_LPi::solstat.
Referenced by lpiStrongbranchIntegral(), SCIPlpiIsStable(), and SCIPlpiSolveDual().
returns TRUE iff the iteration limit was reached
| lpi | LP interface structure |
Definition at line 3194 of file lpi_cpx.c.
References NULL, and SCIP_LPi::solstat.
Referenced by lpiStrongbranchIntegral().
returns TRUE iff the time limit was reached
| lpi | LP interface structure |
Definition at line 3205 of file lpi_cpx.c.
References NULL, and SCIP_LPi::solstat.
| int SCIPlpiGetInternalStatus | ( | SCIP_LPI * | lpi | ) |
returns the internal solution status of the solver
| lpi | LP interface structure |
Definition at line 3216 of file lpi_cpx.c.
References SCIP_LPi::cpxlp, NULL, and SCIP_LPi::solstat.
| 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
| lpi | LP interface structure |
| success | pointer to store, whether the instability could be ignored |
Definition at line 3227 of file lpi_cpx.c.
References SCIP_LPi::cpxlp, SCIP_LPi::instabilityignored, NULL, SCIP_OKAY, SCIP_LPi::solstat, and TRUE.
| SCIP_RETCODE SCIPlpiGetObjval | ( | SCIP_LPI * | lpi, |
| SCIP_Real * | objval | ||
| ) |
gets objective value of solution
| lpi | LP interface structure |
| objval | stores the objective value |
Definition at line 3250 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiInfinity().
Referenced by lpiStrongbranchIntegral(), and SCIPlpiSolveDual().
| 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
| 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 3279 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::instabilityignored, SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, SCIPdebugMessage, and SCIP_LPi::solstat.
| 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.
| lpi | LP interface structure |
| ray | primal ray |
Definition at line 3309 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, SCIPdebugMessage, and SCIP_LPi::solstat.
| 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.
| lpi | LP interface structure |
| dualfarkas | dual Farkas row multipliers |
Definition at line 3328 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, SCIPdebugMessage, and SCIP_LPi::solstat.
| SCIP_RETCODE SCIPlpiGetIterations | ( | SCIP_LPI * | lpi, |
| int * | iterations | ||
| ) |
gets the number of LP iterations of the last solve call
| lpi | LP interface structure |
| iterations | pointer to store the number of iterations of the last solve call |
Definition at line 3348 of file lpi_cpx.c.
References SCIP_LPi::iterations, NULL, and SCIP_OKAY.
Referenced by lpiStrongbranchIntegral().
| 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.
| lpi | LP interface structure |
| qualityindicator | indicates which quality should be returned |
| quality | pointer to store quality number |
Definition at line 3366 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::messagehdlr, NULL, SCIP_INVALID, SCIP_INVALIDDATA, SCIP_LPSOLQUALITY_ESTIMCONDITION, SCIP_LPSOLQUALITY_EXACTCONDITION, SCIP_OKAY, SCIPdebugMessage, and SCIPerrorMessage.
Referenced by 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
| 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 3420 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::messagehdlr, NULL, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_OKAY, and SCIPdebugMessage.
| SCIP_RETCODE SCIPlpiSetBase | ( | SCIP_LPI * | lpi, |
| const int * | cstat, | ||
| const 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
| lpi | LP interface structure |
| cstat | array with column basis status |
| rstat | array with row basis status |
Definition at line 3460 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureRstatMem(), invalidateSolution(), SCIP_LPi::messagehdlr, NULL, SCIP_LPi::rstat, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_CALL, SCIP_OKAY, and SCIPdebugMessage.
| 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
| lpi | LP interface structure |
| bind | pointer to store basis indices ready to keep number of rows entries |
Definition at line 3508 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, SCIP_LPi::messagehdlr, NULL, restoreLPData(), SCIP_CALL, SCIP_CALL_QUIET, SCIP_OKAY, SCIPdebugMessage, setIntParam(), and setParameterValues().
| SCIP_RETCODE SCIPlpiGetBInvRow | ( | SCIP_LPI * | lpi, |
| int | r, | ||
| SCIP_Real * | coef, | ||
| int * | inds, | ||
| int * | ninds | ||
| ) |
get dense row of inverse basis matrix B^-1
| 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 3542 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, ensureValMem(), SCIP_LPi::indarray, SCIP_LPi::messagehdlr, NULL, restoreLPData(), SCIP_CALL, SCIP_CALL_QUIET, SCIP_OKAY, SCIPdebugMessage, setIntParam(), and setParameterValues().
| SCIP_RETCODE SCIPlpiGetBInvCol | ( | SCIP_LPI * | lpi, |
| int | c, | ||
| SCIP_Real * | coef, | ||
| int * | inds, | ||
| int * | ninds | ||
| ) |
get dense column of inverse basis matrix B^-1
| 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 3613 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, ensureSidechgMem(), ensureValMem(), SCIP_LPi::indarray, SCIP_LPi::messagehdlr, NULL, restoreLPData(), SCIP_CALL, SCIP_CALL_QUIET, SCIP_OKAY, SCIPdebugMessage, SCIP_LPi::senarray, setIntParam(), and setParameterValues().
| 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
| 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 3686 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, ensureValMem(), SCIP_LPi::indarray, SCIP_LPi::messagehdlr, NULL, restoreLPData(), SCIP_CALL, SCIP_CALL_QUIET, SCIP_OKAY, SCIPdebugMessage, setIntParam(), and setParameterValues().
| 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
| 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 3758 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, ensureSidechgMem(), ensureValMem(), SCIP_LPi::indarray, SCIP_LPi::messagehdlr, NULL, restoreLPData(), SCIP_CALL, SCIP_CALL_QUIET, SCIP_OKAY, SCIPdebugMessage, SCIP_LPi::senarray, setIntParam(), and setParameterValues().
| SCIP_RETCODE SCIPlpiGetState | ( | SCIP_LPI * | lpi, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_LPISTATE ** | lpistate | ||
| ) |
stores LPi state (like basis information) into lpistate object
| lpi | LP interface structure |
| blkmem | block memory |
| lpistate | pointer to LPi state information (like basis information) |
Definition at line 3834 of file lpi_cpx.c.
References SCIP_LPi::clearstate, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cstat, getBase(), lpistateCreate(), lpistatePack(), NULL, SCIP_LPi::rstat, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, and SCIP_LPi::solisbasic.
| SCIP_RETCODE SCIPlpiSetState | ( | SCIP_LPI * | lpi, |
| BMS_BLKMEM * | blkmem, | ||
| const 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()
| lpi | LP interface structure |
| blkmem | block memory |
| lpistate | LPi state information (like basis information) |
Definition at line 3882 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cstat, ensureCstatMem(), ensureRstatMem(), lpistateUnpack(), SCIP_LPi::messagehdlr, 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, SCIPlpiIsInfinity(), and setBase().
| SCIP_RETCODE SCIPlpiClearState | ( | SCIP_LPI * | lpi | ) |
| SCIP_RETCODE SCIPlpiFreeState | ( | SCIP_LPI * | lpi, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_LPISTATE ** | lpistate | ||
| ) |
frees LPi state information
| lpi | LP interface structure |
| blkmem | block memory |
| lpistate | pointer to LPi state information (like basis information) |
Definition at line 3959 of file lpi_cpx.c.
References lpistateFree(), NULL, and SCIP_OKAY.
| SCIP_Bool SCIPlpiHasStateBasis | ( | SCIP_LPI * | lpi, |
| SCIP_LPISTATE * | lpistate | ||
| ) |
| 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
| lpi | LP interface structure |
| fname | file name |
Definition at line 3986 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, and SCIPdebugMessage.
| 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:
| lpi | LP interface structure |
| fname | file name |
Definition at line 4003 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::messagehdlr, NULL, SCIP_OKAY, and SCIPdebugMessage.
| SCIP_RETCODE SCIPlpiGetNorms | ( | SCIP_LPI * | lpi, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_LPINORMS ** | lpinorms | ||
| ) |
stores LPi pricing norms information
| lpi | LP interface structure |
| blkmem | block memory |
| lpinorms | pointer to LPi pricing norms information |
Definition at line 4035 of file lpi_cpx.c.
References BMSallocBlockMemory, BMSallocBlockMemoryArray, BMSfreeBlockMemory, BMSfreeBlockMemoryArray, CHECK_ZERO, SCIP_LPi::clearstate, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::messagehdlr, NULL, SCIP_ALLOC, SCIP_OKAY, SCIPdebugMessage, and SCIP_LPi::solisbasic.
| SCIP_RETCODE SCIPlpiSetNorms | ( | SCIP_LPI * | lpi, |
| BMS_BLKMEM * | blkmem, | ||
| const 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()
| lpi | LP interface structure |
| blkmem | block memory |
| lpinorms | LPi pricing norms information |
Definition at line 4095 of file lpi_cpx.c.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::messagehdlr, SCIP_LPiNorms::normlen, NULL, SCIP_OKAY, and SCIPdebugMessage.
| SCIP_RETCODE SCIPlpiFreeNorms | ( | SCIP_LPI * | lpi, |
| BMS_BLKMEM * | blkmem, | ||
| SCIP_LPINORMS ** | lpinorms | ||
| ) |
frees pricing norms information
| lpi | LP interface structure |
| blkmem | block memory |
| lpinorms | pointer to LPi pricing norms information |
Definition at line 4128 of file lpi_cpx.c.
References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, NULL, and SCIP_OKAY.
| SCIP_RETCODE SCIPlpiGetIntpar | ( | SCIP_LPI * | lpi, |
| SCIP_LPPARAM | type, | ||
| int * | ival | ||
| ) |
gets integer parameter of LP
CPLEX supported FASTMIP in versions up to 12.6.1. FASTMIP fastens the lp solving process but therefor it might happen that there will be a loss in precision (because e.g. the optimal basis will not be factorized again).
| lpi | LP interface structure |
| type | parameter number |
| ival | buffer to store the parameter value |
Definition at line 4161 of file lpi_cpx.c.
References CPX_INT_MAX, SCIP_LPi::cpxlp, SCIP_LPi::fromscratch, getIntParam(), NULL, SCIP_LPi::pricing, SCIP_LPi::rngfound, SCIP_LPPAR_FASTMIP, SCIP_LPPAR_FROMSCRATCH, SCIP_LPPAR_LPINFO, SCIP_LPPAR_LPITLIM, SCIP_LPPAR_PRESOLVING, SCIP_LPPAR_PRICING, SCIP_LPPAR_SCALING, SCIP_LPPAR_THREADS, SCIP_OKAY, SCIP_PARAMETERUNKNOWN, SCIP_PRICING_AUTO, SCIP_PRICING_DEVEX, SCIP_PRICING_FULL, SCIP_PRICING_PARTIAL, SCIP_PRICING_STEEP, SCIP_PRICING_STEEPQSTART, and SCIPdebugMessage.
| 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
| lpi | LP interface structure |
| type | parameter number |
| ival | parameter value |
Definition at line 4251 of file lpi_cpx.c.
References CPX_INT_MAX, SCIP_LPi::cpxlp, FALSE, SCIP_LPi::fromscratch, MIN, NULL, SCIP_LPi::pricing, SCIP_LPi::rngfound, SCIP_Bool, SCIP_LPERROR, SCIP_LPPAR_FASTMIP, SCIP_LPPAR_FROMSCRATCH, SCIP_LPPAR_LPINFO, SCIP_LPPAR_LPITLIM, SCIP_LPPAR_PRESOLVING, SCIP_LPPAR_PRICING, SCIP_LPPAR_RANDOMSEED, SCIP_LPPAR_SCALING, SCIP_LPPAR_THREADS, 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, setIntParam(), and TRUE.
Referenced by SCIPlpiAddRows(), and SCIPlpiCreate().
| SCIP_RETCODE SCIPlpiGetRealpar | ( | SCIP_LPI * | lpi, |
| SCIP_LPPARAM | type, | ||
| SCIP_Real * | dval | ||
| ) |
gets floating point parameter of LP
| lpi | LP interface structure |
| type | parameter number |
| dval | buffer to store the parameter value |
Definition at line 4356 of file lpi_cpx.c.
References SCIP_LPi::conditionlimit, SCIP_LPi::cpxlp, getDblParam(), NULL, SCIP_LPPAR_BARRIERCONVTOL, SCIP_LPPAR_CONDITIONLIMIT, SCIP_LPPAR_DUALFEASTOL, SCIP_LPPAR_FEASTOL, SCIP_LPPAR_LOBJLIM, SCIP_LPPAR_LPTILIM, SCIP_LPPAR_MARKOWITZ, SCIP_LPPAR_UOBJLIM, SCIP_OKAY, SCIP_PARAMETERUNKNOWN, and SCIPdebugMessage.
| SCIP_RETCODE SCIPlpiSetRealpar | ( | SCIP_LPI * | lpi, |
| SCIP_LPPARAM | type, | ||
| SCIP_Real | dval | ||
| ) |
sets floating point parameter of LP
| lpi | LP interface structure |
| type | parameter number |
| dval | parameter value |
Definition at line 4402 of file lpi_cpx.c.
References SCIP_LPi::checkcondition, SCIP_LPi::conditionlimit, SCIP_LPi::cpxlp, SCIP_LPi::feastol, NULL, SCIP_LPPAR_BARRIERCONVTOL, SCIP_LPPAR_CONDITIONLIMIT, SCIP_LPPAR_DUALFEASTOL, SCIP_LPPAR_FEASTOL, SCIP_LPPAR_LOBJLIM, SCIP_LPPAR_LPTILIM, SCIP_LPPAR_MARKOWITZ, SCIP_LPPAR_UOBJLIM, SCIP_OKAY, SCIP_PARAMETERUNKNOWN, SCIPdebugMessage, and setDblParam().
returns value treated as infinity in the LP solver
| lpi | LP interface structure |
Definition at line 4461 of file lpi_cpx.c.
Referenced by SCIPlpiGetObjval().
checks if given value is treated as infinity in the LP solver
| lpi | LP interface structure |
| val | value to be checked for infinity |
Definition at line 4469 of file lpi_cpx.c.
Referenced by SCIPlpiChgBounds(), and SCIPlpiSetState().
| 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
| lpi | LP interface structure |
| fname | file name |
Definition at line 4490 of file lpi_cpx.c.
References SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, NULL, SCIP_OKAY, SCIP_READERROR, SCIPdebugMessage, and SCIPerrorMessage.
| 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
| lpi | LP interface structure |
| fname | file name |
Definition at line 4514 of file lpi_cpx.c.
References SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, NULL, SCIP_OKAY, SCIP_READERROR, SCIPdebugMessage, and SCIPerrorMessage.
|
static |
Definition at line 85 of file lpi_cpx.c.
Referenced by checkParameterValues(), getIntParam(), getParameterValues(), setIntParam(), and setParameterValues().
|
static |
Definition at line 103 of file lpi_cpx.c.
Referenced by getDblParam(), getParameterValues(), setDblParam(), and setParameterValues().
|
static |
Definition at line 114 of file lpi_cpx.c.
Referenced by checkParameterValues(), and setParameterValues().
|
static |
Definition at line 1003 of file lpi_cpx.c.
Referenced by SCIPlpiGetSolverName().