Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://scip.zib.de/doc/html/group__PublicVariableMethods.php below:

SCIP Doxygen Documentation: Problem Variables

public methods for problem variables

gets number of locks for rounding down

Note

This method will always return variable locks of type model

It is recommented to use SCIPvarGetNLocksDownType()

Parameters

Definition at line 3416 of file var.c.

References SCIP_LOCKTYPE_MODEL, and SCIPvarGetNLocksDownType().

Referenced by checkRedundancy(), collectActivities(), collectSolActivities(), fixIntegerVariable(), propagateCons(), SCIPbendersExit(), SCIPisStrongbranchDownFirst(), SCIPlpGetUnboundedSol(), SCIPprobExitSolve(), and scoring().

gets number of locks for rounding up of a special type

Parameters

var problem variable locktype type of variable locks

Definition at line 3353 of file var.c.

References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::donotaggr, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, SCIP_Var::negatedvar, SCIP_Var::nlocksup, NLOCKTYPES, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUpType(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Multaggr::vars.

Referenced by applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), applyProbing(), calcBdchgScore(), checkCands(), checkConsQuadraticProblem(), checkLocksAndRes(), chooseCoefVar(), chooseVeclenVar(), collectCliqueData(), compensateVarLock(), convertLongEquality(), createCoveringProblem(), dualPresolve(), dualPresolving(), extractGates(), findComponents(), findUnlockedLinearVar(), fixIntegerVariableUb(), fullDualPresolve(), getScore(), getScoreLikeCoefdiving(), isConsIndependently(), isSingleLockedCand(), multiAggregateBinvar(), performDualfix(), presolRoundIndicator(), presolStuffing(), presolveConsLct(), propagateCons(), propIndicator(), removeDoubleAndSingletonsAndPerformDualpresolve(), roundFixingValue(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_SORTPTRCOMP(), SCIPanalyzeDeductionsProbing(), SCIPapplyLockFixings(), SCIPapplyProbingVar(), SCIPmakeIndicatorFeasible(), SCIPmatrixCreate(), SCIPmatrixUplockConflict(), SCIPprintBranchingStatistics(), SCIPsolAdjustImplicitSolVals(), SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUp(), SCIPvarGetNLocksUpType(), SCIPvarGetProbvarBinary(), SCIPvarMayRoundUp(), SCIPwriteMps(), selectEssentialRounding(), selectRounding(), selectShifting(), singletonColumnStuffing(), and sortVariables().

gets number of locks for rounding down of a special type

Parameters

var problem variable locktype type of variable locks

Definition at line 3295 of file var.c.

References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::donotaggr, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, SCIP_Var::negatedvar, SCIP_Var::nlocksdown, NLOCKTYPES, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUpType(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Multaggr::vars.

Referenced by addConsToOccurList(), applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), applyProbing(), calcBdchgScore(), checkCands(), checkConsQuadraticProblem(), checkLocksAndRes(), chooseCoefVar(), chooseVeclenVar(), collectCliqueData(), compensateVarLock(), convertLongEquality(), createCoveringProblem(), dualPresolve(), dualPresolving(), extractGates(), findComponents(), findUnlockedLinearVar(), fixIntegerVariableLb(), fullDualPresolve(), getScore(), getScoreLikeCoefdiving(), isConsIndependently(), isSingleLockedCand(), multiAggregateBinvar(), performDualfix(), presolRoundIndicator(), presolStuffing(), presolveConsEst(), propagateCons(), propIndicator(), removeDoubleAndSingletonsAndPerformDualpresolve(), roundFixingValue(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_SORTPTRCOMP(), SCIPanalyzeDeductionsProbing(), SCIPapplyLockFixings(), SCIPapplyProbingVar(), SCIPmakeIndicatorFeasible(), SCIPmatrixCreate(), SCIPmatrixDownlockConflict(), SCIPprintBranchingStatistics(), SCIPsolAdjustImplicitSolVals(), SCIPvarGetNLocksDown(), SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUpType(), SCIPvarMayRoundDown(), SCIPwriteMps(), selectEssentialRounding(), selectRounding(), selectShifting(), singletonColumnStuffing(), and sortVariables().

is it possible, to round variable down and stay feasible?

Note

This method will always check w.r.t variable locks of type model

Parameters

Definition at line 3440 of file var.c.

References SCIP_LOCKTYPE_MODEL, and SCIPvarGetNLocksDownType().

Referenced by chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), performDualfix(), performRandRounding(), performSimpleRounding(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIPperformGenericDivingAlgorithm(), and SCIPsolRound().

is it possible, to round variable up and stay feasible?

Note

This method will always check w.r.t. variable locks of type model

Parameters

Definition at line 3451 of file var.c.

References SCIP_LOCKTYPE_MODEL, and SCIPvarGetNLocksUpType().

Referenced by chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), performDualfix(), performRandRounding(), performSimpleRounding(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIPperformGenericDivingAlgorithm(), and SCIPsolRound().

compares the index of two variables, only active or negated variables are allowed, if a variable is negated then the index of the corresponding active variable is taken, returns -1 if first is smaller than, and +1 if first is greater than second variable index; returns 0 if both indices are equal, which means both variables are equal

compares the index of two variables, only active, fixed or negated variables are allowed, if a variable is negated then the index of the corresponding active variable is taken, returns -1 if first is smaller than, and +1 if first is greater than second variable index; returns 0 if both indices are equal, which means both variables are equal

Parameters

var1 first problem variable var2 second problem variable

Definition at line 11912 of file var.c.

References NULL, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_NEGATED, SCIPvarGetIndex(), SCIPvarGetNegatedVar(), SCIPvarGetStatus(), and SCIPvarIsActive().

Referenced by consdataSort(), liftCliqueVariables(), preprocessConstraintPairs(), SCIP_DECL_HASHKEYEQ(), and SCIP_DECL_SORTPTRCOMP().

comparison method for sorting active and negated variables by non-decreasing index, active and negated variables are handled as the same variables

Definition at line 11942 of file var.c.

References SCIPvarCompareActiveAndNegated().

compares the index of two variables, returns -1 if first is smaller than, and +1 if first is greater than second variable index; returns 0 if both indices are equal, which means both variables are equal

Parameters

var1 first problem variable var2 second problem variable

Definition at line 11950 of file var.c.

References SCIP_Var::index, and NULL.

Referenced by addAuxexprCoefs(), addBranchingComplementaritiesSOS1(), bilinearTermsInsertEntry(), consdataSort(), detectRedundantConstraints(), extractGates(), generateBoundInequalityFromSOS1Nodes(), getBoundConsFromVertices(), nlrowAddLinearCoef(), passConComponentVarbound(), preprocessConstraintPairs(), propVariableNonzero(), removeRedundantConss(), removeRedundantNonZeros(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_SORTINDCOMP(), SCIP_DECL_SORTPTRCOMP(), SCIPgetBilinTermIdxNonlinear(), SCIPinsertBilinearTermImplicitNonlinear(), SCIPvarGetActiveRepresentatives(), SCIPvarsGetActiveVars(), and selectBranchVar().

comparison method for sorting variables by non-decreasing index

Definition at line 11970 of file var.c.

References SCIPvarCompare().

hash key retrieval function for variables

Definition at line 11993 of file var.c.

returns TRUE iff the indices of both variables are equal

Definition at line 11999 of file var.c.

References FALSE, and TRUE.

gets corresponding active, fixed, or multi-aggregated problem variables of given variables,

Note

the content of the given array will/might change

Parameters

vars array of problem variables nvars number of variables

Definition at line 12206 of file var.c.

References NULL, and SCIPvarGetProbvar().

Referenced by SCIPvarsGetActiveVars().

gets corresponding active, fixed, or multi-aggregated problem variable of a variable

Parameters

Definition at line 12226 of file var.c.

References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::multaggr, SCIP_Var::name, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPvarGetStatus(), SCIP_Original::transvar, TRUE, SCIP_Aggregate::var, and SCIP_Multaggr::vars.

Referenced by addCoef(), applyFixings(), cliquetableGetNodeIndexBinvar(), consdataCreate(), countNonlinearities(), getRandomVariable(), preprocessConstraintPairs(), processBinvarFixings(), processWatchedVars(), readSolFile(), readXmlSolFile(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_EVENTEXEC(), SCIPaddVarImplication(), SCIPcliquetableComputeCliqueComponents(), SCIPcreateConsAnd(), SCIPnodePropagateImplics(), SCIPtreeBranchVar(), SCIPtreeBranchVarNary(), SCIPvarGetLastBdchgIndex(), SCIPvarsGetProbvar(), SCIPvarWasFixedEarlier(), tightenedLinkvar(), and updateBestCandidate().

gets corresponding active, fixed, or multi-aggregated problem variable of a binary variable and updates the given negation status

gets corresponding active, fixed, or multi-aggregated problem variable of a binary variable and updates the given negation status (this means you have to assign a value to SCIP_Bool negated before calling this method, usually FALSE is used)

Parameters

var pointer to binary problem variable negated pointer to update the negation status

Definition at line 12318 of file var.c.

References active, SCIP_Var::aggregate, SCIP_Var::data, EPSEQ, EPSLE, EPSZ, FALSE, SCIP_Var::multaggr, SCIP_Var::negatedvar, NULL, SCIP_Var::original, REALABS, SCIP_Bool, SCIP_INVALIDDATA, SCIP_LOCKTYPE_MODEL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPerrorMessage, SCIPvarGetNLocksUpType(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SCIPvarIsBinary(), SCIP_Original::transvar, TRUE, SCIP_Aggregate::var, and SCIP_Multaggr::vars.

Referenced by cliqueCleanup(), cliquePresolve(), dualPresolving(), GUBsetCheck(), presolRoundIndicator(), SCIPgetBinvarRepresentative(), SCIPvarAddClique(), SCIPvarDelClique(), SCIPvarsGetProbvarBinary(), and tightenWeightsLift().

transforms given variable, boundtype and bound to the corresponding active, fixed, or multi-aggregated variable values

Parameters

var pointer to problem variable bound pointer to bound value to transform boundtype pointer to type of bound: lower or upper bound

Definition at line 12477 of file var.c.

References SCIP_Var::aggregate, bound, SCIP_Var::data, SCIP_Var::multaggr, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPdebugMessage, SCIPerrorMessage, SCIPvarGetProbvarBound(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Multaggr::vars.

Referenced by addSplitcons(), applyBoundChanges(), changeAncestorBranchings(), dryBranch(), fixBounds(), fixInterdiction(), presolRoundIndicator(), removeFixedVariables(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIPnodeAddBoundinfer(), SCIPvarAddImplic(), and SCIPvarGetProbvarBound().

transforms given variable and domain hole to the corresponding active, fixed, or multi-aggregated variable values

Parameters

var pointer to problem variable left pointer to left bound of open interval in hole to transform right pointer to right bound of open interval in hole to transform

Definition at line 12570 of file var.c.

References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPdebugMessage, SCIPerrorMessage, SCIPvarGetProbvarHole(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.

Referenced by SCIPnodeAddHoleinfer(), SCIPtreeBranchVarHole(), and SCIPvarGetProbvarHole().

retransforms given variable, scalar and constant to the corresponding original variable, scalar and constant, if possible; if the retransformation is impossible, NULL is returned as variable

Parameters

var pointer to problem variable x in sum a*x + c scalar pointer to scalar a in sum a*x + c constant pointer to constant c in sum a*x + c

Definition at line 12782 of file var.c.

References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Var::parentvars, SCIP_Aggregate::scalar, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPerrorMessage, SCIPvarGetStatus(), SCIPvarIsOriginal(), and SCIP_Aggregate::var.

Referenced by checkConsQuadraticProblem(), collectDualInformation(), countSparseSol(), createAndAddTransferredCut(), createVariableMappings(), fixBounds(), getActiveVariables(), getActiveVariables2(), getBinVarsRepresentatives(), getLinearCoeffs(), reoptSimilarity(), saveConsBounddisjuction(), saveConsLinear(), SCIP_DECL_BENDERSGETVAR(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_EVENTEXEC(), SCIPapplyHeurDualval(), SCIPbendersGetStoredCutOrigData(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcopyConsLinear(), SCIPgetReoptOldObjCoef(), SCIPgetSymActiveVariables(), SCIPreoptAddDualBndchg(), SCIPsolGetVal(), SCIPtransformDecompstore(), solveSubNLP(), storeCuts(), and transformIntoOrig().

returns whether the given variable is the direct counterpart of an original problem variable

Parameters

Definition at line 12869 of file var.c.

References FALSE, SCIP_Var::nparentvars, NULL, SCIP_Var::parentvars, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), and SCIPvarIsTransformed().

Referenced by createAndAddAndCons(), fixBounds(), fixInterdiction(), SCIPprobDelVar(), SCIPsolPrint(), SCIPsolPrintRay(), and SCIPwriteBnd().

returns the number of times, a bound of the variable was changed in given direction due to branching

Parameters

var problem variable dir branching direction (downwards, or upwards)

Definition at line 15707 of file var.c.

References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::history, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetNBranchings(), SCIPvarGetNBranchings(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.

Referenced by SCIPprintBranchingStatistics(), and SCIPvarGetNBranchings().

returns the number of times, a bound of the variable was changed in given direction due to branching in the current run

Parameters

var problem variable dir branching direction (downwards, or upwards)

Definition at line 15752 of file var.c.

References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetNBranchings(), SCIPvarGetNBranchingsCurrentRun(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.

Referenced by processWatchedVars(), and SCIPvarGetNBranchingsCurrentRun().

returns the number of inferences branching on this variable in given direction triggered

Parameters

var problem variable dir branching direction (downwards, or upwards)

Definition at line 15987 of file var.c.

References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::history, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetInferenceSum(), SCIPvarGetInferenceSum(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.

Referenced by SCIPvarGetInferenceSum().

returns the number of inferences branching on this variable in given direction triggered in the current run

Parameters

var problem variable dir branching direction (downwards, or upwards)

Definition at line 16032 of file var.c.

References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetInferenceSum(), SCIPvarGetInferenceSumCurrentRun(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.

Referenced by SCIPvarGetInferenceSumCurrentRun().

returns the number of cutoffs branching on this variable in given direction produced

Parameters

var problem variable dir branching direction (downwards, or upwards)

Definition at line 16187 of file var.c.

References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::history, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetCutoffSum(), SCIPvarGetCutoffSum(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.

Referenced by SCIPvarGetCutoffSum().

returns the number of cutoffs branching on this variable in given direction produced in the current run

Parameters

var problem variable dir branching direction (downwards, or upwards)

Definition at line 16230 of file var.c.

References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetCutoffSum(), SCIPvarGetCutoffSumCurrentRun(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.

Referenced by SCIPvarGetCutoffSumCurrentRun().

returns the average depth of bound changes in given direction due to branching on the variable

Parameters

var problem variable dir branching direction (downwards, or upwards)

Definition at line 15795 of file var.c.

References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::history, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetAvgBranchdepth(), SCIPvarGetAvgBranchdepth(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.

Referenced by SCIPprintBranchingStatistics(), and SCIPvarGetAvgBranchdepth().

returns the average depth of bound changes in given direction due to branching on the variable in the current run

Parameters

var problem variable dir branching direction (downwards, or upwards)

Definition at line 15840 of file var.c.

References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPhistoryGetAvgBranchdepth(), SCIPvarGetAvgBranchdepthCurrentRun(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.

Referenced by SCIPvarGetAvgBranchdepthCurrentRun().

returns whether there is an implication x == varfixing -> y == implvarfixing in the implication graph; implications that are represented as cliques in the clique table are not regarded (use SCIPvarsHaveCommonClique()); both variables must be active binary variables

Parameters

var problem variable x varfixing FALSE if y should be searched in implications for x == 0, TRUE for x == 1 implvar variable y to search for implvarfixing value of the implied variable to search for

Definition at line 11139 of file var.c.

References SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIPvarHasImplic(), and SCIPvarIsBinary().

returns whether there is a clique that contains both given variable/value pairs; the variables must be active binary variables; if regardimplics is FALSE, only the cliques in the clique table are looked at; if regardimplics is TRUE, both the cliques and the implications of the implication graph are regarded

returns whether there is a clique that contains both given variable/value pairs; the variables must be active binary variables; if regardimplics is FALSE, only the cliques in the clique table are looked at; if regardimplics is TRUE, both the cliques and the implications of the implication graph are regarded

Note

a variable with it's negated variable are NOT! in a clique

a variable with itself are in a clique

Parameters

var1 first variable value1 value of first variable var2 second variable value2 value of second variable regardimplics should the implication graph also be searched for a clique?

Definition at line 11483 of file var.c.

References SCIP_Var::cliquelist, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIPcliquelistsHaveCommonClique(), SCIPvarHasImplic(), SCIPvarIsActive(), and SCIPvarIsBinary().

Referenced by addCliques(), calcCliquePartitionGreedy(), cliquePresolve(), detectDominatingVlbs(), detectDominatingVubs(), detectProductsClique(), findFixings(), getMinactImplicObjchg(), GUBsetCalcCliquePartition(), GUBsetCheck(), liftCliqueVariables(), removeConstraintsDueToNegCliques(), and SCIPhaveVarsCommonClique().

gets corresponding objective value of active, fixed, or multi-aggregated problem variable of given variable e.g. obj(x) = 1 this method returns for ~x the value -1

Parameters

var problem variable aggrobj pointer to store the aggregated objective value

Definition at line 17956 of file var.c.

References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::multaggr, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPvarGetAggregatedObj(), SCIPvarGetObj(), SCIPvarGetStatus(), SCIP_Aggregate::var, and SCIP_Multaggr::vars.

Referenced by dualPresolve(), dualPresolving(), removeDoubleAndSingletonsAndPerformDualpresolve(), and SCIPvarGetAggregatedObj().

returns the name of the variable

Note

to change the name of a variable, use SCIPchgVarName() from scip.h

Parameters

Definition at line 17427 of file var.c.

References SCIP_Var::name, and NULL.

Referenced by addAltLPColumn(), addBilinearTermToCut(), addBoundViolated(), addCand(), addCliques(), addCoef(), addColToCut(), addConflictBinvar(), addConflictBounds(), addConstraintToBendersSubproblem(), addCut(), addExprsViolScore(), addExprViolScoresAuxVars(), addFixedVarsConss(), addGenVBound(), addLinearTermToCut(), addNode(), addRegularScholtes(), addRltTerm(), addScenarioVarsToProb(), addSplitcons(), addStrongSBCsSubgroup(), addVarCardinality(), addWeakSBCsSubgroup(), adjustOversizedJobBounds(), aggregateVariables(), aggregation(), alnsFixMoreVariables(), alnsUnfixVariables(), analyseInfeasibelCoreInsertion(), analyseVarOnoffBounds(), analyzeEnergyRequirement(), analyzeGenVBoundConflict(), analyzeViolation(), analyzeZeroResultant(), appendVarCardinality(), applyAlternativeBoundsBranching(), applyBdchgs(), applyBoundChgs(), applyBoundHeur(), applyCliqueFixings(), applyDomainReductions(), applyFixings(), applyFixingsAndAggregations(), applyGenVBound(), applyObbtBilinear(), applyOptcumulativeFixings(), applyProbing(), applyRepair(), applyVboundsFixings(), applyZeroFixings(), boundchgApplyGlobal(), branch(), branchcandCalcLPCands(), branchcandInsertPseudoCand(), branchcandRemovePseudoCand(), branching(), branchingIntegralOrNonlinear(), branchOnVar(), branchUnbalancedCardinality(), calcBranchScore(), calcShiftVal(), cancelCol(), candidateFree(), candidateFreeWarmStartInfo(), candidateListGetAllFractionalCandidates(), catchVarEvents(), changeAncestorBranchings(), checkCons(), checkCumulativeCondition(), checkForOverlapping(), checkPackingPartitioningOrbitopeSolution(), checkSolution(), checkSystemGF2(), checkVarbound(), checkVarnames(), cliqueCleanup(), cliquePresolve(), colAddCoef(), collectActivities(), collectBinaryCliqueData(), collectBranchingCandidates(), collectBranchingCands(), collectLeafs(), collectMinactVar(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), collectSolActivities(), collectSolution(), collectThetaSubtree(), colLink(), colUnlink(), compensateVarLock(), computeConvexEnvelopeFacet(), computeCut(), computeEnergyContribution(), computeImpliedEst(), computeImpliedLct(), computeOffValues(), computeRltCut(), computeStandardLPFeasibilityCut(), conflictAddBound(), conflictAddConflictBound(), conflictAddConflictCons(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictMarkBoundCheckPresence(), conflictResolveBound(), conflictsetAddBounds(), consdataCheckSuperindicator(), consdataCollectLinkingCons(), consdataCreate(), consdataCreateBinvars(), consdataDeletePos(), consdataFixOperandsOne(), consdataFixResultantZero(), consdataPrint(), consdataTightenCoefs(), constraintNonOverlappingGraph(), constructCompression(), constructSNFRelaxation(), convertBinaryEquality(), convertLongEquality(), convertUnaryEquality(), coretimesUpdateLb(), coretimesUpdateUb(), countSparseSol(), createAndAddAndCons(), createAndStoreSparseRays(), createAuxiliaryNonlinearSubproblem(), createAuxVar(), createBinaryConstraintName(), createBlockproblem(), createConsSetppc(), createConstraints(), createConsXorIntvar(), createCoreProfile(), createCoveringProblem(), createGenVBound(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTDualCons(), createMIP(), createNAryBranch(), createSelectedSortedEventpointsSol(), createSubproblem(), createSubproblems(), createSubSCIP(), createTcliqueGraph(), createVariableMappings(), detectAndHandleSubgroups(), detectDominatingVlbs(), detectDominatingVubs(), detectHiddenProducts(), detectImplications(), detectImpliedBounds(), detectMinors(), detectProductsClique(), detectVarboundSOS1(), determineBound(), determineBoundForSNF(), determineVariableFixings(), dfs(), displayCycleOfSymmetry(), doSeachEcAggr(), dropVarEvent(), dryBranch(), dualPresolve(), dualPresolving(), enforceCardinality(), enforceConssSOS1(), enforceConstraint(), enforceConstraints(), enforceSOS2(), estimateBivariateQuotient(), estimateConvexSecant(), estimateGradientInner(), estimateUnivariateQuotient(), estimateVertexPolyhedral(), execRelpscost(), executeBranching(), executeBranchingRecursive(), exprIsSemicontinuous(), extractCycle(), extractProducts(), filterCandidates(), filterCands(), filterExistingLP(), findAggregation(), findCumulativeConss(), findNewBounds(), findScenarioVar(), findUncapacitatedArcs(), findUnlockedLinearVar(), fixAdditionalVars(), fixAndPropagate(), fixBounds(), fixDeleteOrUpgradeCons(), fixIntegerVariableLb(), fixIntegerVariableUb(), fixInterdiction(), fixVariable(), fixVariables(), fixVariableZeroNode(), forwardPropExpr(), freeAuxVar(), fullDualPresolve(), generateAndApplyBendersCuts(), getBinaryProductExprDo(), getConflictImplics(), getFactorizedBinaryQuadraticExpr(), getFixedVariable(), getMaxactImplicObjchg(), getNLPVarsNonConvexity(), getOldBranching(), getScenarioDecompVar(), GUBsetCheck(), GUBsetMoveVar(), handle1Cycle(), handleNewVariableSOS1(), inferboundsEdgeFinding(), initBounds(), initCurrent(), initData(), initSepa(), insertIndex(), liftCliqueVariables(), lpFlushAddCols(), lpFlushAddRows(), lpRemoveObsoleteCols(), markRowsXj(), maximalslack(), mergeMultiples(), multiAggregateBinvar(), nlpCalcFracVars(), nlpFlushVarAdditions(), nlrowAddLinearCoef(), nodepairqueueCreate(), notifyNlhdlrNewsol(), objimplicsCreate(), objimplicsDelPos(), optimize(), parseBase(), performAggregations(), performBranchingNoSol(), performBranchingSol(), performDualfix(), performFixing(), performImplicationGraphAnalysis(), performRandRounding(), performSimpleRounding(), performStrongbranchWithPropagation(), predBndStr(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolRoundVarsSOS1(), presolStuffing(), presolveAddKKTAggregatedVars(), presolveConsEst(), presolveConsLct(), presolveImplint(), presolvePropagateCons(), presolveRedundantConss(), presolveSingleLockedVars(), printActiveVariables(), printAggregatedCons(), printBoundSection(), printColumnSection(), printExpr(), printIndicatorCons(), printLinearCons(), printLinearRow(), printNLRow(), printRow(), printRowAnd(), printSignomial(), printSosCons(), processBinvarFixings(), processFixings(), processNlRow(), processRealBoundChg(), processWatchedVars(), propagateBinaryBestRootRedcost(), propagateCons(), propagateCutoffboundVar(), propagateLbTTEF(), propagateLowerBoundVar(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateSelfReflectionVar(), propagateStaticOrbitope(), propagateTimetable(), propagateUbTTEF(), propagateUpperBoundSymVar(), propagateVbounds(), propCardinality(), propConsSOS1(), propdataInit(), propIndicator(), proposeFeasibleSolution(), propSOS2(), rangedRowPropagation(), readBinaries(), readBounds(), readCoefficients(), readCols(), readerdataAddOutputvar(), readGenerals(), readObjective(), readPolynomial(), readQCMatrix(), readQMatrix(), readSemicontinuous(), readSolFile(), readSOS(), readSos(), readVariables(), readXmlSolFile(), reformulateFactorizedBinaryQuadratic(), registerBranchingCandidates(), relaxVar(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedVariables(), removeIrrelevantJobs(), removeRedundantNonZeros(), reoptimize(), resetVarname(), resolveGenVBoundPropagation(), resolvePropagation(), resolvePropagationCoretimes(), respropCumulativeCondition(), rowAddCoef(), rowFindSlackVar(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), rowprepRecordModifiedVar(), runVanillaStrongBranching(), scaleCons(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECPS(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPR_OWNERPRINT(), SCIP_DECL_EXPRPRINT(), SCIP_DECL_EXPRSIMPLIFY(), SCIP_DECL_HASHGETKEY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_READERWRITE(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_VERTEXPOLYFUN(), SCIPaddCoefLinear(), SCIPaddIneqBilinear(), SCIPaddVarCardinality(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPaggrRowPrint(), SCIPanalyzeDeductionsProbing(), SCIPappendVarCardinality(), SCIPappendVarSOS1(), SCIPappendVarSOS2(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyLockFixings(), SCIPapplyProbingVar(), SCIPbendersGetVar(), SCIPbendersMergeSubproblemIntoMaster(), SCIPbendersSetupSubproblem(), SCIPbendersSolSlackVarsActive(), SCIPboundchgApply(), SCIPboundchgUndo(), SCIPbranchcandAddExternCand(), SCIPbranchExecExtern(), SCIPbranchVar(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPcatchVarEvent(), SCIPchgReoptObjective(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarLbNode(), SCIPchgVarLbProbing(), SCIPchgVarType(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPchgVarUbNode(), SCIPchgVarUbProbing(), SCIPcliqueAddVar(), SCIPcliqueDelVar(), SCIPcliquelistRemoveFromCliques(), SCIPcliquetableAdd(), SCIPcolChgLb(), SCIPcolChgObj(), SCIPcolChgUb(), SCIPcolDelCoef(), SCIPcolGetStrongbranch(), SCIPconflictAddRelaxedBound(), SCIPconflictAnalyzeRemainingBdchgs(), SCIPconflictAnalyzeStrongbranch(), SCIPconflictIsVarUsed(), SCIPcopyImplicationsCliques(), SCIPcreateConsAnd(), SCIPcreateConsCardinality(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPcreateConsKnapsack(), SCIPcreateConsLinear(), SCIPcreateConsLinking(), SCIPcreateConsLogicor(), SCIPcreateConsOr(), SCIPcreateConsXor(), SCIPcreateFiniteSolCopy(), SCIPcreateNlpiProblemFromNlRows(), SCIPdropVarEvent(), SCIPendStrongbranch(), SCIPeventqueueAdd(), SCIPexprDismantle(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetVarCopy(), SCIPgetVarsStrongbranchesFrac(), SCIPgetVarsStrongbranchesInt(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchWithPropagation(), SCIPimplicsAdd(), SCIPimplicsDel(), SCIPincSolVal(), SCIPinferVarLbProp(), SCIPinferVarUbProp(), SCIPlpAddCol(), SCIPlpAddRow(), SCIPlpGetDualfarkas(), SCIPlpGetSol(), SCIPmatrixGetColName(), SCIPmatrixPrintRow(), SCIPnlpDelVar(), SCIPnlrowDelLinearCoef(), SCIPnlrowPrint(), SCIPnodeAddBoundinfer(), SCIPnodeAddHolechg(), SCIPnodeAddHoleinfer(), SCIPnodePrintAncestorBranchings(), SCIPperformGenericDivingAlgorithm(), SCIPpricestoreAddBdviolvar(), SCIPpricestoreAddProbVars(), SCIPpricestoreAddVar(), SCIPpricestoreApplyVars(), SCIPprimalTransformSol(), SCIPprintBranchingStatistics(), SCIPprintNodeRootPath(), SCIPprintRowprep(), SCIPprintRowprepSol(), SCIPprobAddVar(), SCIPprobDelVar(), SCIPprobExitSolve(), SCIPprobFree(), SCIPprobPerformVarDeletions(), SCIPprobPrintPseudoSol(), SCIPprobScaleObj(), SCIPreaderWrite(), SCIPreoptAddDualBndchg(), SCIPreoptApplyGlbConss(), SCIPreoptMergeVarHistory(), SCIProwDelCoef(), SCIProwPrint(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateKnapsackCuts(), SCIPseparateRelaxedKnapsack(), SCIPsetBinaryVarIndicator(), SCIPsetSolVal(), SCIPsetSolVals(), SCIPshrinkDisjunctiveVarSet(), SCIPsolCheck(), SCIPsolCheckOrig(), SCIPsolIncVal(), SCIPsolPrint(), SCIPsolPrintRay(), SCIPsolSetVal(), SCIPstatComputeRootLPBestEstimate(), SCIPstatUpdateVarRootLPBestEstimate(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPtreeCalcNodeselPriority(), SCIPundoBdchgsProof(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarCopy(), SCIPvarGetImplRedcost(), SCIPvarIncVSIDS(), SCIPvarMultiaggregate(), SCIPvarPrint(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarSetNLPSol(), SCIPvarSetRelaxSol(), SCIPvarUpdateBestRootSol(), SCIPvarUpdatePseudocost(), SCIPvisualCutoffNode(), SCIPvisualizeConsCumulative(), SCIPvisualNewChild(), SCIPvisualSolvedNode(), SCIPvisualUpdateChild(), SCIPwriteBnd(), SCIPwriteCliqueGraph(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), SCIPwriteVarName(), scoreBranchingCandidates(), scoreContainerSetScore(), selectBestCands(), selectBranchingCandidate(), selectInitialVariableDecomposition(), selectInitialVariableRandomly(), selectVarMultAggrBranching(), selectVarRecursive(), selectVarStart(), sepadataAddMinor(), sepaImplBoundCutsSOS1(), separateCuts(), separateMcCormickImplicit(), separateRltCuts(), sepastoreApplyLb(), sepastoreApplyUb(), setupAndSolveFiniteSolSubscip(), simplifyInequalities(), solUnlinkVar(), solveAndEvalSubscip(), solveBilinearLP(), solveNlp(), solveNode(), solveSubNLP(), sortAndMergeClique(), strengthenVarbounds(), tarjan(), tightenAuxVarBounds(), tightenCoefs(), tightenDualproof(), tightenedLinkvar(), tightenSingleVar(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVariables(), tightenVarLb(), tightenVarsBoundsSOS1(), tightenVarUb(), tightenWeights(), tightenWeightsLift(), transformAndSolve(), transformVariable(), treeApplyPendingBdchgs(), tryFixVar(), updateArcData(), updateAuxiliaryVarLowerbound(), updateBestCandidate(), updatePseudocost(), upgradeConss(), usePreviousResult(), varAddImplic(), varAddLbchginfo(), varAddUbchginfo(), varAddVbound(), varHasName(), varIsSemicontinuous(), varProcessAddHoleGlobal(), varProcessAddHoleLocal(), varProcessChgLbGlobal(), varProcessChgUbGlobal(), writeFzn(), writeOpbFixedVars(), writeOpbObjective(), and writeOpbRelevantAnds().

sets method to copy this variable into sub-SCIPs

Parameters

Definition at line 17503 of file var.c.

References NULL.

gets status of variable

Parameters

Definition at line 17546 of file var.c.

References NULL, and SCIP_Var::varstatus.

Referenced by addAltLPConstraint(), addBdchg(), addCliques(), addCoef(), addSplitcons(), applyBoundChanges(), applyFixings(), applyGenVBound(), applyObbt(), applyRepair(), assignVars(), branchcandCalcLPCands(), branchOnBin(), calcBdchgScore(), calcBranchScore(), calcVarBoundsDominated(), calcVarBoundsDominating(), changeAncestorBranchings(), checkForOverlapping(), checkSystemGF2(), cleanupHashDatas(), cliqueCleanup(), cliquePresolve(), colCalcInternalFarkasCoef(), colCalcInternalRedcost(), collectAggregatedVars(), computeAlternativeBounds(), computeCut(), conflictAddBound(), conflictResolveBound(), consdataCreate(), constructValidSolution(), convertToActiveVar(), correctConshdlrdata(), correctPresoldata(), createBlockproblem(), createCGCutCMIR(), createCGCuts(), createCoveringProblem(), createKKTComplementarityBounds(), createNAryBranch(), createNewSol(), createPresoldata(), determineVariableFixings(), enforceCardinality(), enforceConflictgraph(), enforceIndicators(), exitPresolve(), fixDeleteOrUpgradeCons(), fixVariables(), fixVariableZero(), fixVariableZeroNode(), getActiveVar(), getActiveVariables(), getBranchCands(), getDualBranchscore(), getImplVarRedcost(), getLinearCoeffs(), getNActiveConsScore(), getNVarsIndicators(), getRandomVariable(), getVariablePscostScore(), getVariableRedcostScore(), includeVarGenVBound(), inferVariableZero(), initLP(), liftCliqueVariables(), lpFlushAddCols(), lpFlushChgCols(), lpUpdateObjval(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), lpUpdateVarProved(), markNeighborsMWISHeuristic(), markRowsXj(), mergeMultiples(), nlrowRemoveFixedLinearCoefPos(), optimize(), performInteriorSolCutStrengthening(), performRandRounding(), performSimpleRounding(), performStrongbranchSOS1(), preprocessCliques(), presolRoundIndicator(), presolve(), presolveAddKKTAggregatedVars(), printBoundSection(), probInsertVar(), probRemoveVar(), processBinvarFixings(), processRealBoundChg(), processWatchedVars(), propagateCons(), propIndicator(), propVariableNonzero(), readSolFile(), readXmlSolFile(), recomputeLooseObjectiveValue(), relaxVar(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedVariables(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_READERWRITE(), SCIPaddPricedVar(), SCIPaddVar(), SCIPaggregateVars(), SCIPapplyLockFixings(), SCIPboundchgApply(), SCIPboundchgUndo(), SCIPbranchcandAddExternCand(), SCIPbranchcandGetPseudoCands(), SCIPbranchcandUpdateVar(), SCIPchgReoptObjective(), SCIPcliqueAddVar(), SCIPcliquetableAdd(), SCIPcliquetableCleanup(), SCIPcolCalcFarkasCoef(), SCIPcolCalcRedcost(), SCIPcolChgLb(), SCIPcolChgObj(), SCIPcolChgUb(), SCIPcolFree(), SCIPcolGetStrongbranch(), SCIPcolGetStrongbranches(), SCIPcolInvalidateStrongbranchData(), SCIPcolSetStrongbranchData(), SCIPcomputeVarLbGlobal(), SCIPcomputeVarLbLocal(), SCIPcomputeVarUbGlobal(), SCIPcomputeVarUbLocal(), SCIPconflictAddBound(), SCIPconflictAddRelaxedBound(), SCIPconflictAnalyzeRemainingBdchgs(), SCIPconflictIsVarUsed(), SCIPcreateFiniteSolCopy(), SCIPdelVar(), SCIPdomchgAddBoundchg(), SCIPeventCreateImplAdded(), SCIPeventCreateVarFixed(), SCIPeventCreateVarUnlocked(), SCIPeventProcess(), SCIPfixVar(), SCIPgetRowprepViolation(), SCIPgetVarCopy(), SCIPgetVarFarkasCoef(), SCIPgetVarImplRedcost(), SCIPgetVarLbAtIndex(), SCIPgetVarMultaggrLbGlobal(), SCIPgetVarMultaggrLbLocal(), SCIPgetVarMultaggrUbGlobal(), SCIPgetVarMultaggrUbLocal(), SCIPgetVarNStrongbranchs(), SCIPgetVarRedcost(), SCIPgetVarsStrongbranchesFrac(), SCIPgetVarsStrongbranchesInt(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchLast(), SCIPgetVarStrongbranchLPAge(), SCIPgetVarStrongbranchNode(), SCIPgetVarStrongbranchWithPropagation(), SCIPgetVarUbAtIndex(), SCIPimplicsAdd(), SCIPlpAddCol(), SCIPlpEndDive(), SCIPlpMarkFlushed(), SCIPlpShrinkCols(), SCIPlpStartDive(), SCIPlpSumRows(), SCIPlpUpdateAddVar(), SCIPlpUpdateDelVar(), SCIPlpUpdateVarLb(), SCIPlpUpdateVarObj(), SCIPlpUpdateVarUb(), SCIPmakeIndicatorFeasible(), SCIPmergeVariableStatistics(), SCIPnlrowAddLinearCoef(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPnodePropagateImplics(), SCIPpricestoreAddProbVars(), SCIPpricestoreApplyVars(), SCIPprimalTransformSol(), SCIPprobAddVar(), SCIPprobChgVarType(), SCIPprobDelVar(), SCIPprobExitSolve(), SCIPprobPerformVarDeletions(), SCIPprobUpdateBestRootSol(), SCIPprobVarChangedStatus(), SCIPrelaxationUpdateVarObj(), SCIPreoptApplyCuts(), SCIProwCalcIntegralScalar(), SCIProwPrint(), SCIProwRecalcPseudoActivity(), SCIPsetVarStrongbranchData(), SCIPsolAdjustImplicitSolVals(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolRound(), SCIPsolSetVal(), SCIPsolUpdateVarObj(), SCIPstatUpdateVarRootLPBestEstimate(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPvarAddClique(), SCIPvarAddCliqueToList(), SCIPvarAddHoleGlobal(), SCIPvarAddHoleLocal(), SCIPvarAddHoleOriginal(), SCIPvarAddImplic(), SCIPvarAddLocks(), SCIPvarAddObj(), SCIPvarAddToRow(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarAggregate(), SCIPvarChgBranchDirection(), SCIPvarChgBranchFactor(), SCIPvarChgBranchPriority(), SCIPvarChgLbDive(), SCIPvarChgLbGlobal(), SCIPvarChgLbLazy(), SCIPvarChgLbLocal(), SCIPvarChgLbOriginal(), SCIPvarChgObj(), SCIPvarChgObjDive(), SCIPvarChgUbDive(), SCIPvarChgUbGlobal(), SCIPvarChgUbLazy(), SCIPvarChgUbLocal(), SCIPvarChgUbOriginal(), SCIPvarColumn(), SCIPvarCompareActiveAndNegated(), SCIPvarCopy(), SCIPvarDelClique(), SCIPvarDoNotAggr(), SCIPvarDoNotMultaggr(), SCIPvarFix(), SCIPvarFlattenAggregationGraph(), SCIPvarGetActiveRepresentatives(), SCIPvarGetAggrConstant(), SCIPvarGetAggregatedObj(), SCIPvarGetAggrScalar(), SCIPvarGetAggrVar(), SCIPvarGetAvgBranchdepth(), SCIPvarGetAvgBranchdepthCurrentRun(), SCIPvarGetAvgConflictlength(), SCIPvarGetAvgConflictlengthCurrentRun(), SCIPvarGetAvgCutoffs(), SCIPvarGetAvgCutoffsCurrentRun(), SCIPvarGetAvgGMIScore(), SCIPvarGetAvgInferences(), SCIPvarGetAvgInferencesCurrentRun(), SCIPvarGetAvgSol(), SCIPvarGetBestRootLPObjval(), SCIPvarGetBestRootRedcost(), SCIPvarGetBestRootSol(), SCIPvarGetCol(), SCIPvarGetCutoffSum(), SCIPvarGetCutoffSumCurrentRun(), SCIPvarGetHolelistOriginal(), SCIPvarGetImplRedcost(), SCIPvarGetInferenceSum(), SCIPvarGetInferenceSumCurrentRun(), SCIPvarGetLastBdchgIndex(), SCIPvarGetLastGMIScore(), SCIPvarGetLbAtIndex(), SCIPvarGetLbLP(), SCIPvarGetLbOriginal(), SCIPvarGetLPSol(), SCIPvarGetLPSol_rec(), SCIPvarGetMultaggrConstant(), SCIPvarGetMultaggrLbGlobal(), SCIPvarGetMultaggrLbLocal(), SCIPvarGetMultaggrNVars(), SCIPvarGetMultaggrScalars(), SCIPvarGetMultaggrUbGlobal(), SCIPvarGetMultaggrUbLocal(), SCIPvarGetMultaggrVars(), SCIPvarGetNActiveConflicts(), SCIPvarGetNActiveConflictsCurrentRun(), SCIPvarGetNBranchings(), SCIPvarGetNBranchingsCurrentRun(), SCIPvarGetNegationConstant(), SCIPvarGetNegationVar(), SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUpType(), SCIPvarGetNLPSol(), SCIPvarGetNLPSol_rec(), SCIPvarGetObjLP(), SCIPvarGetOrigvarSum(), SCIPvarGetProbvar(), SCIPvarGetProbvarBinary(), SCIPvarGetProbvarBound(), SCIPvarGetProbvarHole(), SCIPvarGetProbvarSum(), SCIPvarGetPseudocost(), SCIPvarGetPseudocostCount(), SCIPvarGetPseudocostCountCurrentRun(), SCIPvarGetPseudocostCurrentRun(), SCIPvarGetPseudocostVariance(), SCIPvarGetPseudoSol(), SCIPvarGetPseudoSol_rec(), SCIPvarGetRelaxSol(), SCIPvarGetRelaxSolTransVar(), SCIPvarGetRootSol(), SCIPvarGetTransformed(), SCIPvarGetTransVar(), SCIPvarGetUbAtIndex(), SCIPvarGetUbLP(), SCIPvarGetUbOriginal(), SCIPvarGetVSIDS(), SCIPvarGetVSIDS_rec(), SCIPvarGetVSIDSCurrentRun(), SCIPvarIncCutoffSum(), SCIPvarIncGMIeffSum(), SCIPvarIncInferenceSum(), SCIPvarIncNActiveConflicts(), SCIPvarIncNBranchings(), SCIPvarIncVSIDS(), SCIPvarIsInLP(), SCIPvarIsNegated(), SCIPvarIsOriginal(), SCIPvarIsTransformed(), SCIPvarIsTransformedOrigvar(), SCIPvarLoose(), SCIPvarMarkDoNotAggr(), SCIPvarMarkDoNotMultaggr(), SCIPvarMultiaggregate(), SCIPvarNegate(), SCIPvarPrint(), SCIPvarRemove(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarsAddClique(), SCIPvarScaleVSIDS(), SCIPvarSetDelorigData(), SCIPvarSetLastGMIScore(), SCIPvarSetNLPSol(), SCIPvarSetRelaxSol(), SCIPvarSetTransData(), SCIPvarsGetActiveVars(), SCIPvarTransform(), SCIPvarTryAggregateVars(), SCIPvarUpdatePseudocost(), SCIPvarWasFixedEarlier(), SCIPvboundsAdd(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), selectVarMultAggrBranching(), separateCons(), shortenConss(), solUnlinkVar(), solveLp(), sortAndMergeClique(), tightenedLinkvar(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVarsBoundsSOS1(), tryAddGadgetSquaredDifference(), tryAggregateIntVars(), updateBestCandidate(), updateConsanddataUses(), updateSubproblemLowerbound(), varAddImplic(), varAddParent(), varAddTransitiveImplic(), varEventGlbChanged(), varEventGubChanged(), varEventLbChanged(), varEventObjChanged(), varEventUbChanged(), varEventVarFixed(), varFree(), varFreeParents(), varGetActiveVar(), varGetObjDelta(), varIsInteresting(), varMayRoundDown(), varMayRoundUp(), varProcessAddHoleGlobal(), varProcessAddHoleLocal(), varProcessChgBranchDirection(), varProcessChgBranchFactor(), varProcessChgBranchPriority(), varProcessChgLbGlobal(), varProcessChgLbLocal(), varProcessChgUbGlobal(), varProcessChgUbLocal(), varSetProbindex(), writeOpbConstraints(), and writeOpbObjective().

returns whether the variable belongs to the original problem

Parameters

Definition at line 17556 of file var.c.

References SCIP_Var::negatedvar, NULL, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, and SCIPvarGetStatus().

Referenced by addGlobalCut(), addSplitcons(), changeAncestorBranchings(), collectDualInformation(), consdataFree(), constructCompression(), createAndAddAndCons(), fixBounds(), reoptSaveNewObj(), reoptSimilarity(), SCIP_DECL_EXPRSIMPLIFY(), SCIPcatchVarEvent(), SCIPchgCoefLinear(), SCIPchgReoptObjective(), SCIPcopyConsLinear(), SCIPdropVarEvent(), SCIPgetConcurrentVaridx(), SCIPgetReoptOldObjCoef(), SCIPreoptAddDualBndchg(), SCIPreoptApplyCuts(), SCIPreoptApplyGlbConss(), SCIPreoptMergeVarHistory(), SCIPreoptUpdateVarHistory(), SCIPvarGetHolelistOriginal(), SCIPvarGetLbOriginal(), SCIPvarGetOrigvarSum(), SCIPvarGetUbOriginal(), SCIPvarResetBounds(), separateSolution(), and transformIntoOrig().

returns whether the variable belongs to the transformed problem

Parameters

Definition at line 17569 of file var.c.

References SCIP_Var::negatedvar, NULL, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, and SCIPvarGetStatus().

Referenced by addCoef(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addOrbitope(), addSplitcons(), addVarCardinality(), addVarSOS1(), addVarSOS2(), appendVarCardinality(), appendVarSOS1(), appendVarSOS2(), applyFixings(), assignVars(), changeAncestorBranchings(), chgCoefPos(), consCatchEvent(), delCoefPos(), lexdataCreate(), nlpAddVars(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSINIT(), SCIP_DECL_EVENTEXEC(), SCIPaddVarLocksType(), SCIPaddVarObj(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarObj(), SCIPchgVarType(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPcreateConsSOS1(), SCIPgetTransformedVar(), SCIPgetTransformedVars(), SCIPincSolVal(), SCIPinferBinvarCons(), SCIPinferBinvarProp(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPlockVarCons(), SCIPnlpAddVar(), SCIPreleaseVar(), SCIPsetSolVal(), SCIPsetSolVals(), SCIPsolGetVal(), SCIPsolMarkPartial(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtransformVar(), SCIPtransformVars(), SCIPunlockVarCons(), SCIPvarAddHoleOriginal(), SCIPvarCatchEvent(), SCIPvarChgLbOriginal(), SCIPvarChgUbOriginal(), SCIPvarDropEvent(), SCIPvarIsTransformedOrigvar(), SCIPvarNegate(), SCIPvarPrint(), SCIPvarRemove(), SCIPwriteBnd(), setIntvar(), shadowtreeFillNodeDepthBranchIndices(), solUnlinkVar(), tightenBounds(), transformToOrig(), varEnsureLbchginfosSize(), varEnsureUbchginfosSize(), varEventGholeAdded(), varEventGlbChanged(), varEventGubChanged(), varEventLbChanged(), varEventObjChanged(), varEventUbChanged(), varIncRootboundchgs(), varProcessAddHoleGlobal(), varProcessChgLbGlobal(), varProcessChgLbLocal(), varProcessChgUbGlobal(), and varProcessChgUbLocal().

returns whether the variable was created by negation of a different variable

Parameters

Definition at line 17582 of file var.c.

References NULL, SCIP_VARSTATUS_NEGATED, and SCIPvarGetStatus().

Referenced by addCliqueDataEntry(), addCliques(), addSplitcons(), applyFixings(), checkEqualObjective(), checkParallelObjective(), checkSolution(), checkSystemGF2(), collectCliqueData(), computeRanks(), correctLocksAndCaptures(), createCoveringProblem(), createSubSCIP(), decompGetConsVarsAndLabels(), extractGates(), findAggregation(), getLinVarsAndAndRess(), mergeMultiples(), packingUpgrade(), preprocessCliques(), presolRoundIndicator(), printIndicatorCons(), printNLRow(), printRow(), propagateCons(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_SORTPTRCOMP(), SCIPapplyHeurDualval(), SCIPchgVarType(), SCIPcomputeDecompVarsLabels(), SCIPcreateConsOrbitope(), SCIPwriteLp(), SCIPwriteMps(), SCIPwriteVarName(), setObjective(), tryUpgradingXor(), varGetObjDelta(), writeOpbObjective(), and writeOpbRelevantAnds().

gets type of variable

Parameters

Definition at line 17592 of file var.c.

References NULL, and SCIP_Var::vartype.

Referenced by addCoef(), addConstraintToBendersSubproblem(), addFixedVarsConss(), addGlobalCut(), addLinearConstraints(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addRelaxation(), addRltTerm(), addScenarioVarsToProb(), addSplitcons(), addSSTConss(), addVarboundConstraints(), aggregateVariables(), aggregation(), applyBoundChanges(), applyBoundHeur(), applyFixings(), applyNlobbt(), applyRepair(), applyVboundsFixings(), areBoundsChanged(), branchcandCalcLPCands(), branchcandInsertPseudoCand(), branchcandRemovePseudoCand(), branchingIntegralOrNonlinear(), calcBranchScore(), cancelCol(), checkAndGetVarbound(), checkRedundancy(), checkRedundancySide(), checkVarbound(), chooseVeclenVar(), colIsDiscrete(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), compareVars(), compareVarsSignedPerm(), compensateVarLock(), componentPackingPartitioningOrbisackUpgrade(), computeDynamicRowOrder(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeMonoidalStrengthCoef(), conflictAddBound(), conflictResolveBound(), consdataCheckNonbinvar(), consdataCreate(), consdataTightenCoefs(), convertLongEquality(), copyVars(), countSparseSol(), createAndSplitProblem(), createCGMIPprimalsols(), createConsXorIntvar(), CUTOFF_CONSTRAINT(), cutsRoundStrongCG(), cutsTransformKnapsackCover(), DECL_VARFIXINGS(), decompHorizonInitialize(), delCoefPos(), detectHiddenProducts(), detectProductsClique(), detectProductsImplbnd(), determineBestBounds(), determineBoundForSNF(), determineVariableFixingsDecomp(), dfs(), domchgMakeDynamic(), dualBoundStrengthening(), dualPresolve(), ensureSymmetryMovedpermvarscountsComputed(), extractCapacityRows(), extractCliques(), extractFlowRows(), extractProducts(), fillRelationTables(), findBestLb(), findBestUb(), findFixings(), findVarAggrRedVbcons(), fixAndPropagate(), fixInterdiction(), fixMatchingSolutionValues(), forbidFixation(), fullDualPresolve(), generateGMICuts(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getScenarioDecompVar(), getScore(), getScoreOfFarkasDiving(), getVarWeight(), heurExec(), initData(), isBoundchgUseless(), isFixedVar(), isPseudocostUpdateValid(), isSingleLockedCand(), isVlb(), isVub(), level2dataGetResult(), level2dataStoreResult(), mergeMultiples(), nlpCalcFracVars(), AMPLProblemHandler::OnVarBounds(), optimize(), performSimpleRounding(), predBndStr(), presolStuffing(), presolveSingleLockedVars(), prettifyConss(), printBoundSection(), printColumnSection(), printLinearCons(), probInsertVar(), probRemoveVar(), propagateStaticLexred(), propagateStaticOrbitope(), rangedRowPropagation(), readBounds(), readIndicators(), registerBranchingCandidates(), removeDoubleAndSingletonsAndPerformDualpresolve(), resolvePropagation(), roundPartition(), rowCalculateGauss(), rowFindSlackVar(), rowIsBranchRow(), sampleRandomPoints(), saveGlobalCons(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXITSOL(), SCIP_DECL_EVENTINITSOL(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SORTINDCOMP(), SCIP_DECL_SORTPTRCOMP(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPaddVarImplication(), SCIPaddVarIndicator(), SCIPaddVarVlb(), SCIPaddVarVub(), SCIPanalyzeDeductionsProbing(), SCIPapplyLockFixings(), SCIPbendersChgMastervarsToCont(), SCIPbendersMergeSubproblemIntoMaster(), SCIPbranchcandAddExternCand(), SCIPbranchcandContainsExternCand(), SCIPbranchcandGetPseudoCands(), SCIPbranchcandUpdateVar(), SCIPbranchExecLP(), SCIPbranchExecPseudo(), SCIPbranchGetBranchingPoint(), SCIPbranchVar(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPcalcChildEstimateIncrease(), SCIPchgVarType(), SCIPclassifyConstraintTypesLinear(), SCIPcliquetableCleanup(), SCIPconflictAnalyzeRemainingBdchgs(), SCIPcreateConsAnd(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinCons(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPdomchgAddBoundchg(), SCIPdomchgMakeStatic(), SCIPisObjIntegral(), SCIPnlpHasContinuousNonlinearity(), SCIPprobCheckObjIntegral(), SCIPprobChgVarType(), SCIPreoptApplyGlbConss(), SCIPreoptnodeAddCons(), SCIPreoptSplitRoot(), SCIPsetBinaryVarIndicator(), SCIPsetLinearConsIndicator(), SCIPshrinkDisjunctiveVarSet(), SCIPsolAdjustImplicitSolVals(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPtreeCalcChildEstimate(), SCIPupgradeConsLinear(), SCIPvarAddHoleGlobal(), SCIPvarAddHoleLocal(), SCIPvarAddHoleOriginal(), SCIPvarAddImplic(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarAdjustLb(), SCIPvarAdjustUb(), SCIPvarAggregate(), SCIPvarChgLbGlobal(), SCIPvarChgLbLocal(), SCIPvarChgLbOriginal(), SCIPvarChgType(), SCIPvarChgUbGlobal(), SCIPvarChgUbLocal(), SCIPvarChgUbOriginal(), SCIPvarCopy(), SCIPvarIsBinary(), SCIPvarIsIntegral(), SCIPvarNegate(), SCIPvarPrint(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarTransform(), SCIPvarTryAggregateVars(), SCIPvboundsAdd(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), SCIPwriteVarName(), scoreBranchingCandidates(), selectEssentialRounding(), selectInitialVariableDecomposition(), selectInitialVariableRandomly(), selectOrbitLeaderSSTConss(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), separateCons(), separateCuts(), separateGLS(), separateHeur(), separateSolution(), setupAndSolveSubscipRapidlearning(), simplifyInequalities(), singletonColumnStuffing(), soltreeAddSol(), solveNode(), sortComponents(), tcliquegraphAddNode(), tcliquegraphConstructCliqueTable(), tightenBounds(), tightenCoefs(), tightenDualproof(), tightenSides(), tightenVarLb(), tightenVarUb(), transformAndSolve(), tryAdd2variableBuffer(), tryAggregateIntVars(), updateActivities(), updateBestCandidate(), updatePseudocost(), useValuehistory(), varAddImplic(), varAddLbchginfo(), varAddTransitiveImplic(), varAddUbchginfo(), varGetChar(), varIsDiscrete(), varIsSemicontinuous(), varIsUnfixedLocal(), varProcessAddHoleGlobal(), varProcessAddHoleLocal(), varProcessBoundChanges(), varProcessChgLbGlobal(), varProcessChgLbLocal(), varProcessChgUbGlobal(), varProcessChgUbLocal(), writeFzn(), and writeOpbConstraints().

returns TRUE if the variable is of binary type; this is the case if: (1) variable type is binary (2) variable type is integer or implicit integer and (i) the global lower bound is greater than or equal to zero (ii) the global upper bound is less than or equal to one

Parameters

Definition at line 17607 of file var.c.

References SCIP_Var::glbdom, SCIP_Dom::lb, NULL, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_CONTINUOUS, SCIPvarGetType(), and SCIP_Dom::ub.

Referenced by addBinaryConstraint(), addCand(), addCoef(), addConflictBinvar(), addOrbitopeSubgroup(), addSSTConssOrbitAndUpdateSST(), addVarCardinality(), adjustCutoffbound(), aggregateVariables(), analyzeStrongbranch(), appendVarCardinality(), applyBinaryConstraints(), applyFixings(), applyProbing(), bdchginfoIsInvalid(), binaryVarListAppend(), buildQuadExprMatrix(), calcBranchScore(), calcPscostQuot(), calculateAlternatives(), cancelCol(), cancelRow(), checkAndCollectQuadratic(), checkCons(), checkLogicor(), checkSystemGF2(), checkTwoCyclePermsAreOrbitope(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), cliquetableGetNodeIndexBinvar(), collectBinaryCliqueData(), collectMaxactVar(), collectMinactImplicVars(), collectMinactObjchg(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), computeNogoodCut(), conflictQueueBound(), consdataCreate(), consdataPrint(), consdataSort(), convertLongEquality(), createConflict(), createConsSetppc(), createConsXorIntvar(), createKKTDualCons(), createSolFromSubScipSol(), createSubproblem(), CUTOFF_CONSTRAINT(), DECL_VARFIXINGS(), detectAndHandleSubgroups(), detectImpliedBounds(), detectMinors(), detectSocNorm(), detectSocQuadraticSimple(), dfs(), dropVarEvents(), dualPresolve(), enforceConflictgraph(), enforceConssSOS1(), executeBranchingRecursive(), extractCliques(), findFixings(), fixMatchingSolutionValues(), fullDualPresolve(), getClosestVlb(), getClosestVub(), getConflictImplics(), getCover(), getFixedVariable(), getMaxactImplicObjchg(), getMaxactObjchg(), getMinactImplicObjchg(), getMinactObjchg(), getNOrbitopesInComp(), getScore(), getScoreLikeCoefdiving(), getVarObjchg(), handleDoublelLexMatrix(), handleOrbitope(), heurExec(), isConsViolated(), lpCopyIntegrality(), mergeMultiples(), objimplicsCreate(), orbisackUpgrade(), predBndStr(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), printIndicatorCons(), processBinvarFixings(), propagateCutoffboundBinvar(), propagateLowerbound(), propagateLowerboundBinvar(), propagateVbounds(), propCardinality(), propdataInit(), rangedRowPropagation(), rangedRowSimplify(), removeDoubleAndSingletonsAndPerformDualpresolve(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRSIMPLIFY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRDETECT(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_SORTINDCOMP(), SCIP_DECL_SORTPTRCOMP(), SCIPaddConflictBinvar(), SCIPaddVarImplication(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurDualval(), SCIPapplyProximity(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPcliqueAddVar(), SCIPcliqueDelVar(), SCIPcliquelistRemoveFromCliques(), SCIPcliquetableAdd(), SCIPcliquetableComputeCliqueComponents(), SCIPcliquetableGetVarComponentIdx(), SCIPcreateConsAnd(), SCIPcreateConsCardinality(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinCons(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPcreateConsKnapsack(), SCIPcreateConsLogicor(), SCIPcreateConsOr(), SCIPcreateConsOrbitope(), SCIPcreateConsXor(), SCIPdomchgAddBoundchg(), SCIPextendSubOrbitope(), SCIPgenerateOrbitopeVarsMatrix(), SCIPgetVarWasFixedAtIndex(), SCIPhaveVarsCommonClique(), SCIPinferBinvarCons(), SCIPinferBinvarProp(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPisInvolutionPerm(), SCIPnodePropagateImplics(), SCIPprobGetNImplBinVars(), SCIPprobUpdateBestRootSol(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPupgradeConsLinear(), SCIPvarAddClique(), SCIPvarAddCliqueToList(), SCIPvarAddImplic(), SCIPvarAddVub(), SCIPvarAggregate(), SCIPvarChgType(), SCIPvarDelClique(), SCIPvarDelCliqueFromList(), SCIPvarGetImplRedcost(), SCIPvarGetProbvarBinary(), SCIPvarHasBinaryImplic(), SCIPvarHasImplic(), SCIPvarNegate(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarsAddClique(), SCIPvarsHaveCommonClique(), SCIPvarTryAggregateVars(), SCIPvarWasFixedAtIndex(), SCIPvarWasFixedEarlier(), separateCuts(), separateGLS(), separateHeur(), setSymmetryData(), simplifyInequalities(), sortAndMergeClique(), sortVariables(), tightenCoefs(), tightenDualproof(), tryHandleSingleOrDoubleLexMatricesComponent(), upgradeCons(), upgradeConss(), varAddImplic(), varAddLbchginfo(), varAddUbchginfo(), varGetObjDelta(), and varIsInteresting().

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

Parameters

Definition at line 17618 of file var.c.

References NULL, SCIP_VARTYPE_CONTINUOUS, and SCIPvarGetType().

Referenced by addBilinearTermToCut(), addConflictBounds(), addRltTerm(), adjustCutoffbound(), aggregation(), analyzeConflict(), analyzeConflictLowerbound(), analyzeConflictUpperbound(), applyFixings(), branchingIntegralFirst(), calculateAlternatives(), cancelCol(), cancelRow(), checkExec(), checkKnapsack(), computeCut(), computeFixingOrder(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), conflictAddConflictCons(), conflictCreateReconvergenceConss(), consdataIsResidualIntegral(), createAndAddProofcons(), createCGCutCMIR(), createNewSol(), createSubSCIP(), cutsRoundStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_VARFIXINGS(), detectAndHandleSubgroups(), detectImpliedBounds(), determineBound(), determineVariableFixings(), enforceConflictgraph(), findNewBounds(), fixAndPropagate(), fixMatchingSolutionValues(), fullDualPresolve(), generateClusterCuts(), initializeCandsLists(), isBinaryProduct(), isOverlapping(), lpCopyIntegrality(), performFixing(), performStrongbranchSOS1(), presolveImplint(), propagateLowerboundVar(), propagateRedcostVar(), propIndicator(), proposeFeasibleSolution(), rangedRowPropagation(), resolveGenVBoundPropagation(), resolvePropagation(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPRINTEGRALITY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_SORTINDCOMP(), SCIPaddVarIndicator(), SCIPboundchgApply(), SCIPcolCreate(), SCIPcolGetStrongbranch(), SCIPcolGetStrongbranches(), SCIPcolInvalidateStrongbranchData(), SCIPcolIsIntegral(), SCIPcolSetStrongbranchData(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPcutsTightenCoefficients(), SCIPfixVar(), SCIPgetVarStrongbranchWithPropagation(), SCIPlpAddCol(), SCIPlpWriteMip(), SCIPprobAddVar(), SCIProwCreate(), SCIPsolPrint(), SCIPstatComputeRootLPBestEstimate(), SCIPtreeBranchVarHole(), SCIPvarAddVlb(), SCIPvarFix(), selectShifting(), tightenBoundProbing(), tightenDualproof(), tightenSingleVar(), tightenVarBounds(), tightenVariables(), tightenVarLb(), tightenVarsBoundsSOS1(), tightenVarUb(), transformVariable(), tryAdd2variableBuffer(), updateArcData(), varGetChar(), varIncRootboundchgs(), and varIsDiscrete().

returns whether variable's column should be present in the initial root LP

Parameters

Definition at line 17628 of file var.c.

References SCIP_Var::initial, and NULL.

Referenced by addConstraintToBendersSubproblem(), addScenarioVarsToProb(), aggregation(), applyFixings(), convertLongEquality(), getScenarioDecompVar(), initLP(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPvarCopy(), and tryAggregateIntVars().

returns whether variable's column is removable from the LP (due to aging or cleanup)

Parameters

Definition at line 17638 of file var.c.

References NULL, and SCIP_Var::removable.

Referenced by addConstraintToBendersSubproblem(), addScenarioVarsToProb(), aggregation(), applyFixings(), convertLongEquality(), getScenarioDecompVar(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPvarCopy(), and tryAggregateIntVars().

returns whether variable is an active (neither fixed nor aggregated) variable

Parameters

Definition at line 17756 of file var.c.

References NULL, and SCIP_Var::probindex.

Referenced by addCliqueDataEntry(), addCliques(), addCoef(), addConsToOccurList(), applyFixings(), applyGenVBounds(), applyProbing(), branchruledataEnsureArraySize(), calcCliquePartitionGreedy(), checkForOverlapping(), checkLocksAndRes(), checkRedundantCons(), checkSystemGF2(), cliquePresolve(), cliquetableGetNodeIndexBinvar(), collectCliqueData(), conflictAddBound(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictResolveBound(), consCatchEvent(), convertLongEquality(), createAndSplitProblem(), createCoveringProblem(), createNAryBranch(), createSolFromNLP(), createSolFromSubScipSol(), createSubproblem(), createSubSCIP(), cutsRoundMIR(), decompGetConsVarsAndLabels(), dfs(), dualPresolving(), extractGates(), findAggregation(), freeSubSCIP(), getActiveVar(), getMaxactImplicObjchg(), getRandomVariable(), GUBsetCalcCliquePartition(), heurdataEnsureArraySize(), initData(), initTCliquegraph(), liftCliqueVariables(), mergeMultiples(), nlpAddVars(), nlpRemoveFixedVar(), nlpSetupNlpiIndices(), nlrowAddLinearCoef(), nlrowRemoveFixedLinearCoefPos(), nlrowRemoveFixedVar(), performBoundSubstitution(), preprocessCliques(), preprocessConstraintPairs(), presolRoundIndicator(), propagateCons(), propagateVbounds(), removeConstraintsDueToNegCliques(), removeFixedVariables(), resolvePropagationCoretimes(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EXPR_MAPEXPR(), SCIP_DECL_EXPRSIMPLIFY(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROBCOPY(), SCIP_DECL_SEPAEXECLP(), SCIPaddVarImplication(), SCIPcalcCliquePartition(), SCIPcliquetableComputeCliqueComponents(), SCIPcomputeDecompVarsLabels(), SCIPconflictAddBound(), SCIPconflictAddRelaxedBound(), SCIPconflictIsVarUsed(), SCIPcreateConsOrbitope(), SCIPgetReoptOldObjCoef(), SCIPhaveVarsCommonClique(), SCIPimplicsAdd(), SCIPnlrowAddLinearCoef(), SCIPnlrowDelLinearCoef(), SCIPprimalTransformSol(), SCIPreoptMergeVarHistory(), SCIPreoptUpdateVarHistory(), SCIPseparateRelaxedKnapsack(), SCIPsolLinkNLPSol(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPupdateVarPseudocostSymmetric(), SCIPvarAddImplic(), SCIPvarAddObj(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarChgObj(), SCIPvarCompareActiveAndNegated(), SCIPvarGetClosestVlb(), SCIPvarGetClosestVub(), SCIPvarGetImplBounds(), SCIPvarGetImplIds(), SCIPvarGetImplRedcost(), SCIPvarGetImplTypes(), SCIPvarGetImplVars(), SCIPvarGetLastBdchgIndex(), SCIPvarGetLbchgInfo(), SCIPvarGetNImpls(), SCIPvarGetUbchgInfo(), SCIPvarHasImplic(), SCIPvariablegraphBreadthFirst(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarsHaveCommonClique(), SCIPvarWasFixedEarlier(), SCIPwriteGms(), selectInitialVariableRandomly(), shortenConss(), solveComponent(), sortVariables(), tarjan(), tcliquegraphAddNode(), tightenVariables(), tryUpgradingXor(), updateBestCandidate(), varAddImplic(), varAddTransitiveBinaryClosureImplic(), varAddTransitiveImplic(), varIncRootboundchgs(), varMayRoundDown(), varMayRoundUp(), and writeOpbRelevantAnds().

gets unique index of variable

Parameters

Definition at line 17766 of file var.c.

References SCIP_Var::index, and NULL.

Referenced by addAdjacentVars(), addCoef(), addProductVars(), applyProbing(), calcSignature(), checkForOverlapping(), componentSetupWorkingSol(), computeConsAndDataChanges(), conflictsetAddBound(), conflictsetAddBounds(), consdataCalcSignature(), consdataGetSignature(), consdataUpdateSignatures(), correctLocksAndCaptures(), correctPresoldata(), createAltLPColumn(), createPresoldata(), createTcliqueGraph(), detectProductsUnconditional(), evaluateValueCand(), extractGates(), fixAdditionalVars(), getAdjacentVars(), getFactorizedBinaryQuadraticExpr(), getHashmapKey(), initConcsolver(), initConflictgraph(), liftCliqueVariables(), printNLRow(), propagateCons(), removeRedundantConstraints(), reoptSaveNewObj(), reoptSimilarity(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_EXPRCOMPARE(), SCIP_DECL_EXPRHASH(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SORTINDCOMP(), SCIP_DECL_SORTPTRCOMP(), SCIPcliqueSearchVar(), SCIPgetConcurrentVaridx(), SCIPgetReoptOldObjCoef(), SCIPisPackingPartitioningOrbitope(), SCIPreoptMergeVarHistory(), SCIPreoptUpdateVarHistory(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolMarkPartial(), SCIPsolRound(), SCIPsolSetVal(), SCIPvarCompareActiveAndNegated(), solGetArrayVal(), solIncArrayVal(), solSetArrayVal(), solUnlinkVar(), solveClassification(), solveMinIISC(), sortVariables(), tiebreakAggrCand(), tryAddGadgetSquaredDifference(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), and writeOpbObjective().

gets position of variable in problem, or -1 if variable is not active

Parameters

Definition at line 17776 of file var.c.

References NULL, and SCIP_Var::probindex.

Referenced by addGLSCliques(), addLowerBound(), addNextLevelCliques(), addRow(), addUpperBound(), alnsFixMoreVariables(), alnsUnfixVariables(), applyRepair(), branchruledataAddBoundChangeVar(), branchruledataEnsureArraySize(), branchruledataPopBoundChangeVar(), branchruledataUpdateCurrentBounds(), buildBlockGraph(), calcSignature(), checkRedundancy(), collectBinaryCliqueData(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), computeAlternativeBounds(), computeCut(), computeMIRForOptimalityCut(), conflictAnalyzeLP(), constructCompression(), constructSNFRelaxation(), correctLocksAndCaptures(), countNonlinearities(), createCGCutDirect(), createCoveringProblem(), createEdgesFromRow(), createRows(), createSubproblem(), createSubSCIP(), createTcliqueGraph(), cutsRoundMIR(), cutsRoundStrongCG(), detectImpliedBounds(), determineBestBounds(), determineBoundForSNF(), dfs(), ensureScoresPresent(), execRelpscost(), executeBranchingRecursive(), fillDigraph(), fillVariableGraph(), filterCandidates(), findBestLb(), findBestUb(), findInsertionPoint(), forbidFixation(), freeMemory(), freeSubSCIP(), fullDualPresolve(), generateAverageNBRay(), getClosestVlb(), getClosestVub(), getMaxactImplicObjchg(), getMaxActivity(), getMinActivity(), getNLPVarsNonConvexity(), getNodeIdx(), getNVarsIndicators(), getOldBranching(), getRowFracActivity(), heurdataAddBoundChangeVar(), heurdataEnsureArraySize(), heurdataFreeArrays(), heurdataPopBoundChangeVar(), heurdataUpdateCurrentBounds(), initLP(), insertIndex(), insertSortedRootNeighbors(), isNeighbor(), isUseOldBranching(), isVariableInNeighborhood(), LNSFixMoreVariables(), LNSUnfixVariables(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), lpUpdateVarProved(), mergeMultiples(), mod2MatrixAddCol(), packingUpgrade(), performBoundSubstitution(), printLinearCons(), printRow(), probInsertVar(), probRemoveVar(), processNlRow(), reoptCheckLocalRestart(), rowAddCoef(), rowCalculateGauss(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_SORTINDCOMP(), SCIP_DECL_SORTPTRCOMP(), SCIPaddPricedVar(), SCIPaddSymgraphVarAggregation(), SCIPaddVar(), SCIPaggrRowAddObjectiveFunction(), SCIPaggrRowCancelVarWithBound(), SCIPaggrRowGetMinActivity(), SCIPaggrRowPrint(), SCIPapplyHeurSubNlp(), SCIPapplyLockFixings(), SCIPchgVarName(), SCIPchgVarType(), SCIPcolCreate(), SCIPeventProcess(), SCIPextendPermsymDetectionGraphLinear(), SCIPfixSymgraphVarnode(), SCIPgetSymgraphVarnodeidx(), SCIPlpGetPrimalRay(), SCIPlpSumRows(), SCIPlpUpdateAddVar(), SCIPlpUpdateDelVar(), SCIPlpUpdateVarLb(), SCIPlpUpdateVarObj(), SCIPlpUpdateVarUb(), SCIPpricestoreApplyVars(), SCIPprimalTransformSol(), SCIPprobAddVar(), SCIPprobAddVarName(), SCIPprobChgVarType(), SCIPprobDelVar(), SCIPprobFree(), SCIPprobPerformVarDeletions(), SCIPprobVarChangedStatus(), SCIPrunBoundHeuristic(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPsolRetransform(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPundoBdchgsProof(), SCIPvarGetImplRedcost(), SCIPvariablegraphBreadthFirst(), SCIPvarRemove(), SCIPwriteCliqueGraph(), scoreContainerSetScore(), selectInitialVariableRandomly(), selectNextVariable(), selectOrbitLeaderSSTConss(), selectShifting(), selectVarStart(), separateCuts(), separateGLS(), separateHeur(), solveSubNLP(), sortFirstCandidatesByScore(), tarjan(), tightenDualproof(), tightenVariables(), tightenWeightsLift(), transformNonIntegralRow(), updateOldBranching(), and varProcessBoundChanges().

gets transformed variable of ORIGINAL variable

Parameters

Definition at line 17786 of file var.c.

References SCIP_Var::data, NULL, SCIP_Var::original, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), and SCIP_Original::transvar.

Referenced by assignAuxiliaryVariables(), assignVars(), computeRanks(), createSolFromNLP(), createSolFromSubScipSol(), createSubSCIP(), fixDiscreteVars(), reoptSimilarity(), SCIP_DECL_HEUREXEC(), SCIPapplyHeurDualval(), SCIPmergeVariableStatistics(), SCIPreoptApplyCuts(), SCIPreoptMergeVarHistory(), SCIPreoptUpdateVarHistory(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolSetVal(), SCIPvarResetBounds(), and setupAndSolveSubscipRapidlearning().

gets column of COLUMN variable

Parameters

Definition at line 17797 of file var.c.

References SCIP_Var::col, SCIP_Var::data, NULL, SCIP_VARSTATUS_COLUMN, and SCIPvarGetStatus().

Referenced by addBdchg(), addCols(), addFracCounter(), analyzeStrongbranch(), branchcandCalcLPCands(), calcBdchgScore(), calcBranchScore(), calcShiftVal(), calculateBounds(), checkConstraintMatching(), colCalcInternalFarkasCoef(), colCalcInternalRedcost(), computeCut(), constructLPPos2ConsPosMap(), countBasicVars(), createCGCutCMIR(), determineBound(), determineVariableFixings(), filterExistingLP(), filterRound(), findVertexAndGetRays(), generateAverageRay(), getDualBranchscore(), getImplVarRedcost(), getNActiveConsScore(), getTableauRows(), initLP(), lpFlushAddCols(), lpFlushChgCols(), markRowsXj(), relaxVar(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPapplyLockFixings(), SCIPcolCalcFarkasCoef(), SCIPcolCalcRedcost(), SCIPcolChgLb(), SCIPcolChgObj(), SCIPcolChgUb(), SCIPcolGetStrongbranch(), SCIPcolGetStrongbranches(), SCIPcolInvalidateStrongbranchData(), SCIPcolSetStrongbranchData(), SCIPeventProcess(), SCIPgetVarFarkasCoef(), SCIPgetVarNStrongbranchs(), SCIPgetVarRedcost(), SCIPgetVarsStrongbranchesFrac(), SCIPgetVarsStrongbranchesInt(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchLast(), SCIPgetVarStrongbranchLPAge(), SCIPgetVarStrongbranchNode(), SCIPgetVarStrongbranchWithPropagation(), SCIPlpAddCol(), SCIPlpEndDive(), SCIPlpMarkFlushed(), SCIPlpShrinkCols(), SCIPlpStartDive(), SCIPlpSumRows(), SCIPpricestoreAddProbVars(), SCIPpricestoreApplyVars(), SCIPprobUpdateBestRootSol(), SCIPreoptApplyCuts(), SCIProwCalcIntegralScalar(), SCIPsetVarStrongbranchData(), SCIPsolAdjustImplicitSolVals(), SCIPvarGetImplRedcost(), setupAggregationData(), shiftValues(), storeDenseTableauRowsByColumns(), tryFixVar(), updateActivities(), updateRowActivities(), updateSlacks(), varColCompare(), and varProcessBoundChanges().

returns whether the variable is a COLUMN variable that is member of the current LP

Parameters

Definition at line 17808 of file var.c.

References SCIP_Var::col, SCIP_Var::data, NULL, SCIP_VARSTATUS_COLUMN, SCIPcolIsInLP(), and SCIPvarGetStatus().

Referenced by COLORprobPrintStableSets(), focusnodeCleanupVars(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERFARKAS(), SCIPselectVarPseudoStrongBranching(), SCIPundoBdchgsProof(), and setupAggregationData().

gets aggregation variable y of an aggregated variable x = a*y + c

Parameters

Definition at line 17818 of file var.c.

References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::donotaggr, NULL, SCIP_VARSTATUS_AGGREGATED, SCIPvarGetStatus(), and SCIP_Aggregate::var.

Referenced by checkSystemGF2(), markNeighborsMWISHeuristic(), presolveAddKKTAggregatedVars(), processBinvarFixings(), processRealBoundChg(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_READERWRITE(), SCIPgetVarCopy(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolSetVal(), and varGetObjDelta().

gets aggregation scalar a of an aggregated variable x = a*y + c

Parameters

Definition at line 17830 of file var.c.

References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::donotaggr, NULL, SCIP_Aggregate::scalar, SCIP_VARSTATUS_AGGREGATED, and SCIPvarGetStatus().

Referenced by checkSystemGF2(), presolveAddKKTAggregatedVars(), SCIP_DECL_LINCONSUPGD(), SCIPgetVarCopy(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolSetVal(), and varGetObjDelta().

gets aggregation constant c of an aggregated variable x = a*y + c

Parameters

Definition at line 17842 of file var.c.

References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Var::data, SCIP_Var::donotaggr, NULL, SCIP_VARSTATUS_AGGREGATED, and SCIPvarGetStatus().

Referenced by checkSystemGF2(), markNeighborsMWISHeuristic(), presolveAddKKTAggregatedVars(), SCIP_DECL_LINCONSUPGD(), SCIPgetVarCopy(), SCIPsolGetVal(), and SCIPsolSetVal().

gets number n of aggregation variables of a multi aggregated variable x = a0*y0 + ... + a(n-1)*y(n-1) + c

Parameters

Definition at line 17854 of file var.c.

References SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, NULL, SCIP_Multaggr::nvars, SCIP_VARSTATUS_MULTAGGR, and SCIPvarGetStatus().

Referenced by applyFixings(), conflictResolveBound(), exitPresolve(), fixVariableZero(), getRandomVariable(), nlrowRemoveFixedLinearCoefPos(), presolveAddKKTAggregatedVars(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_READERWRITE(), SCIPconflictAddBound(), SCIPgetVarCopy(), SCIPnlrowAddLinearCoef(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolSetVal(), selectVarMultAggrBranching(), and updateBestCandidate().

gets vector of aggregation variables y of a multi aggregated variable x = a0*y0 + ... + a(n-1)*y(n-1) + c

Parameters

Definition at line 17866 of file var.c.

References SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, NULL, SCIP_VARSTATUS_MULTAGGR, SCIPvarGetStatus(), and SCIP_Multaggr::vars.

Referenced by applyFixings(), exitPresolve(), fixVariableZero(), getRandomVariable(), nlrowRemoveFixedLinearCoefPos(), presolveAddKKTAggregatedVars(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_READERWRITE(), SCIPconflictAddBound(), SCIPgetVarCopy(), SCIPnlrowAddLinearCoef(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolSetVal(), selectVarMultAggrBranching(), and updateBestCandidate().

gets vector of aggregation scalars a of a multi aggregated variable x = a0*y0 + ... + a(n-1)*y(n-1) + c

Parameters

Definition at line 17878 of file var.c.

References SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, NULL, SCIP_Multaggr::scalars, SCIP_VARSTATUS_MULTAGGR, and SCIPvarGetStatus().

Referenced by applyFixings(), fixVariableZero(), nlrowRemoveFixedLinearCoefPos(), presolveAddKKTAggregatedVars(), SCIP_DECL_BRANCHEXECLP(), SCIPconflictAddBound(), SCIPgetVarCopy(), SCIPnlrowAddLinearCoef(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolSetVal(), selectVarMultAggrBranching(), and updateBestCandidate().

gets aggregation constant c of a multi aggregated variable x = a0*y0 + ... + a(n-1)*y(n-1) + c

Parameters

Definition at line 17890 of file var.c.

References SCIP_Multaggr::constant, SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, NULL, SCIP_VARSTATUS_MULTAGGR, and SCIPvarGetStatus().

Referenced by applyFixings(), fixVariableZero(), nlrowRemoveFixedLinearCoefPos(), presolveAddKKTAggregatedVars(), SCIP_DECL_BRANCHEXECLP(), SCIPgetVarCopy(), SCIPsolGetVal(), SCIPsolSetVal(), SCIPvarGetActiveRepresentatives(), and selectVarMultAggrBranching().

gets the negation of the given variable; may return NULL, if no negation is existing yet

Parameters

var negated problem variable

Definition at line 17902 of file var.c.

References SCIP_Var::negatedvar, and NULL.

Referenced by addCliqueDataEntry(), addCliques(), addConsToOccurList(), applyFixings(), checkEqualObjective(), checkOrigPbCons(), checkParallelObjective(), checkSolution(), checkSystemGF2(), cliquePresolve(), collectCliqueData(), computeRanks(), consdataPrint(), correctLocksAndCaptures(), createCoveringProblem(), decompGetConsVarsAndLabels(), extractGates(), findAggregation(), getActiveVariables(), getLinearCoeffs(), mergeMultiples(), preprocessCliques(), preprocessConstraintPairs(), presolRoundIndicator(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantNonZeros(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRINT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_READERWRITE(), SCIP_DECL_SORTPTRCOMP(), SCIPcomputeDecompVarsLabels(), SCIPcreateConsOrbitope(), SCIPprobDelVar(), SCIPvarCompareActiveAndNegated(), SCIPwriteLp(), SCIPwriteMps(), separateIISRounding(), strengthenConss(), tcliquegraphConstructCliqueTable(), and varGetObjDelta().

gets the negation variable x of a negated variable x' = offset - x

Parameters

var negated problem variable

Definition at line 17912 of file var.c.

References SCIP_Var::negatedvar, NULL, SCIP_VARSTATUS_NEGATED, and SCIPvarGetStatus().

Referenced by addCliques(), applyFixings(), checkForOverlapping(), checkSolution(), cliqueCleanup(), cliquePresolve(), collectCliqueData(), createBlockproblem(), createCoveringProblem(), findAggregation(), getLinVarsAndAndRess(), liftCliqueVariables(), markNeighborsMWISHeuristic(), mergeMultiples(), preprocessCliques(), presolveAddKKTAggregatedVars(), printNLRow(), printRow(), removeConstraintsDueToNegCliques(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_READERWRITE(), SCIPaddPricedVar(), SCIPaddVar(), SCIPchgVarType(), SCIPgetBinaryVarIndicatorGeneric(), SCIPgetVarCopy(), SCIPmakeIndicatorFeasible(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolSetVal(), setObjective(), shortenConss(), tryUpgradingXor(), writeOpbConstraints(), writeOpbFixedVars(), writeOpbObjective(), and writeOpbRelevantAnds().

gets objective function value of variable

Parameters

Definition at line 17934 of file var.c.

References NULL, and SCIP_Var::obj.

Referenced by addBoundViolated(), addConflictBinvar(), addConflictBounds(), addConstraintToBendersSubproblem(), addObjcut(), addObjCutoff(), addScenarioVarsToProb(), addTrustRegionConstraints(), adjustCutoffbound(), applyAlternativeBoundsBranching(), applyCliqueFixings(), applyObbt(), applyOptcumulative(), applyOptcumulativeFixings(), applyRepair(), applyVboundsFixings(), BENDERS_CUTORACLE(), calcMaxObjPseudoactivity(), calcShiftVal(), catchObjEvent(), changeSubvariableObjective(), checkConsQuadraticProblem(), checkDivingCandidates(), checkEqualObjective(), checkExec(), checkParallelObjective(), checkSystemGF2(), chooseFracVar(), chooseGuidedVar(), chooseVeclenVar(), collectMinactImplicVar(), collectMinactImplicVars(), collectMinactVar(), compareVars(), compareVarsSignedPerm(), compensateVarLock(), componentSetupWorkingSol(), computeStandardLPOptimalityCut(), computeStandardNLPOptimalityCut(), consdataPrint(), createBlockproblem(), createCGCutDirect(), createNewSol(), createObjRow(), createSubproblem(), createSubproblems(), createSubSCIP(), dropObjEvent(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), evaluateValueCand(), findComponents(), findDominancePairs(), findDownlockAggregations(), findFixings(), findUnlockedLinearVar(), findUplockAggregations(), fixIntegerVariable(), fullDualPresolve(), generateAndApplyBendersCuts(), generateObjectiveRay(), getConflictImplics(), getMaxactImplicObjchg(), getMaxObjPseudoactivityResidual(), getMinactImplicObjchg(), getObjectiveFactor(), getPotential(), getScoreOfFarkasDiving(), getVariable(), getVarObjchg(), initSolve(), isSingleLockedCand(), isVlb(), isVub(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), nlpAddVars(), nlpDelVarPos(), nlpFlushObjective(), nlpFlushVarAdditions(), nlpSolve(), nlpUpdateObjCoef(), objimplicsCreate(), optimize(), performDualfix(), performRandRounding(), performSimpleRounding(), predBndStr(), presolStuffing(), propagateCons(), propagateCutoffbound(), propagateCutoffboundGlobally(), propagateLowerbound(), propagateLowerboundVar(), propdataInit(), propIndicator(), readObjective(), readOPBFile(), recomputeGlbPseudoObjectiveValue(), recomputeLooseObjectiveValue(), recomputePseudoObjectiveValue(), removeDoubleAndSingletonsAndPerformDualpresolve(), reoptSaveNewObj(), resolvePropagation(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SORTPTRCOMP(), SCIPaggrRowAddObjectiveFunction(), SCIPapplyHeurDualval(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPbendersMergeSubproblemIntoMaster(), SCIPchgReoptObjective(), SCIPchgVarObjProbing(), SCIPcolCreate(), SCIPconflictAnalyzePseudo(), SCIPcreateConsOrbitope(), SCIPcreateNlpiProblemFromNlRows(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchWithPropagation(), SCIPisObjIntegral(), SCIPlpEndDive(), SCIPlpGetModifiedProvedPseudoObjval(), SCIPlpGetModifiedPseudoObjval(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpStartDive(), SCIPlpUpdateAddVar(), SCIPlpUpdateDelVar(), SCIPlpUpdateVarLb(), SCIPlpUpdateVarLbGlobal(), SCIPlpUpdateVarUb(), SCIPlpUpdateVarUbGlobal(), SCIPnlpChgVarObjDive(), SCIPnlpGetPseudoObjval(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPprobAddVar(), SCIPprobCheckObjIntegral(), SCIPprobGetAbsMaxObjCoef(), SCIPprobGetAbsMinObjCoef(), SCIPprobGetNObjVars(), SCIPprobPerformVarDeletions(), SCIPprobScaleObj(), SCIPpropagateCutoffboundVar(), SCIPsolRetransform(), SCIPtreeBranchVar(), SCIPvarCopy(), SCIPvarGetAggregatedObj(), SCIPvarMarkRelaxationOnly(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), selectEssentialRounding(), selectRounding(), selectShifting(), setupAndSolveSubscip(), setupSubproblem(), setupSubScip(), singletonColumnStuffing(), solCutIsViolated(), solveAndEvalSubscip(), solveCoveringProblem(), solveCumulative(), solveIndependentCons(), tiebreakAggrCand(), transformColumn(), updateBestCandidate(), updateLambda(), updateVariableRounding(), varGetObjDelta(), varMayRoundDown(), varMayRoundUp(), writeExpandedSolutions(), writeFzn(), writeOpbConstraints(), and writeOpbObjective().

gets the unchanged objective function value of variable (ignoring temproray changes performed in probing mode)

gets the unchanged objective function value of a variable (ignoring temproray changes performed in probing mode)

Parameters

Definition at line 17944 of file var.c.

References NULL, and SCIP_Var::unchangedobj.

Referenced by computeStandardLPOptimalityCut(), computeStandardNLPOptimalityCut(), SCIPcolChgObj(), SCIPcolCreate(), SCIPsolAdjustImplicitSolVals(), SCIPsolCheck(), SCIPsolIncVal(), SCIPsolLinkLPSol(), SCIPsolLinkNLPSol(), SCIPsolPrint(), SCIPsolPrintRay(), SCIPsolRecomputeObj(), SCIPsolRetransform(), SCIPsolRound(), and SCIPsolSetVal().

gets original lower bound of original problem variable (i.e. the bound set in problem creation)

Parameters

var original problem variable

Definition at line 18032 of file var.c.

References SCIP_Negate::constant, SCIP_Var::data, SCIP_Dom::lb, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Original::origdom, SCIP_Var::original, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), SCIPvarIsOriginal(), and SCIP_Dom::ub.

Referenced by addCut(), addScenarioVarsToProb(), checkConsQuadraticProblem(), getScenarioDecompVar(), parseConstantArrayAssignment(), parseValue(), printBoundSection(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_HEUREXEC(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcreateFiniteSolCopy(), SCIPsolCheckOrig(), SCIPvarAddHoleOriginal(), SCIPvarChgUbOriginal(), SCIPvarCopy(), SCIPvarPrint(), SCIPwriteBnd(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), writeFzn(), writeOpbFixedVars(), and writeOpbRelevantAnds().

gets original upper bound of original problem variable (i.e. the bound set in problem creation)

Parameters

var original problem variable

Definition at line 18052 of file var.c.

References SCIP_Negate::constant, SCIP_Var::data, SCIP_Dom::lb, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Original::origdom, SCIP_Var::original, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), SCIPvarIsOriginal(), and SCIP_Dom::ub.

Referenced by addCut(), addScenarioVarsToProb(), checkConsQuadraticProblem(), getScenarioDecompVar(), parseConstantArrayAssignment(), parseValue(), printBoundSection(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSINITSOL(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcreateFiniteSolCopy(), SCIPsolCheckOrig(), SCIPvarAddHoleOriginal(), SCIPvarChgLbOriginal(), SCIPvarCopy(), SCIPvarPrint(), SCIPwriteBnd(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), writeFzn(), writeOpbFixedVars(), and writeOpbRelevantAnds().

gets global lower bound of variable

Parameters

Definition at line 18086 of file var.c.

References SCIP_Var::glbdom, SCIP_Dom::lb, and NULL.

Referenced by addAltLPColumn(), addCoef(), addComponent(), addConflictBinvar(), addConflictBounds(), addConflictFixedVars(), addConflictReasonVars(), addConstraintToBendersSubproblem(), addCut(), addFixedVarsConss(), addGlobalCut(), addLocalBranchingConstraint(), addLowerboundCons(), addRltTerm(), addSplitcons(), adjustCutoffbound(), adjustOversizedJobBounds(), aggregation(), alnsFixMoreVariables(), analyzeEnergyRequirement(), analyzeStrongbranch(), applyFixings(), applyGenVBound(), applyImplic(), applyRepair(), assignVars(), boundchgApplyGlobal(), buildMod2Matrix(), calcMaxObjPseudoactivity(), calcShiftVal(), calculateBounds(), cancelCol(), catchEventBinvar(), checkCounters(), checkGlbfirstnonfixed(), checkIISlocal(), checkImplic(), checkImplicsApplied(), checkOverloadViaThetaTree(), checkRedundancy(), checkRedundancySide(), checkSolution(), checkSystemGF2(), chgCoeffWithBound(), chgQuadCoeffWithBound(), cliqueCleanup(), cliquePresolve(), collectBinaryCliqueData(), collectMinactImplicVar(), collectMinactImplicVars(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), collectVars(), compareVars(), compareVarsSignedPerm(), compensateVarLock(), componentSetupWorkingSol(), computeCut(), computeEnergyContribution(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeMaxEnergy(), computeOffValues(), computeRanks(), computeRltCut(), computeStandardLPFeasibilityCut(), conflictAnalyze(), consdataCreate(), consdataCreateBinvars(), consdataCreateRedundant(), consdataDeletePos(), consdataFree(), consdataGetGlbActivityResiduals(), consdataGetReliableResidualActivity(), consdataLinearize(), consdataPrint(), consdataRecomputeGlbMaxactivity(), consdataRecomputeGlbMinactivity(), consdataUpdateAddCoef(), consdataUpdateDelCoef(), consdataUpdateSignatures(), constructSNFRelaxation(), convertLongEquality(), createAuxVar(), createBlockproblem(), createConflictCons(), createCoveringProblem(), createIndicatorConstraint(), createKKTComplementarityBounds(), createKKTDualCons(), createObjRow(), createProjRow(), createSolFromSubScipSol(), createSortedEventpoints(), createSubscip(), createSubSCIP(), createVarboundCons(), cutsRoundMIR(), cutsRoundStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_CHANGESUBSCIP(), detectHiddenProducts(), detectImplications(), detectImpliedBounds(), determineBestBounds(), determineBound(), determineVariableFixings(), dfs(), doSolveSubMIP(), dropEventBinvar(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), enfopsCons(), estimateBivariateQuotient(), estimateConvexSecant(), estimateGradient(), estimateUnivariateQuotient(), extractCliques(), extractLinearValues(), filterExistingLP(), findAggregation(), findBestLb(), findDominancePairs(), findDownlockAggregations(), findUncapacitatedArcs(), findUplockAggregations(), fixDiscreteVars(), fixIntegerVariableUb(), fixVariables(), focusnodeCleanupVars(), forbidFixation(), freeMemory(), fullDualPresolve(), generateAndApplyBendersIntegerCuts(), generateBoundInequalityFromSOS1Nodes(), generateRowCardinality(), generateRowSOS2(), generateZerohalfCut(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getClosestVub(), getCorner(), getDomainCenter(), getFixVal(), getGenVBoundsMinActivity(), getMaxactImplicObjchg(), getMaxActivity(), getMaxObjPseudoactivityResidual(), getMinactImplicObjchg(), getMinActivity(), getNewSidesAfterAggregation(), getObjectiveFactor(), getPotential(), getPotentialContributed(), getSolutionValues(), handleNewVariableCardinality(), handleNewVariableSOS1(), identifyOrbitalSymmetriesBroken(), implBndToBigM(), isBoundchgUseless(), isCandidate(), isSingleLockedCand(), isVlb(), isVub(), LNSFixMoreVariables(), lockVariableCardinality(), lockVariableSOS1(), lockVariableSOS2(), markRowsXj(), objimplicsCreate(), optimize(), performDualfix(), predBndStr(), preprocessConstraintPairs(), presolRoundIndicator(), presolRoundSOS2(), presolStuffing(), presolveAddKKTAggregatedVars(), presolveConsEffectiveHorizon(), presolveConsEst(), presolveConsLct(), presolveCumulativeCondition(), presolveSingleLockedVars(), proofsetCancelVarWithBound(), propagateBinaryBestRootRedcost(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLongProof(), propagateLowerbound(), propagateLowerboundVar(), propagateRootRedcostVar(), propagateVbounds(), propdataInit(), proposeFeasibleSolution(), readBinaries(), readBounds(), readGenerals(), readSemicontinuous(), readSol(), reboundIntegerVariables(), recomputeGlbPseudoObjectiveValue(), relaxVar(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedVariables(), removeIrrelevantJobs(), removeZeros(), removeZerosQuad(), resolveGenVBoundPropagation(), resolvePropagationCoretimes(), rowFindSlackVar(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), rowScale(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_SORTINDCOMP(), SCIPaddVarImplication(), SCIPaggrRowCancelVarWithBound(), SCIPaggrRowGetMinActivity(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPbendersComputeSubproblemLowerbound(), SCIPbranchGetBranchingPoint(), SCIPchgVarLbLazy(), SCIPclassifyConstraintTypesLinear(), SCIPcliqueDelVar(), SCIPcliquetableAdd(), SCIPcomputeVarLbGlobal(), SCIPconflictAddRelaxedBound(), SCIPconflictGetVarLb(), SCIPconsResolvePropagation(), SCIPcreateConsLinking(), SCIPcreateConsOrbitope(), SCIPcreateFiniteSolCopy(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPgetSymActiveVariables(), SCIPimplicsAdd(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpUpdateVarObj(), SCIPmatrixCreate(), SCIPmatrixPrintRow(), SCIPmergeRowprepTerms(), SCIPnodeAddBoundinfer(), SCIPpropResolvePropagation(), SCIPreoptSaveGlobalBounds(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPsolAdjustImplicitSolVals(), SCIPsolCheck(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolSetVal(), SCIPtightenVarLbGlobal(), SCIPtightenVarUbGlobal(), SCIPundoBdchgsProof(), SCIPvarAddHoleGlobal(), SCIPvarAddImplic(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarCopy(), SCIPvarGetMultaggrLbGlobal(), SCIPvarGetMultaggrUbGlobal(), SCIPvarGetNLPSol_rec(), SCIPvarGetRelaxSol(), SCIPvarPrint(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarUpdateBestRootSol(), SCIPvisualizeConsCumulative(), SCIPwriteBnd(), SCIPwriteLp(), selectShifting(), sepaImplBoundCutsSOS1(), separateCuts(), separatePerspective(), sepastoreApplyLb(), sepastoreApplyUb(), sepastoreIsBdchgApplicable(), setSymmetryData(), setupAggregationData(), setupAndSolveCumulativeSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipRapidlearning(), shiftValues(), simplifyInequalities(), singletonColumnStuffing(), skipRedundantBdchginfos(), solveAndEvalSubscip(), solveClassification(), solveComponent(), solveCumulative(), solveLp(), solveMinIISC(), solveSubNLP(), sortAndMergeClique(), termIsConstant(), tightenBounds(), tightenCoefs(), tightenDualproof(), tightenSingleVar(), tightenVariables(), tightenVarUb(), transformDualredsToBounddisjunction(), transformNonIntegralRow(), treeAddPendingBdchg(), tryAdd2variableBuffer(), tryAddGadgetBilinearProductSignedPerm(), tryAddGadgetSquaredDifference(), tryFixVar(), tryUpgradingXor(), unlockVariableCardinality(), unlockVariableSOS1(), unlockVariableSOS2(), updateAuxiliaryVarLowerbound(), updateFirstRow(), updateFirstRowGlobal(), updateSlacks(), updateSubproblemCutConstant(), varAddImplic(), varAddVbound(), varIncRootboundchgs(), varIsCenteredAt0(), varIsFixed(), varIsSemicontinuous(), and varProcessAddHoleGlobal().

gets global upper bound of variable

Parameters

Definition at line 18096 of file var.c.

References SCIP_Var::glbdom, NULL, and SCIP_Dom::ub.

Referenced by addAltLPColumn(), addCoef(), addComponent(), addConflictBinvar(), addConflictBounds(), addConflictFixedVars(), addConflictReasonVars(), addConstraintToBendersSubproblem(), addCut(), addFixedVarsConss(), addGlobalCut(), addLocalBranchingConstraint(), addRltTerm(), addSplitcons(), adjustCutoffbound(), adjustOversizedJobBounds(), aggregation(), alnsFixMoreVariables(), analyzeEnergyRequirement(), analyzeStrongbranch(), applyFixings(), applyGenVBound(), applyImplic(), applyRepair(), applyZeroFixings(), assignVars(), boundchgApplyGlobal(), buildMod2Matrix(), calcMaxObjPseudoactivity(), calcShiftVal(), calculateBounds(), cancelCol(), catchEventBinvar(), checkCounters(), checkGlbfirstnonfixed(), checkIISlocal(), checkImplic(), checkOverloadViaThetaTree(), checkRedundancy(), checkRedundancySide(), checkSolution(), checkSystemGF2(), chgCoeffWithBound(), chgQuadCoeffWithBound(), cliqueCleanup(), cliquePresolve(), collectActivities(), collectBinaryCliqueData(), collectBinaryVars(), collectDemands(), collectEstLst(), collectMinactImplicVar(), collectMinactImplicVars(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), collectVars(), compareVars(), compareVarsSignedPerm(), compensateVarLock(), componentSetupWorkingSol(), computeCut(), computeEnergyContribution(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeMaxEnergy(), computeOffValues(), computeRanks(), computeRltCut(), computeStandardLPFeasibilityCut(), conflictAnalyze(), consdataCreate(), consdataCreateBinvars(), consdataCreateRedundant(), consdataDeletePos(), consdataGetGlbActivityResiduals(), consdataGetReliableResidualActivity(), consdataLinearize(), consdataPrint(), consdataRecomputeGlbMaxactivity(), consdataRecomputeGlbMinactivity(), consdataUpdateAddCoef(), consdataUpdateDelCoef(), consdataUpdateSignatures(), constructSNFRelaxation(), convertLongEquality(), createAuxVar(), createBlockproblem(), createCoveringProblem(), createIndicatorConstraint(), createKKTComplementarityBounds(), createKKTDualCons(), createProjRow(), createSortedEventpoints(), createSubscip(), createSubSCIP(), createVarboundCons(), createVarUbs(), cutsRoundMIR(), cutsRoundStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_CHANGESUBSCIP(), detectHiddenProducts(), detectImplications(), detectImpliedBounds(), determineBestBounds(), determineBound(), determineVariableFixings(), dfs(), doSolveSubMIP(), dropEventBinvar(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), enfopsCons(), estimateBivariateQuotient(), estimateConvexSecant(), estimateGradient(), estimateUnivariateQuotient(), extractCliques(), extractLinearValues(), filterExistingLP(), findAggregation(), findBestUb(), findDominancePairs(), findDownlockAggregations(), findFixings(), findUncapacitatedArcs(), findUplockAggregations(), fixDiscreteVars(), fixIntegerVariableUb(), fixTriangle(), fixVariables(), focusnodeCleanupVars(), forbidFixation(), freeMemory(), fullDualPresolve(), generateBoundInequalityFromSOS1Nodes(), generateRowCardinality(), generateRowSOS2(), generateZerohalfCut(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getClosestVlb(), getCorner(), getDomainCenter(), getFixVal(), getGenVBoundsMinActivity(), getMaxactImplicObjchg(), getMaxActivity(), getMaxObjPseudoactivityResidual(), getMinactImplicObjchg(), getMinActivity(), getNewSidesAfterAggregation(), getObjectiveFactor(), getPotential(), getPotentialContributed(), getSolutionValues(), handleNewVariableCardinality(), handleNewVariableSOS1(), identifyOrbitalSymmetriesBroken(), implBndToBigM(), isBoundchgUseless(), isCandidate(), isSingleLockedCand(), LNSFixMoreVariables(), lockVariableCardinality(), lockVariableSOS1(), lockVariableSOS2(), markRowsXj(), objimplicsCreate(), optimize(), performDualfix(), predBndStr(), preprocessConstraintPairs(), presolRoundIndicator(), presolRoundSOS2(), presolStuffing(), presolveAddKKTAggregatedVars(), presolveConsEffectiveHorizon(), presolveConsEst(), presolveConsLct(), presolveCumulativeCondition(), presolveSingleLockedVars(), printIndicatorCons(), proofsetCancelVarWithBound(), propagateBinaryBestRootRedcost(), propagateCons(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLongProof(), propagateLowerbound(), propagateLowerboundVar(), propagateRootRedcostVar(), propagateVbounds(), propdataInit(), proposeFeasibleSolution(), readBinaries(), readBounds(), readGenerals(), readSol(), reboundIntegerVariables(), recomputeGlbPseudoObjectiveValue(), relaxVar(), removeFixedVariables(), removeIrrelevantJobs(), removeZeros(), removeZerosQuad(), resolveGenVBoundPropagation(), resolvePropagationCoretimes(), rowFindSlackVar(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), rowScale(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_SORTINDCOMP(), SCIPaddVarImplication(), SCIPaggrRowCancelVarWithBound(), SCIPaggrRowGetMinActivity(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPbranchGetBranchingPoint(), SCIPchgVarUbLazy(), SCIPclassifyConstraintTypesLinear(), SCIPcliqueDelVar(), SCIPcliquetableAdd(), SCIPcomputeVarUbGlobal(), SCIPconflictAddRelaxedBound(), SCIPconflictGetVarUb(), SCIPconsResolvePropagation(), SCIPcreateConsLinking(), SCIPcreateConsOrbitope(), SCIPcreateFiniteSolCopy(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPgetSymActiveVariables(), SCIPimplicsAdd(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpUpdateVarObj(), SCIPmatrixCreate(), SCIPmatrixPrintRow(), SCIPmergeRowprepTerms(), SCIPnodeAddBoundinfer(), SCIPpropResolvePropagation(), SCIPreoptSaveGlobalBounds(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPsolAdjustImplicitSolVals(), SCIPsolCheck(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPtightenVarLbGlobal(), SCIPtightenVarUbGlobal(), SCIPundoBdchgsProof(), SCIPvarAddHoleGlobal(), SCIPvarAddImplic(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarCopy(), SCIPvarGetMultaggrLbGlobal(), SCIPvarGetMultaggrUbGlobal(), SCIPvarGetNLPSol_rec(), SCIPvarGetProbvarBinary(), SCIPvarGetRelaxSol(), SCIPvarPrint(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarUpdateBestRootSol(), SCIPvisualizeConsCumulative(), SCIPwriteBnd(), SCIPwriteLp(), selectShifting(), sepaImplBoundCutsSOS1(), separateCuts(), separateIndicators(), separatePerspective(), sepastoreApplyLb(), sepastoreApplyUb(), sepastoreIsBdchgApplicable(), setSymmetryData(), setupAggregationData(), setupAndSolveCumulativeSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipRapidlearning(), shiftValues(), simplifyInequalities(), singletonColumnStuffing(), skipRedundantBdchginfos(), solveAndEvalSubscip(), solveClassification(), solveCumulative(), solveLp(), solveMinIISC(), solveSubNLP(), sortAndMergeClique(), termIsConstant(), tightenBounds(), tightenCoefs(), tightenDualproof(), tightenSingleVar(), tightenVariables(), tightenVarLb(), transformDualredsToBounddisjunction(), transformNonIntegralRow(), treeAddPendingBdchg(), tryAdd2variableBuffer(), tryAddGadgetBilinearProductSignedPerm(), tryAddGadgetSquaredDifference(), tryFixVar(), tryUpgradingXor(), unlockVariableCardinality(), unlockVariableSOS1(), unlockVariableSOS2(), updateDistances(), updateFirstRow(), updateFirstRowGlobal(), updateSlacks(), varAddImplic(), varAddVbound(), varIncRootboundchgs(), varIsCenteredAt0(), varIsFixed(), varIsSemicontinuous(), and varProcessAddHoleGlobal().

gets current lower bound of variable

Parameters

Definition at line 18142 of file var.c.

References SCIP_Dom::lb, SCIP_Var::locdom, and NULL.

Referenced by addBilinearTermToCut(), addBoundViolated(), addBranchingComplementaritiesSOS1(), addCand(), addCliqueDataEntry(), addColToCut(), addConflictReasonVars(), addExprsViolScore(), addFacetToCut(), addFixedVarsConss(), addLinearTermToCut(), addRelaxation(), addRltTerm(), addSplitcons(), addSSTConssOrbitAndUpdateSST(), analyseInfeasibelCoreInsertion(), analyseOnoffBounds(), analyseVarOnoffBounds(), analyzeConflictOne(), analyzeConflictUpperbound(), analyzeConflictZero(), analyzeEnergyRequirement(), analyzeGenVBoundConflict(), analyzeViolation(), analyzeZeroResultant(), applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), applyBdchgs(), applyBinaryConstraints(), applyBoundChgs(), applyBoundHeur(), applyCliqueFixings(), applyDomainReductions(), applyGenVBound(), applyNlobbt(), applyObbt(), applyOptcumulative(), applyOptcumulativeFixings(), applyOrbitalBranchingPropagations(), applyOrbitalReductionPart(), applyProbing(), applyProbingVar(), applyVboundsFixings(), areBoundsChanged(), assertIsOrbitopeMatrix(), bilinboundGetScore(), branch(), branchBalancedCardinality(), branchcandCalcLPCands(), branching(), branchOnVar(), branchruledataUpdateCurrentBounds(), branchUnbalancedCardinality(), buildMod2Matrix(), calcBranchScore(), calculateAlternatives(), catchEvent(), catchEventBinvar(), changeAncestorBranchings(), checkBounddisjunction(), checkCounters(), checkExec(), checkFeasible(), checkForOverlapping(), checkIISlocal(), checkImplicsApplied(), checkKnapsack(), checkLogicor(), checkOverloadViaThetaTree(), checkRikun(), checkSetupTolerances(), checkSignomialBounds(), checkSolution(), checkSwitchNonoverlappingSOS1Methods(), checkVarbound(), checkVariable(), chgCoeffWithBound(), chgProbingBound(), chgQuadCoeffWithBound(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), collectActivities(), collectBranchingCandidates(), collectBranchingCands(), collectCliqueData(), collectDataTTEF(), collectEstLst(), collectIntVars(), collectSolActivities(), collectSolution(), componentSetupWorkingSol(), computeAlternativeBounds(), computeConvexEnvelopeFacet(), computeCut(), computeEnergyContribution(), computeImpliedEst(), computeImpliedLct(), computeMinDistance(), computeRltCut(), computeStandardLPOptimalityCut(), conflictAnalyzeLP(), consCheckRedundancy(), consdataComputePseudoActivity(), consdataCreate(), consdataCreateRedundant(), consdataGetActivityResiduals(), consdataGetReliableResidualActivity(), consdataPrint(), consdataRecomputeMaxactivity(), consdataRecomputeMaxActivityDelta(), consdataRecomputeMinactivity(), consdataTightenCoefs(), consdataUpdateAddCoef(), consdataUpdateDelCoef(), consFixLinkvar(), constraintNonOverlappingGraph(), coretimesUpdateLb(), coretimesUpdateUb(), countSparseSol(), createCoreProfile(), createCoverCuts(), createCoverCutsTimepoint(), createCoveringProblem(), createGenVBound(), createNewSol(), createProjRow(), createSelectedSortedEventpointsSol(), createSolFromNLP(), createSolFromSubScipSol(), createSortedEventpoints(), createSubscip(), CUTOFF_CONSTRAINT(), cutsRoundMIR(), cutsRoundStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), deleteCliqueDataEntry(), deleteVarCardinality(), determineBestBounds(), domainReductionsCreate(), doSeachEcAggr(), doSolveSubMIP(), dropEvent(), dropEventBinvar(), dryBranch(), dualBoundStrengthening(), enforceCardinality(), enforceConflictgraph(), enforceConstraint(), enforceConstraints(), enforceIndicators(), enforceSol(), estimateBivariateQuotient(), estimateVertexPolyhedral(), evalBound(), evalCorner(), execRelpscost(), executeBranching(), executeBranchingRecursive(), extractCycle(), extractGates(), filterCands(), filterExistingLP(), filterRound(), findBestLb(), findComponents(), findNewBounds(), fixAndPropagate(), fixBounds(), fixIntegerVariable(), fixIntegerVariableLb(), fixInterdiction(), fixVariable(), fixVariableZero(), fixVariableZeroNode(), forbidCover(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), generateBoundInequalityFromSOS1Nodes(), generateCloseCutPoint(), generateRowCardinality(), generateRowSOS2(), generateZerohalfCut(), getBoundConsFromVertices(), getCliqueUnfixedVars(), getClosestVub(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getFilterCoef(), getFixingValue(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getImplVarRedcost(), getIneqViol(), getMaxactImplicObjchg(), getNLPFracVars(), getRandomVariable(), getRelDistance(), getValueScore(), getVarBounds(), getViolSplitWeight(), handle1Cycle(), handleNewVariableCardinality(), handleNewVariableSOS1(), handleNewVariableSOS2(), hasUnfixedSCIndicator(), heurdataUpdateCurrentBounds(), heurExec(), impliesVlbPrecedenceCondition(), improvePoint(), inferboundsEdgeFinding(), inferVariableZero(), initConflictgraph(), initializeSol(), initLP(), initProblem(), initSepa(), isBinaryProduct(), isNonstandardPerm(), isPossibleToComputeCut(), isPseudocostUpdateValid(), isViolatedAndNotFixed(), isViolatedSOS1(), liftCliqueVariables(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), markRowsXj(), nlpCalcFracVars(), nlpFlushVarAdditions(), nlpSolve(), nlpUpdateVarBounds(), nlrowCalcActivityBounds(), nodeGetSolvalBinaryBigMSOS1(), nodeGetSolvalVarboundLbSOS1(), normalizeWeights(), notifyNlhdlrNewsol(), orbitalReductionGetSymmetryStabilizerSubgroup(), performBranchingNoSol(), performBranchingSol(), performDualfix(), performFixing(), performRandRounding(), performStrongbranchSOS1(), performStrongbranchWithPropagation(), preprocessCliques(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolRoundVarsSOS1(), presolveConsEst(), presolvePropagateCons(), presolveRedundantConss(), printBoundSection(), processBinvarFixings(), processFixings(), processRealBoundChg(), processWatchedVars(), projectVbd(), propagateCons(), propagateCutoffboundBinvars(), propagateCutoffboundVar(), propagateFullOrbitopeCons(), propagateLbTTEF(), propagatePackingPartitioningCons(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateStaticOrbitope(), propagateTimetable(), propagateTTEF(), propagateUbTTEF(), propagateVariablePair(), propagateVbounds(), propCardinality(), propConsSOS1(), propIndicator(), propSOS2(), propVariableNonzero(), propVariables(), rangedRowPropagation(), recomputeLooseObjectiveValue(), recomputePseudoObjectiveValue(), registerBranchingCandidates(), registerBranchingCandidatesAllUnfixed(), removeZeros(), removeZerosQuad(), reoptCheckLocalRestart(), reoptSimilarity(), resolveGenVBoundPropagation(), retransformVariable(), rowCalculateGauss(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), rowprepRecordModifiedVar(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPR_OWNERPRINT(), SCIP_DECL_EXPRINTEVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddConflictBinvar(), SCIPaggrRowCancelVarWithBound(), SCIPanalyzeDeductionsProbing(), SCIPapplyLockFixings(), SCIPapplyProbingVar(), SCIPbendersSetupSubproblem(), SCIPbranchcandAddExternCand(), SCIPbranchcandGetPseudoCands(), SCIPbranchcandUpdateVar(), SCIPbranchExecExtern(), SCIPbranchExecLP(), SCIPbranchExecPseudo(), SCIPbranchGetBranchingPoint(), SCIPbranchVar(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarLbNode(), SCIPchgVarLbProbing(), SCIPcolCreate(), SCIPcomputeVarLbLocal(), SCIPconflictAnalyzePseudo(), SCIPconflictAnalyzeRemainingBdchgs(), SCIPconflictAnalyzeStrongbranch(), SCIPcreateNlpiProblemFromNlRows(), SCIPcreateWorstCaseProfile(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPexprDismantle(), SCIPfixVar(), SCIPfixVarProbing(), SCIPgetVarLbAtIndex(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchWithPropagation(), SCIPgetVarWasFixedAtIndex(), SCIPinferBinvarCons(), SCIPinferBinvarProp(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPlpEndDive(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpStartDive(), SCIPlpUpdateVarObj(), SCIPlpUpdateVarUb(), SCIPmakeIndicatorFeasible(), SCIPmergeRowprepTerms(), SCIPnlpEndDive(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPnodePropagateImplics(), SCIPperformGenericDivingAlgorithm(), SCIPpricestoreAddBdviolvar(), SCIPpricestoreAddProbVars(), SCIPpricestoreAddVar(), SCIPpricestoreResetBounds(), SCIPprobUpdateBestRootSol(), SCIPreoptnodeAddCons(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsetBinaryVarIndicator(), SCIPsnprintfProbingStats(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPupdateNlpiProblem(), SCIPupgradeConsLinear(), SCIPvarAddHoleLocal(), SCIPvarChgLbGlobal(), SCIPvarChgUbGlobal(), SCIPvarCopy(), SCIPvarGetImplRedcost(), SCIPvarGetLbAtIndex(), SCIPvarGetMultaggrLbLocal(), SCIPvarGetMultaggrUbLocal(), SCIPvarGetNLPSol_rec(), SCIPvarGetRelaxSol(), SCIPvarPrint(), SCIPvarWasFixedAtIndex(), SCIPvisualCutoffNode(), SCIPvisualNewChild(), SCIPvisualSolvedNode(), SCIPvisualUpdateChild(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), scoreBranchingCandidates(), selectBranchVar(), selectNextDiving(), selectVarRecursive(), selectVarStart(), separateCons(), separateCuts(), separateMcCormickImplicit(), separatePerspective(), sepastoreApplyLb(), sepastoreApplyUb(), sepastoreIsBdchgApplicable(), setupAggregationData(), setupAndSolveFiniteSolSubscip(), setVarToNearestBound(), solveAndEvalSubscip(), solveCumulative(), solveIndependentCons(), solveNLP(), solveNlp(), solveNode(), solveSubproblem(), sparsifyIntercut(), startProbing(), TCLIQUE_NEWSOL(), termIsConstant(), testColumnsAreSymmetricallyEquivalent(), tightenAuxVarBounds(), tightenBoundProbing(), tightenBounds(), tightenCoefs(), tightenedLinkvar(), tightenOnBounds(), tightenSingleVar(), tightenUbTTEF(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVariables(), tightenVarLb(), tightenVarsBoundsSOS1(), tightenVarUb(), transformNonIntegralRow(), transformVariable(), translateSubSol(), treeApplyPendingBdchgs(), tryOneOpt(), trySolCandidate(), updateBestCandidate(), updateBilinearRelaxation(), updateColumnOrderWhenBranchingOnColumn(), updateFirstRow(), updateImplicationGraphSOS1(), updatePseudocost(), updateVariableRounding(), updateWeightsTCliquegraph(), updateWeightSums(), useBilinIneqs(), varIsFixed(), varIsFixedLocal(), varIsUnfixedLocal(), varProcessAddHoleLocal(), varProcessBoundChanges(), writeFzn(), writeOpbFixedVars(), and writeOpbRelevantAnds().

gets current upper bound of variable

Parameters

Definition at line 18152 of file var.c.

References SCIP_Var::locdom, NULL, and SCIP_Dom::ub.

Referenced by addBilinearTermToCut(), addBoundViolated(), addBranchingComplementaritiesSOS1(), addCand(), addCliqueDataEntry(), addColToCut(), addConflictReasonVars(), addExprsViolScore(), addFacetToCut(), addFixedVarsConss(), addLinearTermToCut(), addRelaxation(), addRltTerm(), addSplitcons(), addSSTConssOrbitAndUpdateSST(), analyseInfeasibelCoreInsertion(), analyseOnoffBounds(), analyseVarOnoffBounds(), analyzeConflictLowerbound(), analyzeConflictOne(), analyzeConflictZero(), analyzeEnergyRequirement(), analyzeGenVBoundConflict(), analyzeViolation(), analyzeZeroResultant(), applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), applyBdchgs(), applyBoundChgs(), applyBoundHeur(), applyCliqueFixings(), applyDomainReductions(), applyGenVBound(), applyNlobbt(), applyObbt(), applyOptcumulative(), applyOptcumulativeFixings(), applyOrbitalBranchingPropagations(), applyOrbitalReductionPart(), applyProbing(), applyProbingVar(), applyVboundsFixings(), areBoundsChanged(), assertIsOrbitopeMatrix(), bilinboundGetScore(), branch(), branchBalancedCardinality(), branchcandCalcLPCands(), branching(), branchOnVar(), branchruledataUpdateCurrentBounds(), branchUnbalancedCardinality(), buildMod2Matrix(), calcBranchScore(), calculateAlternatives(), catchEvent(), catchEventBinvar(), changeAncestorBranchings(), checkBounddisjunction(), checkCounters(), checkExec(), checkFeasible(), checkForOverlapping(), checkIISlocal(), checkImplicsApplied(), checkKnapsack(), checkOverloadViaThetaTree(), checkRikun(), checkSetupTolerances(), checkSignomialBounds(), checkSolution(), checkSwitchNonoverlappingSOS1Methods(), checkVarbound(), checkVariable(), chgCoeffWithBound(), chgProbingBound(), chgQuadCoeffWithBound(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), collectActivities(), collectBranchingCandidates(), collectBranchingCands(), collectCliqueData(), collectDataTTEF(), collectIntVars(), collectSolActivities(), collectSolution(), COLORprobPrintStableSet(), COLORprobPrintStableSets(), componentSetupWorkingSol(), computeAlternativeBounds(), computeConvexEnvelopeFacet(), computeCut(), computeEnergyContribution(), computeImpliedEst(), computeImpliedLct(), computeMinDistance(), computeRltCut(), computeStandardLPOptimalityCut(), conflictAnalyzeLP(), consCheckRedundancy(), consdataCheck(), consdataComputePseudoActivity(), consdataCreate(), consdataCreateRedundant(), consdataGetActivityResiduals(), consdataGetReliableResidualActivity(), consdataPrint(), consdataRecomputeMaxactivity(), consdataRecomputeMaxActivityDelta(), consdataRecomputeMinactivity(), consdataTightenCoefs(), consdataUpdateAddCoef(), consdataUpdateDelCoef(), consFixLinkvar(), constraintNonOverlappingGraph(), coretimesUpdateLb(), coretimesUpdateUb(), countSparseSol(), createCoreProfile(), createCoverCuts(), createCoverCutsTimepoint(), createCoveringProblem(), createGenVBound(), createNewSol(), createProjRow(), createSelectedSortedEventpointsSol(), createSolFromNLP(), createSolFromSubScipSol(), createSortedEventpoints(), createSubscip(), CUTOFF_CONSTRAINT(), cutsRoundMIR(), cutsRoundStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), deleteCliqueDataEntry(), determineBestBounds(), domainReductionsCreate(), doSeachEcAggr(), doSolveSubMIP(), dropEvent(), dropEventBinvar(), dryBranch(), dualBoundStrengthening(), enforceCardinality(), enforceConflictgraph(), enforceConstraints(), enforceIndicators(), enforceSol(), estimateBivariateQuotient(), estimateVertexPolyhedral(), evalBound(), evalCorner(), execRelpscost(), executeBranching(), executeBranchingRecursive(), extractCycle(), extractGates(), filterCands(), filterExistingLP(), filterRound(), findBestUb(), findComponents(), findNewBounds(), fixAndPropagate(), fixBounds(), fixIntegerVariable(), fixIntegerVariableUb(), fixInterdiction(), fixVariable(), fixVariableZero(), fixVariableZeroNode(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), generateBoundInequalityFromSOS1Nodes(), generateCloseCutPoint(), generateRowSOS2(), generateZerohalfCut(), getBoundConsFromVertices(), getCliqueUnfixedVars(), getClosestVlb(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getFilterCoef(), getFixingValue(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getImplVarRedcost(), getIneqViol(), getMaxactImplicObjchg(), getNLPFracVars(), getRandomVariable(), getRelDistance(), getScore(), getValueScore(), getVarBounds(), getViolSplitWeight(), handle1Cycle(), handleNewVariableSOS1(), handleNewVariableSOS2(), hasUnfixedSCIndicator(), ObjPricerVRP::have_edge(), heurdataUpdateCurrentBounds(), heurExec(), impliesVlbPrecedenceCondition(), improvePoint(), indicatorVarIsInteresting(), inferboundsEdgeFinding(), inferVariableZero(), initConflictgraph(), initLP(), initProblem(), initSepa(), isBinaryProduct(), isNonstandardPerm(), isPossibleToComputeCut(), isPseudocostUpdateValid(), isViolatedAndNotFixed(), isViolatedSOS1(), liftCliqueVariables(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), markRowsXj(), nlpCalcFracVars(), nlpFlushVarAdditions(), nlpSolve(), nlpUpdateVarBounds(), nlrowCalcActivityBounds(), nodeGetSolvalBinaryBigMSOS1(), nodeGetSolvalVarboundUbSOS1(), normalizeWeights(), notifyNlhdlrNewsol(), orbitalReductionGetSymmetryStabilizerSubgroup(), performBranchingNoSol(), performBranchingSol(), performDualfix(), performFixing(), performRandRounding(), performStrongbranchSOS1(), performStrongbranchWithPropagation(), preprocessCliques(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolRoundVarsSOS1(), presolveConsLct(), presolvePropagateCons(), presolveRedundantConss(), printBoundSection(), processBinvarFixings(), processFixings(), processRealBoundChg(), processWatchedVars(), projectVbd(), propagateCons(), propagateCutoffboundBinvars(), propagateCutoffboundVar(), propagateFullOrbitopeCons(), propagateLbTTEF(), propagatePackingPartitioningCons(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateStaticOrbitope(), propagateTimetable(), propagateTTEF(), propagateUbTTEF(), propagateVariablePair(), propagateVbounds(), propCardinality(), propConsSOS1(), propIndicator(), propSOS2(), propVariableNonzero(), propVariables(), rangedRowPropagation(), recomputeLooseObjectiveValue(), recomputePseudoObjectiveValue(), registerBranchingCandidates(), registerBranchingCandidatesAllUnfixed(), removeFixedBinvars(), removeZeros(), removeZerosQuad(), reoptCheckLocalRestart(), reoptSimilarity(), resolveGenVBoundPropagation(), retransformVariable(), rowCalculateGauss(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), rowprepRecordModifiedVar(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPR_OWNERPRINT(), SCIP_DECL_EXPRINTEVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERFARKAS(), SCIP_DECL_PROPEXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddConflictBinvar(), SCIPaggrRowCancelVarWithBound(), SCIPanalyzeDeductionsProbing(), SCIPapplyLockFixings(), SCIPapplyProbingVar(), SCIPbendersSetupSubproblem(), SCIPbranchcandAddExternCand(), SCIPbranchcandGetPseudoCands(), SCIPbranchcandUpdateVar(), SCIPbranchExecExtern(), SCIPbranchExecLP(), SCIPbranchExecPseudo(), SCIPbranchGetBranchingPoint(), SCIPbranchVar(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPchgVarUbNode(), SCIPchgVarUbProbing(), SCIPcolCreate(), SCIPcomputeVarUbLocal(), SCIPconflictAnalyzePseudo(), SCIPconflictAnalyzeRemainingBdchgs(), SCIPconflictAnalyzeStrongbranch(), SCIPcreateNlpiProblemFromNlRows(), SCIPcreateWorstCaseProfile(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPexprDismantle(), SCIPfixVar(), SCIPfixVarProbing(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchWithPropagation(), SCIPgetVarUbAtIndex(), SCIPgetVarWasFixedAtIndex(), SCIPinferBinvarCons(), SCIPinferBinvarProp(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPlpEndDive(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpStartDive(), SCIPlpUpdateVarLb(), SCIPlpUpdateVarObj(), SCIPmergeRowprepTerms(), SCIPnlpEndDive(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPnodePropagateImplics(), SCIPperformGenericDivingAlgorithm(), SCIPpricestoreAddBdviolvar(), SCIPpricestoreAddProbVars(), SCIPpricestoreAddVar(), SCIPpricestoreResetBounds(), SCIPprobUpdateBestRootSol(), SCIPreoptnodeAddCons(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsnprintfProbingStats(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPupdateNlpiProblem(), SCIPupgradeConsLinear(), SCIPvarAddHoleLocal(), SCIPvarChgLbGlobal(), SCIPvarChgUbGlobal(), SCIPvarCopy(), SCIPvarGetImplRedcost(), SCIPvarGetMultaggrLbLocal(), SCIPvarGetMultaggrUbLocal(), SCIPvarGetNLPSol_rec(), SCIPvarGetRelaxSol(), SCIPvarGetUbAtIndex(), SCIPvarPrint(), SCIPvarWasFixedAtIndex(), SCIPvisualCutoffNode(), SCIPvisualNewChild(), SCIPvisualSolvedNode(), SCIPvisualUpdateChild(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), scoreBranchingCandidates(), selectBranchVar(), selectNextDiving(), selectVarRecursive(), selectVarStart(), separateCons(), separateCuts(), separateIndicators(), separateMcCormickImplicit(), separatePerspective(), sepastoreApplyLb(), sepastoreApplyUb(), sepastoreIsBdchgApplicable(), setupAggregationData(), setupAndSolveFiniteSolSubscip(), setVarToNearestBound(), solveAndEvalSubscip(), solveCumulative(), solveIndependentCons(), solveNLP(), solveNlp(), solveNode(), solveSubproblem(), sparsifyIntercut(), startProbing(), TCLIQUE_NEWSOL(), termIsConstant(), testColumnsAreSymmetricallyEquivalent(), tightenAuxVarBounds(), tightenBoundProbing(), tightenBounds(), tightenCoefs(), tightenedLinkvar(), tightenLbTTEF(), tightenOnBounds(), tightenSingleVar(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVariables(), tightenVarLb(), tightenVarsBoundsSOS1(), tightenVarUb(), transformNonIntegralRow(), transformVariable(), translateSubSol(), treeApplyPendingBdchgs(), tryOneOpt(), trySolCandidate(), updateBestCandidate(), updateBilinearRelaxation(), updateColumnOrderWhenBranchingOnColumn(), updateFirstRow(), updateImplicationGraphSOS1(), updatePseudocost(), updateVariableRounding(), updateWeightsTCliquegraph(), useBilinIneqs(), varIsFixed(), varIsFixedLocal(), varIsUnfixedLocal(), varProcessAddHoleLocal(), varProcessBoundChanges(), writeFzn(), writeOpbFixedVars(), and writeOpbRelevantAnds().

gets best local bound of variable with respect to the objective function

Parameters

Definition at line 18172 of file var.c.

References SCIP_Dom::lb, SCIP_Var::locdom, NULL, SCIP_Var::obj, and SCIP_Dom::ub.

Referenced by addBoundViolated(), nlpAddVars(), SCIPnlpGetPseudoObjval(), SCIPnlrowRecalcPseudoActivity(), SCIPvarGetLPSol_rec(), SCIPvarGetPseudoSol(), and SCIPvarGetPseudoSol_rec().

gets type (lower or upper) of best bound of variable with respect to the objective function

Parameters

Definition at line 18198 of file var.c.

References NULL, SCIP_Var::obj, SCIP_BOUNDTYPE_LOWER, and SCIP_BOUNDTYPE_UPPER.

Referenced by adjustCutoffbound(), collectMinactImplicVars(), collectMinactObjchg(), collectMinactVar(), consdataComputePseudoActivity(), getMinactObjchg(), objimplicsCreate(), SCIP_DECL_NLHDLRINITSEPA(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchWithPropagation(), SCIPlpGetModifiedProvedPseudoObjval(), and SCIPlpGetModifiedPseudoObjval().

gets the branch factor of the variable; this value can be used in the branching methods to scale the score values of the variables; higher factor leads to a higher probability that this variable is chosen for branching

Parameters

Definition at line 18246 of file var.c.

References SCIP_Var::branchfactor, and NULL.

Referenced by SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIPaddVarBranchFactor(), SCIPbranchExecExtern(), SCIPbranchExecLP(), SCIPbranchExecPseudo(), SCIPbranchGetScore(), SCIPprintBranchingStatistics(), SCIPscaleVarBranchFactor(), and updateBestCandidate().

gets the branch priority of the variable; variables with higher priority should always be preferred to variables with lower priority

Parameters

Definition at line 18258 of file var.c.

References SCIP_Var::branchpriority, and NULL.

Referenced by branchcandCalcLPCands(), branchcandInsertPseudoCand(), branchcandRemovePseudoCand(), branchcandSortPseudoCands(), nlpCalcFracVars(), performBranchingNoSol(), performBranchingSol(), SCIP_DECL_DIALOGEXEC(), SCIPaddVarBranchPriority(), SCIPbranchcandAddExternCand(), SCIPbranchcandContainsExternCand(), SCIPbranchcandUpdateVarBranchPriority(), SCIPbranchExecExtern(), SCIPbranchExecLP(), SCIPbranchExecPseudo(), SCIPprintBranchingStatistics(), SCIPtransformMinUC(), SCIPtreeBranchVar(), SCIPupdateVarBranchPriority(), and selectBestCands().

gets number of variable lower bounds x >= b_i*z_i + d_i of given variable x

Parameters

Definition at line 18278 of file var.c.

References NULL, SCIPvboundsGetNVbds(), and SCIP_Var::vlbs.

Referenced by collectNonBinaryVBoundData(), computeImpliedEst(), constructSNFRelaxation(), cutsRoundMIR(), detectHiddenProducts(), detectImpliedBounds(), determineBestBounds(), dfs(), getClosestVlb(), initData(), performBoundSubstitution(), projectVbd(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVlb(), SCIPvisualizeConsCumulative(), separateCuts(), strengthenVarbounds(), and varIsSemicontinuous().

gets array with bounding variables z_i in variable lower bounds x >= b_i*z_i + d_i of given variable x; the variable bounds are sorted by increasing variable index of the bounding variable z_i (see SCIPvarGetIndex())

Parameters

Definition at line 18290 of file var.c.

References NULL, SCIPvboundsGetVars(), and SCIP_Var::vlbs.

Referenced by collectNonBinaryVBoundData(), computeImpliedEst(), constructSNFRelaxation(), cutsRoundMIR(), detectHiddenProducts(), determineBestBounds(), determineBoundForSNF(), dfs(), findBestLb(), getClosestVlb(), initData(), performBoundSubstitution(), projectVbd(), SCIPcutGenerationHeuristicCMIR(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVlb(), SCIPvisualizeConsCumulative(), separateCuts(), strengthenVarbounds(), transformNonIntegralRow(), and varIsSemicontinuous().

gets array with bounding coefficients b_i in variable lower bounds x >= b_i*z_i + d_i of given variable x

Parameters

Definition at line 18300 of file var.c.

References NULL, SCIPvboundsGetCoefs(), and SCIP_Var::vlbs.

Referenced by collectNonBinaryVBoundData(), computeImpliedEst(), constructSNFRelaxation(), cutsRoundMIR(), detectHiddenProducts(), determineBestBounds(), dfs(), getClosestVlb(), initData(), performBoundSubstitution(), projectVbd(), SCIPcutGenerationHeuristicCMIR(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVlb(), separateCuts(), strengthenVarbounds(), transformNonIntegralRow(), and varIsSemicontinuous().

gets array with bounding constants d_i in variable lower bounds x >= b_i*z_i + d_i of given variable x

Parameters

Definition at line 18310 of file var.c.

References NULL, SCIPvboundsGetConstants(), and SCIP_Var::vlbs.

Referenced by collectNonBinaryVBoundData(), computeImpliedEst(), constructSNFRelaxation(), cutsRoundMIR(), detectHiddenProducts(), determineBestBounds(), getClosestVlb(), initData(), performBoundSubstitution(), projectVbd(), SCIPcutGenerationHeuristicCMIR(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVlb(), separateCuts(), strengthenVarbounds(), transformNonIntegralRow(), and varIsSemicontinuous().

gets number of variable upper bounds x <= b_i*z_i + d_i of given variable x

Parameters

Definition at line 18320 of file var.c.

References NULL, SCIPvboundsGetNVbds(), and SCIP_Var::vubs.

Referenced by collectNonBinaryVBoundData(), computeImpliedLct(), constructSNFRelaxation(), cutsRoundMIR(), detectHiddenProducts(), detectImpliedBounds(), determineBestBounds(), dfs(), getClosestVub(), initData(), performBoundSubstitution(), projectVbd(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVub(), SCIPvisualizeConsCumulative(), separateCuts(), and varIsSemicontinuous().

gets array with bounding variables z_i in variable upper bounds x <= b_i*z_i + d_i of given variable x; the variable bounds are sorted by increasing variable index of the bounding variable z_i (see SCIPvarGetIndex())

Parameters

Definition at line 18332 of file var.c.

References NULL, SCIPvboundsGetVars(), and SCIP_Var::vubs.

Referenced by collectNonBinaryVBoundData(), computeImpliedLct(), constructSNFRelaxation(), cutsRoundMIR(), detectHiddenProducts(), determineBestBounds(), determineBoundForSNF(), dfs(), findBestUb(), getClosestVub(), initData(), performBoundSubstitution(), projectVbd(), SCIPcutGenerationHeuristicCMIR(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVub(), SCIPvisualizeConsCumulative(), separateCuts(), transformNonIntegralRow(), and varIsSemicontinuous().

gets array with bounding coefficients b_i in variable upper bounds x <= b_i*z_i + d_i of given variable x

Parameters

Definition at line 18342 of file var.c.

References NULL, SCIPvboundsGetCoefs(), and SCIP_Var::vubs.

Referenced by collectNonBinaryVBoundData(), computeImpliedLct(), constructSNFRelaxation(), cutsRoundMIR(), detectHiddenProducts(), determineBestBounds(), dfs(), getClosestVub(), initData(), performBoundSubstitution(), projectVbd(), SCIPcutGenerationHeuristicCMIR(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVub(), separateCuts(), transformNonIntegralRow(), and varIsSemicontinuous().

gets array with bounding constants d_i in variable upper bounds x <= b_i*z_i + d_i of given variable x

Parameters

Definition at line 18352 of file var.c.

References NULL, SCIPvboundsGetConstants(), and SCIP_Var::vubs.

Referenced by collectNonBinaryVBoundData(), computeImpliedLct(), constructSNFRelaxation(), cutsRoundMIR(), detectHiddenProducts(), determineBestBounds(), getClosestVub(), initData(), performBoundSubstitution(), projectVbd(), SCIPcutGenerationHeuristicCMIR(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVub(), separateCuts(), transformNonIntegralRow(), and varIsSemicontinuous().

gets number of implications y <= b or y >= b for x == 0 or x == 1 of given active problem variable x, there are no implications for nonbinary variable x

Parameters

var active problem variable varfixing FALSE for implications for x == 0, TRUE for x == 1

Definition at line 18364 of file var.c.

References SCIP_Var::implics, NULL, SCIPimplicsGetNImpls(), and SCIPvarIsActive().

Referenced by catchEvents(), checkImplicsApplied(), collectNonBinaryImplicationData(), detectHiddenProducts(), dfs(), extractCycle(), getMaxactImplicObjchg(), propagateVbounds(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIPapplyProbingVar(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarGetAvgInferences(), SCIPvarGetAvgInferencesCurrentRun(), separateCuts(), and sortVariables().

gets array with implication variables y of implications y <= b or y >= b for x == 0 or x == 1 of given active problem variable x, there are no implications for nonbinary variable x; the implications are sorted such that implications with binary implied variables precede the ones with non-binary implied variables, and as a second criteria, the implied variables are sorted by increasing variable index (see SCIPvarGetIndex())

Parameters

var active problem variable varfixing FALSE for implications for x == 0, TRUE for x == 1

Definition at line 18381 of file var.c.

References SCIP_Var::implics, NULL, SCIPimplicsGetVars(), and SCIPvarIsActive().

Referenced by checkImplicsApplied(), collectNonBinaryImplicationData(), detectHiddenProducts(), dfs(), extractCycle(), getMaxactImplicObjchg(), propagateVbounds(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_PRESOLEXEC(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), and separateCuts().