Scippy

SCIP

Solving Constraint Integer Programs

LP Solver Interface

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_highs.cpp
 LP interface for HiGHS 1.4 and higher.
 
file  lpi_msk.c
 LP interface for MOSEK.
 
file  lpi_none.c
 dummy interface for the case no LP solver is needed
 
file  lpi_qso.c
 LP interface for QSopt version >= 070303.
 
file  lpi_spx1.cpp
 LP interface for SoPlex version 1.4 and higher.
 
file  lpi_spx2.cpp
 LP interface for SoPlex version 2.0 and higher.
 
file  lpi_xprs.c
 LP interface for Xpress-MP.
 

Miscellaneous Methods

const char * SCIPlpiGetSolverName (void)
 
const char * SCIPlpiGetSolverDesc (void)
 
void * SCIPlpiGetSolverPointer (SCIP_LPI *lpi)
 
SCIP_RETCODE SCIPlpiSetIntegralityInformation (SCIP_LPI *lpi, int ncols, int *intInfo)
 
SCIP_Bool SCIPlpiHasPrimalSolve (void)
 
SCIP_Bool SCIPlpiHasDualSolve (void)
 
SCIP_Bool SCIPlpiHasBarrierSolve (void)
 

LPI Creation and Destruction Methods

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

Modification Methods

SCIP_RETCODE SCIPlpiLoadColLP (SCIP_LPI *lpi, SCIP_OBJSEN objsen, int ncols, const SCIP_Real *obj, const SCIP_Real *lb, const SCIP_Real *ub, char **colnames, int nrows, const SCIP_Real *lhs, const SCIP_Real *rhs, char **rownames, int nnonz, const int *beg, const int *ind, const SCIP_Real *val)
 
SCIP_RETCODE SCIPlpiAddCols (SCIP_LPI *lpi, int ncols, const SCIP_Real *obj, const SCIP_Real *lb, const SCIP_Real *ub, char **colnames, int nnonz, const int *beg, const int *ind, const SCIP_Real *val)
 
SCIP_RETCODE SCIPlpiDelCols (SCIP_LPI *lpi, int firstcol, int lastcol)
 
SCIP_RETCODE SCIPlpiDelColset (SCIP_LPI *lpi, int *dstat)
 
SCIP_RETCODE SCIPlpiAddRows (SCIP_LPI *lpi, int nrows, const SCIP_Real *lhs, const SCIP_Real *rhs, char **rownames, int nnonz, const int *beg, const int *ind, const SCIP_Real *val)
 
SCIP_RETCODE SCIPlpiDelRows (SCIP_LPI *lpi, int firstrow, int lastrow)
 
SCIP_RETCODE SCIPlpiDelRowset (SCIP_LPI *lpi, int *dstat)
 
SCIP_RETCODE SCIPlpiClear (SCIP_LPI *lpi)
 
SCIP_RETCODE SCIPlpiChgBounds (SCIP_LPI *lpi, int ncols, const int *ind, const SCIP_Real *lb, const SCIP_Real *ub)
 
SCIP_RETCODE SCIPlpiChgSides (SCIP_LPI *lpi, int nrows, const int *ind, const SCIP_Real *lhs, const SCIP_Real *rhs)
 
SCIP_RETCODE SCIPlpiChgCoef (SCIP_LPI *lpi, int row, int col, SCIP_Real newval)
 
SCIP_RETCODE SCIPlpiChgObjsen (SCIP_LPI *lpi, SCIP_OBJSEN objsen)
 
SCIP_RETCODE SCIPlpiChgObj (SCIP_LPI *lpi, int ncols, const int *ind, const SCIP_Real *obj)
 
SCIP_RETCODE SCIPlpiScaleRow (SCIP_LPI *lpi, int row, SCIP_Real scaleval)
 
SCIP_RETCODE SCIPlpiScaleCol (SCIP_LPI *lpi, int col, SCIP_Real scaleval)
 

Data Accessing Methods

SCIP_RETCODE SCIPlpiGetNRows (SCIP_LPI *lpi, int *nrows)
 
SCIP_RETCODE SCIPlpiGetNCols (SCIP_LPI *lpi, int *ncols)
 
SCIP_RETCODE SCIPlpiGetObjsen (SCIP_LPI *lpi, SCIP_OBJSEN *objsen)
 
SCIP_RETCODE SCIPlpiGetNNonz (SCIP_LPI *lpi, int *nnonz)
 
SCIP_RETCODE SCIPlpiGetCols (SCIP_LPI *lpi, int firstcol, int lastcol, SCIP_Real *lb, SCIP_Real *ub, int *nnonz, int *beg, int *ind, SCIP_Real *val)
 
SCIP_RETCODE SCIPlpiGetRows (SCIP_LPI *lpi, int firstrow, int lastrow, SCIP_Real *lhs, SCIP_Real *rhs, int *nnonz, int *beg, int *ind, SCIP_Real *val)
 
SCIP_RETCODE SCIPlpiGetColNames (SCIP_LPI *lpi, int firstcol, int lastcol, char **colnames, char *namestorage, int namestoragesize, int *storageleft)
 
SCIP_RETCODE SCIPlpiGetRowNames (SCIP_LPI *lpi, int firstrow, int lastrow, char **rownames, char *namestorage, int namestoragesize, int *storageleft)
 
SCIP_RETCODE SCIPlpiGetObj (SCIP_LPI *lpi, int firstcol, int lastcol, SCIP_Real *vals)
 
SCIP_RETCODE SCIPlpiGetBounds (SCIP_LPI *lpi, int firstcol, int lastcol, SCIP_Real *lbs, SCIP_Real *ubs)
 
SCIP_RETCODE SCIPlpiGetSides (SCIP_LPI *lpi, int firstrow, int lastrow, SCIP_Real *lhss, SCIP_Real *rhss)
 
SCIP_RETCODE SCIPlpiGetCoef (SCIP_LPI *lpi, int row, int col, SCIP_Real *val)
 

Solving Methods

SCIP_RETCODE SCIPlpiSolvePrimal (SCIP_LPI *lpi)
 
SCIP_RETCODE SCIPlpiSolveDual (SCIP_LPI *lpi)
 
SCIP_RETCODE SCIPlpiSolveBarrier (SCIP_LPI *lpi, SCIP_Bool crossover)
 
SCIP_RETCODE SCIPlpiStartStrongbranch (SCIP_LPI *lpi)
 
SCIP_RETCODE SCIPlpiEndStrongbranch (SCIP_LPI *lpi)
 
SCIP_RETCODE SCIPlpiStrongbranchFrac (SCIP_LPI *lpi, int col, SCIP_Real psol, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, int *iter)
 
SCIP_RETCODE SCIPlpiStrongbranchesFrac (SCIP_LPI *lpi, int *cols, int ncols, SCIP_Real *psols, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, int *iter)
 
SCIP_RETCODE SCIPlpiStrongbranchInt (SCIP_LPI *lpi, int col, SCIP_Real psol, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, int *iter)
 
SCIP_RETCODE SCIPlpiStrongbranchesInt (SCIP_LPI *lpi, int *cols, int ncols, SCIP_Real *psols, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, int *iter)
 

Solution Information Methods

SCIP_Bool SCIPlpiWasSolved (SCIP_LPI *lpi)
 
SCIP_RETCODE SCIPlpiGetSolFeasibility (SCIP_LPI *lpi, SCIP_Bool *primalfeasible, SCIP_Bool *dualfeasible)
 
SCIP_Bool SCIPlpiExistsPrimalRay (SCIP_LPI *lpi)
 
SCIP_Bool SCIPlpiHasPrimalRay (SCIP_LPI *lpi)
 
SCIP_Bool SCIPlpiIsPrimalUnbounded (SCIP_LPI *lpi)
 
SCIP_Bool SCIPlpiIsPrimalInfeasible (SCIP_LPI *lpi)
 
SCIP_Bool SCIPlpiIsPrimalFeasible (SCIP_LPI *lpi)
 
SCIP_Bool SCIPlpiExistsDualRay (SCIP_LPI *lpi)
 
SCIP_Bool SCIPlpiHasDualRay (SCIP_LPI *lpi)
 
SCIP_Bool SCIPlpiIsDualUnbounded (SCIP_LPI *lpi)
 
SCIP_Bool SCIPlpiIsDualInfeasible (SCIP_LPI *lpi)
 
SCIP_Bool SCIPlpiIsDualFeasible (SCIP_LPI *lpi)
 
SCIP_Bool SCIPlpiIsOptimal (SCIP_LPI *lpi)
 
SCIP_Bool SCIPlpiIsStable (SCIP_LPI *lpi)
 
SCIP_Bool SCIPlpiIsObjlimExc (SCIP_LPI *lpi)
 
SCIP_Bool SCIPlpiIsIterlimExc (SCIP_LPI *lpi)
 
SCIP_Bool SCIPlpiIsTimelimExc (SCIP_LPI *lpi)
 
int SCIPlpiGetInternalStatus (SCIP_LPI *lpi)
 
SCIP_RETCODE SCIPlpiIgnoreInstability (SCIP_LPI *lpi, SCIP_Bool *success)
 
SCIP_RETCODE SCIPlpiGetObjval (SCIP_LPI *lpi, SCIP_Real *objval)
 
SCIP_RETCODE SCIPlpiGetSol (SCIP_LPI *lpi, SCIP_Real *objval, SCIP_Real *primsol, SCIP_Real *dualsol, SCIP_Real *activity, SCIP_Real *redcost)
 
SCIP_RETCODE SCIPlpiGetPrimalRay (SCIP_LPI *lpi, SCIP_Real *ray)
 
SCIP_RETCODE SCIPlpiGetDualfarkas (SCIP_LPI *lpi, SCIP_Real *dualfarkas)
 
SCIP_RETCODE SCIPlpiGetIterations (SCIP_LPI *lpi, int *iterations)
 
SCIP_RETCODE SCIPlpiGetRealSolQuality (SCIP_LPI *lpi, SCIP_LPSOLQUALITY qualityindicator, SCIP_Real *quality)
 

LP Basis Methods

SCIP_RETCODE SCIPlpiGetBase (SCIP_LPI *lpi, int *cstat, int *rstat)
 
SCIP_RETCODE SCIPlpiSetBase (SCIP_LPI *lpi, const int *cstat, const int *rstat)
 
SCIP_RETCODE SCIPlpiGetBasisInd (SCIP_LPI *lpi, int *bind)
 
SCIP_RETCODE SCIPlpiGetBInvRow (SCIP_LPI *lpi, int r, SCIP_Real *coef, int *inds, int *ninds)
 
SCIP_RETCODE SCIPlpiGetBInvCol (SCIP_LPI *lpi, int c, SCIP_Real *coef, int *inds, int *ninds)
 
SCIP_RETCODE SCIPlpiGetBInvARow (SCIP_LPI *lpi, int r, const SCIP_Real *binvrow, SCIP_Real *coef, int *inds, int *ninds)
 
SCIP_RETCODE SCIPlpiGetBInvACol (SCIP_LPI *lpi, int c, SCIP_Real *coef, int *inds, int *ninds)
 

LPi State Methods

SCIP_RETCODE SCIPlpiGetState (SCIP_LPI *lpi, BMS_BLKMEM *blkmem, SCIP_LPISTATE **lpistate)
 
SCIP_RETCODE SCIPlpiSetState (SCIP_LPI *lpi, BMS_BLKMEM *blkmem, const SCIP_LPISTATE *lpistate)
 
SCIP_RETCODE SCIPlpiClearState (SCIP_LPI *lpi)
 
SCIP_RETCODE SCIPlpiFreeState (SCIP_LPI *lpi, BMS_BLKMEM *blkmem, SCIP_LPISTATE **lpistate)
 
SCIP_Bool SCIPlpiHasStateBasis (SCIP_LPI *lpi, SCIP_LPISTATE *lpistate)
 
SCIP_RETCODE SCIPlpiReadState (SCIP_LPI *lpi, const char *fname)
 
SCIP_RETCODE SCIPlpiWriteState (SCIP_LPI *lpi, const char *fname)
 

LPi Pricing Norms Methods

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

Parameter Methods

SCIP_RETCODE SCIPlpiGetIntpar (SCIP_LPI *lpi, SCIP_LPPARAM type, int *ival)
 
SCIP_RETCODE SCIPlpiSetIntpar (SCIP_LPI *lpi, SCIP_LPPARAM type, int ival)
 
SCIP_RETCODE SCIPlpiGetRealpar (SCIP_LPI *lpi, SCIP_LPPARAM type, SCIP_Real *dval)
 
SCIP_RETCODE SCIPlpiSetRealpar (SCIP_LPI *lpi, SCIP_LPPARAM type, SCIP_Real dval)
 
SCIP_RETCODE SCIPlpiInterrupt (SCIP_LPI *lpi, SCIP_Bool interrupt)
 

Numerical Methods

SCIP_Real SCIPlpiInfinity (SCIP_LPI *lpi)
 
SCIP_Bool SCIPlpiIsInfinity (SCIP_LPI *lpi, SCIP_Real val)
 

File Interface Methods

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

Solving Methods

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

Solving Methods

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

Modification Methods

static void deleteRowsAndUpdateCurrentBasis (SCIP_LPI *lpi, const DenseBooleanColumn &rows_to_delete)
 

LPI Creation and Destruction Methods

static SCIP_RETCODE getASlice (SCIP_LPI *lpi, SCIP_Bool iscon, int first, int last, int *nnonz, int *beg, int *ind, double *val)
 
static SCIP_RETCODE getSolutionStatus (SCIP_LPI *lpi, MSKprostae *prosta, MSKsolstae *solsta)
 
static MSKrescodee filterTRMrescode (SCIP_MESSAGEHDLR *messagehdlr, MSKrescodee *termcode, MSKrescodee res)
 
static SCIP_RETCODE SolveWSimplex (SCIP_LPI *lpi)
 
static SCIP_RETCODE SCIPlpiStrongbranch (SCIP_LPI *lpi, int col, SCIP_Real psol, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, int *iter)
 
static SCIP_RETCODE handle_singular (SCIP_LPI *lpi, int *basis, MSKrescodee res)
 
static SCIP_RETCODE convertstat_mosek2scip (SCIP_LPI *lpi, SCIP_Bool iscon, MSKstakeye *sk, int n, int *stat)
 
static SCIP_RETCODE convertstat_mosek2scip_slack (SCIP_LPI *lpi, SCIP_Bool iscon, MSKstakeye *sk, int m, int *stat)
 
static void convertstat_scip2mosek (const int *stat, int n, MSKstakeye *resstat)
 
static void convertstat_scip2mosek_slack (const int *stat, int n, MSKstakeye *resstat)
 
static SCIP_RETCODE lpistateCreate (SCIP_LPISTATE **lpistate, BMS_BLKMEM *blkmem, int ncols, int nrows)
 
static void lpistateFree (SCIP_LPISTATE **lpistate, BMS_BLKMEM *blkmem)
 
static SCIP_RETCODE checkState1 (SCIP_LPI *lpi, int n, MSKstakeye *sk, SCIP_Bool isrow)
 
static SCIP_RETCODE checkState (SCIP_LPI *lpi, int ncols, int nrows)
 
static SCIP_RETCODE lpistatePack (SCIP_LPI *lpi, SCIP_LPISTATE *lpistate)
 
static void lpistateUnpack (const SCIP_LPISTATE *lpistate, MSKstakeye *skx, MSKstakeye *skc)
 

Function Documentation

◆ SCIPlpiGetSolverName()

const char* SCIPlpiGetSolverName ( void  )

◆ SCIPlpiGetSolverDesc()

const char* SCIPlpiGetSolverDesc ( void  )

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

Definition at line 463 of file lpi_clp.cpp.

References highsdesc, SCIPdebugMessage, SCIPlpiGetSolverPointer(), and spxdesc.

Referenced by doScipCreate(), and SCIPlpiGetSolverName().

◆ SCIPlpiGetSolverPointer()

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
lpipointer to an LP interface structure

Definition at line 471 of file lpi_clp.cpp.

References SCIP_LPi::clp, SCIP_LPi::cpxlp, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiSetIntegralityInformation(), SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by SCIPlpiGetSolverDesc().

◆ SCIPlpiSetIntegralityInformation()

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
lpipointer to an LP interface structure
ncolslength of integrality array
intInfointegrality array (0: continuous, 1: integer). May be NULL iff ncols is 0.

Definition at line 480 of file lpi_clp.cpp.

References SCIP_LPi::linear_program, NULL, SCIP_Bool, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiHasPrimalSolve(), and SCIP_LPi::spx.

Referenced by lpCopyIntegrality(), and SCIPlpiGetSolverPointer().

◆ SCIPlpiHasPrimalSolve()

SCIP_Bool SCIPlpiHasPrimalSolve ( void  )

informs about availability of a primal simplex solving method

Definition at line 494 of file lpi_clp.cpp.

References FALSE, SCIP_Bool, SCIPdebugMessage, SCIPlpiHasDualSolve(), and TRUE.

Referenced by SCIPlpiSetIntegralityInformation().

◆ SCIPlpiHasDualSolve()

SCIP_Bool SCIPlpiHasDualSolve ( void  )

informs about availability of a dual simplex solving method

Definition at line 502 of file lpi_clp.cpp.

References FALSE, SCIP_Bool, SCIPdebugMessage, SCIPlpiHasBarrierSolve(), and TRUE.

Referenced by SCIPlpiHasPrimalSolve().

◆ SCIPlpiHasBarrierSolve()

SCIP_Bool SCIPlpiHasBarrierSolve ( void  )

informs about availability of a barrier solving method

Definition at line 510 of file lpi_clp.cpp.

References FALSE, SCIPdebugMessage, SCIPlpiCreate(), and TRUE.

Referenced by SCIPlpiHasDualSolve().

◆ SCIPlpiCreate()

◆ SCIPlpiFree()

◆ SCIPlpiLoadColLP()

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
lpiLP interface structure
objsenobjective sense
ncolsnumber of columns
objobjective function values of columns
lblower bounds of columns
ubupper bounds of columns
colnamescolumn names, or NULL
nrowsnumber of rows
lhsleft hand sides of rows
rhsright hand sides of rows
rownamesrow names, or NULL
nnonznumber of nonzero elements in the constraint matrix
begstart index of each column in ind- and val-array
indrow indices of constraint matrix entries
valvalues of constraint matrix entries

Definition at line 677 of file lpi_clp.cpp.

References addRangeInfo(), SCIP_LPi::aptre, SCIP_LPi::bkc, SCIP_LPi::bkx, BMSallocMemoryArray, BMScopyMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkMatrixValue(), 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::highs, HIGHS_CALL, 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, SCIP_LPi::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, SCIP_UNUSED, 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 buildVertexPolyhedralSeparationLP(), and SCIPlpiFree().

◆ SCIPlpiAddCols()

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
lpiLP interface structure
ncolsnumber of columns to be added
objobjective function values of new columns
lblower bounds of new columns
ubupper bounds of new columns
colnamescolumn names, or NULL
nnonznumber of nonzero elements to be added to the constraint matrix
begstart index of each column in ind- and val-array, or NULL if nnonz == 0
indrow indices of constraint matrix entries, or NULL if nnonz == 0
valvalues of constraint matrix entries, or NULL if nnonz == 0

Definition at line 758 of file lpi_clp.cpp.

References SCIP_LPi::aptre, SCIP_LPi::bkx, BMSallocMemoryArray, BMScopyMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkMatrixValue(), checkRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, delRangeVars(), ensureAptreMem(), ensureBkxMem(), ensureColMem(), ensureValMem(), generateMskBoundkeys(), getEndptrs(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, HIGHS_CALL_WITH_WARNING, 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, SCIP_LPi::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, SCIP_UNUSED, 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()

◆ SCIPlpiDelColset()

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
lpiLP interface structure
dstatdeletion status of columns input: 1 if column should be deleted, 0 if not output: new position of column, -1 if column was deleted

Definition at line 868 of file lpi_clp.cpp.

References BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureValMem(), getIndicesFromDense(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::indarray, invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::ncols, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiAddRows(), SCIPlpiGetNCols(), SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by lpDelColset(), and SCIPlpiDelCols().

◆ SCIPlpiAddRows()

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
lpiLP interface structure
nrowsnumber of rows to be added
lhsleft hand sides of new rows
rhsright hand sides of new rows
rownamesrow names, or NULL
nnonznumber of nonzero elements to be added to the constraint matrix
begstart index of each row in ind- and val-array, or NULL if nnonz == 0
indcolumn indices of constraint matrix entries, or NULL if nnonz == 0
valvalues of constraint matrix entries, or NULL if nnonz == 0

Definition at line 914 of file lpi_clp.cpp.

References addRangeInfo(), SCIP_LPi::aptre, SCIP_LPi::bkc, BMSallocMemoryArray, BMScopyMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkMatrixValue(), 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::highs, HIGHS_CALL, HIGHS_CALL_WITH_WARNING, 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, SCIP_LPi::mosekenv, SCIP_LPi::ncols, SCIP_LPi::nrngrows, SCIP_LPi::nrows, NULL, SCIP_LPi::prob, QS_CONDRET, r, SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIP_LPi::rngfound, SCIP_LPi::rngindarray, SCIP_LPi::rngrowmap, SCIP_LPi::rngrows, SCIP_ALLOC, SCIP_CALL, SCIP_LPERROR, SCIP_LPPAR_SCALING, SCIP_OKAY, SCIP_Real, SCIP_UNUSED, 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()

◆ SCIPlpiDelRowset()

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
lpiLP interface structure
dstatdeletion status of rows input: 1 if row should be deleted, 0 if not output: new position of row, -1 if row was deleted

Definition at line 1018 of file lpi_clp.cpp.

References BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkRangeInfo(), clearRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, deleteRowsAndUpdateCurrentBasis(), delRangeVars(), ensureValMem(), getIndicesFromDense(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::indarray, invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::nrngrows, SCIP_LPi::nrows, NULL, SCIP_LPi::prob, QS_CONDRET, r, SCIP_LPi::rngrowmap, SCIP_LPi::rngrows, SCIP_LPi::rngvals, SCIP_LPi::rngvarsadded, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiClear(), SCIPlpiGetNRows(), SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by lpDelRowset(), and SCIPlpiDelRows().

◆ SCIPlpiClear()

◆ SCIPlpiChgBounds()

◆ SCIPlpiChgSides()

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

◆ SCIPlpiChgCoef()

◆ SCIPlpiChgObjsen()

◆ SCIPlpiChgObj()

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

◆ SCIPlpiScaleRow()

◆ SCIPlpiScaleCol()

◆ SCIPlpiGetNRows()

◆ SCIPlpiGetNCols()

◆ SCIPlpiGetObjsen()

◆ SCIPlpiGetNNonz()

SCIP_RETCODE SCIPlpiGetNNonz ( SCIP_LPI lpi,
int *  nnonz 
)

◆ SCIPlpiGetCols()

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
lpiLP interface structure
firstcolfirst column to get from LP
lastcollast column to get from LP
lbbuffer to store the lower bound vector, or NULL
ubbuffer to store the upper bound vector, or NULL
nnonzpointer to store the number of nonzero elements returned, or NULL
begbuffer to store start index of each column in ind- and val-array, or NULL
indbuffer to store row indices of constraint matrix entries, or NULL
valbuffer to store values of constraint matrix entries, or NULL

Definition at line 1474 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::highs, HIGHS_CALL, SCIP_LPi::iccnt, SCIP_LPi::indarray, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, SCIP_LPi::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_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
lpiLP interface structure
firstrowfirst row to get from LP
lastrowlast row to get from LP
lhssbuffer to store left hand side vector, or NULL
rhssbuffer to store right hand side vector, or NULL
nnonzpointer to store the number of nonzero elements returned, or NULL
begbuffer to store start index of each row in ind- and val-array, or NULL
indbuffer to store column indices of constraint matrix entries, or NULL
valbuffer to store values of constraint matrix entries, or NULL

Definition at line 1538 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::highs, HIGHS_CALL, SCIP_LPi::indarray, SCIP_LPi::ircnt, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, SCIP_LPi::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_RETCODE SCIPlpiGetColNames ( SCIP_LPI lpi,
int  firstcol,
int  lastcol,
char **  colnames,
char *  namestorage,
int  namestoragesize,
int *  storageleft 
)

gets column names

Parameters
lpiLP interface structure
firstcolfirst column to get name from LP
lastcollast column to get name from LP
colnamespointers to column names (of size at least lastcol-firstcol+1) or NULL if namestoragesize is zero
namestoragestorage for col names or NULL if namestoragesize is zero
namestoragesizesize of namestorage (if 0, storageleft returns the storage needed)
storageleftamount of storage left (if < 0 the namestorage was not big enough) or NULL if namestoragesize is zero

Definition at line 1599 of file lpi_clp.cpp.

References BMSallocMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::linear_program, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, 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_RETCODE SCIPlpiGetRowNames ( SCIP_LPI lpi,
int  firstrow,
int  lastrow,
char **  rownames,
char *  namestorage,
int  namestoragesize,
int *  storageleft 
)

gets row names

Parameters
lpiLP interface structure
firstrowfirst row to get name from LP
lastrowlast row to get name from LP
rownamespointers to row names (of size at least lastrow-firstrow+1) or NULL if namestoragesize is zero
namestoragestorage for row names or NULL if namestoragesize is zero
namestoragesizesize of namestorage (if 0, -storageleft returns the storage needed)
storageleftamount of storage left (if < 0 the namestorage was not big enough) or NULL if namestoragesize is zero

Definition at line 1623 of file lpi_clp.cpp.

References BMSallocMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::linear_program, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, 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_RETCODE SCIPlpiGetObj ( SCIP_LPI lpi,
int  firstcol,
int  lastcol,
SCIP_Real vals 
)

gets objective coefficients from LP problem object

Parameters
lpiLP interface structure
firstcolfirst column to get objective coefficient for
lastcollast column to get objective coefficient for
valsarray to store objective coefficients

Definition at line 1686 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::highs, SCIP_LPi::iccnt, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiGetBounds(), SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by lpFlushChgCols(), lpLexDualSimplex(), SCIPlpiGetObjsen(), SCIPlpiScaleCol(), and SCIPlpMarkFlushed().

◆ SCIPlpiGetBounds()

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

gets current bounds from LP problem object

Parameters
lpiLP interface structure
firstcolfirst column to get bounds for
lastcollast column to get bounds for
lbsarray to store lower bound values, or NULL
ubsarray to store upper bound values, or NULL

Definition at line 1709 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::highs, SCIP_LPi::iccnt, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiGetNCols(), SCIPlpiGetSides(), SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by checkLPBoundsClean(), lpFlushChgCols(), lpLexDualSimplex(), SCIPlpiGetCols(), SCIPlpiGetObj(), and SCIPlpMarkFlushed().

◆ SCIPlpiGetSides()

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

◆ SCIPlpiGetCoef()

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

gets a single coefficient

Parameters
lpiLP interface structure
rowrow number of coefficient
colcolumn number of coefficient
valpointer to store the value of the coefficient

Definition at line 1771 of file lpi_clp.cpp.

References CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIP_LPi::spx, spxSolve(), SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by SCIPdummyDebugMethodForSun(), SCIPlpiGetSides(), and updateObjUpperbound().

◆ SCIPlpiSolvePrimal()

SCIP_RETCODE SCIPlpiSolvePrimal ( SCIP_LPI lpi)

calls primal simplex to solve the LP

calls primal simplex to solve the LP

Parameters
lpiLP interface structure

Definition at line 1805 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::highs, HIGHS_CALL, 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, SCIP_LPi::mosekenv, MSK_getsolutionstatus(), SCIP_LPi::niterations, SCIP_LPi::nrngrows, NULL, SCIP_LPi::optimizecount, SCIP_LPi::parameters, presolve(), SCIP_LPi::prob, QS_CONDRET, SCIP_LPi::rngvarsadded, SCIP_LPi::rowrepswitch, SCIP_ALLOC, SCIP_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(), computeConvexEnvelopeFacet(), computeVertexPolyhedralFacetLP(), handle_singular(), lpLexDualSimplex(), lpPrimalSimplex(), SCIP_DECL_PARAMCHGD(), and spxSolve().

◆ SCIPlpiSolveDual()

SCIP_RETCODE SCIPlpiSolveDual ( SCIP_LPI lpi)

calls dual simplex to solve the LP

calls dual simplex to solve the LP

Parameters
lpiLP interface structure

Definition at line 1880 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::highs, HIGHS_CALL, 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, SCIP_LPi::mosekenv, MSK_getsolutionstatus(), SCIP_LPi::niterations, SCIP_LPi::nrngrows, SCIP_LPi::nthreads, NULL, SCIP_LPi::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(), computeConvexEnvelopeFacet(), computeRelIntPoint(), computeVertexPolyhedralFacetLP(), conflictAnalyzeLP(), lpDualSimplex(), lpiStrongbranch(), lpiStrongbranchIntegral(), lpLexDualSimplex(), SCIPconflictAnalyzeStrongbranch(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvARow(), SCIPlpiGetBInvCol(), SCIPlpiGetBInvRow(), SCIPlpiSolveBarrier(), SCIPlpiSolvePrimal(), SCIPlpiStrongbranch(), and SCIPrunBoundHeuristic().

◆ SCIPlpiSolveBarrier()

SCIP_RETCODE SCIPlpiSolveBarrier ( SCIP_LPI lpi,
SCIP_Bool  crossover 
)

◆ SCIPlpiStartStrongbranch()

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
lpiLP interface structure

Definition at line 2006 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, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_OKAY, SCIPdebugMessage, SCIPlpiEndStrongbranch(), SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, updateScaledLP(), and SCIP_LPi::xprslp.

Referenced by SCIPconflictAnalyzeStrongbranch(), SCIPlpiSolveBarrier(), and SCIPlpStartStrongbranch().

◆ SCIPlpiEndStrongbranch()

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
lpiLP interface structure

Definition at line 2018 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, SCIPdebugMessage, SCIP_LPi::solver, SCIP_LPi::spx, and SCIP_LPi::xprslp.

Referenced by SCIPconflictAnalyzeStrongbranch(), SCIPlpEndStrongbranch(), and SCIPlpiStartStrongbranch().

◆ SCIPlpiStrongbranchFrac()

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
lpiLP interface structure
colcolumn to apply strong branching on
psolfractional current primal solution value of column
itlimiteration limit for strong branchings
downstores dual bound after branching column down
upstores dual bound after branching column up
downvalidstores whether the returned down value is a valid dual bound; otherwise, it can only be used as an estimate value
upvalidstores whether the returned up value is a valid dual bound; otherwise, it can only be used as an estimate value
iterstores total number of strong branching iterations, or -1; may be NULL

Definition at line 2283 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::highs, 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, SCIP_Real, SCIPdebugMessage, SCIPlpiGetObjval(), SCIPlpiInfinity(), SCIPlpiIsOptimal(), SCIPlpiStrongbranch(), SCIPlpiStrongbranchesFrac(), setIntParam(), setParameterValues(), strongbranch(), and TRUE.

Referenced by lpiStrongbranch(), SCIPcolGetStrongbranch(), and SCIPlpiStrongbranchInt().

◆ SCIPlpiStrongbranchesFrac()

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
lpiLP interface structure
colscolumns to apply strong branching on
ncolsnumber of columns
psolsfractional current primal solution values of columns
itlimiteration limit for strong branchings
downstores dual bounds after branching columns down
upstores dual bounds after branching columns up
downvalidstores whether the returned down values are valid dual bounds; otherwise, they can only be used as an estimate values
upvalidstores whether the returned up values are a valid dual bounds; otherwise, they can only be used as an estimate values
iterstores total number of strong branching iterations, or -1; may be NULL

Definition at line 2304 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::highs, 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, SCIP_Real, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetObjval(), SCIPlpiInfinity(), SCIPlpiIsOptimal(), SCIPlpiStrongbranch(), SCIPlpiStrongbranchInt(), setIntParam(), setParameterValues(), and TRUE.

Referenced by SCIPcolGetStrongbranches(), SCIPlpiStrongbranchesInt(), and SCIPlpiStrongbranchFrac().

◆ SCIPlpiStrongbranchInt()

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
lpiLP interface structure
colcolumn to apply strong branching on
psolcurrent integral primal solution value of column
itlimiteration limit for strong branchings
downstores dual bound after branching column down
upstores dual bound after branching column up
downvalidstores whether the returned down value is a valid dual bound; otherwise, it can only be used as an estimate value
upvalidstores whether the returned up value is a valid dual bound; otherwise, it can only be used as an estimate value
iterstores total number of strong branching iterations, or -1; may be NULL

Definition at line 2329 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(), SCIPlpiStrongbranchFrac(), strongbranch(), and TRUE.

Referenced by SCIPcolGetStrongbranch(), and SCIPlpiStrongbranchesFrac().

◆ SCIPlpiStrongbranchesInt()

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
lpiLP interface structure
colscolumns to apply strong branching on
ncolsnumber of columns
psolscurrent integral primal solution values of columns
itlimiteration limit for strong branchings
downstores dual bounds after branching columns down
upstores dual bounds after branching columns up
downvalidstores whether the returned down values are valid dual bounds; otherwise, they can only be used as an estimate values
upvalidstores whether the returned up values are a valid dual bounds; otherwise, they can only be used as an estimate values
iterstores total number of strong branching iterations, or -1; may be NULL

Definition at line 2350 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, SCIP_UNUSED, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiStrongbranch(), SCIPlpiStrongbranchesFrac(), SCIPlpiWasSolved(), and TRUE.

Referenced by SCIPcolGetStrongbranches(), and SCIPlpiStrongbranchInt().

◆ SCIPlpiWasSolved()

SCIP_Bool SCIPlpiWasSolved ( SCIP_LPI lpi)

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

Parameters
lpiLP interface structure

Definition at line 2386 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, SCIPdebugMessage, SCIPlpiGetSolFeasibility(), SCIP_LPi::solstat, and SCIP_LPi::solved.

Referenced by performStrongbranchWithPropagation(), SCIPconflictAnalyzeLP(), and SCIPlpiStrongbranchesInt().

◆ SCIPlpiGetSolFeasibility()

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
lpiLP interface structure
primalfeasiblepointer to store primal feasibility status
dualfeasiblepointer to store dual feasibility status

Definition at line 2405 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, SCIP_LPi::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_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
lpiLP interface structure

Definition at line 2450 of file lpi_clp.cpp.

References SCIP_LPi::clp, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::lpid, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, 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_Bool SCIPlpiHasPrimalRay ( SCIP_LPI lpi)

◆ SCIPlpiIsPrimalUnbounded()

◆ SCIPlpiIsPrimalInfeasible()

◆ SCIPlpiIsPrimalFeasible()

◆ SCIPlpiExistsDualRay()

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
lpiLP interface structure

Definition at line 2537 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, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIP_Bool, SCIPdebugMessage, SCIPlpiHasDualRay(), SCIPlpiIsPrimalFeasible(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by SCIPlpiGetState(), SCIPlpiIsPrimalFeasible(), SCIPlpiIsPrimalInfeasible(), and SCIPlpiStrongbranch().

◆ SCIPlpiHasDualRay()

◆ SCIPlpiIsDualUnbounded()

◆ SCIPlpiIsDualInfeasible()

SCIP_Bool SCIPlpiIsDualInfeasible ( SCIP_LPI lpi)

◆ SCIPlpiIsDualFeasible()

◆ SCIPlpiIsOptimal()

◆ SCIPlpiIsStable()

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.

returns TRUE iff current LP basis is stable

Parameters
lpiLP interface structure

Definition at line 2647 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::highs, HIGHS_CALL, HIGHS_relDiff, SCIP_LPi::lastalgorithm, SCIP_LPi::lastsolvetype, MOSEK_relDiff, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_Bool, SCIP_INVALID, SCIP_LPSOLQUALITY_ESTIMCONDITION, SCIP_OKAY, SCIP_Real, SCIPABORT, SCIPdebugMessage, SCIPlpiGetRealSolQuality(), SCIPlpiIsInfinity(), SCIPlpiIsIterlimExc(), SCIPlpiIsObjlimExc(), SCIPlpiIsOptimal(), SCIPlpiIsTimelimExc(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::termcode, TRUE, XPRS_LP_OPTIMAL_SCALEDINFEAS, and SCIP_LPi::xprslp.

Referenced by checkAltLPInfeasible(), lpSolveStable(), SCIPconflictAnalyzeStrongbranch(), SCIPlpiIsOptimal(), and SCIPlpiStrongbranch().

◆ SCIPlpiIsObjlimExc()

◆ SCIPlpiIsIterlimExc()

◆ SCIPlpiIsTimelimExc()

◆ SCIPlpiGetInternalStatus()

◆ SCIPlpiIgnoreInstability()

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
lpiLP interface structure
successpointer to store, whether the instability could be ignored

Definition at line 1647 of file lpi_clp.cpp.

References SCIP_LPi::clp, SCIP_LPi::cpxlp, errorMessage(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::instabilityignored, SCIP_LPi::lpid, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_OKAY, SCIP_PLUGINNOTFOUND, 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()

◆ SCIPlpiGetSol()

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
lpiLP interface structure
objvalstores the objective value, may be NULL if not needed
primsolprimal solution vector, may be NULL if not needed
dualsoldual solution vector, may be NULL if not needed
activityrow activity vector, may be NULL if not needed
redcostreduced cost vector, may be NULL if not needed

Definition at line 2788 of file lpi_clp.cpp.

References BMSallocMemoryArray, BMScopyMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureRowMem(), ensureSidechgMem(), ensureTabMem(), errorMessage(), FEASTOL, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::ibas, SCIP_LPi::instabilityignored, SCIP_LPi::irhs, SCIP_LPi::irng, SCIP_LPi::isen, SCIP_LPi::lastalgo, SCIP_LPi::lastsolvetype, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, MSK_getsolutionstatus(), SCIP_LPi::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, SCIP_LPi::termcode, x, and SCIP_LPi::xprslp.

Referenced by BENDERS_CUTORACLE(), computeConvexEnvelopeFacet(), computeRelIntPoint(), computeVertexPolyhedralFacetLP(), extendToCover(), lpLexDualSimplex(), SCIPgetDualProof(), SCIPlpGetSol(), SCIPlpGetUnboundedSol(), and SCIPlpiGetObjval().

◆ SCIPlpiGetPrimalRay()

◆ SCIPlpiGetDualfarkas()

SCIP_RETCODE SCIPlpiGetDualfarkas ( SCIP_LPI lpi,
SCIP_Real dualfarkas 
)

◆ SCIPlpiGetIterations()

◆ SCIPlpiGetRealSolQuality()

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
lpiLP interface structure
qualityindicatorindicates which quality should be returned
qualitypointer to store quality number

Definition at line 2940 of file lpi_clp.cpp.

References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, getRedCostEst(), SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, NULL, SCIP_INVALID, SCIP_INVALIDDATA, SCIP_LPSOLQUALITY_ESTIMCONDITION, SCIP_LPSOLQUALITY_EXACTCONDITION, SCIP_OKAY, SCIP_Real, SCIP_UNUSED, 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_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
lpiLP interface structure
cstatarray to store column basis status, or NULL
rstatarray to store row basis status, or NULL (the status is need for the row and not for the slack column)

Definition at line 2967 of file lpi_clp.cpp.

References CHECK_ZERO, SCIP_LPi::clp, ConvertGlopConstraintStatus(), ConvertGlopVariableStatus(), convertstat_mosek2scip(), convertstat_mosek2scip_slack(), SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureRowMem(), ensureSidechgMem(), ensureTabMem(), errorMessage(), FALSE, getbase(), getRedCostEst(), SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::ibas, SCIP_LPi::isen, SCIP_LPi::lastsolvetype, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::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_RETCODE SCIPlpiSetBase ( SCIP_LPI lpi,
const int *  cstat,
const int *  rstat 
)

◆ SCIPlpiGetBasisInd()

◆ SCIPlpiGetBInvRow()

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
lpiLP interface structure
rowrow number
coefpointer to store the coefficients of the row
indsarray to store the non-zero indices, or NULL
nindspointer to store the number of non-zero indices, or NULL (-1: if we do not store sparsity information)

Definition at line 3241 of file lpi_clp.cpp.

References b, BMSallocMemoryArray, BMSclearMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, ensureValMem(), eps, errorMessage(), SCIP_LPi::factorization, SCIP_LPi::grbmodel, handle_singular(), SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::indarray, SCIP_LPi::linear_program, SCIP_LPi::lpid, lpiGetBInvVec(), SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::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, SCIP_UNUSED, SCIPdebugMessage, SCIPlpiGetBasisInd(), SCIPlpiGetBInvCol(), SCIPlpiGetNRows(), SCIPlpiSolveDual(), SCIPmessagePrintWarning(), setIntParam(), setParameterValues(), SCIP_LPi::solver, SCIP_LPi::spx, SVECTOR, SCIP_LPi::task, SCIP_LPi::tmp_row, x, SCIP_LPi::xprslp, and y.

Referenced by SCIPlpGetBInvRow(), SCIPlpiGetBasisInd(), and SCIPlpiGetBInvARow().

◆ SCIPlpiGetBInvCol()

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
lpiLP interface structure
ccolumn 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
coefpointer to store the coefficients of the column
indsarray to store the non-zero indices, or NULL
nindspointer to store the number of non-zero indices, or NULL (-1: if we do not store sparsity information)

Definition at line 3276 of file lpi_clp.cpp.

References b, BMSallocMemoryArray, BMSclearMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, ensureSidechgMem(), ensureValMem(), eps, errorMessage(), SCIP_LPi::grbmodel, handle_singular(), SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::indarray, SCIP_LPi::linear_program, SCIP_LPi::lpid, lpiGetBInvVec(), SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::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, SCIP_UNUSED, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetBasisInd(), SCIPlpiGetBInvARow(), SCIPlpiGetNRows(), SCIPlpiSolveDual(), SCIP_LPi::senarray, setIntParam(), setParameterValues(), SCIP_LPi::solver, SCIP_LPi::spx, SVECTOR, SCIP_LPi::task, SCIP_LPi::tmp_row, x, and SCIP_LPi::xprslp.

Referenced by lpiGetBInvVec(), SCIPlpGetBInvCol(), and SCIPlpiGetBInvRow().

◆ SCIPlpiGetBInvARow()

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
lpiLP interface structure
rrow number
binvrowrow in (A_B)^-1 from prior call to SCIPlpiGetBInvRow(), or NULL
coefvector to return coefficients of the row
indsarray to store the non-zero indices, or NULL
nindspointer to store the number of non-zero indices, or NULL (-1: if we do not store sparsity information)

Definition at line 3314 of file lpi_clp.cpp.

References BMSallocMemoryArray, BMSclearMemoryArray, BMScopyMemoryArray, BMSfreeMemoryArray, BMSfreeMemoryArrayNull, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, ensureTabMem(), ensureValMem(), eps, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::indarray, SCIP_LPi::itab, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::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, SCIP_UNUSED, SCIPdebugMessage, SCIPlpiGetBasisInd(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvRow(), SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPlpiSolveDual(), setIntParam(), setParameterValues(), SCIP_LPi::solver, SCIP_LPi::spx, SVECTOR, SCIP_LPi::task, SCIP_LPi::tmp_row, SCIP_LPi::valarray, x, and SCIP_LPi::xprslp.

Referenced by SCIPlpGetBInvARow(), and SCIPlpiGetBInvCol().

◆ SCIPlpiGetBInvACol()

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 dense column of inverse basis matrix times constraint matrix B^-1 * A

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

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
lpiLP interface structure
ccolumn number
coefvector to return coefficients of the column
indsarray to store the non-zero indices, or NULL
nindspointer to store the number of non-zero indices, or NULL (-1: if we do not store sparsity information)

Definition at line 3349 of file lpi_clp.cpp.

References BMSallocMemoryArray, BMSclearMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, ensureSidechgMem(), ensureValMem(), eps, errorMessage(), SCIP_LPi::grbmodel, handle_singular(), SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::indarray, SCIP_LPi::linear_program, SCIP_LPi::lpid, lpiGetBInvVec(), SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::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, SCIP_UNUSED, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetBasisInd(), SCIPlpiGetNRows(), SCIPlpiGetState(), SCIPlpiSolveDual(), SCIP_LPi::senarray, setIntParam(), setParameterValues(), SCIP_LPi::solver, SCIP_LPi::spx, SVECTOR, SCIP_LPi::task, SCIP_LPi::tmp_column, SCIP_LPi::valarray, x, and SCIP_LPi::xprslp.

Referenced by SCIPlpGetBInvACol(), and SCIPlpiGetBInvARow().

◆ SCIPlpiGetState()

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

◆ SCIPlpiSetState()

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
lpiLP interface structure
blkmemblock memory
lpistateLPi state information (like basis information), or NULL

Definition at line 3429 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::highs, SCIP_LPi::ibas, SCIP_LPi::iccnt, invalidateSolution(), SCIP_LPi::ircnt, SCIP_LPi::isen, SCIP_LPi::lastsolvetype, lpistateUnpack(), SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::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()

◆ SCIPlpiFreeState()

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

frees LPi state information

frees LP state information

Parameters
lpiLP interface structure
blkmemblock memory
lpistatepointer to LPi state information (like basis information)

Definition at line 3503 of file lpi_clp.cpp.

References SCIP_LPi::lpid, lpistateFree(), SCIP_LPi::mosekenv, NULL, SCIP_Bool, SCIP_OKAY, SCIPdebugMessage, SCIPlpiHasStateBasis(), SCIP_LPi::solver, and SCIP_LPi::task.

Referenced by SCIPlpFreeState(), SCIPlpiClearState(), and warmStartInfoFree().

◆ SCIPlpiHasStateBasis()

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
lpiLP interface structure
lpistateLP state information (like basis information), or NULL

Definition at line 3522 of file lpi_clp.cpp.

References errorMessageAbort(), FALSE, SCIP_LPi::lpid, SCIP_LPi::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_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
lpiLP interface structure
fnamefile name

Definition at line 3532 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::highs, HIGHS_CALL, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_LPERROR, SCIP_NOTIMPLEMENTED, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_READERROR, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiWriteState(), SCIP_LPi::solver, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by SCIPlpiHasStateBasis().

◆ SCIPlpiWriteState()

◆ 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

stores LPi pricing norms information

Parameters
lpiLP interface structure
blkmemblock memory
lpinormspointer to LPi pricing norms information

Definition at line 3592 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, SCIP_LPi::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
lpiLP interface structure
blkmemblock memory
lpinormsLPi pricing norms information, or NULL

Definition at line 3610 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, SCIP_UNUSED, 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
lpiLP interface structure
blkmemblock memory
lpinormspointer to LPi pricing norms information, or NULL

Definition at line 3623 of file lpi_clp.cpp.

References BMSfreeBlockMemory, BMSfreeBlockMemoryArray, errorMessage(), NULL, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_UNUSED, SCIPdebugMessage, SCIPlpiGetIntpar(), and SCIP_LPi::solver.

Referenced by SCIPlpFreeNorms(), SCIPlpiSetNorms(), and warmStartInfoFree().

◆ SCIPlpiGetIntpar()

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

◆ SCIPlpiSetIntpar()

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
lpiLP interface structure
typeparameter number
ivalparameter value

Definition at line 3692 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::highs, HIGHS_CALL, SCIP_LPi::lp_info, SCIP_LPi::lpid, SCIP_LPi::lpinfo, SCIP_LPi::messagehdlr, MIN, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::notfromscratch, SCIP_LPi::nthreads, NULL, SCIP_LPi::numthreads, SCIP_LPi::par_presolve, SCIP_LPi::parameters, paramty2str(), SCIP_LPi::pricing, SCIP_LPi::prob, QS_CONDRET, SCIP_LPi::restrictselectdef, SCIP_LPi::rngfound, SCIP_Bool, SCIP_CALL, SCIP_INVALIDDATA, SCIP_LPERROR, SCIP_LPPAR_FASTMIP, SCIP_LPPAR_FROMSCRATCH, SCIP_LPPAR_LPINFO, SCIP_LPPAR_LPITLIM, SCIP_LPPAR_POLISHING, SCIP_LPPAR_PRESOLVING, SCIP_LPPAR_PRICING, SCIP_LPPAR_RANDOMSEED, SCIP_LPPAR_REFACTOR, SCIP_LPPAR_SCALING, SCIP_LPPAR_THREADS, SCIP_LPPAR_TIMING, SCIP_OKAY, SCIP_PARAMETERUNKNOWN, SCIP_PRICING_AUTO, SCIP_PRICING_DEVEX, SCIP_PRICING_FULL, SCIP_PRICING_LPIDEFAULT, SCIP_PRICING_PARTIAL, SCIP_PRICING_STEEP, SCIP_PRICING_STEEPQSTART, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, 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(), computeVertexPolyhedralFacetLP(), conflictAnalyzeLP(), extendToCover(), initAlternativeLP(), lpSetIntpar(), SCIP_DECL_CONSCHECK(), SCIPlpiAddRows(), SCIPlpiCreate(), SCIPlpiGetIntpar(), SCIPrunBoundHeuristic(), solveClassification(), and solveMinIISC().

◆ SCIPlpiGetRealpar()

◆ SCIPlpiSetRealpar()

◆ SCIPlpiInterrupt()

SCIP_RETCODE SCIPlpiInterrupt ( SCIP_LPI lpi,
SCIP_Bool  interrupt 
)

interrupts the currently ongoing lp solve or disables the interrupt

Parameters
lpiLP interface structure
interruptTRUE if interrupt should be set, FALSE if it should be disabled

Definition at line 3895 of file lpi_clp.cpp.

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

Referenced by SCIPlpInterrupt(), and SCIPlpiSetRealpar().

◆ SCIPlpiInfinity()

◆ SCIPlpiIsInfinity()

SCIP_Bool SCIPlpiIsInfinity ( SCIP_LPI lpi,
SCIP_Real  val 
)

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

Parameters
lpiLP interface structure
valvalue to be checked for infinity

Definition at line 3931 of file lpi_clp.cpp.

References FALSE, fileExists(), infinity, IS_POSINF, LPIINFINITY, SCIP_LPi::mosekenv, NULL, SCIP_Bool, SCIPdebugMessage, SCIP_LPi::spx, SCIP_LPi::task, and TRUE.

Referenced by addBdchg(), checkLPBoundsClean(), performStrongbranchWithPropagation(), SCIPlpiChgBounds(), SCIPlpiGetPrimalRay(), SCIPlpiInfinity(), SCIPlpiIsStable(), SCIPlpiScaleCol(), SCIPlpiScaleRow(), and SCIPlpiSetState().

◆ SCIPlpiReadLP()

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
lpiLP interface structure
fnamefile name

Definition at line 3972 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::highs, HIGHS_CALL, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::previt, SCIP_LPi::prob, SCIP_ALLOC, SCIP_NOFILE, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_READERROR, SCIP_WRITEERROR, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiWriteLP(), SCIPmessagePrintWarning(), SCIPsnprintf(), SCIPsplitFilename(), SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.

Referenced by fileExists().

◆ SCIPlpiWriteLP()

◆ lpiStrongbranch()

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

performs strong branching iterations on one arbitrary candidate

Parameters
lpiLP interface structure
colcolumn to apply strong branching on
psolcurrent primal solution value of column
itlimiteration limit for strong branchings
downstores dual bound after branching column down
upstores dual bound after branching column up
downvalidstores whether the returned down value is a valid dual bound; otherwise, it can only be used as an estimate value
upvalidstores whether the returned up value is a valid dual bound; otherwise, it can only be used as an estimate value
iterstores total number of strong branching iterations, or -1; may be NULL

Definition at line 2031 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 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 
)
static

performs strong branching iterations on given arbitrary candidates

Parameters
lpiLP interface structure
colscolumns to apply strong branching on
ncolsnumber of columns
psolsfractional current primal solution values of columns
itlimiteration limit for strong branchings
downstores dual bounds after branching columns down
upstores dual bounds after branching columns up
downvalidstores whether the returned down values are valid dual bounds; otherwise, they can only be used as an estimate values
upvalidstores whether the returned up values are a valid dual bounds; otherwise, they can only be used as an estimate values
iterstores total number of strong branching iterations, or -1; may be NULL

Definition at line 2151 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 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 
)
static

manually performs strong branching on one integral variable

Parameters
lpiLP interface structure
colcolumn to apply strong branching on
psolcurrent integral primal solution value of column
itlimiteration limit for strong branchings
downstores dual bound after branching column down
upstores dual bound after branching column up
downvalidstores whether the returned down value is a valid dual bound; otherwise, it can only be used as an estimate value
upvalidstores whether the returned up value is a valid dual bound; otherwise, it can only be used as an estimate value
iterstores total number of strong branching iterations, or -1; may be NULL

Definition at line 2651 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 void deleteRowsAndUpdateCurrentBasis ( SCIP_LPI lpi,
const DenseBooleanColumn &  rows_to_delete 
)
static

delete rows from LP and update the current basis

Parameters
lpiLP interface structure
rows_to_deletearray to mark rows that should be deleted

Definition at line 552 of file lpi_glop.cpp.

References SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, and SCIP_LPi::solver.

Referenced by SCIPlpiDelRows(), and SCIPlpiDelRowset().

◆ getASlice()

static SCIP_RETCODE getASlice ( SCIP_LPI lpi,
SCIP_Bool  iscon,
int  first,
int  last,
int *  nnonz,
int *  beg,
int *  ind,
double *  val 
)
static

get a slice of a row or column

Parameters
lpiLP interface structure
isconwhether we are requesting a slice of a constraint or column
firstfirst index
lastlast index
nnonzpointer to store the number of nonzeros
begarray for begins of indices/values
indarray of row/column indices
valarray of values

Definition at line 1811 of file lpi_msk.c.

References SCIP_LPi::aptre, ensureAptreMem(), SCIP_LPi::lpid, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, and SCIP_LPi::task.

Referenced by SCIPlpiGetCols(), and SCIPlpiGetRows().

◆ getSolutionStatus()

static SCIP_RETCODE getSolutionStatus ( SCIP_LPI lpi,
MSKprostae *  prosta,
MSKsolstae *  solsta 
)
static

gets the internal solution status of the solver

Parameters
lpiLP interface structure
prostapointer to store the problem status
solstapointer to store the solution status

Definition at line 2155 of file lpi_msk.c.

References SCIP_LPi::lastsolvetype, MOSEK_CALL, SCIP_LPi::mosekenv, MSK_getsolutionstatus(), NULL, SCIP_OKAY, and SCIP_LPi::task.

Referenced by SCIPlpiExistsDualRay(), SCIPlpiExistsPrimalRay(), SCIPlpiGetInternalStatus(), SCIPlpiHasDualRay(), SCIPlpiHasPrimalRay(), SCIPlpiIsDualFeasible(), SCIPlpiIsOptimal(), SCIPlpiIsPrimalFeasible(), and SCIPlpiIsPrimalUnbounded().

◆ filterTRMrescode()

static MSKrescodee filterTRMrescode ( SCIP_MESSAGEHDLR messagehdlr,
MSKrescodee *  termcode,
MSKrescodee  res 
)
static

helper method to filter out numerical problems

Parameters
messagehdlrmessage handler
termcodepointer to store output termination code
resinput result of call to Mosek function

Definition at line 2172 of file lpi_msk.c.

References NULL, SCIP_UNUSED, and SCIPmessagePrintWarning().

Referenced by SCIPlpiSolveBarrier(), and SolveWSimplex().

◆ SolveWSimplex()

◆ SCIPlpiStrongbranch()

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

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
lpiLP interface structure
colcolumn to apply strong branching on
psolcurrent primal solution value of column
itlimiteration limit for strong branchings
downstores dual bound after branching column down
upstores dual bound after branching column up
downvalidstores whether the returned down value is a valid dual bound; otherwise, it can only be used as an estimate value
upvalidstores whether the returned up value is a valid dual bound; otherwise, it can only be used as an estimate value
iterstores total number of strong branching iterations, or -1; may be NULL

Definition at line 2860 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, SCIP_LPi::mosekenv, SCIP_LPi::ncols, SCIP_LPi::nrows, NULL, SCIP_LPi::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 SCIP_RETCODE handle_singular ( SCIP_LPI lpi,
int *  basis,
MSKrescodee  res 
)
static

handle singular basis

Parameters
lpiLP interface structure
basisarray of basis indices
resresult

Definition at line 3880 of file lpi_msk.c.

References MOSEK_CALL, SCIP_CALL, SCIP_OKAY, SCIPlpiSolvePrimal(), and SCIP_LPi::task.

Referenced by SCIPlpiGetBasisInd(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvCol(), and SCIPlpiGetBInvRow().

◆ convertstat_mosek2scip()

static SCIP_RETCODE convertstat_mosek2scip ( SCIP_LPI lpi,
SCIP_Bool  iscon,
MSKstakeye *  sk,
int  n,
int *  stat 
)
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
lpiLP interface structure
isconwhether constraints/variables are considered
skstatus array of Mosek
nsize
statstatus array of SCIP

Definition at line 3910 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 SCIP_RETCODE convertstat_mosek2scip_slack ( SCIP_LPI lpi,
SCIP_Bool  iscon,
MSKstakeye *  sk,
int  m,
int *  stat 
)
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
lpiLP interface structure
isconwhether constraints or variables are accessed
skMosek basis status
msize
statstatus array

Definition at line 3986 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 void convertstat_scip2mosek ( const int *  stat,
int  n,
MSKstakeye *  resstat 
)
static

convert SCIP to Mosek basis status

Parameters
statSCIP status array
nsize of array
resstatresulting Mosek status array

Definition at line 4053 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 void convertstat_scip2mosek_slack ( const int *  stat,
int  n,
MSKstakeye *  resstat 
)
static

convert SCIP to Mosek basis status - slack variables

Parameters
statSCIP status array
nsize of array
resstatresulting Mosek status array

Definition at line 4084 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 SCIP_RETCODE lpistateCreate ( SCIP_LPISTATE **  lpistate,
BMS_BLKMEM blkmem,
int  ncols,
int  nrows 
)
static

creates LPi state information object

Parameters
lpistatepointer to LPi state
blkmemblock memory
ncolsnumber of columns to store
nrowsnumber of rows to store

Definition at line 4566 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 void lpistateFree ( SCIP_LPISTATE **  lpistate,
BMS_BLKMEM blkmem 
)
static

frees LPi state information

Parameters
lpistatepointer to LPi state information (like basis information)
blkmemblock memory

Definition at line 4592 of file lpi_msk.c.

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

Referenced by SCIPlpiFreeState().

◆ checkState1()

static SCIP_RETCODE checkState1 ( SCIP_LPI lpi,
int  n,
MSKstakeye *  sk,
SCIP_Bool  isrow 
)
static

check state

Note
last solve call must have been either simplex or barrier with crossover or base must have been set manually
Parameters
lpiLP interface structure
nnumber of rows or columns
skbasis status
isrowwhether rows/columns are considered

Definition at line 4612 of file lpi_msk.c.

References DEBUG_CHECK_STATE_TOL, SCIP_LPi::lastsolvetype, MOSEK_CALL, NULL, SCIP_LPi::optimizecount, SCIP_OKAY, SCIPdebugMessage, and SCIP_LPi::task.

Referenced by checkState().

◆ checkState()

static SCIP_RETCODE checkState ( SCIP_LPI lpi,
int  ncols,
int  nrows 
)
static

check state

Note
last solve call must have been either simplex or barrier with crossover or base must have been set manually
Parameters
lpiLP interface structure
ncolsnumber of columns
nrowsnumber of rows

Definition at line 4687 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 SCIP_RETCODE lpistatePack ( SCIP_LPI lpi,
SCIP_LPISTATE lpistate 
)
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
lpiLP interface structure
lpistatepointer to LPi state data

Definition at line 4708 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 void lpistateUnpack ( const SCIP_LPISTATE lpistate,
MSKstakeye *  skx,
MSKstakeye *  skc 
)
static

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

Parameters
lpistatepointer to LPi state data
skxbasis status for columns
skcbasis status for rows

Definition at line 4732 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().