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_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 initialized, SCIP_Bool *complete)

void	SCIPmatrixFree (SCIP scip, SCIP_MATRIX *matrix)

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

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 54 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 89 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 207 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 284 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 351 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 *	initialized,
		SCIP_Bool *	complete
	)

initialize matrix

Parameters

scip	current scip instance
matrixptr	pointer to constraint matrix object to be initialized
initialized	was the initialization successful?
complete	are all constraint represented within the matrix?

Definition at line 437 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, SCIPconshdlrGetCheckConss(), SCIPconshdlrGetName(), SCIPconshdlrGetNCheckConss(), SCIPconsIsTransformed(), SCIPdebugMsg, SCIPduplicateBufferArray, SCIPfreeBufferArray, SCIPgetBinvarsLinking(), SCIPgetCapacityKnapsack(), SCIPgetConshdlrs(), SCIPgetIntvarLinking(), SCIPgetLhsLinear(), SCIPgetLhsVarbound(), SCIPgetNConshdlrs(), SCIPgetNConss(), SCIPgetNVars(), SCIPgetNVarsKnapsack(), SCIPgetNVarsLinear(), SCIPgetNVarsLogicor(), SCIPgetNVarsSetppc(), SCIPgetRhsLinear(), SCIPgetRhsVarbound(), SCIPgetTypeSetppc(), SCIPgetValsLinear(), SCIPgetValsLinking(), SCIPgetVars(), SCIPgetVarsKnapsack(), SCIPgetVarsLinear(), SCIPgetVarsLogicor(), SCIPgetVarsSetppc(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetWeightsKnapsack(), SCIPinfinity(), SCIPisStopped(), SCIPreallocBufferArray, SCIPvarGetLbGlobal(), SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUpType(), SCIPvarGetUbGlobal(), setColumnMajorFormat(), TRUE, SCIP_Matrix::ub, and SCIP_Matrix::vars.

Referenced by SCIP_DECL_PRESOLEXEC().

◆ SCIPmatrixFree()

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

frees the constraint matrix

Parameters

scip	current SCIP instance
matrix	constraint matrix object

Definition at line 864 of file matrix.c.

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

Referenced by SCIP_DECL_PRESOLEXEC().

◆ 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 927 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, SCIPconsGetName(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetUbGlobal(), and SCIP_Matrix::vars.

Referenced by cancelRow(), compensateVarLock(), and getActivities().

◆ 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 959 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 1115 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 1315 of file matrix.c.

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

Referenced by calcColActivity(), dualBoundStrengthening(), findDominancePairs(), getDownlockRowIdx(), getMinColActWithoutRow(), getUplockRowIdx(), isUpperBoundImplied(), 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 1327 of file matrix.c.

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

Referenced by calcColActivity(), calcTwoRowBnds(), dualBoundStrengthening(), findDominancePairs(), findFixings(), findVarAggrRedVbcons(), getDownlockRowIdx(), getMinColActWithoutRow(), getUplockRowIdx(), isUpperBoundImplied(), 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 1339 of file matrix.c.

References SCIP_Matrix::colmatcnt, and NULL.

Referenced by calcColActivity(), calcTwoRowBnds(), compensateVarLock(), dualBoundStrengthening(), findDominancePairs(), findFixings(), findVarAggrRedVbcons(), getDownlockRowIdx(), getMinColActWithoutRow(), getUplockRowIdx(), isUpperBoundImplied(), 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 1351 of file matrix.c.

References SCIP_Matrix::ncols, and NULL.

Referenced by calcTwoRowBnds(), calcVarBoundsDominated(), calcVarBoundsDominating(), compensateVarLock(), detectParallelCols(), dualBoundStrengthening(), findDownlockAggregations(), findUplockAggregations(), findVarAggrRedVbcons(), getBounds(), getCoefficients(), SCIP_DECL_PRESOLEXEC(), 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 1361 of file matrix.c.

References NULL, and SCIP_Matrix::ub.

Referenced by findDownlockAggregations(), findUplockAggregations(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getMaxActivitySingleRowWithoutCol(), getMinActivitySingleRowWithoutCol(), getMinMaxActivityResiduals(), isUpperBoundImplied(), 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 1372 of file matrix.c.

References SCIP_Matrix::lb, and NULL.

Referenced by findDownlockAggregations(), findUplockAggregations(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), 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 1383 of file matrix.c.

References NULL, and SCIP_Matrix::nuplocks.

Referenced by 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 1395 of file matrix.c.

References SCIP_Matrix::ndownlocks, and NULL.

Referenced by 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 1407 of file matrix.c.

References NULL, and SCIP_Matrix::vars.

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

◆ SCIPmatrixGetColName()

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

get name of column/variable

Parameters

matrix	matrix instance
col	column index

Definition at line 1419 of file matrix.c.

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

◆ 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 1431 of file matrix.c.

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

Referenced by cancelRow(), compensateVarLock(), detectParallelCols(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getCoefficients(), getMaxActivitySingleRowWithoutCol(), getMinActivitySingleRowWithoutCol(), infCntUpdate(), isVlb(), isVub(), SCIP_DECL_PRESOLEXEC(), and singletonColumnStuffing().

◆ 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 1443 of file matrix.c.

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

Referenced by calcTwoRowBnds(), cancelRow(), compensateVarLock(), detectParallelCols(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getCoefficients(), getMaxActivitySingleRowWithoutCol(), getMinActivitySingleRowWithoutCol(), getNumOverlap(), getOverlapBaseOrdered(), infCntUpdate(), isVlb(), isVub(), SCIP_DECL_PRESOLEXEC(), and singletonColumnStuffing().

◆ 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 1455 of file matrix.c.

References NULL, and SCIP_Matrix::rowmatcnt.

Referenced by applyTightening(), calcTwoRowBnds(), cancelRow(), compensateVarLock(), detectParallelCols(), getActivities(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getCoefficients(), getMaxActivitySingleRowWithoutCol(), getMinActivitySingleRowWithoutCol(), getNumOverlap(), getOverlapBaseOrdered(), infCntUpdate(), isVlb(), isVub(), SCIP_DECL_PRESOLEXEC(), and singletonColumnStuffing().

◆ SCIPmatrixGetRowName()

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

get name of row

Parameters

matrix	matrix instance
row	row index

Definition at line 1467 of file matrix.c.

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

Referenced by cancelRow().

◆ SCIPmatrixGetNRows()

int SCIPmatrixGetNRows ( SCIP_MATRIX * matrix )

get number of rows of the matrix

Parameters

matrix matrix instance

Definition at line 1479 of file matrix.c.

References SCIP_Matrix::nrows, and NULL.

Referenced by calcTwoRowBnds(), calcVarBoundsDominated(), calcVarBoundsDominating(), compensateVarLock(), detectParallelCols(), dualBoundStrengthening(), findVarAggrRedVbcons(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBaseRows(), isVlb(), isVub(), SCIP_DECL_PRESOLEXEC(), 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 1489 of file matrix.c.

References SCIP_Matrix::lhs, and NULL.

Referenced by applyTightening(), calcVarBoundsDominated(), calcVarBoundsDominating(), cancelRow(), compensateVarLock(), dualBoundStrengthening(), findDominancePairs(), findFixings(), getActivities(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getVarUpperBoundOfRow(), isVlb(), isVub(), SCIP_DECL_PRESOLEXEC(), and singletonColumnStuffing().

◆ 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 1501 of file matrix.c.

References NULL, and SCIP_Matrix::rhs.

Referenced by calcVarBoundsDominated(), calcVarBoundsDominating(), cancelRow(), compensateVarLock(), dualBoundStrengthening(), findDominancePairs(), findFixings(), getVarUpperBoundOfRow(), and SCIP_DECL_PRESOLEXEC().

◆ 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 1513 of file matrix.c.

References SCIP_Matrix::isrhsinfinite, and NULL.

Referenced by calcColActivity(), calcColActResidual(), calcTwoRowBnds(), calcVarBoundsDominated(), calcVarBoundsDominating(), detectParallelCols(), dualBoundStrengthening(), findDominancePairs(), getBaseRows(), getDownlockRowIdx(), getMinColActWithoutRow(), getUplockRowIdx(), infCntUpdate(), isVlb(), isVub(), SCIP_DECL_PRESOLEXEC(), singletonColumnStuffing(), and updateDualBounds().

◆ SCIPmatrixGetNNonzs()

int SCIPmatrixGetNNonzs ( SCIP_MATRIX * matrix )

get number of non-zeros of matrix

Parameters

matrix matrix instance

Definition at line 1525 of file matrix.c.

References SCIP_Matrix::nnonzs, and NULL.

Referenced by SCIP_DECL_PRESOLEXEC().

◆ SCIPmatrixGetRowMinActivity()

SCIP_Real SCIPmatrixGetRowMinActivity	(	SCIP_MATRIX *	matrix,
		int	row
	)

get minimal activity of row

Parameters

matrix	matrix instance
row	row index

Definition at line 1535 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 1547 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 1559 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 1571 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 1583 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 1595 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 1607 of file matrix.c.

References SCIP_Matrix::cons, and NULL.

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

◆ 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 1619 of file matrix.c.

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

◆ 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 1631 of file matrix.c.

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

SCIP

Detailed Description

Functions

Function Documentation

◆ getActiveVariables()

◆ addRow()

◆ addConstraint()

◆ setColumnMajorFormat()

◆ calcActivityBounds()

◆ SCIPmatrixCreate()

◆ SCIPmatrixFree()

◆ SCIPmatrixPrintRow()

◆ 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()