pub_matrix.h File Reference

Detailed Description

public methods for matrix

Author

Dieter Weninger

Definition in file pub_matrix.h.

#include "scip/def.h"
#include "scip/type_var.h"
#include "scip/type_cons.h"
#include "scip/type_matrix.h"
#include "scip/type_rational.h"

Go to the source code of this file.

Functions
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)
SCIP_RATIONAL **	SCIPmatrixGetRowValPtrExact (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_RATIONAL *	SCIPmatrixGetRowLhsExact (SCIP_MATRIX *matrix, int row)
SCIP_RATIONAL *	SCIPmatrixGetRowRhsExact (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)
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)
SCIP_RETCODE	SCIPmatrixGetParallelRows (SCIP *scip, SCIP_MATRIX *matrix, SCIP_Real *scale, int *pclass)
void	SCIPmatrixRemoveColumnBounds (SCIP *scip, SCIP_MATRIX *matrix, int col)
SCIP_RETCODE	SCIPmatrixGetParallelCols (SCIP *scip, SCIP_MATRIX *matrix, SCIP_Real *scale, int *pclass, SCIP_Bool *varineq)

Function Documentation

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

References assert(), SCIP_Matrix::colmatbeg, SCIP_Matrix::colmatval, NULL, and SCIP_Real.

Referenced by calcMaxColActivity(), calcMinColActivity(), cancelCol(), dualBoundStrengthening(), findDominancePairs(), getDownlockRowIdx(), getImpliedBounds(), getImpliedBounds(), getMinColActWithoutRow(), getUplockRowIdx(), SCIP_DECL_PRESOLEXEC(), 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 1873 of file matrix.c.

References assert(), SCIP_Matrix::colmatbeg, SCIP_Matrix::colmatind, and NULL.

Referenced by calcMaxColActivity(), calcMinColActivity(), cancelCol(), dualBoundStrengthening(), findDominancePairs(), findFixings(), findVarAggrRedVbcons(), getDownlockRowIdx(), getImpliedBounds(), getImpliedBounds(), getMinColActWithoutRow(), getUplockRowIdx(), SCIP_DECL_PRESOLEXEC(), 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 1885 of file matrix.c.

References assert(), SCIP_Matrix::colmatcnt, and NULL.

Referenced by calcMaxColActivity(), calcMinColActivity(), cancelCol(), compensateVarLock(), dualBoundStrengthening(), findDominancePairs(), findFixings(), findVarAggrRedVbcons(), getDownlockRowIdx(), getImpliedBounds(), getImpliedBounds(), getMinColActWithoutRow(), getUplockRowIdx(), SCIP_DECL_PRESOLEXEC(), 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 1897 of file matrix.c.

References assert(), SCIP_Matrix::ncols, and NULL.

Referenced by applyLPboundTightening(), calcVarBoundsDominated(), calcVarBoundsDominating(), cancelCol(), compensateVarLock(), detectParallelCols(), dualBoundStrengthening(), findDownlockAggregations(), findUplockAggregations(), findVarAggrRedVbcons(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), 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 1907 of file matrix.c.

References assert(), NULL, SCIP_Real, 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 1918 of file matrix.c.

References assert(), SCIP_Matrix::lb, NULL, and SCIP_Real.

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

References assert(), NULL, and SCIP_Matrix::nuplocks.

Referenced by cancelCol(), cancelRow(), compensateVarLock(), detectDominatingVlbs(), detectDominatingVubs(), findUplockAggregations(), getUplockRowIdx(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), 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 1941 of file matrix.c.

References assert(), SCIP_Matrix::ndownlocks, and NULL.

Referenced by cancelCol(), cancelRow(), compensateVarLock(), detectDominatingVlbs(), detectDominatingVubs(), findDownlockAggregations(), getDownlockRowIdx(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), 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 1953 of file matrix.c.

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

Referenced by calcVarBoundsDominated(), calcVarBoundsDominating(), cancelRow(), compensateVarLock(), detectDominatingVlbs(), detectDominatingVubs(), dualBoundStrengthening(), findDominancePairs(), findDownlockAggregations(), findUplockAggregations(), findVarAggrRedVbcons(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), isVlb(), isVub(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), 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 1965 of file matrix.c.

References assert(), 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 1977 of file matrix.c.

References assert(), NULL, SCIP_Matrix::rowmatbeg, SCIP_Matrix::rowmatval, and SCIP_Real.

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

SCIPmatrixGetRowValPtrExact()

SCIP_RATIONAL ** SCIPmatrixGetRowValPtrExact	(	SCIP_MATRIX *	matrix,
		int	row )

get row based start pointer of values

Parameters

matrix	matrix instance
row	row index

Definition at line 1989 of file matrix.c.

References assert(), SCIP_Matrix::matrixvalsexact, NULL, SCIP_Matrix::rowmatbeg, and SCIP_MatrixValsExact::rowmatvalexact.

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

References assert(), 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(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), 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 2013 of file matrix.c.

References assert(), NULL, and SCIP_Matrix::rowmatcnt.

Referenced by applyLPboundTightening(), cancelCol(), cancelRow(), compensateVarLock(), detectParallelCols(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getMaxActivitySingleRowWithoutCol(), getMinActivitySingleRowWithoutCol(), getMinMaxActivityResiduals(), infinityCountUpdate(), isVlb(), isVub(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), 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 2025 of file matrix.c.

References assert(), 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 2037 of file matrix.c.

References assert(), SCIP_Matrix::nrows, and NULL.

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

References assert(), SCIP_Matrix::lhs, NULL, and SCIP_Real.

Referenced by calcVarBoundsDominated(), calcVarBoundsDominating(), cancelCol(), cancelRow(), compensateVarLock(), dualBoundStrengthening(), findDominancePairs(), findFixings(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getVarBoundsOfRow(), getVarBoundsOfRow(), isVlb(), isVub(), processHashlists(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), 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 2059 of file matrix.c.

References assert(), NULL, SCIP_Matrix::rhs, and SCIP_Real.

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

SCIPmatrixGetRowLhsExact()

SCIP_RATIONAL * SCIPmatrixGetRowLhsExact	(	SCIP_MATRIX *	matrix,
		int	row )

get left-hand-side of row

Parameters

matrix	matrix instance
row	row index

Definition at line 2071 of file matrix.c.

References assert(), SCIP_MatrixValsExact::lhsexact, SCIP_Matrix::matrixvalsexact, and NULL.

SCIPmatrixGetRowRhsExact()

SCIP_RATIONAL * SCIPmatrixGetRowRhsExact	(	SCIP_MATRIX *	matrix,
		int	row )

get right-hand-side of row

Parameters

matrix	matrix instance
row	row index

Definition at line 2083 of file matrix.c.

References assert(), SCIP_Matrix::matrixvalsexact, NULL, and SCIP_MatrixValsExact::rhsexact.

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

References assert(), SCIP_Matrix::isrhsinfinite, NULL, and SCIP_Bool.

Referenced by calcVarBoundsDominated(), calcVarBoundsDominating(), detectParallelCols(), dualBoundStrengthening(), findDominancePairs(), getDownlockRowIdx(), getUplockRowIdx(), 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 2107 of file matrix.c.

References assert(), 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 2117 of file matrix.c.

References assert(), SCIP_Matrix::minactivity, NULL, and SCIP_Real.

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

References assert(), SCIP_Matrix::maxactivity, NULL, and SCIP_Real.

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

References assert(), 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 2153 of file matrix.c.

References assert(), 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 2165 of file matrix.c.

References assert(), 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 2177 of file matrix.c.

References assert(), 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 2189 of file matrix.c.

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

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

SCIPmatrixUplockConflict()

SCIP_Bool SCIPmatrixUplockConflict	(	SCIP_MATRIX *	matrix,
		int	col )

get if conflicting uplocks of variable present

get if conflicting uplocks of a specific variable present

Parameters

matrix	matrix instance
col	column index

Definition at line 2201 of file matrix.c.

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

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

SCIPmatrixDownlockConflict()

SCIP_Bool SCIPmatrixDownlockConflict	(	SCIP_MATRIX *	matrix,
		int	col )

get if conflicting downlocks of variable present

get if conflicting downlocks of a specific variable present

Parameters

matrix	matrix instance
col	column index

Definition at line 2213 of file matrix.c.

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

Referenced by dualBoundStrengthening(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), and 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 703 of file matrix.c.

References addConstraint(), addConstraintExact(), assert(), BMSclearMemoryArray, SCIP_MatrixValsExact::buffersize, SCIP_MatrixValsExact::buffersizenconss, c, calcActivityBounds(), SCIP_Matrix::colmatbeg, SCIP_Matrix::colmatcnt, SCIP_Matrix::colmatind, SCIP_Matrix::colmatval, SCIP_MatrixValsExact::colmatvalexact, SCIP_Matrix::cons, FALSE, i, SCIP_Matrix::isrhsinfinite, SCIP_Matrix::lb, SCIP_MatrixValsExact::lbexact, SCIP_Matrix::lhs, SCIP_MatrixValsExact::lhsexact, SCIP_Matrix::matrixvalsexact, 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, nvars, SCIP_Matrix::rhs, SCIP_MatrixValsExact::rhsexact, SCIP_Matrix::rowmatbeg, SCIP_Matrix::rowmatcnt, SCIP_Matrix::rowmatind, SCIP_Matrix::rowmatval, SCIP_MatrixValsExact::rowmatvalexact, 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, SCIPbuffer(), SCIPcleanupConssKnapsack(), SCIPcleanupConssLinear(), SCIPcleanupConssLogicor(), SCIPcleanupConssSetppc(), SCIPcleanupConssVarbound(), SCIPconshdlrGetCheckConss(), SCIPconshdlrGetName(), SCIPconshdlrGetNCheckConss(), SCIPconsIsModifiable(), SCIPconsIsTransformed(), SCIPdebugMsg, SCIPduplicateBufferArray, SCIPfreeBuffer, SCIPfreeBufferArray, SCIPfreeBufferArrayNull, SCIPfreeMemoryArray, SCIPgetBinvarsLinking(), SCIPgetCapacityKnapsack(), SCIPgetConshdlrs(), SCIPgetLhsExactLinear(), SCIPgetLhsLinear(), SCIPgetLhsVarbound(), SCIPgetNActivePricers(), SCIPgetNConshdlrs(), SCIPgetNConss(), SCIPgetNVars(), SCIPgetNVarsExactLinear(), SCIPgetNVarsKnapsack(), SCIPgetNVarsLinear(), SCIPgetNVarsLogicor(), SCIPgetNVarsSetppc(), SCIPgetRhsExactLinear(), SCIPgetRhsLinear(), SCIPgetRhsVarbound(), SCIPgetTypeSetppc(), SCIPgetValsExactLinear(), SCIPgetValsLinear(), SCIPgetValsLinking(), SCIPgetVars(), SCIPgetVarsExactLinear(), SCIPgetVarsKnapsack(), SCIPgetVarsLinear(), SCIPgetVarsLogicor(), SCIPgetVarsSetppc(), SCIPgetVarVarbound(), SCIPgetVbdcoefVarbound(), SCIPgetVbdvarVarbound(), SCIPgetWeightsKnapsack(), SCIPinfinity(), SCIPisExact(), SCIPisStopped(), SCIPmatrixDownlockConflict(), SCIPmatrixUplockConflict(), SCIPrationalCreateBufferArray(), SCIPrationalFreeBufferArray(), SCIPreallocBufferArray, SCIPvarGetLbGlobal(), SCIPvarGetLbGlobalExact(), SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUpType(), SCIPvarGetUbGlobal(), SCIPvarGetUbGlobalExact(), setColumnMajorFormat(), TRUE, SCIP_Matrix::ub, SCIP_MatrixValsExact::ubexact, var, SCIP_Matrix::vars, and vars.

Referenced by SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRESOLEXEC(), and 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 1348 of file matrix.c.

References assert(), NULL, SCIPbuffer(), SCIPfreeBuffer, SCIPfreeBufferArray, SCIPfreeBufferArrayNull, SCIPfreeMemoryArray, SCIPisExact(), and SCIPrationalFreeBufferArray().

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

SCIPmatrixPrintRow()

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

print one row of the MIP matrix

print one row of the matrix

Parameters

scip	current SCIP instance
matrix	constraint matrix object
row	row index

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

SCIPmatrixGetParallelRows()

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

detect parallel rows, rhs/lhs are ignored

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

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

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

References assert(), SCIP_Matrix::colmatbeg, SCIP_Matrix::colmatcnt, SCIP_Matrix::colmatind, SCIP_Matrix::colmatval, i, 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().

SCIPmatrixGetParallelCols()

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

detect parallel columns, obj ignored

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

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