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 )

gets name and version of LP solver

Definition at line 454 of file lpi_clp.cpp.

References CLP_VERSION, cpxname, glopname, grbname, highsname, LPINAME, mskname, SCIP_MAXSTRLEN, SCIPdebugMessage, spxname, and xprsname.

Referenced by doScipCreate(), lpFlushChgCols(), lpFlushChgRows(), SCIPlpCreate(), SCIPlpMarkFlushed(), and SCIPprintVersion().

◆ SCIPlpiGetSolverDesc()

const char * SCIPlpiGetSolverDesc ( void )

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

Definition at line 463 of file lpi_clp.cpp.

References highsdesc, SCIPdebugMessage, and spxdesc.

Referenced by doScipCreate().

◆ 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

Here we return the pointer to the LP environment.

gets pointer for LP solver - use only with great care

Here we return the pointer to the model.

Parameters

lpi	pointer to an LP interface structure

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

◆ 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

lpi	pointer to an LP interface structure
ncols	length of integrality array
intInfo	integrality array (0: continuous, 1: integer). May be NULL iff ncols is 0.

Definition at line 480 of file lpi_clp.cpp.

References SCIP_LPi::linear_program, NULL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPerrorMessage, and SCIP_LPi::spx.

Referenced by lpCopyIntegrality().

◆ 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, SCIPdebugMessage, and TRUE.

◆ 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, SCIPdebugMessage, and TRUE.

◆ 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, and TRUE.

◆ SCIPlpiCreate()

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

creates an LP problem object

Parameters

lpi	pointer to an LP interface structure
messagehdlr	message handler to use for printing messages, or NULL
name	problem name
objsen	objective sense

Definition at line 531 of file lpi_clp.cpp.

References BMSallocMemory, BMSallocMemoryArray, BMSallocMemoryCPP, CHECK_ZERO, CHECK_ZERO_STAR, checkRangeInfo(), copyParameterValues(), DEGEN_LEVEL, FALSE, getParameterValues(), HIGHS_CALL, invalidateSolution(), LPI_QSOPT_ALGO_UNKNOWN, MOSEK_CALL, NULL, numlp, printstr(), reusegrbenv, reusemosekenv, SCIP_ALLOC, SCIP_Bool, SCIP_CALL, SCIP_LPERROR, SCIP_LPPAR_PRESOLVING, SCIP_LPPAR_PRICING, SCIP_LPPAR_SCALING, SCIP_OKAY, SCIP_PRICING_LPIDEFAULT, SCIP_Real, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiChgObjsen(), SCIPlpiInfinity(), SCIPlpiSetIntpar(), SCIPmessagePrintWarning(), SENSE2MOSEK, SETBACK_LIMIT, SOPLEX_TRY, SOPLEX_VERBLEVEL, and TRUE.

Referenced by buildVertexPolyhedralSeparationLP(), createLP(), createLPWithHardCuts(), initAlternativeLP(), SCIPlpComputeRelIntPoint(), SCIPlpCreate(), solveClassification(), and solveMinIISC().

◆ SCIPlpiFree()

SCIP_RETCODE SCIPlpiFree ( SCIP_LPI ** lpi )

deletes an LP problem object

Parameters

lpi	pointer to an LP interface structure

Definition at line 643 of file lpi_clp.cpp.

References BMSfreeMemory, BMSfreeMemoryArray, BMSfreeMemoryArrayNull, CHECK_ZERO, CHECK_ZERO_STAR, MOSEK_CALL, NULL, SCIP_OKAY, and SCIPdebugMessage.

Referenced by createLP(), createLPWithHardCuts(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSEXITSOL(), SCIP_DECL_CONSFREE(), SCIPlpComputeRelIntPoint(), SCIPlpFree(), sepadataFree(), solveClassification(), and solveMinIISC().

◆ 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

lpi	LP interface structure
objsen	objective sense
ncols	number of columns
obj	objective function values of columns
lb	lower bounds of columns
ub	upper bounds of columns
colnames	column names, or NULL
nrows	number of rows
lhs	left hand sides of rows
rhs	right hand sides of rows
rownames	row names, or NULL
nnonz	number of nonzero elements in the constraint matrix
beg	start index of each column in ind- and val-array
ind	row indices of constraint matrix entries
val	values of constraint matrix entries

Definition at line 677 of file lpi_clp.cpp.

References addRangeInfo(), SCIP_LPi::aptre, 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().

◆ 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

lpi	LP interface structure
ncols	number of columns to be added
obj	objective function values of new columns
lb	lower bounds of new columns
ub	upper bounds of new columns
colnames	column names, or NULL
nnonz	number of nonzero elements to be added to the constraint matrix
beg	start index of each column in ind- and val-array, or NULL if nnonz == 0
ind	row indices of constraint matrix entries, or NULL if nnonz == 0
val	values of constraint matrix entries, or NULL if nnonz == 0

Definition at line 758 of file lpi_clp.cpp.

References SCIP_LPi::aptre, 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, SCIPlpiGetNRows(), SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.

Referenced by addAltLPColumn(), computeRelIntPoint(), createAltLPColumn(), createLP(), createLPWithHardCuts(), lpFlushAddCols(), SCIPlpiLoadColLP(), solveClassification(), and solveMinIISC().

◆ SCIPlpiDelCols()

SCIP_RETCODE SCIPlpiDelCols	(	SCIP_LPI *	lpi,
		int	firstcol,
		int	lastcol
	)

deletes all columns in the given range from LP

Parameters

lpi	LP interface structure
firstcol	first column to be deleted
lastcol	last column to be deleted

Definition at line 837 of file lpi_clp.cpp.

References BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, debugCheckColrang(), ensureColMem(), ensureValMem(), getIndicesRange(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, 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, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetNCols(), SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by lpFlushDelCols(), and SCIPlpiClear().

◆ 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

lpi	LP interface structure
dstat	deletion status of columns input: 1 if column should be deleted, 0 if not output: new position of column, -1 if column was deleted

Definition at line 868 of file lpi_clp.cpp.

References 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, SCIPlpiGetNCols(), SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by lpDelColset().

◆ 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

lpi	LP interface structure
nrows	number of rows to be added
lhs	left hand sides of new rows
rhs	right hand sides of new rows
rownames	row names, or NULL
nnonz	number of nonzero elements to be added to the constraint matrix
beg	start index of each row in ind- and val-array, or NULL if nnonz == 0
ind	column indices of constraint matrix entries, or NULL if nnonz == 0
val	values of constraint matrix entries, or NULL if nnonz == 0

Definition at line 914 of file lpi_clp.cpp.

References addRangeInfo(), SCIP_LPi::aptre, 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, SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPlpiSetIntpar(), SCIPmessagePrintWarning(), SCIP_LPi::senarray, SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, TRUE, x, and SCIP_LPi::xprslp.

Referenced by addAltLPColumn(), computeRelIntPoint(), createLP(), createLPWithHardCuts(), initAlternativeLP(), lpFlushAddRows(), SCIPlpiLoadColLP(), solveClassification(), and solveMinIISC().

◆ SCIPlpiDelRows()

SCIP_RETCODE SCIPlpiDelRows	(	SCIP_LPI *	lpi,
		int	firstrow,
		int	lastrow
	)

deletes all rows in the given range from LP

Parameters

lpi	LP interface structure
firstrow	first row to be deleted
lastrow	last row to be deleted

Definition at line 986 of file lpi_clp.cpp.

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

Referenced by lpFlushDelRows(), and SCIPlpiClear().

◆ 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

lpi	LP interface structure
dstat	deletion status of rows input: 1 if row should be deleted, 0 if not output: new position of row, -1 if row was deleted

Definition at line 1018 of file lpi_clp.cpp.

References 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, SCIPlpiGetNRows(), SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by lpDelRowset().

◆ SCIPlpiClear()

SCIP_RETCODE SCIPlpiClear ( SCIP_LPI * lpi )

clears the whole LP

Parameters

lpi	LP interface structure

Definition at line 1064 of file lpi_clp.cpp.

References CHECK_ZERO, checkRangeInfo(), clearRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, invalidateSolution(), SCIP_LPi::lastalgorithm, SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::name, SCIP_LPi::ncols, SCIP_LPi::nrows, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPlpiDelCols(), SCIPlpiDelRows(), SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by SCIPlpiLoadColLP().

◆ SCIPlpiChgBounds()

SCIP_RETCODE SCIPlpiChgBounds	(	SCIP_LPI *	lpi,
		int	ncols,
		const int *	ind,
		const SCIP_Real *	lb,
		const SCIP_Real *	ub
	)

changes lower and upper bounds of columns

Parameters

lpi	LP interface structure
ncols	number of columns to change bounds for
ind	column indices or NULL if ncols is zero
lb	values for the new lower bounds or NULL if ncols is zero
ub	values for the new upper bounds or NULL if ncols is zero

Definition at line 1084 of file lpi_clp.cpp.

References SCIP_LPi::bkx, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clp, CPX_MAGICZEROCONSTANT, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureBkxMem(), ensureBoundchgMem(), ensureColMem(), EPSZ, generateMskBoundkeys(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::iccha, invalidateSolution(), SCIP_LPi::larray, SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPdebugPrintf, SCIPerrorMessage, SCIPlpiIsInfinity(), SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::uarray, x, and SCIP_LPi::xprslp.

Referenced by computeConvexEnvelopeFacet(), fixAltLPVariable(), fixAltLPVariables(), lpFlushChgCols(), lpLexDualSimplex(), SCIPconflictAnalyzeStrongbranch(), SCIPlpiScaleCol(), SCIPrunBoundHeuristic(), unfixAltLPVariable(), and unfixAltLPVariables().

◆ SCIPlpiChgSides()

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

changes left and right hand sides of rows

Parameters

lpi	LP interface structure
nrows	number of rows to change sides for
ind	row indices
lhs	new values for left hand sides
rhs	new values for right hand sides

Definition at line 1167 of file lpi_clp.cpp.

References SCIP_LPi::bkc, CHECK_ZERO, checkRangeInfo(), clearRangeInfo(), SCIP_LPi::clp, convertSides(), SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, delRangeVars(), ensureBkcMem(), ensureRngrowmapMem(), ensureRngrowsMem(), ensureRowMem(), ensureSidechgMem(), generateMskBoundkeys(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, invalidateSolution(), SCIP_LPi::irhs, SCIP_LPi::irng, SCIP_LPi::isen, SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::nrngrows, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIP_LPi::rngindarray, SCIP_LPi::rngrowmap, SCIP_LPi::rngrows, SCIP_LPi::rngvals, SCIP_LPi::rngvarsadded, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIPdebugMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPmessagePrintWarning(), SCIPsortIntReal(), SCIP_LPi::senarray, SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.

Referenced by buildVertexPolyhedralSeparationLP(), computeConvexEnvelopeFacet(), computeVertexPolyhedralFacetLP(), lpFlushChgRows(), lpLexDualSimplex(), scaleFirstRow(), SCIPlpiScaleRow(), and SCIPrunBoundHeuristic().

◆ SCIPlpiChgCoef()

SCIP_RETCODE SCIPlpiChgCoef	(	SCIP_LPI *	lpi,
		int	row,
		int	col,
		SCIP_Real	newval
	)

changes a single coefficient

Parameters

lpi	LP interface structure
row	row number of coefficient to change
col	column number of coefficient to change
newval	new value of coefficient

Definition at line 1197 of file lpi_clp.cpp.

References CHECK_ZERO, checkMatrixValue(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by SCIPlpiScaleCol(), SCIPlpiScaleRow(), updateFirstRow(), updateFirstRowGlobal(), and updateObjUpperbound().

◆ SCIPlpiChgObjsen()

SCIP_RETCODE SCIPlpiChgObjsen	(	SCIP_LPI *	lpi,
		SCIP_OBJSEN	objsense
	)

changes the objective sense

Parameters

lpi	LP interface structure
objsense	new objective sense

Definition at line 1220 of file lpi_clp.cpp.

References CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, cpxObjsen(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_OBJSEN_MAXIMIZE, SCIP_OBJSEN_MINIMIZE, SCIP_OKAY, SCIPdebugMessage, SENSE2MOSEK, SCIP_LPi::solstat, SOPLEX_TRY, SCIP_LPi::spx, spxObjsen(), SCIP_LPi::task, SCIP_LPi::xprslp, and xprsObjsen().

Referenced by computeVertexPolyhedralFacetLP(), SCIPlpiCreate(), and SCIPlpiLoadColLP().

◆ SCIPlpiChgObj()

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

changes objective values of columns in the LP

Parameters

lpi	LP interface structure
ncols	number of columns to change objective value for
ind	column indices to change objective value for
obj	new objective values for columns

Definition at line 1240 of file lpi_clp.cpp.

References CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.

Referenced by computeConvexEnvelopeFacet(), computeVertexPolyhedralFacetLP(), lpFlushChgCols(), lpLexDualSimplex(), SCIPlpiScaleCol(), setAltLPObj(), and setAltLPObjZero().

◆ SCIPlpiScaleRow()

SCIP_RETCODE SCIPlpiScaleRow	(	SCIP_LPI *	lpi,
		int	row,
		SCIP_Real	scaleval
	)

multiplies a row with a non-zero scalar; for negative scalars, the row's sense is switched accordingly

Parameters

lpi	LP interface structure
row	row number to scale
scaleval	scaling multiplier

Definition at line 1267 of file lpi_clp.cpp.

References BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureValMem(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::indarray, infinity, invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lp_modified_since_last_solve, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_RETURN, QS_TESTG, scale_bound(), scale_vec(), SCIP_ALLOC, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiChgCoef(), SCIPlpiChgSides(), SCIPlpiGetNCols(), SCIPlpiGetRows(), SCIPlpiGetSides(), SCIPlpiInfinity(), SCIPlpiIsInfinity(), SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::valarray, x, and SCIP_LPi::xprslp.

◆ SCIPlpiScaleCol()

SCIP_RETCODE SCIPlpiScaleCol	(	SCIP_LPI *	lpi,
		int	col,
		SCIP_Real	scaleval
	)

multiplies a column with a non-zero scalar; the objective value is multiplied with the scalar, and the bounds are divided by the scalar; for negative scalars, the column's bounds are switched

Parameters

lpi	LP interface structure
col	column number to scale
scaleval	scaling multiplier

Definition at line 1340 of file lpi_clp.cpp.

References BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureValMem(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::indarray, infinity, invalidateSolution(), SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_RETURN, QS_TESTG, scale_bound(), scale_vec(), SCIP_ALLOC, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPlpiChgBounds(), SCIPlpiChgCoef(), SCIPlpiChgObj(), SCIPlpiGetCols(), SCIPlpiGetNRows(), SCIPlpiGetObj(), SCIPlpiInfinity(), SCIPlpiIsInfinity(), SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::valarray, x, and SCIP_LPi::xprslp.

◆ SCIPlpiGetNRows()

SCIP_RETCODE SCIPlpiGetNRows	(	SCIP_LPI *	lpi,
		int *	nrows
	)

gets the number of rows in the LP

Parameters

lpi	LP interface structure
nrows	pointer to store the number of rows

Definition at line 1417 of file lpi_clp.cpp.

References CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::nrows, NULL, SCIP_LPi::prob, SCIP_OKAY, SCIPdebugMessage, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by addAltLPColumn(), addRangeInfo(), checkRangeInfo(), computeConvexEnvelopeFacet(), computeVertexPolyhedralFacetLP(), SCIPlpFlush(), SCIPlpiAddCols(), SCIPlpiAddRows(), SCIPlpiChgSides(), SCIPlpiClear(), SCIPlpiDelRows(), SCIPlpiDelRowset(), SCIPlpiGetBase(), SCIPlpiGetBasisInd(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvARow(), SCIPlpiGetBInvCol(), SCIPlpiGetBInvRow(), SCIPlpiGetDualfarkas(), SCIPlpiGetRows(), SCIPlpiGetSol(), SCIPlpiGetState(), SCIPlpiLoadColLP(), SCIPlpiScaleCol(), SCIPlpiSetBase(), SCIPlpiSetState(), SCIPlpiSolveBarrier(), SCIPlpiSolveDual(), SCIPlpiSolvePrimal(), solveClassification(), and solveMinIISC().

◆ SCIPlpiGetNCols()

SCIP_RETCODE SCIPlpiGetNCols	(	SCIP_LPI *	lpi,
		int *	ncols
	)

gets the number of columns in the LP

Parameters

lpi	LP interface structure
ncols	pointer to store the number of cols

Definition at line 1435 of file lpi_clp.cpp.

References CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, SCIP_LPi::ncols, SCIP_LPi::nrngrows, NULL, SCIP_LPi::prob, SCIP_LPi::rngvarsadded, SCIP_OKAY, SCIPdebugMessage, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by addAltLPColumn(), addRangeInfo(), BENDERS_CUTORACLE(), checkIISlocal(), checkLPBoundsClean(), computeConvexEnvelopeFacet(), computeRelIntPoint(), computeVertexPolyhedralFacetLP(), delRangeVars(), extendToCover(), scaleFirstRow(), SCIPlpFlush(), SCIPlpiAddRows(), SCIPlpiChgSides(), SCIPlpiClear(), SCIPlpiDelCols(), SCIPlpiDelColset(), SCIPlpiGetBase(), SCIPlpiGetBasisInd(), SCIPlpiGetBInvARow(), SCIPlpiGetBounds(), SCIPlpiGetCols(), SCIPlpiGetPrimalRay(), SCIPlpiGetSol(), SCIPlpiGetState(), SCIPlpiLoadColLP(), SCIPlpiScaleRow(), SCIPlpiSetBase(), SCIPlpiSetState(), SCIPlpiSolveBarrier(), SCIPlpiSolveDual(), SCIPlpiSolvePrimal(), solveClassification(), and solveMinIISC().

◆ SCIPlpiGetObjsen()

SCIP_RETCODE SCIPlpiGetObjsen	(	SCIP_LPI *	lpi,
		SCIP_OBJSEN *	objsen
	)

gets the objective sense of the LP

gets objective sense of the LP

Parameters

lpi	LP interface structure
objsen	pointer to store objective sense

Definition at line 1666 of file lpi_clp.cpp.

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

Referenced by lpiStrongbranch(), lpiStrongbranches(), and SCIPlpiGetObjval().

◆ SCIPlpiGetNNonz()

SCIP_RETCODE SCIPlpiGetNNonz	(	SCIP_LPI *	lpi,
		int *	nnonz
	)

gets the number of nonzero elements in the LP constraint matrix

Parameters

lpi	LP interface structure
nnonz	pointer to store the number of nonzeros

Definition at line 1453 of file lpi_clp.cpp.

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

Referenced by SCIPlpiGetCols(), SCIPlpiGetRows(), and SCIPlpiLoadColLP().

◆ 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

lpi	LP interface structure
firstcol	first column to get from LP
lastcol	last column to get from LP
lb	buffer to store the lower bound vector, or NULL
ub	buffer to store the upper bound vector, or NULL
nnonz	pointer to store the number of nonzero elements returned, or NULL
beg	buffer to store start index of each column in ind- and val-array, or NULL
ind	buffer to store row indices of constraint matrix entries, or NULL
val	buffer to store values of constraint matrix entries, or NULL

Definition at line 1474 of file lpi_clp.cpp.

References 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, NULL, SCIP_LPi::prob, QS_RETURN, QS_TESTG, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetBounds(), SCIPlpiGetNCols(), SCIPlpiGetNNonz(), SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by SCIPlpiScaleCol().

◆ 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

lpi	LP interface structure
firstrow	first row to get from LP
lastrow	last row to get from LP
lhss	buffer to store left hand side vector, or NULL
rhss	buffer to store right hand side vector, or NULL
nnonz	pointer to store the number of nonzero elements returned, or NULL
beg	buffer to store start index of each row in ind- and val-array, or NULL
ind	buffer to store column indices of constraint matrix entries, or NULL
val	buffer to store values of constraint matrix entries, or NULL

Definition at line 1538 of file lpi_clp.cpp.

References 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, 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, SCIPlpiGetNNonz(), SCIPlpiGetNRows(), SCIPlpiGetSides(), SCIP_LPi::senarray, SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.

Referenced by scaleFirstRow(), 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

lpi	LP interface structure
firstcol	first column to get name from LP
lastcol	last column to get name from LP
colnames	pointers to column names (of size at least lastcol-firstcol+1) or NULL if namestoragesize is zero
namestorage	storage for col names or NULL if namestoragesize is zero
namestoragesize	size of namestorage (if 0, storageleft returns the storage needed)
storageleft	amount of storage left (if < 0 the namestorage was not big enough) or NULL if namestoragesize is zero

Definition at line 1599 of file lpi_clp.cpp.

References BMSallocMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::linear_program, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_ERROR, SCIP_ALLOC, SCIP_LPERROR, SCIP_NOTIMPLEMENTED, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPerrorMessage, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

◆ SCIPlpiGetRowNames()

SCIP_RETCODE SCIPlpiGetRowNames	(	SCIP_LPI *	lpi,
		int	firstrow,
		int	lastrow,
		char **	rownames,
		char *	namestorage,
		int	namestoragesize,
		int *	storageleft
	)

gets row names

Parameters

lpi	LP interface structure
firstrow	first row to get name from LP
lastrow	last row to get name from LP
rownames	pointers to row names (of size at least lastrow-firstrow+1) or NULL if namestoragesize is zero
namestorage	storage for row names or NULL if namestoragesize is zero
namestoragesize	size of namestorage (if 0, -storageleft returns the storage needed)
storageleft	amount of storage left (if < 0 the namestorage was not big enough) or NULL if namestoragesize is zero

Definition at line 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, NULL, SCIP_LPi::prob, QS_ERROR, SCIP_ALLOC, SCIP_LPERROR, SCIP_NOTIMPLEMENTED, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPerrorMessage, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

◆ SCIPlpiGetObj()

SCIP_RETCODE SCIPlpiGetObj	(	SCIP_LPI *	lpi,
		int	firstcol,
		int	lastcol,
		SCIP_Real *	vals
	)

gets objective coefficients from LP problem object

Parameters

lpi	LP interface structure
firstcol	first column to get objective coefficient for
lastcol	last column to get objective coefficient for
vals	array to store objective coefficients

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

Referenced by lpFlushChgCols(), lpLexDualSimplex(), 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

lpi	LP interface structure
firstcol	first column to get bounds for
lastcol	last column to get bounds for
lbs	array to store lower bound values, or NULL
ubs	array to store upper bound values, or NULL

Definition at line 1709 of file lpi_clp.cpp.

References 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(), SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

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

◆ SCIPlpiGetSides()

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

gets current row sides from LP problem object

Parameters

lpi	LP interface structure
firstrow	first row to get sides for
lastrow	last row to get sides for
lhss	array to store left hand side values, or NULL
rhss	array to store right hand side values, or NULL

Definition at line 1740 of file lpi_clp.cpp.

References BMSclearMemoryArray, BMScopyMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, ensureRowMem(), ensureSidechgMem(), errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::ircnt, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_RETURN, QS_TESTG, reconvertSides(), SCIP_LPi::rhsarray, SCIP_LPi::rngarray, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIP_LPi::senarray, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by lpFlushChgRows(), lpLexDualSimplex(), SCIPlpiGetRows(), SCIPlpiScaleRow(), and SCIPlpMarkFlushed().

◆ SCIPlpiGetCoef()

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

gets a single coefficient

Parameters

lpi	LP interface structure
row	row number of coefficient
col	column number of coefficient
val	pointer to store the value of the coefficient

Definition at line 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, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by updateObjUpperbound().

◆ SCIPlpiSolvePrimal()

SCIP_RETCODE SCIPlpiSolvePrimal ( SCIP_LPI * lpi )

calls primal simplex to solve the LP

Parameters

lpi	LP 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, SCIP_LPi::method, 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(), 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(), and solveLPWithHardCuts().

◆ SCIPlpiSolveDual()

SCIP_RETCODE SCIPlpiSolveDual ( SCIP_LPI * lpi )

calls dual simplex to solve the LP

Parameters

lpi	LP 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, SCIP_LPi::method, 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(), SCIPlpiWriteLP(), SCIPlpiWriteState(), setDblParam(), 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
	)

calls barrier or interior point algorithm to solve the LP with crossover to simplex basis

Parameters

lpi	LP interface structure
crossover	perform crossover

Definition at line 1957 of file lpi_clp.cpp.

References addRangeVars(), CHECK_ZERO, checkRangeInfo(), SCIP_LPi::clearstate, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, errorMessage(), FALSE, filterTRMrescode(), SCIP_LPi::fromscratch, SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::grbparam, SCIP_LPi::highs, SCIP_LPi::instabilityignored, invalidateSolution(), SCIP_LPi::iterations, SCIP_LPi::itercount, SCIP_LPi::lastalgo, SCIP_LPi::lastalgorithm, SCIP_LPi::lastsolvetype, SCIP_LPi::linear_program, SCIP_LPi::lpid, lpiSolve(), SCIP_LPi::messagehdlr, SCIP_LPi::method, MOSEK_CALL, SCIP_LPi::mosekenv, MSK_getsolutionstatus(), SCIP_LPi::nrngrows, NULL, SCIP_LPi::optimizecount, SCIP_LPi::parameters, presolve(), SCIP_LPi::prob, SCIP_LPi::rngvarsadded, SCIP_CALL, SCIP_INVALIDCALL, SCIP_LPERROR, SCIP_NOMEMORY, SCIP_NOTIMPLEMENTED, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_UNUSED, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIPlpiSolveDual(), SCIPmessagePrintWarning(), setIntParam(), setParameterValues(), SCIP_LPi::solisbasic, SCIP_LPi::solmethod, SCIP_LPi::solstat, SCIP_LPi::solved, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::termcode, TRUE, and SCIP_LPi::xprslp.

Referenced by lpBarrier(), and SolveWSimplex().

◆ 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

lpi	LP 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, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, updateScaledLP(), and SCIP_LPi::xprslp.

Referenced by SCIPconflictAnalyzeStrongbranch(), 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

lpi	LP 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, NULL, SCIP_LPi::prob, SCIP_OKAY, SCIPdebugMessage, SCIP_LPi::solver, SCIP_LPi::spx, and SCIP_LPi::xprslp.

Referenced by SCIPconflictAnalyzeStrongbranch(), and SCIPlpEndStrongbranch().

◆ 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

Note: last solve call must have been either simplex or barrier with crossover or base must have been set manually

Parameters

lpi	LP interface structure
col	column to apply strong branching on
psol	fractional current primal solution value of column
itlim	iteration limit for strong branchings
down	stores dual bound after branching column down
up	stores dual bound after branching column up
downvalid	stores whether the returned down value is a valid dual bound; otherwise, it can only be used as an estimate value
upvalid	stores whether the returned up value is a valid dual bound; otherwise, it can only be used as an estimate value
iter	stores total number of strong branching iterations, or -1; may be NULL

Definition at line 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, SCIP_LPi::feastol, 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(), setIntParam(), setParameterValues(), strongbranch(), and TRUE.

Referenced by 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

Note: last solve call must have been either simplex or barrier with crossover or base must have been set manually

Parameters

lpi	LP interface structure
cols	columns to apply strong branching on
ncols	number of columns
psols	fractional current primal solution values of columns
itlim	iteration limit for strong branchings
down	stores dual bounds after branching columns down
up	stores dual bounds after branching columns up
downvalid	stores whether the returned down values are valid dual bounds; otherwise, they can only be used as an estimate values
upvalid	stores whether the returned up values are a valid dual bounds; otherwise, they can only be used as an estimate values
iter	stores total number of strong branching iterations, or -1; may be NULL

Definition at line 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, SCIP_LPi::feastol, FEASTOL, SCIP_LPi::fromscratch, SCIP_LPi::highs, SCIP_LPi::linear_program, lpiStrongbranch(), lpiStrongbranches(), SCIP_LPi::messagehdlr, 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(), setIntParam(), setParameterValues(), and TRUE.

Referenced by SCIPcolGetStrongbranches(), and SCIPlpiStrongbranchesInt().

◆ 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

Note: last solve call must have been either simplex or barrier with crossover or base must have been set manually

Parameters

lpi	LP interface structure
col	column to apply strong branching on
psol	current integral primal solution value of column
itlim	iteration limit for strong branchings
down	stores dual bound after branching column down
up	stores dual bound after branching column up
downvalid	stores whether the returned down value is a valid dual bound; otherwise, it can only be used as an estimate value
upvalid	stores whether the returned up value is a valid dual bound; otherwise, it can only be used as an estimate value
iter	stores total number of strong branching iterations, or -1; may be NULL

Definition at line 2329 of file lpi_clp.cpp.

References checkRangeInfo(), SCIP_LPi::cpxlp, EPSISINT, errorMessage(), SCIP_LPi::feastol, 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(), SCIPlpiStrongbranchFrac(), strongbranch(), and TRUE.

Referenced by SCIPcolGetStrongbranch().

◆ 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

Note: last solve call must have been either simplex or barrier with crossover or base must have been set manually

Parameters

lpi	LP interface structure
cols	columns to apply strong branching on
ncols	number of columns
psols	current integral primal solution values of columns
itlim	iteration limit for strong branchings
down	stores dual bounds after branching columns down
up	stores dual bounds after branching columns up
downvalid	stores whether the returned down values are valid dual bounds; otherwise, they can only be used as an estimate values
upvalid	stores whether the returned up values are a valid dual bounds; otherwise, they can only be used as an estimate values
iter	stores total number of strong branching iterations, or -1; may be NULL

Definition at line 2350 of file lpi_clp.cpp.

References checkRangeInfo(), SCIP_LPi::cpxlp, EPSISINT, errorMessage(), SCIP_LPi::feastol, FEASTOL, SCIP_LPi::linear_program, lpiStrongbranch(), lpiStrongbranches(), lpiStrongbranchIntegral(), NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_LPERROR, SCIP_NOTIMPLEMENTED, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_Real, SCIP_UNUSED, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiStrongbranch(), SCIPlpiStrongbranchesFrac(), and TRUE.

Referenced by SCIPcolGetStrongbranches().

◆ SCIPlpiWasSolved()

SCIP_Bool SCIPlpiWasSolved ( SCIP_LPI * lpi )

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

Parameters

lpi	LP interface structure

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

Referenced by performStrongbranchWithPropagation(), and SCIPconflictAnalyzeLP().

◆ 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

lpi	LP interface structure
primalfeasible	pointer to store primal feasibility status
dualfeasible	pointer to store dual feasibility status

Definition at line 2405 of file lpi_clp.cpp.

References SCIP_LPi::algo, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), FALSE, SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::lastalgo, SCIP_LPi::lastsolvetype, LPI_QSOPT_ALGO_DUAL, LPI_QSOPT_ALGO_PRIMAL, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, MSK_getsolutionstatus(), NULL, SCIP_LPi::prob, SCIP_Bool, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiIsDualFeasible(), SCIPlpiIsPrimalFeasible(), SCIP_LPi::solstat, SCIP_LPi::solver, SUMINFEASBOUND, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.

Referenced by lpAlgorithm(), and SCIPlpiStrongbranch().

◆ 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

lpi	LP 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, SCIPdebugMessage, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by checkAltLPInfeasible(), lpSolve(), SCIPlpiIsDualInfeasible(), and SCIPlpiStrongbranch().

◆ SCIPlpiHasPrimalRay()

SCIP_Bool SCIPlpiHasPrimalRay ( SCIP_LPI * lpi )

returns TRUE iff LP is proven to have a primal unbounded ray (but not necessary a primal feasible point), and the solver knows and can return the primal ray

Parameters

lpi	LP interface structure

Definition at line 2468 of file lpi_clp.cpp.

References ABORT_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIP_Bool, SCIPABORT, SCIPdebugMessage, SCIPlpiIsPrimalUnbounded(), SCIP_LPi::solmethod, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.

Referenced by SCIPlpGetPrimalRay(), SCIPlpGetUnboundedSol(), and SCIPlpiGetPrimalRay().

◆ SCIPlpiIsPrimalUnbounded()

SCIP_Bool SCIPlpiIsPrimalUnbounded ( SCIP_LPI * lpi )

returns TRUE iff LP is proven to be primal unbounded

returns TRUE iff LP is proven to be primal feasible and unbounded

Parameters

lpi	LP interface structure

Definition at line 2488 of file lpi_clp.cpp.

References ABORT_ZERO, SCIP_LPi::algo, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::lastalgo, LPI_QSOPT_ALGO_PRIMAL, SCIP_LPi::method, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIPABORT, SCIPdebugMessage, SCIP_LPi::solmethod, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by checkAltLPInfeasible(), lpSolve(), and SCIPlpiHasPrimalRay().

◆ SCIPlpiIsPrimalInfeasible()

SCIP_Bool SCIPlpiIsPrimalInfeasible ( SCIP_LPI * lpi )

returns TRUE iff LP is proven to be primal infeasible

Parameters

lpi	LP interface structure

Definition at line 2502 of file lpi_clp.cpp.

References ABORT_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::method, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIPdebugMessage, SCIPlpiExistsDualRay(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.

Referenced by checkAltLPInfeasible(), conflictAnalyzeLP(), lpiStrongbranch(), lpiStrongbranchIntegral(), lpSolve(), SCIPconflictAnalyzeLP(), SCIPgetFarkasProof(), and SCIPrunBoundHeuristic().

◆ SCIPlpiIsPrimalFeasible()

SCIP_Bool SCIPlpiIsPrimalFeasible ( SCIP_LPI * lpi )

returns TRUE iff LP is proven to be primal feasible

Parameters

lpi	LP interface structure

Definition at line 2521 of file lpi_clp.cpp.

References ABORT_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, eps, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::lastalgo, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIP_Bool, SCIPABORT, SCIPdebugMessage, SCIP_LPi::solmethod, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, TRUE, XPRS_LP_OPTIMAL_SCALEDINFEAS, and SCIP_LPi::xprslp.

Referenced by candidateStoreWarmStartInfo(), lpSolve(), SCIPlpiExistsDualRay(), SCIPlpiGetSolFeasibility(), SCIPlpiHasDualRay(), SCIPlpiIsDualUnbounded(), SCIPlpiIsOptimal(), and solveLPWithHardCuts().

◆ 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

lpi	LP 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, SCIPdebugMessage, SCIPlpiIsPrimalFeasible(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

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

◆ SCIPlpiHasDualRay()

SCIP_Bool SCIPlpiHasDualRay ( SCIP_LPI * lpi )

returns TRUE iff LP is proven to have a dual unbounded ray (but not necessary a dual feasible point), and the solver knows and can return the dual ray

Parameters

lpi	LP interface structure

Definition at line 2556 of file lpi_clp.cpp.

References ABORT_ZERO, SCIP_LPi::algo, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, LPI_QSOPT_ALGO_DUAL, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, SCIP_LPi::method, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIP_Bool, SCIPABORT, SCIPdebugMessage, SCIPlpiIsPrimalFeasible(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.

Referenced by lpSolve(), SCIPgetFarkasProof(), and SCIPlpSolveAndEval().

◆ SCIPlpiIsDualUnbounded()

SCIP_Bool SCIPlpiIsDualUnbounded ( SCIP_LPI * lpi )

returns TRUE iff LP is proven to be dual unbounded

returns TRUE iff LP is dual unbounded

Parameters

lpi	LP interface structure

Definition at line 2578 of file lpi_clp.cpp.

References ABORT_ZERO, SCIP_LPi::algo, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::highs, LPI_QSOPT_ALGO_DUAL, SCIP_LPi::method, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIPABORT, SCIPdebugMessage, SCIPlpiIsDualFeasible(), SCIPlpiIsPrimalFeasible(), SCIP_LPi::solmethod, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

◆ SCIPlpiIsDualInfeasible()

SCIP_Bool SCIPlpiIsDualInfeasible ( SCIP_LPI * lpi )

returns TRUE iff LP is proven to be dual infeasible

returns TRUE iff LP is dual infeasible

Parameters

lpi	LP interface structure

Definition at line 2595 of file lpi_clp.cpp.

References ABORT_ZERO, SCIP_LPi::algo, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::highs, LPI_QSOPT_ALGO_DUAL, SCIP_LPi::method, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIPdebugMessage, SCIPlpiExistsPrimalRay(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

◆ SCIPlpiIsDualFeasible()

SCIP_Bool SCIPlpiIsDualFeasible ( SCIP_LPI * lpi )

returns TRUE iff LP is proven to be dual feasible

Parameters

lpi	LP interface structure

Definition at line 2609 of file lpi_clp.cpp.

References ABORT_ZERO, SCIP_LPi::algo, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbenv, SCIP_LPi::grbmodel, SCIP_LPi::highs, LPI_QSOPT_ALGO_DUAL, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIP_Bool, SCIPABORT, SCIPdebugMessage, SCIP_LPi::solmethod, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, TRUE, XPRS_LP_OPTIMAL_SCALEDINFEAS, and SCIP_LPi::xprslp.

Referenced by candidateStoreWarmStartInfo(), computeVertexPolyhedralFacetLP(), conflictAnalyzeLP(), lpSolve(), performStrongbranchWithPropagation(), SCIPgetFarkasProof(), SCIPlpiGetSolFeasibility(), SCIPlpiIsDualUnbounded(), SCIPlpiIsOptimal(), SCIPrunBoundHeuristic(), and separateCuts().

◆ SCIPlpiIsOptimal()

SCIP_Bool SCIPlpiIsOptimal ( SCIP_LPI * lpi )

returns TRUE iff LP was solved to optimality

Parameters

lpi	LP interface structure

Definition at line 2623 of file lpi_clp.cpp.

References SCIP_LPi::clp, errorMessageAbort(), FALSE, getSolutionStatus(), SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::lpid, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_ABORT_FALSE, SCIPdebugMessage, SCIPlpiIsDualFeasible(), SCIPlpiIsObjlimExc(), SCIPlpiIsPrimalFeasible(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, XPRS_LP_OPTIMAL_SCALEDINFEAS, and SCIP_LPi::xprslp.

Referenced by checkAltLPInfeasible(), computeRelIntPoint(), conflictAnalyzeLP(), lpiStrongbranch(), lpiStrongbranchIntegral(), lpLexDualSimplex(), lpSolve(), SCIPlpiIsStable(), SCIPlpiStrongbranchesFrac(), and SCIPlpiStrongbranchFrac().

◆ 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

lpi	LP 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_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(), and SCIPlpiStrongbranch().

◆ SCIPlpiIsObjlimExc()

SCIP_Bool SCIPlpiIsObjlimExc ( SCIP_LPI * lpi )

returns TRUE iff the objective limit was reached

Parameters

lpi	LP interface structure

Definition at line 2690 of file lpi_clp.cpp.

References SCIP_LPi::clp, errorMessageAbort(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::method, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIPdebugMessage, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::termcode, TRUE, and SCIP_LPi::xprslp.

Referenced by conflictAnalyzeLP(), lpiStrongbranch(), lpiStrongbranchIntegral(), lpSolve(), SCIPgetFarkasProof(), SCIPlpiIsOptimal(), SCIPlpiIsStable(), SCIPlpiSolveDual(), SCIPlpSolveAndEval(), and SCIPrunBoundHeuristic().

◆ SCIPlpiIsIterlimExc()

SCIP_Bool SCIPlpiIsIterlimExc ( SCIP_LPI * lpi )

returns TRUE iff the iteration limit was reached

Parameters

lpi	LP interface structure

Definition at line 2720 of file lpi_clp.cpp.

References ABORT_ZERO, SCIP_LPi::clp, errorMessageAbort(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, SCIP_LPi::niterations, NULL, SCIP_LPi::parameters, SCIP_LPi::prob, SCIPdebugMessage, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::termcode, TRUE, and SCIP_LPi::xprslp.

Referenced by computeRelIntPoint(), lpiStrongbranch(), lpiStrongbranchIntegral(), lpSolve(), lpSolveStable(), and SCIPlpiIsStable().

◆ SCIPlpiIsTimelimExc()

SCIP_Bool SCIPlpiIsTimelimExc ( SCIP_LPI * lpi )

returns TRUE iff the time limit was reached

Parameters

lpi	LP interface structure

Definition at line 2736 of file lpi_clp.cpp.

References ABORT_ZERO, SCIP_LPi::clp, errorMessageAbort(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::lp_time_limit_was_reached, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIPdebugMessage, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::termcode, TRUE, and SCIP_LPi::xprslp.

Referenced by computeRelIntPoint(), lpSolve(), and SCIPlpiIsStable().

◆ SCIPlpiGetInternalStatus()

int SCIPlpiGetInternalStatus ( SCIP_LPI * lpi )

returns the internal solution status of the solver

Parameters

lpi	LP interface structure

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

Referenced by checkAltLPInfeasible(), and lpSolve().

◆ 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

lpi	LP interface structure
success	pointer 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, SCIPdebugMessage, SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.

Referenced by ignoreInstability().

◆ SCIPlpiGetObjval()

SCIP_RETCODE SCIPlpiGetObjval	(	SCIP_LPI *	lpi,
		SCIP_Real *	objval
	)

gets objective value of solution

Parameters

lpi	LP interface structure
objval	stores the objective value

Definition at line 2766 of file lpi_clp.cpp.

References CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), getDblParam(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::lastsolvetype, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_CALL, SCIP_OBJSEN_MINIMIZE, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_Real, SCIP_UNUSED, SCIPdebugMessage, SCIPlpiGetObjsen(), SCIPlpiInfinity(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, SCIP_LPi::termcode, and SCIP_LPi::xprslp.

Referenced by conflictAnalyzeLP(), lpiStrongbranch(), lpiStrongbranchIntegral(), lpSolve(), performStrongbranchWithPropagation(), SCIPgetDualProof(), SCIPlpiGetSol(), SCIPlpiSolveDual(), SCIPlpiStrongbranchesFrac(), SCIPlpiStrongbranchFrac(), SCIPlpSolveAndEval(), and SCIPrunBoundHeuristic().

◆ 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

lpi	LP interface structure
objval	stores the objective value, may be NULL if not needed
primsol	primal solution vector, may be NULL if not needed
dualsol	dual solution vector, may be NULL if not needed
activity	row activity vector, may be NULL if not needed
redcost	reduced cost vector, may be NULL if not needed

Definition at line 2788 of file lpi_clp.cpp.

References 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::nrngrows, 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(), 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(), separateCuts(), and solveLPWithHardCuts().

◆ SCIPlpiGetPrimalRay()

SCIP_RETCODE SCIPlpiGetPrimalRay	(	SCIP_LPI *	lpi,
		SCIP_Real *	ray
	)

gets primal ray for unbounded LPs

Parameters

lpi	LP interface structure
ray	primal ray

Definition at line 2832 of file lpi_clp.cpp.

References BMScopyMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::lastsolvetype, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, SCIP_LPi::scaler, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_Real, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNCols(), SCIPlpiHasPrimalRay(), SCIPlpiIsInfinity(), SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.

Referenced by SCIPlpGetPrimalRay(), and SCIPlpGetUnboundedSol().

◆ SCIPlpiGetDualfarkas()

SCIP_RETCODE SCIPlpiGetDualfarkas	(	SCIP_LPI *	lpi,
		SCIP_Real *	dualfarkas
	)

gets dual Farkas proof for infeasibility

gets dual farkas proof for infeasibility

Note: The Farkas proof might be numerically questionable which is indicated by "hasRay" use SCIPlpiHasDualRay() to check that!

Parameters

lpi	LP interface structure
dualfarkas	dual Farkas row multipliers

Definition at line 2857 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::lastsolvetype, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::prob, QS_CONDRET, SCIP_LPi::scaler, SCIP_CALL, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_Real, SCIPdebugMessage, SCIPlpiGetNRows(), SCIPlpiInfinity(), SCIPmessagePrintWarning(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, x, and SCIP_LPi::xprslp.

Referenced by SCIPgetFarkasProof(), and SCIPlpGetDualfarkas().

◆ SCIPlpiGetIterations()

SCIP_RETCODE SCIPlpiGetIterations	(	SCIP_LPI *	lpi,
		int *	iterations
	)

gets the number of LP iterations of the last solve call

Parameters

lpi	LP interface structure
iterations	pointer to store the number of iterations of the last solve call

Definition at line 2921 of file lpi_clp.cpp.

References SCIP_LPi::clp, errorMessage(), SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL_WITH_WARNING, SCIP_LPi::iterations, SCIP_LPi::itercount, SCIP_LPi::lpid, SCIP_LPi::mosekenv, SCIP_LPi::niterations, NULL, SCIP_LPi::previt, SCIP_LPi::prob, QS_CONDRET, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by conflictAnalyzeLP(), getNIterationsLastLP(), lpiStrongbranch(), lpiStrongbranchIntegral(), SCIPconflictAnalyzeStrongbranch(), SCIPlpGetIterations(), and SCIPrunBoundHeuristic().

◆ 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

lpi	LP interface structure
qualityindicator	indicates which quality should be returned
quality	pointer to store quality number

Definition at line 2940 of file lpi_clp.cpp.

References CHECK_ZERO, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::grbmodel, SCIP_LPi::highs, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, NULL, SCIP_INVALID, SCIP_INVALIDDATA, SCIP_LPSOLQUALITY_ESTIMCONDITION, SCIP_LPSOLQUALITY_EXACTCONDITION, SCIP_OKAY, SCIP_UNUSED, SCIPdebugMessage, SCIPerrorMessage, SCIP_LPi::solver, SCIP_LPi::spx, and SCIP_LPi::task.

Referenced by checkAltLPInfeasible(), SCIP_DECL_DISPOUTPUT(), SCIPlpiIsStable(), and SCIPprintLPSolutionQuality().

◆ 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

Note: last solve call must have been either simplex or barrier with crossover or base must have been set manually

Parameters

lpi	LP interface structure
cstat	array to store column basis status, or NULL
rstat	array to store row basis status, or NULL (the status is need for the row and not for the slack column)

Definition at line 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::nrngrows, NULL, SCIP_LPi::prob, QS_CONDRET, r, SCIP_LPi::rngrowmap, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_CALL, SCIP_INVALIDDATA, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_Real, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), SCIP_LPi::senarray, SCIP_LPi::skc, SCIP_LPi::skx, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, TRUE, and SCIP_LPi::xprslp.

Referenced by lpLexDualSimplex(), SCIPconflictAnalyzeStrongbranch(), SCIPlpGetBase(), SCIPlpGetSol(), and SCIPlpiGetState().

◆ SCIPlpiSetBase()

SCIP_RETCODE SCIPlpiSetBase	(	SCIP_LPI *	lpi,
		const int *	cstat,
		const int *	rstat
	)

sets current basis status for columns and rows

Parameters

lpi	LP interface structure
cstat	array with column basis status
rstat	array with row basis status

Definition at line 3067 of file lpi_clp.cpp.

References basestatToHighsBasisStatus(), BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, SCIP_LPi::clearstate, SCIP_LPi::clp, ConvertSCIPConstraintStatusToSlackStatus(), ConvertSCIPVariableStatus(), convertstat_scip2mosek(), convertstat_scip2mosek_slack(), SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cstat, ensureCstatMem(), ensureRowMem(), ensureRstatMem(), ensureStateMem(), ensureTabMem(), EPSEQ, errorMessage(), FALSE, SCIP_LPi::grbmodel, SCIP_LPi::highs, HIGHS_CALL, SCIP_LPi::ibas, invalidateSolution(), SCIP_LPi::isen, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, SCIP_LPi::mosekenv, SCIP_LPi::nrngrows, NULL, SCIP_LPi::prob, QS_CONDRET, r, SCIP_LPi::rngrowmap, SCIP_LPi::rstat, SCIP_ALLOC, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_CALL, SCIP_INVALIDDATA, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), setbase(), SCIP_LPi::skc, SCIP_LPi::skx, SCIP_LPi::solver, SOPLEX_TRY, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by SCIPconflictAnalyzeStrongbranch(), SCIPlpiClearState(), and SCIPlpiSetState().

◆ SCIPlpiGetBasisInd()

SCIP_RETCODE SCIPlpiGetBasisInd	(	SCIP_LPI *	lpi,
		int *	bind
	)

returns the indices of the basic columns and rows; basic column n gives value n, basic row m gives value -1-m

Parameters

lpi	LP interface structure
bind	pointer to store basis indices ready to keep number of rows entries

Definition at line 3189 of file lpi_clp.cpp.

References BMSallocMemoryArray, BMSfreeMemoryArray, CHECK_ZERO, SCIP_LPi::clp, SCIP_LPi::cpxenv, SCIP_LPi::cpxlp, SCIP_LPi::cpxparam, errorMessage(), SCIP_LPi::grbmodel, handle_singular(), 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, r, restoreLPData(), SCIP_LPi::rngrowmap, SCIP_LPi::rngrows, SCIP_ALLOC, SCIP_BASESTAT_BASIC, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_BASESTAT_ZERO, SCIP_CALL, SCIP_CALL_QUIET, SCIP_ERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIPdebugMessage, SCIPlpiGetNCols(), SCIPlpiGetNRows(), setIntParam(), setParameterValues(), SCIP_LPi::solstat, SCIP_LPi::solver, SCIP_LPi::spx, SCIP_LPi::task, and SCIP_LPi::xprslp.

Referenced by lpiGetBInvVec(), SCIPlpGetBasisInd(), SCIPlpiGetBInvACol(), SCIPlpiGetBInvARow(), SCIPlpiGetBInvCol(), and SCIPlpiGetBInvRow().

◆ 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

lpi	LP interface structure
row	row number
coef	pointer to store the coefficients of the row
inds	array to store the non-zero indices, or NULL
ninds	pointer to store the number of non-zero indices, or NULL (-1: if we do not store sparsity information)

Definition at line 3241 of file lpi_clp.cpp.

References 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_Var::index, SCIP_LPi::linear_program, SCIP_LPi::lpid, SCIP_LPi::messagehdlr, MOSEK_CALL, SCIP_LPi::mosekenv, NULL, SCIP_LPi::parameters, SCIP_LPi::prob, QS_CONDRET, r, restoreLPData(), SCIP_LPi::scaler, SCIP_ALLOC, SCIP_CALL, SCIP_CALL_QUIET, SCIP_LPERROR, SCIP_OKAY, SCIP_PLUGINNOTFOUND, SCIP_Real, SCIP_UNUSED, SCIPdebugMessage, SCIPlpiGetBasisInd(), SCIPlpiGetNRows(), SCIPlpiSolveDual(), SCIPmessagePrintWarning(), setIntParam(), setParameterValues(), SCIP_LPi::solver, SCIP_LPi::spx, SVECTOR, SCIP_LPi::task, SCIP_LPi::tmp_row, x, SCIP_LPi::xprslp, and y.

Referenced by SCIPlpGetBInvRow(), 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

lpi	LP interface structure
c	column number of B^-1; this is NOT the number of the column in the LP; you have to call SCIPlpiGetBasisInd() to get the array which links the B^-1 column numbers to the row and column numbers of the LP! c must be between 0 and nrows-1, since the basis has the size nrows * nrows
coef	pointer to store the coefficients of the column
inds	array to store the non-zero indices, or NULL
ninds	pointer to store the number of non-zero indices, or NULL (-1: if we do not store sparsity information)

Definition at line 3276 of file lpi_clp.cpp.

References 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, 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(), SCIPlpiSolveDual(), SCIP_LPi::senarray, setIntParam(), setParameterValues(), SCIP_LPi::solver, SCIP_LPi::spx, SVECTOR, SCIP_LPi::task, SCIP_LPi::tmp_row, x, and SCIP_LPi::xprslp.

Referenced by SCIPlpGetBInvCol().