Detailed Description
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/".
- See also
- Available implementations of the LP solver interface for a list of available LP solver interfaces
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:
- If x_j = lb, then j is at its lower bound (SCIP_BASESTAT_LOWER).
- If x_j = ub, then j is at its lower bound (SCIP_BASESTAT_UPPER).
- If x_j is in the basis, it has SCIP_BASESTAT_BASIC status.
- If x_j is free and non-basic, it has SCIP_BASESTAT_ZERO status.
The basis status for (row) slack variables are:
- If (A * x)_i = lhs, then i is at its lower bound (SCIP_BASESTAT_LOWER).
- If (A * x)_i = rhs, then i is at its upper bound (SCIP_BASESTAT_UPPER).
- If the slack variable for row i is basic, it has SCIP_BASESTAT_BASIC status.
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_msk.c |
LP interface for MOSEK. | |
file | lpi_none.c |
dummy interface for the case no LP solver is needed | |
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 | |
SCIP_EXPORT const char * | SCIPlpiGetSolverName (void) |
SCIP_EXPORT const char * | SCIPlpiGetSolverDesc (void) |
SCIP_EXPORT void * | SCIPlpiGetSolverPointer (SCIP_LPI *lpi) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiSetIntegralityInformation (SCIP_LPI *lpi, int ncols, int *intInfo) |
SCIP_EXPORT SCIP_Bool | SCIPlpiHasPrimalSolve (void) |
SCIP_EXPORT SCIP_Bool | SCIPlpiHasDualSolve (void) |
SCIP_EXPORT SCIP_Bool | SCIPlpiHasBarrierSolve (void) |
LPI Creation and Destruction Methods | |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiCreate (SCIP_LPI **lpi, SCIP_MESSAGEHDLR *messagehdlr, const char *name, SCIP_OBJSEN objsen) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiFree (SCIP_LPI **lpi) |
Modification Methods | |
SCIP_EXPORT 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_EXPORT 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_EXPORT SCIP_RETCODE | SCIPlpiDelCols (SCIP_LPI *lpi, int firstcol, int lastcol) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiDelColset (SCIP_LPI *lpi, int *dstat) |
SCIP_EXPORT 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_EXPORT SCIP_RETCODE | SCIPlpiDelRows (SCIP_LPI *lpi, int firstrow, int lastrow) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiDelRowset (SCIP_LPI *lpi, int *dstat) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiClear (SCIP_LPI *lpi) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiChgBounds (SCIP_LPI *lpi, int ncols, const int *ind, const SCIP_Real *lb, const SCIP_Real *ub) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiChgSides (SCIP_LPI *lpi, int nrows, const int *ind, const SCIP_Real *lhs, const SCIP_Real *rhs) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiChgCoef (SCIP_LPI *lpi, int row, int col, SCIP_Real newval) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiChgObjsen (SCIP_LPI *lpi, SCIP_OBJSEN objsen) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiChgObj (SCIP_LPI *lpi, int ncols, const int *ind, const SCIP_Real *obj) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiScaleRow (SCIP_LPI *lpi, int row, SCIP_Real scaleval) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiScaleCol (SCIP_LPI *lpi, int col, SCIP_Real scaleval) |
Data Accessing Methods | |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiGetNRows (SCIP_LPI *lpi, int *nrows) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiGetNCols (SCIP_LPI *lpi, int *ncols) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiGetObjsen (SCIP_LPI *lpi, SCIP_OBJSEN *objsen) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiGetNNonz (SCIP_LPI *lpi, int *nnonz) |
SCIP_EXPORT 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_EXPORT 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_EXPORT SCIP_RETCODE | SCIPlpiGetColNames (SCIP_LPI *lpi, int firstcol, int lastcol, char **colnames, char *namestorage, int namestoragesize, int *storageleft) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiGetRowNames (SCIP_LPI *lpi, int firstrow, int lastrow, char **rownames, char *namestorage, int namestoragesize, int *storageleft) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiGetObj (SCIP_LPI *lpi, int firstcol, int lastcol, SCIP_Real *vals) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiGetBounds (SCIP_LPI *lpi, int firstcol, int lastcol, SCIP_Real *lbs, SCIP_Real *ubs) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiGetSides (SCIP_LPI *lpi, int firstrow, int lastrow, SCIP_Real *lhss, SCIP_Real *rhss) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiGetCoef (SCIP_LPI *lpi, int row, int col, SCIP_Real *val) |
LP Basis Methods | |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiGetBase (SCIP_LPI *lpi, int *cstat, int *rstat) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiSetBase (SCIP_LPI *lpi, const int *cstat, const int *rstat) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiGetBasisInd (SCIP_LPI *lpi, int *bind) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiGetBInvRow (SCIP_LPI *lpi, int r, SCIP_Real *coef, int *inds, int *ninds) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiGetBInvCol (SCIP_LPI *lpi, int c, SCIP_Real *coef, int *inds, int *ninds) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiGetBInvARow (SCIP_LPI *lpi, int r, const SCIP_Real *binvrow, SCIP_Real *coef, int *inds, int *ninds) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiGetBInvACol (SCIP_LPI *lpi, int c, SCIP_Real *coef, int *inds, int *ninds) |
LPi State Methods | |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiGetState (SCIP_LPI *lpi, BMS_BLKMEM *blkmem, SCIP_LPISTATE **lpistate) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiSetState (SCIP_LPI *lpi, BMS_BLKMEM *blkmem, const SCIP_LPISTATE *lpistate) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiClearState (SCIP_LPI *lpi) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiFreeState (SCIP_LPI *lpi, BMS_BLKMEM *blkmem, SCIP_LPISTATE **lpistate) |
SCIP_EXPORT SCIP_Bool | SCIPlpiHasStateBasis (SCIP_LPI *lpi, SCIP_LPISTATE *lpistate) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiReadState (SCIP_LPI *lpi, const char *fname) |
SCIP_EXPORT 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_EXPORT SCIP_RETCODE | SCIPlpiGetIntpar (SCIP_LPI *lpi, SCIP_LPPARAM type, int *ival) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiSetIntpar (SCIP_LPI *lpi, SCIP_LPPARAM type, int ival) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiGetRealpar (SCIP_LPI *lpi, SCIP_LPPARAM type, SCIP_Real *dval) |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiSetRealpar (SCIP_LPI *lpi, SCIP_LPPARAM type, SCIP_Real dval) |
Numerical Methods | |
SCIP_EXPORT SCIP_Real | SCIPlpiInfinity (SCIP_LPI *lpi) |
SCIP_EXPORT SCIP_Bool | SCIPlpiIsInfinity (SCIP_LPI *lpi, SCIP_Real val) |
File Interface Methods | |
SCIP_EXPORT SCIP_RETCODE | SCIPlpiReadLP (SCIP_LPI *lpi, const char *fname) |
SCIP_EXPORT 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) |
Function Documentation
◆ SCIPlpiGetSolverName()
SCIP_EXPORT const char* SCIPlpiGetSolverName | ( | void | ) |
gets name and version of LP solver
Definition at line 445 of file lpi_clp.cpp.
References CLP_VERSION, CPX_SUBVERSION, cpxname, glopname, grbname, LPINAME, mskname, SCIP_MAXSTRLEN, SCIPdebugMessage, SCIPlpiGetSolverDesc(), SOPLEX_SUBVERSION, spxname, and xprsname.
Referenced by doScipCreate(), lpFlushChgCols(), lpFlushChgRows(), SCIPlpCreate(), SCIPlpMarkFlushed(), and SCIPprintVersion().
◆ SCIPlpiGetSolverDesc()
SCIP_EXPORT const char* SCIPlpiGetSolverDesc | ( | void | ) |
gets description of LP solver (developer, webpage, ...)
Definition at line 454 of file lpi_clp.cpp.
References SCIPlpiGetSolverPointer(), and spxdesc.
Referenced by doScipCreate(), and SCIPlpiGetSolverName().
◆ SCIPlpiGetSolverPointer()
SCIP_EXPORT 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.
- Parameters
-
lpi pointer to an LP interface structure
Definition at line 462 of file lpi_clp.cpp.
References SCIP_LPi::clp, SCIP_LPi::cpxlp, SCIP_LPi::grbmodel, MosekEnv, NULL, SCIP_LPi::prob, SCIPerrorMessage, SCIPlpiSetIntegralityInformation(), SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPlpiGetSolverDesc().
◆ SCIPlpiSetIntegralityInformation()
SCIP_EXPORT SCIP_RETCODE SCIPlpiSetIntegralityInformation | ( | SCIP_LPI * | lpi, |
int | ncols, | ||
int * | intInfo | ||
) |
pass integrality information about variables to the solver
pass integrality information to LP solver
- Parameters
-
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 471 of file lpi_clp.cpp.
References SCIP_LPi::linear_program, NULL, SCIP_Bool, SCIP_LPERROR, SCIP_OKAY, SCIPerrorMessage, SCIPlpiHasPrimalSolve(), and SCIP_LPi::spx.
Referenced by lpCopyIntegrality(), and SCIPlpiGetSolverPointer().
◆ SCIPlpiHasPrimalSolve()
SCIP_EXPORT SCIP_Bool SCIPlpiHasPrimalSolve | ( | void | ) |
informs about availability of a primal simplex solving method
Definition at line 485 of file lpi_clp.cpp.
References FALSE, SCIP_Bool, SCIPlpiHasDualSolve(), and TRUE.
Referenced by SCIPlpiSetIntegralityInformation().
◆ SCIPlpiHasDualSolve()
SCIP_EXPORT SCIP_Bool SCIPlpiHasDualSolve | ( | void | ) |
informs about availability of a dual simplex solving method
Definition at line 493 of file lpi_clp.cpp.
References FALSE, SCIP_Bool, SCIPlpiHasBarrierSolve(), and TRUE.
Referenced by SCIPlpiHasPrimalSolve().
◆ SCIPlpiHasBarrierSolve()
SCIP_EXPORT SCIP_Bool SCIPlpiHasBarrierSolve | ( | void | ) |
informs about availability of a barrier solving method
Definition at line 501 of file lpi_clp.cpp.
References FALSE, SCIPlpiCreate(), and TRUE.
Referenced by SCIPlpiHasDualSolve().
◆ SCIPlpiCreate()
SCIP_EXPORT SCIP_RETCODE SCIPlpiCreate | ( | SCIP_LPI ** | lpi, |
SCIP_MESSAGEHDLR * | messagehdlr, | ||
const char * | name, | ||
SCIP_OBJSEN | objsen | ||
) |
creates an LP problem object
- Parameters
-
lpi pointer to an LP interface structure messagehdlr message handler to use for printing messages, or NULL name problem name objsen objective sense
Definition at line 522 of file lpi_clp.cpp.
References BMSallocMemory, BMSallocMemoryArray, BMSallocMemoryCPP, CHECK_ZERO, checkRangeInfo(), copyParameterValues(), DEGEN_LEVEL, FALSE, getParameterValues(), grbenv, invalidateSolution(), LPI_QSOPT_ALGO_UNKNOWN, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, nextlpid, NULL, numlp, printstr(), SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_LPERROR, SCIP_LPPAR_PRICING, SCIP_OKAY, SCIP_PRICING_LPIDEFAULT, SCIP_Real, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiChgObjsen(), SCIPlpiFree(), SCIPlpiInfinity(), SCIPlpiSetIntpar(), SCIPmessagePrintWarning(), SENSE2MOSEK, SETBACK_LIMIT, SOPLEX_TRY, SOPLEX_VERBLEVEL, and TRUE.
Referenced by addConcaveEstimatorMultivariate(), createLP(), initAlternativeLP(), polyscip::Polyscip::printResults(), SCIP_DECL_PARAMCHGD(), SCIPlpComputeRelIntPoint(), SCIPlpCreate(), SCIPlpiHasBarrierSolve(), solveClassification(), and solveMinIISC().
◆ SCIPlpiFree()
SCIP_EXPORT SCIP_RETCODE SCIPlpiFree | ( | SCIP_LPI ** | lpi | ) |
deletes an LP problem object
- Parameters
-
lpi pointer to an LP interface structure
Definition at line 634 of file lpi_clp.cpp.
References BMSfreeMemory, BMSfreeMemoryArray, BMSfreeMemoryArrayNull, CHECK_ZERO, grbenv, MOSEK_CALL, MosekEnv, NULL, numlp, SCIP_OKAY, SCIPdebugMessage, and SCIPlpiLoadColLP().
Referenced by createLP(), polyscip::Polyscip::printResults(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_PARAMCHGD(), SCIPlpComputeRelIntPoint(), SCIPlpFree(), SCIPlpiCreate(), sepadataFree(), solveClassification(), and solveMinIISC().
◆ SCIPlpiLoadColLP()
SCIP_EXPORT 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
- Parameters
-
lpi LP interface structure objsen objective sense ncols number of columns obj objective function values of columns lb lower bounds of columns ub upper bounds of columns colnames column names, or NULL nrows number of rows lhs left hand sides of rows rhs right hand sides of rows 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 668 of file lpi_clp.cpp.
References addRangeInfo(), SCIP_LPi::aptre, SCIP_LPi::bkc, SCIP_LPi::bkx, BMSallocMemoryArray, BMScopyMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clp, convertSides(), SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, cpxObjsen(), ensureAptreMem(), ensureBkcMem(), ensureBkxMem(), ensureColMem(), ensureRowMem(), ensureSidechgMem(), ensureValMem(), generateMskBoundkeys(), getEndptrs(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::iccnt, SCIP_LPi::indarray, 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, MosekEnv, SCIP_LPi::name, SCIP_LPi::ncols, SCIP_LPi::nrows, NULL, 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_Real, SCIPdebugMessage, SCIPlpiAddCols(), SCIPlpiAddRows(), 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 polyscip::Polyscip::printResults(), and SCIPlpiFree().
◆ SCIPlpiAddCols()
SCIP_EXPORT 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
- Note
- ind array is not checked for duplicates, problems may appear if indices are added more than once
adds columns to the LP
- Parameters
-
lpi LP interface structure ncols number of columns to be added obj objective function values of new columns lb lower bounds of new columns ub upper bounds of new columns 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 749 of file lpi_clp.cpp.
References SCIP_LPi::aptre, SCIP_LPi::bkx, BMSallocMemoryArray, BMScopyMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, delRangeVars(), ensureAptreMem(), ensureBkxMem(), ensureColMem(), ensureValMem(), generateMskBoundkeys(), getEndptrs(), SCIP_LPi::grbmodel, SCIP_LPi::iccnt, SCIP_LPi::indarray, invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::ncols, SCIP_LPi::nrngrows, SCIP_LPi::nrows, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_LPi::rngvarsadded, SCIP_ALLOC, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiDelCols(), SCIPlpiGetNRows(), SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.
Referenced by addAltLPColumn(), computeRelIntPoint(), createAltLPColumn(), createLP(), lpFlushAddCols(), SCIP_DECL_PARAMCHGD(), SCIPlpiLoadColLP(), solveClassification(), and solveMinIISC().
◆ SCIPlpiDelCols()
SCIP_EXPORT SCIP_RETCODE SCIPlpiDelCols | ( | SCIP_LPI * | lpi, |
int | firstcol, | ||
int | lastcol | ||
) |
deletes all columns in the given range from LP
- Parameters
-
lpi LP interface structure firstcol first column to be deleted lastcol last column to be deleted
Definition at line 828 of file lpi_clp.cpp.
References BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, debugCheckColrang(), ensureColMem(), ensureValMem(), getIndicesRange(), SCIP_LPi::grbmodel, SCIP_LPi::iccnt, SCIP_LPi::indarray, invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::ncols, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiDelColset(), SCIPlpiGetNCols(), SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by lpFlushDelCols(), SCIPlpiAddCols(), and SCIPlpiClear().
◆ SCIPlpiDelColset()
SCIP_EXPORT 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
- Parameters
-
lpi LP interface structure dstat deletion status of columns input: 1 if column should be deleted, 0 if not output: new position of column, -1 if column was deleted
Definition at line 859 of file lpi_clp.cpp.
References BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureValMem(), getIndicesFromDense(), SCIP_LPi::grbmodel, SCIP_LPi::indarray, invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::ncols, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiAddRows(), SCIPlpiGetNCols(), SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by lpDelColset(), and SCIPlpiDelCols().
◆ SCIPlpiAddRows()
SCIP_EXPORT 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
- Note
- ind array is not checked for duplicates, problems may appear if indices are added more than once
adds rows to the LP
- Parameters
-
lpi LP interface structure nrows number of rows to be added lhs left hand sides of new rows rhs right hand sides of new rows 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 905 of file lpi_clp.cpp.
References addRangeInfo(), SCIP_LPi::aptre, SCIP_LPi::bkc, BMSallocMemoryArray, BMScopyMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clp, convertSides(), SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureAptreMem(), ensureBkcMem(), ensureRngrowmapMem(), ensureRowMem(), ensureSidechgMem(), ensureValMem(), FALSE, generateMskBoundkeys(), getEndptrs(), SCIP_LPi::grbmodel, SCIP_LPi::indarray, 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, 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_Real, SCIPdebugMessage, SCIPlpiDelRows(), 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(), initAlternativeLP(), lpFlushAddRows(), SCIP_DECL_PARAMCHGD(), SCIPlpiDelColset(), SCIPlpiLoadColLP(), solveClassification(), and solveMinIISC().
◆ SCIPlpiDelRows()
SCIP_EXPORT SCIP_RETCODE SCIPlpiDelRows | ( | SCIP_LPI * | lpi, |
int | firstrow, | ||
int | lastrow | ||
) |
deletes all rows in the given range from LP
- Parameters
-
lpi LP interface structure firstrow first row to be deleted lastrow last row to be deleted
Definition at line 977 of file lpi_clp.cpp.
References 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::indarray, invalidateSolution(), SCIP_LPi::ircnt, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, 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, SCIPlpiDelRowset(), SCIPlpiGetNRows(), SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by lpFlushDelRows(), SCIPlpiAddRows(), and SCIPlpiClear().
◆ SCIPlpiDelRowset()
SCIP_EXPORT 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
- Parameters
-
lpi LP interface structure dstat deletion status of rows input: 1 if row should be deleted, 0 if not output: new position of row, -1 if row was deleted
Definition at line 1009 of file lpi_clp.cpp.
References BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkRangeInfo(), clearRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, deleteRowsAndUpdateCurrentBasis(), delRangeVars(), ensureValMem(), getIndicesFromDense(), SCIP_LPi::grbmodel, SCIP_LPi::indarray, invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, 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, SCIPlpiClear(), SCIPlpiGetNRows(), SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by lpDelRowset(), and SCIPlpiDelRows().
◆ SCIPlpiClear()
SCIP_EXPORT SCIP_RETCODE SCIPlpiClear | ( | SCIP_LPI * | lpi | ) |
clears the whole LP
- Parameters
-
lpi LP interface structure
Definition at line 1055 of file lpi_clp.cpp.
References CHECK_ZERO, checkRangeInfo(), clearRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbenv, SCIP_LPi::grbmodel, invalidateSolution(), SCIP_LPi::lastalgorithm, SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::name, SCIP_LPi::ncols, SCIP_LPi::nrows, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiChgBounds(), SCIPlpiDelCols(), SCIPlpiDelRows(), SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPlpiDelRowset(), and SCIPlpiLoadColLP().
◆ SCIPlpiChgBounds()
SCIP_EXPORT SCIP_RETCODE SCIPlpiChgBounds | ( | SCIP_LPI * | lpi, |
int | ncols, | ||
const int * | ind, | ||
const SCIP_Real * | lb, | ||
const SCIP_Real * | ub | ||
) |
changes lower and upper bounds of columns
- Parameters
-
lpi LP interface structure ncols number of columns to change bounds for ind column indices 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 1075 of file lpi_clp.cpp.
References SCIP_LPi::bkx, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clp, CPX_MAGICZEROCONSTANT, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureBkxMem(), ensureBoundchgMem(), ensureColMem(), EPSZ, generateMskBoundkeys(), SCIP_LPi::grbmodel, SCIP_LPi::iccha, invalidateSolution(), SCIP_LPi::larray, SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::ncols, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPdebugPrintf, SCIPerrorMessage, SCIPlpiChgSides(), SCIPlpiIsInfinity(), SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::uarray, x, and SCIP_LPi::xprslp.
Referenced by fixAltLPVariable(), fixAltLPVariables(), lpFlushChgCols(), lpLexDualSimplex(), runBoundHeuristic(), SCIPcomputeConvexEnvelopeFacet(), SCIPconflictAnalyzeStrongbranch(), SCIPlpiClear(), SCIPlpiScaleCol(), unfixAltLPVariable(), and unfixAltLPVariables().
◆ SCIPlpiChgSides()
SCIP_EXPORT SCIP_RETCODE SCIPlpiChgSides | ( | SCIP_LPI * | lpi, |
int | nrows, | ||
const int * | ind, | ||
const SCIP_Real * | lhs, | ||
const SCIP_Real * | rhs | ||
) |
changes left and right hand sides of rows
- Parameters
-
lpi LP interface structure nrows number of rows to change sides for ind row indices lhs new values for left hand sides rhs new values for right hand sides
Definition at line 1158 of file lpi_clp.cpp.
References SCIP_LPi::bkc, CHECK_ZERO, checkRangeInfo(), clearRangeInfo(), SCIP_LPi::clp, convertSides(), SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, delRangeVars(), ensureBkcMem(), ensureRngrowmapMem(), ensureRngrowsMem(), ensureRowMem(), ensureSidechgMem(), generateMskBoundkeys(), SCIP_LPi::grbmodel, 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, MosekEnv, SCIP_LPi::nrngrows, SCIP_LPi::nrows, 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, SCIPlpiChgCoef(), SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPmessagePrintWarning(), SCIPsortIntReal(), SCIP_LPi::senarray, SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.
Referenced by lpFlushChgRows(), lpLexDualSimplex(), runBoundHeuristic(), scaleFirstRow(), SCIPcomputeConvexEnvelopeFacet(), SCIPlpiChgBounds(), and SCIPlpiScaleRow().
◆ SCIPlpiChgCoef()
SCIP_EXPORT SCIP_RETCODE SCIPlpiChgCoef | ( | SCIP_LPI * | lpi, |
int | row, | ||
int | col, | ||
SCIP_Real | newval | ||
) |
changes a single coefficient
- Parameters
-
lpi LP interface structure row row number of coefficient to change col column number of coefficient to change newval new value of coefficient
Definition at line 1188 of file lpi_clp.cpp.
References CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbmodel, invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiChgObjsen(), SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPlpiChgSides(), SCIPlpiScaleCol(), SCIPlpiScaleRow(), updateFirstRow(), updateFirstRowGlobal(), and updateObjUpperbound().
◆ SCIPlpiChgObjsen()
SCIP_EXPORT SCIP_RETCODE SCIPlpiChgObjsen | ( | SCIP_LPI * | lpi, |
SCIP_OBJSEN | objsense | ||
) |
changes the objective sense
- Parameters
-
lpi LP interface structure objsense new objective sense
Definition at line 1211 of file lpi_clp.cpp.
References CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, cpxObjsen(), SCIP_LPi::grbmodel, invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_OBJSEN_MAXIMIZE, SCIP_OBJSEN_MINIMIZE, SCIP_OKAY, SCIPdebugMessage, SCIPlpiChgObj(), SENSE2MOSEK, SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, spxObjsen(), SCIP_LPi::task, SCIP_LPi::xprslp, and xprsObjsen().
Referenced by SCIPlpiChgCoef(), SCIPlpiCreate(), and SCIPlpiLoadColLP().
◆ SCIPlpiChgObj()
SCIP_EXPORT SCIP_RETCODE SCIPlpiChgObj | ( | SCIP_LPI * | lpi, |
int | ncols, | ||
const int * | ind, | ||
const SCIP_Real * | obj | ||
) |
changes objective values of columns in the LP
- Parameters
-
lpi LP interface structure ncols number of columns to change objective value for ind column indices to change objective value for obj new objective values for columns
Definition at line 1231 of file lpi_clp.cpp.
References CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbmodel, invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::ncols, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiScaleRow(), SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.
Referenced by lpFlushChgCols(), lpLexDualSimplex(), SCIPcomputeConvexEnvelopeFacet(), SCIPlpiChgObjsen(), SCIPlpiScaleCol(), setAltLPObj(), and setAltLPObjZero().
◆ SCIPlpiScaleRow()
SCIP_EXPORT SCIP_RETCODE SCIPlpiScaleRow | ( | SCIP_LPI * | lpi, |
int | row, | ||
SCIP_Real | scaleval | ||
) |
multiplies a row with a non-zero scalar; for negative scalars, the row's sense is switched accordingly
- Parameters
-
lpi LP interface structure row row number to scale scaleval scaling multiplier
Definition at line 1258 of file lpi_clp.cpp.
References SCIP_LPi::bkc, BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureValMem(), fabs(), GRB_INFBOUND, SCIP_LPi::grbmodel, SCIP_LPi::indarray, infinity, invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::ncols, NULL, SCIP_LPi::prob, QS_RETURN, QS_TESTG, scale_bound(), scale_vec(), SCIP_ALLOC, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiChgCoef(), SCIPlpiChgSides(), SCIPlpiGetNCols(), SCIPlpiGetRows(), SCIPlpiGetSides(), SCIPlpiInfinity(), SCIPlpiIsInfinity(), SCIPlpiScaleCol(), SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::valarray, x, and SCIP_LPi::xprslp.
Referenced by SCIPlpiChgObj().
◆ SCIPlpiScaleCol()
SCIP_EXPORT SCIP_RETCODE SCIPlpiScaleCol | ( | SCIP_LPI * | lpi, |
int | col, | ||
SCIP_Real | scaleval | ||
) |
multiplies a column with a non-zero scalar; the objective value is multiplied with the scalar, and the bounds are divided by the scalar; for negative scalars, the column's bounds are switched
- Parameters
-
lpi LP interface structure col column number to scale scaleval scaling multiplier
Definition at line 1331 of file lpi_clp.cpp.
References SCIP_LPi::bkx, BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureValMem(), SCIP_LPi::grbmodel, SCIP_LPi::indarray, infinity, invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::nrows, NULL, SCIP_LPi::prob, QS_RETURN, QS_TESTG, scale_bound(), scale_vec(), SCIP_ALLOC, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, 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.
Referenced by SCIPlpiScaleRow().
◆ SCIPlpiGetNRows()
SCIP_EXPORT SCIP_RETCODE SCIPlpiGetNRows | ( | SCIP_LPI * | lpi, |
int * | nrows | ||
) |
gets the number of rows in the LP
- Parameters
-
lpi LP interface structure nrows pointer to store the number of rows
Definition at line 1408 of file lpi_clp.cpp.
References CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbmodel, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::nrows, NULL, SCIP_LPi::prob, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetNCols(), SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by addAltLPColumn(), addRangeInfo(), checkRangeInfo(), SCIPcomputeConvexEnvelopeFacet(), 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().
◆ SCIPlpiGetNCols()
SCIP_EXPORT SCIP_RETCODE SCIPlpiGetNCols | ( | SCIP_LPI * | lpi, |
int * | ncols | ||
) |
gets the number of columns in the LP
- Parameters
-
lpi LP interface structure ncols pointer to store the number of cols
Definition at line 1426 of file lpi_clp.cpp.
References CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbmodel, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::ncols, SCIP_LPi::nrngrows, NULL, SCIP_LPi::prob, SCIP_LPi::rngvarsadded, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetNNonz(), SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by addAltLPColumn(), addRangeInfo(), BENDERS_CUTORACLE(), checkIISlocal(), checkLPBoundsClean(), computeRelIntPoint(), delRangeVars(), extendToCover(), scaleFirstRow(), SCIPcomputeConvexEnvelopeFacet(), SCIPlpFlush(), SCIPlpiAddRows(), SCIPlpiChgSides(), SCIPlpiClear(), SCIPlpiDelCols(), SCIPlpiDelColset(), SCIPlpiGetBase(), SCIPlpiGetBasisInd(), SCIPlpiGetBInvARow(), SCIPlpiGetBounds(), SCIPlpiGetCols(), SCIPlpiGetNRows(), SCIPlpiGetPrimalRay(), SCIPlpiGetSol(), SCIPlpiGetState(), SCIPlpiLoadColLP(), SCIPlpiScaleRow(), SCIPlpiSetBase(), SCIPlpiSetState(), SCIPlpiSolveBarrier(), SCIPlpiSolveDual(), SCIPlpiSolvePrimal(), solveClassification(), and solveMinIISC().
◆ SCIPlpiGetObjsen()
SCIP_EXPORT SCIP_RETCODE SCIPlpiGetObjsen | ( | SCIP_LPI * | lpi, |
SCIP_OBJSEN * | objsen | ||
) |
gets the objective sense of the LP
gets objective sense of the LP
- Parameters
-
lpi LP interface structure objsen pointer to store objective sense
Definition at line 1657 of file lpi_clp.cpp.
References CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_OBJSEN_MAXIMIZE, SCIP_OBJSEN_MINIMIZE, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiGetObj(), SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by lpiStrongbranch(), lpiStrongbranches(), SCIPlpiGetObjval(), and SCIPlpiGetRowNames().
◆ SCIPlpiGetNNonz()
SCIP_EXPORT SCIP_RETCODE SCIPlpiGetNNonz | ( | SCIP_LPI * | lpi, |
int * | nnonz | ||
) |
gets the number of nonzero elements in the LP constraint matrix
- Parameters
-
lpi LP interface structure nnonz pointer to store the number of nonzeros
Definition at line 1444 of file lpi_clp.cpp.
References CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::nrngrows, NULL, SCIP_LPi::prob, SCIP_LPi::rngvarsadded, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiGetCols(), SOPLEX_SUBVERSION, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPlpiGetCols(), SCIPlpiGetNCols(), SCIPlpiGetRows(), and SCIPlpiLoadColLP().
◆ SCIPlpiGetCols()
SCIP_EXPORT 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.
- Parameters
-
lpi LP interface structure firstcol first column to get from LP lastcol last column to get from LP lb buffer to store the lower bound vector, or NULL ub buffer to store the upper bound vector, or NULL nnonz pointer to store the number of nonzero elements returned, or NULL beg buffer to store start index of each column in ind- and val-array, or NULL ind buffer to store row indices of constraint matrix entries, or NULL val buffer to store values of constraint matrix entries, or NULL
Definition at line 1465 of file lpi_clp.cpp.
References BMScopyMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, debugCheckColrang(), ensureColMem(), ensureValMem(), errorMessage(), FALSE, getASlice(), SCIP_LPi::grbmodel, SCIP_LPi::iccnt, SCIP_LPi::indarray, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MosekEnv, SCIP_LPi::ncols, NULL, SCIP_LPi::prob, QS_RETURN, QS_TESTG, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetBounds(), SCIPlpiGetNCols(), SCIPlpiGetNNonz(), SCIPlpiGetRows(), SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPlpiGetNNonz(), and SCIPlpiScaleCol().
◆ SCIPlpiGetRows()
SCIP_EXPORT 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.
- Parameters
-
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 1529 of file lpi_clp.cpp.
References BMSclearMemoryArray, BMScopyMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, debugCheckRowrang(), ensureRowMem(), ensureSidechgMem(), ensureValMem(), errorMessage(), getASlice(), SCIP_LPi::grbmodel, SCIP_LPi::indarray, SCIP_LPi::ircnt, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MosekEnv, SCIP_LPi::nrngrows, SCIP_LPi::nrows, NULL, SCIP_LPi::prob, QS_RETURN, QS_TESTG, r, 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, SCIPlpiGetColNames(), SCIPlpiGetNNonz(), SCIPlpiGetNRows(), SCIPlpiGetSides(), SCIP_LPi::senarray, SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.
Referenced by scaleFirstRow(), SCIPlpiGetCols(), and SCIPlpiScaleRow().
◆ SCIPlpiGetColNames()
SCIP_EXPORT SCIP_RETCODE SCIPlpiGetColNames | ( | SCIP_LPI * | lpi, |
int | firstcol, | ||
int | lastcol, | ||
char ** | colnames, | ||
char * | namestorage, | ||
int | namestoragesize, | ||
int * | storageleft | ||
) |
gets column names
- Parameters
-
lpi LP interface structure firstcol first column to get name from LP lastcol last column to get name from LP colnames pointers to column names (of size at least lastcol-firstcol+1) 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 1590 of file lpi_clp.cpp.
References BMSallocMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::linear_program, SCIP_LPi::messagehdlr, MosekEnv, SCIP_LPi::ncols, NULL, SCIP_LPi::prob, QS_ERROR, SCIP_ALLOC, SCIP_LPERROR, SCIP_NOTIMPLEMENTED, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetRowNames(), SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPlpiGetRows().
◆ SCIPlpiGetRowNames()
SCIP_EXPORT SCIP_RETCODE SCIPlpiGetRowNames | ( | SCIP_LPI * | lpi, |
int | firstrow, | ||
int | lastrow, | ||
char ** | rownames, | ||
char * | namestorage, | ||
int | namestoragesize, | ||
int * | storageleft | ||
) |
gets row names
- Parameters
-
lpi LP interface structure firstrow first row to get name from LP lastrow last row to get name from LP rownames pointers to row names (of size at least lastrow-firstrow+1) 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 1614 of file lpi_clp.cpp.
References BMSallocMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::linear_program, SCIP_LPi::messagehdlr, MosekEnv, SCIP_LPi::nrows, NULL, SCIP_LPi::prob, QS_ERROR, SCIP_ALLOC, SCIP_LPERROR, SCIP_NOTIMPLEMENTED, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetObjsen(), SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPlpiGetColNames().
◆ SCIPlpiGetObj()
SCIP_EXPORT SCIP_RETCODE SCIPlpiGetObj | ( | SCIP_LPI * | lpi, |
int | firstcol, | ||
int | lastcol, | ||
SCIP_Real * | vals | ||
) |
gets objective coefficients from LP problem object
- Parameters
-
lpi LP interface structure firstcol first column to get objective coefficient for lastcol last column to get objective coefficient for vals array to store objective coefficients
Definition at line 1677 of file lpi_clp.cpp.
References BMScopyMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureColMem(), errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::iccnt, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiGetBounds(), SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by lpFlushChgCols(), lpLexDualSimplex(), SCIPlpiGetObjsen(), SCIPlpiScaleCol(), and SCIPlpMarkFlushed().
◆ SCIPlpiGetBounds()
SCIP_EXPORT SCIP_RETCODE SCIPlpiGetBounds | ( | SCIP_LPI * | lpi, |
int | firstcol, | ||
int | lastcol, | ||
SCIP_Real * | lbs, | ||
SCIP_Real * | ubs | ||
) |
gets current bounds from LP problem object
- Parameters
-
lpi LP interface structure firstcol first column to get 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 1700 of file lpi_clp.cpp.
References BMScopyMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureColMem(), errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::iccnt, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiGetNCols(), SCIPlpiGetSides(), SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by checkLPBoundsClean(), lpFlushChgCols(), lpLexDualSimplex(), SCIPlpiGetCols(), SCIPlpiGetObj(), and SCIPlpMarkFlushed().
◆ SCIPlpiGetSides()
SCIP_EXPORT SCIP_RETCODE SCIPlpiGetSides | ( | SCIP_LPI * | lpi, |
int | firstrow, | ||
int | lastrow, | ||
SCIP_Real * | lhss, | ||
SCIP_Real * | rhss | ||
) |
gets current row sides from LP problem object
- Parameters
-
lpi LP interface structure firstrow first row to get sides for lastrow last row to get sides for lhss array to store left hand side values, or NULL rhss array to store right hand side values, or NULL
Definition at line 1731 of file lpi_clp.cpp.
References BMSclearMemoryArray, BMScopyMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureRowMem(), ensureSidechgMem(), errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::ircnt, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, NULL, SCIP_LPi::prob, QS_RETURN, QS_TESTG, reconvertSides(), SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetCoef(), SCIP_LPi::senarray, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by lpFlushChgRows(), lpLexDualSimplex(), SCIPlpiGetBounds(), SCIPlpiGetRows(), SCIPlpiScaleRow(), and SCIPlpMarkFlushed().
◆ SCIPlpiGetCoef()
SCIP_EXPORT SCIP_RETCODE SCIPlpiGetCoef | ( | SCIP_LPI * | lpi, |
int | row, | ||
int | col, | ||
SCIP_Real * | val | ||
) |
gets a single coefficient
- Parameters
-
lpi LP interface structure row row number of coefficient col column number of coefficient val pointer to store the value of the coefficient
Definition at line 1762 of file lpi_clp.cpp.
References CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIP_LPi::spx, spxSolve(), SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPdummyDebugMethodForSun(), SCIPlpiGetSides(), and updateObjUpperbound().
◆ SCIPlpiSolvePrimal()
SCIP_EXPORT SCIP_RETCODE SCIPlpiSolvePrimal | ( | SCIP_LPI * | lpi | ) |
calls primal simplex to solve the LP
calls primal simplex to solve the LP
- Parameters
-
lpi LP interface structure
Definition at line 1796 of file lpi_clp.cpp.
References addRangeVars(), SCIP_LPi::algo, 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::instabilityignored, invalidateSolution(), SCIP_LPi::iterations, SCIP_LPi::lastalgo, SCIP_LPi::lastalgorithm, SCIP_LPi::linear_program, LPI_QSOPT_ALGO_PRIMAL, SCIP_LPi::lpid, lpiSolve(), SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, MSK_getsolutionstatus(), SCIP_LPi::niterations, SCIP_LPi::nrngrows, NULL, optimizecount, SCIP_LPi::parameters, presolve(), SCIP_LPi::prob, QS_CONDRET, SCIP_LPi::rngvarsadded, SCIP_LPi::rowrepswitch, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_LPERROR, SCIP_NOMEMORY, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_Real, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPlpiSolveDual(), SCIPlpiWriteLP(), SCIPlpiWriteState(), SCIP_LPi::setFactorizationFrequency, setIntParam(), 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(), handle_singular(), lpLexDualSimplex(), lpPrimalSimplex(), polyscip::Polyscip::printResults(), SCIP_DECL_PARAMCHGD(), SCIPcomputeConvexEnvelopeFacet(), and spxSolve().
◆ SCIPlpiSolveDual()
SCIP_EXPORT SCIP_RETCODE SCIPlpiSolveDual | ( | SCIP_LPI * | lpi | ) |
calls dual simplex to solve the LP
calls dual simplex to solve the LP
- Parameters
-
lpi LP interface structure
Definition at line 1871 of file lpi_clp.cpp.
References addRangeVars(), SCIP_LPi::algo, 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(), getIntParam(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::grbparam, SCIP_LPi::instabilityignored, invalidateSolution(), SCIP_LPi::iterations, SCIP_LPi::lastalgo, SCIP_LPi::lastalgorithm, SCIP_LPi::linear_program, LPI_QSOPT_ALGO_DUAL, SCIP_LPi::lpid, lpiSolve(), SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, MSK_getsolutionstatus(), SCIP_LPi::niterations, SCIP_LPi::nrngrows, NULL, optimizecount, SCIP_LPi::parameters, presolve(), SCIP_LPi::prob, QS_CONDRET, SCIP_LPi::rngvarsadded, SCIP_LPi::rowrepswitch, SCIP_Bool, SCIP_CALL, SCIP_LPERROR, SCIP_NOMEMORY, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_Real, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPlpiGetObjval(), SCIPlpiIsObjlimExc(), SCIPlpiSolveBarrier(), SCIPlpiWriteLP(), SCIPlpiWriteState(), setDblParam(), SCIP_LPi::setFactorizationFrequency, setIntParam(), 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(), computeRelIntPoint(), conflictAnalyzeLP(), lpDualSimplex(), lpiStrongbranch(), lpiStrongbranchIntegral(), lpLexDualSimplex(), runBoundHeuristic(), SCIPcomputeConvexEnvelopeFacet(), SCIPconflictAnalyzeStrongbranch(), SCIPlpiSolveBarrier(), SCIPlpiSolvePrimal(), and SCIPlpiStrongbranch().
◆ SCIPlpiSolveBarrier()
SCIP_EXPORT SCIP_RETCODE SCIPlpiSolveBarrier | ( | SCIP_LPI * | lpi, |
SCIP_Bool | crossover | ||
) |
calls barrier or interior point algorithm to solve the LP with crossover to simplex basis
- Parameters
-
lpi LP interface structure crossover perform crossover
Definition at line 1948 of file lpi_clp.cpp.
References addRangeVars(), 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::instabilityignored, 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, MosekEnv, MSK_getsolutionstatus(), SCIP_LPi::nrngrows, NULL, 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, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPlpiSolveDual(), SCIPlpiStartStrongbranch(), SCIPmessagePrintWarning(), setIntParam(), 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(), SCIPlpiSolveDual(), and SolveWSimplex().
◆ SCIPlpiStartStrongbranch()
SCIP_EXPORT SCIP_RETCODE SCIPlpiStartStrongbranch | ( | SCIP_LPI * | lpi | ) |
start strong branching - call before any strong branching
start strong branching - call before any strongbranching
start strong branching
- Parameters
-
lpi LP interface structure
Definition at line 1992 of file lpi_clp.cpp.
References SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::linear_program, MosekEnv, NULL, SCIP_LPi::prob, SCIP_OKAY, SCIPlpiEndStrongbranch(), SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, updateScaledLP(), and SCIP_LPi::xprslp.
Referenced by SCIPconflictAnalyzeStrongbranch(), SCIPlpiSolveBarrier(), and SCIPlpStartStrongbranch().
◆ SCIPlpiEndStrongbranch()
SCIP_EXPORT SCIP_RETCODE SCIPlpiEndStrongbranch | ( | SCIP_LPI * | lpi | ) |
end strong branching - call after any strong branching
end strong branching - call after any strongbranching
end strong branching
- Parameters
-
lpi LP interface structure
Definition at line 2004 of file lpi_clp.cpp.
References SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::linear_program, lpiStrongbranch(), NULL, SCIP_LPi::prob, SCIP_OKAY, SCIP_LPi::solver, SCIP_LPi::spx, and SCIP_LPi::xprslp.
Referenced by SCIPconflictAnalyzeStrongbranch(), SCIPlpEndStrongbranch(), and SCIPlpiStartStrongbranch().
◆ SCIPlpiStrongbranchFrac()
SCIP_EXPORT 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
- Note
- last solve call must have been either simplex or barrier with crossover or base must have been set manually
- Parameters
-
lpi LP interface structure col column to apply strong branching on psol fractional current primal solution value of column itlim iteration limit for strong branchings down stores dual bound after branching column down up stores dual bound after branching column up downvalid stores whether the returned down value is a valid dual bound; otherwise, it can only be used as an estimate value upvalid stores whether the returned up value is a valid dual bound; otherwise, it can only be used as an estimate value iter stores total number of strong branching iterations, or -1; may be NULL
Definition at line 2269 of file lpi_clp.cpp.
References 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, 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, SCIPlpiStrongbranch(), SCIPlpiStrongbranchesFrac(), setIntParam(), setParameterValues(), strongbranch(), and TRUE.
Referenced by lpiStrongbranch(), and SCIPcolGetStrongbranch().
◆ SCIPlpiStrongbranchesFrac()
SCIP_EXPORT 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
- Note
- last solve call must have been either simplex or barrier with crossover or base must have been set manually
- Parameters
-
lpi LP interface structure cols columns to apply strong branching on ncols number of columns psols fractional current primal solution values of columns itlim iteration limit for strong branchings down stores dual bounds after branching columns down up stores dual bounds after branching columns up downvalid stores whether the returned down values are valid dual bounds; otherwise, they can only be used as an estimate values upvalid stores whether the returned up values are a valid dual bounds; otherwise, they can only be used as an estimate values iter stores total number of strong branching iterations, or -1; may be NULL
Definition at line 2290 of file lpi_clp.cpp.
References 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::linear_program, lpiStrongbranch(), lpiStrongbranches(), SCIP_LPi::messagehdlr, SCIP_LPi::ncols, NULL, SCIP_LPi::previt, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_LPERROR, SCIP_NOTIMPLEMENTED, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiStrongbranch(), SCIPlpiStrongbranchInt(), setIntParam(), setParameterValues(), and TRUE.
Referenced by SCIPcolGetStrongbranches(), and SCIPlpiStrongbranchFrac().
◆ SCIPlpiStrongbranchInt()
SCIP_EXPORT 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
- Note
- last solve call must have been either simplex or barrier with crossover or base must have been set manually
- Parameters
-
lpi LP interface structure col column to apply strong branching on psol current integral primal solution value of column itlim iteration limit for strong branchings down stores dual bound after branching column down up stores dual bound after branching column up downvalid stores whether the returned down value is a valid dual bound; otherwise, it can only be used as an estimate value upvalid stores whether the returned up value is a valid dual bound; otherwise, it can only be used as an estimate value iter stores total number of strong branching iterations, or -1; may be NULL
Definition at line 2315 of file lpi_clp.cpp.
References checkRangeInfo(), SCIP_LPi::cpxlp, EPSISINT, errorMessage(), FEASTOL, SCIP_LPi::feastol, SCIP_LPi::linear_program, lpiStrongbranch(), lpiStrongbranchIntegral(), NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_Real, SCIPdebugMessage, SCIPlpiStrongbranch(), SCIPlpiStrongbranchesInt(), strongbranch(), and TRUE.
Referenced by SCIPcolGetStrongbranch(), and SCIPlpiStrongbranchesFrac().
◆ SCIPlpiStrongbranchesInt()
SCIP_EXPORT 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
- Note
- last solve call must have been either simplex or barrier with crossover or base must have been set manually
- Parameters
-
lpi LP interface structure cols columns to apply strong branching on ncols number of columns psols current integral primal solution values of columns itlim iteration limit for strong branchings down stores dual bounds after branching columns down up stores dual bounds after branching columns up downvalid stores whether the returned down values are valid dual bounds; otherwise, they can only be used as an estimate values upvalid stores whether the returned up values are a valid dual bounds; otherwise, they can only be used as an estimate values iter stores total number of strong branching iterations, or -1; may be NULL
Definition at line 2336 of file lpi_clp.cpp.
References checkRangeInfo(), SCIP_LPi::cpxlp, EPSISINT, errorMessage(), FEASTOL, SCIP_LPi::feastol, SCIP_LPi::linear_program, lpiStrongbranch(), lpiStrongbranches(), lpiStrongbranchIntegral(), SCIP_LPi::ncols, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_Bool, SCIP_CALL, SCIP_LPERROR, SCIP_NOTIMPLEMENTED, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_Real, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiStrongbranch(), SCIPlpiWasSolved(), and TRUE.
Referenced by SCIPcolGetStrongbranches(), and SCIPlpiStrongbranchInt().
◆ SCIPlpiWasSolved()
SCIP_EXPORT SCIP_Bool SCIPlpiWasSolved | ( | SCIP_LPI * | lpi | ) |
returns whether a solve method was called after the last modification of the LP
- Parameters
-
lpi LP interface structure
Definition at line 2372 of file lpi_clp.cpp.
References SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, SCIP_LPi::lp_modified_since_last_solve, NULL, SCIP_LPi::prob, SCIP_Bool, SCIPlpiGetSolFeasibility(), SCIP_LPi::solstat, and SCIP_LPi::solved.
Referenced by performStrongbranchWithPropagation(), SCIPconflictAnalyzeLP(), and SCIPlpiStrongbranchesInt().
◆ SCIPlpiGetSolFeasibility()
SCIP_EXPORT 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).
- Parameters
-
lpi LP interface structure primalfeasible pointer to store primal feasibility status dualfeasible pointer to store dual feasibility status
Definition at line 2391 of file lpi_clp.cpp.
References SCIP_LPi::algo, 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, MosekEnv, MSK_getsolutionstatus(), NULL, SCIP_LPi::prob, SCIP_Bool, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiExistsPrimalRay(), SCIPlpiIsDualFeasible(), SCIPlpiIsPrimalFeasible(), SCIP_LPi::solstat, SCIP_LPi::solver, SUMINFEASBOUND, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.
Referenced by lpAlgorithm(), SCIPlpiStrongbranch(), and SCIPlpiWasSolved().
◆ SCIPlpiExistsPrimalRay()
SCIP_EXPORT SCIP_Bool SCIPlpiExistsPrimalRay | ( | SCIP_LPI * | lpi | ) |
returns TRUE iff LP is proven to have a primal unbounded ray (but not necessary a primal feasible point); this does not necessarily mean, that the solver knows and can return the primal ray
- Parameters
-
lpi LP interface structure
Definition at line 2436 of file lpi_clp.cpp.
References SCIP_LPi::clp, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbmodel, SCIP_LPi::lpid, MosekEnv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIP_Bool, SCIPdebugMessage, SCIPlpiHasPrimalRay(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by checkAltLPInfeasible(), lpSolve(), SCIPlpiGetSolFeasibility(), SCIPlpiIsDualInfeasible(), and SCIPlpiStrongbranch().
◆ SCIPlpiHasPrimalRay()
SCIP_EXPORT SCIP_Bool SCIPlpiHasPrimalRay | ( | SCIP_LPI * | lpi | ) |
returns TRUE iff LP is proven to have a primal unbounded ray (but not necessary a primal feasible point), and the solver knows and can return the primal ray
- Parameters
-
lpi LP interface structure
Definition at line 2454 of file lpi_clp.cpp.
References ABORT_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MosekEnv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIP_Bool, SCIPABORT, SCIPdebugMessage, SCIPlpiIsPrimalUnbounded(), SCIP_LPi::solmethod, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPlpGetPrimalRay(), SCIPlpGetUnboundedSol(), and SCIPlpiExistsPrimalRay().
◆ SCIPlpiIsPrimalUnbounded()
SCIP_EXPORT SCIP_Bool SCIPlpiIsPrimalUnbounded | ( | SCIP_LPI * | lpi | ) |
returns TRUE iff LP is proven to be primal unbounded
returns TRUE iff LP is proven to be primal feasible and unbounded
- Parameters
-
lpi LP interface structure
Definition at line 2474 of file lpi_clp.cpp.
References ABORT_ZERO, SCIP_LPi::algo, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::lastalgo, LPI_QSOPT_ALGO_PRIMAL, MosekEnv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIP_Bool, SCIPABORT, SCIPdebugMessage, SCIPlpiIsPrimalInfeasible(), SCIP_LPi::solmethod, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by checkAltLPInfeasible(), lpSolve(), and SCIPlpiHasPrimalRay().
◆ SCIPlpiIsPrimalInfeasible()
SCIP_EXPORT SCIP_Bool SCIPlpiIsPrimalInfeasible | ( | SCIP_LPI * | lpi | ) |
returns TRUE iff LP is proven to be primal infeasible
- Parameters
-
lpi LP interface structure
Definition at line 2488 of file lpi_clp.cpp.
References ABORT_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, SCIP_LPi::grbmodel, MosekEnv, NULL, SCIP_LPi::prob, SCIP_Bool, SCIPdebugMessage, SCIPlpiExistsDualRay(), SCIPlpiIsPrimalFeasible(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by checkAltLPInfeasible(), conflictAnalyzeLP(), getFarkasProof(), lpiStrongbranch(), lpiStrongbranchIntegral(), lpSolve(), polyscip::Polyscip::printResults(), runBoundHeuristic(), SCIP_DECL_PARAMCHGD(), SCIPconflictAnalyzeLP(), and SCIPlpiIsPrimalUnbounded().
◆ SCIPlpiIsPrimalFeasible()
SCIP_EXPORT SCIP_Bool SCIPlpiIsPrimalFeasible | ( | SCIP_LPI * | lpi | ) |
returns TRUE iff LP is proven to be primal feasible
- Parameters
-
lpi LP interface structure
Definition at line 2507 of file lpi_clp.cpp.
References ABORT_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, eps, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::lastalgo, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MosekEnv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIP_Bool, SCIPABORT, SCIPdebugMessage, SCIPlpiExistsDualRay(), 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(), polyscip::Polyscip::printResults(), SCIPlpiGetSolFeasibility(), SCIPlpiIsOptimal(), and SCIPlpiIsPrimalInfeasible().
◆ SCIPlpiExistsDualRay()
SCIP_EXPORT SCIP_Bool SCIPlpiExistsDualRay | ( | SCIP_LPI * | lpi | ) |
returns TRUE iff LP is proven to have a dual unbounded ray (but not necessary a dual feasible point); this does not necessarily mean, that the solver knows and can return the dual ray
- Parameters
-
lpi LP interface structure
Definition at line 2523 of file lpi_clp.cpp.
References SCIP_LPi::algo, SCIP_LPi::clp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbmodel, LPI_QSOPT_ALGO_DUAL, SCIP_LPi::lpid, MosekEnv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIP_Bool, SCIPdebugMessage, SCIPlpiHasDualRay(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPlpiGetState(), SCIPlpiIsPrimalFeasible(), SCIPlpiIsPrimalInfeasible(), and SCIPlpiStrongbranch().
◆ SCIPlpiHasDualRay()
SCIP_EXPORT SCIP_Bool SCIPlpiHasDualRay | ( | SCIP_LPI * | lpi | ) |
returns TRUE iff LP is proven to have a dual unbounded ray (but not necessary a dual feasible point), and the solver knows and can return the dual ray
- Parameters
-
lpi LP interface structure
Definition at line 2542 of file lpi_clp.cpp.
References ABORT_ZERO, SCIP_LPi::algo, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, LPI_QSOPT_ALGO_DUAL, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MosekEnv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIP_Bool, SCIPABORT, SCIPdebugMessage, SCIPlpiIsDualUnbounded(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.
Referenced by getFarkasProof(), lpSolve(), SCIPlpiExistsDualRay(), and SCIPlpSolveAndEval().
◆ SCIPlpiIsDualUnbounded()
SCIP_EXPORT SCIP_Bool SCIPlpiIsDualUnbounded | ( | SCIP_LPI * | lpi | ) |
returns TRUE iff LP is proven to be dual unbounded
returns TRUE iff LP is dual unbounded
- Parameters
-
lpi LP interface structure
Definition at line 2564 of file lpi_clp.cpp.
References ABORT_ZERO, SCIP_LPi::algo, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, SCIP_LPi::grbenv, SCIP_LPi::grbmodel, LPI_QSOPT_ALGO_DUAL, MosekEnv, NULL, SCIP_LPi::prob, SCIP_Bool, SCIPABORT, SCIPdebugMessage, SCIPlpiIsDualInfeasible(), SCIP_LPi::solmethod, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPlpiHasDualRay().
◆ SCIPlpiIsDualInfeasible()
SCIP_EXPORT SCIP_Bool SCIPlpiIsDualInfeasible | ( | SCIP_LPI * | lpi | ) |
returns TRUE iff LP is proven to be dual infeasible
returns TRUE iff LP is dual infeasible
- Parameters
-
lpi LP interface structure
Definition at line 2581 of file lpi_clp.cpp.
References ABORT_ZERO, SCIP_LPi::algo, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, SCIP_LPi::grbmodel, LPI_QSOPT_ALGO_DUAL, MosekEnv, NULL, SCIP_LPi::prob, SCIP_Bool, SCIPdebugMessage, SCIPlpiExistsPrimalRay(), SCIPlpiIsDualFeasible(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPlpiIsDualUnbounded().
◆ SCIPlpiIsDualFeasible()
SCIP_EXPORT SCIP_Bool SCIPlpiIsDualFeasible | ( | SCIP_LPI * | lpi | ) |
returns TRUE iff LP is proven to be dual feasible
- Parameters
-
lpi LP interface structure
Definition at line 2595 of file lpi_clp.cpp.
References ABORT_ZERO, SCIP_LPi::algo, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, LPI_QSOPT_ALGO_DUAL, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MosekEnv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIP_Bool, SCIPABORT, SCIPdebugMessage, SCIPlpiIsOptimal(), 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(), conflictAnalyzeLP(), getFarkasProof(), lpSolve(), performStrongbranchWithPropagation(), runBoundHeuristic(), SCIPlpiGetSolFeasibility(), SCIPlpiIsDualInfeasible(), and SCIPlpiIsOptimal().
◆ SCIPlpiIsOptimal()
SCIP_EXPORT SCIP_Bool SCIPlpiIsOptimal | ( | SCIP_LPI * | lpi | ) |
returns TRUE iff LP was solved to optimality
- Parameters
-
lpi LP interface structure
Definition at line 2609 of file lpi_clp.cpp.
References SCIP_LPi::clp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbmodel, SCIP_LPi::lpid, MosekEnv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIP_Bool, SCIPdebugMessage, SCIPlpiIsDualFeasible(), SCIPlpiIsObjlimExc(), SCIPlpiIsPrimalFeasible(), SCIPlpiIsStable(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, XPRS_LP_OPTIMAL_SCALEDINFEAS, and SCIP_LPi::xprslp.
Referenced by checkAltLPInfeasible(), computeRelIntPoint(), conflictAnalyzeLP(), lpiStrongbranch(), lpiStrongbranchIntegral(), lpLexDualSimplex(), lpSolve(), SCIPlpiIsDualFeasible(), and SCIPlpiIsStable().
◆ SCIPlpiIsStable()
SCIP_EXPORT SCIP_Bool SCIPlpiIsStable | ( | SCIP_LPI * | lpi | ) |
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.
- Parameters
-
lpi LP interface structure
Definition at line 2633 of file lpi_clp.cpp.
References ABORT_ZERO, SCIP_LPi::checkcondition, SCIP_LPi::clp, SCIP_LPi::conditionlimit, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ERROR, errorMessageAbort(), FALSE, SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::lastalgorithm, MosekEnv, NULL, SCIP_LPi::prob, SCIP_Bool, SCIP_INVALID, SCIP_LPSOLQUALITY_ESTIMCONDITION, SCIP_OKAY, SCIP_Real, SCIPABORT, SCIPdebugMessage, SCIPlpiGetRealSolQuality(), 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(), lpSolveStable(), SCIPlpiIsOptimal(), and SCIPlpiStrongbranch().
◆ SCIPlpiIsObjlimExc()
SCIP_EXPORT SCIP_Bool SCIPlpiIsObjlimExc | ( | SCIP_LPI * | lpi | ) |
returns TRUE iff the objective limit was reached
- Parameters
-
lpi LP interface structure
Definition at line 2676 of file lpi_clp.cpp.
References SCIP_LPi::clp, errorMessageAbort(), FALSE, SCIP_LPi::grbmodel, MosekEnv, NULL, SCIP_LPi::prob, SCIP_Bool, SCIPdebugMessage, SCIPlpiIsIterlimExc(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::termcode, TRUE, and SCIP_LPi::xprslp.
Referenced by conflictAnalyzeLP(), getFarkasProof(), lpiStrongbranch(), lpiStrongbranchIntegral(), lpSolve(), runBoundHeuristic(), SCIPlpiIsOptimal(), SCIPlpiIsStable(), SCIPlpiSolveDual(), and SCIPlpSolveAndEval().
◆ SCIPlpiIsIterlimExc()
SCIP_EXPORT SCIP_Bool SCIPlpiIsIterlimExc | ( | SCIP_LPI * | lpi | ) |
returns TRUE iff the iteration limit was reached
- Parameters
-
lpi LP interface structure
Definition at line 2706 of file lpi_clp.cpp.
References ABORT_ZERO, SCIP_LPi::clp, errorMessageAbort(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::messagehdlr, MosekEnv, SCIP_LPi::niterations, NULL, SCIP_LPi::parameters, SCIP_LPi::prob, SCIP_Bool, SCIPdebugMessage, SCIPlpiIsTimelimExc(), 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(), SCIPlpiIsObjlimExc(), and SCIPlpiIsStable().
◆ SCIPlpiIsTimelimExc()
SCIP_EXPORT SCIP_Bool SCIPlpiIsTimelimExc | ( | SCIP_LPI * | lpi | ) |
returns TRUE iff the time limit was reached
- Parameters
-
lpi LP interface structure
Definition at line 2722 of file lpi_clp.cpp.
References ABORT_ZERO, SCIP_LPi::clp, errorMessageAbort(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::lp_time_limit_was_reached, SCIP_LPi::messagehdlr, MosekEnv, NULL, SCIP_LPi::prob, SCIPdebugMessage, SCIPlpiGetInternalStatus(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::termcode, TRUE, and SCIP_LPi::xprslp.
Referenced by computeRelIntPoint(), lpSolve(), SCIPlpiIsIterlimExc(), and SCIPlpiIsStable().
◆ SCIPlpiGetInternalStatus()
SCIP_EXPORT int SCIPlpiGetInternalStatus | ( | SCIP_LPI * | lpi | ) |
returns the internal solution status of the solver
- Parameters
-
lpi LP interface structure
Definition at line 2738 of file lpi_clp.cpp.
References SCIP_LPi::clp, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbmodel, SCIP_LPi::lpid, MosekEnv, NULL, SCIP_LPi::prob, SCIP_Bool, SCIP_OKAY, SCIPdebugMessage, SCIPlpiIgnoreInstability(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by checkAltLPInfeasible(), lpSolve(), and SCIPlpiIsTimelimExc().
◆ SCIPlpiIgnoreInstability()
SCIP_EXPORT SCIP_RETCODE SCIPlpiIgnoreInstability | ( | SCIP_LPI * | lpi, |
SCIP_Bool * | success | ||
) |
tries to reset the internal status of the LP solver in order to ignore an instability of the last solving call
- Parameters
-
lpi LP interface structure success pointer to store, whether the instability could be ignored
Definition at line 1638 of file lpi_clp.cpp.
References SCIP_LPi::clp, SCIP_LPi::cpxlp, errorMessage(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::instabilityignored, SCIP_LPi::lpid, MosekEnv, NULL, SCIP_LPi::prob, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_Real, SCIPdebugMessage, SCIPlpiGetObjval(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.
Referenced by ignoreInstability(), and SCIPlpiGetInternalStatus().
◆ SCIPlpiGetObjval()
SCIP_EXPORT SCIP_RETCODE SCIPlpiGetObjval | ( | SCIP_LPI * | lpi, |
SCIP_Real * | objval | ||
) |
gets objective value of solution
gets objective value of solution
- Note
- if the solution status is iteration limit reached (GRB_ITERATION_LIMIT), the objective value was not computed
- Parameters
-
lpi LP interface structure objval stores the objective value
Definition at line 2752 of file lpi_clp.cpp.
References CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), getDblParam(), SCIP_LPi::grbmodel, SCIP_LPi::lastsolvetype, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_OBJSEN_MINIMIZE, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_Real, SCIPdebugMessage, SCIPlpiGetObjsen(), SCIPlpiGetSol(), SCIPlpiInfinity(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by conflictAnalyzeLP(), getDualProof(), lpiStrongbranch(), lpiStrongbranchIntegral(), lpSolve(), performStrongbranchWithPropagation(), runBoundHeuristic(), SCIPlpiGetSol(), SCIPlpiIgnoreInstability(), SCIPlpiSolveDual(), and SCIPlpSolveAndEval().
◆ SCIPlpiGetSol()
SCIP_EXPORT 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.
- Parameters
-
lpi LP interface structure objval stores the objective value, may be NULL if not needed primsol primal solution vector, may be NULL if not needed dualsol dual solution vector, may be NULL if not needed activity row activity vector, may be NULL if not needed redcost reduced cost vector, may be NULL if not needed
Definition at line 2774 of file lpi_clp.cpp.
References BMSallocMemoryArray, BMScopyMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureRowMem(), ensureSidechgMem(), ensureTabMem(), errorMessage(), fabs(), FEASTOL, SCIP_LPi::grbmodel, 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, MosekEnv, MSK_getsolutionstatus(), SCIP_LPi::ncols, SCIP_LPi::nrngrows, SCIP_LPi::nrows, NULL, 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, SCIP_Real, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPlpiGetObjval(), SCIPlpiGetPrimalRay(), SCIPmessagePrintWarning(), SCIP_LPi::senarray, SCIP_LPi::solstat, SCIP_LPi::solver, SolveWSimplex(), SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.
Referenced by BENDERS_CUTORACLE(), computeRelIntPoint(), extendToCover(), getDualProof(), lpLexDualSimplex(), SCIPcomputeConvexEnvelopeFacet(), SCIPlpGetSol(), SCIPlpGetUnboundedSol(), and SCIPlpiGetObjval().
◆ SCIPlpiGetPrimalRay()
SCIP_EXPORT SCIP_RETCODE SCIPlpiGetPrimalRay | ( | SCIP_LPI * | lpi, |
SCIP_Real * | ray | ||
) |
gets primal ray for unbounded LPs
- Parameters
-
lpi LP interface structure ray primal ray
Definition at line 2818 of file lpi_clp.cpp.
References BMScopyMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::lastsolvetype, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, NULL, SCIP_LPi::prob, SCIP_LPi::scaler, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_Real, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetDualfarkas(), SCIPlpiGetNCols(), SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.
Referenced by SCIPlpGetPrimalRay(), SCIPlpGetUnboundedSol(), and SCIPlpiGetSol().
◆ SCIPlpiGetDualfarkas()
SCIP_EXPORT SCIP_RETCODE SCIPlpiGetDualfarkas | ( | SCIP_LPI * | lpi, |
SCIP_Real * | dualfarkas | ||
) |
gets dual Farkas proof for infeasibility
gets dual farkas proof for infeasibility
- Note
- The Farkas proof might be numerically questionable which is indicated by "hasRay" use SCIPlpiHasDualRay() to check that!
- Parameters
-
lpi LP interface structure dualfarkas dual Farkas row multipliers
Definition at line 2843 of file lpi_clp.cpp.
References CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), fabs(), SCIP_LPi::feastol, SCIP_LPi::grbmodel, SCIP_LPi::lastsolvetype, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_LPi::scaler, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiGetIterations(), SCIPlpiGetNRows(), SCIPlpiInfinity(), SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.
Referenced by getFarkasProof(), SCIPlpGetDualfarkas(), and SCIPlpiGetPrimalRay().
◆ SCIPlpiGetIterations()
SCIP_EXPORT SCIP_RETCODE SCIPlpiGetIterations | ( | SCIP_LPI * | lpi, |
int * | iterations | ||
) |
gets the number of LP iterations of the last solve call
- Parameters
-
lpi LP interface structure iterations pointer to store the number of iterations of the last solve call
Definition at line 2907 of file lpi_clp.cpp.
References SCIP_LPi::clp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::iterations, SCIP_LPi::itercount, SCIP_LPi::lpid, MosekEnv, SCIP_LPi::niterations, NULL, SCIP_LPi::previt, SCIP_LPi::prob, QS_CONDRET, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiGetRealSolQuality(), SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by conflictAnalyzeLP(), lpiStrongbranch(), lpiStrongbranchIntegral(), runBoundHeuristic(), SCIPconflictAnalyzeStrongbranch(), SCIPlpGetIterations(), and SCIPlpiGetDualfarkas().
◆ SCIPlpiGetRealSolQuality()
SCIP_EXPORT 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.
- Parameters
-
lpi LP interface structure qualityindicator indicates which quality should be returned quality pointer to store quality number
Definition at line 2926 of file lpi_clp.cpp.
References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, getRedCostEst(), SCIP_LPi::grbmodel, SCIP_LPi::messagehdlr, MosekEnv, NULL, SCIP_INVALID, SCIP_INVALIDDATA, SCIP_LPSOLQUALITY_ESTIMCONDITION, SCIP_LPSOLQUALITY_EXACTCONDITION, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetBase(), SCIP_LPi::solver, SCIP_LPi::spx, and SCIP_LPi::task.
Referenced by checkAltLPInfeasible(), SCIP_DECL_DISPOUTPUT(), SCIPlpiGetIterations(), SCIPlpiIsStable(), and SCIPprintLPSolutionQuality().
◆ SCIPlpiGetBase()
SCIP_EXPORT 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
- Note
- last solve call must have been either simplex or barrier with crossover or base must have been set manually
- Parameters
-
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 2953 of file lpi_clp.cpp.
References 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::ibas, SCIP_LPi::isen, SCIP_LPi::lastsolvetype, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::ncols, SCIP_LPi::nrngrows, SCIP_LPi::nrows, 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, SCIP_Real, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPlpiSetBase(), 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(), SCIPlpiGetRealSolQuality(), and SCIPlpiGetState().
◆ SCIPlpiSetBase()
SCIP_EXPORT SCIP_RETCODE SCIPlpiSetBase | ( | SCIP_LPI * | lpi, |
const int * | cstat, | ||
const int * | rstat | ||
) |
sets current basis status for columns and rows
- Parameters
-
lpi LP interface structure cstat array with column basis status rstat array with row basis status
Definition at line 3053 of file lpi_clp.cpp.
References 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(), ensureStateMem(), ensureTabMem(), EPSEQ, errorMessage(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::ibas, invalidateSolution(), SCIP_LPi::isen, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MosekEnv, SCIP_LPi::ncols, SCIP_LPi::nrngrows, SCIP_LPi::nrows, 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, SCIPlpiGetBasisInd(), 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(), SCIPlpiGetBase(), and SCIPlpiSetState().
◆ SCIPlpiGetBasisInd()
SCIP_EXPORT SCIP_RETCODE SCIPlpiGetBasisInd | ( | SCIP_LPI * | lpi, |
int * | bind | ||
) |
returns the indices of the basic columns and rows; basic column n gives value n, basic row m gives value -1-m
- Parameters
-
lpi LP interface structure bind pointer to store basis indices ready to keep number of rows entries
Definition at line 3175 of file lpi_clp.cpp.
References BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, errorMessage(), SCIP_LPi::factorization, SCIP_LPi::grbmodel, handle_singular(), SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::ncols, SCIP_LPi::nrows, NULL, SCIP_LPi::prob, QS_CONDRET, r, 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_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiGetBInvRow(), SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPmessagePrintWarning(), setIntParam(), setParameterValues(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.
Referenced by lpiGetBInvVec(), SCIPlpGetBasisInd(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvARow(), SCIPlpiGetBInvCol(), SCIPlpiGetBInvRow(), and SCIPlpiSetBase().
◆ SCIPlpiGetBInvRow()
SCIP_EXPORT SCIP_RETCODE SCIPlpiGetBInvRow | ( | SCIP_LPI * | lpi, |
int | row, | ||
SCIP_Real * | coef, | ||
int * | inds, | ||
int * | ninds | ||
) |
get row of inverse basis matrix B^-1
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get row of inverse basis matrix B^-1
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get row of inverse basis matrix B^-1
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get row of inverse basis matrix B^-1
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get row of inverse basis matrix B^-1
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get row of inverse basis matrix B^-1
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
- Parameters
-
lpi LP interface structure 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 3227 of file lpi_clp.cpp.
References b, BMSallocMemoryArray, BMSclearMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, ensureValMem(), eps, errorMessage(), fabs(), SCIP_LPi::factorization, SCIP_LPi::grbmodel, handle_singular(), SCIP_LPi::indarray, SCIP_LPi::linear_program, SCIP_LPi::lpid, lpiGetBInvVec(), SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::nrows, NULL, SCIP_LPi::parameters, SCIP_LPi::prob, QS_CONDRET, r, restoreLPData(), SCIP_LPi::scaler, SCIP_ALLOC, SCIP_CALL, SCIP_CALL_QUIET, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_Real, SCIPdebugMessage, SCIPlpiGetBasisInd(), SCIPlpiGetBInvCol(), SCIPlpiGetNRows(), 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(), SCIPlpiGetBasisInd(), and SCIPlpiGetBInvARow().
◆ SCIPlpiGetBInvCol()
SCIP_EXPORT SCIP_RETCODE SCIPlpiGetBInvCol | ( | SCIP_LPI * | lpi, |
int | c, | ||
SCIP_Real * | coef, | ||
int * | inds, | ||
int * | ninds | ||
) |
get column of inverse basis matrix B^-1
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get column of inverse basis matrix B^-1
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get column of inverse basis matrix B^-1
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get column of inverse basis matrix B^-1
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get column of inverse basis matrix B^-1
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get column of inverse basis matrix B^-1
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
- Parameters
-
lpi LP interface structure c column number of B^-1; this is NOT the number of the column in the LP; you have to call SCIPlpiGetBasisInd() to get the array which links the B^-1 column numbers to the row and column numbers of the LP! c must be between 0 and nrows-1, since the basis has the size nrows * nrows coef pointer to store the coefficients of the column inds array to store the non-zero indices, 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 3262 of file lpi_clp.cpp.
References b, BMSallocMemoryArray, BMSclearMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, ensureSidechgMem(), ensureValMem(), eps, errorMessage(), fabs(), SCIP_LPi::grbmodel, handle_singular(), SCIP_LPi::indarray, SCIP_LPi::linear_program, SCIP_LPi::lpid, lpiGetBInvVec(), SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::nrows, NULL, SCIP_LPi::parameters, SCIP_LPi::prob, r, restoreLPData(), SCIP_LPi::scaler, SCIP_ALLOC, SCIP_CALL, SCIP_CALL_QUIET, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_Real, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetBasisInd(), SCIPlpiGetBInvARow(), SCIPlpiGetNRows(), 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 lpiGetBInvVec(), SCIPlpGetBInvCol(), and SCIPlpiGetBInvRow().
◆ SCIPlpiGetBInvARow()
SCIP_EXPORT 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
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get row of inverse basis matrix times constraint matrix B^-1 * A
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get row of inverse basis matrix times constraint matrix B^-1 * A
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get row of inverse basis matrix times constraint matrix B^-1 * A
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get row of inverse basis matrix times constraint matrix B^-1 * A
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get row of inverse basis matrix times constraint matrix B^-1 * A
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
- Parameters
-
lpi LP interface structure r row number binvrow row in (A_B)^-1 from prior call to SCIPlpiGetBInvRow(), or NULL coef vector to return coefficients 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 3300 of file lpi_clp.cpp.
References BMSallocMemoryArray, BMSclearMemoryArray, BMSfreeMemoryArray, BMSfreeMemoryArrayNull, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, ensureTabMem(), ensureValMem(), eps, errorMessage(), fabs(), SCIP_LPi::grbmodel, SCIP_LPi::indarray, SCIP_LPi::itab, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::ncols, SCIP_LPi::nrows, NULL, SCIP_LPi::parameters, SCIP_LPi::prob, QS_CONDRET, r, restoreLPData(), SCIP_LPi::scaler, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_CALL_QUIET, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_Real, SCIPdebugMessage, SCIPlpiGetBasisInd(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvRow(), SCIPlpiGetNCols(), SCIPlpiGetNRows(), 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(), and SCIPlpiGetBInvCol().
◆ SCIPlpiGetBInvACol()
SCIP_EXPORT 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
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get column of inverse basis matrix times constraint matrix B^-1 * A
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get column of inverse basis matrix times constraint matrix B^-1 * A
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get column of inverse basis matrix times constraint matrix B^-1 * A
get column of inverse basis matrix times constraint matrix B^-1 * A
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
get column of inverse basis matrix times constraint matrix B^-1 * A
- Note
- The LP interface defines slack variables to have coefficient +1. This means that if, internally, the LP solver uses a -1 coefficient, then rows associated with slacks variables whose coefficient is -1, should be negated; see also the explanation in lpi.h.
- Parameters
-
lpi LP interface structure c column number coef vector to return coefficients 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 3335 of file lpi_clp.cpp.
References BMSallocMemoryArray, BMSclearMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, ensureSidechgMem(), ensureValMem(), eps, errorMessage(), fabs(), SCIP_LPi::grbmodel, handle_singular(), SCIP_LPi::indarray, SCIP_LPi::linear_program, SCIP_LPi::lpid, lpiGetBInvVec(), SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::nrows, NULL, SCIP_LPi::parameters, SCIP_LPi::prob, r, restoreLPData(), SCIP_LPi::scaler, SCIP_ALLOC, SCIP_CALL, SCIP_CALL_QUIET, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_Real, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetBasisInd(), SCIPlpiGetNRows(), SCIPlpiGetState(), 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(), and SCIPlpiGetBInvARow().
◆ SCIPlpiGetState()
SCIP_EXPORT 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
- Note
- last solve call must have been either simplex or barrier with crossover or base must have been set manually
- Parameters
-
lpi LP interface structure blkmem block memory lpistate pointer to LPi state information (like basis information)
Definition at line 3375 of file lpi_clp.cpp.
References BMSallocBlockMemory, CHECK_ZERO, checkState(), SCIP_LPi::clearstate, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cstat, ensureColMem(), ensureCstatMem(), ensureRowMem(), ensureRstatMem(), errorMessage(), getBase(), getbase(), SCIP_LPi::grbmodel, SCIP_LPi::iccnt, SCIP_LPi::ircnt, SCIP_LPi::lastsolvetype, SCIP_LPi::lpid, lpistateCreate(), lpistatePack(), SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, MSK_getsolutionstatus(), SCIP_LPi::ncols, SCIP_LPi::nrngrows, SCIP_LPi::nrows, NULL, SCIP_LPiState::num, optimizecount, SCIP_LPi::prob, SCIP_LPi::rstat, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiExistsDualRay(), SCIPlpiGetBase(), SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPlpiSetState(), SCIP_LPi::solisbasic, SCIP_LPiState::solsta, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by candidateStoreWarmStartInfo(), SCIPlpGetState(), SCIPlpiGetBInvACol(), and SCIPlpStartDive().
◆ SCIPlpiSetState()
SCIP_EXPORT 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()
- Parameters
-
lpi LP interface structure blkmem block memory lpistate LPi state information (like basis information), or NULL
Definition at line 3415 of file lpi_clp.cpp.
References CHECK_ZERO, SCIP_LPi::clearstate, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cstat, ensureColMem(), ensureCstatMem(), ensureRowMem(), ensureRstatMem(), ensureStateMem(), ensureTabMem(), errorMessage(), FALSE, getbase(), SCIP_LPi::grbmodel, SCIP_LPi::ibas, SCIP_LPi::iccnt, invalidateSolution(), SCIP_LPi::ircnt, SCIP_LPi::isen, SCIP_LPi::lastsolvetype, lpistateUnpack(), SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::ncols, SCIP_LPiState::ncols, SCIP_LPi::nrngrows, SCIP_LPiState::nrngrows, SCIP_LPi::nrows, 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, SCIP_Real, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiClearState(), SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPlpiIsInfinity(), SCIPlpiSetBase(), 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 SCIPlpiGetState(), and SCIPlpSetState().
◆ SCIPlpiClearState()
SCIP_EXPORT SCIP_RETCODE SCIPlpiClearState | ( | SCIP_LPI * | lpi | ) |
clears current LPi state (like basis information) of the solver
- Parameters
-
lpi LP interface structure
Definition at line 3473 of file lpi_clp.cpp.
References BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, SCIP_LPi::clearstate, SCIP_LPi::clp, SCIP_LPi::cstat, SCIP_LPi::grbmodel, SCIP_LPi::messagehdlr, MosekEnv, SCIP_LPi::ncols, SCIP_LPi::nrows, NULL, SCIP_LPi::prob, SCIP_LPi::rstat, SCIP_ALLOC, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiFreeState(), SCIPlpiSetBase(), SCIPmessagePrintWarning(), SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, TRUE, SCIP_LPi::validFactorization, and x.
Referenced by SCIPlpiSetState(), and SCIPtreeEndProbing().
◆ SCIPlpiFreeState()
SCIP_EXPORT SCIP_RETCODE SCIPlpiFreeState | ( | SCIP_LPI * | lpi, |
BMS_BLKMEM * | blkmem, | ||
SCIP_LPISTATE ** | lpistate | ||
) |
frees LPi state information
frees LP state information
- Parameters
-
lpi LP interface structure blkmem block memory lpistate pointer to LPi state information (like basis information)
Definition at line 3489 of file lpi_clp.cpp.
References SCIP_LPi::lpid, lpistateFree(), MosekEnv, NULL, SCIP_Bool, SCIP_OKAY, SCIPdebugMessage, SCIPlpiHasStateBasis(), SCIP_LPi::solver, and SCIP_LPi::task.
Referenced by SCIPlpFreeState(), SCIPlpiClearState(), and warmStartInfoFree().
◆ SCIPlpiHasStateBasis()
SCIP_EXPORT 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
- Parameters
-
lpi LP interface structure lpistate LP state information (like basis information), or NULL
Definition at line 3508 of file lpi_clp.cpp.
References errorMessageAbort(), FALSE, SCIP_LPi::lpid, MosekEnv, NULL, SCIP_LPiState::num, SCIP_LPiState::packcstat, SCIPdebugMessage, SCIPlpiReadState(), SCIP_LPi::solver, SCIP_LPi::task, and TRUE.
Referenced by SCIPlpiFreeState(), and SCIPlpSetState().
◆ SCIPlpiReadState()
SCIP_EXPORT 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
- Note
- last solve call must have been either simplex or barrier with crossover or base must have been set manually
- Parameters
-
lpi LP interface structure fname file name
Definition at line 3518 of file lpi_clp.cpp.
References CHECK_ZERO, SCIP_LPi::clearstate, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, NULL, SCIP_LPi::prob, SCIP_LPERROR, SCIP_NOTIMPLEMENTED, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_READERROR, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiWriteState(), SCIP_LPi::solver, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by SCIPlpiHasStateBasis().
◆ SCIPlpiWriteState()
SCIP_EXPORT SCIP_RETCODE SCIPlpiWriteState | ( | SCIP_LPI * | lpi, |
const char * | fname | ||
) |
writes LPi state (i.e. basis information) to a file
- Parameters
-
lpi LP interface structure fname file name
Definition at line 3538 of file lpi_clp.cpp.
References CHECK_ZERO, SCIP_LPi::clearstate, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::lastsolvetype, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::name, NULL, SCIP_LPi::prob, QS_ERROR, SCIP_Bool, SCIP_LPERROR, SCIP_MAXSTRLEN, SCIP_NOTIMPLEMENTED, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_WRITEERROR, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNorms(), SCIPmessagePrintWarning(), SCIP_LPi::solver, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.
Referenced by SCIPlpiReadState(), SCIPlpiSolveDual(), and SCIPlpiSolvePrimal().
◆ SCIPlpiGetNorms()
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
- Parameters
-
lpi LP interface structure blkmem block memory lpinorms pointer to LPi pricing norms information
Definition at line 3578 of file lpi_clp.cpp.
References BMSallocBlockMemory, BMSallocBlockMemoryArray, BMSfreeBlockMemory, BMSfreeBlockMemoryArray, CHECK_ZERO, SCIP_LPi::clearstate, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::messagehdlr, MosekEnv, SCIP_LPi::ncols, SCIP_LPi::nrows, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_ALLOC, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiSetNorms(), SCIP_LPi::solisbasic, SCIP_LPi::solver, SCIP_LPi::spx, and SCIP_LPi::task.
Referenced by candidateStoreWarmStartInfo(), SCIPlpGetNorms(), and SCIPlpiWriteState().
◆ SCIPlpiSetNorms()
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()
- Parameters
-
lpi LP interface structure blkmem block memory lpinorms LPi pricing norms information, or NULL
Definition at line 3596 of file lpi_clp.cpp.
References CHECK_ZERO, SCIP_LPiNorms::colnorm, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPiNorms::cstat, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::messagehdlr, SCIP_LPi::ncols, SCIP_LPiNorms::ncols, SCIP_LPiNorms::normlen, SCIP_LPiNorms::norms, SCIP_LPi::nrows, SCIP_LPiNorms::nrows, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_LPiNorms::rownorm, SCIP_LPiNorms::rstat, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiFreeNorms(), SCIPmessagePrintWarning(), SCIP_LPi::solver, and SCIP_LPi::spx.
Referenced by SCIPlpiGetNorms(), and SCIPlpSetNorms().
◆ SCIPlpiFreeNorms()
SCIP_RETCODE SCIPlpiFreeNorms | ( | SCIP_LPI * | lpi, |
BMS_BLKMEM * | blkmem, | ||
SCIP_LPINORMS ** | lpinorms | ||
) |
frees LPi pricing norms information
frees pricing norms information
- Parameters
-
lpi LP interface structure blkmem block memory lpinorms pointer to LPi pricing norms information, or NULL
Definition at line 3609 of file lpi_clp.cpp.
References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, errorMessage(), NULL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiGetIntpar(), and SCIP_LPi::solver.
Referenced by SCIPlpFreeNorms(), SCIPlpiSetNorms(), and warmStartInfoFree().
◆ SCIPlpiGetIntpar()
SCIP_EXPORT 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).
- Parameters
-
lpi LP interface structure type parameter number ival buffer to store the parameter value
Definition at line 3634 of file lpi_clp.cpp.
References CHECK_ZERO, SCIP_LPi::clp, CPX_INT_MAX, SCIP_LPi::cpxlp, FALSE, SCIP_LPi::fastmip, SCIP_LPi::from_scratch, SCIP_LPi::fromscratch, getDblParam(), getIntParam(), SCIP_LPi::grbmodel, SCIP_LPi::lp_info, SCIP_LPi::lpinfo, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::notfromscratch, NULL, SCIP_LPi::numthreads, SCIP_LPi::par_presolve, SCIP_LPi::parameters, paramty2str(), 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, SCIP_Real, SCIPdebugMessage, SCIPlpiSetIntpar(), SCIP_LPi::spx, SCIP_LPi::startscratch, SCIP_LPi::task, SCIP_LPi::timing, TRUE, and SCIP_LPi::xprslp.
Referenced by lpCheckIntpar(), SCIPlpiFreeNorms(), and SCIPlpStartDive().
◆ SCIPlpiSetIntpar()
SCIP_EXPORT 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
- Parameters
-
lpi LP interface structure type parameter number ival parameter value
Definition at line 3678 of file lpi_clp.cpp.
References CHECK_ZERO, SCIP_LPi::clp, CPX_INT_MAX, SCIP_LPi::cpxlp, FALSE, SCIP_LPi::from_scratch, SCIP_LPi::fromscratch, SCIP_LPi::grbmodel, SCIP_LPi::lp_info, SCIP_LPi::lpid, SCIP_LPi::lpinfo, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, SCIP_LPi::notfromscratch, 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, SCIPlpiGetRealpar(), setDblParam(), setFastmipClpParameters(), setIntParam(), SCIP_LPi::spx, SCIP_LPi::startscratch, SCIP_LPi::task, SCIP_LPi::timing, TRUE, unsetFastmipClpParameters(), and SCIP_LPi::xprslp.
Referenced by BENDERS_CUTORACLE(), checkAltLPInfeasible(), computeRelIntPoint(), conflictAnalyzeLP(), extendToCover(), initAlternativeLP(), lpSetIntpar(), runBoundHeuristic(), SCIP_DECL_CONSCHECK(), SCIPlpiAddRows(), SCIPlpiCreate(), SCIPlpiGetIntpar(), solveClassification(), and solveMinIISC().
◆ SCIPlpiGetRealpar()
SCIP_EXPORT SCIP_RETCODE SCIPlpiGetRealpar | ( | SCIP_LPI * | lpi, |
SCIP_LPPARAM | type, | ||
SCIP_Real * | dval | ||
) |
gets floating point parameter of LP
- Parameters
-
lpi LP interface structure type parameter number dval buffer to store the parameter value
Definition at line 3782 of file lpi_clp.cpp.
References CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::conditionlimit, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, getDblParam(), SCIP_LPi::grbmodel, SCIP_LPi::linear_program, SCIP_LPi::messagehdlr, MOSEK_CALL, 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(), SCIPlpiSetRealpar(), SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.
Referenced by conflictAnalyzeLP(), lpCheckRealpar(), lpSetBarrierconvtol(), lpSetDualfeastol(), lpSetFeastol(), lpSetObjlim(), and SCIPlpiSetIntpar().
◆ SCIPlpiSetRealpar()
SCIP_EXPORT SCIP_RETCODE SCIPlpiSetRealpar | ( | SCIP_LPI * | lpi, |
SCIP_LPPARAM | type, | ||
SCIP_Real | dval | ||
) |
sets floating point parameter of LP
- Parameters
-
lpi LP interface structure type parameter number dval parameter value
Definition at line 3819 of file lpi_clp.cpp.
References 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::linear_program, SCIP_LPi::messagehdlr, MOSEK_CALL, 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, SCIP_Real, SCIPdebugMessage, SCIPlpiInfinity(), setDblParam(), SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.
Referenced by computeRelIntPoint(), conflictAnalyzeLP(), lpSetRealpar(), runBoundHeuristic(), and SCIPlpiGetRealpar().
◆ SCIPlpiInfinity()
SCIP_EXPORT SCIP_Real SCIPlpiInfinity | ( | SCIP_LPI * | lpi | ) |
returns value treated as infinity in the LP solver
- Parameters
-
lpi LP interface structure
Definition at line 3893 of file lpi_clp.cpp.
References infinity, LPIINFINITY, MosekEnv, NULL, SCIP_Bool, SCIP_Real, SCIPdebugMessage, SCIPlpiIsInfinity(), SCIP_LPi::spx, and SCIP_LPi::task.
Referenced by addAltLPColumn(), addBdchg(), calcGrowSize(), computeRelIntPoint(), conflictAnalyzeLP(), createAltLPColumn(), lpAlgorithm(), lpFlushAddCols(), lpFlushAddRows(), lpFlushChgCols(), lpFlushChgRows(), lpSetObjlim(), lpSolve(), polyscip::Polyscip::printResults(), runBoundHeuristic(), SCIP_DECL_PARAMCHGD(), SCIPlpCreate(), SCIPlpiCreate(), SCIPlpiGetDualfarkas(), SCIPlpiGetObjval(), SCIPlpiGetRealpar(), SCIPlpiScaleCol(), SCIPlpiScaleRow(), SCIPlpiSetRealpar(), SCIPlpMarkFlushed(), SCIPlpSolveAndEval(), solveClassification(), solveMinIISC(), solveNodeLP(), unfixAltLPVariable(), unfixAltLPVariables(), and updateLazyBounds().
◆ SCIPlpiIsInfinity()
SCIP_EXPORT SCIP_Bool SCIPlpiIsInfinity | ( | SCIP_LPI * | lpi, |
SCIP_Real | val | ||
) |
checks if given value is treated as infinity in the LP solver
- Parameters
-
lpi LP interface structure val value to be checked for infinity
Definition at line 3905 of file lpi_clp.cpp.
References FALSE, fileExists(), infinity, IS_POSINF, LPIINFINITY, MosekEnv, NULL, SCIP_Bool, SCIPdebugMessage, SCIP_LPi::spx, SCIP_LPi::task, and TRUE.
Referenced by addBdchg(), checkLPBoundsClean(), performStrongbranchWithPropagation(), SCIPlpiChgBounds(), SCIPlpiInfinity(), SCIPlpiScaleCol(), SCIPlpiScaleRow(), and SCIPlpiSetState().
◆ SCIPlpiReadLP()
SCIP_EXPORT 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.
- Parameters
-
lpi LP interface structure fname file name
Definition at line 3946 of file lpi_clp.cpp.
References BMSallocMemoryArray, BMSduplicateMemoryArray, BMSfreeMemoryArrayNull, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), fileExists(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, NULL, SCIP_LPi::previt, SCIP_LPi::prob, SCIP_ALLOC, SCIP_NOFILE, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_READERROR, SCIP_WRITEERROR, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiWriteLP(), SCIPmessagePrintWarning(), SCIPsnprintf(), SCIPsplitFilename(), SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.
Referenced by fileExists().
◆ SCIPlpiWriteLP()
SCIP_EXPORT 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.
- Parameters
-
lpi LP interface structure fname file name
Definition at line 3975 of file lpi_clp.cpp.
References addRangeVars(), BMSallocMemoryArray, BMSduplicateMemoryArray, BMSfreeMemoryArrayNull, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, delRangeVars(), errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, 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(), SCIP_DECL_PARAMCHGD(), SCIPlpiReadLP(), SCIPlpiSolveDual(), SCIPlpiSolvePrimal(), SCIPlpWrite(), solveClassification(), solveMinIISC(), and updateObjUpperbound().
◆ lpiStrongbranch()
|
static |
performs strong branching iterations on one arbitrary candidate
- Parameters
-
lpi LP interface structure col column to apply strong branching on psol current primal solution value of column itlim iteration limit for strong branchings down stores dual bound after branching column down up stores dual bound after branching column up downvalid stores whether the returned down value is a valid dual bound; otherwise, it can only be used as an estimate value upvalid stores whether the returned up value is a valid dual bound; otherwise, it can only be used as an estimate value iter stores total number of strong branching iterations, or -1; may be NULL
Definition at line 2017 of file lpi_clp.cpp.
References BMSallocMemoryArray, BMSfreeMemoryArray, SCIP_LPi::clp, EPSCEIL, EPSFLOOR, SCIP_LPi::ncols, NULL, SCIP_ALLOC, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, TRUE, and SCIP_LPi::validFactorization.
Referenced by SCIPlpiStrongbranchFrac(), and SCIPlpiStrongbranchInt().
◆ lpiStrongbranches()
|
static |
performs strong branching iterations on given arbitrary candidates
- Parameters
-
lpi LP interface structure cols columns to apply strong branching on ncols number of columns psols fractional current primal solution values of columns itlim iteration limit for strong branchings down stores dual bounds after branching columns down up stores dual bounds after branching columns up downvalid stores whether the returned down values are valid dual bounds; otherwise, they can only be used as an estimate values upvalid stores whether the returned up values are a valid dual bounds; otherwise, they can only be used as an estimate values iter stores total number of strong branching iterations, or -1; may be NULL
Definition at line 2137 of file lpi_clp.cpp.
References BMSallocMemoryArray, BMSfreeMemoryArray, SCIP_LPi::clp, EPSCEIL, EPSFLOOR, SCIP_LPi::ncols, NULL, SCIP_ALLOC, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, TRUE, and SCIP_LPi::validFactorization.
Referenced by SCIPlpiStrongbranchesFrac(), and SCIPlpiStrongbranchesInt().
◆ lpiStrongbranchIntegral()
|
static |
manually performs strong branching on one integral variable
- Parameters
-
lpi LP interface structure col column to apply strong branching on psol current integral primal solution value of column itlim iteration limit for strong branchings down stores dual bound after branching column down up stores dual bound after branching column up downvalid stores whether the returned down value is a valid dual bound; otherwise, it can only be used as an estimate value upvalid stores whether the returned up value is a valid dual bound; otherwise, it can only be used as an estimate value iter stores total number of strong branching iterations, or -1; may be NULL
Definition at line 2630 of file lpi_cpx.c.
References CHECK_ZERO, CPX_INT_MAX, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, EPSCEIL, EPSFLOOR, EPSISINT, SCIP_LPi::feastol, getBase(), getDblParam(), getIntParam(), SCIP_LPi::messagehdlr, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiGetIterations(), SCIPlpiGetObjval(), SCIPlpiIsIterlimExc(), SCIPlpiIsObjlimExc(), SCIPlpiIsOptimal(), SCIPlpiIsPrimalInfeasible(), SCIPlpiSolveDual(), setBase(), setIntParam(), and TRUE.
Referenced by SCIPlpiStrongbranchesInt(), and SCIPlpiStrongbranchInt().
◆ deleteRowsAndUpdateCurrentBasis()
|
static |
delete rows from LP and update the current basis
- Parameters
-
lpi LP interface structure rows_to_delete array to mark rows that should be deleted
Definition at line 535 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().
◆ getASlice()
|
static |
get a slice of a row or column
- Parameters
-
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 1757 of file lpi_msk.c.
References SCIP_LPi::aptre, ensureAptreMem(), SCIP_LPi::lpid, MOSEK_CALL, MosekEnv, NULL, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, and SCIP_LPi::task.
Referenced by SCIPlpiGetCols(), and SCIPlpiGetRows().
◆ getSolutionStatus()
|
static |
gets the internal solution status of the solver
- Parameters
-
lpi LP interface structure prosta pointer to store the problem status solsta pointer to store the solution status
Definition at line 2089 of file lpi_msk.c.
References SCIP_LPi::lastsolvetype, MOSEK_CALL, MosekEnv, MSK_getsolutionstatus(), NULL, SCIP_OKAY, and SCIP_LPi::task.
Referenced by SCIPlpiExistsDualRay(), SCIPlpiExistsPrimalRay(), SCIPlpiGetInternalStatus(), SCIPlpiHasDualRay(), SCIPlpiHasPrimalRay(), SCIPlpiIsDualFeasible(), SCIPlpiIsOptimal(), SCIPlpiIsPrimalFeasible(), and SCIPlpiIsPrimalUnbounded().
◆ filterTRMrescode()
|
static |
helper method to filter out numerical problems
- Parameters
-
messagehdlr message handler termcode pointer to store output termination code res input result of call to Mosek function
Definition at line 2106 of file lpi_msk.c.
References NULL, optimizecount, and SCIPmessagePrintWarning().
Referenced by SCIPlpiSolveBarrier(), and SolveWSimplex().
◆ SolveWSimplex()
|
static |
solve problem with the simplex algorithm
- Parameters
-
lpi LP interface structure
Definition at line 2138 of file lpi_msk.c.
References bound, fabs(), filterTRMrescode(), invalidateSolution(), SCIP_LPi::itercount, SCIP_LPi::lastsolvetype, SCIP_LPi::lpinfo, MAX, SCIP_LPi::messagehdlr, MOSEK_CALL, MosekEnv, MSK_getsolutionstatus(), NULL, optimizecount, presolve(), SCIP_LPi::restrictselectdef, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPdebugPrintf, SCIPerrorMessage, SCIPlpiSolveBarrier(), SCIPmessagePrintWarning(), scipmskobjsen, SCIP_LPi::solved, SCIP_LPi::task, SCIP_LPi::termcode, and TRUE.
Referenced by SCIPlpiGetSol(), SCIPlpiSolveDual(), and SCIPlpiSolvePrimal().
◆ SCIPlpiStrongbranch()
|
static |
performs strong branching iterations on all candidates
- Note
- last solve call must have been either simplex or barrier with crossover or base must have been set manually
- Parameters
-
lpi LP interface structure col column to apply strong branching on psol current primal solution value of column itlim iteration limit for strong branchings down stores dual bound after branching column down up stores dual bound after branching column up downvalid stores whether the returned down value is a valid dual bound; otherwise, it can only be used as an estimate value upvalid stores whether the returned up value is a valid dual bound; otherwise, it can only be used as an estimate value iter stores total number of strong branching iterations, or -1; may be NULL
Definition at line 2822 of file lpi_msk.c.
References SCIP_LPi::bkx, 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, MosekEnv, SCIP_LPi::ncols, SCIP_LPi::nrows, NULL, optimizecount, SCIP_Bool, 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().
◆ handle_singular()
|
static |
handle singular basis
- Parameters
-
lpi LP interface structure basis array of basis indices res result
Definition at line 3777 of file lpi_msk.c.
References MOSEK_CALL, SCIP_CALL, SCIP_OKAY, SCIPlpiSolvePrimal(), and SCIP_LPi::task.
Referenced by SCIPlpiGetBasisInd(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvCol(), and SCIPlpiGetBInvRow().
◆ convertstat_mosek2scip()
|
static |
convert Mosek basis status to SCIP basis status
- Note
- last solve call must have been either simplex or barrier with crossover or base must have been set manually
- Parameters
-
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 3807 of file lpi_msk.c.
References 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().
◆ convertstat_mosek2scip_slack()
|
static |
convert Mosek to SCIP basis status - slack variables
- Note
- last solve call must have been either simplex or barrier with crossover or base must have been set manually
- Parameters
-
lpi LP interface structure iscon whether constraints or variables are accessed sk Mosek basis status m size stat status array
Definition at line 3881 of file lpi_msk.c.
References 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().
◆ convertstat_scip2mosek()
|
static |
convert SCIP to Mosek basis status
- Parameters
-
stat SCIP status array n size of array resstat resulting Mosek status array
Definition at line 3946 of file lpi_msk.c.
References SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, and SCIPABORT.
Referenced by lpistateUnpack(), and SCIPlpiSetBase().
◆ convertstat_scip2mosek_slack()
|
static |
convert SCIP to Mosek basis status - slack variables
- Parameters
-
stat SCIP status array n size of array resstat resulting Mosek status array
Definition at line 3977 of file lpi_msk.c.
References SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, and SCIPABORT.
Referenced by lpistateUnpack(), and SCIPlpiSetBase().
◆ lpistateCreate()
|
static |
creates LPi state information object
- Parameters
-
lpistate pointer to LPi state blkmem block memory ncols number of columns to store nrows number of rows to store
Definition at line 4434 of file lpi_msk.c.
References BMSallocBlockMemory, BMSallocBlockMemoryArray, colpacketNum(), SCIP_LPi::ncols, SCIP_LPi::nrows, NULL, rowpacketNum(), SCIP_ALLOC, and SCIP_OKAY.
Referenced by SCIPlpiGetState().
◆ lpistateFree()
|
static |
frees LPi state information
- Parameters
-
lpistate pointer to LPi state information (like basis information) blkmem block memory
Definition at line 4460 of file lpi_msk.c.
References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, colpacketNum(), NULL, and rowpacketNum().
Referenced by SCIPlpiFreeState().
◆ checkState1()
|
static |
check state
- Note
- last solve call must have been either simplex or barrier with crossover or base must have been set manually
- Parameters
-
lpi LP interface structure n number of rows or columns sk basis status isrow whether rows/columns are considered
Definition at line 4480 of file lpi_msk.c.
References DEBUG_CHECK_STATE_TOL, fabs(), SCIP_LPi::lastsolvetype, MOSEK_CALL, NULL, optimizecount, SCIP_OKAY, SCIPdebugMessage, and SCIP_LPi::task.
Referenced by checkState().
◆ checkState()
|
static |
check state
- Note
- last solve call must have been either simplex or barrier with crossover or base must have been set manually
- Parameters
-
lpi LP interface structure ncols number of columns nrows number of rows
Definition at line 4553 of file lpi_msk.c.
References checkState1(), FALSE, SCIP_LPi::lastsolvetype, NULL, SCIP_CALL, SCIP_OKAY, SCIP_LPi::skc, SCIP_LPi::skx, and TRUE.
Referenced by SCIPlpiGetState().
◆ lpistatePack()
|
static |
store row and column basis status in a packed LPi state object
- Note
- last solve call must have been either simplex or barrier with crossover or base must have been set manually
- Parameters
-
lpi LP interface structure lpistate pointer to LPi state data
Definition at line 4574 of file lpi_msk.c.
References 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().
◆ lpistateUnpack()
|
static |
unpacks row and column basis status from a packed LPi state object
- Parameters
-
lpistate pointer to LPi state data skx basis status for columns skc basis status for rows
Definition at line 4598 of file lpi_msk.c.
References convertstat_scip2mosek(), convertstat_scip2mosek_slack(), SCIP_LPiState::ncols, SCIP_LPiState::nrows, SCIPdecodeDualBit(), SCIP_LPiState::skc, and SCIP_LPiState::skx.
Referenced by SCIPlpiSetState().