Scippy

SCIP

Solving Constraint Integer Programs

Column methods

Detailed Description

Functions

void SCIPcolSort (SCIP_COL *col)
 
SCIP_Real SCIPcolGetObj (SCIP_COL *col)
 
SCIP_Real SCIPcolGetLb (SCIP_COL *col)
 
SCIP_Real SCIPcolGetUb (SCIP_COL *col)
 
SCIP_Real SCIPcolGetBestBound (SCIP_COL *col)
 
SCIP_Real SCIPcolGetPrimsol (SCIP_COL *col)
 
SCIP_Real SCIPcolGetMinPrimsol (SCIP_COL *col)
 
SCIP_Real SCIPcolGetMaxPrimsol (SCIP_COL *col)
 
SCIP_BASESTAT SCIPcolGetBasisStatus (SCIP_COL *col)
 
SCIP_VARSCIPcolGetVar (SCIP_COL *col)
 
int SCIPcolGetIndex (SCIP_COL *col)
 
SCIP_Bool SCIPcolIsIntegral (SCIP_COL *col)
 
SCIP_Bool SCIPcolIsRemovable (SCIP_COL *col)
 
int SCIPcolGetLPPos (SCIP_COL *col)
 
int SCIPcolGetLPDepth (SCIP_COL *col)
 
SCIP_Bool SCIPcolIsInLP (SCIP_COL *col)
 
int SCIPcolGetNNonz (SCIP_COL *col)
 
int SCIPcolGetNLPNonz (SCIP_COL *col)
 
SCIP_ROW ** SCIPcolGetRows (SCIP_COL *col)
 
SCIP_RealSCIPcolGetVals (SCIP_COL *col)
 
SCIP_Longint SCIPcolGetStrongbranchNode (SCIP_COL *col)
 
int SCIPcolGetNStrongbranchs (SCIP_COL *col)
 
SCIP_BOUNDTYPE SCIPboundtypeOpposite (SCIP_BOUNDTYPE boundtype)
 

Function Documentation

void SCIPcolSort ( SCIP_COL col)

sorts column entries such that LP rows precede non-LP rows and inside both parts lower row indices precede higher ones

Parameters
colcolumn to be sorted

Definition at line 3241 of file lp.c.

References colSortLP(), and colSortNonLP().

Referenced by SCIP_DECL_HEUREXEC().

SCIP_Real SCIPcolGetObj ( SCIP_COL col)

gets objective value of column

Parameters
colLP column

Definition at line 18596 of file lp.c.

References NULL, and SCIP_Col::obj.

Referenced by computeCut(), createSubscip(), SCIPvarGetObjLP(), and transformColumn().

SCIP_Real SCIPcolGetLb ( SCIP_COL col)

gets lower bound of column

Parameters
colLP column

Definition at line 18606 of file lp.c.

References SCIP_Col::lb, and NULL.

Referenced by computeCut(), createSubscip(), findClosestLb(), generateDisjCutSOS1(), propagateRedcostVar(), provedBound(), SCIP_DECL_SEPAEXECLP(), and SCIPvarGetLbLP().

SCIP_Real SCIPcolGetUb ( SCIP_COL col)

gets upper bound of column

Parameters
colLP column

Definition at line 18616 of file lp.c.

References NULL, and SCIP_Col::ub.

Referenced by computeCut(), createSubscip(), findClosestUb(), generateDisjCutSOS1(), propagateRedcostVar(), provedBound(), SCIP_DECL_SEPAEXECLP(), and SCIPvarGetUbLP().

SCIP_Real SCIPcolGetBestBound ( SCIP_COL col)

gets best bound of column with respect to the objective function

Parameters
colLP column

Definition at line 18626 of file lp.c.

References SCIP_Col::lb, NULL, SCIP_Col::obj, and SCIP_Col::ub.

Referenced by lpCleanupCols(), lpRemoveObsoleteCols(), and SCIProwRecalcPseudoActivity().

SCIP_Real SCIPcolGetMinPrimsol ( SCIP_COL col)

gets the minimal LP solution value, this column ever assumed

Parameters
colLP column

Definition at line 18652 of file lp.c.

References SCIP_Col::minprimsol, and NULL.

Referenced by propagateRedcostVar().

SCIP_Real SCIPcolGetMaxPrimsol ( SCIP_COL col)

gets the maximal LP solution value, this column ever assumed

Parameters
colLP column

Definition at line 18662 of file lp.c.

References SCIP_Col::maxprimsol, and NULL.

Referenced by propagateRedcostVar().

SCIP_BASESTAT SCIPcolGetBasisStatus ( SCIP_COL col)

gets the basis status of a column in the LP solution; only valid for LPs with status SCIP_LPSOLSTAT_OPTIMAL and with SCIPisLPSolBasic(scip) == TRUE; returns SCIP_BASESTAT_ZERO for columns not in the current SCIP_LP

Parameters
colLP column

Definition at line 18674 of file lp.c.

References SCIP_Col::basisstatus, SCIP_Col::lppos, NULL, and SCIP_BASESTAT_ZERO.

Referenced by filterExistingLP(), generateDisjCutSOS1(), getSimplexCoefficients(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), SCIP_DECL_SEPAEXECLP(), SCIPprobUpdateBestRootSol(), SCIPvarGetImplRedcost(), SCIPvarGetRedcost(), and transformMIRRow().

int SCIPcolGetIndex ( SCIP_COL col)

gets unique index of col

Parameters
colLP col

Definition at line 18695 of file lp.c.

References SCIP_Col::index, and NULL.

SCIP_Bool SCIPcolIsIntegral ( SCIP_COL col)

returns whether the associated variable is of integral type (binary, integer, implicit integer)

Parameters
colLP column

Definition at line 18705 of file lp.c.

References SCIP_Col::integral, NULL, SCIPvarIsIntegral(), and SCIP_Col::var.

Referenced by colIsDiscrete(), createSubscip(), generateClusterCuts(), generateDisjCutSOS1(), rowAddCoef(), rowChgCoefPos(), rowMerge(), rowScale(), SCIPcolGetStrongbranch(), SCIPcolGetStrongbranches(), SCIPcolInvalidateStrongbranchData(), SCIPcolSetStrongbranchData(), and SCIProwCalcIntegralScalar().

SCIP_Bool SCIPcolIsRemovable ( SCIP_COL col)

returns TRUE iff column is removable from the LP (due to aging or cleanup)

Parameters
colLP column

Definition at line 18716 of file lp.c.

References NULL, and SCIP_Col::removable.

int SCIPcolGetLPDepth ( SCIP_COL col)

gets depth in the tree where the column entered the LP, or -1 if it is not in LP

Parameters
colLP column

Definition at line 18737 of file lp.c.

References SCIP_Col::lpdepth, SCIP_Col::lppos, and NULL.

int SCIPcolGetNNonz ( SCIP_COL col)

get number of nonzero entries in column vector

Parameters
colLP column

Definition at line 18759 of file lp.c.

References SCIP_Col::len, and NULL.

Referenced by calcBranchScore(), checkConstraintMatching(), determineBound(), SCIPpricestoreAddProbVars(), SCIPsolAdjustImplicitSolVals(), shiftValues(), varColCompare(), and varProcessBoundChanges().

int SCIPcolGetNLPNonz ( SCIP_COL col)

get number of nonzero entries in column vector, that correspond to rows currently in the SCIP_LP;

Warning
This method is only applicable on columns, that are completely linked to their rows (e.g. a column that is in the current LP and the LP was solved, or a column that was in a solved LP and didn't change afterwards
Parameters
colLP column

Definition at line 18773 of file lp.c.

References SCIP_Col::nlprows, NULL, and SCIP_Col::nunlinked.

Referenced by addFracCounter(), aggregation(), calcShiftVal(), calculateBounds(), createSubscip(), extractNodes(), getIncidentNodes(), getNActiveConsScore(), getNextFlowrow(), initMatrix(), relaxVar(), rowFindSlackVar(), SCIP_DECL_HEUREXEC(), transformColumn(), updateActivities(), updateRowActivities(), and updateSlacks().

SCIP_Longint SCIPcolGetStrongbranchNode ( SCIP_COL col)

gets node number of the last node in current branch and bound run, where strong branching was used on the given column, or -1 if strong branching was never applied to the column in current run

Parameters
colLP column

Definition at line 18806 of file lp.c.

References NULL, and SCIP_Col::sbnode.

Referenced by SCIPgetVarStrongbranchNode().

int SCIPcolGetNStrongbranchs ( SCIP_COL col)

gets number of times, strong branching was applied in current run on the given column

Parameters
colLP column

Definition at line 18816 of file lp.c.

References SCIP_Col::nsbcalls, and NULL.

Referenced by SCIPgetVarNStrongbranchs().

SCIP_BOUNDTYPE SCIPboundtypeOpposite ( SCIP_BOUNDTYPE  boundtype)

gets opposite bound type of given bound type

Parameters
boundtypetype of bound (lower or upper)

Definition at line 18826 of file lp.c.

References SCIP_BOUNDTYPE_LOWER, and SCIP_BOUNDTYPE_UPPER.

Referenced by analyzeConflict(), conflictAddConflictCons(), conflictCreateReconvergenceConss(), convertToActiveVar(), detectImpliedBounds(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSRESPROP(), and SCIPconflictAddBound().