Detailed Description

LP column; The row vector of the LP column is partitioned into two parts: The first col->nlprows rows in the rows array are the ones that belong to the current LP (col->rows[j]->lppos >= 0) and that are linked to the column (col->linkpos[j] >= 0). The remaining col->len - col->nlprows rows in the rows array are the ones that don't belong to the current LP (col->rows[j]->lppos == -1) or that are not linked to the column (col->linkpos[j] == -1).

Definition at line 144 of file struct_lpexact.h.

#include <struct_lpexact.h>

Data Fields
SCIP_COL *	fpcol

SCIP_ROWEXACT **	rows

SCIP_RATIONAL *	obj

SCIP_RATIONAL *	lb

SCIP_RATIONAL *	ub

SCIP_RATIONAL *	flushedobj

SCIP_RATIONAL *	flushedlb

SCIP_RATIONAL *	flushedub

SCIP_RATIONAL *	primsol

SCIP_RATIONAL *	redcost

SCIP_RATIONAL *	farkascoef

SCIP_VAR *	var

SCIP_RATIONAL **	vals

SCIP_Longint	validredcostlp

SCIP_Longint	validfarkaslp

SCIP_COLEXACTSOLVALS *	storedsolvals

int *	linkpos

int	index

int	size

int	len

int	nlprows

int	nunlinked

int	lppos

int	lpipos

unsigned int	basisstatus:2

unsigned int	lprowssorted:1

unsigned int	nonlprowssorted:1

unsigned int	objchanged:1

unsigned int	lbchanged:1

unsigned int	ubchanged:1

unsigned int	coefchanged:1

Field Documentation

◆ fpcol

SCIP_COL* SCIP_ColExact::fpcol

the floating point column corresponding to this exact column

Definition at line 146 of file struct_lpexact.h.

Referenced by certificatePrintRow(), colExactInSync(), colExactLink(), lpExactFlushAddCols(), lpExactFlushAddRows(), rowExactAddCoef(), rowExactChgCoefPos(), rowExactCreateFromRowLimitEncodingLength(), SCIPcolExactGetPrimsol(), SCIPcolExactPrint(), SCIPlpExactAddCol(), SCIPlpExactOverwriteFpDualSol(), and SCIProwExactRecalcPseudoActivity().

◆ rows

SCIP_ROWEXACT** SCIP_ColExact::rows

the exact rows corresponding the this exact column

Definition at line 147 of file struct_lpexact.h.

Referenced by colExactAddCoef(), colExactChgCoefPos(), colExactDelCoefPos(), colExactEnsureSize(), colExactLink(), colExactMoveCoef(), colExactSearchCoefPart(), colExactSortLP(), colExactSortNonLP(), colExactSwapCoefs(), colExactUpdateAddLP(), colExactUpdateDelLP(), lpExactFlushAddCols(), rowExactAddCoef(), rowExactLink(), rowExactMoveCoef(), rowExactSortLP(), rowExactSortNonLP(), rowExactSwapCoefs(), rowExactUpdateAddLP(), rowExactUpdateDelLP(), SCIPcolExactCalcFarkasRedcostCoef(), SCIPcolExactChgCoef(), SCIPcolExactDelCoef(), SCIPcolExactIncCoef(), SCIPcolExactPrint(), SCIPlpExactAddCol(), SCIPlpExactShrinkCols(), SCIProwExactChgCoef(), SCIProwExactDelCoef(), and SCIProwExactIncCoef().

◆ obj

SCIP_RATIONAL* SCIP_ColExact::obj

current objective value of column in LP (might be changed in diving or probing)

Definition at line 148 of file struct_lpexact.h.

Referenced by colExactInSync(), getObjectiveRow(), lpExactFlushAddCols(), lpExactFlushChgCols(), SCIPcolExactCalcFarkasRedcostCoef(), SCIPcolExactChgLb(), SCIPcolExactChgObj(), SCIPcolExactChgUb(), SCIPcolExactGetBestBound(), SCIPcolExactGetObj(), SCIPcolExactPrint(), SCIPlpExactAddCol(), SCIPlpExactEndDive(), and SCIPlpExactStartDive().

◆ lb

SCIP_RATIONAL* SCIP_ColExact::lb

current lower bound of column in LP

Definition at line 149 of file struct_lpexact.h.

Referenced by colExactInSync(), getObjectiveRow(), lpExactFlushAddCols(), lpExactFlushChgCols(), SCIPcolExactCalcFarkasRedcostCoef(), SCIPcolExactChgLb(), SCIPcolExactChgObj(), SCIPcolExactGetBestBound(), SCIPcolExactGetLb(), SCIPcolExactPrint(), SCIPlpExactAddCol(), SCIPlpExactEndDive(), SCIPlpExactStartDive(), and SCIProwExactGetSolActivity().

◆ ub

SCIP_RATIONAL* SCIP_ColExact::ub

current upper bound of column in LP

Definition at line 150 of file struct_lpexact.h.

Referenced by colExactInSync(), getObjectiveRow(), lpExactFlushAddCols(), lpExactFlushChgCols(), SCIPcolExactCalcFarkasRedcostCoef(), SCIPcolExactChgObj(), SCIPcolExactChgUb(), SCIPcolExactGetBestBound(), SCIPcolExactGetUb(), SCIPcolExactPrint(), SCIPlpExactAddCol(), SCIPlpExactEndDive(), SCIPlpExactStartDive(), and SCIProwExactGetSolActivity().

◆ flushedobj

SCIP_RATIONAL* SCIP_ColExact::flushedobj

objective value of column already flushed to the LP solver

Definition at line 151 of file struct_lpexact.h.

Referenced by colExactInSync(), lpExactFlushAddCols(), and lpExactFlushChgCols().

◆ flushedlb

SCIP_RATIONAL* SCIP_ColExact::flushedlb

lower bound of column already flushed to the LP solver

Definition at line 152 of file struct_lpexact.h.

Referenced by lpExactFlushAddCols(), and lpExactFlushChgCols().

◆ flushedub

SCIP_RATIONAL* SCIP_ColExact::flushedub

upper bound of column already flushed to the LP solver

Definition at line 153 of file struct_lpexact.h.

Referenced by lpExactFlushAddCols(), and lpExactFlushChgCols().

◆ primsol

SCIP_RATIONAL* SCIP_ColExact::primsol

primal solution value in LP, is 0 if col is not in LP

Definition at line 154 of file struct_lpexact.h.

Referenced by colExactRestoreSolVals(), colExactStoreSolVals(), SCIPcolExactGetPrimsol(), and SCIProwExactRecalcLPActivity().

◆ redcost

SCIP_RATIONAL* SCIP_ColExact::redcost

reduced cost value in LP, or SCIP_INVALID if not yet calculated

Definition at line 155 of file struct_lpexact.h.

Referenced by colExactRestoreSolVals(), colExactStoreSolVals(), SCIPcertificatePrintDualboundExactLP(), and SCIPlpExactOverwriteFpDualSol().

◆ farkascoef

SCIP_RATIONAL* SCIP_ColExact::farkascoef

coefficient in dual Farkas infeasibility proof (== dualfarkas^T A_c)

Definition at line 156 of file struct_lpexact.h.

Referenced by SCIPcertificatePrintDualboundExactLP(), and SCIPlpExactOverwriteFpDualSol().

◆ var

SCIP_VAR* SCIP_ColExact::var

variable, this column represents; there cannot be a column without variable

Definition at line 157 of file struct_lpexact.h.

Referenced by colExactAddCoef(), colExactChgCoefPos(), colExactDelCoefPos(), colExactInSync(), colExactLink(), getObjectiveRow(), lpExactFlushAddCols(), lpExactFlushChgCols(), rowExactAddCoef(), rowExactChgCoefPos(), rowExactDelCoefPos(), SCIPcertificatePrintDualboundExactLP(), SCIPcertifyActivityConflict(), SCIPcolExactCalcFarkasRedcostCoef(), SCIPcolExactChgLb(), SCIPcolExactChgObj(), SCIPcolExactChgUb(), SCIPcolExactDelCoef(), SCIPcolExactGetVar(), SCIPlpExactAddCol(), SCIPlpExactAddRow(), SCIPlpExactEndDive(), SCIPlpExactGetPrimalRay(), SCIPlpExactLink(), SCIPlpExactShrinkCols(), SCIPlpExactStartDive(), SCIProwExactCreate(), SCIProwExactDelCoef(), SCIProwExactGenerateFpRows(), SCIProwExactGetSolActivity(), and SCIProwExactPrint().

◆ vals

SCIP_RATIONAL** SCIP_ColExact::vals

coefficients of column entries

Definition at line 158 of file struct_lpexact.h.

Referenced by colExactAddCoef(), colExactChgCoefPos(), colExactDelCoefPos(), colExactEnsureSize(), colExactLink(), colExactMoveCoef(), colExactSortLP(), colExactSortNonLP(), colExactSwapCoefs(), lpExactFlushAddCols(), SCIPcolExactCalcFarkasRedcostCoef(), SCIPcolExactChgCoef(), SCIPcolExactDelCoef(), SCIPcolExactIncCoef(), SCIPcolExactPrint(), SCIPlpExactAddCol(), SCIProwExactChgCoef(), SCIProwExactDelCoef(), and SCIProwExactIncCoef().

◆ validredcostlp

SCIP_Longint SCIP_ColExact::validredcostlp

LP number for which reduced cost value is valid

Definition at line 159 of file struct_lpexact.h.

Referenced by colExactRestoreSolVals(), lpExactFlushAddCols(), markColexDeleted(), SCIPlpExactGetDualfarkas(), and SCIPlpExactGetSol().

◆ validfarkaslp

SCIP_Longint SCIP_ColExact::validfarkaslp

LP number for which Farkas coefficient is valid

Definition at line 160 of file struct_lpexact.h.

Referenced by colExactRestoreSolVals(), lpExactFlushAddCols(), markColexDeleted(), and SCIPlpExactGetDualfarkas().

◆ storedsolvals

SCIP_COLEXACTSOLVALS* SCIP_ColExact::storedsolvals

values stored before entering diving or probing mode

Definition at line 161 of file struct_lpexact.h.

Referenced by colExactRestoreSolVals(), and colExactStoreSolVals().

◆ linkpos

int* SCIP_ColExact::linkpos

position of col in col vector of the row, or -1 if not yet linked

Definition at line 162 of file struct_lpexact.h.

Referenced by colExactAddCoef(), colExactChgCoefPos(), colExactDelCoefPos(), colExactEnsureSize(), colExactLink(), colExactMoveCoef(), colExactSearchCoefPart(), colExactSortLP(), colExactSortNonLP(), colExactSwapCoefs(), colExactUpdateAddLP(), colExactUpdateDelLP(), rowExactAddCoef(), rowExactLink(), rowExactMoveCoef(), rowExactSortLP(), rowExactSortNonLP(), rowExactSwapCoefs(), rowExactUpdateAddLP(), rowExactUpdateDelLP(), SCIPcolExactCalcFarkasRedcostCoef(), SCIPcolExactChgCoef(), SCIPcolExactDelCoef(), and SCIPcolExactIncCoef().

◆ index

int SCIP_ColExact::index

consecutively numbered column identifier

Definition at line 163 of file struct_lpexact.h.

Referenced by colExactInSync(), rowExactAddCoef(), rowExactMerge(), rowExactSearchCoefPart(), rowExactSwapCoefs(), SCIPcertificatePrintDualboundExactLP(), SCIPcolExactChgCoef(), SCIPcolExactDelCoef(), SCIPcolExactIncCoef(), SCIProwExactChgCoef(), SCIProwExactCreate(), SCIProwExactDelCoef(), and SCIProwExactIncCoef().

◆ size

int SCIP_ColExact::size

size of the row- and val-arrays

Definition at line 164 of file struct_lpexact.h.

Referenced by colExactEnsureSize().

◆ len

int SCIP_ColExact::len

number of nonzeros in column

Definition at line 165 of file struct_lpexact.h.

Referenced by colExactAddCoef(), colExactDelCoefPos(), colExactEnsureSize(), colExactInSync(), colExactSearchCoef(), colExactSortNonLP(), colExactUpdateAddLP(), colExactUpdateDelLP(), lpExactFlushAddCols(), SCIPcolExactPrint(), SCIPlpExactAddCol(), and SCIPlpExactShrinkCols().

◆ nlprows

int SCIP_ColExact::nlprows

number of linked rows in column, that belong to the current LP

Definition at line 166 of file struct_lpexact.h.

Referenced by colExactAddCoef(), colExactDelCoefPos(), colExactLink(), colExactSearchCoef(), colExactSortLP(), colExactSortNonLP(), lpExactFlushAddCols(), rowExactAddCoef(), rowExactUpdateAddLP(), rowExactUpdateDelLP(), and SCIPcolExactCalcFarkasRedcostCoef().

◆ nunlinked

int SCIP_ColExact::nunlinked

number of column entries, where the rows don't know about the column

Definition at line 167 of file struct_lpexact.h.

Referenced by colExactAddCoef(), colExactDelCoefPos(), colExactLink(), colExactSearchCoef(), rowExactAddCoef(), and SCIPcolExactCalcFarkasRedcostCoef().

◆ lppos

int SCIP_ColExact::lppos

column position number in current LP, or -1 if not in current LP

Definition at line 168 of file struct_lpexact.h.

Referenced by colExactAddCoef(), colExactUpdateAddLP(), colExactUpdateDelLP(), lpExactFlushAddCols(), rowExactAddCoef(), rowExactDelCoefPos(), rowExactMoveCoef(), rowExactSearchCoef(), rowExactSearchCoefPart(), rowExactSwapCoefs(), SCIPlpExactAddCol(), SCIPlpExactGetDualfarkas(), SCIPlpExactLink(), SCIPlpExactShrinkCols(), and SCIProwExactGetSolActivity().

◆ lpipos

int SCIP_ColExact::lpipos

column position number in LP solver, or -1 if not in LP solver

Definition at line 169 of file struct_lpexact.h.

Referenced by coefChangedExact(), colExactInSync(), lpExactFlushAddCols(), lpExactFlushAddRows(), lpExactFlushChgCols(), lpExactFlushDelCols(), markColexDeleted(), SCIPcolExactChgLb(), SCIPcolExactChgObj(), and SCIPcolExactChgUb().

◆ basisstatus

unsigned int SCIP_ColExact::basisstatus

basis status of column in last LP solution, invalid for non-LP columns

Definition at line 170 of file struct_lpexact.h.

Referenced by colExactRestoreSolVals(), colExactStoreSolVals(), markColexDeleted(), and SCIPlpExactGetSol().

◆ lprowssorted

unsigned int SCIP_ColExact::lprowssorted

are the linked LP rows in the rows array sorted by non-decreasing index?

Definition at line 171 of file struct_lpexact.h.

Referenced by colExactAddCoef(), colExactMoveCoef(), colExactSearchCoef(), colExactSortLP(), colExactSwapCoefs(), rowExactAddCoef(), and rowExactUpdateAddLP().

◆ nonlprowssorted

unsigned int SCIP_ColExact::nonlprowssorted

are the non-LP/not linked rows sorted by non-decreasing index?

Definition at line 172 of file struct_lpexact.h.

Referenced by colExactAddCoef(), colExactMoveCoef(), colExactSearchCoef(), colExactSortNonLP(), colExactSwapCoefs(), and rowExactUpdateDelLP().

◆ objchanged

unsigned int SCIP_ColExact::objchanged

has objective value changed, and has data of LP solver to be updated?

Definition at line 173 of file struct_lpexact.h.

Referenced by insertColChgcols(), lpExactFlushAddCols(), lpExactFlushChgCols(), and SCIPcolExactChgObj().

◆ lbchanged

unsigned int SCIP_ColExact::lbchanged

has lower bound changed, and has data of LP solver to be updated?

Definition at line 174 of file struct_lpexact.h.

Referenced by insertColChgcols(), lpExactFlushAddCols(), lpExactFlushChgCols(), and SCIPcolExactChgLb().

◆ ubchanged

unsigned int SCIP_ColExact::ubchanged

has upper bound changed, and has data of LP solver to be updated?

Definition at line 175 of file struct_lpexact.h.

Referenced by insertColChgcols(), lpExactFlushAddCols(), lpExactFlushChgCols(), and SCIPcolExactChgUb().

◆ coefchanged

unsigned int SCIP_ColExact::coefchanged

has the coefficient vector changed, and has LP solver to be updated?

Definition at line 176 of file struct_lpexact.h.

Referenced by coefChangedExact(), lpExactFlushAddCols(), and lpExactFlushDelCols().

SCIP