Scippy

    SCIP

    Solving Constraint Integer Programs

    Data Fields
    SCIP_ColExact Struct Reference

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