methods and files provided by the LP solver interface of SCIP
SCIP uses external tools to solve LP relaxations. The communication is realized through an LP interface.
This page lists public interface methods that every LP interface provides. Find the concrete implementation for your LP solver under "src/lpi/".
This file specifies a generic LP solver interface used by SCIP to create, modify, and solve linear programs of the form
min/max obj * x lhs <= A * x <= rhs lb <= x <= ub
and query information about the solution. Although it includes a few SCIP header files, e.g., because it uses SCIP's return codes, it can be used independently of any SCIP instance.
The basis status for (column) variables are as follows:
The basis status for (row) slack variables are:
If the solvers use their status differently, those status codes have to be corrected.
In the methods accessing information about the (inverse of the) basis matrix, the interface assumes the following column-oriented format: slack variables of rows have coefficient +1 and the basis matrix is a regular m times m submatrix of (A,I), where m is the number of rows and I is the identity matrix. This means that if, internally, the LP solver uses coefficients -1 for some of the slack variables, then every row associated with a slack variable whose coefficient is -1 should be negated in order to return the result in terms of the LP interface definition.
The creation of a new LP should always be done in the following ways: Either one can use SCIPlpiLoadColLP() or one first adds empty columns or rows. Then the matrix entries can be added by adding columns and rows, respectively. Adding matrix entries for a row or column that have not been added before will result in an error.
The handling of the objective limit is as follows, if supported by the LP-solver: If the objective is larger than the objective limit for minimization problems or smaller than the objective limit for maximization problems, the solution process can be stopped. This naturally occurs in a branch-and-bound process, where the objective limit is set to the value of the best solution found so far. If the problem is a minimization problem and we use the dual simplex, the dual feasible solutions are maximized. If their value are larger than the objective limit, the process can be stopped. In this case, no feasible integer solution can be found in the corresponding branch.
Some LP-solvers also support the opposite setting, but this can easily be checked after the solution process (i.e., for a minimization problem a check whether the optimal value is smaller than the limit). Note that this check can only be determined at the end of the optimization. Thus, we do not support this.
Files | |
file | lpi.h |
interface methods for specific LP solvers | |
file | lpi_clp.cpp |
LP interface for Clp. | |
file | lpi_cpx.c |
LP interface for CPLEX >= 8.0. | |
file | lpi_glop.cpp |
LP interface for Glop. | |
file | lpi_grb.c |
LP interface for Gurobi. | |
file | lpi_highs.cpp |
LP interface for HiGHS 1.4 and higher. | |
file | lpi_msk.c |
LP interface for MOSEK. | |
file | lpi_none.c |
dummy interface for the case no LP solver is needed | |
file | lpi_qso.c |
LP interface for QSopt version >= 070303. | |
file | lpi_spx1.cpp |
LP interface for SoPlex version 1.4 and higher. | |
file | lpi_spx2.cpp |
LP interface for SoPlex version 2.0 and higher. | |
file | lpi_xprs.c |
LP interface for Xpress-MP. | |
Miscellaneous Methods | |
const char * | SCIPlpiGetSolverName (void) |
const char * | SCIPlpiGetSolverDesc (void) |
void * | SCIPlpiGetSolverPointer (SCIP_LPI *lpi) |
SCIP_RETCODE | SCIPlpiSetIntegralityInformation (SCIP_LPI *lpi, int ncols, int *intInfo) |
SCIP_Bool | SCIPlpiHasPrimalSolve (void) |
SCIP_Bool | SCIPlpiHasDualSolve (void) |
SCIP_Bool | SCIPlpiHasBarrierSolve (void) |
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 **rownames, 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 **colnames, 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 **rownames, 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, const int *ind, const 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 | SCIPlpiGetObjsen (SCIP_LPI *lpi, SCIP_OBJSEN *objsen) |
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 | 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) |
LP Basis Methods | |
SCIP_RETCODE | SCIPlpiGetBase (SCIP_LPI *lpi, int *cstat, int *rstat) |
SCIP_RETCODE | SCIPlpiSetBase (SCIP_LPI *lpi, const int *cstat, const 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) |
LPi State Methods | |
SCIP_RETCODE | SCIPlpiGetState (SCIP_LPI *lpi, BMS_BLKMEM *blkmem, SCIP_LPISTATE **lpistate) |
SCIP_RETCODE | SCIPlpiSetState (SCIP_LPI *lpi, BMS_BLKMEM *blkmem, const 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) |
LPi Pricing Norms Methods | |
SCIP_RETCODE | SCIPlpiGetNorms (SCIP_LPI *lpi, BMS_BLKMEM *blkmem, SCIP_LPINORMS **lpinorms) |
SCIP_RETCODE | SCIPlpiSetNorms (SCIP_LPI *lpi, BMS_BLKMEM *blkmem, const 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) |
SCIP_RETCODE | SCIPlpiInterrupt (SCIP_LPI *lpi, SCIP_Bool interrupt) |
Numerical Methods | |
SCIP_Real | SCIPlpiInfinity (SCIP_LPI *lpi) |
SCIP_Bool | SCIPlpiIsInfinity (SCIP_LPI *lpi, SCIP_Real val) |
File Interface Methods | |
SCIP_RETCODE | SCIPlpiReadLP (SCIP_LPI *lpi, const char *fname) |
SCIP_RETCODE | SCIPlpiWriteLP (SCIP_LPI *lpi, const char *fname) |
Solving Methods | |
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 SCIP_RETCODE | lpiStrongbranches (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) |
Solving Methods | |
static SCIP_RETCODE | lpiStrongbranchIntegral (SCIP_LPI *lpi, int col, SCIP_Real psol, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, int *iter) |
Modification Methods | |
static void | deleteRowsAndUpdateCurrentBasis (SCIP_LPI *lpi, const DenseBooleanColumn &rows_to_delete) |
LPI Creation and Destruction Methods | |
static SCIP_RETCODE | getASlice (SCIP_LPI *lpi, SCIP_Bool iscon, int first, int last, int *nnonz, int *beg, int *ind, double *val) |
static SCIP_RETCODE | getSolutionStatus (SCIP_LPI *lpi, MSKprostae *prosta, MSKsolstae *solsta) |
static MSKrescodee | filterTRMrescode (SCIP_MESSAGEHDLR *messagehdlr, MSKrescodee *termcode, MSKrescodee res) |
static SCIP_RETCODE | SolveWSimplex (SCIP_LPI *lpi) |
static SCIP_RETCODE | SCIPlpiStrongbranch (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 SCIP_RETCODE | handle_singular (SCIP_LPI *lpi, int *basis, MSKrescodee res) |
static SCIP_RETCODE | convertstat_mosek2scip (SCIP_LPI *lpi, SCIP_Bool iscon, MSKstakeye *sk, int n, int *stat) |
static SCIP_RETCODE | convertstat_mosek2scip_slack (SCIP_LPI *lpi, SCIP_Bool iscon, MSKstakeye *sk, int m, int *stat) |
static void | convertstat_scip2mosek (const int *stat, int n, MSKstakeye *resstat) |
static void | convertstat_scip2mosek_slack (const int *stat, int n, MSKstakeye *resstat) |
static SCIP_RETCODE | lpistateCreate (SCIP_LPISTATE **lpistate, BMS_BLKMEM *blkmem, int ncols, int nrows) |
static void | lpistateFree (SCIP_LPISTATE **lpistate, BMS_BLKMEM *blkmem) |
static SCIP_RETCODE | checkState1 (SCIP_LPI *lpi, int n, MSKstakeye *sk, SCIP_Bool isrow) |
static SCIP_RETCODE | checkState (SCIP_LPI *lpi, int ncols, int nrows) |
static SCIP_RETCODE | lpistatePack (SCIP_LPI *lpi, SCIP_LPISTATE *lpistate) |
static void | lpistateUnpack (const SCIP_LPISTATE *lpistate, MSKstakeye *skx, MSKstakeye *skc) |
const char * SCIPlpiGetSolverName | ( | void | ) |
gets name and version of LP solver
Definition at line 454 of file lpi_clp.cpp.
References CLP_VERSION, cpxname, glopname, grbname, highsname, LPINAME, mskname, SCIP_MAXSTRLEN, SCIPdebugMessage, spxname, and xprsname.
Referenced by doScipCreate(), lpFlushChgCols(), lpFlushChgRows(), SCIPlpCreate(), SCIPlpMarkFlushed(), and SCIPprintVersion().
const char * SCIPlpiGetSolverDesc | ( | void | ) |
gets description of LP solver (developer, webpage, ...)
Definition at line 463 of file lpi_clp.cpp.
References highsdesc, SCIPdebugMessage, and spxdesc.
Referenced by doScipCreate().
void * SCIPlpiGetSolverPointer | ( | SCIP_LPI * | lpi | ) |
gets pointer for LP solver - use only with great care
The behavior of this function depends on the solver and its use is therefore only recommended if you really know what you are doing. In general, it returns a pointer to the LP solver object.
gets pointer for LP solver - use only with great care
gets pointer for LP solver - use only with great care
Here we return the pointer to the LP environment.
gets pointer for LP solver - use only with great care
Here we return the pointer to the model.
lpi | pointer to an LP interface structure |
Definition at line 471 of file lpi_clp.cpp.
References assert(), SCIP_LPi::clp, SCIP_LPi::cpxlp, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIPdebugMessage, SCIPerrorMessage, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
SCIP_RETCODE SCIPlpiSetIntegralityInformation | ( | SCIP_LPI * | lpi, |
int | ncols, | ||
int * | intInfo ) |
pass integrality information about variables to the solver
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). May be NULL iff ncols is 0. |
Definition at line 480 of file lpi_clp.cpp.
References assert(), SCIP_LPi::linear_program, NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPerrorMessage, and SCIP_LPi::spx.
Referenced by lpCopyIntegrality().
SCIP_Bool SCIPlpiHasPrimalSolve | ( | void | ) |
informs about availability of a primal simplex solving method
Definition at line 494 of file lpi_clp.cpp.
References FALSE, SCIPdebugMessage, and TRUE.
SCIP_Bool SCIPlpiHasDualSolve | ( | void | ) |
informs about availability of a dual simplex solving method
Definition at line 502 of file lpi_clp.cpp.
References FALSE, SCIPdebugMessage, and TRUE.
SCIP_Bool SCIPlpiHasBarrierSolve | ( | void | ) |
informs about availability of a barrier solving method
Definition at line 510 of file lpi_clp.cpp.
References FALSE, SCIPdebugMessage, and TRUE.
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 531 of file lpi_clp.cpp.
References assert(), BMSallocMemory, BMSallocMemoryArray, BMSallocMemoryCPP, CHECK_ZERO, CHECK_ZERO_STAR, checkRangeInfo(), copyParameterValues(), copyParameterValues(), DEGEN_LEVEL, FALSE, getParameterValues(), getParameterValues(), HIGHS_CALL, invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), LPI_QSOPT_ALGO_UNKNOWN, MOSEK_CALL, NULL, numlp, numlp, SCIP_LPi::pricing, printstr(), reusegrbenv, reusemosekenv, SCIP_ALLOC, SCIP_CALL, SCIP_LPERROR, SCIP_LPPAR_PRESOLVING, SCIP_LPPAR_PRICING, SCIP_LPPAR_SCALING, SCIP_OKAY, SCIP_PRICING_LPIDEFAULT, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiChgObjsen(), SCIPlpiChgObjsen(), SCIPlpiInfinity(), SCIPlpiSetIntpar(), SCIPmessagePrintWarning(), SENSE2MOSEK, SETBACK_LIMIT, SOPLEX_TRY, SOPLEX_VERBLEVEL, and TRUE.
Referenced by buildVertexPolyhedralSeparationLP(), createLP(), createLPWithHardCuts(), initAlternativeLP(), SCIPlpComputeRelIntPoint(), SCIPlpCreate(), solveClassification(), and solveMinIISC().
SCIP_RETCODE SCIPlpiFree | ( | SCIP_LPI ** | lpi | ) |
deletes an LP problem object
lpi | pointer to an LP interface structure |
Definition at line 643 of file lpi_clp.cpp.
References assert(), BMSfreeMemory, BMSfreeMemoryArray, BMSfreeMemoryArrayNull, CHECK_ZERO, CHECK_ZERO_STAR, MOSEK_CALL, NULL, SCIP_OKAY, and SCIPdebugMessage.
Referenced by createLP(), createLPWithHardCuts(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSFREE(), SCIPlpComputeRelIntPoint(), SCIPlpFree(), sepadataFree(), sepadataFree(), solveClassification(), and solveMinIISC().
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 677 of file lpi_clp.cpp.
References addRangeInfo(), SCIP_LPi::aptre, assert(), SCIP_LPi::bkc, SCIP_LPi::bkx, BMSallocMemoryArray, BMScopyMemoryArray, BMSfreeMemoryArray, c, CHECK_ZERO, checkMatrixValue(), checkRangeInfo(), SCIP_LPi::clp, convertSides(), convertSides(), convertSides(), convertSides(), SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, cpxObjsen(), ensureAptreMem(), ensureBkcMem(), ensureBkxMem(), ensureColMem(), ensureRowMem(), ensureSidechgMem(), ensureSidechgMem(), ensureSidechgMem(), ensureValMem(), generateMskBoundkeys(), getEndptrs(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::iccnt, SCIP_LPi::indarray, invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::irbeg, SCIP_LPi::ircnt, SCIP_LPi::irhs, SCIP_LPi::irng, SCIP_LPi::isen, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::name, SCIP_LPi::ncols, SCIP_LPi::nrows, NULL, obj, SCIP_LPi::prob, QS_CONDRET, r, SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIP_ALLOC, SCIP_CALL, SCIP_LPERROR, SCIP_OBJSEN_MAXIMIZE, SCIP_OBJSEN_MINIMIZE, SCIP_OKAY, SCIP_UNUSED, SCIPdebugMessage, SCIPlpiAddCols(), SCIPlpiAddCols(), SCIPlpiAddRows(), SCIPlpiChgObjsen(), SCIPlpiChgObjsen(), SCIPlpiClear(), SCIPlpiGetNCols(), SCIPlpiGetNNonz(), SCIPlpiGetNRows(), SCIPmessagePrintWarning(), SCIP_LPi::senarray, SENSE2MOSEK, SCIP_LPi::solstat, SCIP_LPi::spx, spxObjsen(), SCIP_LPi::task, x, and SCIP_LPi::xprslp.
Referenced by buildVertexPolyhedralSeparationLP().
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
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 758 of file lpi_clp.cpp.
References SCIP_LPi::aptre, assert(), SCIP_LPi::bkx, BMSallocMemoryArray, BMScopyMemoryArray, BMSfreeMemoryArray, c, CHECK_ZERO, checkMatrixValue(), checkRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, delRangeVars(), ensureAptreMem(), ensureBkxMem(), ensureColMem(), ensureValMem(), generateMskBoundkeys(), getEndptrs(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, HIGHS_CALL_WITH_WARNING, i, SCIP_LPi::iccnt, SCIP_LPi::indarray, invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::ncols, SCIP_LPi::nrngrows, SCIP_LPi::nrows, NULL, obj, SCIP_LPi::prob, QS_CONDRET, SCIP_LPi::rngvarsadded, SCIP_ALLOC, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_UNUSED, SCIPdebugMessage, SCIPlpiGetNRows(), SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.
Referenced by addAltLPColumn(), computeRelIntPoint(), createAltLPColumn(), createAltLPColumn(), createLP(), createLPWithHardCuts(), lpFlushAddCols(), SCIPlpiLoadColLP(), SCIPlpiLoadColLP(), solveClassification(), and solveMinIISC().
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 837 of file lpi_clp.cpp.
References assert(), BMSallocMemoryArray, BMSfreeMemoryArray, c, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, debugCheckColrang(), ensureColMem(), ensureValMem(), getIndicesRange(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::iccnt, SCIP_LPi::indarray, invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::ncols, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetNCols(), SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by lpFlushDelCols(), and SCIPlpiClear().
SCIP_RETCODE SCIPlpiDelColset | ( | SCIP_LPI * | lpi, |
int * | dstat ) |
deletes columns from SCIP_LPI; the new position of a column must not be greater that its old position
deletes columns from SCIP_LP; the new position of a column must not be greater that its old position
deletes columns from 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 868 of file lpi_clp.cpp.
References assert(), BMSallocMemoryArray, BMSfreeMemoryArray, c, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureValMem(), getIndicesFromDense(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::indarray, invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::ncols, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetNCols(), SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by lpDelColset().
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
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 914 of file lpi_clp.cpp.
References addRangeInfo(), SCIP_LPi::aptre, assert(), SCIP_LPi::bkc, BMSallocMemoryArray, BMScopyMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkMatrixValue(), checkRangeInfo(), SCIP_LPi::clp, convertSides(), convertSides(), convertSides(), convertSides(), SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureAptreMem(), ensureBkcMem(), ensureRngrowmapMem(), ensureRowMem(), ensureSidechgMem(), ensureSidechgMem(), ensureSidechgMem(), ensureValMem(), FALSE, generateMskBoundkeys(), getEndptrs(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, HIGHS_CALL_WITH_WARNING, i, SCIP_LPi::indarray, invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::irbeg, SCIP_LPi::ircnt, SCIP_LPi::irhs, SCIP_LPi::irng, SCIP_LPi::isen, SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::ncols, SCIP_LPi::nrngrows, SCIP_LPi::nrows, NULL, SCIP_LPi::prob, QS_CONDRET, r, SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIP_LPi::rngfound, SCIP_LPi::rngindarray, SCIP_LPi::rngrowmap, SCIP_LPi::rngrows, SCIP_ALLOC, SCIP_CALL, SCIP_LPERROR, SCIP_LPPAR_SCALING, SCIP_OKAY, SCIP_UNUSED, SCIPdebugMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPlpiSetIntpar(), SCIPmessagePrintWarning(), SCIP_LPi::senarray, SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, TRUE, x, and SCIP_LPi::xprslp.
Referenced by addAltLPColumn(), computeRelIntPoint(), createLP(), createLPWithHardCuts(), initAlternativeLP(), lpFlushAddRows(), SCIPlpiLoadColLP(), solveClassification(), and solveMinIISC().
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 986 of file lpi_clp.cpp.
References assert(), BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkRangeInfo(), clearRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, debugCheckRowrang(), deleteRowsAndUpdateCurrentBasis(), delRangeVars(), ensureRowMem(), ensureValMem(), getIndicesRange(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::indarray, invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::ircnt, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::nrngrows, SCIP_LPi::nrows, NULL, SCIP_LPi::prob, QS_CONDRET, r, SCIP_LPi::rngrowmap, SCIP_LPi::rngrows, SCIP_LPi::rngvals, SCIP_LPi::rngvarsadded, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetNRows(), SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by lpFlushDelRows(), and SCIPlpiClear().
SCIP_RETCODE SCIPlpiDelRowset | ( | SCIP_LPI * | lpi, |
int * | dstat ) |
deletes rows from SCIP_LPI; the new position of a row must not be greater that its old position
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 1018 of file lpi_clp.cpp.
References assert(), BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkRangeInfo(), clearRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, deleteRowsAndUpdateCurrentBasis(), delRangeVars(), ensureValMem(), getIndicesFromDense(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::indarray, invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::nrngrows, SCIP_LPi::nrows, NULL, SCIP_LPi::prob, QS_CONDRET, r, SCIP_LPi::rngrowmap, SCIP_LPi::rngrows, SCIP_LPi::rngvals, SCIP_LPi::rngvarsadded, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetNRows(), SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by lpDelRowset().
SCIP_RETCODE SCIPlpiClear | ( | SCIP_LPI * | lpi | ) |
clears the whole LP
lpi | LP interface structure |
Definition at line 1064 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, checkRangeInfo(), clearRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::lastalgorithm, SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::name, SCIP_LPi::ncols, SCIP_LPi::nrows, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiDelCols(), SCIPlpiDelRows(), SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPlpiLoadColLP().
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 or NULL if ncols is zero |
lb | values for the new lower bounds or NULL if ncols is zero |
ub | values for the new upper bounds or NULL if ncols is zero |
Definition at line 1084 of file lpi_clp.cpp.
References assert(), SCIP_LPi::bkx, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clp, CPX_MAGICZEROCONSTANT, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureBkxMem(), ensureBoundchgMem(), ensureBoundchgMem(), ensureColMem(), EPSZ, generateMskBoundkeys(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::iccha, invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::larray, SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPdebugPrintf, SCIPerrorMessage, SCIPlpiIsInfinity(), SCIPmessagePrintWarning(), sol, SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::uarray, x, and SCIP_LPi::xprslp.
Referenced by computeConvexEnvelopeFacet(), fixAltLPVariable(), fixAltLPVariable(), fixAltLPVariable(), fixAltLPVariables(), fixAltLPVariables(), fixAltLPVariables(), lpFlushChgCols(), lpLexDualSimplex(), SCIPconflictAnalyzeStrongbranch(), SCIPlpiScaleCol(), SCIPrunBoundHeuristic(), unfixAltLPVariable(), unfixAltLPVariables(), unfixAltLPVariables(), and unfixAltLPVariables().
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 1167 of file lpi_clp.cpp.
References assert(), SCIP_LPi::bkc, CHECK_ZERO, checkRangeInfo(), clearRangeInfo(), SCIP_LPi::clp, convertSides(), convertSides(), convertSides(), convertSides(), SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, delRangeVars(), ensureBkcMem(), ensureRngrowmapMem(), ensureRngrowsMem(), ensureRowMem(), ensureSidechgMem(), ensureSidechgMem(), ensureSidechgMem(), generateMskBoundkeys(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, i, invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::irhs, SCIP_LPi::irng, SCIP_LPi::isen, SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::nrngrows, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIP_LPi::rngindarray, SCIP_LPi::rngrowmap, SCIP_LPi::rngrows, SCIP_LPi::rngvals, SCIP_LPi::rngvarsadded, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPmessagePrintWarning(), SCIPsortIntReal(), SCIP_LPi::senarray, SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.
Referenced by buildVertexPolyhedralSeparationLP(), computeConvexEnvelopeFacet(), computeVertexPolyhedralFacetLP(), lpFlushChgRows(), lpLexDualSimplex(), scaleFirstRow(), SCIPlpiScaleRow(), and SCIPrunBoundHeuristic().
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 1197 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, checkMatrixValue(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPlpiScaleCol(), SCIPlpiScaleRow(), updateFirstRow(), updateFirstRowGlobal(), and updateObjUpperbound().
SCIP_RETCODE SCIPlpiChgObjsen | ( | SCIP_LPI * | lpi, |
SCIP_OBJSEN | objsense ) |
changes the objective sense
lpi | LP interface structure |
objsense | new objective sense |
Definition at line 1220 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, cpxObjsen(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_OBJSEN_MAXIMIZE, SCIP_OBJSEN_MINIMIZE, SCIP_OKAY, SCIPdebugMessage, SENSE2MOSEK, SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, spxObjsen(), SCIP_LPi::task, SCIP_LPi::xprslp, and xprsObjsen().
Referenced by computeVertexPolyhedralFacetLP(), SCIPlpiCreate(), and SCIPlpiLoadColLP().
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 1240 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, i, invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, obj, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.
Referenced by computeConvexEnvelopeFacet(), computeVertexPolyhedralFacetLP(), lpFlushChgCols(), lpLexDualSimplex(), SCIPlpiScaleCol(), setAltLPObj(), and setAltLPObjZero().
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 1267 of file lpi_clp.cpp.
References assert(), BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureValMem(), ensureValMem(), ensureValMem(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::indarray, invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_RETURN, QS_TESTG, scale_bound(), scale_vec(), SCIP_ALLOC, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiChgCoef(), SCIPlpiChgSides(), SCIPlpiGetNCols(), SCIPlpiGetRows(), SCIPlpiGetSides(), SCIPlpiInfinity(), SCIPlpiIsInfinity(), SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::valarray, x, and SCIP_LPi::xprslp.
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 1340 of file lpi_clp.cpp.
References assert(), BMSallocMemoryArray, BMSfreeMemoryArray, c, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureValMem(), ensureValMem(), ensureValMem(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::indarray, invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, obj, SCIP_LPi::prob, QS_RETURN, QS_TESTG, scale_bound(), scale_vec(), SCIP_ALLOC, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiChgBounds(), SCIPlpiChgCoef(), SCIPlpiChgObj(), SCIPlpiGetCols(), SCIPlpiGetNRows(), SCIPlpiGetObj(), SCIPlpiInfinity(), SCIPlpiIsInfinity(), SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::valarray, x, and SCIP_LPi::xprslp.
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 1417 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::nrows, NULL, SCIP_LPi::prob, SCIP_OKAY, SCIPdebugMessage, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by addAltLPColumn(), addRangeInfo(), checkRangeInfo(), computeConvexEnvelopeFacet(), computeVertexPolyhedralFacetLP(), SCIPlpFlush(), SCIPlpiAddCols(), SCIPlpiAddRows(), SCIPlpiChgSides(), SCIPlpiClear(), SCIPlpiDelRows(), SCIPlpiDelRowset(), SCIPlpiGetBase(), SCIPlpiGetBasisInd(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvARow(), SCIPlpiGetBInvCol(), SCIPlpiGetBInvRow(), SCIPlpiGetDualfarkas(), SCIPlpiGetRows(), SCIPlpiGetSol(), SCIPlpiGetState(), SCIPlpiLoadColLP(), SCIPlpiScaleCol(), SCIPlpiSetBase(), SCIPlpiSetState(), SCIPlpiSolveBarrier(), SCIPlpiSolveDual(), SCIPlpiSolvePrimal(), solveClassification(), and solveMinIISC().
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 1435 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::ncols, SCIP_LPi::nrngrows, NULL, SCIP_LPi::prob, SCIP_LPi::rngvarsadded, SCIP_OKAY, SCIPdebugMessage, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by addAltLPColumn(), addRangeInfo(), BENDERS_CUTORACLE(), BENDERS_CUTORACLE(), checkIISlocal(), checkLPBoundsClean(), computeConvexEnvelopeFacet(), computeRelIntPoint(), computeVertexPolyhedralFacetLP(), delRangeVars(), extendToCover(), scaleFirstRow(), SCIPlpFlush(), SCIPlpiAddRows(), SCIPlpiChgSides(), SCIPlpiClear(), SCIPlpiDelCols(), SCIPlpiDelColset(), SCIPlpiGetBase(), SCIPlpiGetBasisInd(), SCIPlpiGetBInvARow(), SCIPlpiGetBounds(), SCIPlpiGetCols(), SCIPlpiGetPrimalRay(), SCIPlpiGetSol(), SCIPlpiGetState(), SCIPlpiLoadColLP(), SCIPlpiScaleRow(), SCIPlpiSetBase(), SCIPlpiSetState(), SCIPlpiSolveBarrier(), SCIPlpiSolveDual(), SCIPlpiSolvePrimal(), solveClassification(), and solveMinIISC().
SCIP_RETCODE SCIPlpiGetObjsen | ( | SCIP_LPI * | lpi, |
SCIP_OBJSEN * | objsen ) |
gets the objective sense of the LP
gets objective sense of the LP
lpi | LP interface structure |
objsen | pointer to store objective sense |
Definition at line 1666 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_OBJSEN_MAXIMIZE, SCIP_OBJSEN_MINIMIZE, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by lpiStrongbranch(), lpiStrongbranches(), and SCIPlpiGetObjval().
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 1453 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::highs, i, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::nrngrows, NULL, SCIP_LPi::prob, SCIP_LPi::rngvarsadded, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SOPLEX_SUBVERSION, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPlpiGetCols(), SCIPlpiGetRows(), and SCIPlpiLoadColLP().
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.
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 row indices of constraint matrix entries, or NULL |
val | buffer to store values of constraint matrix entries, or NULL |
Definition at line 1474 of file lpi_clp.cpp.
References assert(), BMScopyMemoryArray, c, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, debugCheckColrang(), ensureColMem(), ensureValMem(), errorMessage(), FALSE, getASlice(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::iccnt, SCIP_LPi::indarray, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_RETURN, QS_TESTG, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetBounds(), SCIPlpiGetNCols(), SCIPlpiGetNNonz(), SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPlpiScaleCol().
SCIP_RETCODE SCIPlpiGetRows | ( | SCIP_LPI * | lpi, |
int | firstrow, | ||
int | lastrow, | ||
SCIP_Real * | lhss, | ||
SCIP_Real * | rhss, | ||
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 |
lhss | buffer to store left hand side vector, or NULL |
rhss | 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 column indices of constraint matrix entries, or NULL |
val | buffer to store values of constraint matrix entries, or NULL |
Definition at line 1538 of file lpi_clp.cpp.
References assert(), BMSclearMemoryArray, BMScopyMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, debugCheckRowrang(), ensureRowMem(), ensureSidechgMem(), ensureSidechgMem(), ensureValMem(), errorMessage(), getASlice(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::indarray, SCIP_LPi::ircnt, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, SCIP_LPi::nrngrows, NULL, SCIP_LPi::prob, QS_RETURN, QS_TESTG, r, reconvertSides(), reconvertSides(), SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIP_LPi::rngrowmap, SCIP_LPi::rngrows, SCIP_LPi::rngvarsadded, SCIP_CALL, SCIP_INVALIDDATA, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNNonz(), SCIPlpiGetNRows(), SCIPlpiGetSides(), SCIP_LPi::senarray, SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.
Referenced by scaleFirstRow(), and 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) or NULL if namestoragesize is zero |
namestorage | storage for col names or NULL if namestoragesize is zero |
namestoragesize | size of namestorage (if 0, storageleft returns the storage needed) |
storageleft | amount of storage left (if < 0 the namestorage was not big enough) or NULL if namestoragesize is zero |
Definition at line 1599 of file lpi_clp.cpp.
References assert(), BMSallocMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::linear_program, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_ERROR, SCIP_ALLOC, SCIP_LPERROR, SCIP_NOTIMPLEMENTED, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPerrorMessage, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
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) or NULL if namestoragesize is zero |
namestorage | storage for row names or NULL if namestoragesize is zero |
namestoragesize | size of namestorage (if 0, -storageleft returns the storage needed) |
storageleft | amount of storage left (if < 0 the namestorage was not big enough) or NULL if namestoragesize is zero |
Definition at line 1623 of file lpi_clp.cpp.
References assert(), BMSallocMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, i, SCIP_LPi::linear_program, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_ERROR, SCIP_ALLOC, SCIP_LPERROR, SCIP_NOTIMPLEMENTED, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPerrorMessage, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
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 1686 of file lpi_clp.cpp.
References assert(), BMScopyMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureColMem(), errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::highs, i, SCIP_LPi::iccnt, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, obj, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by lpFlushChgCols(), lpLexDualSimplex(), SCIPlpiScaleCol(), and SCIPlpMarkFlushed().
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 1709 of file lpi_clp.cpp.
References assert(), BMScopyMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureColMem(), errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::highs, i, SCIP_LPi::iccnt, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiGetNCols(), SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by checkLPBoundsClean(), lpFlushChgCols(), lpLexDualSimplex(), SCIPlpiGetCols(), and SCIPlpMarkFlushed().
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 1740 of file lpi_clp.cpp.
References assert(), BMSclearMemoryArray, BMScopyMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureRowMem(), ensureSidechgMem(), ensureSidechgMem(), ensureSidechgMem(), errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::highs, i, SCIP_LPi::ircnt, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_RETURN, QS_TESTG, reconvertSides(), reconvertSides(), reconvertSides(), SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIP_LPi::senarray, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by lpFlushChgRows(), lpLexDualSimplex(), SCIPlpiGetRows(), SCIPlpiGetRows(), SCIPlpiScaleRow(), and SCIPlpMarkFlushed().
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 1771 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by updateObjUpperbound().
SCIP_RETCODE SCIPlpiSolvePrimal | ( | SCIP_LPI * | lpi | ) |
calls primal simplex to solve the LP
calls primal simplex to solve the LP
lpi | LP interface structure |
Definition at line 1805 of file lpi_clp.cpp.
References addRangeVars(), SCIP_LPi::algo, assert(), BMSallocClearMemoryArray, BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clearstate, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, errorMessage(), FALSE, SCIP_LPi::fromscratch, getIntParam(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::grbparam, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::instabilityignored, invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::iterations, SCIP_LPi::lastalgo, SCIP_LPi::lastalgorithm, SCIP_LPi::linear_program, LPI_QSOPT_ALGO_PRIMAL, SCIP_LPi::lpid, lpiSolve(), lpiSolve(), SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, MSK_getsolutionstatus(), SCIP_LPi::niterations, SCIP_LPi::nrngrows, NULL, SCIP_LPi::optimizecount, SCIP_LPi::parameters, presolve(), SCIP_LPi::prob, QS_CONDRET, SCIP_LPi::rngvarsadded, SCIP_LPi::rowrepswitch, SCIP_ALLOC, SCIP_CALL, SCIP_LPERROR, SCIP_NOMEMORY, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPlpiSolveDual(), SCIPlpiWriteLP(), SCIPlpiWriteState(), setFactorizationFrequency(), setIntParam(), setParameterValues(), setParameterValues(), SCIP_LPi::solisbasic, SCIP_LPi::solmethod, SCIP_LPi::solstat, SCIP_LPi::solved, SolveInternal(), SCIP_LPi::solver, SolveWSimplex(), SCIP_LPi::spx, spxSolve(), SCIP_LPi::startscratch, SCIP_LPi::task, SCIP_LPi::termcode, TRUE, SCIP_LPi::validFactorization, and SCIP_LPi::xprslp.
Referenced by checkAltLPInfeasible(), checkAltLPInfeasible(), checkAltLPInfeasible(), computeConvexEnvelopeFacet(), computeVertexPolyhedralFacetLP(), handle_singular(), lpLexDualSimplex(), lpPrimalSimplex(), and solveLPWithHardCuts().
SCIP_RETCODE SCIPlpiSolveDual | ( | SCIP_LPI * | lpi | ) |
calls dual simplex to solve the LP
calls dual simplex to solve the LP
lpi | LP interface structure |
Definition at line 1880 of file lpi_clp.cpp.
References addRangeVars(), SCIP_LPi::algo, assert(), CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clearstate, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, eps, errorMessage(), FALSE, SCIP_LPi::fromscratch, getDblParam(), getDblParam(), getIntParam(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::grbparam, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::instabilityignored, invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::iterations, SCIP_LPi::lastalgo, SCIP_LPi::lastalgorithm, SCIP_LPi::linear_program, LPI_QSOPT_ALGO_DUAL, SCIP_LPi::lpid, lpiSolve(), lpiSolve(), SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, MSK_getsolutionstatus(), SCIP_LPi::niterations, SCIP_LPi::nrngrows, SCIP_LPi::nthreads, NULL, objval, SCIP_LPi::optimizecount, SCIP_LPi::parameters, presolve(), SCIP_LPi::prob, QS_CONDRET, SCIP_LPi::rngvarsadded, SCIP_LPi::rowrepswitch, SCIP_CALL, SCIP_LPERROR, SCIP_NOMEMORY, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPlpiGetObjval(), SCIPlpiIsObjlimExc(), SCIPlpiWriteLP(), SCIPlpiWriteState(), setDblParam(), setFactorizationFrequency(), setIntParam(), setParameterValues(), setParameterValues(), SCIP_LPi::solisbasic, SCIP_LPi::solmethod, SCIP_LPi::solstat, SCIP_LPi::solved, SolveInternal(), SCIP_LPi::solver, SolveWSimplex(), SCIP_LPi::spx, spxSolve(), SCIP_LPi::startscratch, SCIP_LPi::task, SCIP_LPi::termcode, TRUE, SCIP_LPi::validFactorization, and SCIP_LPi::xprslp.
Referenced by checkAltLPInfeasible(), checkAltLPInfeasible(), checkAltLPInfeasible(), computeConvexEnvelopeFacet(), computeRelIntPoint(), computeVertexPolyhedralFacetLP(), conflictAnalyzeLP(), lpDualSimplex(), lpiStrongbranch(), lpiStrongbranchIntegral(), lpLexDualSimplex(), SCIPconflictAnalyzeStrongbranch(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvARow(), SCIPlpiGetBInvCol(), SCIPlpiGetBInvRow(), SCIPlpiSolveBarrier(), SCIPlpiSolvePrimal(), SCIPlpiStrongbranch(), and SCIPrunBoundHeuristic().
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 1957 of file lpi_clp.cpp.
References addRangeVars(), assert(), CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clearstate, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, errorMessage(), FALSE, filterTRMrescode(), SCIP_LPi::fromscratch, SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::grbparam, SCIP_LPi::highs, SCIP_LPi::instabilityignored, invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::iterations, SCIP_LPi::itercount, SCIP_LPi::lastalgo, SCIP_LPi::lastalgorithm, SCIP_LPi::lastsolvetype, SCIP_LPi::linear_program, SCIP_LPi::lpid, lpiSolve(), SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, MSK_getsolutionstatus(), SCIP_LPi::nrngrows, NULL, SCIP_LPi::optimizecount, SCIP_LPi::parameters, presolve(), SCIP_LPi::prob, SCIP_LPi::rngvarsadded, SCIP_CALL, SCIP_INVALIDCALL, SCIP_LPERROR, SCIP_NOMEMORY, SCIP_NOTIMPLEMENTED, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_UNUSED, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPlpiSolveDual(), SCIPmessagePrintWarning(), setIntParam(), setParameterValues(), setParameterValues(), SCIP_LPi::solisbasic, SCIP_LPi::solmethod, SCIP_LPi::solstat, SCIP_LPi::solved, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::termcode, TRUE, and SCIP_LPi::xprslp.
Referenced by lpBarrier(), and SolveWSimplex().
SCIP_RETCODE SCIPlpiStartStrongbranch | ( | SCIP_LPI * | lpi | ) |
start strong branching - call before any strong branching
start strong branching - call before any strongbranching
start strong branching
lpi | LP interface structure |
Definition at line 2006 of file lpi_clp.cpp.
References assert(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::linear_program, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_OKAY, SCIPdebugMessage, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, updateScaledLP(), and SCIP_LPi::xprslp.
Referenced by SCIPconflictAnalyzeStrongbranch(), and SCIPlpStartStrongbranch().
SCIP_RETCODE SCIPlpiEndStrongbranch | ( | SCIP_LPI * | lpi | ) |
end strong branching - call after any strong branching
end strong branching - call after any strongbranching
end strong branching
lpi | LP interface structure |
Definition at line 2018 of file lpi_clp.cpp.
References assert(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::linear_program, NULL, SCIP_LPi::prob, SCIP_OKAY, SCIPdebugMessage, SCIP_LPi::solver, SCIP_LPi::spx, and SCIP_LPi::xprslp.
Referenced by SCIPconflictAnalyzeStrongbranch(), and SCIPlpEndStrongbranch().
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
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 2283 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clearstate, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, EPSISINT, errorMessage(), FALSE, FEASTOL, SCIP_LPi::feastol, SCIP_LPi::fromscratch, SCIP_LPi::highs, lpiStrongbranch(), lpiStrongbranch(), lpiStrongbranch(), lpiStrongbranch(), SCIP_LPi::messagehdlr, NULL, SCIP_LPi::previt, SCIP_LPi::prob, QS_CONDRET, SCIP_LPi::scaled_lp, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiGetObjval(), SCIPlpiInfinity(), SCIPlpiIsOptimal(), SCIPlpiStrongbranch(), setIntParam(), setParameterValues(), strongbranch(), and TRUE.
Referenced by SCIPcolGetStrongbranch(), and SCIPlpiStrongbranchInt().
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
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 2304 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clearstate, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, EPSISINT, errorMessage(), FALSE, FEASTOL, SCIP_LPi::feastol, SCIP_LPi::fromscratch, SCIP_LPi::highs, SCIP_LPi::linear_program, lpiStrongbranch(), lpiStrongbranch(), lpiStrongbranches(), lpiStrongbranches(), SCIP_LPi::messagehdlr, NULL, SCIP_LPi::previt, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_LPERROR, SCIP_NOTIMPLEMENTED, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetObjval(), SCIPlpiInfinity(), SCIPlpiIsOptimal(), SCIPlpiStrongbranch(), setIntParam(), setParameterValues(), and TRUE.
Referenced by SCIPcolGetStrongbranches(), and SCIPlpiStrongbranchesInt().
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
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 2329 of file lpi_clp.cpp.
References assert(), checkRangeInfo(), SCIP_LPi::cpxlp, EPSISINT, errorMessage(), FEASTOL, SCIP_LPi::feastol, SCIP_LPi::linear_program, lpiStrongbranch(), lpiStrongbranch(), lpiStrongbranch(), lpiStrongbranch(), lpiStrongbranchIntegral(), NULL, objval, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiStrongbranch(), SCIPlpiStrongbranchFrac(), strongbranch(), and TRUE.
Referenced by SCIPcolGetStrongbranch().
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
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 2350 of file lpi_clp.cpp.
References assert(), checkRangeInfo(), SCIP_LPi::cpxlp, EPSISINT, errorMessage(), FEASTOL, SCIP_LPi::feastol, SCIP_LPi::linear_program, lpiStrongbranch(), lpiStrongbranch(), lpiStrongbranches(), lpiStrongbranches(), lpiStrongbranchIntegral(), NULL, objval, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_LPERROR, SCIP_NOTIMPLEMENTED, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_UNUSED, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiStrongbranch(), SCIPlpiStrongbranchesFrac(), and TRUE.
Referenced by SCIPcolGetStrongbranches().
returns whether a solve method was called after the last modification of the LP
lpi | LP interface structure |
Definition at line 2386 of file lpi_clp.cpp.
References assert(), SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, SCIP_LPi::lp_modified_since_last_solve, NULL, SCIP_LPi::prob, SCIPdebugMessage, SCIP_LPi::solstat, and SCIP_LPi::solved.
Referenced by performStrongbranchWithPropagation(), and SCIPconflictAnalyzeLP().
SCIP_RETCODE SCIPlpiGetSolFeasibility | ( | SCIP_LPI * | lpi, |
SCIP_Bool * | primalfeasible, | ||
SCIP_Bool * | dualfeasible ) |
gets information about primal and dual feasibility of the current LP solution
The feasibility information is with respect to the last solving call and it is only relevant if SCIPlpiWasSolved() returns true. If the LP is changed, this information might be invalidated.
Note that primalfeasible
and dualfeasible
should only return true if the solver has proved the respective LP to be feasible. Thus, the return values should be equal to the values of SCIPlpiIsPrimalFeasible() and SCIPlpiIsDualFeasible(), respectively. Note that if feasibility cannot be proved, they should return false (even if the problem might actually be feasible).
gets information about primal and dual feasibility of the current LP solution
The feasibility information is with respect to the last solving call and it is only relevant if SCIPlpiWasSolved() returns true. If the LP is changed, this information might be invalidated.
Note that primalfeasible and dualfeasible should only return true if the solver has proved the respective LP to be feasible. Thus, the return values should be equal to the values of SCIPlpiIsPrimalFeasible() and SCIPlpiIsDualFeasible(), respectively. Note that if feasibility cannot be proved, they should return false (even if the problem might actually be feasible).
lpi | LP interface structure |
primalfeasible | pointer to store primal feasibility status |
dualfeasible | pointer to store dual feasibility status |
Definition at line 2405 of file lpi_clp.cpp.
References SCIP_LPi::algo, assert(), CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), FALSE, SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::lastalgo, SCIP_LPi::lastsolvetype, LPI_QSOPT_ALGO_DUAL, LPI_QSOPT_ALGO_PRIMAL, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, MSK_getsolutionstatus(), NULL, SCIP_LPi::prob, SCIP_Bool, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiIsDualFeasible(), SCIPlpiIsPrimalFeasible(), SCIP_LPi::solstat, SCIP_LPi::solver, SUMINFEASBOUND, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.
Referenced by lpAlgorithm(), and SCIPlpiStrongbranch().
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 2450 of file lpi_clp.cpp.
References assert(), SCIP_LPi::clp, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::lpid, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIPdebugMessage, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by checkAltLPInfeasible(), checkAltLPInfeasible(), checkAltLPInfeasible(), lpSolve(), SCIPlpiIsDualInfeasible(), and SCIPlpiStrongbranch().
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 2468 of file lpi_clp.cpp.
References ABORT_ZERO, assert(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIPABORT, SCIPdebugMessage, SCIPlpiIsPrimalUnbounded(), SCIP_LPi::solmethod, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.
Referenced by SCIPlpGetPrimalRay(), SCIPlpGetUnboundedSol(), and SCIPlpiGetPrimalRay().
returns TRUE iff LP is proven to be primal unbounded
returns TRUE iff LP is proven to be primal feasible and unbounded
lpi | LP interface structure |
Definition at line 2488 of file lpi_clp.cpp.
References ABORT_ZERO, SCIP_LPi::algo, assert(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::lastalgo, LPI_QSOPT_ALGO_PRIMAL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIPABORT, SCIPdebugMessage, SCIP_LPi::solmethod, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by checkAltLPInfeasible(), checkAltLPInfeasible(), checkAltLPInfeasible(), lpSolve(), and SCIPlpiHasPrimalRay().
returns TRUE iff LP is proven to be primal infeasible
lpi | LP interface structure |
Definition at line 2502 of file lpi_clp.cpp.
References ABORT_ZERO, assert(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::highs, i, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIPdebugMessage, SCIPlpiExistsDualRay(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.
Referenced by checkAltLPInfeasible(), checkAltLPInfeasible(), checkAltLPInfeasible(), conflictAnalyzeLP(), lpiStrongbranch(), lpiStrongbranchIntegral(), lpSolve(), SCIPconflictAnalyzeLP(), SCIPgetFarkasProof(), and SCIPrunBoundHeuristic().
returns TRUE iff LP is proven to be primal feasible
lpi | LP interface structure |
Definition at line 2521 of file lpi_clp.cpp.
References ABORT_ZERO, assert(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, eps, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::highs, i, SCIP_LPi::lastalgo, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIPABORT, SCIPdebugMessage, SCIP_LPi::solmethod, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, TRUE, XPRS_LP_OPTIMAL_SCALEDINFEAS, and SCIP_LPi::xprslp.
Referenced by candidateStoreWarmStartInfo(), lpSolve(), SCIPlpiExistsDualRay(), SCIPlpiGetSolFeasibility(), SCIPlpiHasDualRay(), SCIPlpiIsDualUnbounded(), SCIPlpiIsOptimal(), and solveLPWithHardCuts().
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 2537 of file lpi_clp.cpp.
References SCIP_LPi::algo, assert(), SCIP_LPi::clp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbmodel, LPI_QSOPT_ALGO_DUAL, SCIP_LPi::lpid, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIPdebugMessage, SCIPlpiIsPrimalFeasible(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPlpiGetState(), SCIPlpiIsPrimalInfeasible(), and SCIPlpiStrongbranch().
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 2556 of file lpi_clp.cpp.
References ABORT_ZERO, SCIP_LPi::algo, assert(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, LPI_QSOPT_ALGO_DUAL, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIPABORT, SCIPdebugMessage, SCIPlpiIsPrimalFeasible(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.
Referenced by lpSolve(), SCIPgetFarkasProof(), and SCIPlpSolveAndEval().
returns TRUE iff LP is proven to be dual unbounded
returns TRUE iff LP is dual unbounded
lpi | LP interface structure |
Definition at line 2578 of file lpi_clp.cpp.
References ABORT_ZERO, SCIP_LPi::algo, assert(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::highs, LPI_QSOPT_ALGO_DUAL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIPABORT, SCIPdebugMessage, SCIPlpiIsDualFeasible(), SCIPlpiIsPrimalFeasible(), SCIP_LPi::solmethod, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
returns TRUE iff LP is proven to be dual infeasible
returns TRUE iff LP is dual infeasible
lpi | LP interface structure |
Definition at line 2595 of file lpi_clp.cpp.
References ABORT_ZERO, SCIP_LPi::algo, assert(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::highs, LPI_QSOPT_ALGO_DUAL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIPdebugMessage, SCIPlpiExistsPrimalRay(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
returns TRUE iff LP is proven to be dual feasible
lpi | LP interface structure |
Definition at line 2609 of file lpi_clp.cpp.
References ABORT_ZERO, SCIP_LPi::algo, assert(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::highs, LPI_QSOPT_ALGO_DUAL, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIPABORT, SCIPdebugMessage, SCIP_LPi::solmethod, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, TRUE, XPRS_LP_OPTIMAL_SCALEDINFEAS, and SCIP_LPi::xprslp.
Referenced by candidateStoreWarmStartInfo(), computeVertexPolyhedralFacetLP(), conflictAnalyzeLP(), lpSolve(), performStrongbranchWithPropagation(), SCIPgetFarkasProof(), SCIPlpiGetSolFeasibility(), SCIPlpiIsDualUnbounded(), SCIPlpiIsOptimal(), SCIPrunBoundHeuristic(), and separateCuts().
returns TRUE iff LP was solved to optimality
lpi | LP interface structure |
Definition at line 2623 of file lpi_clp.cpp.
References assert(), SCIP_LPi::clp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::lpid, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIPdebugMessage, SCIPlpiIsDualFeasible(), SCIPlpiIsObjlimExc(), SCIPlpiIsPrimalFeasible(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, XPRS_LP_OPTIMAL_SCALEDINFEAS, and SCIP_LPi::xprslp.
Referenced by checkAltLPInfeasible(), checkAltLPInfeasible(), checkAltLPInfeasible(), computeRelIntPoint(), conflictAnalyzeLP(), lpiStrongbranch(), lpiStrongbranchIntegral(), lpLexDualSimplex(), lpSolve(), SCIPlpiIsStable(), SCIPlpiStrongbranchesFrac(), and SCIPlpiStrongbranchFrac().
returns TRUE iff current LP solution is stable
This function should return true if the solution is reliable, i.e., feasible and optimal (or proven infeasible/unbounded) with respect to the original problem. The optimality status might be with respect to a scaled version of the problem, but the solution might not be feasible to the unscaled original problem; in this case, SCIPlpiIsStable() should return false.
returns TRUE iff current LP basis is stable
lpi | LP interface structure |
Definition at line 2647 of file lpi_clp.cpp.
References ABORT_ZERO, assert(), SCIP_LPi::checkcondition, SCIP_LPi::clp, SCIP_LPi::conditionlimit, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, HIGHS_relDiff, SCIP_LPi::lastalgorithm, SCIP_LPi::lastsolvetype, MOSEK_relDiff, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_INVALID, SCIP_LPSOLQUALITY_ESTIMCONDITION, SCIP_OKAY, SCIPABORT, SCIPdebugMessage, SCIPlpiGetRealSolQuality(), SCIPlpiIsInfinity(), SCIPlpiIsIterlimExc(), SCIPlpiIsObjlimExc(), SCIPlpiIsOptimal(), SCIPlpiIsTimelimExc(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::termcode, TRUE, XPRS_LP_OPTIMAL_SCALEDINFEAS, and SCIP_LPi::xprslp.
Referenced by checkAltLPInfeasible(), checkAltLPInfeasible(), checkAltLPInfeasible(), lpSolveStable(), SCIPconflictAnalyzeStrongbranch(), and SCIPlpiStrongbranch().
returns TRUE iff the objective limit was reached
lpi | LP interface structure |
Definition at line 2690 of file lpi_clp.cpp.
References assert(), SCIP_LPi::clp, errorMessageAbort(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIPdebugMessage, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::termcode, TRUE, and SCIP_LPi::xprslp.
Referenced by conflictAnalyzeLP(), lpiStrongbranch(), lpiStrongbranchIntegral(), lpSolve(), SCIPgetFarkasProof(), SCIPlpiIsOptimal(), SCIPlpiIsStable(), SCIPlpiSolveDual(), SCIPlpSolveAndEval(), and SCIPrunBoundHeuristic().
returns TRUE iff the iteration limit was reached
lpi | LP interface structure |
Definition at line 2720 of file lpi_clp.cpp.
References ABORT_ZERO, assert(), SCIP_LPi::clp, errorMessageAbort(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::highs, lpiterlimit, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, SCIP_LPi::niterations, NULL, SCIP_LPi::parameters, SCIP_LPi::prob, SCIPdebugMessage, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::termcode, TRUE, and SCIP_LPi::xprslp.
Referenced by computeRelIntPoint(), lpiStrongbranch(), lpiStrongbranchIntegral(), lpSolve(), lpSolveStable(), and SCIPlpiIsStable().
returns TRUE iff the time limit was reached
lpi | LP interface structure |
Definition at line 2736 of file lpi_clp.cpp.
References ABORT_ZERO, assert(), SCIP_LPi::clp, errorMessageAbort(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::lp_time_limit_was_reached, lpiterlimit, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIPdebugMessage, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::termcode, TRUE, and SCIP_LPi::xprslp.
Referenced by computeRelIntPoint(), lpSolve(), and SCIPlpiIsStable().
int SCIPlpiGetInternalStatus | ( | SCIP_LPI * | lpi | ) |
returns the internal solution status of the solver
lpi | LP interface structure |
Definition at line 2752 of file lpi_clp.cpp.
References assert(), SCIP_LPi::clp, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::lpid, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_OKAY, SCIPdebugMessage, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by checkAltLPInfeasible(), checkAltLPInfeasible(), checkAltLPInfeasible(), and lpSolve().
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 1647 of file lpi_clp.cpp.
References assert(), SCIP_LPi::clp, SCIP_LPi::cpxlp, errorMessage(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::instabilityignored, SCIP_LPi::lpid, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.
Referenced by ignoreInstability().
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 2766 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, cutoff, errorMessage(), getDblParam(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::lastsolvetype, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, objval, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_OBJSEN_MINIMIZE, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_UNUSED, SCIPdebugMessage, SCIPlpiGetObjsen(), SCIPlpiInfinity(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::termcode, and SCIP_LPi::xprslp.
Referenced by conflictAnalyzeLP(), lpiStrongbranch(), lpiStrongbranchIntegral(), lpSolve(), performStrongbranchWithPropagation(), SCIPgetDualProof(), SCIPlpiGetSol(), SCIPlpiSolveDual(), SCIPlpiStrongbranchesFrac(), SCIPlpiStrongbranchFrac(), SCIPlpSolveAndEval(), and SCIPrunBoundHeuristic().
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 for feasible LPs
Before calling this function, the caller must ensure that the LP has been solved to optimality, i.e., that SCIPlpiIsOptimal() returns true.
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 2788 of file lpi_clp.cpp.
References assert(), BMSallocMemoryArray, BMScopyMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureRowMem(), ensureSidechgMem(), ensureSidechgMem(), ensureTabMem(), errorMessage(), FEASTOL, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::ibas, SCIP_LPi::instabilityignored, SCIP_LPi::irhs, SCIP_LPi::irng, SCIP_LPi::isen, SCIP_LPi::lastalgo, SCIP_LPi::lastsolvetype, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, MSK_getsolutionstatus(), SCIP_LPi::nrngrows, NULL, objval, primsol, SCIP_LPi::prob, QS_CONDRET, r, SCIP_LPi::rhsarray, SCIP_LPi::rngrowmap, SCIP_LPi::scaler, SCIP_ALLOC, SCIP_CALL, SCIP_INVALIDDATA, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPlpiGetObjval(), SCIPmessagePrintWarning(), SCIP_LPi::senarray, sol, SCIP_LPi::solstat, SCIP_LPi::solver, SolveWSimplex(), SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::termcode, x, and SCIP_LPi::xprslp.
Referenced by BENDERS_CUTORACLE(), BENDERS_CUTORACLE(), computeConvexEnvelopeFacet(), computeRelIntPoint(), computeVertexPolyhedralFacetLP(), extendToCover(), lpLexDualSimplex(), SCIPgetDualProof(), SCIPlpGetSol(), SCIPlpGetUnboundedSol(), separateCuts(), and solveLPWithHardCuts().
SCIP_RETCODE SCIPlpiGetPrimalRay | ( | SCIP_LPI * | lpi, |
SCIP_Real * | ray ) |
gets primal ray for unbounded LPs
lpi | LP interface structure |
ray | primal ray |
Definition at line 2832 of file lpi_clp.cpp.
References assert(), BMScopyMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::lastsolvetype, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, minobj, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_LPi::scaler, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNCols(), SCIPlpiHasPrimalRay(), SCIPlpiIsInfinity(), SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.
Referenced by SCIPlpGetPrimalRay(), and SCIPlpGetUnboundedSol().
SCIP_RETCODE SCIPlpiGetDualfarkas | ( | SCIP_LPI * | lpi, |
SCIP_Real * | dualfarkas ) |
gets dual Farkas proof for infeasibility
gets dual farkas proof for infeasibility
lpi | LP interface structure |
dualfarkas | dual Farkas row multipliers |
Definition at line 2857 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::lastsolvetype, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_LPi::scaler, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiGetNRows(), SCIPlpiInfinity(), SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.
Referenced by SCIPgetFarkasProof(), and SCIPlpGetDualfarkas().
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 2921 of file lpi_clp.cpp.
References assert(), SCIP_LPi::clp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL_WITH_WARNING, SCIP_LPi::iterations, SCIP_LPi::itercount, SCIP_LPi::lpid, SCIP_LPi::mosekenv, SCIP_LPi::niterations, NULL, SCIP_LPi::previt, SCIP_LPi::prob, QS_CONDRET, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by conflictAnalyzeLP(), getNIterationsLastLP(), lpiStrongbranch(), lpiStrongbranchIntegral(), SCIPconflictAnalyzeStrongbranch(), SCIPlpGetIterations(), and SCIPrunBoundHeuristic().
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.
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 quality is not available.
lpi | LP interface structure |
qualityindicator | indicates which quality should be returned |
quality | pointer to store quality number |
Definition at line 2940 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, NULL, SCIP_INVALID, SCIP_INVALIDDATA, SCIP_LPSOLQUALITY_ESTIMCONDITION, SCIP_LPSOLQUALITY_EXACTCONDITION, SCIP_OKAY, SCIP_UNUSED, SCIPdebugMessage, SCIPerrorMessage, SCIP_LPi::solver, SCIP_LPi::spx, and SCIP_LPi::task.
Referenced by checkAltLPInfeasible(), SCIP_DECL_DISPOUTPUT(), SCIPlpiIsStable(), and SCIPprintLPSolutionQuality().
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
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 (the status is need for the row and not for the slack column) |
Definition at line 2967 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, SCIP_LPi::clp, ConvertGlopConstraintStatus(), ConvertGlopVariableStatus(), convertstat_mosek2scip(), convertstat_mosek2scip_slack(), SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureRowMem(), ensureSidechgMem(), ensureTabMem(), errorMessage(), FALSE, getbase(), getRedCostEst(), SCIP_LPi::grbmodel, SCIP_LPi::highs, i, SCIP_LPi::ibas, SCIP_LPi::isen, SCIP_LPi::lastsolvetype, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::nrngrows, NULL, SCIP_LPi::prob, QS_CONDRET, r, SCIP_LPi::rngrowmap, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_CALL, SCIP_INVALIDDATA, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIP_LPi::senarray, SCIP_LPi::skc, SCIP_LPi::skx, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.
Referenced by lpLexDualSimplex(), SCIPconflictAnalyzeStrongbranch(), SCIPlpGetBase(), SCIPlpGetSol(), and SCIPlpiGetState().
SCIP_RETCODE SCIPlpiSetBase | ( | SCIP_LPI * | lpi, |
const int * | cstat, | ||
const int * | rstat ) |
sets current basis status for columns and rows
lpi | LP interface structure |
cstat | array with column basis status |
rstat | array with row basis status |
Definition at line 3067 of file lpi_clp.cpp.
References assert(), basestatToHighsBasisStatus(), BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, SCIP_LPi::clearstate, SCIP_LPi::clp, ConvertSCIPConstraintStatusToSlackStatus(), ConvertSCIPVariableStatus(), convertstat_scip2mosek(), convertstat_scip2mosek_slack(), SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cstat, ensureCstatMem(), ensureRowMem(), ensureRstatMem(), ensureRstatMem(), ensureStateMem(), ensureTabMem(), EPSEQ, errorMessage(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::ibas, invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), invalidateSolution(), SCIP_LPi::isen, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, SCIP_LPi::nrngrows, NULL, SCIP_LPi::prob, QS_CONDRET, r, SCIP_LPi::rngrowmap, SCIP_LPi::rstat, SCIP_ALLOC, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_CALL, SCIP_INVALIDDATA, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), setbase(), SCIP_LPi::skc, SCIP_LPi::skx, SCIP_LPi::solver, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPconflictAnalyzeStrongbranch(), SCIPlpiClearState(), SCIPlpiSetState(), 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
lpi | LP interface structure |
bind | pointer to store basis indices ready to keep number of rows entries |
Definition at line 3189 of file lpi_clp.cpp.
References assert(), BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, errorMessage(), SCIP_LPi::grbmodel, handle_singular(), SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_CONDRET, r, restoreLPData(), restoreLPData(), SCIP_LPi::rngrowmap, SCIP_LPi::rngrows, SCIP_ALLOC, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_CALL, SCIP_CALL_QUIET, SCIP_ERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), setIntParam(), setParameterValues(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by lpiGetBInvVec(), SCIPlpGetBasisInd(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvARow(), SCIPlpiGetBInvCol(), and SCIPlpiGetBInvRow().
SCIP_RETCODE SCIPlpiGetBInvRow | ( | SCIP_LPI * | lpi, |
int | row, | ||
SCIP_Real * | coef, | ||
int * | inds, | ||
int * | ninds ) |
get row of inverse basis matrix B^-1
get row of inverse basis matrix B^-1
get row of inverse basis matrix B^-1
get row of inverse basis matrix B^-1
get row of inverse basis matrix B^-1
get row of inverse basis matrix B^-1
lpi | LP interface structure |
row | row number |
coef | pointer to store the coefficients of the row |
inds | array to store the non-zero indices, or NULL |
ninds | pointer to store the number of non-zero indices, or NULL (-1: if we do not store sparsity information) |
Definition at line 3241 of file lpi_clp.cpp.
References assert(), b, BMSallocMemoryArray, BMSclearMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, ensureValMem(), eps, errorMessage(), SCIP_LPi::factorization, SCIP_LPi::grbmodel, handle_singular(), SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::indarray, SCIP_Var::index, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::parameters, SCIP_LPi::prob, QS_CONDRET, r, restoreLPData(), restoreLPData(), SCIP_LPi::scaler, SCIP_ALLOC, SCIP_CALL, SCIP_CALL_QUIET, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_UNUSED, SCIPdebugMessage, SCIPlpiGetBasisInd(), SCIPlpiGetNRows(), SCIPlpiSolveDual(), SCIPmessagePrintWarning(), setIntParam(), setParameterValues(), SCIP_LPi::solver, SCIP_LPi::spx, SVECTOR, SCIP_LPi::task, SCIP_LPi::tmp_row, x, SCIP_LPi::xprslp, and y.
Referenced by SCIPlpGetBInvRow(), SCIPlpiGetBInvARow(), and SCIPlpiGetBInvARow().
SCIP_RETCODE SCIPlpiGetBInvCol | ( | SCIP_LPI * | lpi, |
int | c, | ||
SCIP_Real * | coef, | ||
int * | inds, | ||
int * | ninds ) |
get column of inverse basis matrix B^-1
get column of inverse basis matrix B^-1
get column of inverse basis matrix B^-1
get column of inverse basis matrix B^-1
get column of inverse basis matrix B^-1
get 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, or NULL |
ninds | pointer to store the number of non-zero indices, or NULL (-1: if we do not store sparsity information) |
Definition at line 3276 of file lpi_clp.cpp.
References assert(), b, BMSallocMemoryArray, BMSclearMemoryArray, BMSfreeMemoryArray, c, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, ensureSidechgMem(), ensureValMem(), eps, errorMessage(), SCIP_LPi::grbmodel, handle_singular(), SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::indarray, SCIP_LPi::linear_program, SCIP_LPi::lpid, lpiGetBInvVec(), SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::parameters, SCIP_LPi::prob, r, restoreLPData(), restoreLPData(), SCIP_LPi::scaler, SCIP_ALLOC, SCIP_CALL, SCIP_CALL_QUIET, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_UNUSED, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetBasisInd(), SCIPlpiGetNRows(), SCIPlpiSolveDual(), SCIP_LPi::senarray, setIntParam(), setParameterValues(), SCIP_LPi::solver, SCIP_LPi::spx, SVECTOR, SCIP_LPi::task, SCIP_LPi::tmp_row, x, and SCIP_LPi::xprslp.
Referenced by SCIPlpGetBInvCol().
SCIP_RETCODE SCIPlpiGetBInvARow | ( | SCIP_LPI * | lpi, |
int | r, | ||
const SCIP_Real * | binvrow, | ||
SCIP_Real * | coef, | ||
int * | inds, | ||
int * | ninds ) |
get row of inverse basis matrix times constraint matrix B^-1 * A
get row of inverse basis matrix times constraint matrix B^-1 * A
get row of inverse basis matrix times constraint matrix B^-1 * A
get row of inverse basis matrix times constraint matrix B^-1 * A
get row of inverse basis matrix times constraint matrix B^-1 * A
get 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 of the row |
inds | array to store the non-zero indices, or NULL |
ninds | pointer to store the number of non-zero indices, or NULL (-1: if we do not store sparsity information) |
Definition at line 3314 of file lpi_clp.cpp.
References assert(), BMSallocMemoryArray, BMSclearMemoryArray, BMScopyMemoryArray, BMSfreeMemoryArray, BMSfreeMemoryArrayNull, c, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, ensureTabMem(), ensureValMem(), ensureValMem(), eps, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::indarray, SCIP_LPi::itab, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::parameters, SCIP_LPi::prob, QS_CONDRET, r, restoreLPData(), restoreLPData(), SCIP_LPi::scaler, SCIP_ALLOC, SCIP_CALL, SCIP_CALL_QUIET, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_UNUSED, SCIPdebugMessage, SCIPlpiGetBasisInd(), SCIPlpiGetBInvRow(), SCIPlpiGetBInvRow(), SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPlpiSolveDual(), setIntParam(), setParameterValues(), SCIP_LPi::solver, SCIP_LPi::spx, SVECTOR, SCIP_LPi::task, SCIP_LPi::tmp_row, SCIP_LPi::valarray, x, and SCIP_LPi::xprslp.
Referenced by SCIPlpGetBInvARow().
SCIP_RETCODE SCIPlpiGetBInvACol | ( | SCIP_LPI * | lpi, |
int | c, | ||
SCIP_Real * | coef, | ||
int * | inds, | ||
int * | ninds ) |
get column of inverse basis matrix times constraint matrix B^-1 * A
get column of inverse basis matrix times constraint matrix B^-1 * A
get column of inverse basis matrix times constraint matrix B^-1 * A
get dense column of inverse basis matrix times constraint matrix B^-1 * A
get column of inverse basis matrix times constraint matrix B^-1 * A
get column of inverse basis matrix times constraint matrix B^-1 * A
get column of inverse basis matrix times constraint matrix B^-1 * A
lpi | LP interface structure |
c | column number |
coef | vector to return coefficients of the column |
inds | array to store the non-zero indices, or NULL |
ninds | pointer to store the number of non-zero indices, or NULL (-1: if we do not store sparsity information) |
Definition at line 3349 of file lpi_clp.cpp.
References assert(), BMSallocMemoryArray, BMSclearMemoryArray, BMSfreeMemoryArray, c, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, ensureSidechgMem(), ensureValMem(), ensureValMem(), eps, errorMessage(), SCIP_LPi::grbmodel, handle_singular(), SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::indarray, SCIP_LPi::linear_program, SCIP_LPi::lpid, lpiGetBInvVec(), SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::parameters, SCIP_LPi::prob, r, restoreLPData(), restoreLPData(), SCIP_LPi::scaler, SCIP_ALLOC, SCIP_CALL, SCIP_CALL_QUIET, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_UNUSED, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetBasisInd(), SCIPlpiGetNRows(), SCIPlpiSolveDual(), SCIP_LPi::senarray, setIntParam(), setParameterValues(), SCIP_LPi::solver, SCIP_LPi::spx, SVECTOR, SCIP_LPi::task, SCIP_LPi::tmp_column, SCIP_LPi::valarray, x, and SCIP_LPi::xprslp.
Referenced by SCIPlpGetBInvACol().
SCIP_RETCODE SCIPlpiGetState | ( | SCIP_LPI * | lpi, |
BMS_BLKMEM * | blkmem, | ||
SCIP_LPISTATE ** | lpistate ) |
stores LPi state (like basis information) into lpistate object
stores LP 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 3389 of file lpi_clp.cpp.
References assert(), BMSallocBlockMemory, CHECK_ZERO, checkState(), SCIP_LPi::clearstate, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cstat, ensureColMem(), ensureCstatMem(), ensureCstatMem(), ensureCstatMem(), ensureCstatMem(), ensureRowMem(), ensureRstatMem(), ensureRstatMem(), ensureRstatMem(), ensureRstatMem(), errorMessage(), getBase(), getBase(), getbase(), SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::iccnt, SCIP_LPi::ircnt, SCIP_LPi::lastsolvetype, SCIP_LPi::lpid, lpistateCreate(), lpistateCreate(), lpistateCreate(), lpistateCreate(), lpistateCreate(), lpistateCreate(), lpistateCreate(), lpistateCreate(), lpistatePack(), lpistatePack(), lpistatePack(), lpistatePack(), lpistatePack(), lpistatePack(), lpistatePack(), lpistatePack(), SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, MSK_getsolutionstatus(), SCIP_LPi::nrngrows, NULL, SCIP_LPiState::num, SCIP_LPi::optimizecount, SCIP_LPi::prob, SCIP_LPi::rstat, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiExistsDualRay(), SCIPlpiGetBase(), SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIP_LPi::solisbasic, SCIP_LPiState::solsta, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by candidateStoreWarmStartInfo(), createLPWithHardCuts(), SCIPlpGetState(), and SCIPlpStartDive().
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), or NULL |
Definition at line 3429 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, SCIP_LPi::clearstate, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cstat, ensureColMem(), ensureCstatMem(), ensureCstatMem(), ensureCstatMem(), ensureCstatMem(), ensureCstatMem(), ensureCstatMem(), ensureRowMem(), ensureRstatMem(), ensureRstatMem(), ensureRstatMem(), ensureRstatMem(), ensureRstatMem(), ensureRstatMem(), ensureStateMem(), ensureTabMem(), errorMessage(), FALSE, getbase(), SCIP_LPi::grbmodel, SCIP_LPi::highs, i, SCIP_LPi::ibas, SCIP_LPi::iccnt, invalidateSolution(), SCIP_LPi::ircnt, SCIP_LPi::isen, SCIP_LPi::lastsolvetype, lpistateUnpack(), lpistateUnpack(), lpistateUnpack(), lpistateUnpack(), lpistateUnpack(), lpistateUnpack(), lpistateUnpack(), lpistateUnpack(), SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPiState::ncols, SCIP_LPi::nrngrows, SCIP_LPiState::nrngrows, SCIP_LPiState::nrows, NULL, SCIP_LPiState::num, SCIP_LPiState::packcstat, SCIP_LPiState::packrstat, SCIP_LPi::prob, QS_CONDRET, REALABS, SCIP_LPi::rstat, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPlpiIsInfinity(), SCIPlpiSetBase(), setBase(), setBase(), setbase(), SCIP_LPi::skc, SCIP_LPi::skx, SCIP_LPiState::solsta, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by createLPWithHardCuts(), and SCIPlpSetState().
SCIP_RETCODE SCIPlpiClearState | ( | SCIP_LPI * | lpi | ) |
clears current LPi state (like basis information) of the solver
lpi | LP interface structure |
Definition at line 3487 of file lpi_clp.cpp.
References assert(), BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, SCIP_LPi::clearstate, SCIP_LPi::clp, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, i, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_ALLOC, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiSetBase(), SCIPmessagePrintWarning(), SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, TRUE, SCIP_LPi::validFactorization, and x.
Referenced by SCIPtreeEndProbing().
SCIP_RETCODE SCIPlpiFreeState | ( | SCIP_LPI * | lpi, |
BMS_BLKMEM * | blkmem, | ||
SCIP_LPISTATE ** | lpistate ) |
frees LPi state information
frees LP state information
lpi | LP interface structure |
blkmem | block memory |
lpistate | pointer to LPi state information (like basis information) |
Definition at line 3503 of file lpi_clp.cpp.
References assert(), SCIP_LPi::lpid, lpistateFree(), lpistateFree(), lpistateFree(), lpistateFree(), lpistateFree(), lpistateFree(), lpistateFree(), lpistateFree(), SCIP_LPi::mosekenv, NULL, SCIP_OKAY, SCIPdebugMessage, SCIP_LPi::solver, and SCIP_LPi::task.
Referenced by createLPWithHardCuts(), SCIPlpFreeState(), and warmStartInfoFree().
SCIP_Bool SCIPlpiHasStateBasis | ( | SCIP_LPI * | lpi, |
SCIP_LPISTATE * | lpistate ) |
checks, whether the given LPi state contains simplex basis information
checks, whether the given LP state contains simplex basis information
lpi | LP interface structure |
lpistate | LP state information (like basis information), or NULL |
Definition at line 3522 of file lpi_clp.cpp.
References assert(), errorMessageAbort(), FALSE, SCIP_LPi::lpid, SCIP_LPi::mosekenv, NULL, SCIP_LPiState::num, SCIP_LPiState::packcstat, SCIPdebugMessage, SCIP_LPi::solver, SCIP_LPi::task, and TRUE.
Referenced by SCIPlpSetState().
SCIP_RETCODE SCIPlpiReadState | ( | SCIP_LPI * | lpi, |
const char * | fname ) |
reads LPi state (like basis information from a file
reads LP state (like basis information) from a file
reads LP state (like basis information from a file
reads LP state (like basis information) from a file
lpi | LP interface structure |
fname | file name |
Definition at line 3532 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, SCIP_LPi::clearstate, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_LPERROR, SCIP_NOTIMPLEMENTED, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_READERROR, SCIPdebugMessage, SCIPerrorMessage, SCIP_LPi::solver, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
SCIP_RETCODE SCIPlpiWriteState | ( | SCIP_LPI * | lpi, |
const char * | fname ) |
writes LPi state (i.e. basis information) to a file
lpi | LP interface structure |
fname | file name |
Definition at line 3552 of file lpi_clp.cpp.
References assert(), c, CHECK_ZERO, SCIP_LPi::clearstate, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::lastsolvetype, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, nvars, SCIP_LPi::prob, QS_ERROR, SCIP_LPERROR, SCIP_MAXSTRLEN, SCIP_NOTIMPLEMENTED, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_WRITEERROR, SCIPdebugMessage, SCIPerrorMessage, SCIPmessagePrintWarning(), SCIP_LPi::solver, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.
Referenced by SCIPlpiSolveDual(), and SCIPlpiSolvePrimal().
SCIP_RETCODE SCIPlpiGetNorms | ( | SCIP_LPI * | lpi, |
BMS_BLKMEM * | blkmem, | ||
SCIP_LPINORMS ** | lpinorms ) |
stores LPi pricing norms into lpinorms object
stores LPi pricing norms information
stores LPi pricing norms information
stores LPi pricing norms information
stores LPi pricing norms information
stores LPi pricing norms information
stores LPi pricing norms information
stores LPi pricing norms information
stores LPi pricing norms information
stores LPi pricing norms information
stores LPi pricing norms information
stores LPi pricing norms information
lpi | LP interface structure |
blkmem | block memory |
lpinorms | pointer to LPi pricing norms information |
Definition at line 3592 of file lpi_clp.cpp.
References assert(), BMSallocBlockMemory, BMSallocBlockMemoryArray, BMSfreeBlockMemory, BMSfreeBlockMemoryArray, CHECK_ZERO, SCIP_LPi::clearstate, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_ALLOC, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIP_LPi::solisbasic, SCIP_LPi::solver, SCIP_LPi::spx, and SCIP_LPi::task.
Referenced by candidateStoreWarmStartInfo(), and SCIPlpGetNorms().
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 norms were stored with SCIPlpiGetNorms()
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, or NULL |
Definition at line 3610 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, SCIP_LPiNorms::colnorm, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPiNorms::cstat, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPiNorms::head, SCIP_LPi::messagehdlr, SCIP_LPiNorms::ncols, SCIP_LPiNorms::norm, SCIP_LPiNorms::normlen, SCIP_LPiNorms::norms, SCIP_LPiNorms::nrows, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_LPiNorms::rownorm, SCIP_LPiNorms::rstat, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_UNUSED, SCIPdebugMessage, SCIPmessagePrintWarning(), SCIP_LPi::solver, and SCIP_LPi::spx.
Referenced by SCIPlpSetNorms().
SCIP_RETCODE SCIPlpiFreeNorms | ( | SCIP_LPI * | lpi, |
BMS_BLKMEM * | blkmem, | ||
SCIP_LPINORMS ** | lpinorms ) |
frees LPi pricing norms information
frees pricing norms information
lpi | LP interface structure |
blkmem | block memory |
lpinorms | pointer to LPi pricing norms information, or NULL |
Definition at line 3623 of file lpi_clp.cpp.
References assert(), BMSfreeBlockMemory, BMSfreeBlockMemoryArray, errorMessage(), NULL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_UNUSED, SCIPdebugMessage, and SCIP_LPi::solver.
Referenced by SCIPlpFreeNorms(), and warmStartInfoFree().
SCIP_RETCODE SCIPlpiGetIntpar | ( | SCIP_LPI * | lpi, |
SCIP_LPPARAM | type, | ||
int * | ival ) |
gets integer parameter of LP
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 3648 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, SCIP_LPi::clp, CPX_INT_MAX, SCIP_LPi::cpxlp, FALSE, SCIP_LPi::fastmip, SCIP_LPi::from_scratch, SCIP_LPi::fromscratch, getDblParam(), getIntParam(), getIntParam(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::lp_info, SCIP_LPi::lpinfo, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::notfromscratch, SCIP_LPi::nthreads, NULL, SCIP_LPi::numthreads, SCIP_LPi::par_presolve, SCIP_LPi::parameters, paramty2str(), presolve(), SCIP_LPi::pricing, SCIP_LPi::prob, QS_CONDRET, SCIP_LPi::rngfound, SCIP_CALL, SCIP_LPPAR_FASTMIP, SCIP_LPPAR_FROMSCRATCH, SCIP_LPPAR_LPINFO, SCIP_LPPAR_LPITLIM, SCIP_LPPAR_PRESOLVING, SCIP_LPPAR_PRICING, SCIP_LPPAR_RANDOMSEED, SCIP_LPPAR_REFACTOR, SCIP_LPPAR_SCALING, SCIP_LPPAR_THREADS, SCIP_LPPAR_TIMING, SCIP_OKAY, SCIP_PARAMETERUNKNOWN, SCIP_PARAMETERWRONGVAL, SCIPdebugMessage, SCIP_LPi::spx, SCIP_LPi::startscratch, SCIP_LPi::task, SCIP_LPi::timing, TRUE, and SCIP_LPi::xprslp.
Referenced by lpCheckIntpar(), and SCIPlpStartDive().
SCIP_RETCODE SCIPlpiSetIntpar | ( | SCIP_LPI * | lpi, |
SCIP_LPPARAM | type, | ||
int | ival ) |
sets integer parameter of LP
< mosek pricing for SCIP_PRICING_LPIDEFAULT
< mosek pricing for SCIP_PRICING_AUTO
< mosek pricing for SCIP_PRICING_FULL
< mosek pricing for SCIP_PRICING_PARTIAL
< mosek pricing for SCIP_PRICING_STEEP
< mosek pricing for SCIP_PRICING_STEEPQSTART
< mosek pricing for SCIP_PRICING_DEVEX
lpi | LP interface structure |
type | parameter number |
ival | parameter value |
Definition at line 3692 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, SCIP_LPi::clp, CPX_INT_MAX, SCIP_LPi::cpxlp, FALSE, SCIP_LPi::from_scratch, SCIP_LPi::fromscratch, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::lp_info, SCIP_LPi::lpid, SCIP_LPi::lpinfo, SCIP_LPi::messagehdlr, MIN, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::notfromscratch, SCIP_LPi::nthreads, NULL, SCIP_LPi::numthreads, SCIP_LPi::par_presolve, SCIP_LPi::parameters, paramty2str(), SCIP_LPi::pricing, SCIP_LPi::prob, QS_CONDRET, SCIP_LPi::restrictselectdef, SCIP_LPi::rngfound, SCIP_Bool, SCIP_CALL, SCIP_INVALIDDATA, SCIP_LPERROR, SCIP_LPPAR_FASTMIP, SCIP_LPPAR_FROMSCRATCH, SCIP_LPPAR_LPINFO, SCIP_LPPAR_LPITLIM, SCIP_LPPAR_POLISHING, SCIP_LPPAR_PRESOLVING, SCIP_LPPAR_PRICING, SCIP_LPPAR_RANDOMSEED, SCIP_LPPAR_REFACTOR, SCIP_LPPAR_SCALING, SCIP_LPPAR_THREADS, 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, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, setDblParam(), setFastmipClpParameters(), setIntParam(), setIntParam(), SCIP_LPi::spx, SCIP_LPi::startscratch, SCIP_LPi::task, SCIP_LPi::timing, TRUE, unsetFastmipClpParameters(), and SCIP_LPi::xprslp.
Referenced by BENDERS_CUTORACLE(), BENDERS_CUTORACLE(), checkAltLPInfeasible(), checkAltLPInfeasible(), checkAltLPInfeasible(), computeRelIntPoint(), computeVertexPolyhedralFacetLP(), conflictAnalyzeLP(), extendToCover(), initAlternativeLP(), lpSetIntpar(), SCIP_DECL_CONSCHECK(), SCIPlpiAddRows(), SCIPlpiCreate(), SCIPrunBoundHeuristic(), solveClassification(), and solveMinIISC().
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 3796 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::conditionlimit, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, getDblParam(), getDblParam(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::linear_program, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::parameters, paramty2str(), SCIP_LPi::prob, QS_CONDRET, SCIP_LPi::rowrepswitch, SCIP_CALL, SCIP_LPPAR_BARRIERCONVTOL, SCIP_LPPAR_CONDITIONLIMIT, SCIP_LPPAR_DUALFEASTOL, SCIP_LPPAR_FEASTOL, SCIP_LPPAR_LPTILIM, SCIP_LPPAR_MARKOWITZ, SCIP_LPPAR_OBJLIM, SCIP_LPPAR_ROWREPSWITCH, SCIP_OKAY, SCIP_PARAMETERUNKNOWN, SCIPdebugMessage, SCIPlpiInfinity(), SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by conflictAnalyzeLP(), lpCheckRealpar(), lpSetBarrierconvtol(), lpSetDualfeastol(), lpSetFeastol(), and lpSetObjlim().
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 3833 of file lpi_clp.cpp.
References assert(), CHECK_ZERO, SCIP_LPi::checkcondition, SCIP_LPi::clp, SCIP_LPi::conditionlimit, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, FALSE, SCIP_LPi::feastol, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::linear_program, MAX, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::parameters, paramty2str(), SCIP_LPi::prob, QS_CONDRET, SCIP_LPi::rowrepswitch, SCIP_CALL, SCIP_LPPAR_BARRIERCONVTOL, SCIP_LPPAR_CONDITIONLIMIT, SCIP_LPPAR_DUALFEASTOL, SCIP_LPPAR_FEASTOL, SCIP_LPPAR_LPTILIM, SCIP_LPPAR_MARKOWITZ, SCIP_LPPAR_OBJLIM, SCIP_LPPAR_ROWREPSWITCH, SCIP_OKAY, SCIP_PARAMETERUNKNOWN, SCIPdebugMessage, SCIPlpiInfinity(), setDblParam(), setDblParam(), SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.
Referenced by computeRelIntPoint(), computeVertexPolyhedralFacetLP(), conflictAnalyzeLP(), lpSetRealpar(), SCIPrunBoundHeuristic(), solveLagromoryLP(), and solveLPWithHardCuts().
SCIP_RETCODE SCIPlpiInterrupt | ( | SCIP_LPI * | lpi, |
SCIP_Bool | interrupt ) |
interrupts the currently ongoing lp solve or disables the interrupt
lpi | LP interface structure |
interrupt | TRUE if interrupt should be set, FALSE if it should be disabled |
Definition at line 3895 of file lpi_clp.cpp.
References assert(), SCIP_LPi::highs, NULL, SCIP_OKAY, SCIPdebugMessage, and SCIP_LPi::spx.
Referenced by SCIPlpInterrupt().
returns value treated as infinity in the LP solver
lpi | LP interface structure |
Definition at line 3919 of file lpi_clp.cpp.
References assert(), LPIINFINITY, SCIP_LPi::mosekenv, NULL, SCIPdebugMessage, SCIP_LPi::spx, and SCIP_LPi::task.
Referenced by addAltLPColumn(), addBdchg(), buildVertexPolyhedralSeparationLP(), computeRelIntPoint(), conflictAnalyzeLP(), createAltLPColumn(), createAltLPColumn(), createLPWithHardCuts(), lpAlgorithm(), lpFlushAddCols(), lpFlushAddRows(), lpFlushChgCols(), lpFlushChgRows(), lpSetObjlim(), lpSolve(), SCIP_DECL_PARAMCHGD(), SCIPlpCreate(), SCIPlpiCreate(), SCIPlpiGetDualfarkas(), SCIPlpiGetObjval(), SCIPlpiGetRealpar(), SCIPlpiScaleCol(), SCIPlpiScaleRow(), SCIPlpiSetRealpar(), SCIPlpiStrongbranchesFrac(), SCIPlpiStrongbranchFrac(), SCIPlpMarkFlushed(), SCIPlpSolveAndEval(), SCIPrunBoundHeuristic(), solveClassification(), solveMinIISC(), solveNodeLP(), unfixAltLPVariable(), unfixAltLPVariables(), unfixAltLPVariables(), unfixAltLPVariables(), and updateLazyBounds().
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 3931 of file lpi_clp.cpp.
References assert(), FALSE, IS_POSINF, LPIINFINITY, SCIP_LPi::mosekenv, NULL, SCIPdebugMessage, SCIP_LPi::spx, SCIP_LPi::task, and TRUE.
Referenced by addBdchg(), checkLPBoundsClean(), performStrongbranchWithPropagation(), SCIPlpiChgBounds(), SCIPlpiGetPrimalRay(), SCIPlpiIsStable(), SCIPlpiScaleCol(), SCIPlpiScaleRow(), SCIPlpiSetState(), and SCIPlpiSetState().
SCIP_RETCODE SCIPlpiReadLP | ( | SCIP_LPI * | lpi, |
const char * | fname ) |
reads LP from a file
reads LP from a file
The file extension defines the format. That can be lp or mps. Any given file name needs to have one of these two extension. If not nothing is read and a SCIP_READERROR is returned.
lpi | LP interface structure |
fname | file name |
Definition at line 3972 of file lpi_clp.cpp.
References assert(), BMSallocMemoryArray, BMSduplicateMemoryArray, BMSfreeMemoryArrayNull, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), fileExists(), fileExists(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::previt, SCIP_LPi::prob, SCIP_ALLOC, SCIP_NOFILE, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_READERROR, SCIP_WRITEERROR, SCIPdebugMessage, SCIPerrorMessage, SCIPmessagePrintWarning(), SCIPsnprintf(), SCIPsplitFilename(), SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.
SCIP_RETCODE SCIPlpiWriteLP | ( | SCIP_LPI * | lpi, |
const char * | fname ) |
writes LP to a file
writes LP to a file
The file extension defines the format. That can be lp or mps. Any given file name needs to have one of these two extension. If not nothing is written and a SCIP_WRITEERROR is returned.
lpi | LP interface structure |
fname | file name |
Definition at line 4001 of file lpi_clp.cpp.
References addRangeVars(), assert(), BMSallocMemoryArray, BMSduplicateMemoryArray, BMSfreeMemoryArrayNull, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, delRangeVars(), errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::nrngrows, NULL, SCIP_LPi::prob, SCIP_LPi::rngvarsadded, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_READERROR, SCIP_WRITEERROR, SCIPdebugMessage, SCIPerrorMessage, SCIPmessagePrintWarning(), SCIPsnprintf(), SCIPsplitFilename(), SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.
Referenced by addAltLPColumn(), computeRelIntPoint(), SCIPlpiSolveDual(), SCIPlpiSolvePrimal(), SCIPlpWrite(), solveClassification(), solveMinIISC(), and updateObjUpperbound().
|
static |
performs strong branching iterations on one arbitrary candidate
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 2031 of file lpi_clp.cpp.
References assert(), BMSallocMemoryArray, BMSfreeMemoryArray, SCIP_LPi::clp, EPSCEIL, EPSFLOOR, NULL, objval, SCIP_ALLOC, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, TRUE, and SCIP_LPi::validFactorization.
Referenced by SCIPlpiStrongbranchFrac(), and SCIPlpiStrongbranchInt().
|
static |
performs strong branching iterations on given arbitrary 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 2151 of file lpi_clp.cpp.
References assert(), BMSallocMemoryArray, BMSfreeMemoryArray, SCIP_LPi::clp, EPSCEIL, EPSFLOOR, NULL, objval, SCIP_ALLOC, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, TRUE, and SCIP_LPi::validFactorization.
Referenced by SCIPlpiStrongbranchesFrac(), and SCIPlpiStrongbranchesInt().
|
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 2651 of file lpi_cpx.c.
References assert(), 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, SCIPdebugMessage, SCIPlpiGetIterations(), SCIPlpiGetObjval(), SCIPlpiIsIterlimExc(), SCIPlpiIsObjlimExc(), SCIPlpiIsOptimal(), SCIPlpiIsPrimalInfeasible(), SCIPlpiSolveDual(), setBase(), setIntParam(), and TRUE.
Referenced by SCIPlpiStrongbranchesInt(), and SCIPlpiStrongbranchInt().
|
static |
delete rows from LP and update the current basis
lpi | LP interface structure |
rows_to_delete | array to mark rows that should be deleted |
Definition at line 552 of file lpi_glop.cpp.
References SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, and SCIP_LPi::solver.
Referenced by SCIPlpiDelRows(), and SCIPlpiDelRowset().
|
static |
get a slice of a row or column
lpi | LP interface structure |
iscon | whether we are requesting a slice of a constraint or column |
first | first index |
last | last index |
nnonz | pointer to store the number of nonzeros |
beg | array for begins of indices/values |
ind | array of row/column indices |
val | array of values |
Definition at line 1811 of file lpi_msk.c.
References SCIP_LPi::aptre, assert(), ensureAptreMem(), SCIP_LPi::lpid, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, and SCIP_LPi::task.
Referenced by SCIPlpiGetCols(), and SCIPlpiGetRows().
|
static |
gets the internal solution status of the solver
lpi | LP interface structure |
prosta | pointer to store the problem status |
solsta | pointer to store the solution status |
Definition at line 2155 of file lpi_msk.c.
References assert(), SCIP_LPi::lastsolvetype, MOSEK_CALL, SCIP_LPi::mosekenv, MSK_getsolutionstatus(), NULL, SCIP_OKAY, and SCIP_LPi::task.
Referenced by SCIPlpiExistsDualRay(), SCIPlpiExistsPrimalRay(), SCIPlpiGetInternalStatus(), SCIPlpiHasDualRay(), SCIPlpiHasPrimalRay(), SCIPlpiIsDualFeasible(), SCIPlpiIsOptimal(), SCIPlpiIsPrimalFeasible(), and SCIPlpiIsPrimalUnbounded().
|
static |
helper method to filter out numerical problems
messagehdlr | message handler |
termcode | pointer to store output termination code |
res | input result of call to Mosek function |
Definition at line 2172 of file lpi_msk.c.
References assert(), NULL, SCIP_UNUSED, and SCIPmessagePrintWarning().
Referenced by SCIPlpiSolveBarrier(), and SolveWSimplex().
|
static |
solve problem with the simplex algorithm
lpi | LP interface structure |
Definition at line 2206 of file lpi_msk.c.
References assert(), filterTRMrescode(), invalidateSolution(), SCIP_LPi::itercount, SCIP_LPi::lastsolvetype, SCIP_LPi::lpinfo, MAX, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, MSK_getsolutionstatus(), NULL, SCIP_LPi::optimizecount, presolve(), SCIP_LPi::restrictselectdef, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPdebugPrintf, SCIPerrorMessage, SCIPlpiSolveBarrier(), SCIPmessagePrintWarning(), SCIP_LPi::solved, SCIP_LPi::task, SCIP_LPi::termcode, and TRUE.
Referenced by SCIPlpiGetSol(), SCIPlpiSolveDual(), and SCIPlpiSolvePrimal().
|
static |
performs strong branching iterations on all candidates
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 2860 of file lpi_msk.c.
References assert(), bound, EPSCEIL, EPSEQ, EPSFLOOR, FALSE, getbase(), invalidateSolution(), IS_NEGINF, IS_POSINF, SCIP_LPi::itercount, SCIP_LPi::lastsolvetype, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::optimizecount, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiExistsDualRay(), SCIPlpiExistsPrimalRay(), SCIPlpiGetSolFeasibility(), SCIPlpiIsStable(), SCIPlpiSolveDual(), SCIPmessagePrintWarning(), setbase(), STRONGBRANCH_PRICING, SCIP_LPi::task, SCIP_LPi::termcode, and TRUE.
Referenced by SCIPlpiStrongbranchesFrac(), SCIPlpiStrongbranchesInt(), SCIPlpiStrongbranchFrac(), and SCIPlpiStrongbranchInt().
|
static |
handle singular basis
lpi | LP interface structure |
basis | array of basis indices |
res | result |
Definition at line 3880 of file lpi_msk.c.
References MOSEK_CALL, SCIP_CALL, SCIP_OKAY, SCIPlpiSolvePrimal(), and SCIP_LPi::task.
Referenced by SCIPlpiGetBasisInd(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvCol(), and SCIPlpiGetBInvRow().
|
static |
convert Mosek basis status to SCIP basis status
lpi | LP interface structure |
iscon | whether constraints/variables are considered |
sk | status array of Mosek |
n | size |
stat | status array of SCIP |
Definition at line 3910 of file lpi_msk.c.
References assert(), i, SCIP_LPi::lastsolvetype, MOSEK_CALL, NULL, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_INVALIDDATA, SCIP_OKAY, SCIPABORT, and SCIP_LPi::task.
Referenced by lpistatePack(), and SCIPlpiGetBase().
|
static |
convert Mosek to SCIP basis status - slack variables
lpi | LP interface structure |
iscon | whether constraints or variables are accessed |
sk | Mosek basis status |
m | size |
stat | status array |
Definition at line 3986 of file lpi_msk.c.
References assert(), i, SCIP_LPi::lastsolvetype, MOSEK_CALL, NULL, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_INVALIDDATA, SCIP_OKAY, SCIPABORT, and SCIP_LPi::task.
Referenced by lpistatePack(), and SCIPlpiGetBase().
|
static |
convert SCIP to Mosek basis status
stat | SCIP status array |
n | size of array |
resstat | resulting Mosek status array |
Definition at line 4053 of file lpi_msk.c.
References i, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, and SCIPABORT.
Referenced by lpistateUnpack(), and SCIPlpiSetBase().
|
static |
convert SCIP to Mosek basis status - slack variables
stat | SCIP status array |
n | size of array |
resstat | resulting Mosek status array |
Definition at line 4084 of file lpi_msk.c.
References i, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, and SCIPABORT.
Referenced by lpistateUnpack(), and SCIPlpiSetBase().
|
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 4566 of file lpi_msk.c.
References assert(), 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 4592 of file lpi_msk.c.
References assert(), BMSfreeBlockMemory, BMSfreeBlockMemoryArray, colpacketNum(), NULL, and rowpacketNum().
Referenced by SCIPlpiFreeState().
|
static |
check state
lpi | LP interface structure |
n | number of rows or columns |
sk | basis status |
isrow | whether rows/columns are considered |
Definition at line 4612 of file lpi_msk.c.
References assert(), DEBUG_CHECK_STATE_TOL, i, SCIP_LPi::lastsolvetype, MOSEK_CALL, NULL, SCIP_LPi::optimizecount, SCIP_OKAY, SCIPdebugMessage, and SCIP_LPi::task.
Referenced by checkState().
|
static |
check state
lpi | LP interface structure |
ncols | number of columns |
nrows | number of rows |
Definition at line 4687 of file lpi_msk.c.
References assert(), checkState1(), FALSE, SCIP_LPi::lastsolvetype, NULL, SCIP_CALL, SCIP_OKAY, SCIP_LPi::skc, SCIP_LPi::skx, and TRUE.
Referenced by SCIPlpiGetState().
|
static |
store row and column basis status in a packed LPi state object
lpi | LP interface structure |
lpistate | pointer to LPi state data |
Definition at line 4708 of file lpi_msk.c.
References assert(), convertstat_mosek2scip(), convertstat_mosek2scip_slack(), FALSE, SCIP_LPi::lastsolvetype, SCIP_LPiState::ncols, SCIP_LPiState::nrows, NULL, SCIP_CALL, SCIP_OKAY, SCIPencodeDualBit(), SCIP_LPi::skc, SCIP_LPiState::skc, SCIP_LPi::skx, SCIP_LPiState::skx, and TRUE.
Referenced by SCIPlpiGetState().
|
static |
unpacks row and column basis status from a packed LPi state object
lpistate | pointer to LPi state data |
skx | basis status for columns |
skc | basis status for rows |
Definition at line 4732 of file lpi_msk.c.
References assert(), convertstat_scip2mosek(), convertstat_scip2mosek_slack(), SCIP_LPiState::ncols, SCIP_LPiState::nrows, SCIPdecodeDualBit(), SCIP_LPiState::skc, and SCIP_LPiState::skx.
Referenced by SCIPlpiSetState().