Detailed Description
public methods for problem variables
Public SCIP_BDCHGIDX Methods | |
SCIP_EXPORT SCIP_Bool | SCIPbdchgidxIsEarlier (SCIP_BDCHGIDX *bdchgidx1, SCIP_BDCHGIDX *bdchgidx2) |
SCIP_EXPORT SCIP_Bool | SCIPbdchgidxIsEarlierNonNull (SCIP_BDCHGIDX *bdchgidx1, SCIP_BDCHGIDX *bdchgidx2) |
Public SCIP_BOUNDCHG Methods | |
SCIP_EXPORT SCIP_Real | SCIPboundchgGetNewbound (SCIP_BOUNDCHG *boundchg) |
SCIP_EXPORT SCIP_VAR * | SCIPboundchgGetVar (SCIP_BOUNDCHG *boundchg) |
SCIP_EXPORT SCIP_BOUNDCHGTYPE | SCIPboundchgGetBoundchgtype (SCIP_BOUNDCHG *boundchg) |
SCIP_EXPORT SCIP_BOUNDTYPE | SCIPboundchgGetBoundtype (SCIP_BOUNDCHG *boundchg) |
SCIP_EXPORT SCIP_Bool | SCIPboundchgIsRedundant (SCIP_BOUNDCHG *boundchg) |
Public SCIP_DOMCHG Methods | |
SCIP_EXPORT int | SCIPdomchgGetNBoundchgs (SCIP_DOMCHG *domchg) |
SCIP_EXPORT SCIP_BOUNDCHG * | SCIPdomchgGetBoundchg (SCIP_DOMCHG *domchg, int pos) |
Public SCIP_HOLELIST Methods | |
SCIP_EXPORT SCIP_Real | SCIPholelistGetLeft (SCIP_HOLELIST *holelist) |
SCIP_EXPORT SCIP_Real | SCIPholelistGetRight (SCIP_HOLELIST *holelist) |
SCIP_EXPORT SCIP_HOLELIST * | SCIPholelistGetNext (SCIP_HOLELIST *holelist) |
Function Documentation
◆ SCIPvarGetNLocksDown()
SCIP_EXPORT int SCIPvarGetNLocksDown | ( | SCIP_VAR * | var | ) |
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
-
var problem variable
Definition at line 3312 of file var.c.
References SCIP_LOCKTYPE_MODEL, SCIPvarGetNLocksDownType(), and SCIPvarGetNLocksUp().
Referenced by checkRedundancy(), collectActivities(), collectSolActivities(), fixIntegerVariable(), propagateCons(), SCIPbendersExit(), SCIPisStrongbranchDownFirst(), SCIPlpGetUnboundedSol(), and SCIPvarGetNLocksUpType().
◆ SCIPvarGetNLocksUp()
SCIP_EXPORT int SCIPvarGetNLocksUp | ( | SCIP_VAR * | var | ) |
gets number of locks for rounding up
- Note
- This method will always return variable locks of type model
- It is recommented to use SCIPvarGetNLocksUpType()
- Parameters
-
var problem variable
Definition at line 3325 of file var.c.
References SCIP_Bool, SCIP_LOCKTYPE_MODEL, SCIPvarGetNLocksUpType(), and SCIPvarMayRoundDown().
Referenced by checkRedundancy(), collectActivities(), collectSolActivities(), fixIntegerVariable(), propagateCons(), SCIPisStrongbranchDownFirst(), SCIPlpGetUnboundedSol(), and SCIPvarGetNLocksDown().
◆ SCIPvarGetNLocksUpType()
SCIP_EXPORT int SCIPvarGetNLocksUpType | ( | SCIP_VAR * | var, |
SCIP_LOCKTYPE | locktype | ||
) |
gets number of locks for rounding up of a special type
- Parameters
-
var problem variable locktype type of variable locks
Definition at line 3250 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, 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, SCIPvarGetNLocksDown(), SCIPvarGetNLocksDownType(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), applyProbing(), calcBdchgScore(), checkCands(), checkConsQuadraticProblem(), checkLocksAndRes(), chooseCoefVar(), chooseVeclenVar(), collectCliqueData(), compensateVarLock(), consdataFindUnlockedLinearVar(), createCoveringProblem(), dualPresolve(), dualPresolving(), extractGates(), findAggregation(), findComponents(), fixIntegerVariableUb(), getScore(), getScoreLikeCoefdiving(), hasQuadvarHpProperty(), isConsIndependently(), multiAggregateBinvar(), performDualfix(), presolRoundIndicator(), presolveConsLct(), presolveDual(), propagateCons(), propIndicator(), removeDoubleAndSingletonsAndPerformDualpresolve(), roundFixingValue(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPanalyzeDeductionsProbing(), SCIPapplyLockFixings(), SCIPapplyProbingVar(), SCIPmakeIndicatorFeasible(), SCIPmatrixCreate(), SCIPmatrixUplockConflict(), SCIPprintBranchingStatistics(), SCIPsolAdjustImplicitSolVals(), SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUp(), SCIPvarGetProbvarBinary(), SCIPvarMayRoundUp(), SCIPwriteMps(), selectEssentialRounding(), selectRounding(), selectShifting(), singletonColumnStuffing(), and sortVariables().
◆ SCIPvarGetNLocksDownType()
SCIP_EXPORT int SCIPvarGetNLocksDownType | ( | SCIP_VAR * | var, |
SCIP_LOCKTYPE | locktype | ||
) |
gets number of locks for rounding down of a special type
- Parameters
-
var problem variable locktype type of variable locks
Definition at line 3193 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, 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, 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(), consdataFindUnlockedLinearVar(), createCoveringProblem(), dualPresolve(), dualPresolving(), extractGates(), findAggregation(), findComponents(), fixIntegerVariableLb(), getScore(), getScoreLikeCoefdiving(), hasQuadvarHpProperty(), isConsIndependently(), multiAggregateBinvar(), performDualfix(), presolRoundIndicator(), presolveConsEst(), presolveDual(), propagateCons(), propIndicator(), removeDoubleAndSingletonsAndPerformDualpresolve(), roundFixingValue(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPanalyzeDeductionsProbing(), SCIPapplyLockFixings(), SCIPapplyProbingVar(), SCIPmakeIndicatorFeasible(), SCIPmatrixCreate(), SCIPmatrixDownlockConflict(), SCIPprintBranchingStatistics(), SCIPsolAdjustImplicitSolVals(), SCIPvarAddLocks(), SCIPvarGetNLocksDown(), SCIPvarGetNLocksUpType(), SCIPvarMayRoundDown(), SCIPwriteMps(), selectEssentialRounding(), selectRounding(), selectShifting(), singletonColumnStuffing(), and sortVariables().
◆ SCIPvarMayRoundDown()
SCIP_EXPORT SCIP_Bool SCIPvarMayRoundDown | ( | SCIP_VAR * | var | ) |
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
-
var problem variable
Definition at line 3336 of file var.c.
References SCIP_Bool, SCIP_LOCKTYPE_MODEL, SCIPvarGetNLocksDownType(), and SCIPvarMayRoundUp().
Referenced by chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), performDualfix(), performRandRounding(), performSimpleRounding(), polishSolution(), SCIP_DECL_CONSCHECK(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIPperformGenericDivingAlgorithm(), SCIPsolRound(), and SCIPvarGetNLocksUp().
◆ SCIPvarMayRoundUp()
SCIP_EXPORT SCIP_Bool SCIPvarMayRoundUp | ( | SCIP_VAR * | var | ) |
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
-
var problem variable
Definition at line 3347 of file var.c.
References SCIP_LOCKTYPE_MODEL, SCIPvarGetNLocksUpType(), and SCIPvarTransform().
Referenced by chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), performDualfix(), performRandRounding(), performSimpleRounding(), polishSolution(), SCIP_DECL_CONSCHECK(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIPperformGenericDivingAlgorithm(), SCIPsolRound(), and SCIPvarMayRoundDown().
◆ SCIPvarCompareActiveAndNegated()
SCIP_EXPORT int SCIPvarCompareActiveAndNegated | ( | SCIP_VAR * | var1, |
SCIP_VAR * | var2 | ||
) |
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 11675 of file var.c.
References NULL, SCIP_DECL_SORTPTRCOMP(), SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_NEGATED, SCIPvarGetIndex(), SCIPvarGetNegatedVar(), SCIPvarGetStatus(), and SCIPvarIsActive().
Referenced by consdataSort(), liftCliqueVariables(), preprocessConstraintPairs(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_SORTPTRCOMP(), and SCIPvarChgBranchDirection().
◆ SCIP_DECL_SORTPTRCOMP() [1/3]
SCIP_EXPORT SCIP_DECL_SORTPTRCOMP | ( | SCIPvarCompActiveAndNegated | ) |
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 11705 of file var.c.
References SCIPvarCompare(), and SCIPvarCompareActiveAndNegated().
Referenced by SCIP_DECL_SORTPTRCOMP(), SCIPvarCompare(), and SCIPvarCompareActiveAndNegated().
◆ SCIPvarCompare()
SCIP_EXPORT int SCIPvarCompare | ( | SCIP_VAR * | var1, |
SCIP_VAR * | var2 | ||
) |
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 11713 of file var.c.
References SCIP_Var::index, NULL, and SCIP_DECL_SORTPTRCOMP().
Referenced by addBilinearTerm(), addBranchingComplementaritiesSOS1(), addLinearCoef(), addQuadVarTerm(), consdataFindQuadVarTerm(), consdataSort(), detectRedundantConstraints(), extractGates(), generateBoundInequalityFromSOS1Nodes(), getBoundConsFromVertices(), nlrowAddLinearCoef(), passConComponentVarbound(), preprocessConstraintPairs(), propVariableNonzero(), removeFixedVariables(), removeRedundantConss(), removeRedundantNonZeros(), replaceQuadVarTermPos(), SCIP_DECL_CONSTRANS(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_SORTINDCOMP(), SCIP_DECL_SORTPTRCOMP(), SCIPvarGetActiveRepresentatives(), SCIPvarsGetActiveVars(), and selectBranchVar().
◆ SCIP_DECL_SORTPTRCOMP() [2/3]
SCIP_EXPORT SCIP_DECL_SORTPTRCOMP | ( | SCIPvarComp | ) |
comparison method for sorting variables by non-decreasing index
Definition at line 11733 of file var.c.
References SCIP_DECL_SORTPTRCOMP(), and SCIPvarCompare().
◆ SCIP_DECL_SORTPTRCOMP() [3/3]
SCIP_EXPORT SCIP_DECL_SORTPTRCOMP | ( | SCIPvarCompObj | ) |
comparison method for sorting variables by non-decreasing objective coefficient
Definition at line 11739 of file var.c.
References SCIP_DECL_HASHGETKEY(), SCIP_Real, and SCIPvarGetObj().
◆ SCIP_DECL_HASHGETKEY()
SCIP_EXPORT SCIP_DECL_HASHGETKEY | ( | SCIPvarGetHashkey | ) |
hash key retrieval function for variables
Definition at line 11756 of file var.c.
References SCIP_DECL_HASHKEYEQ().
Referenced by SCIP_DECL_SORTPTRCOMP(), and SCIPvarWasFixedEarlier().
◆ SCIP_DECL_HASHKEYEQ()
SCIP_EXPORT SCIP_DECL_HASHKEYEQ | ( | SCIPvarIsHashkeyEq | ) |
returns TRUE iff the indices of both variables are equal
Definition at line 11762 of file var.c.
References FALSE, SCIP_DECL_HASHKEYVAL(), and TRUE.
Referenced by SCIP_DECL_HASHGETKEY().
◆ SCIP_DECL_HASHKEYVAL()
SCIP_EXPORT SCIP_DECL_HASHKEYVAL | ( | SCIPvarGetHashkeyVal | ) |
returns the hash value of the key
Definition at line 11770 of file var.c.
References SCIPvarGetIndex(), and SCIPvarsGetActiveVars().
Referenced by SCIP_DECL_HASHKEYEQ().
◆ SCIPvarsGetProbvar()
SCIP_EXPORT void SCIPvarsGetProbvar | ( | SCIP_VAR ** | vars, |
int | nvars | ||
) |
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 11969 of file var.c.
References NULL, and SCIPvarGetProbvar().
Referenced by correctConshdlrdata(), SCIP_DECL_CONSINITPRE(), SCIPvarsGetActiveVars(), and updateConsanddataUses().
◆ SCIPvarGetProbvar()
SCIP_EXPORT SCIP_VAR* SCIPvarGetProbvar | ( | SCIP_VAR * | var | ) |
gets corresponding active, fixed, or multi-aggregated problem variable of a variable
- Parameters
-
var problem variable
Definition at line 11989 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(), SCIPvarsGetProbvarBinary(), SCIP_Original::transvar, TRUE, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by addCoef(), applyFixings(), cliquetableGetNodeIndexBinvar(), consdataCreate(), getRandomVariable(), preprocessConstraintPairs(), presolveFindDuplicates(), processBinvarFixings(), processWatchedVars(), propagateCons(), readSolFile(), readXmlSolFile(), removeFixedVariables(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_CONSINITPRE(), SCIPaddVarImplication(), SCIPcliquetableComputeCliqueComponents(), SCIPcreateConsAnd(), SCIPnodePropagateImplics(), SCIPtreeBranchVar(), SCIPtreeBranchVarNary(), SCIPvarGetLastBdchgIndex(), SCIPvarsGetProbvar(), SCIPvarWasFixedEarlier(), tightenBounds(), tightenedLinkvar(), and updateBestCandidate().
◆ SCIPvarsGetProbvarBinary()
SCIP_EXPORT SCIP_RETCODE SCIPvarsGetProbvarBinary | ( | SCIP_VAR *** | vars, |
SCIP_Bool ** | negatedarr, | ||
int | nvars | ||
) |
gets corresponding active, fixed, or multi-aggregated problem variables of binary variables and updates the given negation status of each variable
- Parameters
-
vars pointer to binary problem variables negatedarr pointer to corresponding array to update the negation status nvars number of variables and values in vars and negated array
Definition at line 12049 of file var.c.
References NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, and SCIPvarGetProbvarBinary().
Referenced by GUBsetCalcCliquePartition(), SCIPcalcCliquePartition(), SCIPcliquetableAdd(), SCIPgetBinvarRepresentatives(), and SCIPvarGetProbvar().
◆ SCIPvarGetProbvarBinary()
SCIP_EXPORT SCIP_RETCODE SCIPvarGetProbvarBinary | ( | SCIP_VAR ** | var, |
SCIP_Bool * | negated | ||
) |
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 12081 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(), SCIPvarGetProbvarBound(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SCIPvarIsBinary(), SCIP_Original::transvar, TRUE, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by cliqueCleanup(), cliquePresolve(), dualPresolving(), presolRoundIndicator(), SCIPgetBinvarRepresentative(), SCIPvarAddClique(), SCIPvarDelClique(), and SCIPvarsGetProbvarBinary().
◆ SCIPvarGetProbvarBound()
SCIP_EXPORT SCIP_RETCODE SCIPvarGetProbvarBound | ( | SCIP_VAR ** | var, |
SCIP_Real * | bound, | ||
SCIP_BOUNDTYPE * | boundtype | ||
) |
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 12240 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, SCIPvarGetProbvarHole(), 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 SCIPvarGetProbvarBinary().
◆ SCIPvarGetProbvarHole()
SCIP_EXPORT SCIP_RETCODE SCIPvarGetProbvarHole | ( | SCIP_VAR ** | var, |
SCIP_Real * | left, | ||
SCIP_Real * | right | ||
) |
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 12333 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, SCIPvarGetProbvarSum(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPnodeAddHoleinfer(), SCIPtreeBranchVarHole(), and SCIPvarGetProbvarBound().
◆ SCIPvarGetOrigvarSum()
SCIP_EXPORT SCIP_RETCODE SCIPvarGetOrigvarSum | ( | SCIP_VAR ** | var, |
SCIP_Real * | scalar, | ||
SCIP_Real * | constant | ||
) |
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 12545 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_Bool, 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(), SCIPvarIsTransformedOrigvar(), 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(), SCIPreoptAddDualBndchg(), SCIPsolGetVal(), SCIPtransformDecompstore(), SCIPvarGetProbvarSum(), solveSubNLP(), storeCuts(), and transformIntoOrig().
◆ SCIPvarIsTransformedOrigvar()
SCIP_EXPORT SCIP_Bool SCIPvarIsTransformedOrigvar | ( | SCIP_VAR * | var | ) |
returns whether the given variable is the direct counterpart of an original problem variable
- Parameters
-
var problem variable
Definition at line 12632 of file var.c.
References FALSE, SCIP_Var::nparentvars, NULL, SCIP_Var::parentvars, SCIP_Real, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetObjLP(), SCIPvarGetStatus(), and SCIPvarIsTransformed().
Referenced by createAndAddAndCons(), fixBounds(), fixInterdiction(), SCIPprobDelVar(), SCIPsolPrint(), SCIPsolPrintRay(), SCIPvarGetOrigvarSum(), and SCIPwriteBnd().
◆ SCIPvarGetNBranchings()
SCIP_EXPORT SCIP_Longint SCIPvarGetNBranchings | ( | SCIP_VAR * | var, |
SCIP_BRANCHDIR | dir | ||
) |
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 15464 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_Longint, 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 SCIPprintBranchingStatistics(), and SCIPvarIncCutoffSum().
◆ SCIPvarGetNBranchingsCurrentRun()
SCIP_EXPORT SCIP_Longint SCIPvarGetNBranchingsCurrentRun | ( | SCIP_VAR * | var, |
SCIP_BRANCHDIR | dir | ||
) |
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 15509 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_Real, 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(), SCIPvarGetAvgBranchdepth(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by processWatchedVars(), and SCIPvarGetNBranchings().
◆ SCIPvarGetInferenceSum()
SCIP_EXPORT SCIP_Real SCIPvarGetInferenceSum | ( | SCIP_VAR * | var, |
SCIP_BRANCHDIR | dir | ||
) |
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 15744 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_Real, 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 SCIPvarGetVSIDSCurrentRun().
◆ SCIPvarGetInferenceSumCurrentRun()
SCIP_EXPORT SCIP_Real SCIPvarGetInferenceSumCurrentRun | ( | SCIP_VAR * | var, |
SCIP_BRANCHDIR | dir | ||
) |
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 15789 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_Real, 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(), SCIPvarGetAvgInferences(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPvarGetInferenceSum().
◆ SCIPvarGetCutoffSum()
SCIP_EXPORT SCIP_Real SCIPvarGetCutoffSum | ( | SCIP_VAR * | var, |
SCIP_BRANCHDIR | dir | ||
) |
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 15944 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_Real, 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 SCIPvarGetAvgInferencesCurrentRun().
◆ SCIPvarGetCutoffSumCurrentRun()
SCIP_EXPORT SCIP_Real SCIPvarGetCutoffSumCurrentRun | ( | SCIP_VAR * | var, |
SCIP_BRANCHDIR | dir | ||
) |
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 15987 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_Real, 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(), SCIPvarGetAvgCutoffs(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPvarGetCutoffSum().
◆ SCIPvarGetAvgBranchdepth()
SCIP_EXPORT SCIP_Real SCIPvarGetAvgBranchdepth | ( | SCIP_VAR * | var, |
SCIP_BRANCHDIR | dir | ||
) |
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 15552 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_Real, 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(), SCIPvarGetAvgBranchdepthCurrentRun(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPprintBranchingStatistics(), and SCIPvarGetNBranchingsCurrentRun().
◆ SCIPvarGetAvgBranchdepthCurrentRun()
SCIP_EXPORT SCIP_Real SCIPvarGetAvgBranchdepthCurrentRun | ( | SCIP_VAR * | var, |
SCIP_BRANCHDIR | dir | ||
) |
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 15597 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_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPhistoryGetAvgBranchdepth(), SCIPvarGetStatus(), SCIPvarGetVSIDS_rec(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPvarGetAvgBranchdepth().
◆ SCIPvarHasImplic()
SCIP_EXPORT SCIP_Bool SCIPvarHasImplic | ( | SCIP_VAR * | var, |
SCIP_Bool | varfixing, | ||
SCIP_VAR * | implvar, | ||
SCIP_BOUNDTYPE | impltype | ||
) |
returns whether there is an implication x == varfixing -> y <= b or y >= b in the implication graph; implications that are represented as cliques in the clique table are not regarded (use SCIPvarsHaveCommonClique()); both variables must be active, variable x must be binary
- 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 impltype type of implication y <=/>= b to search for
Definition at line 10920 of file var.c.
References SCIP_Var::implics, NULL, SCIP_Bool, SCIPimplicsContainsImpl(), SCIPvarHasBinaryImplic(), SCIPvarIsActive(), and SCIPvarIsBinary().
Referenced by initData(), SCIPvarAddImplic(), SCIPvarHasBinaryImplic(), and SCIPvarsHaveCommonClique().
◆ SCIPvarHasBinaryImplic()
SCIP_EXPORT SCIP_Bool SCIPvarHasBinaryImplic | ( | SCIP_VAR * | var, |
SCIP_Bool | varfixing, | ||
SCIP_VAR * | implvar, | ||
SCIP_Bool | implvarfixing | ||
) |
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 10940 of file var.c.
References SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIPvarFixBinary(), SCIPvarHasImplic(), and SCIPvarIsBinary().
Referenced by SCIPvarHasImplic().
◆ SCIPvarsHaveCommonClique()
SCIP_EXPORT SCIP_Bool SCIPvarsHaveCommonClique | ( | SCIP_VAR * | var1, |
SCIP_Bool | value1, | ||
SCIP_VAR * | var2, | ||
SCIP_Bool | value2, | ||
SCIP_Bool | regardimplics | ||
) |
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 11249 of file var.c.
References SCIP_Var::cliquelist, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIPcliquelistsHaveCommonClique(), SCIPvarHasImplic(), SCIPvarIsActive(), SCIPvarIsBinary(), and varProcessChgBranchFactor().
Referenced by addCliques(), calcCliquePartitionGreedy(), cliquePresolve(), detectDominatingVlbs(), detectDominatingVubs(), findFixings(), getMinactImplicObjchg(), GUBsetCalcCliquePartition(), liftCliqueVariables(), removeConstraintsDueToNegCliques(), SCIPhaveVarsCommonClique(), and SCIPvarDelClique().
◆ SCIPvarGetAggregatedObj()
SCIP_EXPORT SCIP_RETCODE SCIPvarGetAggregatedObj | ( | SCIP_VAR * | var, |
SCIP_Real * | aggrobj | ||
) |
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 17537 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, SCIPvarGetLbOriginal(), SCIPvarGetObj(), SCIPvarGetStatus(), SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by dualPresolve(), dualPresolving(), removeDoubleAndSingletonsAndPerformDualpresolve(), and SCIPvarGetUnchangedObj().
◆ SCIPvarSetInitial()
SCIP_EXPORT SCIP_RETCODE SCIPvarSetInitial | ( | SCIP_VAR * | var, |
SCIP_Bool | initial | ||
) |
sets the initial flag of a variable; only possible for original or loose variables
- Parameters
-
var problem variable initial initial flag
Definition at line 17104 of file var.c.
References SCIP_Var::initial, NULL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_ORIGINAL, SCIPvarSetRemovable(), and SCIP_Var::varstatus.
Referenced by addVariable(), SCIPcreateVarBinpacking(), and SCIPvarSetCopyData().
◆ SCIPvarSetRemovable()
SCIP_EXPORT SCIP_RETCODE SCIPvarSetRemovable | ( | SCIP_VAR * | var, |
SCIP_Bool | removable | ||
) |
sets the removable flag of a variable; only possible for original or loose variables
- Parameters
-
var problem variable removable removable flag
Definition at line 17120 of file var.c.
References NULL, SCIP_Var::removable, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), and SCIP_Var::varstatus.
Referenced by addVariable(), SCIPcreateVarBinpacking(), and SCIPvarSetInitial().
◆ SCIPvarGetName()
SCIP_EXPORT const char* SCIPvarGetName | ( | SCIP_VAR * | var | ) |
returns the name of the variable
- Note
- to change the name of a variable, use SCIPchgVarName() from scip.h
- Parameters
-
var problem variable
Definition at line 17017 of file var.c.
References SCIP_Var::name, NULL, and SCIPvarGetNUses().
Referenced by addAltLPColumn(), addBilinearTermToCut(), addBoundViolated(), addCand(), addCliques(), addCoef(), addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConflictBinvar(), addConflictBounds(), addConstraintToBendersSubproblem(), addFixedVarsConss(), addGenVBound(), addIntervalGradientEstimator(), addLinearization(), addLinearTermToCut(), addNode(), addScenarioVarsToProb(), addSplitcons(), addVarbound(), addVarCardinality(), adjustOversizedJobBounds(), aggregateVariables(), aggregation(), alnsFixMoreVariables(), alnsUnfixVariables(), analyseInfeasibelCoreInsertion(), analyzeEnergyRequirement(), analyzeGenVBoundConflict(), analyzeZeroResultant(), appendVarCardinality(), applyAlternativeBoundsBranching(), applyBdchgs(), applyBoundHeur(), applyCliqueFixings(), applyFixings(), applyFixingsAndAggregations(), applyGenVBound(), applyOptcumulativeFixings(), applyProbing(), applyRepair(), applyVboundsFixings(), applyZeroFixings(), boundchgApplyGlobal(), branch(), branchcandCalcLPCands(), branchcandInsertPseudoCand(), branchcandRemovePseudoCand(), branchUnbalancedCardinality(), calcBranchScore(), calcShiftVal(), cancelCol(), candidateCreate(), candidateFreeWarmStartInfo(), changeAncestorBranchings(), checkCons(), checkCumulativeCondition(), checkFactorable(), checkFixedVariables(), checkForOverlapping(), checkPackingPartitioningOrbitopeSolution(), checkSolOrig(), checkSolution(), checkSystemGF2(), checkVarbound(), checkVarnames(), cliqueCleanup(), cliquePresolve(), colAddCoef(), collectActivities(), collectBinaryCliqueData(), collectBranchingCands(), collectMinactVar(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), collectSolActivities(), collectSolution(), collectThetaSubtree(), colLink(), colUnlink(), compensateVarLock(), computeCut(), computeEnergyContribution(), computeGauge(), computeImpliedEst(), computeImpliedLct(), computeInteriorPoint(), computeReferencePointGauge(), computeReferencePointProjection(), computeStandardLPFeasibilityCut(), computeSymmetryGroup(), conflictAddBound(), conflictAddConflictBound(), conflictAddConflictCons(), conflictAnalyze(), conflictAnalyzeRemainingBdchgs(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictMarkBoundCheckPresence(), conflictResolveBound(), conflictsetAddBounds(), conflictsetIsRedundant(), consdataCheckSuperindicator(), consdataCollectLinkingCons(), consdataCreate(), consdataCreateBinvars(), consdataDeletePos(), consdataFindUnlockedLinearVar(), consdataFixOperandsOne(), consdataFixResultantZero(), consdataPrint(), constraintNonOverlappingGraph(), constructCompression(), constructSNFRelaxation(), coretimesUpdateLb(), coretimesUpdateUb(), countSparseSol(), createAndAddAndCons(), createAuxiliaryNonlinearSubproblem(), createBinaryConstraintName(), createConsFromMonomial(), createConstraints(), createCoreProfile(), createCoveringProblem(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTDualCons(), createMIP(), createNAryBranch(), createSelectedSortedEventpointsSol(), createSubproblem(), createSubproblems(), createSubSCIP(), createTcliqueGraph(), createVariableMappings(), detectDominatingVlbs(), detectDominatingVubs(), detectImplications(), detectImpliedBounds(), detectVarboundSOS1(), determineBound(), determineBoundForSNF(), determineVariableFixings(), dfs(), disaggregate(), doSeachEcAggr(), dryBranch(), dualPresolve(), dualPresolving(), ecaggrAddBilinTerm(), enforceCardinality(), enforceConssSOS1(), enforceConstraint(), enforceSOS2(), enforceViolatedFixedNonlinear(), evaluateGauge(), execRelpscost(), executeBranchingRecursive(), extractCycle(), filterCandidates(), filterCands(), filterExistingLP(), findAggregation(), findAndStoreEcAggregations(), findCumulativeConss(), findScenarioVar(), findUncapacitatedArcs(), fixAlmostFixedX(), fixAndPropagate(), fixBounds(), fixDeleteOrUpgradeCons(), fixIntegerVariableLb(), fixIntegerVariableUb(), fixInterdiction(), fixVariable(), fixVariableZeroNode(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorAtBoundary(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateAndApplyBendersCuts(), generateConvexConcaveUnderestimator(), generateCut(), generateCutNonConvex(), generateEstimatingHyperplane(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateSecantCut(), generateUnderestimatorParallelYFacets(), getConflictImplics(), getFixedVariable(), getFSBResult(), getGenVBound(), getMaxactImplicObjchg(), getScenarioDecompVar(), GUBsetMoveVar(), handle1Cycle(), handleNewVariableSOS1(), inferboundsEdgeFinding(), infinityCountUpdate(), initData(), level2resultCreateFromData(), liftCliqueVariables(), lpFlushAddCols(), lpFlushAddRows(), lpRemoveObsoleteCols(), maximalslack(), mcfnetworkFill(), mergeAndCleanQuadVarTerms(), mergeMultiples(), multiAggregateBinvar(), nlpCalcFracVars(), nlpFlushVarAdditions(), nlrowAddLinearCoef(), nlrowAddQuadElement(), nlrowaggrFree(), nlrowRemoveFixedQuadVars(), nodepairqueueCreate(), polyscip::Polyscip::numberofUnboundedResults(), objimplicsCreate(), optimize(), performAggregations(), performBranching(), performDualfix(), performFixing(), performImplicationGraphAnalysis(), performOrbitalFixing(), performRandRounding(), performSimpleRounding(), performStrongbranchWithPropagation(), polishSolution(), predBndStr(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolRoundVarsSOS1(), presolveAddKKTAggregatedVars(), presolveConsEst(), presolveConsLct(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolvePropagateCons(), presolveRemoveFixedVariables(), presolveSolve(), presolveTryAddAND(), presolveTryAddLinearReform(), printActiveVariables(), printAggregatedCons(), printBoundSection(), printColumnSection(), printIndicatorCons(), printLinearCons(), printLinearRow(), printNLRow(), printPBRow(), printRow(), printRowNl(), printSOCCons(), printSosCons(), processBinvarFixings(), processFixings(), processNlRow(), processRealBoundChg(), processWatchedVars(), proofsetFree(), propagateBinaryBestRootRedcost(), propagateBounds(), propagateBoundsBilinearTerm(), propagateBoundsQuadVar(), propagateBoundsTightenVar(), propagateBoundsTightenVarLb(), propagateBoundsTightenVarUb(), propagateCons(), propagateCutoffboundVar(), propagateLbTTEF(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateTimetable(), propagateUbTTEF(), propagateVarbounds(), propagateVbounds(), propCardinality(), propConsSOS1(), propIndicator(), proposeFeasibleSolution(), propSOS2(), readBinaries(), readBounds(), readCoefficients(), readCols(), readerdataAddOutputvar(), readGenerals(), readObjective(), readPolynomial(), readQCMatrix(), readQMatrix(), readSemicontinuous(), readSolFile(), readSOS(), readSos(), readVariables(), readXmlSolFile(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerBranchingVariables(), relaxVar(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedLinearVariables(), removeFixedNonlinearVariables(), removeFixedVariables(), removeIrrelevantJobs(), removeRedundantNonZeros(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), resetVarname(), resolveGenVBoundPropagation(), resolvePropagation(), resolvePropagationCoretimes(), respropCumulativeCondition(), rowAddCoef(), rowFindSlackVar(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), runVanillaStrongBranching(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECPS(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRGRAPHVARADDED(), SCIP_DECL_EXPRGRAPHVARREMOVE(), SCIP_DECL_HASHGETKEY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERWRITE(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddBilinearIneqQuadratic(), SCIPaddCoefLinear(), SCIPaddVarCardinality(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPaggrRowPrint(), SCIPanalyzeDeductionsProbing(), SCIPappendVarCardinality(), 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(), SCIPcomputeConvexEnvelopeFacet(), SCIPconflictAddRelaxedBound(), SCIPconflictAnalyzeStrongbranch(), SCIPconflictIsVarUsed(), SCIPcopyImplicationsCliques(), SCIPcreateConsAnd(), SCIPcreateConsCardinality(), SCIPcreateConsLinking(), SCIPcreateFiniteSolCopy(), SCIPcreateNlpiProb(), SCIPdropVarEvent(), SCIPendStrongbranch(), SCIPeventqueueAdd(), SCIPexprtreePrintWithNames(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetVarCopy(), SCIPgetVarsStrongbranchesFrac(), SCIPgetVarsStrongbranchesInt(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchWithPropagation(), SCIPholelistGetNext(), SCIPimplicsAdd(), SCIPimplicsDel(), SCIPincludePresolMILP(), SCIPincSolVal(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPlpAddCol(), SCIPlpAddRow(), SCIPlpGetSol(), SCIPmatrixGetColName(), SCIPmatrixPrintRow(), SCIPnlpDelVar(), SCIPnlrowDelLinearCoef(), SCIPnlrowPrint(), SCIPnodeAddBoundinfer(), SCIPnodeAddHolechg(), SCIPnodeAddHoleinfer(), SCIPnodePrintAncestorBranchings(), SCIPparseVarsList(), SCIPperformGenericDivingAlgorithm(), SCIPpricestoreAddBdviolvar(), SCIPpricestoreAddProbVars(), SCIPpricestoreAddVar(), SCIPpricestoreApplyVars(), SCIPprimalTransformSol(), SCIPprintBranchingStatistics(), SCIPprintNodeRootPath(), SCIPprintRowprep(), SCIPprobAddVar(), SCIPprobDelVar(), SCIPprobFree(), SCIPprobPerformVarDeletions(), SCIPprobPrintPseudoSol(), SCIPprobScaleObj(), SCIPreaderWrite(), SCIPreoptAddDualBndchg(), SCIPreoptApplyGlbConss(), SCIPreoptMergeVarHistory(), SCIPresolveSolHeurSubNlp(), SCIProwDelCoef(), SCIProwPrint(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateKnapsackCuts(), SCIPseparateRelaxedKnapsack(), SCIPsetBinaryVarIndicator(), SCIPsetSolVal(), SCIPsetSolVals(), SCIPshrinkDisjunctiveVarSet(), SCIPsolCheck(), SCIPsolIncVal(), SCIPsolPrint(), SCIPsolPrintRay(), SCIPsolSetVal(), SCIPsolveKnapsackApproximately(), SCIPstatComputeRootLPBestEstimate(), SCIPstatUpdateVarRootLPBestEstimate(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPtreeCalcNodeselPriority(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarCopy(), SCIPvarGetImplRedcost(), SCIPvarIncVSIDS(), SCIPvarMultiaggregate(), SCIPvarPrint(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarSetNLPSol(), SCIPvarSetRelaxSol(), SCIPvarUpdateBestRootSol(), SCIPvarUpdatePseudocost(), SCIPvisualCutoffNode(), SCIPvisualizeConsCumulative(), SCIPvisualNewChild(), SCIPvisualSolvedNode(), SCIPvisualUpdateChild(), SCIPwriteBnd(), SCIPwriteCliqueGraph(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwriteOpb(), SCIPwritePip(), SCIPwriteVarName(), selectInitialVariableDecomposition(), selectInitialVariableRandomly(), selectVarMultAggrBranching(), selectVarRecursive(), sepaImplBoundCutsSOS1(), separateCuts(), sepastoreApplyLb(), sepastoreApplyUb(), setupAndSolveFiniteSolSubscip(), simplifyInequalities(), solUnlinkVar(), solveAndEvalSubscip(), solveBilinearLP(), solveNlp(), solveNode(), solveSubNLP(), sortAndMergeClique(), strengthenVarbounds(), tarjan(), tightenBounds(), tightenCoefs(), tightenDualproof(), tightenedLinkvar(), tightenSingleVar(), tightenVariables(), tightenVarLb(), tightenVarsBoundsSOS1(), tightenVarUb(), tightenWeights(), transformAndSolve(), transformVariable(), treeApplyPendingBdchgs(), tryFixVar(), undoBdchgsProof(), updateArcData(), updateAuxiliaryVarLowerbound(), updateBestCandidate(), updateConsanddataUses(), updatePseudocost(), upgradeConss(), varAddImplic(), varAddLbchginfo(), varAddUbchginfo(), varAddVbound(), varHasName(), varProcessAddHoleGlobal(), varProcessAddHoleLocal(), varProcessChgLbGlobal(), varProcessChgUbGlobal(), writeFzn(), writeOpbFixedVars(), writeOpbObjective(), and writeOpbRelevantAnds().
◆ SCIPvarGetNUses()
SCIP_EXPORT int SCIPvarGetNUses | ( | SCIP_VAR * | var | ) |
gets number of times, the variable is currently captured
- Parameters
-
var problem variable
Definition at line 17027 of file var.c.
References NULL, SCIP_Var::nuses, and SCIPvarGetData().
Referenced by SCIPprobFree(), and SCIPvarGetName().
◆ SCIPvarGetData()
SCIP_EXPORT SCIP_VARDATA* SCIPvarGetData | ( | SCIP_VAR * | var | ) |
returns the user data of the variable
- Parameters
-
var problem variable
Definition at line 17037 of file var.c.
References NULL, SCIPvarSetData(), and SCIP_Var::vardata.
Referenced by addFixedVarsConss(), checkVariable(), computeBranchingPriorities(), consdataCheck(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_EVENTEXEC(), SCIPgetObjVardata(), and SCIPvarGetNUses().
◆ SCIPvarSetData()
SCIP_EXPORT void SCIPvarSetData | ( | SCIP_VAR * | var, |
SCIP_VARDATA * | vardata | ||
) |
sets the user data for the variable
- Parameters
-
var problem variable vardata user variable data
Definition at line 17047 of file var.c.
References NULL, SCIPvarSetDelorigData(), and SCIP_Var::vardata.
Referenced by addAuxiliaryVariablesToMaster(), assignAuxiliaryVariables(), createInitialColumns(), SCIP_DECL_EVENTEXEC(), SCIPcreateVarBinpacking(), and SCIPvarGetData().
◆ SCIPvarSetDelorigData()
SCIP_EXPORT void SCIPvarSetDelorigData | ( | SCIP_VAR * | var, |
SCIP_DECL_VARDELORIG((*vardelorig)) | |||
) |
sets method to free user data for the original variable
- Parameters
-
var problem variable
Definition at line 17058 of file var.c.
References NULL, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), and SCIPvarSetTransData().
Referenced by SCIPvarSetData().
◆ SCIPvarSetTransData()
SCIP_EXPORT void SCIPvarSetTransData | ( | SCIP_VAR * | var, |
SCIP_DECL_VARTRANS((*vartrans)) | |||
) |
sets method to transform user data of the variable
- Parameters
-
var problem variable
Definition at line 17070 of file var.c.
References NULL, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), and SCIPvarSetDeltransData().
Referenced by SCIPvarSetDelorigData().
◆ SCIPvarSetDeltransData()
SCIP_EXPORT void SCIPvarSetDeltransData | ( | SCIP_VAR * | var, |
SCIP_DECL_VARDELTRANS((*vardeltrans)) | |||
) |
sets method to free transformed user data for the variable
- Parameters
-
var problem variable
Definition at line 17082 of file var.c.
References NULL, and SCIPvarSetCopyData().
Referenced by SCIPcreateVarBinpacking(), and SCIPvarSetTransData().
◆ SCIPvarSetCopyData()
SCIP_EXPORT void SCIPvarSetCopyData | ( | SCIP_VAR * | var, |
SCIP_DECL_VARCOPY((*varcopy)) | |||
) |
sets method to copy this variable into sub-SCIPs
- Parameters
-
var problem variable
Definition at line 17093 of file var.c.
References NULL, and SCIPvarSetInitial().
Referenced by SCIPvarSetDeltransData().
◆ SCIPvarGetStatus()
SCIP_EXPORT SCIP_VARSTATUS SCIPvarGetStatus | ( | SCIP_VAR * | var | ) |
gets status of variable
- Parameters
-
var problem variable
Definition at line 17136 of file var.c.
References NULL, SCIP_Bool, SCIPvarIsOriginal(), and SCIP_Var::varstatus.
Referenced by addAltLPConstraint(), addBdchg(), addCliques(), addCoef(), addSplitcons(), addVarbound(), applyBoundChanges(), applyFixings(), applyGenVBound(), applyRepair(), assignVars(), binvarGetActiveProbindex(), branchcandCalcLPCands(), branchOnBin(), calcBdchgScore(), calcBranchScore(), calcVarBoundsDominated(), calcVarBoundsDominating(), catchVarEvents(), changeAncestorBranchings(), checkCons(), checkFixedVariables(), checkForOverlapping(), checkSystemGF2(), cleanupHashDatas(), cliqueCleanup(), cliquePresolve(), colCalcInternalFarkasCoef(), colCalcInternalRedcost(), collectAggregatedVars(), computeAlternativeBounds(), computeCut(), conflictAddBound(), conflictAnalyzeRemainingBdchgs(), conflictResolveBound(), consdataCreate(), consdataPrint(), constructValidSolution(), convertToActiveVar(), correctConshdlrdata(), correctPresoldata(), countNonlinearities(), createCGCutCMIR(), createCGCuts(), createCoveringProblem(), createKKTComplementarityBounds(), createNAryBranch(), createNewSol(), createPresoldata(), determineVariableFixings(), dropVarEvents(), enforceCardinality(), enforceConflictgraph(), enforceIndicators(), exitPresolve(), fixDeleteOrUpgradeCons(), fixVariableZero(), fixVariableZeroNode(), getActiveVar(), getActiveVariables(), getBranchCands(), getImplVarRedcost(), getLinearCoeffs(), getNActiveConsScore(), getRandomVariable(), getVariablePscostScore(), getVariableRedcostScore(), inferVariableZero(), initLP(), liftCliqueVariables(), lpFlushAddCols(), lpFlushChgCols(), lpUpdateObjval(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), lpUpdateVarProved(), markNeighborsMWISHeuristic(), mergeMultiples(), nlrowAddToLinearCoef(), nlrowRemoveFixedLinearCoefPos(), nlrowRemoveFixedQuadVars(), optimize(), performInteriorSolCutStrengthening(), performRandRounding(), performSimpleRounding(), performStrongbranchSOS1(), preprocessCliques(), presolRoundIndicator(), presolveAddKKTAggregatedVars(), presolveDual(), presolveFindDuplicates(), presolveRemoveFixedVariables(), printBoundSection(), probInsertVar(), probRemoveVar(), processBinvarFixings(), processRealBoundChg(), processWatchedVars(), propagateBounds(), propagateBoundsTightenVar(), propagateCons(), propIndicator(), proposeFeasibleSolution(), propVariableNonzero(), readSolFile(), readXmlSolFile(), recomputeLooseObjectiveValue(), relaxVar(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedLinearVariables(), removeFixedVariables(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PARAMCHGD(), 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(), SCIPconflictIsVarUsed(), SCIPcreateFiniteSolCopy(), SCIPdelVar(), SCIPdomchgAddBoundchg(), SCIPeventCreateImplAdded(), SCIPeventCreateVarFixed(), SCIPeventCreateVarUnlocked(), SCIPeventProcess(), SCIPexprtreeRemoveFixedVars(), SCIPfixVar(), SCIPgetRowprepViolation(), SCIPgetVarCopy(), SCIPgetVarFarkasCoef(), SCIPgetVarImplRedcost(), SCIPgetVarLbAtIndex(), SCIPgetVarMultaggrLbGlobal(), SCIPgetVarMultaggrLbLocal(), SCIPgetVarMultaggrUbGlobal(), SCIPgetVarMultaggrUbLocal(), SCIPgetVarNStrongbranchs(), SCIPgetVarRedcost(), SCIPgetVarsStrongbranchesFrac(), SCIPgetVarsStrongbranchesInt(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchLast(), SCIPgetVarStrongbranchLPAge(), SCIPgetVarStrongbranchNode(), SCIPgetVarStrongbranchWithPropagation(), SCIPgetVarUbAtIndex(), SCIPimplicsAdd(), SCIPincludePresolMILP(), 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(), SCIPvarDoNotMultaggr(), SCIPvarFix(), SCIPvarFlattenAggregationGraph(), SCIPvarGetActiveRepresentatives(), SCIPvarGetAggrConstant(), SCIPvarGetAggregatedObj(), SCIPvarGetAggrScalar(), SCIPvarGetAggrVar(), SCIPvarGetAvgBranchdepth(), SCIPvarGetAvgBranchdepthCurrentRun(), SCIPvarGetAvgConflictlength(), SCIPvarGetAvgConflictlengthCurrentRun(), SCIPvarGetAvgCutoffs(), SCIPvarGetAvgCutoffsCurrentRun(), SCIPvarGetAvgInferences(), SCIPvarGetAvgInferencesCurrentRun(), SCIPvarGetAvgSol(), SCIPvarGetBestRootLPObjval(), SCIPvarGetBestRootRedcost(), SCIPvarGetBestRootSol(), SCIPvarGetCol(), SCIPvarGetCutoffSum(), SCIPvarGetCutoffSumCurrentRun(), SCIPvarGetHolelistOriginal(), SCIPvarGetImplRedcost(), SCIPvarGetInferenceSum(), SCIPvarGetInferenceSumCurrentRun(), SCIPvarGetLastBdchgIndex(), 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(), SCIPvarIncInferenceSum(), SCIPvarIncNActiveConflicts(), SCIPvarIncNBranchings(), SCIPvarIncVSIDS(), SCIPvarIsInLP(), SCIPvarIsNegated(), SCIPvarIsOriginal(), SCIPvarIsTransformed(), SCIPvarIsTransformedOrigvar(), SCIPvarLoose(), SCIPvarMarkDoNotMultaggr(), SCIPvarMultiaggregate(), SCIPvarNegate(), SCIPvarPrint(), SCIPvarRemove(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarsAddClique(), SCIPvarScaleVSIDS(), SCIPvarSetDelorigData(), SCIPvarSetNLPSol(), SCIPvarSetRelaxSol(), SCIPvarSetRemovable(), SCIPvarSetTransData(), SCIPvarsGetActiveVars(), SCIPvarTransform(), SCIPvarTryAggregateVars(), SCIPvarUpdatePseudocost(), SCIPvarWasFixedEarlier(), SCIPvboundsAdd(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), selectVarMultAggrBranching(), separateCons(), shortenConss(), solUnlinkVar(), solveLp(), sortAndMergeClique(), tightenedLinkvar(), tightenVarsBoundsSOS1(), tryAggregateIntVars(), updateBestCandidate(), updateConsanddataUses(), updateSubproblemLowerbound(), varAddImplic(), varAddParent(), varAddTransitiveImplic(), varEventGlbChanged(), varEventGubChanged(), varEventLbChanged(), varEventObjChanged(), varEventUbChanged(), varEventVarFixed(), varFree(), varFreeParents(), varGetActiveVar(), varGetObjDelta(), varMayRoundDown(), varMayRoundUp(), varProcessAddHoleGlobal(), varProcessAddHoleLocal(), varProcessChgBranchDirection(), varProcessChgBranchFactor(), varProcessChgBranchPriority(), varProcessChgLbGlobal(), varProcessChgLbLocal(), varProcessChgUbGlobal(), varProcessChgUbLocal(), varSetProbindex(), writeOpbConstraints(), and writeOpbObjective().
◆ SCIPvarIsOriginal()
SCIP_EXPORT SCIP_Bool SCIPvarIsOriginal | ( | SCIP_VAR * | var | ) |
returns whether the variable belongs to the original problem
- Parameters
-
var problem variable
Definition at line 17146 of file var.c.
References SCIP_Var::negatedvar, NULL, SCIP_Bool, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), and SCIPvarIsTransformed().
Referenced by addGlobalCut(), addSplitcons(), changeAncestorBranchings(), collectDualInformation(), consdataFree(), constructCompression(), createAndAddAndCons(), fixBounds(), reoptSaveNewObj(), reoptSimilarity(), SCIPcatchVarEvent(), SCIPchgBilinCoefQuadratic(), SCIPchgCoefLinear(), SCIPchgLinearCoefQuadratic(), SCIPchgReoptObjective(), SCIPchgSquareCoefQuadratic(), SCIPcopyConsLinear(), SCIPdropVarEvent(), SCIPgetConcurrentVaridx(), SCIPgetReoptOldObjCoef(), SCIPreoptAddDualBndchg(), SCIPreoptApplyCuts(), SCIPreoptApplyGlbConss(), SCIPreoptMergeVarHistory(), SCIPreoptUpdateVarHistory(), SCIPvarGetHolelistOriginal(), SCIPvarGetLbOriginal(), SCIPvarGetOrigvarSum(), SCIPvarGetStatus(), SCIPvarGetUbOriginal(), SCIPvarResetBounds(), separateSolution(), and transformIntoOrig().
◆ SCIPvarIsTransformed()
SCIP_EXPORT SCIP_Bool SCIPvarIsTransformed | ( | SCIP_VAR * | var | ) |
returns whether the variable belongs to the transformed problem
- Parameters
-
var problem variable
Definition at line 17159 of file var.c.
References SCIP_Var::negatedvar, NULL, SCIP_Bool, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), and SCIPvarIsNegated().
Referenced by addCoef(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addLinearCoef(), addQuadVarTerm(), addSplitcons(), addVarCardinality(), addVarSOS1(), addVarSOS2(), appendVarCardinality(), appendVarSOS1(), appendVarSOS2(), assignVars(), changeAncestorBranchings(), chgLinearCoefPos(), delCoefPos(), nlpAddVars(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSINIT(), SCIPaddVarLocksType(), SCIPaddVarObj(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarObj(), SCIPchgVarType(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPcreateConsCardinality(), 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(), SCIPvarIsOriginal(), SCIPvarIsTransformedOrigvar(), SCIPvarNegate(), SCIPvarPrint(), SCIPvarRemove(), SCIPwriteBnd(), setIntvar(), solUnlinkVar(), tightenBounds(), transformToOrig(), varEnsureLbchginfosSize(), varEnsureUbchginfosSize(), varEventGholeAdded(), varEventGlbChanged(), varEventGubChanged(), varEventLbChanged(), varEventObjChanged(), varEventUbChanged(), varIncRootboundchgs(), varProcessAddHoleGlobal(), varProcessAddHoleLocal(), varProcessChgLbGlobal(), varProcessChgLbLocal(), varProcessChgUbGlobal(), and varProcessChgUbLocal().
◆ SCIPvarIsNegated()
SCIP_EXPORT SCIP_Bool SCIPvarIsNegated | ( | SCIP_VAR * | var | ) |
returns whether the variable was created by negation of a different variable
- Parameters
-
var problem variable
Definition at line 17172 of file var.c.
References NULL, SCIP_VARSTATUS_NEGATED, SCIPvarGetStatus(), and SCIPvarGetType().
Referenced by addCliqueDataEntry(), addCliques(), addSplitcons(), applyFixings(), binvarGetActiveProbindex(), checkOrigPbCons(), checkSolution(), checkSystemGF2(), collectCliqueData(), computeRanks(), createCoveringProblem(), createSubSCIP(), decompGetConsVarsAndLabels(), extractGates(), findAggregation(), getLinVarsAndAndRess(), mergeMultiples(), packingUpgrade(), preprocessCliques(), presolRoundIndicator(), printIndicatorCons(), printNLRow(), printPBRow(), printRow(), propagateCons(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONSINITSOL(), SCIPapplyHeurDualval(), SCIPchgVarType(), SCIPcomputeDecompVarsLabels(), SCIPcreateConsOrbitope(), SCIPvarIsTransformed(), SCIPwriteLp(), SCIPwriteMps(), SCIPwriteVarName(), setObjective(), tryUpgradingXor(), varGetObjDelta(), writeOpbObjective(), and writeOpbRelevantAnds().
◆ SCIPvarGetType()
SCIP_EXPORT SCIP_VARTYPE SCIPvarGetType | ( | SCIP_VAR * | var | ) |
gets type of variable
- Parameters
-
var problem variable
Definition at line 17182 of file var.c.
References NULL, SCIP_Bool, SCIPvarIsBinary(), and SCIP_Var::vartype.
Referenced by addConstraintToBendersSubproblem(), addFixedVarsConss(), addGlobalCut(), addLinearConstraints(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addRelaxation(), addScenarioVarsToProb(), addSplitcons(), addVarboundConstraints(), aggregateVariables(), aggregation(), applyBoundChanges(), applyBoundHeur(), applyFixings(), applyNlobbt(), applyRepair(), applyVboundsFixings(), branchcandCalcLPCands(), branchcandInsertPseudoCand(), branchcandRemovePseudoCand(), calcBranchScore(), cancelCol(), checkCons(), checkRedundancy(), checkRedundancySide(), checkVarbound(), chooseVeclenVar(), colIsDiscrete(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), compensateVarLock(), computeBranchingVariables(), computeDynamicRowOrder(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeSymmetryGroup(), conflictAddBound(), conflictAnalyzeRemainingBdchgs(), conflictResolveBound(), consdataCalcMinAbsval(), consdataCreate(), consdataPrint(), copyVars(), countSparseSol(), createAndSplitProblem(), createCGMIPprimalsols(), CUTOFF_CONSTRAINT(), decompHorizonInitialize(), determineBestBounds(), determineBoundForSNF(), determineSymmetry(), determineVariableFixingsDecomp(), dfs(), domchgMakeDynamic(), dualBoundStrengthening(), extractCapacityRows(), extractFlowRows(), findBestLb(), findBestUb(), findFixings(), findVarAggrRedVbcons(), fixAndPropagate(), fixInterdiction(), forbidFixation(), freeSymmetryData(), generateCutConvex(), generateCutNonConvex(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getScenarioDecompVar(), hasQuadvarHpProperty(), heurExec(), infinityCountUpdate(), initData(), isBoundchgUseless(), isPseudocostUpdateValid(), isVlb(), isVub(), level2dataGetResult(), level2dataStoreResult(), mcfnetworkExtract(), mergeMultiples(), nlpCalcFracVars(), optimize(), performOrbitalFixing(), performSimpleRounding(), predBndStr(), presolveDual(), presolveTryAddLinearReform(), presolveUpgrade(), prettifyConss(), printBoundSection(), printColumnSection(), printLinearCons(), probInsertVar(), probRemoveVar(), propagateOrbitalFixing(), readBounds(), readIndicators(), registerBranchingCandidates(), removeDoubleAndSingletonsAndPerformDualpresolve(), resolvePropagation(), rowCalculateGauss(), rowFindSlackVar(), 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_EVENTEXEC(), SCIP_DECL_EVENTEXITSOL(), SCIP_DECL_EVENTINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), 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(), SCIPcliquetableCleanup(), SCIPcreateConsAnd(), SCIPcreateConsIndicator(), SCIPcreateConsIndicatorLinCons(), SCIPdomchgAddBoundchg(), SCIPdomchgMakeStatic(), SCIPfixVar(), SCIPisObjIntegral(), SCIPnlpHasContinuousNonlinearity(), SCIPprobCheckObjIntegral(), SCIPprobChgVarType(), SCIPreoptApplyGlbConss(), SCIPreoptnodeAddCons(), SCIPreoptSplitRoot(), SCIPsetBinaryVarIndicator(), SCIPsetLinearConsIndicator(), SCIPshrinkDisjunctiveVarSet(), SCIPsolAdjustImplicitSolVals(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPtreeCalcChildEstimate(), SCIPvarAddHoleGlobal(), SCIPvarAddHoleLocal(), SCIPvarAddHoleOriginal(), SCIPvarAddImplic(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarAdjustLb(), SCIPvarAdjustUb(), SCIPvarAggregate(), SCIPvarChgLbGlobal(), SCIPvarChgLbLocal(), SCIPvarChgLbOriginal(), SCIPvarChgType(), SCIPvarChgUbGlobal(), SCIPvarChgUbLocal(), SCIPvarChgUbOriginal(), SCIPvarCopy(), SCIPvarFix(), SCIPvarIsBinary(), SCIPvarIsIntegral(), SCIPvarIsNegated(), SCIPvarNegate(), SCIPvarPrint(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarTransform(), SCIPvarTryAggregateVars(), SCIPvboundsAdd(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), SCIPwriteVarName(), selectEssentialRounding(), selectInitialVariableDecomposition(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), separateCons(), separateCuts(), separateGLS(), separateHeur(), separateSolution(), setupAndSolveSubscipRapidlearning(), singletonColumnStuffing(), soltreeAddSol(), solveNode(), sortComponents(), SymmetryFixVar(), tcliquegraphAddNode(), tcliquegraphConstructCliqueTable(), tightenBounds(), tightenCoefs(), tightenDualproof(), transformAndSolve(), tryAggregateIntVars(), updateActivities(), updateBestCandidate(), updatePseudocost(), useValuehistory(), varAddImplic(), varAddLbchginfo(), varAddTransitiveImplic(), varAddUbchginfo(), varGetChar(), varIsDiscrete(), varIsUnfixedLocal(), varProcessAddHoleGlobal(), varProcessAddHoleLocal(), varProcessBoundChanges(), varProcessChgLbGlobal(), varProcessChgLbLocal(), varProcessChgUbGlobal(), varProcessChgUbLocal(), writeFzn(), and writeOpbConstraints().
◆ SCIPvarIsBinary()
SCIP_EXPORT SCIP_Bool SCIPvarIsBinary | ( | SCIP_VAR * | var | ) |
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 lazy lower bound or the global lower bound is greater than or equal to zero (ii) the lazy upper bound or the global upper bound is less than or equal to one
- Parameters
-
var problem variable
Definition at line 17197 of file var.c.
References SCIP_Var::glbdom, SCIP_Var::lazylb, SCIP_Var::lazyub, SCIP_Dom::lb, MAX, NULL, SCIP_Bool, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_CONTINUOUS, SCIPvarGetType(), SCIPvarIsIntegral(), and SCIP_Dom::ub.
Referenced by addCand(), addConflictBinvar(), addVarCardinality(), adjustCutoffbound(), aggregateVariables(), analyzeStrongbranch(), appendVarCardinality(), applyFixings(), applyProbing(), bdchginfoIsInvalid(), binaryVarListCreate(), binvarGetActiveProbindex(), calcBranchScore(), calcPscostQuot(), calculateAlternatives(), cancelCol(), cancelRow(), checkCons(), checkCurvatureExpensive(), checkLogicor(), checkSystemGF2(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), cliquetableGetNodeIndexBinvar(), collectBinaryCliqueData(), collectMaxactVar(), collectMinactImplicVars(), collectMinactObjchg(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), computeNogoodCut(), conflictQueueBound(), consdataCalcSignatures(), consdataCreate(), consdataSort(), createConflict(), createKKTDualCons(), createSolFromSubScipSol(), createSubproblem(), CUTOFF_CONSTRAINT(), DECL_VARFIXINGS(), detectImpliedBounds(), determineSymmetry(), dfs(), enforceConflictgraph(), enforceConssSOS1(), executeBranchingRecursive(), findAggregation(), findFixings(), fixMatchingSolutionValues(), getClosestVlb(), getClosestVub(), getConflictImplics(), getCover(), getFixedVariable(), getImpliedBounds(), getMaxactImplicObjchg(), getMaxactObjchg(), getMinactImplicObjchg(), getMinactObjchg(), getScore(), getScoreLikeCoefdiving(), heurExec(), isConsViolated(), lpCopyIntegrality(), mergeAndCleanQuadVarTerms(), mergeMultiples(), objimplicsCreate(), orbisackUpgrade(), permSortConsdata(), predBndStr(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolveDisaggregate(), presolveSolve(), presolveTryAddAND(), presolveTryAddLinearReform(), printIndicatorCons(), processBinvarFixings(), propagateCutoffboundBinvar(), propagateLowerboundBinvar(), propagateOrbitalFixing(), propagateVarbounds(), propagateVbounds(), propCardinality(), propdataInit(), propVariables(), registerBranchingCandidatesGap(), removeDoubleAndSingletonsAndPerformDualpresolve(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SORTINDCOMP(), SCIPaddConflictBinvar(), SCIPaddVarImplication(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurDualval(), SCIPapplyProximity(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPcliqueAddVar(), SCIPcliqueDelVar(), SCIPcliquelistRemoveFromCliques(), SCIPcliquetableAdd(), SCIPcliquetableComputeCliqueComponents(), SCIPcliquetableGetVarComponentIdx(), SCIPcreateConsCardinality(), SCIPcreateConsOrbitope(), SCIPdomchgAddBoundchg(), SCIPgenerateOrbitopeVarsMatrix(), SCIPgetPropertiesPerm(), SCIPgetVarWasFixedAtIndex(), SCIPhaveVarsCommonClique(), SCIPinferBinvarCons(), SCIPinferBinvarProp(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPnodePropagateImplics(), SCIPprobGetNImplBinVars(), SCIPprobUpdateBestRootSol(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPvarAddClique(), SCIPvarAddCliqueToList(), SCIPvarAddImplic(), SCIPvarAddVub(), SCIPvarAggregate(), SCIPvarChgType(), SCIPvarDelClique(), SCIPvarDelCliqueFromList(), SCIPvarGetImplRedcost(), SCIPvarGetProbvarBinary(), SCIPvarGetType(), SCIPvarHasBinaryImplic(), SCIPvarHasImplic(), SCIPvarNegate(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarsAddClique(), SCIPvarsHaveCommonClique(), SCIPvarTryAggregateVars(), SCIPvarWasFixedAtIndex(), SCIPvarWasFixedEarlier(), separateGLS(), separateHeur(), setRedcosts(), setSymmetryData(), sortAndMergeClique(), sortVariables(), tightenCoefs(), tightenDualproof(), upgradeCons(), upgradeConss(), varAddImplic(), varAddLbchginfo(), varAddUbchginfo(), and varGetObjDelta().
◆ SCIPvarIsIntegral()
SCIP_EXPORT SCIP_Bool SCIPvarIsIntegral | ( | SCIP_VAR * | var | ) |
returns whether variable is of integral type (binary, integer, or implicit integer)
- Parameters
-
var problem variable
Definition at line 17208 of file var.c.
References NULL, SCIP_Bool, SCIP_VARTYPE_CONTINUOUS, SCIPvarGetType(), and SCIPvarIsInitial().
Referenced by addBilinearTermToCut(), addVarbound(), adjustCutoffbound(), aggregation(), analyzeConflict(), analyzeConflictLowerbound(), analyzeConflictUpperbound(), calculateAlternatives(), cancelCol(), cancelRow(), checkKnapsack(), computeCut(), computeFixingOrder(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), conflictAddConflictCons(), conflictCreateReconvergenceConss(), createAndAddProofcons(), createCGCutCMIR(), createNewSol(), createSubSCIP(), cutsRoundStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_VARFIXINGS(), detectImpliedBounds(), determineBound(), determineVariableFixings(), enforceConflictgraph(), fixAndPropagate(), fixMatchingSolutionValues(), generateClusterCuts(), isOverlapping(), lpCopyIntegrality(), nodepartitionIsConnected(), performFixing(), performStrongbranchSOS1(), polishSolution(), propagateLowerboundVar(), propagateRedcostVar(), propIndicator(), proposeFeasibleSolution(), readIndicators(), registerBranchingCandidatesGap(), resolveGenVBoundPropagation(), resolvePropagation(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SORTINDCOMP(), SCIPaddVarIndicator(), SCIPboundchgApply(), SCIPcolCreate(), SCIPcolGetStrongbranch(), SCIPcolGetStrongbranches(), SCIPcolInvalidateStrongbranchData(), SCIPcolIsIntegral(), SCIPcolSetStrongbranchData(), SCIPcreateConsIndicator(), SCIPcutsTightenCoefficients(), SCIPgetVarStrongbranchWithPropagation(), SCIPincludePresolMILP(), SCIPlpAddCol(), SCIPlpWriteMip(), SCIPprobAddVar(), SCIProwCreate(), SCIPsolPrint(), SCIPstatComputeRootLPBestEstimate(), SCIPtreeBranchVarHole(), SCIPvarAddVlb(), SCIPvarIsBinary(), selectInitialVariableRandomly(), selectShifting(), tightenDualproof(), tightenSingleVar(), tightenVariables(), tightenVarLb(), tightenVarsBoundsSOS1(), tightenVarUb(), transformVariable(), tryAdd2variableBuffer(), updateArcData(), varGetChar(), varIncRootboundchgs(), and varIsDiscrete().
◆ SCIPvarIsInitial()
SCIP_EXPORT SCIP_Bool SCIPvarIsInitial | ( | SCIP_VAR * | var | ) |
returns whether variable's column should be present in the initial root LP
- Parameters
-
var problem variable
Definition at line 17218 of file var.c.
References SCIP_Var::initial, NULL, SCIP_Bool, and SCIPvarIsRemovable().
Referenced by addConstraintToBendersSubproblem(), addScenarioVarsToProb(), aggregation(), applyFixings(), getScenarioDecompVar(), initLP(), presolveTryAddAND(), presolveTryAddLinearReform(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPvarCopy(), SCIPvarIsIntegral(), tightenCoefs(), and tryAggregateIntVars().
◆ SCIPvarIsRemovable()
SCIP_EXPORT SCIP_Bool SCIPvarIsRemovable | ( | SCIP_VAR * | var | ) |
returns whether variable's column is removable from the LP (due to aging or cleanup)
- Parameters
-
var problem variable
Definition at line 17228 of file var.c.
References NULL, SCIP_Var::removable, SCIP_Bool, and SCIPvarIsDeleted().
Referenced by addConstraintToBendersSubproblem(), addScenarioVarsToProb(), aggregation(), applyFixings(), getScenarioDecompVar(), presolveTryAddAND(), presolveTryAddLinearReform(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPvarCopy(), SCIPvarIsInitial(), tightenCoefs(), and tryAggregateIntVars().
◆ SCIPvarIsDeleted()
SCIP_EXPORT SCIP_Bool SCIPvarIsDeleted | ( | SCIP_VAR * | var | ) |
returns whether the variable was deleted from the problem
- Parameters
-
var problem variable
Definition at line 17238 of file var.c.
References SCIP_Var::deleted, NULL, and SCIPvarMarkDeletable().
Referenced by addScenarioVarsToProb(), applyProbing(), performDualfix(), performVarDeletions(), removeCoreVariablesAndConstraints(), removeVariablesAndConstraintsFromMaster(), SCIP_DECL_PRESOLEXEC(), and SCIPvarIsRemovable().
◆ SCIPvarMarkDeletable()
SCIP_EXPORT void SCIPvarMarkDeletable | ( | SCIP_VAR * | var | ) |
marks the variable to be deletable, i.e., it may be deleted completely from the problem; method can only be called before the variable is added to the problem by SCIPaddVar() or SCIPaddPricedVar()
- Parameters
-
var problem variable
Definition at line 17250 of file var.c.
References SCIP_Var::deletable, NULL, SCIP_Var::probindex, SCIPvarMarkNotDeletable(), and TRUE.
Referenced by addVariable(), SCIP_DECL_PRICERFARKAS(), SCIP_DECL_PRICERREDCOST(), SCIPcreateVarBinpacking(), and SCIPvarIsDeleted().
◆ SCIPvarMarkNotDeletable()
SCIP_EXPORT void SCIPvarMarkNotDeletable | ( | SCIP_VAR * | var | ) |
marks the variable to be not deletable from the problem
Definition at line 17261 of file var.c.
References SCIP_Var::deletable, FALSE, NULL, and SCIPvarMarkDeleteGlobalStructures().
Referenced by focusnodeCleanupVars(), SCIPsolMarkPartial(), SCIPvarAggregate(), SCIPvarMarkDeletable(), SCIPvarMultiaggregate(), SCIPvarNegate(), solIncArrayVal(), and solSetArrayVal().
◆ SCIPvarIsDeletable()
SCIP_EXPORT SCIP_Bool SCIPvarIsDeletable | ( | SCIP_VAR * | var | ) |
returns whether variable is allowed to be deleted completely from the problem
Definition at line 17330 of file var.c.
References SCIP_Var::deletable, NULL, SCIP_Bool, and SCIPvarIsActive().
Referenced by focusnodeCleanupVars(), and SCIPvarMarkRelaxationOnly().
◆ SCIPvarMarkDeleteGlobalStructures()
SCIP_EXPORT void SCIPvarMarkDeleteGlobalStructures | ( | SCIP_VAR * | var | ) |
marks variable to be deleted from global structures (cliques etc.) when cleaning up
- Note
- : this is not equivalent to marking the variable itself for deletion, this is done by using SCIPvarMarkDeletable()
- Parameters
-
var problem variable
Definition at line 17274 of file var.c.
References SCIP_Var::delglobalstructs, NULL, SCIP_Bool, SCIPvarIsMarkedDeleteGlobalStructures(), and TRUE.
Referenced by SCIPremoveVarFromGlobalStructures(), SCIPvarMarkNotDeletable(), and solveAndEvalSubscip().
◆ SCIPvarIsActive()
SCIP_EXPORT SCIP_Bool SCIPvarIsActive | ( | SCIP_VAR * | var | ) |
returns whether variable is an active (neither fixed nor aggregated) variable
- Parameters
-
var problem variable
Definition at line 17340 of file var.c.
References NULL, SCIP_Var::probindex, and SCIPvarGetIndex().
Referenced by addCliqueDataEntry(), addCliques(), addConsToOccurList(), addLinearCoef(), addQuadVarTerm(), addVarbound(), applyFixings(), applyGenVBounds(), applyProbing(), binvarGetActiveProbindex(), branchruledataEnsureArraySize(), calcCliquePartitionGreedy(), catchVarEvents(), checkFixedVariables(), checkForOverlapping(), checkLocksAndRes(), checkRedundantCons(), checkSystemGF2(), cliquePresolve(), cliquesSearchClique(), cliquetableGetNodeIndexBinvar(), collectCliqueData(), conflictAddBound(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictResolveBound(), createAndSplitProblem(), createCoveringProblem(), createNAryBranch(), createSolFromNLP(), createSolFromSubScipSol(), createSubproblem(), createSubSCIP(), cutsRoundMIR(), cutsTransformMIR(), cutsTransformStrongCG(), decompGetConsVarsAndLabels(), dfs(), dualPresolving(), extractGates(), findAggregation(), freeSubSCIP(), getActiveVar(), getImpliedBounds(), getLinVarsAndAndRess(), getMaxactImplicObjchg(), getRandomVariable(), GUBsetCalcCliquePartition(), heurdataEnsureArraySize(), initData(), initTCliquegraph(), isGAMSprintableSOC(), liftCliqueVariables(), mergeMultiples(), nlpAddVars(), nlpRemoveFixedVar(), nlpSetupNlpiIndices(), nlrowAddLinearCoef(), nlrowAddToLinearCoef(), nlrowExprtreeChanged(), nlrowRemoveFixedLinearCoefPos(), nlrowRemoveFixedQuadVars(), nlrowRemoveFixedVar(), preprocessCliques(), preprocessConstraintPairs(), presolRoundIndicator(), presolveDisaggregate(), presolveRemoveFixedVariables(), propagateCons(), propagateVbounds(), removeConstraintsDueToNegCliques(), removeFixedLinearVariables(), removeFixedNonlinearVariables(), removeFixedVariables(), replaceQuadVarTermPos(), resolvePropagationCoretimes(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EXPRGRAPHVARADDED(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROBCOPY(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SEPAEXECLP(), SCIPaddVarImplication(), SCIPcalcCliquePartition(), SCIPcliquetableComputeCliqueComponents(), SCIPcomputeDecompVarsLabels(), SCIPconflictAddBound(), SCIPconflictAddRelaxedBound(), SCIPconflictIsVarUsed(), SCIPcreateConsAbspower(), SCIPcreateConsOrbitope(), SCIPexprtreeRemoveFixedVars(), SCIPgetReoptOldObjCoef(), SCIPhaveVarsCommonClique(), SCIPimplicsAdd(), SCIPnlrowAddLinearCoef(), SCIPnlrowAddQuadVar(), SCIPnlrowDelLinearCoef(), SCIPprimalTransformSol(), SCIPprobdataAddNewSol(), 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(), SCIPvarIsDeletable(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarsHaveCommonClique(), SCIPvarWasFixedEarlier(), SCIPwriteGms(), selectInitialVariableRandomly(), shortenConss(), solveComponent(), sortVariables(), tarjan(), tcliquegraphAddNode(), tightenBounds(), tightenVariables(), tryUpgradingXor(), updateBestCandidate(), varAddImplic(), varAddTransitiveBinaryClosureImplic(), varAddTransitiveImplic(), varIncRootboundchgs(), varMayRoundDown(), varMayRoundUp(), and writeOpbRelevantAnds().
◆ SCIPvarGetIndex()
SCIP_EXPORT int SCIPvarGetIndex | ( | SCIP_VAR * | var | ) |
gets unique index of variable
- Parameters
-
var problem variable
Definition at line 17350 of file var.c.
References SCIP_Var::index, NULL, and SCIPvarGetProbindex().
Referenced by applyProbing(), calcSignature(), checkForOverlapping(), cliquesSearchClique(), componentSetupWorkingSol(), computeConsAndDataChanges(), conflictsetAddBound(), conflictsetAddBounds(), consdataCalcSignature(), consdataGetFeasibility(), correctLocksAndCaptures(), correctPresoldata(), createAltLPColumn(), createPresoldata(), createTcliqueGraph(), dfs(), evaluateAggrCand(), evaluateValueCand(), extractGates(), getHashmapKey(), getLinVarsAndAndRess(), initConcsolver(), initConflictgraph(), liftCliqueVariables(), printNLRow(), propagateCons(), removeRedundantConstraints(), reoptSaveNewObj(), reoptSimilarity(), SCIP_DECL_CONSINIT(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPcliqueSearchVar(), SCIPgetConcurrentVaridx(), SCIPgetReoptOldObjCoef(), SCIPreoptMergeVarHistory(), SCIPreoptUpdateVarHistory(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolMarkPartial(), SCIPsolRound(), SCIPsolSetVal(), SCIPvarCompareActiveAndNegated(), SCIPvarIsActive(), solGetArrayVal(), solIncArrayVal(), solSetArrayVal(), solUnlinkVar(), solveClassification(), solveMinIISC(), sortVariables(), strengthenOrbitopeConstraint(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), and writeOpbObjective().
◆ SCIPvarGetProbindex()
SCIP_EXPORT int SCIPvarGetProbindex | ( | SCIP_VAR * | var | ) |
gets position of variable in problem, or -1 if variable is not active
- Parameters
-
var problem variable
Definition at line 17360 of file var.c.
References NULL, SCIP_Var::probindex, and SCIPvarGetTransVar().
Referenced by addGLSCliques(), addNextLevelCliques(), addRow(), aggrRowGetMinActivity(), alnsFixMoreVariables(), alnsUnfixVariables(), applyRepair(), binvarGetActiveProbindex(), branchruledataAddBoundChangeVar(), branchruledataEnsureArraySize(), branchruledataPopBoundChangeVar(), branchruledataUpdateCurrentBounds(), buildBlockGraph(), calcSignature(), checkRedundancy(), collectBinaryCliqueData(), collectCoefficients(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), computeAlternativeBounds(), computeCut(), computeSymmetryGroup(), conflictAnalyzeLP(), constructCompression(), constructSNFRelaxation(), createCGCutDirect(), createCoveringProblem(), createEdgesFromRow(), createRows(), createSubproblem(), createSubSCIP(), createTcliqueGraph(), cutsRoundMIR(), cutsRoundStrongCG(), cutsTransformMIR(), cutsTransformStrongCG(), detectImpliedBounds(), determineBestBounds(), determineBoundForSNF(), dfs(), ensureScoresPresent(), execRelpscost(), executeBranchingRecursive(), fillDigraph(), fillVariableGraph(), filterCandidates(), findBestLb(), findBestUb(), forbidFixation(), freeMemory(), freeSubSCIP(), generateAverageNBRay(), getClosestVlb(), getClosestVub(), getMaxactImplicObjchg(), getMaxActivity(), getMinActivity(), getNodeIdx(), heurdataAddBoundChangeVar(), heurdataEnsureArraySize(), heurdataFreeArrays(), heurdataUpdateCurrentBounds(), initLP(), insertSortedRootNeighbors(), isNeighbor(), isUseOldBranching(), isVariableInNeighborhood(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), lpUpdateVarProved(), mergeMultiples(), mod2MatrixAddCol(), packingUpgrade(), printLinearCons(), printRow(), probInsertVar(), probRemoveVar(), processNlRow(), polyscip::Polyscip::readProblem(), reoptCheckLocalRestart(), rowAddCoef(), rowCalculateGauss(), runBoundHeuristic(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SORTINDCOMP(), SCIP_DECL_SORTPTRCOMP(), SCIPaddPricedVar(), SCIPaddVar(), SCIPaggrRowAddObjectiveFunction(), SCIPaggrRowCancelVarWithBound(), SCIPaggrRowPrint(), SCIPapplyHeurSubNlp(), SCIPapplyLockFixings(), SCIPchgVarName(), SCIPchgVarType(), SCIPcolCreate(), SCIPeventProcess(), SCIPlpGetPrimalRay(), SCIPlpSumRows(), SCIPlpUpdateAddVar(), SCIPlpUpdateDelVar(), SCIPlpUpdateVarLb(), SCIPlpUpdateVarObj(), SCIPlpUpdateVarUb(), SCIPpricestoreApplyVars(), SCIPprimalTransformSol(), SCIPprobAddVar(), SCIPprobAddVarName(), SCIPprobChgVarType(), SCIPprobDelVar(), SCIPprobFree(), SCIPprobPerformVarDeletions(), SCIPprobVarChangedStatus(), SCIPresolveSolHeurSubNlp(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPsolRetransform(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPvarGetImplRedcost(), SCIPvarGetIndex(), SCIPvariablegraphBreadthFirst(), SCIPvarRemove(), SCIPwriteCliqueGraph(), selectInitialVariableRandomly(), selectNextVariable(), selectShifting(), separateCuts(), separateGLS(), separateHeur(), solveSubNLP(), sortFirstCandidatesByScore(), tarjan(), tightenDualproof(), tightenVariables(), transformNonIntegralRow(), undoBdchgsProof(), and varProcessBoundChanges().
◆ SCIPvarGetTransVar()
SCIP_EXPORT SCIP_VAR* SCIPvarGetTransVar | ( | SCIP_VAR * | var | ) |
gets transformed variable of ORIGINAL variable
- Parameters
-
var problem variable
Definition at line 17370 of file var.c.
References SCIP_Var::data, NULL, SCIP_Var::original, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetCol(), SCIPvarGetStatus(), and SCIP_Original::transvar.
Referenced by assignAuxiliaryVariables(), assignVars(), computeRanks(), createSolFromNLP(), createSolFromSubScipSol(), createSubSCIP(), fixDiscreteVars(), reoptSimilarity(), SCIPapplyHeurDualval(), SCIPmergeVariableStatistics(), SCIPreoptApplyCuts(), SCIPreoptMergeVarHistory(), SCIPreoptUpdateVarHistory(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolSetVal(), SCIPvarGetProbindex(), SCIPvarResetBounds(), and setupAndSolveSubscipRapidlearning().
◆ SCIPvarGetCol()
SCIP_EXPORT SCIP_COL* SCIPvarGetCol | ( | SCIP_VAR * | var | ) |
gets column of COLUMN variable
- Parameters
-
var problem variable
Definition at line 17381 of file var.c.
References SCIP_Var::col, SCIP_Var::data, NULL, SCIP_Bool, SCIP_VARSTATUS_COLUMN, SCIPvarGetStatus(), and SCIPvarIsInLP().
Referenced by addBdchg(), addFracCounter(), analyzeStrongbranch(), branchcandCalcLPCands(), calcBdchgScore(), calcBranchScore(), calcShiftVal(), calculateBounds(), checkConstraintMatching(), colCalcInternalFarkasCoef(), colCalcInternalRedcost(), computeCut(), createCGCutCMIR(), determineBound(), determineVariableFixings(), filterExistingLP(), generateAverageRay(), getImplVarRedcost(), getNActiveConsScore(), initLP(), lpFlushAddCols(), lpFlushChgCols(), relaxVar(), 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(), SCIPvarGetTransVar(), setupAggregationData(), shiftValues(), tryFixVar(), updateActivities(), updateRowActivities(), updateSlacks(), varColCompare(), and varProcessBoundChanges().
◆ SCIPvarIsInLP()
SCIP_EXPORT SCIP_Bool SCIPvarIsInLP | ( | SCIP_VAR * | var | ) |
returns whether the variable is a COLUMN variable that is member of the current LP
- Parameters
-
var problem variable
Definition at line 17392 of file var.c.
References SCIP_Var::col, SCIP_Var::data, NULL, SCIP_VARSTATUS_COLUMN, SCIPcolIsInLP(), SCIPvarGetAggrVar(), and SCIPvarGetStatus().
Referenced by COLORprobPrintStableSets(), focusnodeCleanupVars(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERFARKAS(), SCIPselectVarPseudoStrongBranching(), SCIPvarGetCol(), setupAggregationData(), and undoBdchgsProof().
◆ SCIPvarGetAggrVar()
SCIP_EXPORT SCIP_VAR* SCIPvarGetAggrVar | ( | SCIP_VAR * | var | ) |
gets aggregation variable y of an aggregated variable x = a*y + c
- Parameters
-
var problem variable
Definition at line 17402 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, NULL, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIPvarGetAggrScalar(), SCIPvarGetStatus(), and SCIP_Aggregate::var.
Referenced by checkCons(), checkSystemGF2(), markNeighborsMWISHeuristic(), presolveAddKKTAggregatedVars(), processBinvarFixings(), processRealBoundChg(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_READERWRITE(), SCIPgetVarCopy(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolSetVal(), SCIPvarIsInLP(), and varGetObjDelta().
◆ SCIPvarGetAggrScalar()
SCIP_EXPORT SCIP_Real SCIPvarGetAggrScalar | ( | SCIP_VAR * | var | ) |
gets aggregation scalar a of an aggregated variable x = a*y + c
- Parameters
-
var problem variable
Definition at line 17413 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, NULL, SCIP_Aggregate::scalar, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIPvarGetAggrConstant(), and SCIPvarGetStatus().
Referenced by checkCons(), checkSystemGF2(), presolveAddKKTAggregatedVars(), SCIP_DECL_LINCONSUPGD(), SCIPgetVarCopy(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolSetVal(), SCIPvarGetAggrVar(), and varGetObjDelta().
◆ SCIPvarGetAggrConstant()
SCIP_EXPORT SCIP_Real SCIPvarGetAggrConstant | ( | SCIP_VAR * | var | ) |
gets aggregation constant c of an aggregated variable x = a*y + c
- Parameters
-
var problem variable
Definition at line 17424 of file var.c.
References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Var::data, NULL, SCIP_VARSTATUS_AGGREGATED, SCIPvarGetMultaggrNVars(), and SCIPvarGetStatus().
Referenced by checkCons(), checkSystemGF2(), markNeighborsMWISHeuristic(), presolveAddKKTAggregatedVars(), SCIP_DECL_LINCONSUPGD(), SCIPgetVarCopy(), SCIPsolGetVal(), SCIPsolSetVal(), and SCIPvarGetAggrScalar().
◆ SCIPvarGetMultaggrNVars()
SCIP_EXPORT int SCIPvarGetMultaggrNVars | ( | SCIP_VAR * | var | ) |
gets number n of aggregation variables of a multi aggregated variable x = a0*y0 + ... + a(n-1)*y(n-1) + c
- Parameters
-
var problem variable
Definition at line 17435 of file var.c.
References SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, NULL, SCIP_Multaggr::nvars, SCIP_VARSTATUS_MULTAGGR, SCIPvarGetMultaggrVars(), and SCIPvarGetStatus().
Referenced by conflictResolveBound(), exitPresolve(), fixVariableZero(), getRandomVariable(), nlrowAddToLinearCoef(), nlrowRemoveFixedLinearCoefPos(), nlrowRemoveFixedQuadVars(), presolveAddKKTAggregatedVars(), removeFixedLinearVariables(), removeFixedVariables(), SCIP_DECL_READERWRITE(), SCIPconflictAddBound(), SCIPexprtreeRemoveFixedVars(), SCIPgetVarCopy(), SCIPnlrowAddLinearCoef(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolSetVal(), SCIPvarGetAggrConstant(), selectVarMultAggrBranching(), and updateBestCandidate().
◆ SCIPvarGetMultaggrVars()
SCIP_EXPORT SCIP_VAR** SCIPvarGetMultaggrVars | ( | SCIP_VAR * | var | ) |
gets vector of aggregation variables y of a multi aggregated variable x = a0*y0 + ... + a(n-1)*y(n-1) + c
- Parameters
-
var problem variable
Definition at line 17447 of file var.c.
References SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, NULL, SCIP_Real, SCIP_VARSTATUS_MULTAGGR, SCIPvarGetMultaggrScalars(), SCIPvarGetStatus(), and SCIP_Multaggr::vars.
Referenced by exitPresolve(), fixVariableZero(), getRandomVariable(), nlrowAddToLinearCoef(), nlrowRemoveFixedLinearCoefPos(), nlrowRemoveFixedQuadVars(), presolveAddKKTAggregatedVars(), removeFixedLinearVariables(), removeFixedVariables(), SCIP_DECL_READERWRITE(), SCIPconflictAddBound(), SCIPexprtreeRemoveFixedVars(), SCIPgetVarCopy(), SCIPnlrowAddLinearCoef(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolSetVal(), SCIPvarGetMultaggrNVars(), selectVarMultAggrBranching(), and updateBestCandidate().
◆ SCIPvarGetMultaggrScalars()
SCIP_EXPORT SCIP_Real* SCIPvarGetMultaggrScalars | ( | SCIP_VAR * | var | ) |
gets vector of aggregation scalars a of a multi aggregated variable x = a0*y0 + ... + a(n-1)*y(n-1) + c
- Parameters
-
var problem variable
Definition at line 17459 of file var.c.
References SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, NULL, SCIP_Multaggr::scalars, SCIP_Real, SCIP_VARSTATUS_MULTAGGR, SCIPvarGetMultaggrConstant(), and SCIPvarGetStatus().
Referenced by fixVariableZero(), nlrowAddToLinearCoef(), nlrowRemoveFixedLinearCoefPos(), nlrowRemoveFixedQuadVars(), presolveAddKKTAggregatedVars(), removeFixedLinearVariables(), removeFixedVariables(), SCIPconflictAddBound(), SCIPexprtreeRemoveFixedVars(), SCIPgetVarCopy(), SCIPnlrowAddLinearCoef(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolSetVal(), SCIPvarGetMultaggrVars(), selectVarMultAggrBranching(), and updateBestCandidate().
◆ SCIPvarGetMultaggrConstant()
SCIP_EXPORT SCIP_Real SCIPvarGetMultaggrConstant | ( | SCIP_VAR * | var | ) |
gets aggregation constant c of a multi aggregated variable x = a0*y0 + ... + a(n-1)*y(n-1) + c
- Parameters
-
var problem variable
Definition at line 17471 of file var.c.
References SCIP_Multaggr::constant, SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, NULL, SCIP_VARSTATUS_MULTAGGR, SCIPvarGetNegatedVar(), and SCIPvarGetStatus().
Referenced by fixVariableZero(), nlrowAddToLinearCoef(), nlrowRemoveFixedLinearCoefPos(), nlrowRemoveFixedQuadVars(), presolveAddKKTAggregatedVars(), removeFixedLinearVariables(), removeFixedVariables(), SCIPexprtreeRemoveFixedVars(), SCIPgetVarCopy(), SCIPsolGetVal(), SCIPsolSetVal(), SCIPvarGetActiveRepresentatives(), SCIPvarGetMultaggrScalars(), and selectVarMultAggrBranching().
◆ SCIPvarGetNegatedVar()
SCIP_EXPORT SCIP_VAR* SCIPvarGetNegatedVar | ( | SCIP_VAR * | var | ) |
gets the negation of the given variable; may return NULL, if no negation is existing yet
- Parameters
-
var negated problem variable
Definition at line 17483 of file var.c.
References SCIP_Var::negatedvar, NULL, and SCIPvarGetNegationVar().
Referenced by addCliqueDataEntry(), addCliques(), addConsToOccurList(), applyFixings(), checkSolution(), checkSystemGF2(), cliquePresolve(), collectCliqueData(), computeRanks(), createCoveringProblem(), decompGetConsVarsAndLabels(), extractGates(), findAggregation(), getActiveVariables(), getLinearCoeffs(), mergeMultiples(), preprocessCliques(), preprocessConstraintPairs(), presolRoundIndicator(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantNonZeros(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_READERWRITE(), SCIPcomputeDecompVarsLabels(), SCIPcreateConsOrbitope(), SCIPprobDelVar(), SCIPvarCompareActiveAndNegated(), SCIPvarGetMultaggrConstant(), SCIPwriteLp(), SCIPwriteMps(), separateIISRounding(), strengthenConss(), tcliquegraphConstructCliqueTable(), and varGetObjDelta().
◆ SCIPvarGetNegationVar()
SCIP_EXPORT SCIP_VAR* SCIPvarGetNegationVar | ( | SCIP_VAR * | var | ) |
gets the negation variable x of a negated variable x' = offset - x
- Parameters
-
var negated problem variable
Definition at line 17493 of file var.c.
References SCIP_Var::negatedvar, NULL, SCIP_Real, SCIP_VARSTATUS_NEGATED, SCIPvarGetNegationConstant(), and SCIPvarGetStatus().
Referenced by addCliques(), applyFixings(), binvarGetActiveProbindex(), checkForOverlapping(), checkOrigPbCons(), checkSolution(), cliqueCleanup(), cliquePresolve(), collectCliqueData(), createCoveringProblem(), findAggregation(), getLinVarsAndAndRess(), liftCliqueVariables(), markNeighborsMWISHeuristic(), mergeMultiples(), preprocessCliques(), presolveAddKKTAggregatedVars(), printNLRow(), printPBRow(), printRow(), removeConstraintsDueToNegCliques(), SCIP_DECL_READERWRITE(), SCIPaddPricedVar(), SCIPaddVar(), SCIPchgVarType(), SCIPgetVarCopy(), SCIPmakeIndicatorFeasible(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolSetVal(), SCIPvarGetNegatedVar(), setObjective(), shortenConss(), tryUpgradingXor(), writeOpbConstraints(), writeOpbFixedVars(), writeOpbObjective(), and writeOpbRelevantAnds().
◆ SCIPvarGetNegationConstant()
SCIP_EXPORT SCIP_Real SCIPvarGetNegationConstant | ( | SCIP_VAR * | var | ) |
gets the negation offset of a negated variable x' = offset - x
- Parameters
-
var negated problem variable
Definition at line 17504 of file var.c.
References SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::negate, NULL, SCIP_Real, SCIP_VARSTATUS_NEGATED, SCIPvarGetObj(), and SCIPvarGetStatus().
Referenced by markNeighborsMWISHeuristic(), presolveAddKKTAggregatedVars(), SCIPsolGetVal(), SCIPsolSetVal(), and SCIPvarGetNegationVar().
◆ SCIPvarGetObj()
SCIP_EXPORT SCIP_Real SCIPvarGetObj | ( | SCIP_VAR * | var | ) |
gets objective function value of variable
- Parameters
-
var problem variable
Definition at line 17515 of file var.c.
References NULL, SCIP_Var::obj, SCIP_Real, and SCIPvarGetUnchangedObj().
Referenced by addBoundViolated(), addConflictBinvar(), addConflictBounds(), addConstraintToBendersSubproblem(), addObjcut(), addScenarioVarsToProb(), addTrustRegionConstraints(), adjustCutoffbound(), applyAlternativeBoundsBranching(), applyCliqueFixings(), applyOptcumulative(), applyOptcumulativeFixings(), applyRepair(), applyVboundsFixings(), BENDERS_CUTORACLE(), calcShiftVal(), catchObjEvent(), changeSubvariableObjective(), checkConsQuadraticProblem(), checkDivingCandidates(), checkSystemGF2(), chooseFracVar(), chooseGuidedVar(), chooseVeclenVar(), collectMinactImplicVar(), collectMinactImplicVars(), collectMinactVar(), compensateVarLock(), componentSetupWorkingSol(), computeStandardLPOptimalityCut(), computeStandardNLPOptimalityCut(), computeSymmetryGroup(), consdataFindUnlockedLinearVar(), createCGCutDirect(), createNewSol(), createObjRow(), createSubproblem(), createSubproblems(), createSubSCIP(), determineSymmetry(), dropObjEvent(), dualBoundStrengthening(), dualPresolving(), evaluateAggrCand(), evaluateValueCand(), findAggregation(), findComponents(), findDominancePairs(), findDownlockAggregations(), findFixings(), findUplockAggregations(), fixIntegerVariable(), generateAndApplyBendersCuts(), generateObjectiveRay(), getConflictImplics(), getMaxactImplicObjchg(), getMinactImplicObjchg(), getObjectiveFactor(), getPotential(), getVariable(), hasQuadvarHpProperty(), infinityCountUpdate(), initSolve(), isVlb(), isVub(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), nlpAddVars(), nlpDelVarPos(), nlpFlushObjective(), nlpFlushVarAdditions(), nlpSolve(), nlpUpdateObjCoef(), objimplicsCreate(), optimize(), performDualfix(), performRandRounding(), performSimpleRounding(), predBndStr(), presolveDual(), printPBRow(), propagateCons(), propagateCutoffboundGlobally(), propagateLowerboundVar(), readObjective(), readOPBFile(), recomputeGlbPseudoObjectiveValue(), recomputeLooseObjectiveValue(), recomputePseudoObjectiveValue(), removeDoubleAndSingletonsAndPerformDualpresolve(), reoptSaveNewObj(), resolvePropagation(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPaggrRowAddObjectiveFunction(), SCIPapplyHeurDualval(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPbendersMergeSubproblemIntoMaster(), SCIPchgReoptObjective(), SCIPchgVarObjProbing(), SCIPcolCreate(), SCIPconflictAnalyzePseudo(), SCIPcreateConsOrbitope(), SCIPcreateNlpiProb(), SCIPincludePresolMILP(), 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(), SCIPvarGetNegationConstant(), SCIPvarMarkRelaxationOnly(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), selectEssentialRounding(), selectRounding(), selectShifting(), setObjective(), setupAndSolveSubscip(), setupSubproblem(), setupSubScip(), singletonColumnStuffing(), solCutIsViolated(), solveAndEvalSubscip(), solveCoveringProblem(), solveCumulative(), solveIndependentCons(), transformColumn(), updateBestCandidate(), updateVariableRounding(), varGetObjDelta(), varMayRoundDown(), varMayRoundUp(), writeExpandedSolutions(), writeFzn(), writeOpbConstraints(), and writeOpbObjective().
◆ SCIPvarGetUnchangedObj()
SCIP_EXPORT SCIP_Real SCIPvarGetUnchangedObj | ( | SCIP_VAR * | var | ) |
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
-
var problem variable
Definition at line 17525 of file var.c.
References NULL, SCIPvarGetAggregatedObj(), and SCIP_Var::unchangedobj.
Referenced by computeStandardLPOptimalityCut(), computeStandardNLPOptimalityCut(), SCIPcolChgObj(), SCIPcolCreate(), SCIPsolAdjustImplicitSolVals(), SCIPsolCheck(), SCIPsolIncVal(), SCIPsolLinkLPSol(), SCIPsolLinkNLPSol(), SCIPsolPrint(), SCIPsolPrintRay(), SCIPsolRecomputeObj(), SCIPsolRetransform(), SCIPsolRound(), SCIPsolSetVal(), and SCIPvarGetObj().
◆ SCIPvarGetLbOriginal()
SCIP_EXPORT SCIP_Real SCIPvarGetLbOriginal | ( | SCIP_VAR * | var | ) |
gets original lower bound of original problem variable (i.e. the bound set in problem creation)
- Parameters
-
var original problem variable
Definition at line 17613 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_Real, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), SCIPvarGetUbOriginal(), SCIPvarIsOriginal(), and SCIP_Dom::ub.
Referenced by addScenarioVarsToProb(), checkConsQuadraticProblem(), checkSolOrig(), getScenarioDecompVar(), parseConstantArrayAssignment(), parseValue(), printBoundSection(), SCIP_DECL_HEUREXEC(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcreateFiniteSolCopy(), SCIPvarAddHoleOriginal(), SCIPvarChgUbOriginal(), SCIPvarCopy(), SCIPvarGetAggregatedObj(), SCIPvarPrint(), SCIPwriteBnd(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), writeFzn(), writeOpbFixedVars(), and writeOpbRelevantAnds().
◆ SCIPvarGetUbOriginal()
SCIP_EXPORT SCIP_Real SCIPvarGetUbOriginal | ( | SCIP_VAR * | var | ) |
gets original upper bound of original problem variable (i.e. the bound set in problem creation)
- Parameters
-
var original problem variable
Definition at line 17633 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, SCIPvarGetHolelistOriginal(), SCIPvarGetStatus(), SCIPvarIsOriginal(), and SCIP_Dom::ub.
Referenced by addScenarioVarsToProb(), checkConsQuadraticProblem(), checkSolOrig(), getScenarioDecompVar(), parseConstantArrayAssignment(), parseValue(), printBoundSection(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcreateFiniteSolCopy(), SCIPvarAddHoleOriginal(), SCIPvarChgLbOriginal(), SCIPvarCopy(), SCIPvarGetLbOriginal(), SCIPvarPrint(), SCIPwriteBnd(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), writeFzn(), writeOpbFixedVars(), and writeOpbRelevantAnds().
◆ SCIPvarGetHolelistOriginal()
SCIP_EXPORT SCIP_HOLELIST* SCIPvarGetHolelistOriginal | ( | SCIP_VAR * | var | ) |
gets the original hole list of an original variable
- Parameters
-
var problem variable
Definition at line 17653 of file var.c.
References SCIP_Var::data, SCIP_Dom::holelist, NULL, SCIP_Original::origdom, SCIP_Var::original, SCIP_Real, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetLbGlobal(), SCIPvarGetStatus(), and SCIPvarIsOriginal().
Referenced by SCIPvarGetUbOriginal(), and SCIPvarPrint().
◆ SCIPvarGetLbGlobal()
SCIP_EXPORT SCIP_Real SCIPvarGetLbGlobal | ( | SCIP_VAR * | var | ) |
gets global lower bound of variable
- Parameters
-
var problem variable
Definition at line 17667 of file var.c.
References SCIP_Var::glbdom, SCIP_Dom::lb, NULL, SCIP_Real, and SCIPvarGetUbGlobal().
Referenced by addAltLPColumn(), addConflictBinvar(), addConflictBounds(), addConstraintToBendersSubproblem(), addFixedVarsConss(), addGlobalCut(), addLinearCoef(), addLinearization(), addLinearizationCuts(), addLocalBranchingConstraint(), addLowerboundCons(), addQuadVarTerm(), addSplitcons(), addVarbound(), adjustCutoffbound(), adjustOversizedJobBounds(), aggregation(), aggrRowGetMinActivity(), alnsFixMoreVariables(), analyzeEnergyRequirement(), analyzeStrongbranch(), applyFixings(), applyGenVBound(), applyImplic(), applyRepair(), assignVars(), boundchgApplyGlobal(), buildMod2Matrix(), calcShiftVal(), calculateBounds(), cancelCol(), catchEventBinvar(), catchVarEvents(), checkCounters(), checkCurvature(), checkFixedVariables(), checkGlbfirstnonfixed(), checkIISlocal(), checkImplic(), checkOverloadViaThetaTree(), checkRedundancy(), checkRedundancySide(), checkSolution(), checkSystemGF2(), chgCoeffWithBound(), chgQuadCoeffWithBound(), cliqueCleanup(), cliquePresolve(), cliquesSearchClique(), collectBinaryCliqueData(), collectMinactImplicVar(), collectMinactImplicVars(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), collectVars(), compensateVarLock(), componentSetupWorkingSol(), computeCut(), computeEnergyContribution(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeInteriorPoint(), computeMaxEnergy(), computeRanks(), computeStandardLPFeasibilityCut(), computeSymmetryGroup(), computeViolation(), conflictAnalyze(), consdataCreate(), consdataCreateBinvars(), consdataDeletePos(), consdataFree(), consdataGetFeasibility(), consdataGetGlbActivityResiduals(), consdataLinearize(), consdataPrint(), consdataRecomputeGlbMinactivity(), consdataRecomputeMaxactivity(), constructSNFRelaxation(), createConflictCons(), createCoveringProblem(), createIndicatorConstraint(), createKKTComplementarityBounds(), createKKTDualCons(), createNlRow(), createObjRow(), createSolFromSubScipSol(), createSortedEventpoints(), createSubSCIP(), createSubscip(), createVarboundCons(), cutsRoundMIR(), cutsRoundStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_CHANGESUBSCIP(), detectImplications(), detectImpliedBounds(), determineBestBounds(), determineBound(), determineVariableFixings(), dfs(), doSolveSubMIP(), dropEventBinvar(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), enfopsCons(), extractLinearValues(), filterExistingLP(), findAggregation(), findBestLb(), findDominancePairs(), findDownlockAggregations(), findUncapacitatedArcs(), findUplockAggregations(), fixDiscreteVars(), fixIntegerVariableUb(), fixVariables(), focusnodeCleanupVars(), forbidFixation(), freeMemory(), generateAndApplyBendersIntegerCuts(), generateBoundInequalityFromSOS1Nodes(), generateCut(), generateCutFactorable(), generateRowCardinality(), generateRowSOS2(), generateZerohalfCut(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getClosestVub(), getCorner(), getFixVal(), getGenVBoundsMinActivity(), getImpliedBounds(), getMaxactImplicObjchg(), getMaxActivity(), getMinactImplicObjchg(), getMinActivity(), getObjectiveFactor(), getPotential(), getPotentialContributed(), getSolutionValues(), globalfixing(), handleNewVariableCardinality(), handleNewVariableSOS1(), infinityCountUpdate(), isBoundchgUseless(), isCandidate(), isVlb(), isVub(), lockVariableCardinality(), lockVariableSOS2(), mcfnetworkFill(), objimplicsCreate(), optimize(), performDualfix(), polishSolution(), predBndStr(), preprocessConstraintPairs(), presolRoundIndicator(), presolRoundSOS2(), presolveAddKKTAggregatedVars(), presolveConsEffectiveHorizon(), presolveConsEst(), presolveConsLct(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveCumulativeCondition(), presolveDual(), presolveTryAddLinearReform(), printSignpowerRow(), proofsetCancelVarWithBound(), propagateBinaryBestRootRedcost(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLongProof(), propagateLowerboundVar(), propagateOrbitalFixing(), propagateRootRedcostVar(), propagateVarbounds(), propagateVbounds(), proposeFeasibleSolution(), readBinaries(), readBounds(), readGenerals(), readSemicontinuous(), readSol(), reboundIntegerVariables(), recomputeGlbPseudoObjectiveValue(), relaxVar(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedVariables(), removeIrrelevantJobs(), removeZeros(), removeZerosQuad(), replaceQuadVarTermPos(), resolveGenVBoundPropagation(), resolvePropagationCoretimes(), restrictToBinaryBounds(), rowFindSlackVar(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), rowScale(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SORTINDCOMP(), SCIPaddVarImplication(), SCIPaggrRowCancelVarWithBound(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyProbingVar(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPbendersComputeSubproblemLowerbound(), SCIPbranchGetBranchingPoint(), SCIPcliqueDelVar(), SCIPcliquetableAdd(), SCIPcomputeVarLbGlobal(), SCIPconflictAddRelaxedBound(), SCIPconflictGetVarLb(), SCIPconsResolvePropagation(), SCIPcreateConsLinking(), SCIPcreateConsOrbitope(), SCIPcreateFiniteSolCopy(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPevalExprtreeGlobalBounds(), SCIPimplicsAdd(), SCIPincludePresolMILP(), SCIPisConvexAbspower(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpUpdateVarObj(), SCIPmatrixCreate(), SCIPmatrixPrintRow(), SCIPnodeAddBoundinfer(), SCIPprobdataAddNewSol(), SCIPpropResolvePropagation(), SCIPreoptSaveGlobalBounds(), SCIPresolveSolHeurSubNlp(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPsolAdjustImplicitSolVals(), SCIPsolCheck(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolSetVal(), SCIPtightenVarLbGlobal(), SCIPtightenVarUbGlobal(), SCIPvarAddHoleGlobal(), SCIPvarAddImplic(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarCopy(), SCIPvarGetHolelistOriginal(), SCIPvarGetMultaggrLbGlobal(), SCIPvarGetMultaggrUbGlobal(), SCIPvarGetNLPSol_rec(), SCIPvarGetRelaxSol(), SCIPvarPrint(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarUpdateBestRootSol(), SCIPvisualizeConsCumulative(), SCIPwriteBnd(), SCIPwriteLp(), SCIPwritePip(), selectShifting(), sepaImplBoundCutsSOS1(), separateCuts(), separatePerspective(), sepastoreApplyLb(), sepastoreApplyUb(), sepastoreIsBdchgApplicable(), setupAggregationData(), setupAndSolveCumulativeSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipRapidlearning(), shiftValues(), singletonColumnStuffing(), skipRedundantBdchginfos(), solveAndEvalSubscip(), solveClassification(), solveComponent(), solveCumulative(), solveLp(), solveMinIISC(), solveSubNLP(), sortAndMergeClique(), termIsConstant(), tightenBounds(), tightenCoefs(), tightenDualproof(), tightenSingleVar(), tightenVariables(), tightenVarUb(), transformDualredsToBounddisjunction(), transformNonIntegralRow(), treeAddPendingBdchg(), tryAdd2variableBuffer(), tryFixVar(), tryUpgradingXor(), undoBdchgsProof(), unlockVariableCardinality(), unlockVariableSOS2(), updateAuxiliaryVarLowerbound(), updateFirstRow(), updateFirstRowGlobal(), updateSlacks(), updateSubproblemCutConstant(), varAddImplic(), varAddVbound(), varIncRootboundchgs(), varIsFixed(), and varProcessAddHoleGlobal().
◆ SCIPvarGetUbGlobal()
SCIP_EXPORT SCIP_Real SCIPvarGetUbGlobal | ( | SCIP_VAR * | var | ) |
gets global upper bound of variable
- Parameters
-
var problem variable
Definition at line 17677 of file var.c.
References SCIP_Var::glbdom, NULL, SCIPvarGetHolelistGlobal(), and SCIP_Dom::ub.
Referenced by addAltLPColumn(), addConflictBinvar(), addConflictBounds(), addConflictReasonVars(), addConstraintToBendersSubproblem(), addFixedVarsConss(), addGlobalCut(), addLinearCoef(), addLinearization(), addLinearizationCuts(), addLocalBranchingConstraint(), addQuadVarTerm(), addSplitcons(), addVarbound(), adjustCutoffbound(), adjustOversizedJobBounds(), aggregation(), aggrRowGetMinActivity(), alnsFixMoreVariables(), analyzeEnergyRequirement(), analyzeStrongbranch(), applyFixings(), applyGenVBound(), applyImplic(), applyRepair(), applyZeroFixings(), assignVars(), boundchgApplyGlobal(), buildMod2Matrix(), calcShiftVal(), calculateBounds(), cancelCol(), catchEventBinvar(), catchVarEvents(), checkCounters(), checkCurvature(), checkFixedVariables(), checkGlbfirstnonfixed(), checkIISlocal(), checkImplic(), checkOverloadViaThetaTree(), checkRedundancy(), checkRedundancySide(), checkSolution(), checkSystemGF2(), chgCoeffWithBound(), chgQuadCoeffWithBound(), cliqueCleanup(), cliquePresolve(), cliquesSearchClique(), collectActivities(), collectBinaryCliqueData(), collectBinaryVars(), collectDemands(), collectEstLst(), collectMinactImplicVar(), collectMinactImplicVars(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), collectVars(), compensateVarLock(), componentSetupWorkingSol(), computeCut(), computeEnergyContribution(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeInteriorPoint(), computeMaxEnergy(), computeRanks(), computeStandardLPFeasibilityCut(), computeSymmetryGroup(), computeViolation(), conflictAnalyze(), consdataCreate(), consdataCreateBinvars(), consdataDeletePos(), consdataGetFeasibility(), consdataGetGlbActivityResiduals(), consdataLinearize(), consdataPrint(), consdataRecomputeGlbMinactivity(), consdataRecomputeMaxactivity(), constructSNFRelaxation(), createCoveringProblem(), createIndicatorConstraint(), createKKTComplementarityBounds(), createKKTDualCons(), createNlRow(), createSortedEventpoints(), createSubSCIP(), createSubscip(), createVarboundCons(), createVarUbs(), cutsRoundMIR(), cutsRoundStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_CHANGESUBSCIP(), detectImplications(), detectImpliedBounds(), determineBestBounds(), determineBound(), determineVariableFixings(), dfs(), doSolveSubMIP(), dropEventBinvar(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), enfopsCons(), extractLinearValues(), filterExistingLP(), findAggregation(), findBestUb(), findDominancePairs(), findDownlockAggregations(), findFixings(), findUncapacitatedArcs(), findUplockAggregations(), fixDiscreteVars(), fixIntegerVariableUb(), fixTriangle(), fixVariables(), focusnodeCleanupVars(), forbidFixation(), freeMemory(), generateBoundInequalityFromSOS1Nodes(), generateCut(), generateCutFactorable(), generateRowCardinality(), generateRowSOS2(), generateZerohalfCut(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getClosestVlb(), getCorner(), getFixVal(), getGenVBoundsMinActivity(), getImpliedBounds(), getMaxactImplicObjchg(), getMaxActivity(), getMinactImplicObjchg(), getMinActivity(), getObjectiveFactor(), getPotential(), getPotentialContributed(), getSolutionValues(), globalfixing(), handleNewVariableCardinality(), handleNewVariableSOS1(), infinityCountUpdate(), isBoundchgUseless(), isCandidate(), lockVariableCardinality(), lockVariableSOS2(), mcfnetworkFill(), objimplicsCreate(), optimize(), performDualfix(), polishSolution(), predBndStr(), preprocessConstraintPairs(), presolRoundIndicator(), presolRoundSOS2(), presolveAddKKTAggregatedVars(), presolveConsEffectiveHorizon(), presolveConsEst(), presolveConsLct(), presolveCumulativeCondition(), presolveDual(), presolveTryAddLinearReform(), printIndicatorCons(), printSignpowerRow(), proofsetCancelVarWithBound(), propagateBinaryBestRootRedcost(), propagateCons(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLongProof(), propagateLowerboundVar(), propagateOrbitalFixing(), propagateRootRedcostVar(), propagateVarbounds(), propagateVbounds(), proposeFeasibleSolution(), readBinaries(), readBounds(), readGenerals(), readSol(), reboundIntegerVariables(), recomputeGlbPseudoObjectiveValue(), relaxVar(), removeFixedVariables(), removeIrrelevantJobs(), removeZeros(), removeZerosQuad(), replaceQuadVarTermPos(), resolveGenVBoundPropagation(), resolvePropagationCoretimes(), restrictToBinaryBounds(), rowFindSlackVar(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), rowScale(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SOLVECUMULATIVE(), SCIP_DECL_SORTINDCOMP(), SCIPaddVarImplication(), SCIPaggrRowCancelVarWithBound(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyProbingVar(), SCIPapplyProximity(), SCIPbranchGetBranchingPoint(), SCIPcliqueDelVar(), SCIPcliquetableAdd(), SCIPcomputeVarUbGlobal(), SCIPconflictAddRelaxedBound(), SCIPconflictGetVarUb(), SCIPconsResolvePropagation(), SCIPcreateConsLinking(), SCIPcreateConsOrbitope(), SCIPcreateFiniteSolCopy(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPevalExprtreeGlobalBounds(), SCIPimplicsAdd(), SCIPincludePresolMILP(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpUpdateVarObj(), SCIPmatrixCreate(), SCIPmatrixPrintRow(), SCIPnodeAddBoundinfer(), SCIPprobdataAddNewSol(), SCIPpropResolvePropagation(), SCIPreoptSaveGlobalBounds(), SCIPresolveSolHeurSubNlp(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPsolAdjustImplicitSolVals(), SCIPsolCheck(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPStpHeurRecRun(), SCIPStpHeurTMRunLP(), SCIPtightenVarLbGlobal(), SCIPtightenVarUbGlobal(), SCIPvarAddHoleGlobal(), SCIPvarAddImplic(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarCopy(), SCIPvarGetLbGlobal(), SCIPvarGetMultaggrLbGlobal(), SCIPvarGetMultaggrUbGlobal(), SCIPvarGetNLPSol_rec(), SCIPvarGetProbvarBinary(), SCIPvarGetRelaxSol(), SCIPvarPrint(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarUpdateBestRootSol(), SCIPvisualizeConsCumulative(), SCIPwriteBnd(), SCIPwriteLp(), SCIPwritePip(), selectShifting(), sepaImplBoundCutsSOS1(), separateCuts(), separateIndicators(), separatePerspective(), sepastoreApplyLb(), sepastoreApplyUb(), sepastoreIsBdchgApplicable(), setupAggregationData(), setupAndSolveCumulativeSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipRapidlearning(), shiftValues(), singletonColumnStuffing(), skipRedundantBdchginfos(), solveAndEvalSubscip(), solveClassification(), solveCumulative(), solveLp(), solveMinIISC(), solveSubNLP(), sortAndMergeClique(), termIsConstant(), tightenBounds(), tightenCoefs(), tightenDualproof(), tightenSingleVar(), tightenVariables(), tightenVarLb(), transformDualredsToBounddisjunction(), transformNonIntegralRow(), treeAddPendingBdchg(), tryAdd2variableBuffer(), tryFixVar(), tryUpgradingXor(), undoBdchgsProof(), unlockVariableCardinality(), unlockVariableSOS2(), updateDistances(), updateFirstRow(), updateFirstRowGlobal(), updateSlacks(), varAddImplic(), varAddVbound(), varIncRootboundchgs(), varIsFixed(), and varProcessAddHoleGlobal().
◆ SCIPvarGetHolelistGlobal()
SCIP_EXPORT SCIP_HOLELIST* SCIPvarGetHolelistGlobal | ( | SCIP_VAR * | var | ) |
gets the global hole list of an active variable
- Parameters
-
var problem variable
Definition at line 17687 of file var.c.
References SCIP_Var::glbdom, SCIP_Dom::holelist, NULL, SCIP_Real, and SCIPvarGetBestBoundGlobal().
Referenced by SCIPvarAggregate(), SCIPvarCopy(), SCIPvarGetUbGlobal(), SCIPvarMultiaggregate(), and SCIPvarPrint().
◆ SCIPvarGetBestBoundGlobal()
SCIP_EXPORT SCIP_Real SCIPvarGetBestBoundGlobal | ( | SCIP_VAR * | var | ) |
gets best global bound of variable with respect to the objective function
- Parameters
-
var problem variable
Definition at line 17697 of file var.c.
References SCIP_Var::glbdom, SCIP_Dom::lb, NULL, SCIP_Var::obj, SCIP_Real, SCIPvarGetWorstBoundGlobal(), and SCIP_Dom::ub.
Referenced by SCIPvarGetHolelistGlobal().
◆ SCIPvarGetWorstBoundGlobal()
SCIP_EXPORT SCIP_Real SCIPvarGetWorstBoundGlobal | ( | SCIP_VAR * | var | ) |
gets worst global bound of variable with respect to the objective function
- Parameters
-
var problem variable
Definition at line 17710 of file var.c.
References SCIP_Var::glbdom, SCIP_Dom::lb, NULL, SCIP_Var::obj, SCIP_Real, SCIPvarGetLbLocal(), and SCIP_Dom::ub.
Referenced by initSolve(), and SCIPvarGetBestBoundGlobal().
◆ SCIPvarGetLbLocal()
SCIP_EXPORT SCIP_Real SCIPvarGetLbLocal | ( | SCIP_VAR * | var | ) |
gets current lower bound of variable
- Parameters
-
var problem variable
Definition at line 17723 of file var.c.
References SCIP_Dom::lb, SCIP_Var::locdom, NULL, SCIP_Real, and SCIPvarGetUbLocal().
Referenced by addBilinearTermToCut(), addBoundViolated(), addBranchingComplementaritiesSOS1(), addCand(), addCliqueDataEntry(), addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addConflictReasonVars(), addFacetToCut(), addFixedVarsConss(), addIntervalGradientEstimator(), addLinearTermToCut(), addRelaxation(), addSplitcons(), addUserEstimator(), analyseInfeasibelCoreInsertion(), analyzeConflictOne(), analyzeConflictUpperbound(), analyzeConflictZero(), analyzeEnergyRequirement(), analyzeGenVBoundConflict(), analyzeZeroResultant(), applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), applyBdchgs(), applyBoundHeur(), applyCliqueFixings(), applyGenVBound(), applyNlobbt(), applyOptcumulative(), applyOptcumulativeFixings(), applyProbing(), applyProbingVar(), applyVboundsFixings(), branch(), branchBalancedCardinality(), branchcandCalcLPCands(), branchruledataUpdateCurrentBounds(), branchUnbalancedCardinality(), buildMod2Matrix(), calcBranchScore(), calculateAlternatives(), catchEvent(), catchEventBinvar(), changeAncestorBranchings(), checkBounddisjunction(), checkCounters(), checkForOverlapping(), checkIISlocal(), checkKnapsack(), checkLogicor(), checkOverloadViaThetaTree(), checkRikun(), checkSetupTolerances(), checkSolution(), checkSwitchNonoverlappingSOS1Methods(), checkVarbound(), checkVariable(), chgCoeffWithBound(), chgProbingBound(), chgQuadCoeffWithBound(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), collectActivities(), collectBranchingCands(), collectCliqueData(), collectDataTTEF(), collectEstLst(), collectIntVars(), collectSolActivities(), collectSolution(), componentSetupWorkingSol(), computeAlternativeBounds(), computeBranchingVariables(), computeCut(), computeEnergyContribution(), computeImpliedEst(), computeImpliedLct(), computeInteriorPoint(), computeMinDistance(), computeReferencePointGauge(), computeReferencePointProjection(), computeStandardLPOptimalityCut(), computeSymmetryGroup(), computeViolation(), conflictAnalyzeLP(), conflictAnalyzeRemainingBdchgs(), consCheckRedundancy(), consdataCheckNonbinvar(), consdataComputePseudoActivity(), consdataCreate(), consdataGetActivityResiduals(), consdataPrint(), consdataRecomputeMaxActivityDelta(), consdataRecomputeMinactivity(), consdataUpdateLinearActivity(), consFixLinkvar(), constraintNonOverlappingGraph(), coretimesUpdateLb(), coretimesUpdateUb(), countSparseSol(), createCoreProfile(), createCoverCuts(), createCoverCutsTimepoint(), createCoveringProblem(), createNewSol(), createSelectedSortedEventpointsSol(), createSolFromNLP(), createSolFromSubScipSol(), createSortedEventpoints(), createSubscip(), CUTOFF_CONSTRAINT(), cutsRoundMIR(), cutsRoundStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), deleteVarCardinality(), determineBestBounds(), doSeachEcAggr(), doSolveSubMIP(), dropEvent(), dropEventBinvar(), dryBranch(), dualBoundStrengthening(), enforceCardinality(), enforceConflictgraph(), enforceConstraint(), enforceIndicators(), enforceSol(), evalCorner(), evaluateGauge(), execRelpscost(), executeBranchingRecursive(), extractCycle(), extractGates(), filterCands(), filterExistingLP(), findBestLb(), findComponents(), findLexMaxFace(), fixAlmostFixedX(), fixAndPropagate(), fixBounds(), fixedgevar(), fixIntegerVariable(), fixIntegerVariableLb(), fixInterdiction(), fixVariable(), fixVariableZero(), fixVariableZeroNode(), forbidCover(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorAtBoundary(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), generateBoundInequalityFromSOS1Nodes(), generateCloseCutPoint(), generateConvexConcaveUnderestimator(), generateCut(), generateCutFactorable(), generateCutLTI(), generateCutNonConvex(), generateCutSol(), generateEstimatingHyperplane(), generateLinearizationCut(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateRowCardinality(), generateRowSOS2(), generateSecantCut(), generateUnderestimatorParallelYFacets(), generateZerohalfCut(), getBoundConsFromVertices(), getClosestVub(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getFixingValue(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getImplVarRedcost(), getIneqViol(), getMaxactImplicObjchg(), getNLPFracVars(), getRandomVariable(), getRelDistance(), getValueScore(), handle1Cycle(), handleNewVariableCardinality(), handleNewVariableSOS1(), handleNewVariableSOS2(), heurdataUpdateCurrentBounds(), heurExec(), impliesVlbPrecedenceCondition(), improvePoint(), inferboundsEdgeFinding(), inferVariableZero(), initConflictgraph(), initializeSol(), initLP(), initProblem(), initSepaData(), isConvexLocal(), isPossibleToComputeCut(), isPseudocostUpdateValid(), isViolatedSOS1(), liftCliqueVariables(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), nlpCalcFracVars(), nlpFlushVarAdditions(), nlpSolve(), nlpUpdateVarBounds(), nlrowCalcActivityBounds(), nodeGetSolvalBinaryBigMSOS1(), nodeGetSolvalVarboundLbSOS1(), performBranching(), performDualfix(), performFixing(), performOrbitalFixing(), performRandRounding(), performStrongbranchSOS1(), performStrongbranchWithPropagation(), preprocessCliques(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolRoundVarsSOS1(), presolveConsEst(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveFindDuplicates(), presolvePropagateCons(), presolveUpgrade(), printBoundSection(), processBinvarFixings(), processFixings(), processRealBoundChg(), processWatchedVars(), projectVbd(), propagateBoundsBilinearTerm(), propagateBoundsCons(), propagateBoundsGetQuadActivity(), propagateBoundsQuadVar(), propagateBoundsTightenVar(), propagateBoundsTightenVarLb(), propagateCons(), propagateCutoffboundBinvars(), propagateCutoffboundVar(), propagateFullOrbitopeCons(), propagateLbTTEF(), propagatePackingPartitioningCons(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateTimetable(), propagateTTEF(), propagateUbTTEF(), propagateVbounds(), propCardinality(), propConsSOS1(), propIndicator(), proposeBranchingPoint(), propSOS2(), propVariableNonzero(), propVariables(), recomputeLooseObjectiveValue(), recomputePseudoObjectiveValue(), redbasedVarfixing(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerBranchingVariables(), registerLargeRelaxValueVariableForBranching(), removeZeros(), removeZerosQuad(), reoptCheckLocalRestart(), reoptSimilarity(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), resolveGenVBoundPropagation(), retransformVariable(), rowCalculateGauss(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRGRAPHVARADDED(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SORTINDCOMP(), SCIPaddConflictBinvar(), SCIPaggrRowCancelVarWithBound(), SCIPanalyzeDeductionsProbing(), SCIPapplyLockFixings(), SCIPapplyProbingVar(), SCIPbendersSetupSubproblem(), SCIPbranchcandAddExternCand(), SCIPbranchcandGetPseudoCands(), SCIPbranchcandUpdateVar(), SCIPbranchExecExtern(), SCIPbranchExecLP(), SCIPbranchExecPseudo(), SCIPbranchGetBranchingPoint(), SCIPbranchVar(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarLbNode(), SCIPchgVarLbProbing(), SCIPcolCreate(), SCIPcomputeConvexEnvelopeFacet(), SCIPcomputeVarLbLocal(), SCIPconflictAnalyzePseudo(), SCIPconflictAnalyzeStrongbranch(), SCIPcreateNlpiProb(), SCIPcreateWorstCaseProfile(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPevalExprtreeLocalBounds(), SCIPfixVar(), SCIPfixVarProbing(), SCIPgetVarLbAtIndex(), SCIPgetVarStrongbranchWithPropagation(), SCIPgetVarWasFixedAtIndex(), SCIPinferBinvarCons(), SCIPinferBinvarProp(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPisLinearLocalQuadratic(), SCIPlpEndDive(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpStartDive(), SCIPlpUpdateVarObj(), SCIPlpUpdateVarUb(), SCIPmakeIndicatorFeasible(), SCIPnlpEndDive(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPnodePropagateImplics(), SCIPperformGenericDivingAlgorithm(), SCIPpricestoreAddBdviolvar(), SCIPpricestoreAddProbVars(), SCIPpricestoreAddVar(), SCIPpricestoreResetBounds(), SCIPprobUpdateBestRootSol(), SCIPreoptnodeAddCons(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsetBinaryVarIndicator(), SCIPsnprintfProbingStats(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPupdateNlpiProb(), SCIPvarAddHoleLocal(), SCIPvarChgLbGlobal(), SCIPvarCopy(), SCIPvarGetImplRedcost(), SCIPvarGetLbAtIndex(), SCIPvarGetMultaggrLbLocal(), SCIPvarGetMultaggrUbLocal(), SCIPvarGetNLPSol_rec(), SCIPvarGetRelaxSol(), SCIPvarGetWorstBoundGlobal(), SCIPvarPrint(), SCIPvarWasFixedAtIndex(), SCIPvisualCutoffNode(), SCIPvisualNewChild(), SCIPvisualSolvedNode(), SCIPvisualUpdateChild(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), selectBranchVar(), selectNextDiving(), selectVarRecursive(), separateCons(), separateCuts(), separatePerspective(), sepastoreApplyLb(), sepastoreApplyUb(), sepastoreIsBdchgApplicable(), setRedcosts(), setupAggregationData(), setupAndSolveFiniteSolSubscip(), solveAndEvalSubscip(), solveCumulative(), solveIndependentCons(), solveNlp(), solveNLP(), solveNode(), solveSubproblem(), sortBounds(), strengthenOrbitopeConstraint(), termIsConstant(), tightenBounds(), tightenCoefs(), tightenedLinkvar(), tightenSingleVar(), tightenUbTTEF(), tightenVariables(), tightenVarLb(), tightenVarsBoundsSOS1(), tightenVarUb(), transformNonIntegralRow(), transformVariable(), translateSubSol(), treeApplyPendingBdchgs(), tryOneOpt(), trySolCandidate(), updateBestCandidate(), updateBilinearRelaxation(), updateFirstRow(), updateImplicationGraphSOS1(), updatePseudocost(), updateVariableRounding(), updateWeightsTCliquegraph(), varIsFixed(), varIsUnfixedLocal(), varProcessAddHoleLocal(), varProcessBoundChanges(), writeFzn(), writeOpbFixedVars(), and writeOpbRelevantAnds().
◆ SCIPvarGetUbLocal()
SCIP_EXPORT SCIP_Real SCIPvarGetUbLocal | ( | SCIP_VAR * | var | ) |
gets current upper bound of variable
- Parameters
-
var problem variable
Definition at line 17733 of file var.c.
References SCIP_Var::locdom, NULL, SCIPvarGetHolelistLocal(), and SCIP_Dom::ub.
Referenced by addBilinearTermToCut(), addBoundViolated(), addBranchingComplementaritiesSOS1(), addCand(), addCliqueDataEntry(), addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addConflictReasonVars(), addFacetToCut(), addFixedVarsConss(), addIntervalGradientEstimator(), addLinearTermToCut(), addRelaxation(), addSplitcons(), addUserEstimator(), analyseInfeasibelCoreInsertion(), analyzeConflictLowerbound(), analyzeConflictOne(), analyzeConflictZero(), analyzeEnergyRequirement(), analyzeGenVBoundConflict(), analyzeZeroResultant(), applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), applyBdchgs(), applyBoundHeur(), applyCliqueFixings(), applyGenVBound(), applyNlobbt(), applyOptcumulative(), applyOptcumulativeFixings(), applyProbing(), applyProbingVar(), applyVboundsFixings(), branch(), branchBalancedCardinality(), branchcandCalcLPCands(), branchruledataUpdateCurrentBounds(), branchUnbalancedCardinality(), buildMod2Matrix(), calcBranchScore(), calculateAlternatives(), catchEvent(), catchEventBinvar(), changeAncestorBranchings(), checkBounddisjunction(), checkCounters(), checkForOverlapping(), checkIISlocal(), checkKnapsack(), checkOverloadViaThetaTree(), checkRikun(), checkSetupTolerances(), checkSolution(), checkSwitchNonoverlappingSOS1Methods(), checkVarbound(), checkVariable(), chgCoeffWithBound(), chgProbingBound(), chgQuadCoeffWithBound(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), collectActivities(), collectBranchingCands(), collectCliqueData(), collectDataTTEF(), collectIntVars(), collectSolActivities(), collectSolution(), COLORprobPrintStableSet(), COLORprobPrintStableSets(), componentSetupWorkingSol(), computeAlternativeBounds(), computeCut(), computeEnergyContribution(), computeImpliedEst(), computeImpliedLct(), computeInteriorPoint(), computeMinDistance(), computeReferencePointGauge(), computeReferencePointProjection(), computeStandardLPOptimalityCut(), computeSymmetryGroup(), computeViolation(), conflictAnalyzeLP(), conflictAnalyzeRemainingBdchgs(), consCheckRedundancy(), consdataCheck(), consdataCheckNonbinvar(), consdataComputePseudoActivity(), consdataCreate(), consdataGetActivityResiduals(), consdataPrint(), consdataRecomputeMaxActivityDelta(), consdataRecomputeMinactivity(), consdataUpdateLinearActivity(), consFixLinkvar(), constraintNonOverlappingGraph(), coretimesUpdateLb(), coretimesUpdateUb(), countSparseSol(), createCoreProfile(), createCoverCuts(), createCoverCutsTimepoint(), createCoveringProblem(), createNewSol(), createSelectedSortedEventpointsSol(), createSolFromNLP(), createSolFromSubScipSol(), createSortedEventpoints(), createSubscip(), CUTOFF_CONSTRAINT(), cutsRoundMIR(), cutsRoundStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), determineBestBounds(), doSeachEcAggr(), doSolveSubMIP(), dropEvent(), dropEventBinvar(), dryBranch(), dualBoundStrengthening(), enforceCardinality(), enforceConflictgraph(), enforceIndicators(), enforceSol(), evalCorner(), evaluateGauge(), execRelpscost(), executeBranchingRecursive(), extractCycle(), extractGates(), filterCands(), filterExistingLP(), findBestUb(), findComponents(), findLexMinFace(), fixAlmostFixedX(), fixAndPropagate(), fixBounds(), fixedgevar(), fixIntegerVariable(), fixIntegerVariableUb(), fixInterdiction(), fixVariable(), fixVariableZero(), fixVariableZeroNode(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorAtBoundary(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), generateBoundInequalityFromSOS1Nodes(), generateCloseCutPoint(), generateConvexConcaveUnderestimator(), generateCut(), generateCutFactorable(), generateCutLTI(), generateCutNonConvex(), generateCutSol(), generateEstimatingHyperplane(), generateLinearizationCut(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateRowSOS2(), generateSecantCut(), generateUnderestimatorParallelYFacets(), generateZerohalfCut(), getBoundConsFromVertices(), getClosestVlb(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getFixingValue(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getImplVarRedcost(), getIneqViol(), getMaxactImplicObjchg(), getNLPFracVars(), getRandomVariable(), getRelDistance(), getValueScore(), handle1Cycle(), handleNewVariableSOS1(), handleNewVariableSOS2(), ObjPricerVRP::have_edge(), heurdataUpdateCurrentBounds(), heurExec(), impliesVlbPrecedenceCondition(), improvePoint(), inferboundsEdgeFinding(), inferVariableZero(), initConflictgraph(), initLP(), initProblem(), initSepaData(), isConvexLocal(), isPossibleToComputeCut(), isPseudocostUpdateValid(), isViolatedSOS1(), liftCliqueVariables(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), nlpCalcFracVars(), nlpFlushVarAdditions(), nlpSolve(), nlpUpdateVarBounds(), nlrowCalcActivityBounds(), nodeGetSolvalBinaryBigMSOS1(), nodeGetSolvalVarboundUbSOS1(), performBranching(), performDualfix(), performFixing(), performOrbitalFixing(), performRandRounding(), performStrongbranchSOS1(), performStrongbranchWithPropagation(), preprocessCliques(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolRoundVarsSOS1(), presolveConsLct(), presolveFindDuplicates(), presolvePropagateCons(), presolveUpgrade(), printBoundSection(), processBinvarFixings(), processFixings(), processRealBoundChg(), processWatchedVars(), projectVbd(), propagateBoundsBilinearTerm(), propagateBoundsCons(), propagateBoundsGetQuadActivity(), propagateBoundsQuadVar(), propagateBoundsTightenVar(), propagateBoundsTightenVarUb(), propagateCons(), propagateCutoffboundBinvars(), propagateCutoffboundVar(), propagateFullOrbitopeCons(), propagateLbTTEF(), propagatePackingPartitioningCons(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateTimetable(), propagateTTEF(), propagateUbTTEF(), propagateVbounds(), propCardinality(), propConsSOS1(), propIndicator(), proposeBranchingPoint(), propSOS2(), propVariableNonzero(), propVariables(), recomputeLooseObjectiveValue(), recomputePseudoObjectiveValue(), redbasedVarfixing(), reduce_boundHopRc(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerBranchingVariables(), registerLargeRelaxValueVariableForBranching(), removeFixedBinvars(), removeZeros(), removeZerosQuad(), reoptCheckLocalRestart(), reoptSimilarity(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), resolveGenVBoundPropagation(), retransformVariable(), rowCalculateGauss(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRGRAPHVARADDED(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERFARKAS(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SORTINDCOMP(), SCIPaddConflictBinvar(), SCIPaggrRowCancelVarWithBound(), SCIPanalyzeDeductionsProbing(), SCIPapplyLockFixings(), SCIPapplyProbingVar(), SCIPbendersSetupSubproblem(), SCIPbranchcandAddExternCand(), SCIPbranchcandGetPseudoCands(), SCIPbranchcandUpdateVar(), SCIPbranchExecExtern(), SCIPbranchExecLP(), SCIPbranchExecPseudo(), SCIPbranchGetBranchingPoint(), SCIPbranchVar(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPchgVarUbNode(), SCIPchgVarUbProbing(), SCIPcolCreate(), SCIPcomputeConvexEnvelopeFacet(), SCIPcomputeVarUbLocal(), SCIPconflictAnalyzePseudo(), SCIPconflictAnalyzeStrongbranch(), SCIPcreateNlpiProb(), SCIPcreateWorstCaseProfile(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPevalExprtreeLocalBounds(), SCIPfixVar(), SCIPfixVarProbing(), SCIPgetVarStrongbranchWithPropagation(), SCIPgetVarUbAtIndex(), SCIPgetVarWasFixedAtIndex(), SCIPinferBinvarCons(), SCIPinferBinvarProp(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPisLinearLocalQuadratic(), SCIPlpEndDive(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpStartDive(), SCIPlpUpdateVarLb(), SCIPlpUpdateVarObj(), SCIPnlpEndDive(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPnodePropagateImplics(), SCIPperformGenericDivingAlgorithm(), SCIPpricestoreAddBdviolvar(), SCIPpricestoreAddProbVars(), SCIPpricestoreAddVar(), SCIPpricestoreResetBounds(), SCIPprobUpdateBestRootSol(), SCIPreoptnodeAddCons(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsnprintfProbingStats(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPStpHeurPruneRun(), SCIPStpHeurSlackPruneRun(), SCIPStpHeurSlackPruneRunPcMw(), SCIPStpHeurTMRunLP(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPupdateNlpiProb(), SCIPvarAddHoleLocal(), SCIPvarChgUbGlobal(), SCIPvarCopy(), SCIPvarGetImplRedcost(), SCIPvarGetLbLocal(), SCIPvarGetMultaggrLbLocal(), SCIPvarGetMultaggrUbLocal(), SCIPvarGetNLPSol_rec(), SCIPvarGetRelaxSol(), SCIPvarGetUbAtIndex(), SCIPvarPrint(), SCIPvarWasFixedAtIndex(), SCIPvisualCutoffNode(), SCIPvisualNewChild(), SCIPvisualSolvedNode(), SCIPvisualUpdateChild(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), selectBranchVar(), selectNextDiving(), selectVarRecursive(), sep_2cut(), separateCons(), separateCuts(), separateIndicators(), separatePerspective(), sepastoreApplyLb(), sepastoreApplyUb(), sepastoreIsBdchgApplicable(), setRedcosts(), setupAggregationData(), setupAndSolveFiniteSolSubscip(), solveAndEvalSubscip(), solveCumulative(), solveIndependentCons(), solveNlp(), solveNLP(), solveNode(), solveSubproblem(), sortBounds(), strengthenOrbitopeConstraint(), termIsConstant(), tightenBounds(), tightenCoefs(), tightenedLinkvar(), tightenLbTTEF(), tightenSingleVar(), tightenVariables(), tightenVarLb(), tightenVarsBoundsSOS1(), tightenVarUb(), transformNonIntegralRow(), transformVariable(), translateSubSol(), treeApplyPendingBdchgs(), tryOneOpt(), trySolCandidate(), updateBestCandidate(), updateBilinearRelaxation(), updateFirstRow(), updateImplicationGraphSOS1(), updatePseudocost(), updateVariableRounding(), updateWeightsTCliquegraph(), varIsFixed(), varIsUnfixedLocal(), varProcessAddHoleLocal(), varProcessBoundChanges(), writeFzn(), writeOpbFixedVars(), and writeOpbRelevantAnds().
◆ SCIPvarGetHolelistLocal()
SCIP_EXPORT SCIP_HOLELIST* SCIPvarGetHolelistLocal | ( | SCIP_VAR * | var | ) |
gets the current hole list of an active variable
- Parameters
-
var problem variable
Definition at line 17743 of file var.c.
References SCIP_Dom::holelist, SCIP_Var::locdom, NULL, SCIP_Real, and SCIPvarGetBestBoundLocal().
Referenced by SCIPvarCopy(), SCIPvarGetUbLocal(), and SCIPvarPrint().
◆ SCIPvarGetBestBoundLocal()
SCIP_EXPORT SCIP_Real SCIPvarGetBestBoundLocal | ( | SCIP_VAR * | var | ) |
gets best local bound of variable with respect to the objective function
- Parameters
-
var problem variable
Definition at line 17753 of file var.c.
References SCIP_Dom::lb, SCIP_Var::locdom, NULL, SCIP_Var::obj, SCIP_Real, SCIPvarGetWorstBoundLocal(), and SCIP_Dom::ub.
Referenced by addBoundViolated(), nlpAddVars(), SCIP_DECL_CONSINITLP(), SCIPnlpGetPseudoObjval(), SCIPnlrowRecalcPseudoActivity(), SCIPvarGetHolelistLocal(), SCIPvarGetLPSol_rec(), SCIPvarGetPseudoSol(), and SCIPvarGetPseudoSol_rec().
◆ SCIPvarGetWorstBoundLocal()
SCIP_EXPORT SCIP_Real SCIPvarGetWorstBoundLocal | ( | SCIP_VAR * | var | ) |
gets worst local bound of variable with respect to the objective function
- Parameters
-
var problem variable
Definition at line 17766 of file var.c.
References SCIP_Dom::lb, SCIP_Var::locdom, NULL, SCIP_Var::obj, SCIPvarGetBestBoundType(), and SCIP_Dom::ub.
Referenced by SCIP_DECL_CONSINITLP(), SCIPtreeBranchVar(), SCIPtreeBranchVarNary(), and SCIPvarGetBestBoundLocal().
◆ SCIPvarGetBestBoundType()
SCIP_EXPORT SCIP_BOUNDTYPE SCIPvarGetBestBoundType | ( | SCIP_VAR * | var | ) |
gets type (lower or upper) of best bound of variable with respect to the objective function
- Parameters
-
var problem variable
Definition at line 17779 of file var.c.
References NULL, SCIP_Var::obj, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, and SCIPvarGetWorstBoundType().
Referenced by adjustCutoffbound(), collectMinactImplicVars(), collectMinactObjchg(), collectMinactVar(), consdataComputePseudoActivity(), getMinactObjchg(), objimplicsCreate(), SCIP_DECL_CONSINITLP(), SCIPlpGetModifiedProvedPseudoObjval(), SCIPlpGetModifiedPseudoObjval(), and SCIPvarGetWorstBoundLocal().
◆ SCIPvarGetWorstBoundType()
SCIP_EXPORT SCIP_BOUNDTYPE SCIPvarGetWorstBoundType | ( | SCIP_VAR * | var | ) |
gets type (lower or upper) of worst bound of variable with respect to the objective function
- Parameters
-
var problem variable
Definition at line 17792 of file var.c.
References NULL, SCIP_Var::obj, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_Real, and SCIPvarGetLbLazy().
Referenced by getMaxactImplicObjchg(), getMaxactObjchg(), and SCIPvarGetBestBoundType().
◆ SCIPvarGetLbLazy()
SCIP_EXPORT SCIP_Real SCIPvarGetLbLazy | ( | SCIP_VAR * | var | ) |
gets lazy lower bound of variable
gets lazy lower bound of variable, returns -infinity if the variable has no lazy lower bound
- Parameters
-
var problem variable
Definition at line 17805 of file var.c.
References SCIP_Var::lazylb, NULL, SCIP_Real, and SCIPvarGetUbLazy().
Referenced by SCIPcolCreate(), SCIPvarGetWorstBoundType(), and SCIPvarPrint().
◆ SCIPvarGetUbLazy()
SCIP_EXPORT SCIP_Real SCIPvarGetUbLazy | ( | SCIP_VAR * | var | ) |
gets lazy upper bound of variable
gets lazy upper bound of variable, returns infinity if the variable has no lazy upper bound
- Parameters
-
var problem variable
Definition at line 17815 of file var.c.
References SCIP_Var::lazyub, NULL, SCIP_Real, and SCIPvarGetBranchFactor().
Referenced by SCIPcolCreate(), SCIPvarGetLbLazy(), and SCIPvarPrint().
◆ SCIPvarGetBranchFactor()
SCIP_EXPORT SCIP_Real SCIPvarGetBranchFactor | ( | SCIP_VAR * | var | ) |
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
-
var problem variable
Definition at line 17827 of file var.c.
References SCIP_Var::branchfactor, NULL, and SCIPvarGetBranchPriority().
Referenced by SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIPaddVarBranchFactor(), SCIPbranchExecExtern(), SCIPbranchExecLP(), SCIPbranchExecPseudo(), SCIPbranchGetScore(), SCIPprintBranchingStatistics(), SCIPscaleVarBranchFactor(), SCIPvarGetUbLazy(), and updateBestCandidate().
◆ SCIPvarGetBranchPriority()
SCIP_EXPORT int SCIPvarGetBranchPriority | ( | SCIP_VAR * | var | ) |
gets the branch priority of the variable; variables with higher priority should always be preferred to variables with lower priority
- Parameters
-
var problem variable
Definition at line 17839 of file var.c.
References SCIP_Var::branchpriority, NULL, and SCIPvarGetBranchDirection().
Referenced by branchcandCalcLPCands(), branchcandInsertPseudoCand(), branchcandRemovePseudoCand(), branchcandSortPseudoCands(), nlpCalcFracVars(), performBranching(), SCIP_DECL_DIALOGEXEC(), SCIPaddVarBranchPriority(), SCIPbranchcandAddExternCand(), SCIPbranchcandContainsExternCand(), SCIPbranchcandUpdateVarBranchPriority(), SCIPbranchExecExtern(), SCIPbranchExecLP(), SCIPbranchExecPseudo(), SCIPprintBranchingStatistics(), SCIPtransformMinUC(), SCIPtreeBranchVar(), SCIPupdateVarBranchPriority(), and SCIPvarGetBranchFactor().
◆ SCIPvarGetBranchDirection()
SCIP_EXPORT SCIP_BRANCHDIR SCIPvarGetBranchDirection | ( | SCIP_VAR * | var | ) |
gets the preferred branch direction of the variable (downwards, upwards, or auto)
- Parameters
-
var problem variable
Definition at line 17849 of file var.c.
References SCIP_Var::branchdirection, NULL, and SCIPvarGetNVlbs().
Referenced by SCIP_DECL_DIALOGEXEC(), SCIPtreeCalcNodeselPriority(), and SCIPvarGetBranchPriority().
◆ SCIPvarGetNVlbs()
SCIP_EXPORT int SCIPvarGetNVlbs | ( | SCIP_VAR * | var | ) |
gets number of variable lower bounds x >= b_i*z_i + d_i of given variable x
- Parameters
-
var problem variable
Definition at line 17859 of file var.c.
References NULL, SCIPvarGetVlbVars(), SCIPvboundsGetNVbds(), and SCIP_Var::vlbs.
Referenced by collectNonBinaryVBoundData(), computeImpliedEst(), constructSNFRelaxation(), cutsRoundMIR(), cutsTransformMIR(), cutsTransformStrongCG(), detectImpliedBounds(), determineBestBounds(), dfs(), getClosestVlb(), initData(), projectVbd(), propagateVarbounds(), SCIPseparateRelaxedKnapsack(), SCIPvarGetBranchDirection(), SCIPvarGetClosestVlb(), SCIPvisualizeConsCumulative(), and strengthenVarbounds().
◆ SCIPvarGetVlbVars()
SCIP_EXPORT SCIP_VAR** SCIPvarGetVlbVars | ( | SCIP_VAR * | var | ) |
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
-
var problem variable
Definition at line 17871 of file var.c.
References NULL, SCIP_Real, SCIPvarGetVlbCoefs(), SCIPvboundsGetVars(), and SCIP_Var::vlbs.
Referenced by collectNonBinaryVBoundData(), computeImpliedEst(), constructSNFRelaxation(), cutsRoundMIR(), cutsTransformMIR(), cutsTransformStrongCG(), determineBestBounds(), determineBoundForSNF(), dfs(), findBestLb(), getClosestVlb(), initData(), projectVbd(), propagateVarbounds(), SCIPcutGenerationHeuristicCMIR(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVlb(), SCIPvarGetNVlbs(), SCIPvisualizeConsCumulative(), separateCuts(), strengthenVarbounds(), and transformNonIntegralRow().
◆ SCIPvarGetVlbCoefs()
SCIP_EXPORT SCIP_Real* SCIPvarGetVlbCoefs | ( | SCIP_VAR * | var | ) |
gets array with bounding coefficients b_i in variable lower bounds x >= b_i*z_i + d_i of given variable x
- Parameters
-
var problem variable
Definition at line 17881 of file var.c.
References NULL, SCIP_Real, SCIPvarGetVlbConstants(), SCIPvboundsGetCoefs(), and SCIP_Var::vlbs.
Referenced by collectNonBinaryVBoundData(), computeImpliedEst(), constructSNFRelaxation(), cutsRoundMIR(), cutsTransformMIR(), cutsTransformStrongCG(), determineBestBounds(), dfs(), getClosestVlb(), initData(), projectVbd(), propagateVarbounds(), SCIPcutGenerationHeuristicCMIR(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVlb(), SCIPvarGetVlbVars(), separateCuts(), strengthenVarbounds(), and transformNonIntegralRow().
◆ SCIPvarGetVlbConstants()
SCIP_EXPORT SCIP_Real* SCIPvarGetVlbConstants | ( | SCIP_VAR * | var | ) |
gets array with bounding constants d_i in variable lower bounds x >= b_i*z_i + d_i of given variable x
- Parameters
-
var problem variable
Definition at line 17891 of file var.c.
References NULL, SCIPvarGetNVubs(), SCIPvboundsGetConstants(), and SCIP_Var::vlbs.
Referenced by collectNonBinaryVBoundData(), computeImpliedEst(), constructSNFRelaxation(), cutsRoundMIR(), cutsTransformMIR(), cutsTransformStrongCG(), determineBestBounds(), getClosestVlb(), initData(), projectVbd(), propagateVarbounds(), SCIPcutGenerationHeuristicCMIR(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVlb(), SCIPvarGetVlbCoefs(), strengthenVarbounds(), and transformNonIntegralRow().
◆ SCIPvarGetNVubs()
SCIP_EXPORT int SCIPvarGetNVubs | ( | SCIP_VAR * | var | ) |
gets number of variable upper bounds x <= b_i*z_i + d_i of given variable x
- Parameters
-
var problem variable
Definition at line 17901 of file var.c.
References NULL, SCIPvarGetVubVars(), SCIPvboundsGetNVbds(), and SCIP_Var::vubs.
Referenced by collectNonBinaryVBoundData(), computeImpliedLct(), constructSNFRelaxation(), cutsRoundMIR(), cutsTransformMIR(), cutsTransformStrongCG(), detectImpliedBounds(), determineBestBounds(), dfs(), getClosestVub(), initData(), projectVbd(), propagateVarbounds(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVub(), SCIPvarGetVlbConstants(), and SCIPvisualizeConsCumulative().
◆ SCIPvarGetVubVars()
SCIP_EXPORT SCIP_VAR** SCIPvarGetVubVars | ( | SCIP_VAR * | var | ) |
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
-
var problem variable
Definition at line 17913 of file var.c.
References NULL, SCIP_Real, SCIPvarGetVubCoefs(), SCIPvboundsGetVars(), and SCIP_Var::vubs.
Referenced by collectNonBinaryVBoundData(), computeImpliedLct(), constructSNFRelaxation(), cutsRoundMIR(), cutsTransformMIR(), cutsTransformStrongCG(), determineBestBounds(), determineBoundForSNF(), dfs(), findBestUb(), getClosestVub(), initData(), projectVbd(), propagateVarbounds(), SCIPcutGenerationHeuristicCMIR(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVub(), SCIPvarGetNVubs(), SCIPvisualizeConsCumulative(), separateCuts(), and transformNonIntegralRow().
◆ SCIPvarGetVubCoefs()
SCIP_EXPORT SCIP_Real* SCIPvarGetVubCoefs | ( | SCIP_VAR * | var | ) |
gets array with bounding coefficients b_i in variable upper bounds x <= b_i*z_i + d_i of given variable x
- Parameters
-
var problem variable
Definition at line 17923 of file var.c.
References NULL, SCIP_Real, SCIPvarGetVubConstants(), SCIPvboundsGetCoefs(), and SCIP_Var::vubs.
Referenced by collectNonBinaryVBoundData(), computeImpliedLct(), constructSNFRelaxation(), cutsRoundMIR(), cutsTransformMIR(), cutsTransformStrongCG(), determineBestBounds(), dfs(), getClosestVub(), initData(), projectVbd(), propagateVarbounds(), SCIPcutGenerationHeuristicCMIR(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVub(), SCIPvarGetVubVars(), separateCuts(), and transformNonIntegralRow().
◆ SCIPvarGetVubConstants()
SCIP_EXPORT SCIP_Real* SCIPvarGetVubConstants | ( | SCIP_VAR * | var | ) |
gets array with bounding constants d_i in variable upper bounds x <= b_i*z_i + d_i of given variable x
- Parameters
-
var problem variable
Definition at line 17933 of file var.c.
References NULL, SCIPvarGetNImpls(), SCIPvboundsGetConstants(), and SCIP_Var::vubs.
Referenced by collectNonBinaryVBoundData(), computeImpliedLct(), constructSNFRelaxation(), cutsRoundMIR(), cutsTransformMIR(), cutsTransformStrongCG(), determineBestBounds(), getClosestVub(), initData(), projectVbd(), propagateVarbounds(), SCIPcutGenerationHeuristicCMIR(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVub(), SCIPvarGetVubCoefs(), and transformNonIntegralRow().
◆ SCIPvarGetNImpls()
SCIP_EXPORT int SCIPvarGetNImpls | ( | SCIP_VAR * | var, |
SCIP_Bool | varfixing | ||
) |
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 17945 of file var.c.
References SCIP_Var::implics, NULL, SCIPimplicsGetNImpls(), SCIPvarGetImplVars(), and SCIPvarIsActive().
Referenced by catchEvents(), collectNonBinaryImplicationData(), dfs(), extractCycle(), getImpliedBounds(), getMaxactImplicObjchg(), presolveDisaggregate(), propagateVbounds(), removeConstraintsDueToNegCliques(), SCIP_DECL_PRESOLEXEC(), SCIPapplyProbingVar(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarGetAvgInferences(), SCIPvarGetAvgInferencesCurrentRun(), SCIPvarGetVubConstants(), separateCuts(), and sortVariables().
◆ SCIPvarGetImplVars()
SCIP_EXPORT SCIP_VAR** SCIPvarGetImplVars | ( | SCIP_VAR * | var, |
SCIP_Bool | varfixing | ||
) |
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 17962 of file var.c.
References SCIP_Var::implics, NULL, SCIPimplicsGetVars(), SCIPvarGetImplTypes(), and SCIPvarIsActive().
Referenced by collectNonBinaryImplicationData(), dfs(), extractCycle(), getImpliedBounds(), getMaxactImplicObjchg(), propagateVbounds(), SCIP_DECL_PRESOLEXEC(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarGetNImpls(), and separateCuts().
◆ SCIPvarGetImplTypes()
SCIP_EXPORT SCIP_BOUNDTYPE* SCIPvarGetImplTypes | ( | SCIP_VAR * | var, |
SCIP_Bool | varfixing | ||
) |
gets array with implication types of implications y <= b or y >= b for x == 0 or x == 1 of given active problem variable x (SCIP_BOUNDTYPE_UPPER if y <= b, SCIP_BOUNDTYPE_LOWER if y >= b), 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 17977 of file var.c.
References SCIP_Var::implics, NULL, SCIP_Real, SCIPimplicsGetTypes(), SCIPvarGetImplBounds(), and SCIPvarIsActive().
Referenced by collectNonBinaryImplicationData(), dfs(), extractCycle(), getImpliedBounds(), getMaxactImplicObjchg(), propagateVbounds(), SCIP_DECL_PRESOLEXEC(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarGetImplVars(), and separateCuts().
◆ SCIPvarGetImplBounds()
SCIP_EXPORT SCIP_Real* SCIPvarGetImplBounds | ( | SCIP_VAR * | var, |
SCIP_Bool | varfixing | ||
) |
gets array with implication bounds b 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 17991 of file var.c.
References SCIP_Var::implics, NULL, SCIPimplicsGetBounds(), SCIPvarGetImplIds(), and SCIPvarIsActive().
Referenced by collectNonBinaryImplicationData(), extractCycle(), getImpliedBounds(), getMaxactImplicObjchg(), propagateVbounds(), SCIP_DECL_PRESOLEXEC(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarGetImplTypes(), and separateCuts().
◆ SCIPvarGetImplIds()
SCIP_EXPORT int* SCIPvarGetImplIds | ( | SCIP_VAR * | var, |
SCIP_Bool | varfixing | ||
) |
Gets array with unique ids 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. If an implication is a shortcut, i.e., it was added as part of the transitive closure of another implication, its id is negative, otherwise it is nonnegative.
- Parameters
-
var active problem variable varfixing FALSE for implications for x == 0, TRUE for x == 1
Definition at line 18007 of file var.c.
References SCIP_Var::implics, NULL, SCIPimplicsGetIds(), SCIPvarGetNCliques(), and SCIPvarIsActive().
Referenced by dfs(), propagateVbounds(), and SCIPvarGetImplBounds().
◆ SCIPvarGetNCliques()
SCIP_EXPORT int SCIPvarGetNCliques | ( | SCIP_VAR * | var, |
SCIP_Bool | varfixing | ||
) |
gets number of cliques, the active variable is contained in
- Parameters
-
var active problem variable varfixing FALSE for cliques containing x == 0, TRUE for x == 1
Definition at line 18019 of file var.c.
References SCIP_Var::cliquelist, NULL, SCIPcliquelistGetNCliques(), and SCIPvarGetCliques().
Referenced by addNextLevelCliques(), calcCliquePartitionGreedy(), catchEvents(), cliquesSearchClique(), collectBinaryCliqueData(), collectMinactImplicVars(), collectMinactVar(), detectImpliedBounds(), dfs(), extractCycle(), getMaxactImplicObjchg(), GUBsetCalcCliquePartition(), insertSortedRootNeighbors(), isNeighbor(), propagateVbounds(), removeConstraintsDueToNegCliques(), SCIPapplyProbingVar(), SCIPcliquelistCheck(), SCIPcliquelistRemoveFromCliques(), SCIPhaveVarsCommonClique(), SCIPnodePropagateImplics(), SCIPvarGetAvgInferences(), SCIPvarGetAvgInferencesCurrentRun(), SCIPvarGetImplIds(), SCIPvarGetImplRedcost(), separateGLS(), separateHeur(), sortVariables(), tarjan(), tcliquegraphAddCliqueVars(), and tcliquegraphAddNode().
◆ SCIPvarGetCliques()
SCIP_EXPORT SCIP_CLIQUE** SCIPvarGetCliques | ( | SCIP_VAR * | var, |
SCIP_Bool | varfixing | ||
) |
gets array of cliques, the active variable is contained in
- Parameters
-
var active problem variable varfixing FALSE for cliques containing x == 0, TRUE for x == 1
Definition at line 18030 of file var.c.
References SCIP_Var::cliquelist, NULL, SCIP_Real, SCIPcliquelistGetCliques(), and SCIPvarGetLPSol().
Referenced by addGLSCliques(), addNextLevelCliques(), cliquesSearchClique(), collectBinaryCliqueData(), collectMinactImplicVars(), dfs(), extractCycle(), getMaxactImplicObjchg(), insertSortedRootNeighbors(), isNeighbor(), propagateVbounds(), SCIPcliquelistCheck(), SCIPcliquelistRemoveFromCliques(), SCIPnodePropagateImplics(), SCIPvarGetImplRedcost(), SCIPvarGetNCliques(), tarjan(), and tcliquegraphAddNode().
◆ SCIPvarGetLPSol()
SCIP_EXPORT SCIP_Real SCIPvarGetLPSol | ( | SCIP_VAR * | var | ) |
gets primal LP solution value of variable
- Parameters
-
var problem variable
Definition at line 18041 of file var.c.
References SCIP_Var::col, SCIP_Var::data, NULL, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIPcolGetPrimsol(), SCIPvarGetLPSol_rec(), SCIPvarGetNLPSol(), and SCIPvarGetStatus().
Referenced by addPathCuts(), addSubtourCuts(), branch(), branchOnBin(), changeSubvariableObjective(), computeFixingrate(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), createCGCuts(), cutsTransformMIR(), DECL_VARFIXINGS(), determineBestBounds(), determineFixings(), determineVariableFixings(), execRelpscost(), filterExistingLP(), generateAverageNBRay(), generateCloseCutPoint(), generateDifferenceRay(), generateStartingPoint(), getBranchCands(), getFixingValue(), getVariableRedcostScore(), handle1Cycle(), handleCycle(), isPseudocostUpdateValid(), nodepartitionIsConnected(), restrictToBinaryBounds(), runVanillaStrongBranching(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPgetDualSolVal(), SCIPgetVarSols(), SCIPnodeAddBoundinfer(), SCIPselectVarPseudoStrongBranching(), SCIPvarGetCliques(), SCIPvarGetClosestVlb(), SCIPvarGetClosestVub(), SCIPvarGetLPSol_rec(), SCIPvarGetSol(), selectBranchingVertexByLp(), selectBranchingVertexByLp2Flow(), selectVarMultAggrBranching(), solCutIsViolated(), solGetArrayVal(), solUnlinkVar(), solveBilinearLP(), sortBounds(), and updatePseudocost().
◆ SCIPvarGetNLPSol()
SCIP_EXPORT SCIP_Real SCIPvarGetNLPSol | ( | SCIP_VAR * | var | ) |
gets primal NLP solution value of variable
- Parameters
-
var problem variable
Definition at line 18054 of file var.c.
References SCIP_Var::nlpsol, NULL, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPvarGetBdchgInfoLb(), SCIPvarGetNLPSol_rec(), and SCIPvarGetStatus().
Referenced by computeFixingrate(), computeStandardNLPFeasibilityCut(), createSolFromNLP(), getFixingValue(), getNlpVarSol(), maximalslack(), nlpCalcFracVars(), nlpDelVarPos(), nlpUpdateVarBounds(), restrictToBinaryBounds(), SCIPnlrowRecalcNLPActivity(), SCIProwGetNLPFeasibility(), SCIPsolLinkNLPSol(), SCIPvarGetLPSol(), SCIPvarGetNLPSol_rec(), separateCuts(), solGetArrayVal(), and solUnlinkVar().
◆ SCIPvarGetBdchgInfoLb()
SCIP_EXPORT SCIP_BDCHGINFO* SCIPvarGetBdchgInfoLb | ( | SCIP_VAR * | var, |
int | pos | ||
) |
return lower bound change info at requested position
- Parameters
-
var problem variable pos requested position
Definition at line 18067 of file var.c.
References SCIP_Var::lbchginfos, and SCIPvarGetNBdchgInfosLb().
Referenced by SCIPconflictAddRelaxedBound(), SCIPvarGetNLPSol(), and updatePseudocost().
◆ SCIPvarGetNBdchgInfosLb()
SCIP_EXPORT int SCIPvarGetNBdchgInfosLb | ( | SCIP_VAR * | var | ) |
gets the number of lower bound change info array
- Parameters
-
var problem variable
Definition at line 18079 of file var.c.
References SCIP_Var::nlbchginfos, and SCIPvarGetBdchgInfoUb().
Referenced by SCIPvarGetBdchgInfoLb(), and updatePseudocost().
◆ SCIPvarGetBdchgInfoUb()
SCIP_EXPORT SCIP_BDCHGINFO* SCIPvarGetBdchgInfoUb | ( | SCIP_VAR * | var, |
int | pos | ||
) |
return upper bound change info at requested position
- Parameters
-
var problem variable pos requested position
Definition at line 18087 of file var.c.
References SCIPvarGetNBdchgInfosUb(), and SCIP_Var::ubchginfos.
Referenced by SCIPconflictAddRelaxedBound(), SCIPvarGetNBdchgInfosLb(), and updatePseudocost().
◆ SCIPvarGetNBdchgInfosUb()
SCIP_EXPORT int SCIPvarGetNBdchgInfosUb | ( | SCIP_VAR * | var | ) |
gets the number upper bound change info array
- Parameters
-
var problem variable
Definition at line 18099 of file var.c.
References SCIP_Var::nubchginfos, NULL, and SCIPvarGetValuehistory().
Referenced by SCIPvarGetBdchgInfoUb(), and updatePseudocost().
◆ SCIPvarGetValuehistory()
SCIP_EXPORT SCIP_VALUEHISTORY* SCIPvarGetValuehistory | ( | SCIP_VAR * | var | ) |
returns the value based history for the variable
- Parameters
-
var problem variable
Definition at line 18109 of file var.c.
References NULL, SCIP_Real, SCIPvarGetPseudoSol(), and SCIP_Var::valuehistory.
Referenced by getValueScore(), and SCIPvarGetNBdchgInfosUb().
◆ SCIPvarIsRelaxationOnly()
SCIP_EXPORT SCIP_Bool SCIPvarIsRelaxationOnly | ( | SCIP_VAR * | var | ) |
returns whether a variable has been introduced to define a relaxation
These variables are only valid for the current SCIP solve round, they are not contained in any (checked) constraints, but may be used in cutting planes, for example. Relaxation-only variables are not copied by SCIPcopyVars and cuts that contain these variables are not added as linear constraints when restarting or transferring information from a copied SCIP to a SCIP. Also conflicts with relaxation-only variables are not generated at the moment. Relaxation-only variables do not appear in the objective.
returns whether a variable has been introduced to define a relaxation
These variables are only valid for the current SCIP solve round, they are not contained in any (checked) constraints, but may be used in cutting planes, for example. Relaxation-only variables are not copied by SCIPcopyVars and cuts that contain these variables are not added as linear constraints when restarting or transferring information from a copied SCIP to a SCIP. Also conflicts with relaxation-only variables are not generated at the moment.
- Parameters
-
var problem variable
Definition at line 17304 of file var.c.
References NULL, SCIP_Var::relaxationonly, and SCIPvarMarkRelaxationOnly().
Referenced by copyCuts(), copyVars(), createAndAddProofcons(), determineVariableFixings(), SCIPcopyConsLinear(), SCIPcreateConsLinear(), SCIPgenVBoundAdd(), SCIPgetVarCopy(), and SCIPvarIsMarkedDeleteGlobalStructures().
◆ SCIPvarMarkRelaxationOnly()
SCIP_EXPORT void SCIPvarMarkRelaxationOnly | ( | SCIP_VAR * | var | ) |
marks that this variable has only been introduced to define a relaxation
The variable must not have a coefficient in the objective.
- See also
- SCIPvarIsRelaxationOnly
- Parameters
-
var problem variable
Definition at line 17319 of file var.c.
References NULL, SCIP_Var::relaxationonly, SCIP_Bool, SCIPvarGetObj(), SCIPvarIsDeletable(), and TRUE.
Referenced by createObjRow(), and SCIPvarIsRelaxationOnly().
◆ SCIPvarGetLPSol_rec()
SCIP_EXPORT SCIP_Real SCIPvarGetLPSol_rec | ( | SCIP_VAR * | var | ) |
gets primal LP solution value of variable
- Parameters
-
var problem variable
Definition at line 12840 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::col, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Dom::lb, SCIP_Var::locdom, SCIP_Var::multaggr, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_DEFAULT_INFINITY, SCIP_INVALID, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPcolGetPrimsol(), SCIPerrorMessage, SCIPvarGetBestBoundLocal(), SCIPvarGetLPSol(), SCIPvarGetNLPSol_rec(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by SCIPvarGetLPSol(), and SCIPvarGetUbLP().
◆ SCIPvarGetNLPSol_rec()
SCIP_EXPORT SCIP_Real SCIPvarGetNLPSol_rec | ( | SCIP_VAR * | var | ) |
gets primal NLP solution value of variable
- Parameters
-
var problem variable
Definition at line 12912 of file var.c.
References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::multaggr, SCIP_Var::negate, SCIP_Var::negatedvar, SCIP_Var::nlpsol, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_INVALID, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetNLPSol(), SCIPvarGetPseudoSol_rec(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by SCIPvarGetLPSol_rec(), and SCIPvarGetNLPSol().
◆ SCIPvarGetPseudoSol()
SCIP_EXPORT SCIP_Real SCIPvarGetPseudoSol | ( | SCIP_VAR * | var | ) |
gets pseudo solution value of variable at current node
gets pseudo solution value of variable
- Parameters
-
var problem variable
Definition at line 18119 of file var.c.
References NULL, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPvarGetBestBoundLocal(), SCIPvarGetPseudoSol_rec(), SCIPvarGetStatus(), and SCIPvarGetVSIDS().
Referenced by SCIPgetVarSols(), SCIPprobPrintPseudoSol(), SCIPvarGetPseudoSol_rec(), SCIPvarGetSol(), SCIPvarGetValuehistory(), solGetArrayVal(), and solUnlinkVar().
◆ SCIPvarGetSol()
SCIP_EXPORT SCIP_Real SCIPvarGetSol | ( | SCIP_VAR * | var, |
SCIP_Bool | getlpval | ||
) |
gets current LP or pseudo solution value of variable
- Parameters
-
var problem variable getlpval should the LP solution value be returned?
Definition at line 13026 of file var.c.
References SCIPvarGetLPSol(), SCIPvarGetPseudoSol(), and SCIPvarStoreRootSol().
Referenced by computeStandardLPOptimalityCut(), SCIP_DECL_BRANCHEXECLP(), SCIPbranchGetBranchingPoint(), SCIPgetSolVal(), SCIPgetVarSol(), SCIPprobUpdateBestRootSol(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPtreeCalcChildEstimate(), SCIPtreeCalcNodeselPriority(), SCIPvarGetPseudoSol_rec(), and SCIPvarStoreRootSol().
◆ SCIPvarGetRootSol()
SCIP_EXPORT SCIP_Real SCIPvarGetRootSol | ( | SCIP_VAR * | var | ) |
returns the solution of the variable in the last root node's relaxation, if the root relaxation is not yet completely solved, zero is returned
- Parameters
-
var problem variable
Definition at line 13119 of file var.c.
References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::donotmultaggr, getImplVarRedcost(), SCIP_Dom::lb, SCIP_Var::locdom, SCIP_Var::multaggr, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Var::rootsol, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_DEFAULT_INFINITY, SCIP_INVALID, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by calcPscostQuot(), changeSubvariableObjective(), DECL_VARFIXINGS(), determineVariableFixings(), generateDifferenceRay(), getPotential(), getVariablePscostScore(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), SCIPstatComputeRootLPBestEstimate(), SCIPstatUpdateVarRootLPBestEstimate(), SCIPtreeBranchVar(), SCIPtreeCalcNodeselPriority(), SCIPvarUpdateBestRootSol(), and SCIPvarUpdatePseudocost().
◆ SCIPvarGetBestRootSol()
SCIP_EXPORT SCIP_Real SCIPvarGetBestRootSol | ( | SCIP_VAR * | var | ) |
returns the best solution (w.r.t. root reduced cost propagation) of the variable in the root node's relaxation, if the root relaxation is not yet completely solved, zero is returned
- Parameters
-
var problem variable
Definition at line 13483 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::bestrootsol, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Dom::lb, SCIP_Var::locdom, SCIP_Var::multaggr, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_DEFAULT_INFINITY, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPvarGetBestRootRedcost(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by getVariableRedcostScore(), propagateBinaryBestRootRedcost(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), and SCIPvarGetImplRedcost().
◆ SCIPvarGetBestRootRedcost()
SCIP_EXPORT SCIP_Real SCIPvarGetBestRootRedcost | ( | SCIP_VAR * | var | ) |
returns the best reduced costs (w.r.t. root reduced cost propagation) of the variable in the root node's relaxation, if the root relaxation is not yet completely solved, or the variable was no column of the root LP, SCIP_INVALID is returned
- Parameters
-
var problem variable
Definition at line 13549 of file var.c.
References SCIP_Var::bestrootredcost, SCIP_Var::data, NULL, SCIP_Var::original, SCIP_INVALID, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPvarGetBestRootLPObjval(), SCIPvarGetStatus(), and SCIP_Original::transvar.
Referenced by countNonZeroRootRedcostVars(), getVariableRedcostScore(), propagateBinaryBestRootRedcost(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), propdataInit(), and SCIPvarGetBestRootSol().
◆ SCIPvarGetBestRootLPObjval()
SCIP_EXPORT SCIP_Real SCIPvarGetBestRootLPObjval | ( | SCIP_VAR * | var | ) |
returns the best objective value (w.r.t. root reduced cost propagation) of the root LP which belongs the root reduced cost which is accessible via SCIPvarGetRootRedcost() or the variable was no column of the root LP, SCIP_INVALID is returned
- Parameters
-
var problem variable
Definition at line 13583 of file var.c.
References SCIP_Var::bestrootlpobjval, SCIP_Var::data, NULL, SCIP_Var::original, SCIP_INVALID, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPvarGetStatus(), SCIPvarSetBestRootSol(), and SCIP_Original::transvar.
Referenced by propagateBinaryBestRootRedcost(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), and SCIPvarGetBestRootRedcost().
◆ SCIPvarSetBestRootSol()
SCIP_EXPORT void SCIPvarSetBestRootSol | ( | SCIP_VAR * | var, |
SCIP_Real | rootsol, | ||
SCIP_Real | rootredcost, | ||
SCIP_Real | rootlpobjval | ||
) |
set the given solution as the best root solution w.r.t. root reduced cost propagation in the variables
- Parameters
-
var problem variable rootsol root solution value rootredcost root reduced cost rootlpobjval objective value of the root LP
Definition at line 13614 of file var.c.
References SCIP_Var::bestrootlpobjval, SCIP_Var::bestrootredcost, SCIP_Var::bestrootsol, NULL, and SCIPvarSetRelaxSol().
Referenced by SCIPprobExitSolve(), and SCIPvarGetBestRootLPObjval().
◆ SCIPvarGetAvgSol()
SCIP_EXPORT SCIP_Real SCIPvarGetAvgSol | ( | SCIP_VAR * | var | ) |
returns a weighted average solution value of the variable in all feasible primal solutions found so far
- Parameters
-
var problem variable
Definition at line 13829 of file var.c.
References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::glbdom, SCIP_Dom::lb, SCIP_Var::locdom, MAX, SCIP_Var::multaggr, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Var::primsolavg, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPvarGetClosestVlb(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by SCIPvarSetNLPSol(), and separateAlternativeProofs().
◆ SCIPvarGetLbchgInfo()
SCIP_EXPORT SCIP_BDCHGINFO* SCIPvarGetLbchgInfo | ( | SCIP_VAR * | var, |
SCIP_BDCHGIDX * | bdchgidx, | ||
SCIP_Bool | after | ||
) |
returns the bound change information for the last lower bound change on given active problem variable before or after the bound change with the given index was applied; returns NULL, if no change to the lower bound was applied up to this point of time
- Parameters
-
var active problem variable bdchgidx bound change index representing time on path to current node after should the bound change with given index be included?
Definition at line 16175 of file var.c.
References SCIP_BdChgInfo::bdchgidx, SCIP_BdChgInfo::boundtype, SCIP_Var::lbchginfos, SCIP_BdChgInfo::newbound, SCIP_Var::nlbchginfos, NULL, SCIP_BdChgInfo::oldbound, SCIP_BdChgInfo::pos, SCIP_BdChgInfo::redundant, SCIP_BOUNDTYPE_LOWER, SCIPbdchgidxIsEarlier(), SCIPvarGetUbchgInfo(), SCIPvarIsActive(), and SCIP_BdChgInfo::var.
Referenced by SCIPbdchginfoFree(), SCIPgetVarLbAtIndex(), SCIPvarGetBdchgInfo(), and SCIPvarGetLbAtIndex().
◆ SCIPvarGetUbchgInfo()
SCIP_EXPORT SCIP_BDCHGINFO* SCIPvarGetUbchgInfo | ( | SCIP_VAR * | var, |
SCIP_BDCHGIDX * | bdchgidx, | ||
SCIP_Bool | after | ||
) |
returns the bound change information for the last upper bound change on given active problem variable before or after the bound change with the given index was applied; returns NULL, if no change to the upper bound was applied up to this point of time
- Parameters
-
var active problem variable bdchgidx bound change index representing time on path to current node after should the bound change with given index be included?
Definition at line 16231 of file var.c.
References SCIP_BdChgInfo::bdchgidx, SCIP_BdChgInfo::boundtype, SCIP_BdChgInfo::newbound, SCIP_Var::nubchginfos, NULL, SCIP_BdChgInfo::oldbound, SCIP_BdChgInfo::pos, SCIP_BdChgInfo::redundant, SCIP_BOUNDTYPE_UPPER, SCIPbdchgidxIsEarlier(), SCIPvarGetBdchgInfo(), SCIPvarIsActive(), SCIP_Var::ubchginfos, and SCIP_BdChgInfo::var.
Referenced by SCIPgetVarUbAtIndex(), SCIPvarGetBdchgInfo(), SCIPvarGetLbchgInfo(), and SCIPvarGetUbAtIndex().
◆ SCIPvarGetBdchgInfo()
SCIP_EXPORT SCIP_BDCHGINFO* SCIPvarGetBdchgInfo | ( | SCIP_VAR * | var, |
SCIP_BOUNDTYPE | boundtype, | ||
SCIP_BDCHGIDX * | bdchgidx, | ||
SCIP_Bool | after | ||
) |
returns the bound change information for the last lower or upper bound change on given active problem variable before or after the bound change with the given index was applied; returns NULL, if no change to the lower/upper bound was applied up to this point of time
- Parameters
-
var active problem variable boundtype type of bound: lower or upper bound bdchgidx bound change index representing time on path to current node after should the bound change with given index be included?
Definition at line 16287 of file var.c.
References SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_Real, SCIPvarGetLbAtIndex(), SCIPvarGetLbchgInfo(), and SCIPvarGetUbchgInfo().
Referenced by SCIPconflictAddBound(), SCIPconflictAddRelaxedBound(), and SCIPvarGetUbchgInfo().
◆ SCIPvarGetLbAtIndex()
SCIP_EXPORT SCIP_Real SCIPvarGetLbAtIndex | ( | SCIP_VAR * | var, |
SCIP_BDCHGIDX * | bdchgidx, | ||
SCIP_Bool | after | ||
) |
returns lower bound of variable directly before or after the bound change given by the bound change index was applied
- Deprecated:
- Please use SCIPgetVarLbAtIndex()
returns lower bound of variable directly before or after the bound change given by the bound change index was applied
- Deprecated:
- Please use SCIPgetVarLbAtIndex()
- Parameters
-
var problem variable bdchgidx bound change index representing time on path to current node after should the bound change with given index be included?
Definition at line 16308 of file var.c.
References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::glbdom, SCIP_Dom::lb, SCIP_Var::multaggr, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_DEFAULT_INFINITY, SCIP_INVALID, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbdchginfoGetNewbound(), SCIPerrorMessage, SCIPvarGetLbchgInfo(), SCIPvarGetLbLocal(), SCIPvarGetStatus(), SCIPvarGetUbAtIndex(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by findLexMaxFace(), resolvePropagationFullOrbitope(), SCIP_DECL_CONSRESPROP(), SCIPvarGetBdAtIndex(), SCIPvarGetBdchgInfo(), SCIPvarGetUbAtIndex(), and SCIPvarWasFixedAtIndex().
◆ SCIPvarGetUbAtIndex()
SCIP_EXPORT SCIP_Real SCIPvarGetUbAtIndex | ( | SCIP_VAR * | var, |
SCIP_BDCHGIDX * | bdchgidx, | ||
SCIP_Bool | after | ||
) |
returns upper bound of variable directly before or after the bound change given by the bound change index was applied
- Deprecated:
- Please use SCIPgetVarUbAtIndex()
returns upper bound of variable directly before or after the bound change given by the bound change index was applied
- Deprecated:
- Please use SCIPgetVarUbAtIndex()
- Parameters
-
var problem variable bdchgidx bound change index representing time on path to current node after should the bound change with given index be included?
Definition at line 16427 of file var.c.
References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::glbdom, SCIP_Var::multaggr, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_DEFAULT_INFINITY, SCIP_INVALID, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbdchginfoGetNewbound(), SCIPerrorMessage, SCIPvarGetBdAtIndex(), SCIPvarGetLbAtIndex(), SCIPvarGetStatus(), SCIPvarGetUbchgInfo(), SCIPvarGetUbLocal(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by findLexMinFace(), resolvePropagationFullOrbitope(), SCIP_DECL_CONSRESPROP(), SCIPvarGetBdAtIndex(), SCIPvarGetLbAtIndex(), and SCIPvarWasFixedAtIndex().
◆ SCIPvarGetBdAtIndex()
SCIP_EXPORT SCIP_Real SCIPvarGetBdAtIndex | ( | SCIP_VAR * | var, |
SCIP_BOUNDTYPE | boundtype, | ||
SCIP_BDCHGIDX * | bdchgidx, | ||
SCIP_Bool | after | ||
) |
returns lower or upper bound of variable directly before or after the bound change given by the bound change index was applied
- Deprecated:
- Please use SCIPgetVarBdAtIndex()
returns lower or upper bound of variable directly before or after the bound change given by the bound change index was applied
- Deprecated:
- Please use SCIPgetVarBdAtIndex()
- Parameters
-
var problem variable boundtype type of bound: lower or upper bound bdchgidx bound change index representing time on path to current node after should the bound change with given index be included?
Definition at line 16548 of file var.c.
References SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIPvarGetLbAtIndex(), SCIPvarGetUbAtIndex(), and SCIPvarWasFixedAtIndex().
Referenced by SCIPvarGetUbAtIndex().
◆ SCIPvarWasFixedAtIndex()
SCIP_EXPORT SCIP_Bool SCIPvarWasFixedAtIndex | ( | SCIP_VAR * | var, |
SCIP_BDCHGIDX * | bdchgidx, | ||
SCIP_Bool | after | ||
) |
returns whether the binary variable was fixed at the time given by the bound change index
- Deprecated:
- Please use SCIPgetVarWasFixedAtIndex()
returns whether the binary variable was fixed at the time given by the bound change index
- Deprecated:
- Please use SCIPgetVarWasFixedAtIndex()
- Parameters
-
var problem variable bdchgidx bound change index representing time on path to current node after should the bound change with given index be included?
Definition at line 16568 of file var.c.
References initbdchgidx, NULL, SCIPvarGetLbAtIndex(), SCIPvarGetLbLocal(), SCIPvarGetUbAtIndex(), SCIPvarGetUbLocal(), and SCIPvarIsBinary().
Referenced by SCIPvarGetBdAtIndex().
◆ SCIPvarGetLastBdchgIndex()
SCIP_EXPORT SCIP_BDCHGIDX* SCIPvarGetLastBdchgIndex | ( | SCIP_VAR * | var | ) |
returns the last bound change index, at which the bounds of the given variable were tightened
- Parameters
-
var problem variable
Definition at line 16591 of file var.c.
References SCIP_BdChgInfo::bdchgidx, initbdchgidx, SCIP_Var::lbchginfos, SCIP_Var::nlbchginfos, SCIP_Var::nubchginfos, NULL, presolvebdchgidx, SCIP_BdChgInfo::redundant, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPbdchgidxIsEarlierNonNull(), SCIPvarGetLastBdchgDepth(), SCIPvarGetProbvar(), SCIPvarGetStatus(), SCIPvarIsActive(), and SCIP_Var::ubchginfos.
Referenced by SCIPvarGetLastBdchgDepth().
◆ SCIPvarGetLastBdchgDepth()
SCIP_EXPORT int SCIPvarGetLastBdchgDepth | ( | SCIP_VAR * | var | ) |
returns the last depth level, at which the bounds of the given variable were tightened; returns -2, if the variable's bounds are still the global bounds returns -1, if the variable was fixed in presolving
- Parameters
-
var problem variable
Definition at line 16628 of file var.c.
References SCIP_BdChgIdx::depth, NULL, SCIPvarGetConflictingBdchgDepth(), and SCIPvarGetLastBdchgIndex().
Referenced by SCIPvarGetLastBdchgIndex().
◆ SCIPvarWasFixedEarlier()
SCIP_EXPORT SCIP_Bool SCIPvarWasFixedEarlier | ( | SCIP_VAR * | var1, |
SCIP_VAR * | var2 | ||
) |
returns whether the first binary variable was fixed earlier than the second one; returns FALSE, if the first variable is not fixed, and returns TRUE, if the first variable is fixed, but the second one is not fixed
- Parameters
-
var1 first binary variable var2 second binary variable
Definition at line 16716 of file var.c.
References SCIP_BdChgInfo::bdchgidx, FALSE, SCIP_Var::glbdom, SCIP_Dom::lb, SCIP_Var::lbchginfos, SCIP_Var::nlbchginfos, SCIP_Var::nubchginfos, NULL, SCIP_BdChgInfo::redundant, SCIP_DECL_HASHGETKEY(), SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPbdchgidxIsEarlier(), SCIPvarGetProbvar(), SCIPvarGetStatus(), SCIPvarIsActive(), SCIPvarIsBinary(), TRUE, SCIP_Dom::ub, and SCIP_Var::ubchginfos.
Referenced by SCIPvarGetConflictingBdchgDepth().
◆ SCIPbdchgidxIsEarlier()
SCIP_EXPORT SCIP_Bool SCIPbdchgidxIsEarlier | ( | SCIP_BDCHGIDX * | bdchgidx1, |
SCIP_BDCHGIDX * | bdchgidx2 | ||
) |
returns whether first bound change index belongs to an earlier applied bound change than second one; if a bound change index is NULL, the bound change index represents the current time, i.e. the time after the last bound change was applied to the current node
- Parameters
-
bdchgidx1 first bound change index, or NULL bdchgidx2 second bound change index, or NULL
Definition at line 18229 of file var.c.
References SCIP_BdChgIdx::depth, FALSE, NULL, SCIP_BdChgIdx::pos, SCIP_Real, SCIPbdchginfoGetOldbound(), and TRUE.
Referenced by SCIPbdchgidxIsEarlierNonNull(), SCIPconflictAddBound(), SCIPconflictAddRelaxedBound(), SCIPvarGetLbchgInfo(), SCIPvarGetUbchgInfo(), SCIPvarWasFixedEarlier(), varAddLbchginfo(), and varAddUbchginfo().
◆ SCIPbdchgidxIsEarlierNonNull()
SCIP_EXPORT SCIP_Bool SCIPbdchgidxIsEarlierNonNull | ( | SCIP_BDCHGIDX * | bdchgidx1, |
SCIP_BDCHGIDX * | bdchgidx2 | ||
) |
returns whether first bound change index belongs to an earlier applied bound change than second one
- Parameters
-
bdchgidx1 first bound change index bdchgidx2 second bound change index
Definition at line 18209 of file var.c.
References SCIP_BdChgIdx::depth, NULL, SCIP_BdChgIdx::pos, SCIP_Bool, and SCIPbdchgidxIsEarlier().
Referenced by SCIP_DECL_SORTPTRCOMP(), SCIPbdchgidxGetPos(), and SCIPvarGetLastBdchgIndex().
◆ SCIPbdchginfoGetOldbound()
SCIP_EXPORT SCIP_Real SCIPbdchginfoGetOldbound | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns old bound that was overwritten for given bound change information
- Parameters
-
bdchginfo bound change information
Definition at line 18249 of file var.c.
References NULL, SCIP_BdChgInfo::oldbound, SCIP_Real, and SCIPbdchginfoGetNewbound().
Referenced by conflictAddBound(), SCIPbdchgidxIsEarlier(), and SCIPconflictAddRelaxedBound().
◆ SCIPbdchginfoGetNewbound()
SCIP_EXPORT SCIP_Real SCIPbdchginfoGetNewbound | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns new bound installed for given bound change information
- Parameters
-
bdchginfo bound change information
Definition at line 18259 of file var.c.
References SCIP_BdChgInfo::newbound, NULL, and SCIPbdchginfoGetVar().
Referenced by bdchginfoIsInvalid(), checkRedundancy(), conflictAddBound(), conflictAddConflictBound(), conflictAnalyze(), conflictAnalyzeRemainingBdchgs(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictMarkBoundCheckPresence(), conflictQueueBound(), conflictResolveBound(), conflictsetAddBounds(), conflictsetIsRedundant(), detectImpliedBounds(), isBoundchgUseless(), SCIP_DECL_CONFLICTEXEC(), SCIPbdchginfoGetOldbound(), SCIPconflictAddBound(), SCIPconflictAddRelaxedBound(), SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), SCIPvarGetLbAtIndex(), and SCIPvarGetUbAtIndex().
◆ SCIPbdchginfoGetVar()
SCIP_EXPORT SCIP_VAR* SCIPbdchginfoGetVar | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns variable that belongs to the given bound change information
- Parameters
-
bdchginfo bound change information
Definition at line 18269 of file var.c.
References NULL, SCIPbdchginfoGetChgtype(), and SCIP_BdChgInfo::var.
Referenced by bdchginfoIsInvalid(), checkRedundancy(), conflictAddBound(), conflictAddConflictBound(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictMarkBoundCheckPresence(), conflictQueueBound(), conflictRemoveCand(), conflictResolveBound(), conflictsetAddBound(), conflictsetAddBounds(), conflictsetIsRedundant(), detectImpliedBounds(), isBoundchgUseless(), SCIP_DECL_CONFLICTEXEC(), and SCIPbdchginfoGetNewbound().
◆ SCIPbdchginfoGetChgtype()
SCIP_EXPORT SCIP_BOUNDCHGTYPE SCIPbdchginfoGetChgtype | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns whether the bound change information belongs to a branching decision or a deduction
- Parameters
-
bdchginfo bound change information
Definition at line 18279 of file var.c.
References SCIP_BdChgInfo::boundchgtype, NULL, and SCIPbdchginfoGetBoundtype().
Referenced by bdchginfoIsResolvable(), conflictAddBound(), conflictResolveBound(), and SCIPbdchginfoGetVar().
◆ SCIPbdchginfoGetBoundtype()
SCIP_EXPORT SCIP_BOUNDTYPE SCIPbdchginfoGetBoundtype | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns whether the bound change information belongs to a lower or upper bound change
- Parameters
-
bdchginfo bound change information
Definition at line 18289 of file var.c.
References SCIP_BdChgInfo::boundtype, NULL, and SCIPbdchginfoGetDepth().
Referenced by bdchginfoIsInvalid(), checkRedundancy(), conflictAddBound(), conflictAddConflictBound(), conflictAnalyze(), conflictAnalyzeRemainingBdchgs(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictMarkBoundCheckPresence(), conflictQueueBound(), conflictRemoveCand(), conflictResolveBound(), conflictsetAddBound(), conflictsetAddBounds(), conflictsetIsRedundant(), detectImpliedBounds(), isBoundchgUseless(), SCIP_DECL_CONFLICTEXEC(), SCIPbdchginfoGetChgtype(), SCIPbdchginfoIsTighter(), and updateStatistics().
◆ SCIPbdchginfoGetDepth()
SCIP_EXPORT int SCIPbdchginfoGetDepth | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns depth level of given bound change information
- Parameters
-
bdchginfo bound change information
Definition at line 18299 of file var.c.
References SCIP_BdChgInfo::bdchgidx, SCIP_BdChgIdx::depth, NULL, and SCIPbdchginfoGetPos().
Referenced by conflictAddBound(), conflictAddConflictBound(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictResolveBound(), conflictsetAddBounds(), conflictsetCalcConflictDepth(), conflictsetCalcInsertDepth(), conflictsetIsRedundant(), SCIPbdchginfoGetBoundtype(), and SCIPconflictAddRelaxedBound().
◆ SCIPbdchginfoGetPos()
SCIP_EXPORT int SCIPbdchginfoGetPos | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns bound change position in its depth level of given bound change information
- Parameters
-
bdchginfo bound change information
Definition at line 18309 of file var.c.
References SCIP_BdChgInfo::bdchgidx, NULL, SCIP_BdChgIdx::pos, and SCIPbdchginfoGetIdx().
Referenced by conflictAddBound(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictResolveBound(), SCIPbdchginfoGetDepth(), and SCIPconflictAddRelaxedBound().
◆ SCIPbdchginfoGetIdx()
SCIP_EXPORT SCIP_BDCHGIDX* SCIPbdchginfoGetIdx | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns bound change index of given bound change information
- Parameters
-
bdchginfo bound change information
Definition at line 18319 of file var.c.
References SCIP_BdChgInfo::bdchgidx, NULL, and SCIPbdchginfoGetInferVar().
Referenced by conflictResolveBound(), SCIP_DECL_SORTPTRCOMP(), SCIPbdchginfoGetPos(), SCIPconflictAddBound(), and SCIPconflictAddRelaxedBound().
◆ SCIPbdchginfoGetInferVar()
SCIP_EXPORT SCIP_VAR* SCIPbdchginfoGetInferVar | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns inference variable of given bound change information
- Parameters
-
bdchginfo bound change information
Definition at line 18329 of file var.c.
References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, SCIP_BOUNDCHGTYPE_CONSINFER, SCIP_BOUNDCHGTYPE_PROPINFER, and SCIPbdchginfoGetInferCons().
Referenced by conflictResolveBound(), and SCIPbdchginfoGetIdx().
◆ SCIPbdchginfoGetInferCons()
SCIP_EXPORT SCIP_CONS* SCIPbdchginfoGetInferCons | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns inference constraint of given bound change information
- Parameters
-
bdchginfo bound change information
Definition at line 18341 of file var.c.
References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, SCIP_BOUNDCHGTYPE_CONSINFER, and SCIPbdchginfoGetInferProp().
Referenced by conflictAddBound(), conflictResolveBound(), and SCIPbdchginfoGetInferVar().
◆ SCIPbdchginfoGetInferProp()
SCIP_EXPORT SCIP_PROP* SCIPbdchginfoGetInferProp | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns inference propagator of given bound change information, or NULL if no propagator was responsible
- Parameters
-
bdchginfo bound change information
Definition at line 18353 of file var.c.
References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, SCIP_BOUNDCHGTYPE_PROPINFER, and SCIPbdchginfoGetInferInfo().
Referenced by bdchginfoIsResolvable(), conflictAddBound(), conflictResolveBound(), and SCIPbdchginfoGetInferCons().
◆ SCIPbdchginfoGetInferInfo()
SCIP_EXPORT int SCIPbdchginfoGetInferInfo | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns inference user information of given bound change information
- Parameters
-
bdchginfo bound change information
Definition at line 18364 of file var.c.
References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, SCIP_BOUNDCHGTYPE_CONSINFER, SCIP_BOUNDCHGTYPE_PROPINFER, and SCIPbdchginfoGetInferBoundtype().
Referenced by conflictAddBound(), conflictResolveBound(), and SCIPbdchginfoGetInferProp().
◆ SCIPbdchginfoGetInferBoundtype()
SCIP_EXPORT SCIP_BOUNDTYPE SCIPbdchginfoGetInferBoundtype | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns inference bound of inference variable of given bound change information
- Parameters
-
bdchginfo bound change information
Definition at line 18376 of file var.c.
References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferboundtype, NULL, SCIP_BOUNDCHGTYPE_CONSINFER, SCIP_BOUNDCHGTYPE_PROPINFER, SCIP_Real, and SCIPbdchginfoGetRelaxedBound().
Referenced by conflictResolveBound(), and SCIPbdchginfoGetInferInfo().
◆ SCIPbdchginfoIsRedundant()
SCIP_EXPORT SCIP_Bool SCIPbdchginfoIsRedundant | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns whether the bound change information belongs to a redundant bound change
- Parameters
-
bdchginfo bound change information
Definition at line 18397 of file var.c.
References SCIP_BdChgInfo::newbound, NULL, SCIP_BdChgInfo::oldbound, SCIP_BdChgInfo::redundant, SCIP_Bool, and SCIPbdchginfoHasInferenceReason().
Referenced by bdchginfoIsResolvable(), conflictAddBound(), conflictAddConflictBound(), conflictAnalyze(), conflictAnalyzeRemainingBdchgs(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictQueueBound(), conflictRemoveCand(), conflictResolveBound(), SCIP_DECL_SORTPTRCOMP(), SCIPbdchginfoGetRelaxedBound(), and SCIPconflictAddRelaxedBound().
◆ SCIPbdchginfoHasInferenceReason()
SCIP_EXPORT SCIP_Bool SCIPbdchginfoHasInferenceReason | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns whether the bound change has an inference reason (constraint or propagator), that can be resolved
- Parameters
-
bdchginfo bound change information
Definition at line 18408 of file var.c.
References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, SCIP_Bool, SCIP_BOUNDCHGTYPE_CONSINFER, SCIP_BOUNDCHGTYPE_PROPINFER, and SCIPbdchginfoIsTighter().
Referenced by conflictAnalyze(), and SCIPbdchginfoIsRedundant().
◆ SCIPbdchginfoIsTighter()
SCIP_EXPORT SCIP_Bool SCIPbdchginfoIsTighter | ( | SCIP_BDCHGINFO * | bdchginfo1, |
SCIP_BDCHGINFO * | bdchginfo2 | ||
) |
for two bound change informations belonging to the same variable and bound, returns whether the first bound change has a tighter new bound as the second bound change
- Parameters
-
bdchginfo1 first bound change information bdchginfo2 second bound change information
Definition at line 18422 of file var.c.
References SCIP_BdChgInfo::boundtype, SCIP_BdChgInfo::newbound, NULL, SCIP_BOUNDTYPE_LOWER, SCIPbdchginfoGetBoundtype(), and SCIP_BdChgInfo::var.
Referenced by conflictsetAddBound(), conflictsetAddBounds(), conflictsetIsRedundant(), and SCIPbdchginfoHasInferenceReason().
◆ SCIPboundchgGetNewbound()
SCIP_EXPORT SCIP_Real SCIPboundchgGetNewbound | ( | SCIP_BOUNDCHG * | boundchg | ) |
returns the new value of the bound in the bound change data
- Parameters
-
boundchg bound change data
Definition at line 16914 of file var.c.
References SCIP_BoundChg::newbound, NULL, and SCIPboundchgGetVar().
Referenced by boundchgApplyGlobal(), SCIP_DECL_HASHGETKEY(), and SCIPendStrongbranch().
◆ SCIPboundchgGetVar()
SCIP_EXPORT SCIP_VAR* SCIPboundchgGetVar | ( | SCIP_BOUNDCHG * | boundchg | ) |
returns the variable of the bound change in the bound change data
- Parameters
-
boundchg bound change data
Definition at line 16924 of file var.c.
References NULL, SCIPboundchgGetBoundchgtype(), and SCIP_BoundChg::var.
Referenced by boundchgApplyGlobal(), computeBranchingVariables(), computeDynamicRowOrder(), SCIPboundchgGetNewbound(), SCIPendStrongbranch(), and SCIPnodePropagateImplics().
◆ SCIPboundchgGetBoundchgtype()
SCIP_EXPORT SCIP_BOUNDCHGTYPE SCIPboundchgGetBoundchgtype | ( | SCIP_BOUNDCHG * | boundchg | ) |
returns the bound change type of the bound change in the bound change data
- Parameters
-
boundchg bound change data
Definition at line 16934 of file var.c.
References SCIP_BoundChg::boundchgtype, NULL, and SCIPboundchgGetBoundtype().
Referenced by computeBranchingVariables(), computeDynamicRowOrder(), and SCIPboundchgGetVar().
◆ SCIPboundchgGetBoundtype()
SCIP_EXPORT SCIP_BOUNDTYPE SCIPboundchgGetBoundtype | ( | SCIP_BOUNDCHG * | boundchg | ) |
returns the bound type of the bound change in the bound change data
- Parameters
-
boundchg bound change data
Definition at line 16944 of file var.c.
References SCIP_BoundChg::boundtype, NULL, SCIP_Bool, and SCIPboundchgIsRedundant().
Referenced by boundchgApplyGlobal(), SCIPboundchgGetBoundchgtype(), SCIPendStrongbranch(), and SCIPnodePropagateImplics().
◆ SCIPboundchgIsRedundant()
SCIP_EXPORT SCIP_Bool SCIPboundchgIsRedundant | ( | SCIP_BOUNDCHG * | boundchg | ) |
returns whether the bound change is redundant due to a more global bound that is at least as strong
- Parameters
-
boundchg bound change data
Definition at line 16954 of file var.c.
References NULL, SCIP_BoundChg::redundant, and SCIPdomchgGetNBoundchgs().
Referenced by SCIPboundchgGetBoundtype(), SCIPendStrongbranch(), and SCIPnodePropagateImplics().