Detailed Description

methods for MIP matrix data structure

Author: Dieter Weninger; Gerald Gamrath

The MIP matrix is organized as sparse data structure in row and and column major format.

Definition in file matrix.c.

#include "blockmemshell/memory.h"
#include "scip/cons_knapsack.h"
#include "scip/cons_linear.h"
#include "scip/cons_logicor.h"
#include "scip/cons_setppc.h"
#include "scip/cons_varbound.h"
#include "scip/pub_matrix.h"
#include "scip/pub_cons.h"
#include "scip/pub_message.h"
#include "scip/pub_misc_sort.h"
#include "scip/pub_var.h"
#include "scip/scip_cons.h"
#include "scip/scip_general.h"
#include "scip/scip_mem.h"
#include "scip/scip_message.h"
#include "scip/scip_numerics.h"
#include "scip/scip_pricer.h"
#include "scip/scip_prob.h"
#include "scip/scip_var.h"
#include "scip/struct_matrix.h"
#include <string.h>

Go to the source code of this file.

Functions
static SCIP_RETCODE	getActiveVariables (SCIP scip, SCIP_VAR vars, SCIP_Real scalars, int nvars, SCIP_Real constant)

static SCIP_RETCODE	addRow (SCIP scip, SCIP_MATRIX matrix, SCIP_VAR *vars, SCIP_Real vals, int nvars, SCIP_Real lhs, SCIP_Real rhs, int maxnnonzsmem, SCIP_Bool *rowadded)

static SCIP_RETCODE	addConstraint (SCIP scip, SCIP_MATRIX matrix, SCIP_VAR *vars, SCIP_Real vals, int nvars, SCIP_Real lhs, SCIP_Real rhs, int maxnnonzsmem, SCIP_Bool *rowadded)

static SCIP_RETCODE	setColumnMajorFormat (SCIP scip, SCIP_MATRIX matrix)

static SCIP_RETCODE	calcActivityBounds (SCIP scip, SCIP_MATRIX matrix)

SCIP_RETCODE	SCIPmatrixCreate (SCIP scip, SCIP_MATRIX matrixptr, SCIP_Bool onlyifcomplete, SCIP_Bool initialized, SCIP_Bool complete, SCIP_Bool infeasible, int naddconss, int ndelconss, int nchgcoefs, int nchgbds, int *nfixedvars)

void	SCIPmatrixFree (SCIP scip, SCIP_MATRIX *matrix)

void	SCIPmatrixPrintRow (SCIP scip, SCIP_MATRIX matrix, int row)

void	SCIPmatrixRemoveColumnBounds (SCIP scip, SCIP_MATRIX matrix, int col)

SCIP_RETCODE	SCIPmatrixGetParallelRows (SCIP scip, SCIP_MATRIX matrix, SCIP_Real scale, int pclass)

SCIP_RETCODE	SCIPmatrixGetParallelCols (SCIP scip, SCIP_MATRIX matrix, SCIP_Real scale, int pclass, SCIP_Bool *varineq)

SCIP_Real *	SCIPmatrixGetColValPtr (SCIP_MATRIX *matrix, int col)

int *	SCIPmatrixGetColIdxPtr (SCIP_MATRIX *matrix, int col)

int	SCIPmatrixGetColNNonzs (SCIP_MATRIX *matrix, int col)

int	SCIPmatrixGetNColumns (SCIP_MATRIX *matrix)

SCIP_Real	SCIPmatrixGetColUb (SCIP_MATRIX *matrix, int col)

SCIP_Real	SCIPmatrixGetColLb (SCIP_MATRIX *matrix, int col)

int	SCIPmatrixGetColNUplocks (SCIP_MATRIX *matrix, int col)

int	SCIPmatrixGetColNDownlocks (SCIP_MATRIX *matrix, int col)

SCIP_VAR *	SCIPmatrixGetVar (SCIP_MATRIX *matrix, int col)

const char *	SCIPmatrixGetColName (SCIP_MATRIX *matrix, int col)

SCIP_Real *	SCIPmatrixGetRowValPtr (SCIP_MATRIX *matrix, int row)

int *	SCIPmatrixGetRowIdxPtr (SCIP_MATRIX *matrix, int row)

int	SCIPmatrixGetRowNNonzs (SCIP_MATRIX *matrix, int row)

const char *	SCIPmatrixGetRowName (SCIP_MATRIX *matrix, int row)

int	SCIPmatrixGetNRows (SCIP_MATRIX *matrix)

SCIP_Real	SCIPmatrixGetRowLhs (SCIP_MATRIX *matrix, int row)

SCIP_Real	SCIPmatrixGetRowRhs (SCIP_MATRIX *matrix, int row)

SCIP_Bool	SCIPmatrixIsRowRhsInfinity (SCIP_MATRIX *matrix, int row)

int	SCIPmatrixGetNNonzs (SCIP_MATRIX *matrix)

SCIP_Real	SCIPmatrixGetRowMinActivity (SCIP_MATRIX *matrix, int row)

SCIP_Real	SCIPmatrixGetRowMaxActivity (SCIP_MATRIX *matrix, int row)

int	SCIPmatrixGetRowNMinActNegInf (SCIP_MATRIX *matrix, int row)

int	SCIPmatrixGetRowNMinActPosInf (SCIP_MATRIX *matrix, int row)

int	SCIPmatrixGetRowNMaxActNegInf (SCIP_MATRIX *matrix, int row)

int	SCIPmatrixGetRowNMaxActPosInf (SCIP_MATRIX *matrix, int row)

SCIP_CONS *	SCIPmatrixGetCons (SCIP_MATRIX *matrix, int row)

SCIP_Bool	SCIPmatrixUplockConflict (SCIP_MATRIX *matrix, int col)

SCIP_Bool	SCIPmatrixDownlockConflict (SCIP_MATRIX *matrix, int col)

Function Documentation

◆ getActiveVariables()

static SCIP_RETCODE getActiveVariables	(	SCIP *	scip,
		SCIP_VAR ***	vars,
		SCIP_Real **	scalars,
		int *	nvars,
		SCIP_Real *	constant
	)

static

transforms given variables, scalars and constant to the corresponding active variables, scalars and constant

Parameters

scip	SCIP instance
vars	vars array to get active variables for
scalars	scalars a_1, ..., a_n in linear sum a_1x_1 + ... + a_nx_n + c
nvars	pointer to number of variables and values in vars and vals array
constant	pointer to constant c in linear sum a_1x_1 + ... + a_nx_n + c

Definition at line 67 of file matrix.c.

References NULL, SCIP_CALL, SCIP_OKAY, SCIPgetProbvarLinearSum(), SCIPreallocBufferArray, and TRUE.

Referenced by addConstraint().

◆ addRow()

static SCIP_RETCODE addRow	(	SCIP *	scip,
		SCIP_MATRIX *	matrix,
		SCIP_VAR **	vars,
		SCIP_Real *	vals,
		int	nvars,
		SCIP_Real	lhs,
		SCIP_Real	rhs,
		int	maxnnonzsmem,
		SCIP_Bool *	rowadded
	)

static

add one row to the constraint matrix

Parameters

scip	SCIP data structure
matrix	constraint matrix
vars	variables of this row
vals	coefficients of this row
nvars	number of variables of this row
lhs	left hand side
rhs	right hand side
maxnnonzsmem	maximal number of fillable elements
rowadded	flag indicating if constraint was added to matrix

Definition at line 102 of file matrix.c.

References FALSE, SCIP_Matrix::isrhsinfinite, SCIP_Matrix::lhs, SCIP_Matrix::ndownlocks, SCIP_Matrix::nnonzs, SCIP_Matrix::nrows, NULL, SCIP_Matrix::nuplocks, SCIP_Matrix::rhs, SCIP_Matrix::rowmatbeg, SCIP_Matrix::rowmatcnt, SCIP_Matrix::rowmatind, SCIP_Matrix::rowmatval, SCIP_Bool, SCIP_OKAY, SCIP_Real, SCIPinfinity(), SCIPisInfinity(), SCIPisZero(), SCIPvarGetProbindex(), TRUE, and SCIP_Matrix::vars.

Referenced by addConstraint().

◆ addConstraint()

static SCIP_RETCODE addConstraint	(	SCIP *	scip,
		SCIP_MATRIX *	matrix,
		SCIP_VAR **	vars,
		SCIP_Real *	vals,
		int	nvars,
		SCIP_Real	lhs,
		SCIP_Real	rhs,
		int	maxnnonzsmem,
		SCIP_Bool *	rowadded
	)

static

add one constraint to matrix

Parameters

scip	current scip instance
matrix	constraint matrix
vars	variables of this constraint
vals	variable coefficients of this constraint
nvars	number of variables
lhs	left hand side
rhs	right hand side
maxnnonzsmem	maximal number of fillable elements
rowadded	flag indicating of row was added to matrix

Definition at line 220 of file matrix.c.

References addRow(), FALSE, getActiveVariables(), NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPallocBufferArray, SCIPduplicateBufferArray, SCIPfreeBufferArray, SCIPisInfinity(), and SCIPisLE().

Referenced by SCIPmatrixCreate().

◆ setColumnMajorFormat()

static SCIP_RETCODE setColumnMajorFormat	(	SCIP *	scip,
		SCIP_MATRIX *	matrix
	)

static

transform row major format into column major format

Parameters

scip	current scip instance
matrix	constraint matrix

Definition at line 297 of file matrix.c.

References BMSclearMemoryArray, SCIP_Matrix::colmatbeg, SCIP_Matrix::colmatcnt, SCIP_Matrix::colmatind, SCIP_Matrix::colmatval, SCIP_Matrix::ncols, SCIP_Matrix::nrows, NULL, SCIP_Matrix::rowmatbeg, SCIP_Matrix::rowmatcnt, SCIP_Matrix::rowmatind, SCIP_Matrix::rowmatval, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPallocBufferArray, and SCIPfreeBufferArray.

Referenced by SCIPmatrixCreate().

◆ calcActivityBounds()

static SCIP_RETCODE calcActivityBounds	(	SCIP *	scip,
		SCIP_MATRIX *	matrix
	)

static

calculate min/max activity per row

Parameters

scip	current scip instance
matrix	constraint matrix

Definition at line 364 of file matrix.c.

References SCIP_Matrix::lb, SCIP_Matrix::maxactivity, SCIP_Matrix::maxactivityneginf, SCIP_Matrix::maxactivityposinf, SCIP_Matrix::minactivity, SCIP_Matrix::minactivityneginf, SCIP_Matrix::minactivityposinf, SCIP_Matrix::ncols, SCIP_Matrix::nrows, NULL, SCIP_Matrix::rowmatbeg, SCIP_Matrix::rowmatcnt, SCIP_Matrix::rowmatind, SCIP_Matrix::rowmatval, SCIP_OKAY, SCIP_Real, SCIPinfinity(), SCIPisInfinity(), SCIPisZero(), and SCIP_Matrix::ub.

Referenced by SCIPmatrixCreate().

◆ SCIPmatrixCreate()

SCIP_RETCODE SCIPmatrixCreate	(	SCIP *	scip,
		SCIP_MATRIX **	matrixptr,
		SCIP_Bool	onlyifcomplete,
		SCIP_Bool *	initialized,
		SCIP_Bool *	complete,
		SCIP_Bool *	infeasible,
		int *	naddconss,
		int *	ndelconss,
		int *	nchgcoefs,
		int *	nchgbds,
		int *	nfixedvars
	)

initialize matrix by copying all check constraints

Note: Completeness is checked by testing whether all check constraints are from a list of linear constraint handlers that can be represented.

Parameters

scip	current scip instance
matrixptr	pointer to constraint matrix object to be initialized
onlyifcomplete	should matrix creation be skipped if matrix will not be complete?
initialized	was the initialization successful?
complete	are all constraint represented within the matrix?
infeasible	pointer to return whether problem was detected to be infeasible during matrix creation
naddconss	pointer to count number of added (linear) constraints during matrix creation
ndelconss	pointer to count number of deleted specialized linear constraints during matrix creation
nchgcoefs	pointer to count number of changed coefficients during matrix creation
nchgbds	pointer to count number of changed bounds during matrix creation
nfixedvars	pointer to count number of fixed variables during matrix creation

Definition at line 454 of file matrix.c.

References addConstraint(), BMSclearMemoryArray, calcActivityBounds(), SCIP_Matrix::colmatbeg, SCIP_Matrix::colmatcnt, SCIP_Matrix::colmatind, SCIP_Matrix::colmatval, SCIP_Matrix::cons, FALSE, SCIP_Matrix::isrhsinfinite, SCIP_Matrix::lb, SCIP_Matrix::lhs, SCIP_Matrix::maxactivity, SCIP_Matrix::maxactivityneginf, SCIP_Matrix::maxactivityposinf, SCIP_Matrix::minactivity, SCIP_Matrix::minactivityneginf, SCIP_Matrix::minactivityposinf, SCIP_Matrix::ncols, SCIP_Matrix::ndownlocks, SCIP_Matrix::nnonzs, SCIP_Matrix::nrows, NULL, SCIP_Matrix::nuplocks, SCIP_Matrix::rhs, SCIP_Matrix::rowmatbeg, SCIP_Matrix::rowmatcnt, SCIP_Matrix::rowmatind, SCIP_Matrix::rowmatval, SCIP_Bool, SCIP_CALL, SCIP_ERROR, SCIP_LOCKTYPE_MODEL, SCIP_Longint, SCIP_OKAY, SCIP_Real, SCIP_SETPPCTYPE_COVERING, SCIP_SETPPCTYPE_PACKING, SCIP_SETPPCTYPE_PARTITIONING, SCIPallocBuffer, SCIPallocBufferArray, SCIPallocClearMemoryArray, SCIPcleanupConssKnapsack(), SCIPcleanupConssLinear(), SCIPcleanupConssLogicor(), SCIPcleanupConssSetppc(), SCIPcleanupConssVarbound(), SCIPconshdlrGetCheckConss(), SCIPconshdlrGetName(), SCIPconshdlrGetNCheckConss(), SCIPconsIsModifiable(), SCIPconsIsTransformed(), SCIPdebugMsg, SCIPdelCons(), SCIPduplicateBufferArray, SCIPfindConshdlr(), SCIPfreeBuffer, SCIPfreeBufferArray, SCIPfreeBufferArrayNull, SCIPfreeMemoryArray, SCIPgetBinvarsLinking(), SCIPgetCapacityKnapsack(), SCIPgetConshdlrs(), SCIPgetLhsLinear(), SCIPgetLhsVarbound(), SCIPgetNActivePricers(), SCIPgetNConshdlrs(), SCIPgetNConss(), SCIPgetNVars(), SCIPgetNVarsKnapsack(), SCIPgetNVarsLinear(), SCIPgetNVarsLogicor(), SCIPgetNVarsSetppc(), SCIPgetRhsLinear(), SCIPgetRhsVarbound(), SCIPgetTypeSetppc(), SCIPgetValsLinear(), SCIPgetValsLinking(), SCIPgetVars(), SCIPgetVarsKnapsack(), SCIPgetVarsLinear(), SCIPgetVarsLogicor(), SCIPgetVarsSetppc(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetWeightsKnapsack(), SCIPinfinity(), SCIPisStopped(), SCIPmatrixDownlockConflict(), SCIPmatrixUplockConflict(), SCIPreallocBufferArray, SCIPvarGetLbGlobal(), SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUpType(), SCIPvarGetUbGlobal(), setColumnMajorFormat(), TRUE, SCIP_Matrix::ub, and SCIP_Matrix::vars.

Referenced by SCIP_DECL_PRESOLEXEC(), and SCIPincludePresolMILP().

◆ SCIPmatrixFree()

void SCIPmatrixFree	(	SCIP *	scip,
		SCIP_MATRIX **	matrix
	)

frees the constraint matrix

Parameters

scip	current SCIP instance
matrix	constraint matrix object

Definition at line 1072 of file matrix.c.

References NULL, SCIPfreeBuffer, SCIPfreeBufferArray, SCIPfreeBufferArrayNull, and SCIPfreeMemoryArray.

Referenced by SCIP_DECL_PRESOLEXEC(), and SCIPincludePresolMILP().

◆ SCIPmatrixPrintRow()

void SCIPmatrixPrintRow	(	SCIP *	scip,
		SCIP_MATRIX *	matrix,
		int	row
	)

print one row of the matrix

Parameters

scip	current SCIP instance
matrix	constraint matrix object
row	row index

Definition at line 1135 of file matrix.c.

References SCIP_Matrix::cons, SCIP_Matrix::lhs, SCIP_Matrix::rhs, SCIP_Matrix::rowmatbeg, SCIP_Matrix::rowmatcnt, SCIP_Matrix::rowmatind, SCIP_Matrix::rowmatval, SCIP_Real, SCIP_UNUSED, SCIPconsGetName(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetUbGlobal(), and SCIP_Matrix::vars.

Referenced by cancelRow(), and compensateVarLock().

◆ SCIPmatrixRemoveColumnBounds()

void SCIPmatrixRemoveColumnBounds	(	SCIP *	scip,
		SCIP_MATRIX *	matrix,
		int	col
	)

removes the bounds of a column and updates the activities accordingly

Parameters

scip	current scip instance
matrix	constraint matrix
col	column variable to remove bounds from

Definition at line 1169 of file matrix.c.

References SCIP_Matrix::colmatbeg, SCIP_Matrix::colmatcnt, SCIP_Matrix::colmatind, SCIP_Matrix::colmatval, SCIP_Matrix::lb, SCIP_Matrix::maxactivity, SCIP_Matrix::maxactivityneginf, SCIP_Matrix::maxactivityposinf, SCIP_Matrix::minactivity, SCIP_Matrix::minactivityneginf, SCIP_Matrix::minactivityposinf, SCIP_Real, SCIPinfinity(), SCIPisInfinity(), and SCIP_Matrix::ub.

Referenced by aggregation().

◆ SCIPmatrixGetParallelRows()

SCIP_RETCODE SCIPmatrixGetParallelRows	(	SCIP *	scip,
		SCIP_MATRIX *	matrix,
		SCIP_Real *	scale,
		int *	pclass
	)

detect parallel rows of matrix. rhs/lhs are ignored.

Parameters

scip	SCIP instance
matrix	matrix containing the constraints
scale	scale factors of rows
pclass	parallel row classes

Definition at line 1214 of file matrix.c.

References BMSclearMemoryArray, SCIP_Matrix::colmatbeg, SCIP_Matrix::colmatcnt, SCIP_Matrix::colmatind, SCIP_Matrix::colmatval, SCIP_Matrix::ncols, SCIP_Matrix::nrows, NULL, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPallocBufferArray, SCIPfreeBufferArray, SCIPisEQ(), SCIPsortIntIntReal(), SCIPsortRealInt(), and TRUE.

◆ SCIPmatrixGetParallelCols()

SCIP_RETCODE SCIPmatrixGetParallelCols	(	SCIP *	scip,
		SCIP_MATRIX *	matrix,
		SCIP_Real *	scale,
		int *	pclass,
		SCIP_Bool *	varineq
	)

detect parallel rows of matrix. obj coefficients are ignored.

Parameters

scip	SCIP instance
matrix	matrix containing the constraints
scale	scale factors of cols
pclass	parallel column classes
varineq	indicating if variable is within an equation

Definition at line 1370 of file matrix.c.

References BMSclearMemoryArray, SCIP_Matrix::isrhsinfinite, SCIP_Matrix::ncols, SCIP_Matrix::nrows, NULL, r, SCIP_Matrix::rowmatbeg, SCIP_Matrix::rowmatcnt, SCIP_Matrix::rowmatind, SCIP_Matrix::rowmatval, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPallocBufferArray, SCIPfreeBufferArray, SCIPisEQ(), SCIPsortIntIntReal(), SCIPsortRealInt(), and TRUE.

◆ SCIPmatrixGetColValPtr()

SCIP_Real* SCIPmatrixGetColValPtr	(	SCIP_MATRIX *	matrix,
		int	col
	)

get column based start pointer of values

Parameters

matrix	matrix instance
col	column index

Definition at line 1568 of file matrix.c.

References SCIP_Matrix::colmatbeg, SCIP_Matrix::colmatval, and NULL.

Referenced by calcMaxColActivity(), calcMinColActivity(), cancelCol(), dualBoundStrengthening(), findDominancePairs(), getDownlockRowIdx(), getImpliedBounds(), getMinColActWithoutRow(), getUplockRowIdx(), infinityCountUpdate(), and SCIP_DECL_PRESOLEXEC().

◆ SCIPmatrixGetColIdxPtr()

int* SCIPmatrixGetColIdxPtr	(	SCIP_MATRIX *	matrix,
		int	col
	)

get column based start pointer of row indices

Parameters

matrix	matrix instance
col	column index

Definition at line 1580 of file matrix.c.

References SCIP_Matrix::colmatbeg, SCIP_Matrix::colmatind, and NULL.

Referenced by calcMaxColActivity(), calcMinColActivity(), cancelCol(), dualBoundStrengthening(), findDominancePairs(), findFixings(), findVarAggrRedVbcons(), getDownlockRowIdx(), getImpliedBounds(), getMinColActWithoutRow(), getUplockRowIdx(), infinityCountUpdate(), SCIP_DECL_PRESOLEXEC(), and singletonColumnStuffing().

◆ SCIPmatrixGetColNNonzs()

int SCIPmatrixGetColNNonzs	(	SCIP_MATRIX *	matrix,
		int	col
	)

get the number of non-zero entries of this column

Parameters

matrix	matrix instance
col	column index

Definition at line 1592 of file matrix.c.

References SCIP_Matrix::colmatcnt, and NULL.

Referenced by calcMaxColActivity(), calcMinColActivity(), cancelCol(), compensateVarLock(), dualBoundStrengthening(), findDominancePairs(), findFixings(), findVarAggrRedVbcons(), getDownlockRowIdx(), getImpliedBounds(), getMinColActWithoutRow(), getUplockRowIdx(), infinityCountUpdate(), SCIP_DECL_PRESOLEXEC(), and singletonColumnStuffing().

◆ SCIPmatrixGetNColumns()

int SCIPmatrixGetNColumns ( SCIP_MATRIX * matrix )

get number of columns of the matrix

Parameters

matrix matrix instance

Definition at line 1604 of file matrix.c.

References SCIP_Matrix::ncols, and NULL.

Referenced by applyLPboundTightening(), calcVarBoundsDominated(), calcVarBoundsDominating(), cancelCol(), compensateVarLock(), detectParallelCols(), dualBoundStrengthening(), findDownlockAggregations(), findUplockAggregations(), findVarAggrRedVbcons(), infinityCountUpdate(), SCIP_DECL_PRESOLEXEC(), SCIPincludePresolMILP(), and singletonColumnStuffing().

◆ SCIPmatrixGetColUb()

SCIP_Real SCIPmatrixGetColUb	(	SCIP_MATRIX *	matrix,
		int	col
	)

get upper bound of column

Parameters

matrix	matrix instance
col	column index

Definition at line 1614 of file matrix.c.

References NULL, and SCIP_Matrix::ub.

Referenced by findDownlockAggregations(), findUplockAggregations(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getImpliedBounds(), getMaxActivitySingleRowWithoutCol(), getMinActivitySingleRowWithoutCol(), getMinMaxActivityResiduals(), and SCIP_DECL_PRESOLEXEC().

◆ SCIPmatrixGetColLb()

SCIP_Real SCIPmatrixGetColLb	(	SCIP_MATRIX *	matrix,
		int	col
	)

get lower bound of column

Parameters

matrix	matrix instance
col	column index

Definition at line 1625 of file matrix.c.

References SCIP_Matrix::lb, and NULL.

Referenced by findDownlockAggregations(), findUplockAggregations(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getImpliedBounds(), getMaxActivitySingleRowWithoutCol(), getMinActivitySingleRowWithoutCol(), getMinMaxActivityResiduals(), and SCIP_DECL_PRESOLEXEC().

◆ SCIPmatrixGetColNUplocks()

int SCIPmatrixGetColNUplocks	(	SCIP_MATRIX *	matrix,
		int	col
	)

get number of uplocks of column

Parameters

matrix	matrix instance
col	column index

Definition at line 1636 of file matrix.c.

References NULL, and SCIP_Matrix::nuplocks.

Referenced by cancelCol(), cancelRow(), compensateVarLock(), detectDominatingVlbs(), detectDominatingVubs(), findUplockAggregations(), getUplockRowIdx(), SCIP_DECL_PRESOLEXEC(), and singletonColumnStuffing().

◆ SCIPmatrixGetColNDownlocks()

int SCIPmatrixGetColNDownlocks	(	SCIP_MATRIX *	matrix,
		int	col
	)

get number of downlocks of column

Parameters

matrix	matrix instance
col	column index

Definition at line 1648 of file matrix.c.

References SCIP_Matrix::ndownlocks, and NULL.

Referenced by cancelCol(), cancelRow(), compensateVarLock(), detectDominatingVlbs(), detectDominatingVubs(), findDownlockAggregations(), getDownlockRowIdx(), SCIP_DECL_PRESOLEXEC(), and singletonColumnStuffing().

◆ SCIPmatrixGetVar()

SCIP_VAR* SCIPmatrixGetVar	(	SCIP_MATRIX *	matrix,
		int	col
	)

get variable pointer of column

Parameters

matrix	matrix instance
col	column index

Definition at line 1660 of file matrix.c.

References NULL, and SCIP_Matrix::vars.

Referenced by calcVarBoundsDominated(), calcVarBoundsDominating(), cancelRow(), compensateVarLock(), detectDominatingVlbs(), detectDominatingVubs(), dualBoundStrengthening(), findDominancePairs(), findDownlockAggregations(), findUplockAggregations(), findVarAggrRedVbcons(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), infinityCountUpdate(), isVlb(), isVub(), SCIP_DECL_PRESOLEXEC(), SCIPincludePresolMILP(), singletonColumnStuffing(), and transformAndSolve().

◆ SCIPmatrixGetColName()

const char* SCIPmatrixGetColName	(	SCIP_MATRIX *	matrix,
		int	col
	)

get name of column/variable

Parameters

matrix	matrix instance
col	column index

Definition at line 1672 of file matrix.c.

References NULL, SCIPvarGetName(), and SCIP_Matrix::vars.

Referenced by transformAndSolve().

◆ SCIPmatrixGetRowValPtr()

SCIP_Real* SCIPmatrixGetRowValPtr	(	SCIP_MATRIX *	matrix,
		int	row
	)

get row based start pointer of values

Parameters

matrix	matrix instance
row	row index

Definition at line 1684 of file matrix.c.

References NULL, SCIP_Matrix::rowmatbeg, and SCIP_Matrix::rowmatval.

Referenced by applyLPboundTightening(), cancelRow(), compensateVarLock(), detectParallelCols(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getMaxActivitySingleRowWithoutCol(), getMinActivitySingleRowWithoutCol(), getMinMaxActivityResiduals(), infinityCountUpdate(), isVlb(), isVub(), SCIP_DECL_PRESOLEXEC(), SCIPincludePresolMILP(), singletonColumnStuffing(), and transformAndSolve().

◆ SCIPmatrixGetRowIdxPtr()

int* SCIPmatrixGetRowIdxPtr	(	SCIP_MATRIX *	matrix,
		int	row
	)

get row based start pointer of column indices

Parameters

matrix	matrix instance
row	row index

Definition at line 1696 of file matrix.c.

References NULL, SCIP_Matrix::rowmatbeg, and SCIP_Matrix::rowmatind.

Referenced by applyLPboundTightening(), cancelRow(), compensateVarLock(), detectParallelCols(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getMaxActivitySingleRowWithoutCol(), getMinActivitySingleRowWithoutCol(), getMinMaxActivityResiduals(), infinityCountUpdate(), isVlb(), isVub(), SCIP_DECL_PRESOLEXEC(), SCIPincludePresolMILP(), singletonColumnStuffing(), and transformAndSolve().

◆ SCIPmatrixGetRowNNonzs()

int SCIPmatrixGetRowNNonzs	(	SCIP_MATRIX *	matrix,
		int	row
	)

get number of non-zeros of this row

Parameters

matrix	matrix instance
row	row index

Definition at line 1708 of file matrix.c.

References NULL, and SCIP_Matrix::rowmatcnt.

Referenced by applyLPboundTightening(), cancelCol(), cancelRow(), compensateVarLock(), detectParallelCols(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getMaxActivitySingleRowWithoutCol(), getMinActivitySingleRowWithoutCol(), getMinMaxActivityResiduals(), infinityCountUpdate(), isVlb(), isVub(), SCIP_DECL_PRESOLEXEC(), SCIPincludePresolMILP(), singletonColumnStuffing(), and transformAndSolve().

◆ SCIPmatrixGetRowName()

const char* SCIPmatrixGetRowName	(	SCIP_MATRIX *	matrix,
		int	row
	)

get name of row

Parameters

matrix	matrix instance
row	row index

Definition at line 1720 of file matrix.c.

References SCIP_Matrix::cons, NULL, and SCIPconsGetName().

Referenced by applyLPboundTightening(), and cancelRow().

◆ SCIPmatrixGetNRows()

int SCIPmatrixGetNRows ( SCIP_MATRIX * matrix )

get number of rows of the matrix

Parameters

matrix matrix instance

Definition at line 1732 of file matrix.c.

References SCIP_Matrix::nrows, and NULL.

Referenced by calcVarBoundsDominated(), calcVarBoundsDominating(), compensateVarLock(), detectParallelCols(), dualBoundStrengthening(), findVarAggrRedVbcons(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), infinityCountUpdate(), isVlb(), isVub(), processHashlists(), SCIP_DECL_PRESOLEXEC(), SCIPincludePresolMILP(), and singletonColumnStuffing().

◆ SCIPmatrixGetRowLhs()

SCIP_Real SCIPmatrixGetRowLhs	(	SCIP_MATRIX *	matrix,
		int	row
	)

get left-hand-side of row

Parameters

matrix	matrix instance
row	row index

Definition at line 1742 of file matrix.c.

References SCIP_Matrix::lhs, and NULL.

Referenced by calcVarBoundsDominated(), calcVarBoundsDominating(), cancelCol(), cancelRow(), compensateVarLock(), dualBoundStrengthening(), findDominancePairs(), findFixings(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getVarBoundsOfRow(), isVlb(), isVub(), processHashlists(), SCIP_DECL_PRESOLEXEC(), SCIPincludePresolMILP(), singletonColumnStuffing(), and transformAndSolve().

◆ SCIPmatrixGetRowRhs()

SCIP_Real SCIPmatrixGetRowRhs	(	SCIP_MATRIX *	matrix,
		int	row
	)

get right-hand-side of row

Parameters

matrix	matrix instance
row	row index

Definition at line 1754 of file matrix.c.

References NULL, and SCIP_Matrix::rhs.

Referenced by calcVarBoundsDominated(), calcVarBoundsDominating(), cancelCol(), cancelRow(), compensateVarLock(), dualBoundStrengthening(), findDominancePairs(), findFixings(), getVarBoundsOfRow(), processHashlists(), SCIP_DECL_PRESOLEXEC(), SCIPincludePresolMILP(), and transformAndSolve().

◆ SCIPmatrixIsRowRhsInfinity()

SCIP_Bool SCIPmatrixIsRowRhsInfinity	(	SCIP_MATRIX *	matrix,
		int	row
	)

flag indicating if right-hand-side of row is infinity

Parameters

matrix	matrix instance
row	row index

Definition at line 1766 of file matrix.c.

References SCIP_Matrix::isrhsinfinite, and NULL.

Referenced by calcVarBoundsDominated(), calcVarBoundsDominating(), detectParallelCols(), dualBoundStrengthening(), findDominancePairs(), getDownlockRowIdx(), getUplockRowIdx(), infinityCountUpdate(), isVlb(), isVub(), SCIP_DECL_PRESOLEXEC(), and singletonColumnStuffing().

◆ SCIPmatrixGetNNonzs()

int SCIPmatrixGetNNonzs ( SCIP_MATRIX * matrix )

get number of non-zeros of matrix

Parameters

matrix matrix instance

Definition at line 1778 of file matrix.c.

References SCIP_Matrix::nnonzs, and NULL.

Referenced by SCIP_DECL_PRESOLEXEC(), and SCIPincludePresolMILP().

◆ SCIPmatrixGetRowMinActivity()

SCIP_Real SCIPmatrixGetRowMinActivity	(	SCIP_MATRIX *	matrix,
		int	row
	)

get minimal activity of row

Parameters

matrix	matrix instance
row	row index

Definition at line 1788 of file matrix.c.

References SCIP_Matrix::minactivity, and NULL.

Referenced by findDominancePairs(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), and getMinMaxActivityResiduals().

◆ SCIPmatrixGetRowMaxActivity()

SCIP_Real SCIPmatrixGetRowMaxActivity	(	SCIP_MATRIX *	matrix,
		int	row
	)

get maximal activity of row

Parameters

matrix	matrix instance
row	row index

Definition at line 1800 of file matrix.c.

References SCIP_Matrix::maxactivity, and NULL.

Referenced by findDominancePairs(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), and getMinMaxActivityResiduals().

◆ SCIPmatrixGetRowNMinActNegInf()

int SCIPmatrixGetRowNMinActNegInf	(	SCIP_MATRIX *	matrix,
		int	row
	)

get number of negative infinities present within minimal activity

Parameters

matrix	matrix instance
row	row index

Definition at line 1812 of file matrix.c.

References SCIP_Matrix::minactivityneginf, and NULL.

Referenced by findDominancePairs(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), and getMinMaxActivityResiduals().

◆ SCIPmatrixGetRowNMinActPosInf()

int SCIPmatrixGetRowNMinActPosInf	(	SCIP_MATRIX *	matrix,
		int	row
	)

get number of positive infinities present within minimal activity

Parameters

matrix	matrix instance
row	row index

Definition at line 1824 of file matrix.c.

References SCIP_Matrix::minactivityposinf, and NULL.

Referenced by findDominancePairs(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), and getMinMaxActivityResiduals().

◆ SCIPmatrixGetRowNMaxActNegInf()

int SCIPmatrixGetRowNMaxActNegInf	(	SCIP_MATRIX *	matrix,
		int	row
	)

get number of negative infinities present within maximal activity

Parameters

matrix	matrix instance
row	row index

Definition at line 1836 of file matrix.c.

References SCIP_Matrix::maxactivityneginf, and NULL.

Referenced by findDominancePairs(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), and getMinMaxActivityResiduals().

◆ SCIPmatrixGetRowNMaxActPosInf()

int SCIPmatrixGetRowNMaxActPosInf	(	SCIP_MATRIX *	matrix,
		int	row
	)

get number of positive infinities present within maximal activity

Parameters

matrix	matrix instance
row	row index

Definition at line 1848 of file matrix.c.

References SCIP_Matrix::maxactivityposinf, and NULL.

Referenced by findDominancePairs(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), and getMinMaxActivityResiduals().

◆ SCIPmatrixGetCons()

SCIP_CONS* SCIPmatrixGetCons	(	SCIP_MATRIX *	matrix,
		int	row
	)

get constraint pointer for constraint representing row

Parameters

matrix	matrix instance
row	row index

Definition at line 1860 of file matrix.c.

References SCIP_Matrix::cons, and NULL.

Referenced by cancelRow(), detectDominatingVlbs(), detectDominatingVubs(), SCIP_DECL_PRESOLEXEC(), and SCIPincludePresolMILP().

◆ SCIPmatrixUplockConflict()

SCIP_Bool SCIPmatrixUplockConflict	(	SCIP_MATRIX *	matrix,
		int	col
	)

get if conflicting uplocks of a specific variable present

Parameters

matrix	matrix instance
col	column index

Definition at line 1872 of file matrix.c.

References NULL, SCIP_Matrix::nuplocks, SCIP_LOCKTYPE_MODEL, SCIPvarGetNLocksUpType(), and SCIP_Matrix::vars.

Referenced by dualBoundStrengthening(), SCIP_DECL_PRESOLEXEC(), and SCIPmatrixCreate().

◆ SCIPmatrixDownlockConflict()

SCIP_Bool SCIPmatrixDownlockConflict	(	SCIP_MATRIX *	matrix,
		int	col
	)

get if conflicting downlocks of a specific variable present

Parameters

matrix	matrix instance
col	column index

Definition at line 1884 of file matrix.c.

References SCIP_Matrix::ndownlocks, NULL, SCIP_LOCKTYPE_MODEL, SCIPvarGetNLocksDownType(), and SCIP_Matrix::vars.

Referenced by dualBoundStrengthening(), SCIP_DECL_PRESOLEXEC(), and SCIPmatrixCreate().

SCIP

Detailed Description

Functions

Function Documentation

◆ getActiveVariables()

◆ addRow()

◆ addConstraint()

◆ setColumnMajorFormat()

◆ calcActivityBounds()

◆ SCIPmatrixCreate()

◆ SCIPmatrixFree()

◆ SCIPmatrixPrintRow()

◆ SCIPmatrixRemoveColumnBounds()

◆ SCIPmatrixGetParallelRows()

◆ SCIPmatrixGetParallelCols()

◆ SCIPmatrixGetColValPtr()

◆ SCIPmatrixGetColIdxPtr()

◆ SCIPmatrixGetColNNonzs()

◆ SCIPmatrixGetNColumns()

◆ SCIPmatrixGetColUb()

◆ SCIPmatrixGetColLb()

◆ SCIPmatrixGetColNUplocks()

◆ SCIPmatrixGetColNDownlocks()

◆ SCIPmatrixGetVar()

◆ SCIPmatrixGetColName()

◆ SCIPmatrixGetRowValPtr()

◆ SCIPmatrixGetRowIdxPtr()

◆ SCIPmatrixGetRowNNonzs()

◆ SCIPmatrixGetRowName()

◆ SCIPmatrixGetNRows()

◆ SCIPmatrixGetRowLhs()

◆ SCIPmatrixGetRowRhs()

◆ SCIPmatrixIsRowRhsInfinity()

◆ SCIPmatrixGetNNonzs()

◆ SCIPmatrixGetRowMinActivity()

◆ SCIPmatrixGetRowMaxActivity()

◆ SCIPmatrixGetRowNMinActNegInf()

◆ SCIPmatrixGetRowNMinActPosInf()

◆ SCIPmatrixGetRowNMaxActNegInf()

◆ SCIPmatrixGetRowNMaxActPosInf()

◆ SCIPmatrixGetCons()

◆ SCIPmatrixUplockConflict()

◆ SCIPmatrixDownlockConflict()