Detailed Description
public methods for problem variables
Public SCIP_BDCHGIDX Methods | |
SCIP_Bool | SCIPbdchgidxIsEarlier (SCIP_BDCHGIDX *bdchgidx1, SCIP_BDCHGIDX *bdchgidx2) |
SCIP_Bool | SCIPbdchgidxIsEarlierNonNull (SCIP_BDCHGIDX *bdchgidx1, SCIP_BDCHGIDX *bdchgidx2) |
Public SCIP_BOUNDCHG Methods | |
SCIP_Real | SCIPboundchgGetNewbound (SCIP_BOUNDCHG *boundchg) |
SCIP_VAR * | SCIPboundchgGetVar (SCIP_BOUNDCHG *boundchg) |
SCIP_BOUNDCHGTYPE | SCIPboundchgGetBoundchgtype (SCIP_BOUNDCHG *boundchg) |
SCIP_BOUNDTYPE | SCIPboundchgGetBoundtype (SCIP_BOUNDCHG *boundchg) |
SCIP_Bool | SCIPboundchgIsRedundant (SCIP_BOUNDCHG *boundchg) |
Public SCIP_DOMCHG Methods | |
int | SCIPdomchgGetNBoundchgs (SCIP_DOMCHG *domchg) |
SCIP_BOUNDCHG * | SCIPdomchgGetBoundchg (SCIP_DOMCHG *domchg, int pos) |
Public SCIP_HOLELIST Methods | |
SCIP_Real | SCIPholelistGetLeft (SCIP_HOLELIST *holelist) |
SCIP_Real | SCIPholelistGetRight (SCIP_HOLELIST *holelist) |
SCIP_HOLELIST * | SCIPholelistGetNext (SCIP_HOLELIST *holelist) |
Function Documentation
◆ SCIPvarGetNLocksDown()
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 3416 of file var.c.
References SCIP_LOCKTYPE_MODEL, and SCIPvarGetNLocksDownType().
Referenced by checkRedundancy(), collectActivities(), collectSolActivities(), fixIntegerVariable(), propagateCons(), SCIPbendersExit(), SCIPisStrongbranchDownFirst(), SCIPlpGetUnboundedSol(), SCIPprobExitSolve(), and scoring().
◆ SCIPvarGetNLocksUp()
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 3429 of file var.c.
References SCIP_LOCKTYPE_MODEL, and SCIPvarGetNLocksUpType().
Referenced by checkRedundancy(), collectActivities(), collectSolActivities(), fixIntegerVariable(), propagateCons(), SCIPisStrongbranchDownFirst(), SCIPlpGetUnboundedSol(), SCIPprobExitSolve(), and scoring().
◆ SCIPvarGetNLocksUpType()
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 3353 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::donotaggr, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, SCIP_Var::negatedvar, SCIP_Var::nlocksup, NLOCKTYPES, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUpType(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), applyProbing(), calcBdchgScore(), checkCands(), checkConsQuadraticProblem(), checkLocksAndRes(), chooseCoefVar(), chooseVeclenVar(), collectCliqueData(), compensateVarLock(), convertLongEquality(), createCoveringProblem(), dualPresolve(), dualPresolving(), extractGates(), findComponents(), findUnlockedLinearVar(), fixIntegerVariableUb(), fullDualPresolve(), getScore(), getScoreLikeCoefdiving(), isConsIndependently(), isSingleLockedCand(), multiAggregateBinvar(), performDualfix(), presolRoundIndicator(), presolStuffing(), presolveConsLct(), propagateCons(), propIndicator(), removeDoubleAndSingletonsAndPerformDualpresolve(), roundFixingValue(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_SORTPTRCOMP(), SCIPanalyzeDeductionsProbing(), SCIPapplyLockFixings(), SCIPapplyProbingVar(), SCIPmakeIndicatorFeasible(), SCIPmatrixCreate(), SCIPmatrixUplockConflict(), SCIPprintBranchingStatistics(), SCIPsolAdjustImplicitSolVals(), SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUp(), SCIPvarGetNLocksUpType(), SCIPvarGetProbvarBinary(), SCIPvarMayRoundUp(), SCIPwriteMps(), selectEssentialRounding(), selectRounding(), selectShifting(), singletonColumnStuffing(), and sortVariables().
◆ SCIPvarGetNLocksDownType()
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 3295 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::donotaggr, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, SCIP_Var::negatedvar, SCIP_Var::nlocksdown, NLOCKTYPES, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUpType(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by addConsToOccurList(), applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), applyProbing(), calcBdchgScore(), checkCands(), checkConsQuadraticProblem(), checkLocksAndRes(), chooseCoefVar(), chooseVeclenVar(), collectCliqueData(), compensateVarLock(), convertLongEquality(), createCoveringProblem(), dualPresolve(), dualPresolving(), extractGates(), findComponents(), findUnlockedLinearVar(), fixIntegerVariableLb(), fullDualPresolve(), getScore(), getScoreLikeCoefdiving(), isConsIndependently(), isSingleLockedCand(), multiAggregateBinvar(), performDualfix(), presolRoundIndicator(), presolStuffing(), presolveConsEst(), propagateCons(), propIndicator(), removeDoubleAndSingletonsAndPerformDualpresolve(), roundFixingValue(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPINITPRE(), SCIP_DECL_SORTPTRCOMP(), SCIPanalyzeDeductionsProbing(), SCIPapplyLockFixings(), SCIPapplyProbingVar(), SCIPmakeIndicatorFeasible(), SCIPmatrixCreate(), SCIPmatrixDownlockConflict(), SCIPprintBranchingStatistics(), SCIPsolAdjustImplicitSolVals(), SCIPvarGetNLocksDown(), SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUpType(), SCIPvarMayRoundDown(), SCIPwriteMps(), selectEssentialRounding(), selectRounding(), selectShifting(), singletonColumnStuffing(), and sortVariables().
◆ SCIPvarMayRoundDown()
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 3440 of file var.c.
References SCIP_LOCKTYPE_MODEL, and SCIPvarGetNLocksDownType().
Referenced by chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), performDualfix(), performRandRounding(), performSimpleRounding(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIPperformGenericDivingAlgorithm(), and SCIPsolRound().
◆ SCIPvarMayRoundUp()
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 3451 of file var.c.
References SCIP_LOCKTYPE_MODEL, and SCIPvarGetNLocksUpType().
Referenced by chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), performDualfix(), performRandRounding(), performSimpleRounding(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIPperformGenericDivingAlgorithm(), and SCIPsolRound().
◆ SCIPvarCompareActiveAndNegated()
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 11903 of file var.c.
References NULL, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_NEGATED, SCIPvarGetIndex(), SCIPvarGetNegatedVar(), SCIPvarGetStatus(), and SCIPvarIsActive().
Referenced by consdataSort(), liftCliqueVariables(), preprocessConstraintPairs(), SCIP_DECL_HASHKEYEQ(), and SCIP_DECL_SORTPTRCOMP().
◆ SCIP_DECL_SORTPTRCOMP() [1/3]
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 11933 of file var.c.
References SCIPvarCompareActiveAndNegated().
◆ SCIPvarCompare()
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 11941 of file var.c.
References SCIP_Var::index, and NULL.
Referenced by addAuxexprCoefs(), addBranchingComplementaritiesSOS1(), bilinearTermsInsertEntry(), consdataSort(), detectRedundantConstraints(), extractGates(), generateBoundInequalityFromSOS1Nodes(), getBoundConsFromVertices(), nlrowAddLinearCoef(), passConComponentVarbound(), preprocessConstraintPairs(), propVariableNonzero(), removeRedundantConss(), removeRedundantNonZeros(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_SORTINDCOMP(), SCIP_DECL_SORTPTRCOMP(), SCIPgetBilinTermIdxNonlinear(), SCIPinsertBilinearTermImplicitNonlinear(), SCIPvarGetActiveRepresentatives(), SCIPvarsGetActiveVars(), and selectBranchVar().
◆ SCIP_DECL_SORTPTRCOMP() [2/3]
SCIP_DECL_SORTPTRCOMP | ( | SCIPvarComp | ) |
comparison method for sorting variables by non-decreasing index
Definition at line 11961 of file var.c.
References SCIPvarCompare().
◆ SCIP_DECL_SORTPTRCOMP() [3/3]
SCIP_DECL_SORTPTRCOMP | ( | SCIPvarCompObj | ) |
comparison method for sorting variables by non-decreasing objective coefficient
Definition at line 11967 of file var.c.
References SCIP_Real, and SCIPvarGetObj().
◆ SCIP_DECL_HASHGETKEY()
SCIP_DECL_HASHGETKEY | ( | SCIPvarGetHashkey | ) |
◆ SCIP_DECL_HASHKEYEQ()
SCIP_DECL_HASHKEYEQ | ( | SCIPvarIsHashkeyEq | ) |
◆ SCIP_DECL_HASHKEYVAL()
SCIP_DECL_HASHKEYVAL | ( | SCIPvarGetHashkeyVal | ) |
returns the hash value of the key
Definition at line 11998 of file var.c.
References SCIPvarGetIndex().
◆ SCIPvarsGetProbvar()
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 12197 of file var.c.
References NULL, and SCIPvarGetProbvar().
Referenced by SCIPvarsGetActiveVars().
◆ SCIPvarGetProbvar()
gets corresponding active, fixed, or multi-aggregated problem variable of a variable
- Parameters
-
var problem variable
Definition at line 12217 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::multaggr, SCIP_Var::name, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPvarGetStatus(), SCIP_Original::transvar, TRUE, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by addCoef(), applyFixings(), cliquetableGetNodeIndexBinvar(), consdataCreate(), getRandomVariable(), preprocessConstraintPairs(), processBinvarFixings(), processWatchedVars(), readSolFile(), readXmlSolFile(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_EVENTEXEC(), SCIPaddVarImplication(), SCIPcliquetableComputeCliqueComponents(), SCIPcreateConsAnd(), SCIPnodePropagateImplics(), SCIPtreeBranchVar(), SCIPtreeBranchVarNary(), SCIPvarGetLastBdchgIndex(), SCIPvarsGetProbvar(), SCIPvarWasFixedEarlier(), tightenedLinkvar(), and updateBestCandidate().
◆ SCIPvarsGetProbvarBinary()
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 12277 of file var.c.
References NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, and SCIPvarGetProbvarBinary().
Referenced by GUBsetCalcCliquePartition(), SCIPcalcCliquePartition(), SCIPcliquetableAdd(), and SCIPgetBinvarRepresentatives().
◆ SCIPvarGetProbvarBinary()
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 12309 of file var.c.
References active, SCIP_Var::aggregate, SCIP_Var::data, EPSEQ, EPSLE, EPSZ, FALSE, SCIP_Var::multaggr, SCIP_Var::negatedvar, NULL, SCIP_Var::original, REALABS, SCIP_Bool, SCIP_INVALIDDATA, SCIP_LOCKTYPE_MODEL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPerrorMessage, SCIPvarGetNLocksUpType(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SCIPvarIsBinary(), SCIP_Original::transvar, TRUE, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by cliqueCleanup(), cliquePresolve(), dualPresolving(), GUBsetCheck(), presolRoundIndicator(), SCIPgetBinvarRepresentative(), SCIPvarAddClique(), SCIPvarDelClique(), SCIPvarsGetProbvarBinary(), and tightenWeightsLift().
◆ SCIPvarGetProbvarBound()
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 12468 of file var.c.
References SCIP_Var::aggregate, bound, SCIP_Var::data, SCIP_Var::multaggr, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPdebugMessage, SCIPerrorMessage, SCIPvarGetProbvarBound(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by addSplitcons(), applyBoundChanges(), changeAncestorBranchings(), dryBranch(), fixBounds(), fixInterdiction(), presolRoundIndicator(), removeFixedVariables(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIPnodeAddBoundinfer(), SCIPvarAddImplic(), and SCIPvarGetProbvarBound().
◆ SCIPvarGetProbvarHole()
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 12561 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPdebugMessage, SCIPerrorMessage, SCIPvarGetProbvarHole(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPnodeAddHoleinfer(), SCIPtreeBranchVarHole(), and SCIPvarGetProbvarHole().
◆ SCIPvarGetOrigvarSum()
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 12773 of file var.c.
References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Var::parentvars, SCIP_Aggregate::scalar, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPerrorMessage, SCIPvarGetStatus(), SCIPvarIsOriginal(), and SCIP_Aggregate::var.
Referenced by checkConsQuadraticProblem(), collectDualInformation(), countSparseSol(), createAndAddTransferredCut(), createVariableMappings(), fixBounds(), getActiveVariables(), getActiveVariables2(), getBinVarsRepresentatives(), getLinearCoeffs(), reoptSimilarity(), saveConsBounddisjuction(), saveConsLinear(), SCIP_DECL_BENDERSGETVAR(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_EVENTEXEC(), SCIPapplyHeurDualval(), SCIPbendersGetStoredCutOrigData(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcopyConsLinear(), SCIPgetReoptOldObjCoef(), SCIPgetSymActiveVariables(), SCIPreoptAddDualBndchg(), SCIPsolGetVal(), SCIPtransformDecompstore(), solveSubNLP(), storeCuts(), and transformIntoOrig().
◆ SCIPvarIsTransformedOrigvar()
returns whether the given variable is the direct counterpart of an original problem variable
- Parameters
-
var problem variable
Definition at line 12860 of file var.c.
References FALSE, SCIP_Var::nparentvars, NULL, SCIP_Var::parentvars, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), and SCIPvarIsTransformed().
Referenced by createAndAddAndCons(), fixBounds(), fixInterdiction(), SCIPprobDelVar(), SCIPsolPrint(), SCIPsolPrintRay(), and SCIPwriteBnd().
◆ SCIPvarGetNBranchings()
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 15698 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::history, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetNBranchings(), SCIPvarGetNBranchings(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPprintBranchingStatistics(), and SCIPvarGetNBranchings().
◆ SCIPvarGetNBranchingsCurrentRun()
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 15743 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetNBranchings(), SCIPvarGetNBranchingsCurrentRun(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by processWatchedVars(), and SCIPvarGetNBranchingsCurrentRun().
◆ SCIPvarGetInferenceSum()
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 15978 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::history, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetInferenceSum(), SCIPvarGetInferenceSum(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPvarGetInferenceSum().
◆ SCIPvarGetInferenceSumCurrentRun()
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 16023 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetInferenceSum(), SCIPvarGetInferenceSumCurrentRun(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPvarGetInferenceSumCurrentRun().
◆ SCIPvarGetCutoffSum()
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 16178 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::history, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetCutoffSum(), SCIPvarGetCutoffSum(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPvarGetCutoffSum().
◆ SCIPvarGetCutoffSumCurrentRun()
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 16221 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetCutoffSum(), SCIPvarGetCutoffSumCurrentRun(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPvarGetCutoffSumCurrentRun().
◆ SCIPvarGetAvgBranchdepth()
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 15786 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::history, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetAvgBranchdepth(), SCIPvarGetAvgBranchdepth(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPprintBranchingStatistics(), and SCIPvarGetAvgBranchdepth().
◆ SCIPvarGetAvgBranchdepthCurrentRun()
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 15831 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPhistoryGetAvgBranchdepth(), SCIPvarGetAvgBranchdepthCurrentRun(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPvarGetAvgBranchdepthCurrentRun().
◆ SCIPvarHasImplic()
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 11110 of file var.c.
References SCIP_Var::implics, NULL, SCIPimplicsContainsImpl(), SCIPvarIsActive(), and SCIPvarIsBinary().
Referenced by initData(), SCIPvarHasBinaryImplic(), and SCIPvarsHaveCommonClique().
◆ SCIPvarHasBinaryImplic()
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 11130 of file var.c.
References SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIPvarHasImplic(), and SCIPvarIsBinary().
◆ SCIPvarGetImplicVarBounds()
void SCIPvarGetImplicVarBounds | ( | SCIP_VAR * | var, |
SCIP_Bool | varfixing, | ||
SCIP_VAR * | implvar, | ||
SCIP_Real * | lb, | ||
SCIP_Real * | ub | ||
) |
gets the values of b in implications x == varfixing -> y <= b or y >= b in the implication graph; the values are set to SCIP_INVALID if there is no implied bound
- 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 lb buffer to store the value of the implied lower bound ub buffer to store the value of the implied upper bound
Definition at line 11145 of file var.c.
References SCIP_Var::implics, NULL, SCIP_INVALID, SCIP_Real, SCIPimplicsGetVarImplicPoss(), and SCIPvarGetImplBounds().
Referenced by detectProductsImplbnd().
◆ SCIPvarsHaveCommonClique()
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 11474 of file var.c.
References SCIP_Var::cliquelist, NULL, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIPcliquelistsHaveCommonClique(), SCIPvarHasImplic(), SCIPvarIsActive(), and SCIPvarIsBinary().
Referenced by addCliques(), calcCliquePartitionGreedy(), cliquePresolve(), detectDominatingVlbs(), detectDominatingVubs(), detectProductsClique(), findFixings(), getMinactImplicObjchg(), GUBsetCalcCliquePartition(), GUBsetCheck(), liftCliqueVariables(), removeConstraintsDueToNegCliques(), and SCIPhaveVarsCommonClique().
◆ SCIPvarGetAggregatedObj()
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 17947 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::multaggr, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPvarGetAggregatedObj(), SCIPvarGetObj(), SCIPvarGetStatus(), SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by dualPresolve(), dualPresolving(), removeDoubleAndSingletonsAndPerformDualpresolve(), and SCIPvarGetAggregatedObj().
◆ SCIPvarSetInitial()
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 17505 of file var.c.
References SCIP_Var::initial, NULL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_ORIGINAL, and SCIP_Var::varstatus.
Referenced by addVariable(), SCIPcreateVarBinpacking(), and AMPLProblemHandler::SuffixHandler< T >::SetValue().
◆ SCIPvarSetRemovable()
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 17521 of file var.c.
References NULL, SCIP_Var::removable, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_ORIGINAL, and SCIP_Var::varstatus.
Referenced by addVariable(), SCIPcreateVarBinpacking(), and AMPLProblemHandler::SuffixHandler< T >::SetValue().
◆ SCIPvarGetName()
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 17418 of file var.c.
References SCIP_Var::name, and NULL.
Referenced by addAltLPColumn(), addBilinearTermToCut(), addBoundViolated(), addCand(), addCliques(), addCoef(), addColToCut(), addConflictBinvar(), addConflictBounds(), addConstraintToBendersSubproblem(), addCut(), addExprsViolScore(), addExprViolScoresAuxVars(), addFixedVarsConss(), addGenVBound(), addLinearTermToCut(), addNode(), addRegularScholtes(), addRltTerm(), addScenarioVarsToProb(), addSplitcons(), addStrongSBCsSubgroup(), addVarCardinality(), addWeakSBCsSubgroup(), adjustOversizedJobBounds(), aggregateVariables(), aggregation(), alnsFixMoreVariables(), alnsUnfixVariables(), analyseInfeasibelCoreInsertion(), analyseVarOnoffBounds(), analyzeEnergyRequirement(), analyzeGenVBoundConflict(), analyzeViolation(), analyzeZeroResultant(), appendVarCardinality(), applyAlternativeBoundsBranching(), applyBdchgs(), applyBoundChgs(), applyBoundHeur(), applyCliqueFixings(), applyDomainReductions(), applyFixings(), applyFixingsAndAggregations(), applyGenVBound(), applyObbtBilinear(), applyOptcumulativeFixings(), applyProbing(), applyRepair(), applyVboundsFixings(), applyZeroFixings(), boundchgApplyGlobal(), branch(), branchcandCalcLPCands(), branchcandInsertPseudoCand(), branchcandRemovePseudoCand(), branching(), branchingIntegralOrNonlinear(), branchOnVar(), branchUnbalancedCardinality(), calcBranchScore(), calcShiftVal(), cancelCol(), candidateFree(), candidateFreeWarmStartInfo(), candidateListGetAllFractionalCandidates(), catchVarEvents(), changeAncestorBranchings(), checkCons(), checkCumulativeCondition(), checkForOverlapping(), checkPackingPartitioningOrbitopeSolution(), checkSolution(), checkSystemGF2(), checkVarbound(), checkVarnames(), cliqueCleanup(), cliquePresolve(), colAddCoef(), collectActivities(), collectBinaryCliqueData(), collectBranchingCandidates(), collectBranchingCands(), collectLeafs(), collectMinactVar(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), collectSolActivities(), collectSolution(), collectThetaSubtree(), colLink(), colUnlink(), compensateVarLock(), computeConvexEnvelopeFacet(), computeCut(), computeEnergyContribution(), computeImpliedEst(), computeImpliedLct(), computeOffValues(), computeRltCut(), computeStandardLPFeasibilityCut(), conflictAddBound(), conflictAddConflictBound(), conflictAddConflictCons(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictMarkBoundCheckPresence(), conflictResolveBound(), conflictsetAddBounds(), consdataCheckSuperindicator(), consdataCollectLinkingCons(), consdataCreate(), consdataCreateBinvars(), consdataDeletePos(), consdataFixOperandsOne(), consdataFixResultantZero(), consdataPrint(), consdataTightenCoefs(), constraintNonOverlappingGraph(), constructCompression(), constructSNFRelaxation(), convertBinaryEquality(), convertLongEquality(), convertUnaryEquality(), coretimesUpdateLb(), coretimesUpdateUb(), countSparseSol(), createAndAddAndCons(), createAndStoreSparseRays(), createAuxiliaryNonlinearSubproblem(), createAuxVar(), createBinaryConstraintName(), createBlockproblem(), createConstraints(), createCoreProfile(), createCoveringProblem(), createGenVBound(), createKKTComplementarityBinary(), createKKTComplementarityBounds(), createKKTDualCons(), createMIP(), createNAryBranch(), createSelectedSortedEventpointsSol(), createSubproblem(), createSubproblems(), createSubSCIP(), createTcliqueGraph(), createVariableMappings(), detectAndHandleSubgroups(), detectDominatingVlbs(), detectDominatingVubs(), detectHiddenProducts(), detectImplications(), detectImpliedBounds(), detectMinors(), detectProductsClique(), detectVarboundSOS1(), determineBound(), determineBoundForSNF(), determineVariableFixings(), dfs(), displayCycleOfSymmetry(), doSeachEcAggr(), dropVarEvent(), dryBranch(), dualPresolve(), dualPresolving(), enforceCardinality(), enforceConssSOS1(), enforceConstraint(), enforceConstraints(), enforceSOS2(), estimateBivariateQuotient(), estimateConvexSecant(), estimateGradientInner(), estimateUnivariateQuotient(), estimateVertexPolyhedral(), execRelpscost(), executeBranching(), executeBranchingRecursive(), exprIsSemicontinuous(), extractCycle(), extractProducts(), filterCandidates(), filterCands(), filterExistingLP(), findAggregation(), findCumulativeConss(), findNewBounds(), findScenarioVar(), findUncapacitatedArcs(), findUnlockedLinearVar(), fixAdditionalVars(), fixAndPropagate(), fixBounds(), fixDeleteOrUpgradeCons(), fixIntegerVariableLb(), fixIntegerVariableUb(), fixInterdiction(), fixVariable(), fixVariables(), fixVariableZeroNode(), forwardPropExpr(), freeAuxVar(), fullDualPresolve(), generateAndApplyBendersCuts(), getBinaryProductExprDo(), getConflictImplics(), getFactorizedBinaryQuadraticExpr(), getFixedVariable(), getMaxactImplicObjchg(), getNLPVarsNonConvexity(), getOldBranching(), getScenarioDecompVar(), GUBsetCheck(), GUBsetMoveVar(), handle1Cycle(), handleNewVariableSOS1(), inferboundsEdgeFinding(), initBounds(), initCurrent(), initData(), initSepa(), insertIndex(), liftCliqueVariables(), lpFlushAddCols(), lpFlushAddRows(), lpRemoveObsoleteCols(), markRowsXj(), maximalslack(), mergeMultiples(), multiAggregateBinvar(), nlpCalcFracVars(), nlpFlushVarAdditions(), nlrowAddLinearCoef(), nodepairqueueCreate(), notifyNlhdlrNewsol(), objimplicsCreate(), objimplicsDelPos(), optimize(), parseBase(), performAggregations(), performBranchingNoSol(), performBranchingSol(), performDualfix(), performFixing(), performImplicationGraphAnalysis(), performRandRounding(), performSimpleRounding(), performStrongbranchWithPropagation(), predBndStr(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolRoundVarsSOS1(), presolStuffing(), presolveAddKKTAggregatedVars(), presolveConsEst(), presolveConsLct(), presolveImplint(), presolvePropagateCons(), presolveRedundantConss(), presolveSingleLockedVars(), printActiveVariables(), printAggregatedCons(), printBoundSection(), printColumnSection(), printExpr(), printIndicatorCons(), printLinearCons(), printLinearRow(), printNLRow(), printRow(), printRowAnd(), printSignomial(), printSosCons(), processBinvarFixings(), processFixings(), processNlRow(), processRealBoundChg(), processWatchedVars(), propagateBinaryBestRootRedcost(), propagateCons(), propagateCutoffboundVar(), propagateLbTTEF(), propagateLowerBoundVar(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateSelfReflectionVar(), propagateStaticOrbitope(), propagateTimetable(), propagateUbTTEF(), propagateUpperBoundSymVar(), propagateVbounds(), propCardinality(), propConsSOS1(), propdataInit(), propIndicator(), proposeFeasibleSolution(), propSOS2(), rangedRowPropagation(), readBinaries(), readBounds(), readCoefficients(), readCols(), readerdataAddOutputvar(), readGenerals(), readObjective(), readPolynomial(), readQCMatrix(), readQMatrix(), readSemicontinuous(), readSolFile(), readSOS(), readSos(), readVariables(), readXmlSolFile(), reformulateFactorizedBinaryQuadratic(), registerBranchingCandidates(), relaxVar(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedVariables(), removeIrrelevantJobs(), removeRedundantNonZeros(), reoptimize(), resetVarname(), resolveGenVBoundPropagation(), resolvePropagation(), resolvePropagationCoretimes(), respropCumulativeCondition(), rowAddCoef(), rowFindSlackVar(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), rowprepRecordModifiedVar(), runVanillaStrongBranching(), scaleCons(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECPS(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPR_OWNERPRINT(), SCIP_DECL_EXPRPRINT(), SCIP_DECL_EXPRSIMPLIFY(), SCIP_DECL_HASHGETKEY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_READERWRITE(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_VERTEXPOLYFUN(), SCIPaddCoefLinear(), SCIPaddIneqBilinear(), SCIPaddVarCardinality(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPaggrRowPrint(), SCIPanalyzeDeductionsProbing(), SCIPappendVarCardinality(), SCIPappendVarSOS1(), SCIPappendVarSOS2(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyLockFixings(), SCIPapplyProbingVar(), SCIPbendersGetVar(), SCIPbendersMergeSubproblemIntoMaster(), SCIPbendersSetupSubproblem(), SCIPbendersSolSlackVarsActive(), SCIPboundchgApply(), SCIPboundchgUndo(), SCIPbranchcandAddExternCand(), SCIPbranchExecExtern(), SCIPbranchVar(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPcatchVarEvent(), SCIPchgReoptObjective(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarLbNode(), SCIPchgVarLbProbing(), SCIPchgVarType(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPchgVarUbNode(), SCIPchgVarUbProbing(), SCIPcliqueAddVar(), SCIPcliqueDelVar(), SCIPcliquelistRemoveFromCliques(), SCIPcliquetableAdd(), SCIPcolChgLb(), SCIPcolChgObj(), SCIPcolChgUb(), SCIPcolDelCoef(), SCIPcolGetStrongbranch(), SCIPconflictAddRelaxedBound(), SCIPconflictAnalyzeRemainingBdchgs(), SCIPconflictAnalyzeStrongbranch(), SCIPconflictIsVarUsed(), SCIPcopyImplicationsCliques(), SCIPcreateConsAnd(), SCIPcreateConsCardinality(), SCIPcreateConsLinear(), SCIPcreateConsLinking(), SCIPcreateFiniteSolCopy(), SCIPcreateNlpiProblemFromNlRows(), SCIPdropVarEvent(), SCIPendStrongbranch(), SCIPeventqueueAdd(), SCIPexprDismantle(), SCIPgenerateAndApplyBendersOptCut(), SCIPgetVarCopy(), SCIPgetVarsStrongbranchesFrac(), SCIPgetVarsStrongbranchesInt(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchWithPropagation(), SCIPimplicsAdd(), SCIPimplicsDel(), SCIPincSolVal(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPlpAddCol(), SCIPlpAddRow(), SCIPlpGetSol(), SCIPmatrixGetColName(), SCIPmatrixPrintRow(), SCIPnlpDelVar(), SCIPnlrowDelLinearCoef(), SCIPnlrowPrint(), SCIPnodeAddBoundinfer(), SCIPnodeAddHolechg(), SCIPnodeAddHoleinfer(), SCIPnodePrintAncestorBranchings(), SCIPperformGenericDivingAlgorithm(), SCIPpricestoreAddBdviolvar(), SCIPpricestoreAddProbVars(), SCIPpricestoreAddVar(), SCIPpricestoreApplyVars(), SCIPprimalTransformSol(), SCIPprintBranchingStatistics(), SCIPprintNodeRootPath(), SCIPprintRowprep(), SCIPprintRowprepSol(), SCIPprobAddVar(), SCIPprobDelVar(), SCIPprobExitSolve(), SCIPprobFree(), SCIPprobPerformVarDeletions(), SCIPprobPrintPseudoSol(), SCIPprobScaleObj(), SCIPreaderWrite(), SCIPreoptAddDualBndchg(), SCIPreoptApplyGlbConss(), SCIPreoptMergeVarHistory(), SCIProwDelCoef(), SCIProwPrint(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateKnapsackCuts(), SCIPseparateRelaxedKnapsack(), SCIPsetBinaryVarIndicator(), SCIPsetSolVal(), SCIPsetSolVals(), SCIPshrinkDisjunctiveVarSet(), SCIPsolCheck(), SCIPsolCheckOrig(), SCIPsolIncVal(), SCIPsolPrint(), SCIPsolPrintRay(), SCIPsolSetVal(), SCIPstatComputeRootLPBestEstimate(), SCIPstatUpdateVarRootLPBestEstimate(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPtreeCalcNodeselPriority(), SCIPundoBdchgsProof(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarCopy(), SCIPvarGetImplRedcost(), SCIPvarIncVSIDS(), SCIPvarMultiaggregate(), SCIPvarPrint(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarSetNLPSol(), SCIPvarSetRelaxSol(), SCIPvarUpdateBestRootSol(), SCIPvarUpdatePseudocost(), SCIPvisualCutoffNode(), SCIPvisualizeConsCumulative(), SCIPvisualNewChild(), SCIPvisualSolvedNode(), SCIPvisualUpdateChild(), SCIPwriteBnd(), SCIPwriteCliqueGraph(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), SCIPwriteVarName(), scoreBranchingCandidates(), scoreContainerSetScore(), selectBestCands(), selectBranchingCandidate(), selectInitialVariableDecomposition(), selectInitialVariableRandomly(), selectVarMultAggrBranching(), selectVarRecursive(), selectVarStart(), sepadataAddMinor(), sepaImplBoundCutsSOS1(), separateCuts(), separateMcCormickImplicit(), separateRltCuts(), sepastoreApplyLb(), sepastoreApplyUb(), setupAndSolveFiniteSolSubscip(), simplifyInequalities(), solUnlinkVar(), solveAndEvalSubscip(), solveBilinearLP(), solveNlp(), solveNode(), solveSubNLP(), sortAndMergeClique(), strengthenVarbounds(), tarjan(), tightenAuxVarBounds(), tightenCoefs(), tightenDualproof(), tightenedLinkvar(), tightenSingleVar(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVariables(), tightenVarLb(), tightenVarsBoundsSOS1(), tightenVarUb(), tightenWeights(), tightenWeightsLift(), transformAndSolve(), transformVariable(), treeApplyPendingBdchgs(), tryFixVar(), updateArcData(), updateAuxiliaryVarLowerbound(), updateBestCandidate(), updatePseudocost(), upgradeConss(), usePreviousResult(), varAddImplic(), varAddLbchginfo(), varAddUbchginfo(), varAddVbound(), varHasName(), varIsSemicontinuous(), varProcessAddHoleGlobal(), varProcessAddHoleLocal(), varProcessChgLbGlobal(), varProcessChgUbGlobal(), writeFzn(), writeOpbFixedVars(), writeOpbObjective(), and writeOpbRelevantAnds().
◆ SCIPvarGetNUses()
int SCIPvarGetNUses | ( | SCIP_VAR * | var | ) |
gets number of times, the variable is currently captured
- Parameters
-
var problem variable
Definition at line 17428 of file var.c.
References NULL, and SCIP_Var::nuses.
Referenced by SCIPprobExitSolve(), and SCIPprobFree().
◆ SCIPvarGetData()
SCIP_VARDATA * SCIPvarGetData | ( | SCIP_VAR * | var | ) |
returns the user data of the variable
- Parameters
-
var problem variable
Definition at line 17438 of file var.c.
References NULL, and SCIP_Var::vardata.
Referenced by addFixedVarsConss(), checkVariable(), computeBranchingPriorities(), consdataCheck(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_EVENTEXEC(), and SCIPgetObjVardata().
◆ SCIPvarSetData()
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 17448 of file var.c.
References NULL, and SCIP_Var::vardata.
Referenced by addAuxiliaryVariablesToMaster(), assignAuxiliaryVariables(), createInitialColumns(), SCIP_DECL_EVENTEXEC(), and SCIPcreateVarBinpacking().
◆ SCIPvarSetDelorigData()
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 17459 of file var.c.
References NULL, SCIP_VARSTATUS_ORIGINAL, and SCIPvarGetStatus().
◆ SCIPvarSetTransData()
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 17471 of file var.c.
References NULL, SCIP_VARSTATUS_ORIGINAL, and SCIPvarGetStatus().
◆ SCIPvarSetDeltransData()
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 17483 of file var.c.
References NULL.
Referenced by SCIPcreateVarBinpacking().
◆ SCIPvarSetCopyData()
void SCIPvarSetCopyData | ( | SCIP_VAR * | var, |
SCIP_DECL_VARCOPY((*varcopy)) | |||
) |
◆ SCIPvarGetStatus()
SCIP_VARSTATUS SCIPvarGetStatus | ( | SCIP_VAR * | var | ) |
gets status of variable
- Parameters
-
var problem variable
Definition at line 17537 of file var.c.
References NULL, and SCIP_Var::varstatus.
Referenced by addAltLPConstraint(), addBdchg(), addCliques(), addCoef(), addSplitcons(), applyBoundChanges(), applyFixings(), applyGenVBound(), applyObbt(), applyRepair(), assignVars(), binvarGetActiveProbindex(), branchcandCalcLPCands(), branchOnBin(), calcBdchgScore(), calcBranchScore(), calcVarBoundsDominated(), calcVarBoundsDominating(), changeAncestorBranchings(), checkForOverlapping(), checkSystemGF2(), cleanupHashDatas(), cliqueCleanup(), cliquePresolve(), colCalcInternalFarkasCoef(), colCalcInternalRedcost(), collectAggregatedVars(), computeAlternativeBounds(), computeCut(), conflictAddBound(), conflictResolveBound(), consdataCreate(), constructValidSolution(), convertToActiveVar(), correctConshdlrdata(), correctPresoldata(), countNonlinearities(), createBlockproblem(), createCGCutCMIR(), createCGCuts(), createCoveringProblem(), createKKTComplementarityBounds(), createNAryBranch(), createNewSol(), createPresoldata(), determineVariableFixings(), enforceCardinality(), enforceConflictgraph(), enforceIndicators(), exitPresolve(), fixDeleteOrUpgradeCons(), fixVariables(), fixVariableZero(), fixVariableZeroNode(), getActiveVar(), getActiveVariables(), getBranchCands(), getDualBranchscore(), getImplVarRedcost(), getLinearCoeffs(), getNActiveConsScore(), getNVarsIndicators(), getRandomVariable(), getVariablePscostScore(), getVariableRedcostScore(), includeVarGenVBound(), inferVariableZero(), initLP(), liftCliqueVariables(), lpFlushAddCols(), lpFlushChgCols(), lpUpdateObjval(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), lpUpdateVarProved(), markNeighborsMWISHeuristic(), markRowsXj(), mergeMultiples(), nlrowRemoveFixedLinearCoefPos(), optimize(), performInteriorSolCutStrengthening(), performRandRounding(), performSimpleRounding(), performStrongbranchSOS1(), preprocessCliques(), presolRoundIndicator(), presolve(), presolveAddKKTAggregatedVars(), printBoundSection(), probInsertVar(), probRemoveVar(), processBinvarFixings(), processRealBoundChg(), processWatchedVars(), propagateCons(), propIndicator(), propVariableNonzero(), readSolFile(), readXmlSolFile(), recomputeLooseObjectiveValue(), relaxVar(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedVariables(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXITPRE(), SCIP_DECL_READERWRITE(), SCIPaddPricedVar(), SCIPaddVar(), SCIPaggregateVars(), SCIPapplyLockFixings(), SCIPboundchgApply(), SCIPboundchgUndo(), SCIPbranchcandAddExternCand(), SCIPbranchcandGetPseudoCands(), SCIPbranchcandUpdateVar(), SCIPchgReoptObjective(), SCIPcliqueAddVar(), SCIPcliquetableAdd(), SCIPcliquetableCleanup(), SCIPcolCalcFarkasCoef(), SCIPcolCalcRedcost(), SCIPcolChgLb(), SCIPcolChgObj(), SCIPcolChgUb(), SCIPcolFree(), SCIPcolGetStrongbranch(), SCIPcolGetStrongbranches(), SCIPcolInvalidateStrongbranchData(), SCIPcolSetStrongbranchData(), SCIPcomputeVarLbGlobal(), SCIPcomputeVarLbLocal(), SCIPcomputeVarUbGlobal(), SCIPcomputeVarUbLocal(), SCIPconflictAddBound(), SCIPconflictAddRelaxedBound(), SCIPconflictAnalyzeRemainingBdchgs(), SCIPconflictIsVarUsed(), SCIPcreateFiniteSolCopy(), SCIPdelVar(), SCIPdomchgAddBoundchg(), SCIPeventCreateImplAdded(), SCIPeventCreateVarFixed(), SCIPeventCreateVarUnlocked(), SCIPeventProcess(), SCIPfixVar(), SCIPgetRowprepViolation(), SCIPgetVarCopy(), SCIPgetVarFarkasCoef(), SCIPgetVarImplRedcost(), SCIPgetVarLbAtIndex(), SCIPgetVarMultaggrLbGlobal(), SCIPgetVarMultaggrLbLocal(), SCIPgetVarMultaggrUbGlobal(), SCIPgetVarMultaggrUbLocal(), SCIPgetVarNStrongbranchs(), SCIPgetVarRedcost(), SCIPgetVarsStrongbranchesFrac(), SCIPgetVarsStrongbranchesInt(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchLast(), SCIPgetVarStrongbranchLPAge(), SCIPgetVarStrongbranchNode(), SCIPgetVarStrongbranchWithPropagation(), SCIPgetVarUbAtIndex(), SCIPimplicsAdd(), SCIPlpAddCol(), SCIPlpEndDive(), SCIPlpMarkFlushed(), SCIPlpShrinkCols(), SCIPlpStartDive(), SCIPlpSumRows(), SCIPlpUpdateAddVar(), SCIPlpUpdateDelVar(), SCIPlpUpdateVarLb(), SCIPlpUpdateVarObj(), SCIPlpUpdateVarUb(), SCIPmakeIndicatorFeasible(), SCIPmergeVariableStatistics(), SCIPnlrowAddLinearCoef(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPnodePropagateImplics(), SCIPpricestoreAddProbVars(), SCIPpricestoreApplyVars(), SCIPprimalTransformSol(), SCIPprobAddVar(), SCIPprobChgVarType(), SCIPprobDelVar(), SCIPprobExitSolve(), SCIPprobPerformVarDeletions(), SCIPprobUpdateBestRootSol(), SCIPprobVarChangedStatus(), SCIPrelaxationUpdateVarObj(), SCIPreoptApplyCuts(), SCIProwCalcIntegralScalar(), SCIProwPrint(), SCIProwRecalcPseudoActivity(), SCIPsetVarStrongbranchData(), SCIPsolAdjustImplicitSolVals(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolRound(), SCIPsolSetVal(), SCIPsolUpdateVarObj(), SCIPstatUpdateVarRootLPBestEstimate(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPvarAddClique(), SCIPvarAddCliqueToList(), SCIPvarAddHoleGlobal(), SCIPvarAddHoleLocal(), SCIPvarAddHoleOriginal(), SCIPvarAddImplic(), SCIPvarAddLocks(), SCIPvarAddObj(), SCIPvarAddToRow(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarAggregate(), SCIPvarChgBranchDirection(), SCIPvarChgBranchFactor(), SCIPvarChgBranchPriority(), SCIPvarChgLbDive(), SCIPvarChgLbGlobal(), SCIPvarChgLbLazy(), SCIPvarChgLbLocal(), SCIPvarChgLbOriginal(), SCIPvarChgObj(), SCIPvarChgObjDive(), SCIPvarChgUbDive(), SCIPvarChgUbGlobal(), SCIPvarChgUbLazy(), SCIPvarChgUbLocal(), SCIPvarChgUbOriginal(), SCIPvarColumn(), SCIPvarCompareActiveAndNegated(), SCIPvarCopy(), SCIPvarDelClique(), SCIPvarDoNotAggr(), SCIPvarDoNotMultaggr(), SCIPvarFix(), SCIPvarFlattenAggregationGraph(), SCIPvarGetActiveRepresentatives(), SCIPvarGetAggrConstant(), SCIPvarGetAggregatedObj(), SCIPvarGetAggrScalar(), SCIPvarGetAggrVar(), SCIPvarGetAvgBranchdepth(), SCIPvarGetAvgBranchdepthCurrentRun(), SCIPvarGetAvgConflictlength(), SCIPvarGetAvgConflictlengthCurrentRun(), SCIPvarGetAvgCutoffs(), SCIPvarGetAvgCutoffsCurrentRun(), SCIPvarGetAvgGMIScore(), SCIPvarGetAvgInferences(), SCIPvarGetAvgInferencesCurrentRun(), SCIPvarGetAvgSol(), SCIPvarGetBestRootLPObjval(), SCIPvarGetBestRootRedcost(), SCIPvarGetBestRootSol(), SCIPvarGetCol(), SCIPvarGetCutoffSum(), SCIPvarGetCutoffSumCurrentRun(), SCIPvarGetHolelistOriginal(), SCIPvarGetImplRedcost(), SCIPvarGetInferenceSum(), SCIPvarGetInferenceSumCurrentRun(), SCIPvarGetLastBdchgIndex(), SCIPvarGetLastGMIScore(), SCIPvarGetLbAtIndex(), SCIPvarGetLbLP(), SCIPvarGetLbOriginal(), SCIPvarGetLPSol(), SCIPvarGetLPSol_rec(), SCIPvarGetMultaggrConstant(), SCIPvarGetMultaggrLbGlobal(), SCIPvarGetMultaggrLbLocal(), SCIPvarGetMultaggrNVars(), SCIPvarGetMultaggrScalars(), SCIPvarGetMultaggrUbGlobal(), SCIPvarGetMultaggrUbLocal(), SCIPvarGetMultaggrVars(), SCIPvarGetNActiveConflicts(), SCIPvarGetNActiveConflictsCurrentRun(), SCIPvarGetNBranchings(), SCIPvarGetNBranchingsCurrentRun(), SCIPvarGetNegationConstant(), SCIPvarGetNegationVar(), SCIPvarGetNLocksDownType(), SCIPvarGetNLocksUpType(), SCIPvarGetNLPSol(), SCIPvarGetNLPSol_rec(), SCIPvarGetObjLP(), SCIPvarGetOrigvarSum(), SCIPvarGetProbvar(), SCIPvarGetProbvarBinary(), SCIPvarGetProbvarBound(), SCIPvarGetProbvarHole(), SCIPvarGetProbvarSum(), SCIPvarGetPseudocost(), SCIPvarGetPseudocostCount(), SCIPvarGetPseudocostCountCurrentRun(), SCIPvarGetPseudocostCurrentRun(), SCIPvarGetPseudocostVariance(), SCIPvarGetPseudoSol(), SCIPvarGetPseudoSol_rec(), SCIPvarGetRelaxSol(), SCIPvarGetRelaxSolTransVar(), SCIPvarGetRootSol(), SCIPvarGetTransformed(), SCIPvarGetTransVar(), SCIPvarGetUbAtIndex(), SCIPvarGetUbLP(), SCIPvarGetUbOriginal(), SCIPvarGetVSIDS(), SCIPvarGetVSIDS_rec(), SCIPvarGetVSIDSCurrentRun(), SCIPvarIncCutoffSum(), SCIPvarIncGMIeffSum(), SCIPvarIncInferenceSum(), SCIPvarIncNActiveConflicts(), SCIPvarIncNBranchings(), SCIPvarIncVSIDS(), SCIPvarIsInLP(), SCIPvarIsNegated(), SCIPvarIsOriginal(), SCIPvarIsTransformed(), SCIPvarIsTransformedOrigvar(), SCIPvarLoose(), SCIPvarMarkDoNotAggr(), SCIPvarMarkDoNotMultaggr(), SCIPvarMultiaggregate(), SCIPvarNegate(), SCIPvarPrint(), SCIPvarRemove(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarsAddClique(), SCIPvarScaleVSIDS(), SCIPvarSetDelorigData(), SCIPvarSetLastGMIScore(), SCIPvarSetNLPSol(), SCIPvarSetRelaxSol(), SCIPvarSetTransData(), SCIPvarsGetActiveVars(), SCIPvarTransform(), SCIPvarTryAggregateVars(), SCIPvarUpdatePseudocost(), SCIPvarWasFixedEarlier(), SCIPvboundsAdd(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), selectVarMultAggrBranching(), separateCons(), shortenConss(), solUnlinkVar(), solveLp(), sortAndMergeClique(), tightenedLinkvar(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVarsBoundsSOS1(), tryAddGadgetSquaredDifference(), tryAggregateIntVars(), updateBestCandidate(), updateConsanddataUses(), updateSubproblemLowerbound(), varAddImplic(), varAddParent(), varAddTransitiveImplic(), varEventGlbChanged(), varEventGubChanged(), varEventLbChanged(), varEventObjChanged(), varEventUbChanged(), varEventVarFixed(), varFree(), varFreeParents(), varGetActiveVar(), varGetObjDelta(), varIsInteresting(), varMayRoundDown(), varMayRoundUp(), varProcessAddHoleGlobal(), varProcessAddHoleLocal(), varProcessChgBranchDirection(), varProcessChgBranchFactor(), varProcessChgBranchPriority(), varProcessChgLbGlobal(), varProcessChgLbLocal(), varProcessChgUbGlobal(), varProcessChgUbLocal(), varSetProbindex(), writeOpbConstraints(), and writeOpbObjective().
◆ SCIPvarIsOriginal()
returns whether the variable belongs to the original problem
- Parameters
-
var problem variable
Definition at line 17547 of file var.c.
References SCIP_Var::negatedvar, NULL, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, and SCIPvarGetStatus().
Referenced by addGlobalCut(), addSplitcons(), changeAncestorBranchings(), collectDualInformation(), consdataFree(), constructCompression(), createAndAddAndCons(), fixBounds(), reoptSaveNewObj(), reoptSimilarity(), SCIP_DECL_EXPRSIMPLIFY(), SCIPcatchVarEvent(), SCIPchgCoefLinear(), SCIPchgReoptObjective(), SCIPcopyConsLinear(), SCIPdropVarEvent(), SCIPgetConcurrentVaridx(), SCIPgetReoptOldObjCoef(), SCIPreoptAddDualBndchg(), SCIPreoptApplyCuts(), SCIPreoptApplyGlbConss(), SCIPreoptMergeVarHistory(), SCIPreoptUpdateVarHistory(), SCIPvarGetHolelistOriginal(), SCIPvarGetLbOriginal(), SCIPvarGetOrigvarSum(), SCIPvarGetUbOriginal(), SCIPvarResetBounds(), separateSolution(), and transformIntoOrig().
◆ SCIPvarIsTransformed()
returns whether the variable belongs to the transformed problem
- Parameters
-
var problem variable
Definition at line 17560 of file var.c.
References SCIP_Var::negatedvar, NULL, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, and SCIPvarGetStatus().
Referenced by addCoef(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addOrbitope(), addSplitcons(), addVarCardinality(), addVarSOS1(), addVarSOS2(), appendVarCardinality(), appendVarSOS1(), appendVarSOS2(), applyFixings(), assignVars(), changeAncestorBranchings(), chgCoefPos(), consCatchEvent(), delCoefPos(), lexdataCreate(), nlpAddVars(), SCIP_DECL_CONSDEACTIVE(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSINIT(), SCIP_DECL_EVENTEXEC(), SCIPaddVarLocksType(), SCIPaddVarObj(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarObj(), SCIPchgVarType(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPcreateConsSOS1(), SCIPgetTransformedVar(), SCIPgetTransformedVars(), SCIPincSolVal(), SCIPinferBinvarCons(), SCIPinferBinvarProp(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPlockVarCons(), SCIPnlpAddVar(), SCIPreleaseVar(), SCIPsetSolVal(), SCIPsetSolVals(), SCIPsolGetVal(), SCIPsolMarkPartial(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtransformVar(), SCIPtransformVars(), SCIPunlockVarCons(), SCIPvarAddHoleOriginal(), SCIPvarCatchEvent(), SCIPvarChgLbOriginal(), SCIPvarChgUbOriginal(), SCIPvarDropEvent(), SCIPvarIsTransformedOrigvar(), SCIPvarNegate(), SCIPvarPrint(), SCIPvarRemove(), SCIPwriteBnd(), setIntvar(), shadowtreeFillNodeDepthBranchIndices(), solUnlinkVar(), tightenBounds(), transformToOrig(), varEnsureLbchginfosSize(), varEnsureUbchginfosSize(), varEventGholeAdded(), varEventGlbChanged(), varEventGubChanged(), varEventLbChanged(), varEventObjChanged(), varEventUbChanged(), varIncRootboundchgs(), varProcessAddHoleGlobal(), varProcessChgLbGlobal(), varProcessChgLbLocal(), varProcessChgUbGlobal(), and varProcessChgUbLocal().
◆ SCIPvarIsNegated()
returns whether the variable was created by negation of a different variable
- Parameters
-
var problem variable
Definition at line 17573 of file var.c.
References NULL, SCIP_VARSTATUS_NEGATED, and SCIPvarGetStatus().
Referenced by addCliqueDataEntry(), addCliques(), addSplitcons(), applyFixings(), binvarGetActiveProbindex(), checkEqualObjective(), checkParallelObjective(), checkSolution(), checkSystemGF2(), collectCliqueData(), computeRanks(), correctLocksAndCaptures(), createCoveringProblem(), createSubSCIP(), decompGetConsVarsAndLabels(), extractGates(), findAggregation(), getLinVarsAndAndRess(), mergeMultiples(), packingUpgrade(), preprocessCliques(), presolRoundIndicator(), printIndicatorCons(), printNLRow(), printRow(), propagateCons(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_SORTPTRCOMP(), SCIPapplyHeurDualval(), SCIPchgVarType(), SCIPcomputeDecompVarsLabels(), SCIPcreateConsOrbitope(), SCIPwriteLp(), SCIPwriteMps(), SCIPwriteVarName(), setObjective(), tryUpgradingXor(), varGetObjDelta(), writeOpbObjective(), and writeOpbRelevantAnds().
◆ SCIPvarGetType()
SCIP_VARTYPE SCIPvarGetType | ( | SCIP_VAR * | var | ) |
gets type of variable
- Parameters
-
var problem variable
Definition at line 17583 of file var.c.
References NULL, and SCIP_Var::vartype.
Referenced by addCoef(), addConstraintToBendersSubproblem(), addFixedVarsConss(), addGlobalCut(), addLinearConstraints(), addLocalBranchingConstraint(), addLocalbranchingConstraintAndObjcutoff(), addRelaxation(), addRltTerm(), addScenarioVarsToProb(), addSplitcons(), addSSTConss(), addVarboundConstraints(), aggregateVariables(), aggregation(), applyBoundChanges(), applyBoundHeur(), applyFixings(), applyNlobbt(), applyRepair(), applyVboundsFixings(), areBoundsChanged(), branchcandCalcLPCands(), branchcandInsertPseudoCand(), branchcandRemovePseudoCand(), branchingIntegralOrNonlinear(), calcBranchScore(), cancelCol(), checkAndGetVarbound(), checkRedundancy(), checkRedundancySide(), checkVarbound(), chooseVeclenVar(), colIsDiscrete(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), compareVars(), compareVarsSignedPerm(), compensateVarLock(), componentPackingPartitioningOrbisackUpgrade(), computeDynamicRowOrder(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeMonoidalStrengthCoef(), conflictAddBound(), conflictResolveBound(), consdataCheckNonbinvar(), consdataCreate(), consdataTightenCoefs(), convertLongEquality(), copyVars(), countSparseSol(), createAndSplitProblem(), createCGMIPprimalsols(), CUTOFF_CONSTRAINT(), cutsRoundStrongCG(), cutsTransformKnapsackCover(), decompHorizonInitialize(), delCoefPos(), detectHiddenProducts(), detectProductsClique(), detectProductsImplbnd(), determineBestBounds(), determineBoundForSNF(), determineVariableFixingsDecomp(), dfs(), domchgMakeDynamic(), dualBoundStrengthening(), dualPresolve(), ensureSymmetryMovedpermvarscountsComputed(), extractCapacityRows(), extractCliques(), extractFlowRows(), extractProducts(), fillRelationTables(), findBestLb(), findBestUb(), findFixings(), findVarAggrRedVbcons(), fixAndPropagate(), fixInterdiction(), forbidFixation(), fullDualPresolve(), generateGMICuts(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getScenarioDecompVar(), getScore(), getScoreOfFarkasDiving(), getVarWeight(), heurExec(), initData(), isBoundchgUseless(), isFixedVar(), isPseudocostUpdateValid(), isSingleLockedCand(), isVlb(), isVub(), level2dataGetResult(), level2dataStoreResult(), mergeMultiples(), nlpCalcFracVars(), AMPLProblemHandler::OnVarBounds(), optimize(), performSimpleRounding(), predBndStr(), presolStuffing(), presolveSingleLockedVars(), prettifyConss(), printBoundSection(), printColumnSection(), printLinearCons(), probInsertVar(), probRemoveVar(), propagateStaticLexred(), propagateStaticOrbitope(), propIndicator(), rangedRowPropagation(), readBounds(), readIndicators(), registerBranchingCandidates(), removeDoubleAndSingletonsAndPerformDualpresolve(), resolvePropagation(), roundPartition(), rowCalculateGauss(), rowFindSlackVar(), rowIsBranchRow(), sampleRandomPoints(), saveGlobalCons(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXITSOL(), SCIP_DECL_EVENTINITSOL(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NONLINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SORTINDCOMP(), SCIP_DECL_SORTPTRCOMP(), SCIPaddTrustregionNeighborhoodConstraint(), SCIPaddVarImplication(), SCIPaddVarIndicator(), SCIPaddVarVlb(), SCIPaddVarVub(), SCIPanalyzeDeductionsProbing(), SCIPapplyLockFixings(), SCIPbendersChgMastervarsToCont(), SCIPbendersMergeSubproblemIntoMaster(), SCIPbranchcandAddExternCand(), SCIPbranchcandContainsExternCand(), SCIPbranchcandGetPseudoCands(), SCIPbranchcandUpdateVar(), SCIPbranchExecLP(), SCIPbranchExecPseudo(), SCIPbranchGetBranchingPoint(), SCIPbranchVar(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPcalcChildEstimateIncrease(), SCIPchgVarType(), SCIPclassifyConstraintTypesLinear(), SCIPcliquetableCleanup(), SCIPconflictAnalyzeRemainingBdchgs(), SCIPcreateConsAnd(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinCons(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPdomchgAddBoundchg(), SCIPdomchgMakeStatic(), SCIPfixVar(), SCIPisObjIntegral(), SCIPnlpHasContinuousNonlinearity(), SCIPprobCheckObjIntegral(), SCIPprobChgVarType(), SCIPreoptApplyGlbConss(), SCIPreoptnodeAddCons(), SCIPreoptSplitRoot(), SCIPsetBinaryVarIndicator(), SCIPsetLinearConsIndicator(), SCIPshrinkDisjunctiveVarSet(), SCIPsolAdjustImplicitSolVals(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPtreeCalcChildEstimate(), SCIPupgradeConsLinear(), SCIPvarAddHoleGlobal(), SCIPvarAddHoleLocal(), SCIPvarAddHoleOriginal(), SCIPvarAddImplic(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarAdjustLb(), SCIPvarAdjustUb(), SCIPvarAggregate(), SCIPvarChgLbGlobal(), SCIPvarChgLbLocal(), SCIPvarChgLbOriginal(), SCIPvarChgType(), SCIPvarChgUbGlobal(), SCIPvarChgUbLocal(), SCIPvarChgUbOriginal(), SCIPvarCopy(), SCIPvarFix(), SCIPvarIsBinary(), SCIPvarIsIntegral(), SCIPvarNegate(), SCIPvarPrint(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarTransform(), SCIPvarTryAggregateVars(), SCIPvboundsAdd(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), SCIPwriteVarName(), scoreBranchingCandidates(), selectEssentialRounding(), selectInitialVariableDecomposition(), selectOrbitLeaderSSTConss(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), separateCons(), separateCuts(), separateGLS(), separateHeur(), separateSolution(), setupAndSolveSubscipRapidlearning(), simplifyInequalities(), singletonColumnStuffing(), soltreeAddSol(), solveNode(), sortComponents(), tcliquegraphAddNode(), tcliquegraphConstructCliqueTable(), tightenBounds(), tightenCoefs(), tightenDualproof(), tightenSides(), tightenVarLb(), tightenVarUb(), transformAndSolve(), tryAggregateIntVars(), updateActivities(), updateBestCandidate(), updatePseudocost(), useValuehistory(), varAddImplic(), varAddLbchginfo(), varAddTransitiveImplic(), varAddUbchginfo(), varGetChar(), varIsDiscrete(), varIsSemicontinuous(), varIsUnfixedLocal(), varProcessAddHoleGlobal(), varProcessAddHoleLocal(), varProcessBoundChanges(), varProcessChgLbGlobal(), varProcessChgLbLocal(), varProcessChgUbGlobal(), varProcessChgUbLocal(), writeFzn(), and writeOpbConstraints().
◆ SCIPvarIsBinary()
returns TRUE if the variable is of binary type; this is the case if: (1) variable type is binary (2) variable type is integer or implicit integer and (i) the global lower bound is greater than or equal to zero (ii) the global upper bound is less than or equal to one
- Parameters
-
var problem variable
Definition at line 17598 of file var.c.
References SCIP_Var::glbdom, SCIP_Dom::lb, NULL, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_CONTINUOUS, SCIPvarGetType(), and SCIP_Dom::ub.
Referenced by addBinaryConstraint(), addCand(), addCoef(), addConflictBinvar(), addOrbitopeSubgroup(), addSSTConssOrbitAndUpdateSST(), addVarCardinality(), adjustCutoffbound(), aggregateVariables(), analyzeStrongbranch(), appendVarCardinality(), applyBinaryConstraints(), applyFixings(), applyProbing(), bdchginfoIsInvalid(), binaryVarListAppend(), binvarGetActiveProbindex(), buildQuadExprMatrix(), calcBranchScore(), calcPscostQuot(), calculateAlternatives(), cancelCol(), cancelRow(), checkAndCollectQuadratic(), checkCons(), checkLogicor(), checkSystemGF2(), checkTwoCyclePermsAreOrbitope(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), cliquetableGetNodeIndexBinvar(), collectBinaryCliqueData(), collectMaxactVar(), collectMinactImplicVars(), collectMinactObjchg(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), computeNogoodCut(), conflictQueueBound(), consdataCreate(), consdataPrint(), consdataSort(), convertLongEquality(), createConflict(), createKKTDualCons(), createSolFromSubScipSol(), createSubproblem(), CUTOFF_CONSTRAINT(), DECL_VARFIXINGS(), detectAndHandleSubgroups(), detectImpliedBounds(), detectMinors(), detectSocNorm(), detectSocQuadraticSimple(), dfs(), dropVarEvents(), dualPresolve(), enforceConflictgraph(), enforceConssSOS1(), executeBranchingRecursive(), extractCliques(), findFixings(), fixMatchingSolutionValues(), fullDualPresolve(), getClosestVlb(), getClosestVub(), getConflictImplics(), getCover(), getFixedVariable(), getMaxactImplicObjchg(), getMaxactObjchg(), getMinactImplicObjchg(), getMinactObjchg(), getNOrbitopesInComp(), getScore(), getScoreLikeCoefdiving(), getVarObjchg(), handleDoublelLexMatrix(), handleOrbitope(), heurExec(), isConsViolated(), lpCopyIntegrality(), mergeMultiples(), objimplicsCreate(), orbisackUpgrade(), predBndStr(), preprocessConstraintPairs(), presolRoundCardinality(), presolRoundConsSOS1(), printIndicatorCons(), processBinvarFixings(), propagateCutoffboundBinvar(), propagateLowerbound(), propagateLowerboundBinvar(), propagateVbounds(), propCardinality(), propdataInit(), rangedRowPropagation(), rangedRowSimplify(), removeDoubleAndSingletonsAndPerformDualpresolve(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRSIMPLIFY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRDETECT(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_SORTINDCOMP(), SCIP_DECL_SORTPTRCOMP(), SCIPaddConflictBinvar(), SCIPaddVarImplication(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurDualval(), SCIPapplyProximity(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPcliqueAddVar(), SCIPcliqueDelVar(), SCIPcliquelistRemoveFromCliques(), SCIPcliquetableAdd(), SCIPcliquetableComputeCliqueComponents(), SCIPcliquetableGetVarComponentIdx(), SCIPcreateConsCardinality(), SCIPcreateConsOrbitope(), SCIPdomchgAddBoundchg(), SCIPextendSubOrbitope(), SCIPgenerateOrbitopeVarsMatrix(), SCIPgetVarWasFixedAtIndex(), SCIPhaveVarsCommonClique(), SCIPinferBinvarCons(), SCIPinferBinvarProp(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPisInvolutionPerm(), SCIPnodePropagateImplics(), SCIPprobGetNImplBinVars(), SCIPprobUpdateBestRootSol(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPupgradeConsLinear(), SCIPvarAddClique(), SCIPvarAddCliqueToList(), SCIPvarAddImplic(), SCIPvarAddVub(), SCIPvarAggregate(), SCIPvarChgType(), SCIPvarDelClique(), SCIPvarDelCliqueFromList(), SCIPvarGetImplRedcost(), SCIPvarGetProbvarBinary(), SCIPvarHasBinaryImplic(), SCIPvarHasImplic(), SCIPvarNegate(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarsAddClique(), SCIPvarsHaveCommonClique(), SCIPvarTryAggregateVars(), SCIPvarWasFixedAtIndex(), SCIPvarWasFixedEarlier(), separateCuts(), separateGLS(), separateHeur(), setSymmetryData(), simplifyInequalities(), sortAndMergeClique(), sortVariables(), tightenCoefs(), tightenDualproof(), tryHandleSingleOrDoubleLexMatricesComponent(), upgradeCons(), upgradeConss(), varAddImplic(), varAddLbchginfo(), varAddUbchginfo(), varGetObjDelta(), and varIsInteresting().
◆ SCIPvarIsIntegral()
returns whether variable is of integral type (binary, integer, or implicit integer)
- Parameters
-
var problem variable
Definition at line 17609 of file var.c.
References NULL, SCIP_VARTYPE_CONTINUOUS, and SCIPvarGetType().
Referenced by addBilinearTermToCut(), addConflictBounds(), addRltTerm(), adjustCutoffbound(), aggregation(), analyzeConflict(), analyzeConflictLowerbound(), analyzeConflictUpperbound(), applyFixings(), branchingIntegralFirst(), calculateAlternatives(), cancelCol(), cancelRow(), checkExec(), checkKnapsack(), computeCut(), computeFixingOrder(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), conflictAddConflictCons(), conflictCreateReconvergenceConss(), consdataIsResidualIntegral(), createAndAddProofcons(), createCGCutCMIR(), createNewSol(), createSubSCIP(), cutsRoundStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_VARFIXINGS(), detectAndHandleSubgroups(), detectImpliedBounds(), determineBound(), determineVariableFixings(), enforceConflictgraph(), findNewBounds(), fixAndPropagate(), fixMatchingSolutionValues(), fullDualPresolve(), generateClusterCuts(), initializeCandsLists(), isBinaryProduct(), isOverlapping(), lpCopyIntegrality(), performFixing(), performStrongbranchSOS1(), presolveImplint(), propagateLowerboundVar(), propagateRedcostVar(), propIndicator(), proposeFeasibleSolution(), rangedRowPropagation(), resolveGenVBoundPropagation(), resolvePropagation(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPRINTEGRALITY(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_SORTINDCOMP(), SCIPaddVarIndicator(), SCIPboundchgApply(), SCIPcolCreate(), SCIPcolGetStrongbranch(), SCIPcolGetStrongbranches(), SCIPcolInvalidateStrongbranchData(), SCIPcolIsIntegral(), SCIPcolSetStrongbranchData(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPcutsTightenCoefficients(), SCIPgetVarStrongbranchWithPropagation(), SCIPlpAddCol(), SCIPlpWriteMip(), SCIPprobAddVar(), SCIProwCreate(), SCIPsolPrint(), SCIPstatComputeRootLPBestEstimate(), SCIPtreeBranchVarHole(), SCIPvarAddVlb(), selectInitialVariableRandomly(), selectShifting(), tightenBoundProbing(), tightenDualproof(), tightenSingleVar(), tightenVarBounds(), tightenVariables(), tightenVarLb(), tightenVarsBoundsSOS1(), tightenVarUb(), transformVariable(), tryAdd2variableBuffer(), updateArcData(), varGetChar(), varIncRootboundchgs(), and varIsDiscrete().
◆ SCIPvarIsInitial()
returns whether variable's column should be present in the initial root LP
- Parameters
-
var problem variable
Definition at line 17619 of file var.c.
References SCIP_Var::initial, and NULL.
Referenced by addConstraintToBendersSubproblem(), addScenarioVarsToProb(), aggregation(), applyFixings(), convertLongEquality(), getScenarioDecompVar(), initLP(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPvarCopy(), and tryAggregateIntVars().
◆ SCIPvarIsRemovable()
returns whether variable's column is removable from the LP (due to aging or cleanup)
- Parameters
-
var problem variable
Definition at line 17629 of file var.c.
References NULL, and SCIP_Var::removable.
Referenced by addConstraintToBendersSubproblem(), addScenarioVarsToProb(), aggregation(), applyFixings(), convertLongEquality(), getScenarioDecompVar(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPvarCopy(), and tryAggregateIntVars().
◆ SCIPvarIsDeleted()
returns whether the variable was deleted from the problem
- Parameters
-
var problem variable
Definition at line 17639 of file var.c.
References SCIP_Var::deleted, and NULL.
Referenced by addScenarioVarsToProb(), applyProbing(), performDualfix(), performVarDeletions(), removeCoreVariablesAndConstraints(), removeVariablesAndConstraintsFromMaster(), SCIP_DECL_CONSDELETE(), and SCIP_DECL_PRESOLEXEC().
◆ SCIPvarMarkDeletable()
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 17651 of file var.c.
References SCIP_Var::deletable, NULL, SCIP_Var::probindex, and TRUE.
Referenced by addVariable(), SCIP_DECL_PRICERFARKAS(), SCIP_DECL_PRICERREDCOST(), SCIPcreateVarBinpacking(), and SCIPvarMarkRelaxationOnly().
◆ SCIPvarMarkNotDeletable()
void SCIPvarMarkNotDeletable | ( | SCIP_VAR * | var | ) |
marks the variable to be not deletable from the problem
Definition at line 17662 of file var.c.
References SCIP_Var::deletable, FALSE, and NULL.
Referenced by focusnodeCleanupVars(), SCIPsolMarkPartial(), SCIPvarAggregate(), SCIPvarMultiaggregate(), SCIPvarNegate(), solIncArrayVal(), and solSetArrayVal().
◆ SCIPvarIsDeletable()
returns whether variable is allowed to be deleted completely from the problem
Definition at line 17737 of file var.c.
References SCIP_Var::deletable, and NULL.
Referenced by focusnodeCleanupVars(), SCIPprobExitSolve(), and SCIPvarMarkRelaxationOnly().
◆ SCIPvarMarkDeleteGlobalStructures()
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 17675 of file var.c.
References SCIP_Var::delglobalstructs, NULL, and TRUE.
Referenced by SCIPremoveVarFromGlobalStructures(), and solveAndEvalSubscip().
◆ SCIPvarIsActive()
returns whether variable is an active (neither fixed nor aggregated) variable
- Parameters
-
var problem variable
Definition at line 17747 of file var.c.
References NULL, and SCIP_Var::probindex.
Referenced by addCliqueDataEntry(), addCliques(), addCoef(), addConsToOccurList(), applyFixings(), applyGenVBounds(), applyProbing(), binvarGetActiveProbindex(), branchruledataEnsureArraySize(), calcCliquePartitionGreedy(), checkForOverlapping(), checkLocksAndRes(), checkRedundantCons(), checkSystemGF2(), cliquePresolve(), cliquetableGetNodeIndexBinvar(), collectCliqueData(), conflictAddBound(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictResolveBound(), consCatchEvent(), convertLongEquality(), createAndSplitProblem(), createCoveringProblem(), createNAryBranch(), createSolFromNLP(), createSolFromSubScipSol(), createSubproblem(), createSubSCIP(), cutsRoundMIR(), decompGetConsVarsAndLabels(), dfs(), dualPresolving(), extractGates(), findAggregation(), freeSubSCIP(), getActiveVar(), getMaxactImplicObjchg(), getRandomVariable(), GUBsetCalcCliquePartition(), heurdataEnsureArraySize(), initData(), initTCliquegraph(), liftCliqueVariables(), mergeMultiples(), nlpAddVars(), nlpRemoveFixedVar(), nlpSetupNlpiIndices(), nlrowAddLinearCoef(), nlrowRemoveFixedLinearCoefPos(), nlrowRemoveFixedVar(), performBoundSubstitution(), preprocessCliques(), preprocessConstraintPairs(), presolRoundIndicator(), propagateCons(), propagateVbounds(), removeConstraintsDueToNegCliques(), removeFixedVariables(), resolvePropagationCoretimes(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_EXPR_MAPEXPR(), SCIP_DECL_EXPRSIMPLIFY(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROBCOPY(), SCIP_DECL_SEPAEXECLP(), SCIPaddVarImplication(), SCIPcalcCliquePartition(), SCIPcliquetableComputeCliqueComponents(), SCIPcomputeDecompVarsLabels(), SCIPconflictAddBound(), SCIPconflictAddRelaxedBound(), SCIPconflictIsVarUsed(), SCIPcreateConsOrbitope(), SCIPgetReoptOldObjCoef(), SCIPhaveVarsCommonClique(), SCIPimplicsAdd(), SCIPnlrowAddLinearCoef(), SCIPnlrowDelLinearCoef(), SCIPprimalTransformSol(), SCIPreoptMergeVarHistory(), SCIPreoptUpdateVarHistory(), SCIPseparateRelaxedKnapsack(), SCIPsolLinkNLPSol(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPupdateVarPseudocostSymmetric(), SCIPvarAddImplic(), SCIPvarAddObj(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarChgObj(), SCIPvarCompareActiveAndNegated(), SCIPvarGetClosestVlb(), SCIPvarGetClosestVub(), SCIPvarGetImplBounds(), SCIPvarGetImplIds(), SCIPvarGetImplRedcost(), SCIPvarGetImplTypes(), SCIPvarGetImplVars(), SCIPvarGetLastBdchgIndex(), SCIPvarGetLbchgInfo(), SCIPvarGetNImpls(), SCIPvarGetUbchgInfo(), SCIPvarHasImplic(), SCIPvariablegraphBreadthFirst(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarsHaveCommonClique(), SCIPvarWasFixedEarlier(), SCIPwriteGms(), selectInitialVariableRandomly(), shortenConss(), solveComponent(), sortVariables(), tarjan(), tcliquegraphAddNode(), tightenVariables(), tryUpgradingXor(), updateBestCandidate(), varAddImplic(), varAddTransitiveBinaryClosureImplic(), varAddTransitiveImplic(), varIncRootboundchgs(), varMayRoundDown(), varMayRoundUp(), and writeOpbRelevantAnds().
◆ SCIPvarGetIndex()
int SCIPvarGetIndex | ( | SCIP_VAR * | var | ) |
gets unique index of variable
- Parameters
-
var problem variable
Definition at line 17757 of file var.c.
References SCIP_Var::index, and NULL.
Referenced by addAdjacentVars(), addCoef(), addProductVars(), applyProbing(), calcSignature(), checkForOverlapping(), componentSetupWorkingSol(), computeConsAndDataChanges(), conflictsetAddBound(), conflictsetAddBounds(), consdataCalcSignature(), consdataGetSignature(), consdataUpdateSignatures(), correctLocksAndCaptures(), correctPresoldata(), createAltLPColumn(), createPresoldata(), createTcliqueGraph(), detectProductsUnconditional(), evaluateValueCand(), extractGates(), fixAdditionalVars(), getAdjacentVars(), getFactorizedBinaryQuadraticExpr(), getHashmapKey(), initConcsolver(), initConflictgraph(), liftCliqueVariables(), printNLRow(), propagateCons(), removeRedundantConstraints(), reoptSaveNewObj(), reoptSimilarity(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_EXPRCOMPARE(), SCIP_DECL_EXPRHASH(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SORTINDCOMP(), SCIP_DECL_SORTPTRCOMP(), SCIPcliqueSearchVar(), SCIPgetConcurrentVaridx(), SCIPgetReoptOldObjCoef(), SCIPisPackingPartitioningOrbitope(), SCIPreoptMergeVarHistory(), SCIPreoptUpdateVarHistory(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolMarkPartial(), SCIPsolRound(), SCIPsolSetVal(), SCIPvarCompareActiveAndNegated(), solGetArrayVal(), solIncArrayVal(), solSetArrayVal(), solUnlinkVar(), solveClassification(), solveMinIISC(), sortVariables(), tiebreakAggrCand(), tryAddGadgetSquaredDifference(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), and writeOpbObjective().
◆ SCIPvarGetProbindex()
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 17767 of file var.c.
References NULL, and SCIP_Var::probindex.
Referenced by addGLSCliques(), addLowerBound(), addNextLevelCliques(), addRow(), addUpperBound(), alnsFixMoreVariables(), alnsUnfixVariables(), applyRepair(), binvarGetActiveProbindex(), branchruledataAddBoundChangeVar(), branchruledataEnsureArraySize(), branchruledataPopBoundChangeVar(), branchruledataUpdateCurrentBounds(), buildBlockGraph(), calcSignature(), checkRedundancy(), collectBinaryCliqueData(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), computeAlternativeBounds(), computeCut(), computeMIRForOptimalityCut(), conflictAnalyzeLP(), constructCompression(), constructSNFRelaxation(), correctLocksAndCaptures(), createCGCutDirect(), createCoveringProblem(), createEdgesFromRow(), createRows(), createSubproblem(), createSubSCIP(), createTcliqueGraph(), cutsRoundMIR(), cutsRoundStrongCG(), detectImpliedBounds(), determineBestBounds(), determineBoundForSNF(), dfs(), ensureScoresPresent(), execRelpscost(), executeBranchingRecursive(), fillDigraph(), fillVariableGraph(), filterCandidates(), findBestLb(), findBestUb(), findInsertionPoint(), forbidFixation(), freeMemory(), freeSubSCIP(), fullDualPresolve(), generateAverageNBRay(), getClosestVlb(), getClosestVub(), getMaxactImplicObjchg(), getMaxActivity(), getMinActivity(), getNLPVarsNonConvexity(), getNodeIdx(), getNVarsIndicators(), getOldBranching(), getRowFracActivity(), heurdataAddBoundChangeVar(), heurdataEnsureArraySize(), heurdataFreeArrays(), heurdataPopBoundChangeVar(), heurdataUpdateCurrentBounds(), initLP(), insertIndex(), insertSortedRootNeighbors(), isNeighbor(), isUseOldBranching(), isVariableInNeighborhood(), LNSFixMoreVariables(), LNSUnfixVariables(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), lpUpdateVarProved(), mergeMultiples(), mod2MatrixAddCol(), packingUpgrade(), performBoundSubstitution(), printLinearCons(), printRow(), probInsertVar(), probRemoveVar(), processNlRow(), reoptCheckLocalRestart(), rowAddCoef(), rowCalculateGauss(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_SORTINDCOMP(), SCIP_DECL_SORTPTRCOMP(), SCIPaddPricedVar(), SCIPaddSymgraphVarAggregation(), SCIPaddVar(), SCIPaggrRowAddObjectiveFunction(), SCIPaggrRowCancelVarWithBound(), SCIPaggrRowGetMinActivity(), SCIPaggrRowPrint(), SCIPapplyHeurSubNlp(), SCIPapplyLockFixings(), SCIPchgVarName(), SCIPchgVarType(), SCIPcolCreate(), SCIPeventProcess(), SCIPextendPermsymDetectionGraphLinear(), SCIPfixSymgraphVarnode(), SCIPgetSymgraphVarnodeidx(), SCIPlpGetPrimalRay(), SCIPlpSumRows(), SCIPlpUpdateAddVar(), SCIPlpUpdateDelVar(), SCIPlpUpdateVarLb(), SCIPlpUpdateVarObj(), SCIPlpUpdateVarUb(), SCIPpricestoreApplyVars(), SCIPprimalTransformSol(), SCIPprobAddVar(), SCIPprobAddVarName(), SCIPprobChgVarType(), SCIPprobDelVar(), SCIPprobFree(), SCIPprobPerformVarDeletions(), SCIPprobVarChangedStatus(), SCIPrunBoundHeuristic(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPsolRetransform(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPundoBdchgsProof(), SCIPvarGetImplRedcost(), SCIPvariablegraphBreadthFirst(), SCIPvarRemove(), SCIPwriteCliqueGraph(), scoreContainerSetScore(), selectInitialVariableRandomly(), selectNextVariable(), selectOrbitLeaderSSTConss(), selectShifting(), selectVarStart(), separateCuts(), separateGLS(), separateHeur(), solveSubNLP(), sortFirstCandidatesByScore(), tarjan(), tightenDualproof(), tightenVariables(), tightenWeightsLift(), transformNonIntegralRow(), updateOldBranching(), and varProcessBoundChanges().
◆ SCIPvarGetTransVar()
gets transformed variable of ORIGINAL variable
- Parameters
-
var problem variable
Definition at line 17777 of file var.c.
References SCIP_Var::data, NULL, SCIP_Var::original, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), and SCIP_Original::transvar.
Referenced by assignAuxiliaryVariables(), assignVars(), computeRanks(), createSolFromNLP(), createSolFromSubScipSol(), createSubSCIP(), fixDiscreteVars(), reoptSimilarity(), SCIP_DECL_HEUREXEC(), SCIPapplyHeurDualval(), SCIPmergeVariableStatistics(), SCIPreoptApplyCuts(), SCIPreoptMergeVarHistory(), SCIPreoptUpdateVarHistory(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolSetVal(), SCIPvarResetBounds(), and setupAndSolveSubscipRapidlearning().
◆ SCIPvarGetCol()
gets column of COLUMN variable
- Parameters
-
var problem variable
Definition at line 17788 of file var.c.
References SCIP_Var::col, SCIP_Var::data, NULL, SCIP_VARSTATUS_COLUMN, and SCIPvarGetStatus().
Referenced by addBdchg(), addCols(), addFracCounter(), analyzeStrongbranch(), branchcandCalcLPCands(), calcBdchgScore(), calcBranchScore(), calcShiftVal(), calculateBounds(), checkConstraintMatching(), colCalcInternalFarkasCoef(), colCalcInternalRedcost(), computeCut(), constructLPPos2ConsPosMap(), countBasicVars(), createCGCutCMIR(), determineBound(), determineVariableFixings(), filterExistingLP(), filterRound(), findVertexAndGetRays(), generateAverageRay(), getDualBranchscore(), getImplVarRedcost(), getNActiveConsScore(), getTableauRows(), initLP(), lpFlushAddCols(), lpFlushChgCols(), markRowsXj(), relaxVar(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPapplyLockFixings(), SCIPcolCalcFarkasCoef(), SCIPcolCalcRedcost(), SCIPcolChgLb(), SCIPcolChgObj(), SCIPcolChgUb(), SCIPcolGetStrongbranch(), SCIPcolGetStrongbranches(), SCIPcolInvalidateStrongbranchData(), SCIPcolSetStrongbranchData(), SCIPeventProcess(), SCIPgetVarFarkasCoef(), SCIPgetVarNStrongbranchs(), SCIPgetVarRedcost(), SCIPgetVarsStrongbranchesFrac(), SCIPgetVarsStrongbranchesInt(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchLast(), SCIPgetVarStrongbranchLPAge(), SCIPgetVarStrongbranchNode(), SCIPgetVarStrongbranchWithPropagation(), SCIPlpAddCol(), SCIPlpEndDive(), SCIPlpMarkFlushed(), SCIPlpShrinkCols(), SCIPlpStartDive(), SCIPlpSumRows(), SCIPpricestoreAddProbVars(), SCIPpricestoreApplyVars(), SCIPprobUpdateBestRootSol(), SCIPreoptApplyCuts(), SCIProwCalcIntegralScalar(), SCIPsetVarStrongbranchData(), SCIPsolAdjustImplicitSolVals(), SCIPvarGetImplRedcost(), setupAggregationData(), shiftValues(), storeDenseTableauRowsByColumns(), tryFixVar(), updateActivities(), updateRowActivities(), updateSlacks(), varColCompare(), and varProcessBoundChanges().
◆ SCIPvarIsInLP()
returns whether the variable is a COLUMN variable that is member of the current LP
- Parameters
-
var problem variable
Definition at line 17799 of file var.c.
References SCIP_Var::col, SCIP_Var::data, NULL, SCIP_VARSTATUS_COLUMN, SCIPcolIsInLP(), and SCIPvarGetStatus().
Referenced by COLORprobPrintStableSets(), focusnodeCleanupVars(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRICERFARKAS(), SCIPselectVarPseudoStrongBranching(), SCIPundoBdchgsProof(), and setupAggregationData().
◆ SCIPvarGetAggrVar()
gets aggregation variable y of an aggregated variable x = a*y + c
- Parameters
-
var problem variable
Definition at line 17809 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::donotaggr, NULL, SCIP_VARSTATUS_AGGREGATED, SCIPvarGetStatus(), and SCIP_Aggregate::var.
Referenced by applyFixings(), checkSystemGF2(), markNeighborsMWISHeuristic(), presolveAddKKTAggregatedVars(), processBinvarFixings(), processRealBoundChg(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_READERWRITE(), SCIPgetVarCopy(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolSetVal(), and varGetObjDelta().
◆ SCIPvarGetAggrScalar()
gets aggregation scalar a of an aggregated variable x = a*y + c
- Parameters
-
var problem variable
Definition at line 17821 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::donotaggr, NULL, SCIP_Aggregate::scalar, SCIP_VARSTATUS_AGGREGATED, and SCIPvarGetStatus().
Referenced by applyFixings(), checkSystemGF2(), presolveAddKKTAggregatedVars(), SCIP_DECL_LINCONSUPGD(), SCIPgetVarCopy(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolSetVal(), and varGetObjDelta().
◆ SCIPvarGetAggrConstant()
gets aggregation constant c of an aggregated variable x = a*y + c
- Parameters
-
var problem variable
Definition at line 17833 of file var.c.
References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Var::data, SCIP_Var::donotaggr, NULL, SCIP_VARSTATUS_AGGREGATED, and SCIPvarGetStatus().
Referenced by applyFixings(), checkSystemGF2(), markNeighborsMWISHeuristic(), presolveAddKKTAggregatedVars(), SCIP_DECL_LINCONSUPGD(), SCIPgetVarCopy(), SCIPsolGetVal(), and SCIPsolSetVal().
◆ SCIPvarGetMultaggrNVars()
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 17845 of file var.c.
References SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, NULL, SCIP_Multaggr::nvars, SCIP_VARSTATUS_MULTAGGR, and SCIPvarGetStatus().
Referenced by applyFixings(), conflictResolveBound(), exitPresolve(), fixVariableZero(), getRandomVariable(), nlrowRemoveFixedLinearCoefPos(), presolveAddKKTAggregatedVars(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_READERWRITE(), SCIPconflictAddBound(), SCIPgetVarCopy(), SCIPnlrowAddLinearCoef(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolSetVal(), selectVarMultAggrBranching(), and updateBestCandidate().
◆ SCIPvarGetMultaggrVars()
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 17857 of file var.c.
References SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, NULL, SCIP_VARSTATUS_MULTAGGR, SCIPvarGetStatus(), and SCIP_Multaggr::vars.
Referenced by applyFixings(), exitPresolve(), fixVariableZero(), getRandomVariable(), nlrowRemoveFixedLinearCoefPos(), presolveAddKKTAggregatedVars(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_READERWRITE(), SCIPconflictAddBound(), SCIPgetVarCopy(), SCIPnlrowAddLinearCoef(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolSetVal(), selectVarMultAggrBranching(), and updateBestCandidate().
◆ SCIPvarGetMultaggrScalars()
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 17869 of file var.c.
References SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, NULL, SCIP_Multaggr::scalars, SCIP_VARSTATUS_MULTAGGR, and SCIPvarGetStatus().
Referenced by applyFixings(), fixVariableZero(), nlrowRemoveFixedLinearCoefPos(), presolveAddKKTAggregatedVars(), SCIP_DECL_BRANCHEXECLP(), SCIPconflictAddBound(), SCIPgetVarCopy(), SCIPnlrowAddLinearCoef(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolSetVal(), selectVarMultAggrBranching(), and updateBestCandidate().
◆ SCIPvarGetMultaggrConstant()
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 17881 of file var.c.
References SCIP_Multaggr::constant, SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, NULL, SCIP_VARSTATUS_MULTAGGR, and SCIPvarGetStatus().
Referenced by applyFixings(), fixVariableZero(), nlrowRemoveFixedLinearCoefPos(), presolveAddKKTAggregatedVars(), SCIP_DECL_BRANCHEXECLP(), SCIPgetVarCopy(), SCIPsolGetVal(), SCIPsolSetVal(), SCIPvarGetActiveRepresentatives(), and selectVarMultAggrBranching().
◆ SCIPvarGetNegatedVar()
gets the negation of the given variable; may return NULL, if no negation is existing yet
- Parameters
-
var negated problem variable
Definition at line 17893 of file var.c.
References SCIP_Var::negatedvar, and NULL.
Referenced by addCliqueDataEntry(), addCliques(), addConsToOccurList(), applyFixings(), checkEqualObjective(), checkOrigPbCons(), checkParallelObjective(), checkSolution(), checkSystemGF2(), cliquePresolve(), collectCliqueData(), computeRanks(), consdataPrint(), correctLocksAndCaptures(), createCoveringProblem(), decompGetConsVarsAndLabels(), extractGates(), findAggregation(), getActiveVariables(), getLinearCoeffs(), mergeMultiples(), preprocessCliques(), preprocessConstraintPairs(), presolRoundIndicator(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantNonZeros(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRINT(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_READERWRITE(), SCIP_DECL_SORTPTRCOMP(), SCIPcomputeDecompVarsLabels(), SCIPcreateConsOrbitope(), SCIPprobDelVar(), SCIPvarCompareActiveAndNegated(), SCIPwriteLp(), SCIPwriteMps(), separateIISRounding(), strengthenConss(), tcliquegraphConstructCliqueTable(), and varGetObjDelta().
◆ SCIPvarGetNegationVar()
gets the negation variable x of a negated variable x' = offset - x
- Parameters
-
var negated problem variable
Definition at line 17903 of file var.c.
References SCIP_Var::negatedvar, NULL, SCIP_VARSTATUS_NEGATED, and SCIPvarGetStatus().
Referenced by addCliques(), applyFixings(), binvarGetActiveProbindex(), checkForOverlapping(), checkSolution(), cliqueCleanup(), cliquePresolve(), collectCliqueData(), createBlockproblem(), createCoveringProblem(), findAggregation(), getLinVarsAndAndRess(), liftCliqueVariables(), markNeighborsMWISHeuristic(), mergeMultiples(), preprocessCliques(), presolveAddKKTAggregatedVars(), printNLRow(), printRow(), removeConstraintsDueToNegCliques(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_READERWRITE(), SCIPaddPricedVar(), SCIPaddVar(), SCIPchgVarType(), SCIPgetBinaryVarIndicatorGeneric(), SCIPgetVarCopy(), SCIPmakeIndicatorFeasible(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolSetVal(), setObjective(), shortenConss(), tryUpgradingXor(), writeOpbConstraints(), writeOpbFixedVars(), writeOpbObjective(), and writeOpbRelevantAnds().
◆ SCIPvarGetNegationConstant()
gets the negation offset of a negated variable x' = offset - x
- Parameters
-
var negated problem variable
Definition at line 17914 of file var.c.
References SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::negate, NULL, SCIP_VARSTATUS_NEGATED, and SCIPvarGetStatus().
Referenced by applyFixings(), markNeighborsMWISHeuristic(), presolveAddKKTAggregatedVars(), SCIPsolGetVal(), and SCIPsolSetVal().
◆ SCIPvarGetObj()
gets objective function value of variable
- Parameters
-
var problem variable
Definition at line 17925 of file var.c.
References NULL, and SCIP_Var::obj.
Referenced by addBoundViolated(), addConflictBinvar(), addConflictBounds(), addConstraintToBendersSubproblem(), addObjcut(), addObjCutoff(), addScenarioVarsToProb(), addTrustRegionConstraints(), adjustCutoffbound(), applyAlternativeBoundsBranching(), applyCliqueFixings(), applyObbt(), applyOptcumulative(), applyOptcumulativeFixings(), applyRepair(), applyVboundsFixings(), BENDERS_CUTORACLE(), calcMaxObjPseudoactivity(), calcShiftVal(), catchObjEvent(), changeSubvariableObjective(), checkConsQuadraticProblem(), checkDivingCandidates(), checkEqualObjective(), checkExec(), checkParallelObjective(), checkSystemGF2(), chooseFracVar(), chooseGuidedVar(), chooseVeclenVar(), collectMinactImplicVar(), collectMinactImplicVars(), collectMinactVar(), compareVars(), compareVarsSignedPerm(), compensateVarLock(), componentSetupWorkingSol(), computeStandardLPOptimalityCut(), computeStandardNLPOptimalityCut(), consdataPrint(), createBlockproblem(), createCGCutDirect(), createNewSol(), createObjRow(), createSubproblem(), createSubproblems(), createSubSCIP(), dropObjEvent(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), evaluateValueCand(), findComponents(), findDominancePairs(), findDownlockAggregations(), findFixings(), findUnlockedLinearVar(), findUplockAggregations(), fixIntegerVariable(), fullDualPresolve(), generateAndApplyBendersCuts(), generateObjectiveRay(), getConflictImplics(), getMaxactImplicObjchg(), getMaxObjPseudoactivityResidual(), getMinactImplicObjchg(), getObjectiveFactor(), getPotential(), getScoreOfFarkasDiving(), getVariable(), getVarObjchg(), initSolve(), isSingleLockedCand(), isVlb(), isVub(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), nlpAddVars(), nlpDelVarPos(), nlpFlushObjective(), nlpFlushVarAdditions(), nlpSolve(), nlpUpdateObjCoef(), objimplicsCreate(), optimize(), performDualfix(), performRandRounding(), performSimpleRounding(), predBndStr(), presolStuffing(), propagateCons(), propagateCutoffbound(), propagateCutoffboundGlobally(), propagateLowerbound(), propagateLowerboundVar(), propdataInit(), propIndicator(), readObjective(), readOPBFile(), recomputeGlbPseudoObjectiveValue(), recomputeLooseObjectiveValue(), recomputePseudoObjectiveValue(), removeDoubleAndSingletonsAndPerformDualpresolve(), reoptSaveNewObj(), resolvePropagation(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPPRESOL(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SORTPTRCOMP(), SCIPaggrRowAddObjectiveFunction(), SCIPapplyHeurDualval(), SCIPapplyLockFixings(), SCIPapplyProximity(), SCIPbendersMergeSubproblemIntoMaster(), SCIPchgReoptObjective(), SCIPchgVarObjProbing(), SCIPcolCreate(), SCIPconflictAnalyzePseudo(), SCIPcreateConsOrbitope(), SCIPcreateNlpiProblemFromNlRows(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchWithPropagation(), SCIPisObjIntegral(), SCIPlpEndDive(), SCIPlpGetModifiedProvedPseudoObjval(), SCIPlpGetModifiedPseudoObjval(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpStartDive(), SCIPlpUpdateAddVar(), SCIPlpUpdateDelVar(), SCIPlpUpdateVarLb(), SCIPlpUpdateVarLbGlobal(), SCIPlpUpdateVarUb(), SCIPlpUpdateVarUbGlobal(), SCIPnlpChgVarObjDive(), SCIPnlpGetPseudoObjval(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPprobAddVar(), SCIPprobCheckObjIntegral(), SCIPprobGetAbsMaxObjCoef(), SCIPprobGetAbsMinObjCoef(), SCIPprobGetNObjVars(), SCIPprobPerformVarDeletions(), SCIPprobScaleObj(), SCIPpropagateCutoffboundVar(), SCIPsolRetransform(), SCIPtreeBranchVar(), SCIPvarCopy(), SCIPvarGetAggregatedObj(), SCIPvarMarkRelaxationOnly(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteMps(), SCIPwritePip(), selectEssentialRounding(), selectRounding(), selectShifting(), setupAndSolveSubscip(), setupSubproblem(), setupSubScip(), singletonColumnStuffing(), solCutIsViolated(), solveAndEvalSubscip(), solveCoveringProblem(), solveCumulative(), solveIndependentCons(), tiebreakAggrCand(), transformColumn(), updateBestCandidate(), updateLambda(), updateVariableRounding(), varGetObjDelta(), varMayRoundDown(), varMayRoundUp(), writeExpandedSolutions(), writeFzn(), writeOpbConstraints(), and writeOpbObjective().
◆ SCIPvarGetUnchangedObj()
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 17935 of file var.c.
References NULL, and SCIP_Var::unchangedobj.
Referenced by computeStandardLPOptimalityCut(), computeStandardNLPOptimalityCut(), SCIPcolChgObj(), SCIPcolCreate(), SCIPsolAdjustImplicitSolVals(), SCIPsolCheck(), SCIPsolIncVal(), SCIPsolLinkLPSol(), SCIPsolLinkNLPSol(), SCIPsolPrint(), SCIPsolPrintRay(), SCIPsolRecomputeObj(), SCIPsolRetransform(), SCIPsolRound(), and SCIPsolSetVal().
◆ SCIPvarGetLbOriginal()
gets original lower bound of original problem variable (i.e. the bound set in problem creation)
- Parameters
-
var original problem variable
Definition at line 18023 of file var.c.
References SCIP_Negate::constant, SCIP_Var::data, SCIP_Dom::lb, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Original::origdom, SCIP_Var::original, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), SCIPvarIsOriginal(), and SCIP_Dom::ub.
Referenced by addCut(), addScenarioVarsToProb(), checkConsQuadraticProblem(), getScenarioDecompVar(), parseConstantArrayAssignment(), parseValue(), printBoundSection(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_HEUREXEC(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcreateFiniteSolCopy(), SCIPsolCheckOrig(), SCIPvarAddHoleOriginal(), SCIPvarChgUbOriginal(), SCIPvarCopy(), SCIPvarPrint(), SCIPwriteBnd(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), writeFzn(), writeOpbFixedVars(), and writeOpbRelevantAnds().
◆ SCIPvarGetUbOriginal()
gets original upper bound of original problem variable (i.e. the bound set in problem creation)
- Parameters
-
var original problem variable
Definition at line 18043 of file var.c.
References SCIP_Negate::constant, SCIP_Var::data, SCIP_Dom::lb, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Original::origdom, SCIP_Var::original, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), SCIPvarIsOriginal(), and SCIP_Dom::ub.
Referenced by addCut(), addScenarioVarsToProb(), checkConsQuadraticProblem(), getScenarioDecompVar(), parseConstantArrayAssignment(), parseValue(), printBoundSection(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSINITSOL(), SCIPbendersMergeSubproblemIntoMaster(), SCIPcreateFiniteSolCopy(), SCIPsolCheckOrig(), SCIPvarAddHoleOriginal(), SCIPvarChgLbOriginal(), SCIPvarCopy(), SCIPvarPrint(), SCIPwriteBnd(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), writeFzn(), writeOpbFixedVars(), and writeOpbRelevantAnds().
◆ SCIPvarGetHolelistOriginal()
SCIP_HOLELIST * SCIPvarGetHolelistOriginal | ( | SCIP_VAR * | var | ) |
gets the original hole list of an original variable
- Parameters
-
var problem variable
Definition at line 18063 of file var.c.
References SCIP_Var::data, SCIP_Dom::holelist, NULL, SCIP_Original::origdom, SCIP_Var::original, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), and SCIPvarIsOriginal().
Referenced by SCIPvarPrint().
◆ SCIPvarGetLbGlobal()
gets global lower bound of variable
- Parameters
-
var problem variable
Definition at line 18077 of file var.c.
References SCIP_Var::glbdom, SCIP_Dom::lb, and NULL.
Referenced by addAltLPColumn(), addCoef(), addComponent(), addConflictBinvar(), addConflictBounds(), addConflictFixedVars(), addConflictReasonVars(), addConstraintToBendersSubproblem(), addCut(), addFixedVarsConss(), addGlobalCut(), addLocalBranchingConstraint(), addLowerboundCons(), addRltTerm(), addSplitcons(), adjustCutoffbound(), adjustOversizedJobBounds(), aggregation(), alnsFixMoreVariables(), analyzeEnergyRequirement(), analyzeStrongbranch(), applyFixings(), applyGenVBound(), applyImplic(), applyRepair(), assignVars(), boundchgApplyGlobal(), buildMod2Matrix(), calcMaxObjPseudoactivity(), calcShiftVal(), calculateBounds(), cancelCol(), catchEventBinvar(), checkCounters(), checkGlbfirstnonfixed(), checkIISlocal(), checkImplic(), checkImplicsApplied(), checkOverloadViaThetaTree(), checkRedundancy(), checkRedundancySide(), checkSolution(), checkSystemGF2(), chgCoeffWithBound(), chgQuadCoeffWithBound(), cliqueCleanup(), cliquePresolve(), collectBinaryCliqueData(), collectMinactImplicVar(), collectMinactImplicVars(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), collectVars(), compareVars(), compareVarsSignedPerm(), compensateVarLock(), componentSetupWorkingSol(), computeCut(), computeEnergyContribution(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeMaxEnergy(), computeOffValues(), computeRanks(), computeRltCut(), computeStandardLPFeasibilityCut(), conflictAnalyze(), consdataCreate(), consdataCreateBinvars(), consdataCreateRedundant(), consdataDeletePos(), consdataFree(), consdataGetGlbActivityResiduals(), consdataGetReliableResidualActivity(), consdataLinearize(), consdataPrint(), consdataRecomputeGlbMaxactivity(), consdataRecomputeGlbMinactivity(), consdataUpdateAddCoef(), consdataUpdateDelCoef(), consdataUpdateSignatures(), constructSNFRelaxation(), convertLongEquality(), createAuxVar(), createBlockproblem(), createConflictCons(), createCoveringProblem(), createIndicatorConstraint(), createKKTComplementarityBounds(), createKKTDualCons(), createObjRow(), createProjRow(), createSolFromSubScipSol(), createSortedEventpoints(), createSubscip(), createSubSCIP(), createVarboundCons(), cutsRoundMIR(), cutsRoundStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_CHANGESUBSCIP(), detectHiddenProducts(), detectImplications(), detectImpliedBounds(), determineBestBounds(), determineBound(), determineVariableFixings(), dfs(), doSolveSubMIP(), dropEventBinvar(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), enfopsCons(), estimateBivariateQuotient(), estimateConvexSecant(), estimateGradient(), estimateUnivariateQuotient(), extractCliques(), extractLinearValues(), filterExistingLP(), findAggregation(), findBestLb(), findDominancePairs(), findDownlockAggregations(), findUncapacitatedArcs(), findUplockAggregations(), fixDiscreteVars(), fixIntegerVariableUb(), fixVariables(), focusnodeCleanupVars(), forbidFixation(), freeMemory(), fullDualPresolve(), generateAndApplyBendersIntegerCuts(), generateBoundInequalityFromSOS1Nodes(), generateRowCardinality(), generateRowSOS2(), generateZerohalfCut(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getClosestVub(), getCorner(), getDomainCenter(), getFixVal(), getGenVBoundsMinActivity(), getMaxactImplicObjchg(), getMaxActivity(), getMaxObjPseudoactivityResidual(), getMinactImplicObjchg(), getMinActivity(), getNewSidesAfterAggregation(), getObjectiveFactor(), getPotential(), getPotentialContributed(), getSolutionValues(), handleNewVariableCardinality(), handleNewVariableSOS1(), identifyOrbitalSymmetriesBroken(), implBndToBigM(), isBoundchgUseless(), isCandidate(), isSingleLockedCand(), isVlb(), isVub(), LNSFixMoreVariables(), lockVariableCardinality(), lockVariableSOS1(), lockVariableSOS2(), markRowsXj(), objimplicsCreate(), optimize(), performDualfix(), predBndStr(), preprocessConstraintPairs(), presolRoundIndicator(), presolRoundSOS2(), presolStuffing(), presolveAddKKTAggregatedVars(), presolveConsEffectiveHorizon(), presolveConsEst(), presolveConsLct(), presolveCumulativeCondition(), presolveSingleLockedVars(), proofsetCancelVarWithBound(), propagateBinaryBestRootRedcost(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLongProof(), propagateLowerbound(), propagateLowerboundVar(), propagateRootRedcostVar(), propagateVbounds(), propdataInit(), proposeFeasibleSolution(), readBinaries(), readBounds(), readGenerals(), readSemicontinuous(), readSol(), reboundIntegerVariables(), recomputeGlbPseudoObjectiveValue(), relaxVar(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedVariables(), removeIrrelevantJobs(), removeZeros(), removeZerosQuad(), resolveGenVBoundPropagation(), resolvePropagationCoretimes(), rowFindSlackVar(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), rowScale(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_SORTINDCOMP(), SCIPaddVarImplication(), SCIPaggrRowCancelVarWithBound(), SCIPaggrRowGetMinActivity(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPbendersComputeSubproblemLowerbound(), SCIPbranchGetBranchingPoint(), SCIPchgVarLbLazy(), SCIPclassifyConstraintTypesLinear(), SCIPcliqueDelVar(), SCIPcliquetableAdd(), SCIPcomputeVarLbGlobal(), SCIPconflictAddRelaxedBound(), SCIPconflictGetVarLb(), SCIPconsResolvePropagation(), SCIPcreateConsLinking(), SCIPcreateConsOrbitope(), SCIPcreateFiniteSolCopy(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPgetSymActiveVariables(), SCIPimplicsAdd(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpUpdateVarObj(), SCIPmatrixCreate(), SCIPmatrixPrintRow(), SCIPmergeRowprepTerms(), SCIPnodeAddBoundinfer(), SCIPpropResolvePropagation(), SCIPreoptSaveGlobalBounds(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPsolAdjustImplicitSolVals(), SCIPsolCheck(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolSetVal(), SCIPtightenVarLbGlobal(), SCIPtightenVarUbGlobal(), SCIPundoBdchgsProof(), SCIPvarAddHoleGlobal(), SCIPvarAddImplic(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarCopy(), SCIPvarGetMultaggrLbGlobal(), SCIPvarGetMultaggrUbGlobal(), SCIPvarGetNLPSol_rec(), SCIPvarGetRelaxSol(), SCIPvarPrint(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarUpdateBestRootSol(), SCIPvisualizeConsCumulative(), SCIPwriteBnd(), SCIPwriteLp(), selectShifting(), sepaImplBoundCutsSOS1(), separateCuts(), separatePerspective(), sepastoreApplyLb(), sepastoreApplyUb(), sepastoreIsBdchgApplicable(), setSymmetryData(), setupAggregationData(), setupAndSolveCumulativeSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipRapidlearning(), shiftValues(), simplifyInequalities(), singletonColumnStuffing(), skipRedundantBdchginfos(), solveAndEvalSubscip(), solveClassification(), solveComponent(), solveCumulative(), solveLp(), solveMinIISC(), solveSubNLP(), sortAndMergeClique(), termIsConstant(), tightenBounds(), tightenCoefs(), tightenDualproof(), tightenSingleVar(), tightenVariables(), tightenVarUb(), transformDualredsToBounddisjunction(), transformNonIntegralRow(), treeAddPendingBdchg(), tryAdd2variableBuffer(), tryAddGadgetBilinearProductSignedPerm(), tryAddGadgetSquaredDifference(), tryFixVar(), tryUpgradingXor(), unlockVariableCardinality(), unlockVariableSOS1(), unlockVariableSOS2(), updateAuxiliaryVarLowerbound(), updateFirstRow(), updateFirstRowGlobal(), updateSlacks(), updateSubproblemCutConstant(), varAddImplic(), varAddVbound(), varIncRootboundchgs(), varIsCenteredAt0(), varIsFixed(), varIsSemicontinuous(), and varProcessAddHoleGlobal().
◆ SCIPvarGetUbGlobal()
gets global upper bound of variable
- Parameters
-
var problem variable
Definition at line 18087 of file var.c.
References SCIP_Var::glbdom, NULL, and SCIP_Dom::ub.
Referenced by addAltLPColumn(), addCoef(), addComponent(), addConflictBinvar(), addConflictBounds(), addConflictFixedVars(), addConflictReasonVars(), addConstraintToBendersSubproblem(), addCut(), addFixedVarsConss(), addGlobalCut(), addLocalBranchingConstraint(), addRltTerm(), addSplitcons(), adjustCutoffbound(), adjustOversizedJobBounds(), aggregation(), alnsFixMoreVariables(), analyzeEnergyRequirement(), analyzeStrongbranch(), applyFixings(), applyGenVBound(), applyImplic(), applyRepair(), applyZeroFixings(), assignVars(), boundchgApplyGlobal(), buildMod2Matrix(), calcMaxObjPseudoactivity(), calcShiftVal(), calculateBounds(), cancelCol(), catchEventBinvar(), checkCounters(), checkGlbfirstnonfixed(), checkIISlocal(), checkImplic(), checkOverloadViaThetaTree(), checkRedundancy(), checkRedundancySide(), checkSolution(), checkSystemGF2(), chgCoeffWithBound(), chgQuadCoeffWithBound(), cliqueCleanup(), cliquePresolve(), collectActivities(), collectBinaryCliqueData(), collectBinaryVars(), collectDemands(), collectEstLst(), collectMinactImplicVar(), collectMinactImplicVars(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), collectVars(), compareVars(), compareVarsSignedPerm(), compensateVarLock(), componentSetupWorkingSol(), computeCut(), computeEnergyContribution(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeMaxEnergy(), computeOffValues(), computeRanks(), computeRltCut(), computeStandardLPFeasibilityCut(), conflictAnalyze(), consdataCreate(), consdataCreateBinvars(), consdataCreateRedundant(), consdataDeletePos(), consdataGetGlbActivityResiduals(), consdataGetReliableResidualActivity(), consdataLinearize(), consdataPrint(), consdataRecomputeGlbMaxactivity(), consdataRecomputeGlbMinactivity(), consdataUpdateAddCoef(), consdataUpdateDelCoef(), consdataUpdateSignatures(), constructSNFRelaxation(), convertLongEquality(), createAuxVar(), createBlockproblem(), createCoveringProblem(), createIndicatorConstraint(), createKKTComplementarityBounds(), createKKTDualCons(), createProjRow(), createSortedEventpoints(), createSubscip(), createSubSCIP(), createVarboundCons(), createVarUbs(), cutsRoundMIR(), cutsRoundStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), DECL_CHANGESUBSCIP(), detectHiddenProducts(), detectImplications(), detectImpliedBounds(), determineBestBounds(), determineBound(), determineVariableFixings(), dfs(), doSolveSubMIP(), dropEventBinvar(), dualBoundStrengthening(), dualPresolve(), dualPresolving(), enfopsCons(), estimateBivariateQuotient(), estimateConvexSecant(), estimateGradient(), estimateUnivariateQuotient(), extractCliques(), extractLinearValues(), filterExistingLP(), findAggregation(), findBestUb(), findDominancePairs(), findDownlockAggregations(), findFixings(), findUncapacitatedArcs(), findUplockAggregations(), fixDiscreteVars(), fixIntegerVariableUb(), fixTriangle(), fixVariables(), focusnodeCleanupVars(), forbidFixation(), freeMemory(), fullDualPresolve(), generateBoundInequalityFromSOS1Nodes(), generateRowCardinality(), generateRowSOS2(), generateZerohalfCut(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getClosestVlb(), getCorner(), getDomainCenter(), getFixVal(), getGenVBoundsMinActivity(), getMaxactImplicObjchg(), getMaxActivity(), getMaxObjPseudoactivityResidual(), getMinactImplicObjchg(), getMinActivity(), getNewSidesAfterAggregation(), getObjectiveFactor(), getPotential(), getPotentialContributed(), getSolutionValues(), handleNewVariableCardinality(), handleNewVariableSOS1(), identifyOrbitalSymmetriesBroken(), implBndToBigM(), isBoundchgUseless(), isCandidate(), isSingleLockedCand(), LNSFixMoreVariables(), lockVariableCardinality(), lockVariableSOS1(), lockVariableSOS2(), markRowsXj(), objimplicsCreate(), optimize(), performDualfix(), predBndStr(), preprocessConstraintPairs(), presolRoundIndicator(), presolRoundSOS2(), presolStuffing(), presolveAddKKTAggregatedVars(), presolveConsEffectiveHorizon(), presolveConsEst(), presolveConsLct(), presolveCumulativeCondition(), presolveSingleLockedVars(), printIndicatorCons(), proofsetCancelVarWithBound(), propagateBinaryBestRootRedcost(), propagateCons(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLongProof(), propagateLowerbound(), propagateLowerboundVar(), propagateRootRedcostVar(), propagateVbounds(), propdataInit(), proposeFeasibleSolution(), readBinaries(), readBounds(), readGenerals(), readSol(), reboundIntegerVariables(), recomputeGlbPseudoObjectiveValue(), relaxVar(), removeFixedVariables(), removeIrrelevantJobs(), removeZeros(), removeZerosQuad(), resolveGenVBoundPropagation(), resolvePropagationCoretimes(), rowFindSlackVar(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), rowScale(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_CONCSOLVERSYNCREAD(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSGETSIGNEDPERMSYMGRAPH(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_NLHDLRINITSEPA(), SCIP_DECL_NLHDLRSOLLINEARIZE(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_SORTINDCOMP(), SCIPaddVarImplication(), SCIPaggrRowCancelVarWithBound(), SCIPaggrRowGetMinActivity(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyProximity(), SCIPbranchGetBranchingPoint(), SCIPchgVarUbLazy(), SCIPclassifyConstraintTypesLinear(), SCIPcliqueDelVar(), SCIPcliquetableAdd(), SCIPcomputeVarUbGlobal(), SCIPconflictAddRelaxedBound(), SCIPconflictGetVarUb(), SCIPconsResolvePropagation(), SCIPcreateConsLinking(), SCIPcreateConsOrbitope(), SCIPcreateFiniteSolCopy(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPgetSymActiveVariables(), SCIPimplicsAdd(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpUpdateVarObj(), SCIPmatrixCreate(), SCIPmatrixPrintRow(), SCIPmergeRowprepTerms(), SCIPnodeAddBoundinfer(), SCIPpropResolvePropagation(), SCIPreoptSaveGlobalBounds(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPsolAdjustImplicitSolVals(), SCIPsolCheck(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPtightenVarLbGlobal(), SCIPtightenVarUbGlobal(), SCIPundoBdchgsProof(), SCIPvarAddHoleGlobal(), SCIPvarAddImplic(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarCopy(), SCIPvarGetMultaggrLbGlobal(), SCIPvarGetMultaggrUbGlobal(), SCIPvarGetNLPSol_rec(), SCIPvarGetProbvarBinary(), SCIPvarGetRelaxSol(), SCIPvarPrint(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarUpdateBestRootSol(), SCIPvisualizeConsCumulative(), SCIPwriteBnd(), SCIPwriteLp(), selectShifting(), sepaImplBoundCutsSOS1(), separateCuts(), separateIndicators(), separatePerspective(), sepastoreApplyLb(), sepastoreApplyUb(), sepastoreIsBdchgApplicable(), setSymmetryData(), setupAggregationData(), setupAndSolveCumulativeSubscip(), setupAndSolveSubscip(), setupAndSolveSubscipRapidlearning(), shiftValues(), simplifyInequalities(), singletonColumnStuffing(), skipRedundantBdchginfos(), solveAndEvalSubscip(), solveClassification(), solveCumulative(), solveLp(), solveMinIISC(), solveSubNLP(), sortAndMergeClique(), termIsConstant(), tightenBounds(), tightenCoefs(), tightenDualproof(), tightenSingleVar(), tightenVariables(), tightenVarLb(), transformDualredsToBounddisjunction(), transformNonIntegralRow(), treeAddPendingBdchg(), tryAdd2variableBuffer(), tryAddGadgetBilinearProductSignedPerm(), tryAddGadgetSquaredDifference(), tryFixVar(), tryUpgradingXor(), unlockVariableCardinality(), unlockVariableSOS1(), unlockVariableSOS2(), updateDistances(), updateFirstRow(), updateFirstRowGlobal(), updateSlacks(), varAddImplic(), varAddVbound(), varIncRootboundchgs(), varIsCenteredAt0(), varIsFixed(), varIsSemicontinuous(), and varProcessAddHoleGlobal().
◆ SCIPvarGetHolelistGlobal()
SCIP_HOLELIST * SCIPvarGetHolelistGlobal | ( | SCIP_VAR * | var | ) |
gets the global hole list of an active variable
- Parameters
-
var problem variable
Definition at line 18097 of file var.c.
References SCIP_Var::glbdom, SCIP_Dom::holelist, and NULL.
Referenced by SCIPvarAggregate(), SCIPvarCopy(), SCIPvarMultiaggregate(), and SCIPvarPrint().
◆ SCIPvarGetBestBoundGlobal()
gets best global bound of variable with respect to the objective function
- Parameters
-
var problem variable
Definition at line 18107 of file var.c.
References SCIP_Var::glbdom, SCIP_Dom::lb, NULL, SCIP_Var::obj, and SCIP_Dom::ub.
◆ SCIPvarGetWorstBoundGlobal()
gets worst global bound of variable with respect to the objective function
- Parameters
-
var problem variable
Definition at line 18120 of file var.c.
References SCIP_Var::glbdom, SCIP_Dom::lb, NULL, SCIP_Var::obj, and SCIP_Dom::ub.
Referenced by initSolve().
◆ SCIPvarGetLbLocal()
gets current lower bound of variable
- Parameters
-
var problem variable
Definition at line 18133 of file var.c.
References SCIP_Dom::lb, SCIP_Var::locdom, and NULL.
Referenced by addBilinearTermToCut(), addBoundViolated(), addBranchingComplementaritiesSOS1(), addCand(), addCliqueDataEntry(), addColToCut(), addConflictReasonVars(), addExprsViolScore(), addFacetToCut(), addFixedVarsConss(), addLinearTermToCut(), addRelaxation(), addRltTerm(), addSplitcons(), addSSTConssOrbitAndUpdateSST(), analyseInfeasibelCoreInsertion(), analyseOnoffBounds(), analyseVarOnoffBounds(), analyzeConflictOne(), analyzeConflictUpperbound(), analyzeConflictZero(), analyzeEnergyRequirement(), analyzeGenVBoundConflict(), analyzeViolation(), analyzeZeroResultant(), applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), applyBdchgs(), applyBinaryConstraints(), applyBoundChgs(), applyBoundHeur(), applyCliqueFixings(), applyDomainReductions(), applyGenVBound(), applyNlobbt(), applyObbt(), applyOptcumulative(), applyOptcumulativeFixings(), applyOrbitalBranchingPropagations(), applyOrbitalReductionPart(), applyProbing(), applyProbingVar(), applyVboundsFixings(), areBoundsChanged(), assertIsOrbitopeMatrix(), bilinboundGetScore(), branch(), branchBalancedCardinality(), branchcandCalcLPCands(), branching(), branchOnVar(), branchruledataUpdateCurrentBounds(), branchUnbalancedCardinality(), buildMod2Matrix(), calcBranchScore(), calculateAlternatives(), catchEvent(), catchEventBinvar(), changeAncestorBranchings(), checkBounddisjunction(), checkCounters(), checkExec(), checkFeasible(), checkForOverlapping(), checkIISlocal(), checkImplicsApplied(), checkKnapsack(), checkLogicor(), checkOverloadViaThetaTree(), checkRikun(), checkSetupTolerances(), checkSignomialBounds(), checkSolution(), checkSwitchNonoverlappingSOS1Methods(), checkVarbound(), checkVariable(), chgCoeffWithBound(), chgProbingBound(), chgQuadCoeffWithBound(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), collectActivities(), collectBranchingCandidates(), collectBranchingCands(), collectCliqueData(), collectDataTTEF(), collectEstLst(), collectIntVars(), collectSolActivities(), collectSolution(), componentSetupWorkingSol(), computeAlternativeBounds(), computeConvexEnvelopeFacet(), computeCut(), computeEnergyContribution(), computeImpliedEst(), computeImpliedLct(), computeMinDistance(), computeRltCut(), computeStandardLPOptimalityCut(), conflictAnalyzeLP(), consCheckRedundancy(), consdataComputePseudoActivity(), consdataCreate(), consdataCreateRedundant(), consdataGetActivityResiduals(), consdataGetReliableResidualActivity(), consdataPrint(), consdataRecomputeMaxactivity(), consdataRecomputeMaxActivityDelta(), consdataRecomputeMinactivity(), consdataTightenCoefs(), consdataUpdateAddCoef(), consdataUpdateDelCoef(), consFixLinkvar(), constraintNonOverlappingGraph(), coretimesUpdateLb(), coretimesUpdateUb(), countSparseSol(), createCoreProfile(), createCoverCuts(), createCoverCutsTimepoint(), createCoveringProblem(), createGenVBound(), createNewSol(), createProjRow(), createSelectedSortedEventpointsSol(), createSolFromNLP(), createSolFromSubScipSol(), createSortedEventpoints(), createSubscip(), CUTOFF_CONSTRAINT(), cutsRoundMIR(), cutsRoundStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), deleteCliqueDataEntry(), deleteVarCardinality(), determineBestBounds(), domainReductionsCreate(), doSeachEcAggr(), doSolveSubMIP(), dropEvent(), dropEventBinvar(), dryBranch(), dualBoundStrengthening(), enforceCardinality(), enforceConflictgraph(), enforceConstraint(), enforceConstraints(), enforceIndicators(), enforceSol(), estimateBivariateQuotient(), estimateVertexPolyhedral(), evalBound(), evalCorner(), execRelpscost(), executeBranching(), executeBranchingRecursive(), extractCycle(), extractGates(), filterCands(), filterExistingLP(), filterRound(), findBestLb(), findComponents(), findNewBounds(), fixAndPropagate(), fixBounds(), fixIntegerVariable(), fixIntegerVariableLb(), fixInterdiction(), fixVariable(), fixVariableZero(), fixVariableZeroNode(), forbidCover(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), generateBoundInequalityFromSOS1Nodes(), generateCloseCutPoint(), generateRowCardinality(), generateRowSOS2(), generateZerohalfCut(), getBoundConsFromVertices(), getCliqueUnfixedVars(), getClosestVub(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getFilterCoef(), getFixingValue(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getImplVarRedcost(), getIneqViol(), getMaxactImplicObjchg(), getNLPFracVars(), getRandomVariable(), getRelDistance(), getValueScore(), getVarBounds(), getViolSplitWeight(), handle1Cycle(), handleNewVariableCardinality(), handleNewVariableSOS1(), handleNewVariableSOS2(), hasUnfixedSCIndicator(), heurdataUpdateCurrentBounds(), heurExec(), impliesVlbPrecedenceCondition(), improvePoint(), inferboundsEdgeFinding(), inferVariableZero(), initConflictgraph(), initializeSol(), initLP(), initProblem(), initSepa(), isBinaryProduct(), isNonstandardPerm(), isPossibleToComputeCut(), isPseudocostUpdateValid(), isViolatedAndNotFixed(), isViolatedSOS1(), liftCliqueVariables(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), markRowsXj(), nlpCalcFracVars(), nlpFlushVarAdditions(), nlpSolve(), nlpUpdateVarBounds(), nlrowCalcActivityBounds(), nodeGetSolvalBinaryBigMSOS1(), nodeGetSolvalVarboundLbSOS1(), normalizeWeights(), notifyNlhdlrNewsol(), orbitalReductionGetSymmetryStabilizerSubgroup(), performBranchingNoSol(), performBranchingSol(), performDualfix(), performFixing(), performRandRounding(), performStrongbranchSOS1(), performStrongbranchWithPropagation(), preprocessCliques(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolRoundVarsSOS1(), presolveConsEst(), presolvePropagateCons(), presolveRedundantConss(), printBoundSection(), processBinvarFixings(), processFixings(), processRealBoundChg(), processWatchedVars(), projectVbd(), propagateCons(), propagateCutoffboundBinvars(), propagateCutoffboundVar(), propagateFullOrbitopeCons(), propagateLbTTEF(), propagatePackingPartitioningCons(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateStaticOrbitope(), propagateTimetable(), propagateTTEF(), propagateUbTTEF(), propagateVariablePair(), propagateVbounds(), propCardinality(), propConsSOS1(), propIndicator(), propSOS2(), propVariableNonzero(), propVariables(), rangedRowPropagation(), recomputeLooseObjectiveValue(), recomputePseudoObjectiveValue(), registerBranchingCandidates(), registerBranchingCandidatesAllUnfixed(), removeZeros(), removeZerosQuad(), reoptCheckLocalRestart(), reoptSimilarity(), resolveGenVBoundPropagation(), retransformVariable(), rowCalculateGauss(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), rowprepRecordModifiedVar(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_CONSSEPASOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPR_OWNERPRINT(), SCIP_DECL_EXPRINTEVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddConflictBinvar(), SCIPaggrRowCancelVarWithBound(), SCIPanalyzeDeductionsProbing(), SCIPapplyLockFixings(), SCIPapplyProbingVar(), SCIPbendersSetupSubproblem(), SCIPbranchcandAddExternCand(), SCIPbranchcandGetPseudoCands(), SCIPbranchcandUpdateVar(), SCIPbranchExecExtern(), SCIPbranchExecLP(), SCIPbranchExecPseudo(), SCIPbranchGetBranchingPoint(), SCIPbranchVar(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarLbNode(), SCIPchgVarLbProbing(), SCIPcolCreate(), SCIPcomputeVarLbLocal(), SCIPconflictAnalyzePseudo(), SCIPconflictAnalyzeRemainingBdchgs(), SCIPconflictAnalyzeStrongbranch(), SCIPcreateNlpiProblemFromNlRows(), SCIPcreateWorstCaseProfile(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPexprDismantle(), SCIPfixVar(), SCIPfixVarProbing(), SCIPgetVarLbAtIndex(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchWithPropagation(), SCIPgetVarWasFixedAtIndex(), SCIPinferBinvarCons(), SCIPinferBinvarProp(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPlpEndDive(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpStartDive(), SCIPlpUpdateVarObj(), SCIPlpUpdateVarUb(), SCIPmakeIndicatorFeasible(), SCIPmergeRowprepTerms(), SCIPnlpEndDive(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPnodePropagateImplics(), SCIPperformGenericDivingAlgorithm(), SCIPpricestoreAddBdviolvar(), SCIPpricestoreAddProbVars(), SCIPpricestoreAddVar(), SCIPpricestoreResetBounds(), SCIPprobUpdateBestRootSol(), SCIPreoptnodeAddCons(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsetBinaryVarIndicator(), SCIPsnprintfProbingStats(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPupdateNlpiProblem(), SCIPupgradeConsLinear(), SCIPvarAddHoleLocal(), SCIPvarChgLbGlobal(), SCIPvarCopy(), SCIPvarGetImplRedcost(), SCIPvarGetLbAtIndex(), SCIPvarGetMultaggrLbLocal(), SCIPvarGetMultaggrUbLocal(), SCIPvarGetNLPSol_rec(), SCIPvarGetRelaxSol(), SCIPvarPrint(), SCIPvarWasFixedAtIndex(), SCIPvisualCutoffNode(), SCIPvisualNewChild(), SCIPvisualSolvedNode(), SCIPvisualUpdateChild(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), scoreBranchingCandidates(), selectBranchVar(), selectNextDiving(), selectVarRecursive(), selectVarStart(), separateCons(), separateCuts(), separateMcCormickImplicit(), separatePerspective(), sepastoreApplyLb(), sepastoreApplyUb(), sepastoreIsBdchgApplicable(), setupAggregationData(), setupAndSolveFiniteSolSubscip(), setVarToNearestBound(), solveAndEvalSubscip(), solveCumulative(), solveIndependentCons(), solveNLP(), solveNlp(), solveNode(), solveSubproblem(), sparsifyIntercut(), startProbing(), TCLIQUE_NEWSOL(), termIsConstant(), testColumnsAreSymmetricallyEquivalent(), tightenAuxVarBounds(), tightenBoundProbing(), tightenBounds(), tightenCoefs(), tightenedLinkvar(), tightenOnBounds(), tightenSingleVar(), tightenUbTTEF(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVariables(), tightenVarLb(), tightenVarsBoundsSOS1(), tightenVarUb(), transformNonIntegralRow(), transformVariable(), translateSubSol(), treeApplyPendingBdchgs(), tryOneOpt(), trySolCandidate(), updateBestCandidate(), updateBilinearRelaxation(), updateColumnOrderWhenBranchingOnColumn(), updateFirstRow(), updateImplicationGraphSOS1(), updatePseudocost(), updateVariableRounding(), updateWeightsTCliquegraph(), updateWeightSums(), useBilinIneqs(), varIsFixed(), varIsFixedLocal(), varIsUnfixedLocal(), varProcessAddHoleLocal(), varProcessBoundChanges(), writeFzn(), writeOpbFixedVars(), and writeOpbRelevantAnds().
◆ SCIPvarGetUbLocal()
gets current upper bound of variable
- Parameters
-
var problem variable
Definition at line 18143 of file var.c.
References SCIP_Var::locdom, NULL, and SCIP_Dom::ub.
Referenced by addBilinearTermToCut(), addBoundViolated(), addBranchingComplementaritiesSOS1(), addCand(), addCliqueDataEntry(), addColToCut(), addConflictReasonVars(), addExprsViolScore(), addFacetToCut(), addFixedVarsConss(), addLinearTermToCut(), addRelaxation(), addRltTerm(), addSplitcons(), addSSTConssOrbitAndUpdateSST(), analyseInfeasibelCoreInsertion(), analyseOnoffBounds(), analyseVarOnoffBounds(), analyzeConflictLowerbound(), analyzeConflictOne(), analyzeConflictZero(), analyzeEnergyRequirement(), analyzeGenVBoundConflict(), analyzeViolation(), analyzeZeroResultant(), applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), applyBdchgs(), applyBoundChgs(), applyBoundHeur(), applyCliqueFixings(), applyDomainReductions(), applyGenVBound(), applyNlobbt(), applyObbt(), applyOptcumulative(), applyOptcumulativeFixings(), applyOrbitalBranchingPropagations(), applyOrbitalReductionPart(), applyProbing(), applyProbingVar(), applyVboundsFixings(), areBoundsChanged(), assertIsOrbitopeMatrix(), bilinboundGetScore(), branch(), branchBalancedCardinality(), branchcandCalcLPCands(), branching(), branchOnVar(), branchruledataUpdateCurrentBounds(), branchUnbalancedCardinality(), buildMod2Matrix(), calcBranchScore(), calculateAlternatives(), catchEvent(), catchEventBinvar(), changeAncestorBranchings(), checkBounddisjunction(), checkCounters(), checkExec(), checkFeasible(), checkForOverlapping(), checkIISlocal(), checkImplicsApplied(), checkKnapsack(), checkOverloadViaThetaTree(), checkRikun(), checkSetupTolerances(), checkSignomialBounds(), checkSolution(), checkSwitchNonoverlappingSOS1Methods(), checkVarbound(), checkVariable(), chgCoeffWithBound(), chgProbingBound(), chgQuadCoeffWithBound(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), collectActivities(), collectBranchingCandidates(), collectBranchingCands(), collectCliqueData(), collectDataTTEF(), collectIntVars(), collectSolActivities(), collectSolution(), COLORprobPrintStableSet(), COLORprobPrintStableSets(), componentSetupWorkingSol(), computeAlternativeBounds(), computeConvexEnvelopeFacet(), computeCut(), computeEnergyContribution(), computeImpliedEst(), computeImpliedLct(), computeMinDistance(), computeRltCut(), computeStandardLPOptimalityCut(), conflictAnalyzeLP(), consCheckRedundancy(), consdataCheck(), consdataComputePseudoActivity(), consdataCreate(), consdataCreateRedundant(), consdataGetActivityResiduals(), consdataGetReliableResidualActivity(), consdataPrint(), consdataRecomputeMaxactivity(), consdataRecomputeMaxActivityDelta(), consdataRecomputeMinactivity(), consdataTightenCoefs(), consdataUpdateAddCoef(), consdataUpdateDelCoef(), consFixLinkvar(), constraintNonOverlappingGraph(), coretimesUpdateLb(), coretimesUpdateUb(), countSparseSol(), createCoreProfile(), createCoverCuts(), createCoverCutsTimepoint(), createCoveringProblem(), createGenVBound(), createNewSol(), createProjRow(), createSelectedSortedEventpointsSol(), createSolFromNLP(), createSolFromSubScipSol(), createSortedEventpoints(), createSubscip(), CUTOFF_CONSTRAINT(), cutsRoundMIR(), cutsRoundStrongCG(), cutTightenCoefs(), cutTightenCoefsQuad(), deleteCliqueDataEntry(), determineBestBounds(), domainReductionsCreate(), doSeachEcAggr(), doSolveSubMIP(), dropEvent(), dropEventBinvar(), dryBranch(), dualBoundStrengthening(), enforceCardinality(), enforceConflictgraph(), enforceConstraints(), enforceIndicators(), enforceSol(), estimateBivariateQuotient(), estimateVertexPolyhedral(), evalBound(), evalCorner(), execRelpscost(), executeBranching(), executeBranchingRecursive(), extractCycle(), extractGates(), filterCands(), filterExistingLP(), filterRound(), findBestUb(), findComponents(), findNewBounds(), fixAndPropagate(), fixBounds(), fixIntegerVariable(), fixIntegerVariableUb(), fixInterdiction(), fixVariable(), fixVariableZero(), fixVariableZeroNode(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), generateBoundInequalityFromSOS1Nodes(), generateCloseCutPoint(), generateRowSOS2(), generateZerohalfCut(), getBoundConsFromVertices(), getCliqueUnfixedVars(), getClosestVlb(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getFilterCoef(), getFixingValue(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getImplVarRedcost(), getIneqViol(), getMaxactImplicObjchg(), getNLPFracVars(), getRandomVariable(), getRelDistance(), getScore(), getValueScore(), getVarBounds(), getViolSplitWeight(), handle1Cycle(), handleNewVariableSOS1(), handleNewVariableSOS2(), hasUnfixedSCIndicator(), ObjPricerVRP::have_edge(), heurdataUpdateCurrentBounds(), heurExec(), impliesVlbPrecedenceCondition(), improvePoint(), indicatorVarIsInteresting(), inferboundsEdgeFinding(), inferVariableZero(), initConflictgraph(), initLP(), initProblem(), initSepa(), isBinaryProduct(), isNonstandardPerm(), isPossibleToComputeCut(), isPseudocostUpdateValid(), isViolatedAndNotFixed(), isViolatedSOS1(), liftCliqueVariables(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), markRowsXj(), nlpCalcFracVars(), nlpFlushVarAdditions(), nlpSolve(), nlpUpdateVarBounds(), nlrowCalcActivityBounds(), nodeGetSolvalBinaryBigMSOS1(), nodeGetSolvalVarboundUbSOS1(), normalizeWeights(), notifyNlhdlrNewsol(), orbitalReductionGetSymmetryStabilizerSubgroup(), performBranchingNoSol(), performBranchingSol(), performDualfix(), performFixing(), performRandRounding(), performStrongbranchSOS1(), performStrongbranchWithPropagation(), preprocessCliques(), presolRoundCardinality(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolRoundVarsSOS1(), presolveConsLct(), presolvePropagateCons(), presolveRedundantConss(), printBoundSection(), processBinvarFixings(), processFixings(), processRealBoundChg(), processWatchedVars(), projectVbd(), propagateCons(), propagateCutoffboundBinvars(), propagateCutoffboundVar(), propagateFullOrbitopeCons(), propagateLbTTEF(), propagatePackingPartitioningCons(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateStaticOrbitope(), propagateTimetable(), propagateTTEF(), propagateUbTTEF(), propagateVariablePair(), propagateVbounds(), propCardinality(), propConsSOS1(), propIndicator(), propSOS2(), propVariableNonzero(), propVariables(), rangedRowPropagation(), recomputeLooseObjectiveValue(), recomputePseudoObjectiveValue(), registerBranchingCandidates(), registerBranchingCandidatesAllUnfixed(), removeFixedBinvars(), removeZeros(), removeZerosQuad(), reoptCheckLocalRestart(), reoptSimilarity(), resolveGenVBoundPropagation(), retransformVariable(), rowCalculateGauss(), rowprepCleanupImproveCoefrange(), rowprepCleanupIntegralCoefs(), rowprepRecordModifiedVar(), sampleRandomPoints(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFORELAX(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSPROP(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPR_INTEVALVAR(), SCIP_DECL_EXPR_OWNERPRINT(), SCIP_DECL_EXPRINTEVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_NLHDLRENFO(), SCIP_DECL_NLHDLRESTIMATE(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERFARKAS(), SCIP_DECL_PROPEXEC(), SCIP_DECL_RELAXEXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddConflictBinvar(), SCIPaggrRowCancelVarWithBound(), SCIPanalyzeDeductionsProbing(), SCIPapplyLockFixings(), SCIPapplyProbingVar(), SCIPbendersSetupSubproblem(), SCIPbranchcandAddExternCand(), SCIPbranchcandGetPseudoCands(), SCIPbranchcandUpdateVar(), SCIPbranchExecExtern(), SCIPbranchExecLP(), SCIPbranchExecPseudo(), SCIPbranchGetBranchingPoint(), SCIPbranchVar(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPchgVarUbNode(), SCIPchgVarUbProbing(), SCIPcolCreate(), SCIPcomputeVarUbLocal(), SCIPconflictAnalyzePseudo(), SCIPconflictAnalyzeRemainingBdchgs(), SCIPconflictAnalyzeStrongbranch(), SCIPcreateNlpiProblemFromNlRows(), SCIPcreateWorstCaseProfile(), SCIPcutGenerationHeuristicCMIR(), SCIPcutsTightenCoefficients(), SCIPexprDismantle(), SCIPfixVar(), SCIPfixVarProbing(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchWithPropagation(), SCIPgetVarUbAtIndex(), SCIPgetVarWasFixedAtIndex(), SCIPinferBinvarCons(), SCIPinferBinvarProp(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPlpEndDive(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpStartDive(), SCIPlpUpdateVarLb(), SCIPlpUpdateVarObj(), SCIPmergeRowprepTerms(), SCIPnlpEndDive(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPnodePropagateImplics(), SCIPperformGenericDivingAlgorithm(), SCIPpricestoreAddBdviolvar(), SCIPpricestoreAddProbVars(), SCIPpricestoreAddVar(), SCIPpricestoreResetBounds(), SCIPprobUpdateBestRootSol(), SCIPreoptnodeAddCons(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsnprintfProbingStats(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPupdateNlpiProblem(), SCIPupgradeConsLinear(), SCIPvarAddHoleLocal(), SCIPvarChgUbGlobal(), SCIPvarCopy(), SCIPvarGetImplRedcost(), SCIPvarGetMultaggrLbLocal(), SCIPvarGetMultaggrUbLocal(), SCIPvarGetNLPSol_rec(), SCIPvarGetRelaxSol(), SCIPvarGetUbAtIndex(), SCIPvarPrint(), SCIPvarWasFixedAtIndex(), SCIPvisualCutoffNode(), SCIPvisualNewChild(), SCIPvisualSolvedNode(), SCIPvisualUpdateChild(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), scoreBranchingCandidates(), selectBranchVar(), selectNextDiving(), selectVarRecursive(), selectVarStart(), separateCons(), separateCuts(), separateIndicators(), separateMcCormickImplicit(), separatePerspective(), sepastoreApplyLb(), sepastoreApplyUb(), sepastoreIsBdchgApplicable(), setupAggregationData(), setupAndSolveFiniteSolSubscip(), setVarToNearestBound(), solveAndEvalSubscip(), solveCumulative(), solveIndependentCons(), solveNLP(), solveNlp(), solveNode(), solveSubproblem(), sparsifyIntercut(), startProbing(), TCLIQUE_NEWSOL(), termIsConstant(), testColumnsAreSymmetricallyEquivalent(), tightenAuxVarBounds(), tightenBoundProbing(), tightenBounds(), tightenCoefs(), tightenedLinkvar(), tightenLbTTEF(), tightenOnBounds(), tightenSingleVar(), tightenVarBounds(), tightenVarBoundsEasy(), tightenVariables(), tightenVarLb(), tightenVarsBoundsSOS1(), tightenVarUb(), transformNonIntegralRow(), transformVariable(), translateSubSol(), treeApplyPendingBdchgs(), tryOneOpt(), trySolCandidate(), updateBestCandidate(), updateBilinearRelaxation(), updateColumnOrderWhenBranchingOnColumn(), updateFirstRow(), updateImplicationGraphSOS1(), updatePseudocost(), updateVariableRounding(), updateWeightsTCliquegraph(), useBilinIneqs(), varIsFixed(), varIsFixedLocal(), varIsUnfixedLocal(), varProcessAddHoleLocal(), varProcessBoundChanges(), writeFzn(), writeOpbFixedVars(), and writeOpbRelevantAnds().
◆ SCIPvarGetHolelistLocal()
SCIP_HOLELIST * SCIPvarGetHolelistLocal | ( | SCIP_VAR * | var | ) |
gets the current hole list of an active variable
- Parameters
-
var problem variable
Definition at line 18153 of file var.c.
References SCIP_Dom::holelist, SCIP_Var::locdom, and NULL.
Referenced by SCIPvarCopy(), and SCIPvarPrint().
◆ SCIPvarGetBestBoundLocal()
gets best local bound of variable with respect to the objective function
- Parameters
-
var problem variable
Definition at line 18163 of file var.c.
References SCIP_Dom::lb, SCIP_Var::locdom, NULL, SCIP_Var::obj, and SCIP_Dom::ub.
Referenced by addBoundViolated(), nlpAddVars(), SCIPnlpGetPseudoObjval(), SCIPnlrowRecalcPseudoActivity(), SCIPvarGetLPSol_rec(), SCIPvarGetPseudoSol(), and SCIPvarGetPseudoSol_rec().
◆ SCIPvarGetWorstBoundLocal()
gets worst local bound of variable with respect to the objective function
- Parameters
-
var problem variable
Definition at line 18176 of file var.c.
References SCIP_Dom::lb, SCIP_Var::locdom, NULL, SCIP_Var::obj, and SCIP_Dom::ub.
Referenced by SCIPtreeBranchVar(), and SCIPtreeBranchVarNary().
◆ SCIPvarGetBestBoundType()
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 18189 of file var.c.
References NULL, SCIP_Var::obj, SCIP_BOUNDTYPE_LOWER, and SCIP_BOUNDTYPE_UPPER.
Referenced by adjustCutoffbound(), collectMinactImplicVars(), collectMinactObjchg(), collectMinactVar(), consdataComputePseudoActivity(), getMinactObjchg(), objimplicsCreate(), SCIP_DECL_NLHDLRINITSEPA(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchWithPropagation(), SCIPlpGetModifiedProvedPseudoObjval(), and SCIPlpGetModifiedPseudoObjval().
◆ SCIPvarGetWorstBoundType()
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 18202 of file var.c.
References NULL, SCIP_Var::obj, SCIP_BOUNDTYPE_LOWER, and SCIP_BOUNDTYPE_UPPER.
Referenced by getMaxactImplicObjchg(), getMaxactObjchg(), and getMaxObjPseudoactivityResidual().
◆ SCIPvarGetLbLazy()
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 18215 of file var.c.
References SCIP_Var::lazylb, and NULL.
Referenced by SCIPcolCreate(), and SCIPvarPrint().
◆ SCIPvarGetUbLazy()
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 18225 of file var.c.
References SCIP_Var::lazyub, and NULL.
Referenced by SCIPcolCreate(), and SCIPvarPrint().
◆ SCIPvarGetBranchFactor()
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 18237 of file var.c.
References SCIP_Var::branchfactor, and NULL.
Referenced by SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIPaddVarBranchFactor(), SCIPbranchExecExtern(), SCIPbranchExecLP(), SCIPbranchExecPseudo(), SCIPbranchGetScore(), SCIPprintBranchingStatistics(), SCIPscaleVarBranchFactor(), and updateBestCandidate().
◆ SCIPvarGetBranchPriority()
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 18249 of file var.c.
References SCIP_Var::branchpriority, and NULL.
Referenced by branchcandCalcLPCands(), branchcandInsertPseudoCand(), branchcandRemovePseudoCand(), branchcandSortPseudoCands(), nlpCalcFracVars(), performBranchingNoSol(), performBranchingSol(), SCIP_DECL_DIALOGEXEC(), SCIPaddVarBranchPriority(), SCIPbranchcandAddExternCand(), SCIPbranchcandContainsExternCand(), SCIPbranchcandUpdateVarBranchPriority(), SCIPbranchExecExtern(), SCIPbranchExecLP(), SCIPbranchExecPseudo(), SCIPprintBranchingStatistics(), SCIPtransformMinUC(), SCIPtreeBranchVar(), SCIPupdateVarBranchPriority(), and selectBestCands().
◆ SCIPvarGetBranchDirection()
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 18259 of file var.c.
References SCIP_Var::branchdirection, and NULL.
Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPtreeCalcNodeselPriority().
◆ SCIPvarGetNVlbs()
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 18269 of file var.c.
References NULL, SCIPvboundsGetNVbds(), and SCIP_Var::vlbs.
Referenced by collectNonBinaryVBoundData(), computeImpliedEst(), constructSNFRelaxation(), cutsRoundMIR(), detectHiddenProducts(), detectImpliedBounds(), determineBestBounds(), dfs(), getClosestVlb(), initData(), performBoundSubstitution(), projectVbd(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVlb(), SCIPvisualizeConsCumulative(), separateCuts(), strengthenVarbounds(), and varIsSemicontinuous().
◆ SCIPvarGetVlbVars()
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 18281 of file var.c.
References NULL, SCIPvboundsGetVars(), and SCIP_Var::vlbs.
Referenced by collectNonBinaryVBoundData(), computeImpliedEst(), constructSNFRelaxation(), cutsRoundMIR(), detectHiddenProducts(), determineBestBounds(), determineBoundForSNF(), dfs(), findBestLb(), getClosestVlb(), initData(), performBoundSubstitution(), projectVbd(), SCIPcutGenerationHeuristicCMIR(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVlb(), SCIPvisualizeConsCumulative(), separateCuts(), strengthenVarbounds(), transformNonIntegralRow(), and varIsSemicontinuous().
◆ SCIPvarGetVlbCoefs()
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 18291 of file var.c.
References NULL, SCIPvboundsGetCoefs(), and SCIP_Var::vlbs.
Referenced by collectNonBinaryVBoundData(), computeImpliedEst(), constructSNFRelaxation(), cutsRoundMIR(), detectHiddenProducts(), determineBestBounds(), dfs(), getClosestVlb(), initData(), performBoundSubstitution(), projectVbd(), SCIPcutGenerationHeuristicCMIR(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVlb(), separateCuts(), strengthenVarbounds(), transformNonIntegralRow(), and varIsSemicontinuous().
◆ SCIPvarGetVlbConstants()
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 18301 of file var.c.
References NULL, SCIPvboundsGetConstants(), and SCIP_Var::vlbs.
Referenced by collectNonBinaryVBoundData(), computeImpliedEst(), constructSNFRelaxation(), cutsRoundMIR(), detectHiddenProducts(), determineBestBounds(), getClosestVlb(), initData(), performBoundSubstitution(), projectVbd(), SCIPcutGenerationHeuristicCMIR(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVlb(), separateCuts(), strengthenVarbounds(), transformNonIntegralRow(), and varIsSemicontinuous().
◆ SCIPvarGetNVubs()
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 18311 of file var.c.
References NULL, SCIPvboundsGetNVbds(), and SCIP_Var::vubs.
Referenced by collectNonBinaryVBoundData(), computeImpliedLct(), constructSNFRelaxation(), cutsRoundMIR(), detectHiddenProducts(), detectImpliedBounds(), determineBestBounds(), dfs(), getClosestVub(), initData(), performBoundSubstitution(), projectVbd(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVub(), SCIPvisualizeConsCumulative(), separateCuts(), and varIsSemicontinuous().
◆ SCIPvarGetVubVars()
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 18323 of file var.c.
References NULL, SCIPvboundsGetVars(), and SCIP_Var::vubs.
Referenced by collectNonBinaryVBoundData(), computeImpliedLct(), constructSNFRelaxation(), cutsRoundMIR(), detectHiddenProducts(), determineBestBounds(), determineBoundForSNF(), dfs(), findBestUb(), getClosestVub(), initData(), performBoundSubstitution(), projectVbd(), SCIPcutGenerationHeuristicCMIR(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVub(), SCIPvisualizeConsCumulative(), separateCuts(), transformNonIntegralRow(), and varIsSemicontinuous().
◆ SCIPvarGetVubCoefs()
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 18333 of file var.c.
References NULL, SCIPvboundsGetCoefs(), and SCIP_Var::vubs.
Referenced by collectNonBinaryVBoundData(), computeImpliedLct(), constructSNFRelaxation(), cutsRoundMIR(), detectHiddenProducts(), determineBestBounds(), dfs(), getClosestVub(), initData(), performBoundSubstitution(), projectVbd(), SCIPcutGenerationHeuristicCMIR(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVub(), separateCuts(), transformNonIntegralRow(), and varIsSemicontinuous().
◆ SCIPvarGetVubConstants()
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 18343 of file var.c.
References NULL, SCIPvboundsGetConstants(), and SCIP_Var::vubs.
Referenced by collectNonBinaryVBoundData(), computeImpliedLct(), constructSNFRelaxation(), cutsRoundMIR(), detectHiddenProducts(), determineBestBounds(), getClosestVub(), initData(), performBoundSubstitution(), projectVbd(), SCIPcutGenerationHeuristicCMIR(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVub(), separateCuts(), transformNonIntegralRow(), and varIsSemicontinuous().
◆ SCIPvarGetNImpls()
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 18355 of file var.c.
References SCIP_Var::implics, NULL, SCIPimplicsGetNImpls(), and SCIPvarIsActive().
Referenced by catchEvents(), checkImplicsApplied(), collectNonBinaryImplicationData(), detectHiddenProducts(), dfs(), extractCycle(), getMaxactImplicObjchg(), propagateVbounds(), removeConstraintsDueToNegCliques(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIPapplyProbingVar(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarGetAvgInferences(), SCIPvarGetAvgInferencesCurrentRun(), separateCuts(), and sortVariables().
◆ SCIPvarGetImplVars()
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 18372 of file var.c.
References SCIP_Var::implics, NULL, SCIPimplicsGetVars(), and SCIPvarIsActive().
Referenced by checkImplicsApplied(), collectNonBinaryImplicationData(), detectHiddenProducts(), dfs(), extractCycle(), getMaxactImplicObjchg(), propagateVbounds(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_PRESOLEXEC(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), and separateCuts().
◆ SCIPvarGetImplTypes()
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 18387 of file var.c.
References SCIP_Var::implics, NULL, SCIPimplicsGetTypes(), and SCIPvarIsActive().
Referenced by checkImplicsApplied(), collectNonBinaryImplicationData(), detectHiddenProducts(), dfs(), extractCycle(), getMaxactImplicObjchg(), propagateVbounds(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_PRESOLEXEC(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), and separateCuts().
◆ SCIPvarGetImplBounds()
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 18401 of file var.c.
References SCIP_Var::implics, NULL, SCIPimplicsGetBounds(), and SCIPvarIsActive().
Referenced by checkImplicsApplied(), collectNonBinaryImplicationData(), detectHiddenProducts(), extractCycle(), getMaxactImplicObjchg(), propagateVbounds(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_PRESOLEXEC(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarGetImplicVarBounds(), and separateCuts().
◆ SCIPvarGetImplIds()
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 18417 of file var.c.
References SCIP_Var::implics, NULL, SCIPimplicsGetIds(), and SCIPvarIsActive().
Referenced by dfs(), and propagateVbounds().
◆ SCIPvarGetNCliques()
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 18429 of file var.c.
References SCIP_Var::cliquelist, NULL, and SCIPcliquelistGetNCliques().
Referenced by addNextLevelCliques(), addRltTerm(), calcCliquePartitionGreedy(), catchEvents(), collectBinaryCliqueData(), collectMinactImplicVars(), collectMinactVar(), detectImpliedBounds(), dfs(), extractCycle(), getBinaryProductExpr(), getMaxactImplicObjchg(), GUBsetCalcCliquePartition(), insertSortedRootNeighbors(), isNeighbor(), propagateVbounds(), removeConstraintsDueToNegCliques(), SCIP_DECL_HEUREXEC(), SCIPapplyProbingVar(), SCIPcliquelistCheck(), SCIPcliquelistRemoveFromCliques(), SCIPhaveVarsCommonClique(), SCIPnodePropagateImplics(), SCIPvarGetAvgInferences(), SCIPvarGetAvgInferencesCurrentRun(), SCIPvarGetImplRedcost(), separateGLS(), separateHeur(), sortVariables(), tarjan(), tcliquegraphAddCliqueVars(), tcliquegraphAddNode(), and tightenWeightsLift().
◆ SCIPvarGetCliques()
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 18440 of file var.c.
References SCIP_Var::cliquelist, NULL, and SCIPcliquelistGetCliques().
Referenced by addGLSCliques(), addNextLevelCliques(), addRltTerm(), collectBinaryCliqueData(), collectMinactImplicVars(), dfs(), extractCycle(), getBinaryProductExpr(), getMaxactImplicObjchg(), insertSortedRootNeighbors(), isNeighbor(), propagateVbounds(), SCIPcliquelistCheck(), SCIPcliquelistRemoveFromCliques(), SCIPnodePropagateImplics(), SCIPvarGetImplRedcost(), tarjan(), tcliquegraphAddNode(), and tightenWeightsLift().
◆ SCIPvarGetLPSol()
gets primal LP solution value of variable
- Parameters
-
var problem variable
Definition at line 18451 of file var.c.
References SCIP_Var::col, SCIP_Var::data, NULL, SCIP_VARSTATUS_COLUMN, SCIPcolGetPrimsol(), SCIPvarGetLPSol_rec(), and SCIPvarGetStatus().
Referenced by addPathCuts(), addSubtourCuts(), applySeparation(), bilinboundGetScore(), branch(), branchOnBin(), changeSubvariableObjective(), computeFixingrate(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeRestrictionToRay(), createCGCuts(), createGenVBound(), cutsTransformMIR(), DECL_VARFIXINGS(), determineBestBounds(), determineFixings(), determineVariableFixings(), evalBound(), execRelpscost(), filterExistingLP(), filterRound(), findNewBounds(), generateAverageNBRay(), generateCloseCutPoint(), generateDifferenceRay(), generateStartingPoint(), getBranchCands(), getFixingValue(), getVariablePscostScore(), getVariableRedcostScore(), handle1Cycle(), handleCycle(), initCurrent(), isPseudocostUpdateValid(), runVanillaStrongBranching(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPgetDualSolVal(), SCIPgetVarSols(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPnodeAddBoundinfer(), SCIPselectVarPseudoStrongBranching(), SCIPvarGetClosestVlb(), SCIPvarGetClosestVub(), SCIPvarGetLPSol_rec(), SCIPvarGetSol(), selectVarMultAggrBranching(), separateDeterminant(), separatePoint(), solCutIsViolated(), solGetArrayVal(), solUnlinkVar(), solveBilinearLP(), and updatePseudocost().
◆ SCIPvarGetNLPSol()
gets primal NLP solution value of variable
- Parameters
-
var problem variable
Definition at line 18464 of file var.c.
References SCIP_Var::nlpsol, NULL, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPvarGetNLPSol_rec(), and SCIPvarGetStatus().
Referenced by computeFixingrate(), createSolFromNLP(), getFixingValue(), getNlpVarSol(), maximalslack(), nlpCalcFracVars(), nlpDelVarPos(), nlpUpdateVarBounds(), SCIP_DECL_HEUREXEC(), SCIPnlrowRecalcNLPActivity(), SCIProwGetNLPFeasibility(), SCIPsolLinkNLPSol(), SCIPvarGetNLPSol_rec(), separateCuts(), solGetArrayVal(), and solUnlinkVar().
◆ SCIPvarGetBdchgInfoLb()
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 18477 of file var.c.
References SCIP_Var::lbchginfos.
Referenced by SCIPconflictAddRelaxedBound(), and updatePseudocost().
◆ SCIPvarGetNBdchgInfosLb()
int SCIPvarGetNBdchgInfosLb | ( | SCIP_VAR * | var | ) |
gets the number of lower bound change info array
- Parameters
-
var problem variable
Definition at line 18489 of file var.c.
References SCIP_Var::nlbchginfos.
Referenced by updatePseudocost().
◆ SCIPvarGetBdchgInfoUb()
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 18497 of file var.c.
References SCIP_Var::ubchginfos.
Referenced by SCIPconflictAddRelaxedBound(), and updatePseudocost().
◆ SCIPvarGetNBdchgInfosUb()
int SCIPvarGetNBdchgInfosUb | ( | SCIP_VAR * | var | ) |
gets the number upper bound change info array
- Parameters
-
var problem variable
Definition at line 18509 of file var.c.
References SCIP_Var::nubchginfos, and NULL.
Referenced by updatePseudocost().
◆ SCIPvarGetValuehistory()
SCIP_VALUEHISTORY * SCIPvarGetValuehistory | ( | SCIP_VAR * | var | ) |
returns the value based history for the variable
- Parameters
-
var problem variable
Definition at line 18519 of file var.c.
References NULL, and SCIP_Var::valuehistory.
Referenced by getValueScore().
◆ SCIPvarIsRelaxationOnly()
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 17705 of file var.c.
References NULL, and SCIP_Var::relaxationonly.
Referenced by addCoef(), conflictsetAddBound(), conflictsetAddBounds(), copyCuts(), copyVars(), createAndAddProofcons(), createCoveringProblem(), createSepaData(), determineVariableFixings(), exprIsSemicontinuous(), SCIP_DECL_CONSTRANS(), SCIP_DECL_RELAXEXEC(), SCIPapplyUndercover(), SCIPcopyConsLinear(), SCIPcreateConsLinear(), SCIPgenVBoundAdd(), SCIPgetVarCopy(), and SCIPprobExitSolve().
◆ SCIPvarMarkRelaxationOnly()
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 and must be deletable. If it is not marked deletable, it will be marked as deletable, which is only possible before the variable is added to a problem.
- Parameters
-
var problem variable
Definition at line 17723 of file var.c.
References NULL, SCIP_Var::relaxationonly, SCIPvarGetObj(), SCIPvarIsDeletable(), SCIPvarMarkDeletable(), and TRUE.
Referenced by createAuxVar(), createDisaggrVars(), and createObjRow().
◆ SCIPvarGetLPSol_rec()
gets primal LP solution value of variable
- Parameters
-
var problem variable
Definition at line 13068 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::donotaggr, 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(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by SCIPvarGetLPSol().
◆ SCIPvarGetNLPSol_rec()
gets primal NLP solution value of variable
- Parameters
-
var problem variable
Definition at line 13141 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(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by SCIPvarGetNLPSol().
◆ SCIPvarGetPseudoSol()
gets pseudo solution value of variable at current node
gets pseudo solution value of variable
- Parameters
-
var problem variable
Definition at line 18529 of file var.c.
References NULL, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPvarGetBestBoundLocal(), SCIPvarGetPseudoSol_rec(), and SCIPvarGetStatus().
Referenced by SCIPgetVarSols(), SCIPprobPrintPseudoSol(), SCIPvarGetPseudoSol_rec(), SCIPvarGetSol(), solGetArrayVal(), and solUnlinkVar().
◆ SCIPvarGetSol()
gets current LP or pseudo solution value of variable
- Parameters
-
var problem variable getlpval should the LP solution value be returned?
Definition at line 13256 of file var.c.
References SCIPvarGetLPSol(), and SCIPvarGetPseudoSol().
Referenced by computeStandardLPOptimalityCut(), SCIP_DECL_BRANCHEXECLP(), SCIPbranchGetBranchingPoint(), SCIPgetSolVal(), SCIPgetVarSol(), SCIPprobUpdateBestRootSol(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPtreeCalcChildEstimate(), SCIPtreeCalcNodeselPriority(), and SCIPvarStoreRootSol().
◆ SCIPvarGetRootSol()
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 13349 of file var.c.
References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::donotaggr, 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_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, SCIPvarGetRootSol(), 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_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIPstatComputeRootLPBestEstimate(), SCIPstatUpdateVarRootLPBestEstimate(), SCIPtreeBranchVar(), SCIPtreeCalcNodeselPriority(), SCIPvarGetRootSol(), and SCIPvarUpdatePseudocost().
◆ SCIPvarGetBestRootSol()
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 13714 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::donotaggr, 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, SCIPvarGetBestRootSol(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by getVariableRedcostScore(), propagateBinaryBestRootRedcost(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), and SCIPvarGetBestRootSol().
◆ SCIPvarGetBestRootRedcost()
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 13781 of file var.c.
References SCIP_Var::bestrootredcost, 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, SCIPvarGetBestRootRedcost(), SCIPvarGetStatus(), and SCIP_Original::transvar.
Referenced by countNonZeroRootRedcostVars(), getVariableRedcostScore(), propagateBinaryBestRootRedcost(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), propdataInit(), SCIP_DECL_SORTPTRCOMP(), and SCIPvarGetBestRootRedcost().
◆ SCIPvarGetBestRootLPObjval()
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 13815 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, SCIPvarGetBestRootLPObjval(), SCIPvarGetStatus(), and SCIP_Original::transvar.
Referenced by propagateBinaryBestRootRedcost(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), SCIP_DECL_SORTPTRCOMP(), and SCIPvarGetBestRootLPObjval().
◆ SCIPvarSetBestRootSol()
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 13846 of file var.c.
References SCIP_Var::bestrootlpobjval, SCIP_Var::bestrootredcost, SCIP_Var::bestrootsol, and NULL.
Referenced by SCIPprobExitSolve().
◆ SCIPvarGetAvgSol()
returns a weighted average solution value of the variable in all feasible primal solutions found so far
- Parameters
-
var problem variable
Definition at line 14061 of file var.c.
References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::donotaggr, SCIP_Var::donotmultaggr, SCIP_Var::glbdom, SCIP_Dom::lb, SCIP_Var::locdom, MAX, MIN, 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, SCIPvarGetAvgSol(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by SCIPvarGetAvgSol(), and separateAlternativeProofs().
◆ SCIPvarGetLbchgInfo()
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 16576 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(), SCIPvarIsActive(), and SCIP_BdChgInfo::var.
Referenced by SCIPgetVarLbAtIndex(), SCIPvarGetBdchgInfo(), and SCIPvarGetLbAtIndex().
◆ SCIPvarGetUbchgInfo()
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 16632 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(), SCIPvarIsActive(), SCIP_Var::ubchginfos, and SCIP_BdChgInfo::var.
Referenced by SCIPgetVarUbAtIndex(), SCIPvarGetBdchgInfo(), and SCIPvarGetUbAtIndex().
◆ SCIPvarGetBdchgInfo()
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 16688 of file var.c.
References SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIPvarGetLbchgInfo(), and SCIPvarGetUbchgInfo().
Referenced by SCIPconflictAddBound(), and SCIPconflictAddRelaxedBound().
◆ SCIPvarGetLbAtIndex()
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 16709 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_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbdchginfoGetNewbound(), SCIPerrorMessage, SCIPvarGetLbAtIndex(), SCIPvarGetLbchgInfo(), SCIPvarGetLbLocal(), SCIPvarGetStatus(), SCIPvarGetUbAtIndex(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by resolvePropagationFullOrbitope(), SCIP_DECL_CONSRESPROP(), SCIPvarGetBdAtIndex(), SCIPvarGetLbAtIndex(), SCIPvarGetUbAtIndex(), and SCIPvarWasFixedAtIndex().
◆ SCIPvarGetUbAtIndex()
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 16828 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_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbdchginfoGetNewbound(), SCIPerrorMessage, SCIPvarGetLbAtIndex(), SCIPvarGetStatus(), SCIPvarGetUbAtIndex(), SCIPvarGetUbchgInfo(), SCIPvarGetUbLocal(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by resolvePropagationFullOrbitope(), SCIP_DECL_CONSRESPROP(), SCIPvarGetBdAtIndex(), SCIPvarGetLbAtIndex(), SCIPvarGetUbAtIndex(), and SCIPvarWasFixedAtIndex().
◆ SCIPvarGetBdAtIndex()
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 16949 of file var.c.
References SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIPvarGetLbAtIndex(), and SCIPvarGetUbAtIndex().
◆ SCIPvarWasFixedAtIndex()
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 16969 of file var.c.
References NULL, SCIPvarGetLbAtIndex(), SCIPvarGetLbLocal(), SCIPvarGetUbAtIndex(), SCIPvarGetUbLocal(), and SCIPvarIsBinary().
◆ SCIPvarGetLastBdchgIndex()
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 16992 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(), SCIPvarGetProbvar(), SCIPvarGetStatus(), SCIPvarIsActive(), and SCIP_Var::ubchginfos.
Referenced by SCIPvarGetLastBdchgDepth().
◆ SCIPvarGetLastBdchgDepth()
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 17029 of file var.c.
References SCIP_BdChgIdx::depth, NULL, and SCIPvarGetLastBdchgIndex().
◆ SCIPvarWasFixedEarlier()
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 17117 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_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPbdchgidxIsEarlier(), SCIPvarGetProbvar(), SCIPvarGetStatus(), SCIPvarIsActive(), SCIPvarIsBinary(), TRUE, SCIP_Dom::ub, and SCIP_Var::ubchginfos.
◆ SCIPbdchgidxIsEarlier()
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 18639 of file var.c.
References SCIP_BdChgIdx::depth, FALSE, NULL, SCIP_BdChgIdx::pos, and TRUE.
Referenced by SCIPconflictAddBound(), SCIPconflictAddRelaxedBound(), SCIPvarGetLbchgInfo(), SCIPvarGetUbchgInfo(), SCIPvarWasFixedEarlier(), varAddLbchginfo(), and varAddUbchginfo().
◆ SCIPbdchgidxIsEarlierNonNull()
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 18619 of file var.c.
References SCIP_BdChgIdx::depth, NULL, and SCIP_BdChgIdx::pos.
Referenced by SCIP_DECL_SORTPTRCOMP(), and SCIPvarGetLastBdchgIndex().
◆ SCIPbdchginfoGetOldbound()
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 18659 of file var.c.
References NULL, and SCIP_BdChgInfo::oldbound.
Referenced by conflictAddBound(), and SCIPconflictAddRelaxedBound().
◆ SCIPbdchginfoGetNewbound()
SCIP_Real SCIPbdchginfoGetNewbound | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns new bound installed for given bound change information
- Parameters
-
bdchginfo bound change information
Definition at line 18669 of file var.c.
References SCIP_BdChgInfo::newbound, and NULL.
Referenced by bdchginfoIsInvalid(), checkRedundancy(), conflictAddBound(), conflictAddConflictBound(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictMarkBoundCheckPresence(), conflictQueueBound(), conflictResolveBound(), conflictsetAddBounds(), detectImpliedBounds(), isBoundchgUseless(), SCIP_DECL_CONFLICTEXEC(), SCIPconflictAddBound(), SCIPconflictAddRelaxedBound(), SCIPconflictAnalyzeRemainingBdchgs(), SCIPgetVarLbAtIndex(), SCIPgetVarUbAtIndex(), SCIPvarGetLbAtIndex(), and SCIPvarGetUbAtIndex().
◆ SCIPbdchginfoGetVar()
SCIP_VAR * SCIPbdchginfoGetVar | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns variable that belongs to the given bound change information
- Parameters
-
bdchginfo bound change information
Definition at line 18679 of file var.c.
References NULL, and SCIP_BdChgInfo::var.
Referenced by bdchginfoIsInvalid(), checkRedundancy(), conflictAddBound(), conflictAddConflictBound(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictMarkBoundCheckPresence(), conflictQueueBound(), conflictRemoveCand(), conflictResolveBound(), conflictsetAddBound(), conflictsetAddBounds(), detectImpliedBounds(), isBoundchgUseless(), and SCIP_DECL_CONFLICTEXEC().
◆ SCIPbdchginfoGetChgtype()
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 18689 of file var.c.
References SCIP_BdChgInfo::boundchgtype, and NULL.
Referenced by bdchginfoIsResolvable(), conflictAddBound(), and conflictResolveBound().
◆ SCIPbdchginfoGetBoundtype()
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 18699 of file var.c.
References SCIP_BdChgInfo::boundtype, and NULL.
Referenced by bdchginfoIsInvalid(), checkRedundancy(), conflictAddBound(), conflictAddConflictBound(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictMarkBoundCheckPresence(), conflictQueueBound(), conflictRemoveCand(), conflictResolveBound(), conflictsetAddBound(), conflictsetAddBounds(), detectImpliedBounds(), isBoundchgUseless(), SCIP_DECL_CONFLICTEXEC(), SCIPbdchginfoIsTighter(), SCIPconflictAnalyzeRemainingBdchgs(), and updateStatistics().
◆ SCIPbdchginfoGetDepth()
int SCIPbdchginfoGetDepth | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns depth level of given bound change information
- Parameters
-
bdchginfo bound change information
Definition at line 18709 of file var.c.
References SCIP_BdChgInfo::bdchgidx, SCIP_BdChgIdx::depth, and NULL.
Referenced by conflictAddBound(), conflictAddConflictBound(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictResolveBound(), conflictsetAddBounds(), conflictsetCalcConflictDepth(), conflictsetCalcInsertDepth(), and SCIPconflictAddRelaxedBound().
◆ SCIPbdchginfoGetPos()
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 18719 of file var.c.
References SCIP_BdChgInfo::bdchgidx, NULL, and SCIP_BdChgIdx::pos.
Referenced by conflictAddBound(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictResolveBound(), and SCIPconflictAddRelaxedBound().
◆ SCIPbdchginfoGetIdx()
SCIP_BDCHGIDX * SCIPbdchginfoGetIdx | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns bound change index of given bound change information
- Parameters
-
bdchginfo bound change information
Definition at line 18729 of file var.c.
References SCIP_BdChgInfo::bdchgidx, and NULL.
Referenced by conflictResolveBound(), SCIP_DECL_SORTPTRCOMP(), SCIPconflictAddBound(), and SCIPconflictAddRelaxedBound().
◆ SCIPbdchginfoGetInferVar()
SCIP_VAR * SCIPbdchginfoGetInferVar | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns inference variable of given bound change information
- Parameters
-
bdchginfo bound change information
Definition at line 18739 of file var.c.
References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, SCIP_BOUNDCHGTYPE_CONSINFER, and SCIP_BOUNDCHGTYPE_PROPINFER.
Referenced by conflictResolveBound().
◆ SCIPbdchginfoGetInferCons()
SCIP_CONS * SCIPbdchginfoGetInferCons | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns inference constraint of given bound change information
- Parameters
-
bdchginfo bound change information
Definition at line 18751 of file var.c.
References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, and SCIP_BOUNDCHGTYPE_CONSINFER.
Referenced by conflictAddBound(), and conflictResolveBound().
◆ SCIPbdchginfoGetInferProp()
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 18763 of file var.c.
References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, and SCIP_BOUNDCHGTYPE_PROPINFER.
Referenced by bdchginfoIsResolvable(), conflictAddBound(), and conflictResolveBound().
◆ SCIPbdchginfoGetInferInfo()
int SCIPbdchginfoGetInferInfo | ( | SCIP_BDCHGINFO * | bdchginfo | ) |
returns inference user information of given bound change information
- Parameters
-
bdchginfo bound change information
Definition at line 18774 of file var.c.
References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, SCIP_BOUNDCHGTYPE_CONSINFER, and SCIP_BOUNDCHGTYPE_PROPINFER.
Referenced by conflictAddBound(), and conflictResolveBound().
◆ SCIPbdchginfoGetInferBoundtype()
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 18786 of file var.c.
References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferboundtype, NULL, SCIP_BOUNDCHGTYPE_CONSINFER, and SCIP_BOUNDCHGTYPE_PROPINFER.
Referenced by conflictResolveBound().
◆ SCIPbdchginfoIsRedundant()
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 18807 of file var.c.
References SCIP_BdChgInfo::newbound, NULL, SCIP_BdChgInfo::oldbound, and SCIP_BdChgInfo::redundant.
Referenced by bdchginfoIsResolvable(), conflictAddBound(), conflictAddConflictBound(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictQueueBound(), conflictRemoveCand(), conflictResolveBound(), SCIP_DECL_SORTPTRCOMP(), SCIPconflictAddRelaxedBound(), and SCIPconflictAnalyzeRemainingBdchgs().
◆ SCIPbdchginfoHasInferenceReason()
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 18818 of file var.c.
References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, SCIP_BOUNDCHGTYPE_CONSINFER, and SCIP_BOUNDCHGTYPE_PROPINFER.
Referenced by conflictAnalyze().
◆ SCIPbdchginfoIsTighter()
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 18832 of file var.c.
References SCIP_BdChgInfo::boundtype, SCIP_BdChgInfo::newbound, NULL, SCIP_BOUNDTYPE_LOWER, SCIPbdchginfoGetBoundtype(), and SCIP_BdChgInfo::var.
Referenced by conflictsetAddBound(), conflictsetAddBounds(), and conflictsetIsRedundant().
◆ SCIPboundchgGetNewbound()
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 17315 of file var.c.
References SCIP_BoundChg::newbound, and NULL.
Referenced by boundchgApplyGlobal(), SCIP_DECL_EVENTEXEC(), and SCIPendStrongbranch().
◆ SCIPboundchgGetVar()
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 17325 of file var.c.
References NULL, and SCIP_BoundChg::var.
Referenced by boundchgApplyGlobal(), computeDynamicRowOrder(), SCIP_DECL_EVENTEXEC(), SCIPendStrongbranch(), and SCIPnodePropagateImplics().
◆ SCIPboundchgGetBoundchgtype()
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 17335 of file var.c.
References SCIP_BoundChg::boundchgtype, and NULL.
Referenced by computeDynamicRowOrder(), and SCIP_DECL_EVENTEXEC().
◆ SCIPboundchgGetBoundtype()
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 17345 of file var.c.
References SCIP_BoundChg::boundtype, and NULL.
Referenced by boundchgApplyGlobal(), SCIP_DECL_EVENTEXEC(), SCIPendStrongbranch(), and SCIPnodePropagateImplics().
◆ SCIPboundchgIsRedundant()
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 17355 of file var.c.
References NULL, and SCIP_BoundChg::redundant.
Referenced by SCIPendStrongbranch(), and SCIPnodePropagateImplics().
◆ SCIPdomchgGetNBoundchgs()
int SCIPdomchgGetNBoundchgs | ( | SCIP_DOMCHG * | domchg | ) |
returns the number of bound changes in the domain change data
- Parameters
-
domchg domain change data
Definition at line 17365 of file var.c.
References SCIP_DomChg::domchgbound, SCIP_DomChgBound::nboundchgs, and NULL.
Referenced by computeDynamicRowOrder(), SCIP_DECL_EVENTEXEC(), SCIPendStrongbranch(), and SCIPnodePropagateImplics().
◆ SCIPdomchgGetBoundchg()
SCIP_BOUNDCHG * SCIPdomchgGetBoundchg | ( | SCIP_DOMCHG * | domchg, |
int | pos | ||
) |
returns a particular bound change in the domain change data
- Parameters
-
domchg domain change data pos position of the bound change in the domain change data
Definition at line 17373 of file var.c.
References SCIP_DomChgBound::boundchgs, SCIP_DomChg::domchgbound, SCIP_DomChgBound::nboundchgs, and NULL.
Referenced by computeDynamicRowOrder(), SCIP_DECL_EVENTEXEC(), SCIPendStrongbranch(), and SCIPnodePropagateImplics().
◆ SCIPholelistGetLeft()
SCIP_Real SCIPholelistGetLeft | ( | SCIP_HOLELIST * | holelist | ) |
returns left bound of open interval in hole
- Parameters
-
holelist hole list pointer to hole of interest
Definition at line 17385 of file var.c.
References SCIP_Holelist::hole, SCIP_Hole::left, and NULL.
Referenced by printHolelist().
◆ SCIPholelistGetRight()
SCIP_Real SCIPholelistGetRight | ( | SCIP_HOLELIST * | holelist | ) |
returns right bound of open interval in hole
- Parameters
-
holelist hole list pointer to hole of interest
Definition at line 17395 of file var.c.
References SCIP_Holelist::hole, NULL, and SCIP_Hole::right.
Referenced by printHolelist().
◆ SCIPholelistGetNext()
SCIP_HOLELIST * SCIPholelistGetNext | ( | SCIP_HOLELIST * | holelist | ) |
returns next hole in list or NULL
returns next hole in list
- Parameters
-
holelist hole list pointer to hole of interest
Definition at line 17405 of file var.c.
References SCIP_Holelist::next, and NULL.
Referenced by printHolelist().
◆ SCIPcreateVar()
SCIP_RETCODE SCIPcreateVar | ( | SCIP * | scip, |
SCIP_VAR ** | var, | ||
const char * | name, | ||
SCIP_Real | lb, | ||
SCIP_Real | ub, | ||
SCIP_Real | obj, | ||
SCIP_VARTYPE | vartype, | ||
SCIP_Bool | initial, | ||
SCIP_Bool | removable, | ||
SCIP_DECL_VARDELORIG((*vardelorig)) | , | ||
SCIP_DECL_VARTRANS((*vartrans)) | , | ||
SCIP_DECL_VARDELTRANS((*vardeltrans)) | , | ||
SCIP_DECL_VARCOPY((*varcopy)) | , | ||
SCIP_VARDATA * | vardata | ||
) |
creates and captures problem variable; if variable is of integral type, fractional bounds are automatically rounded; an integer variable with bounds zero and one is automatically converted into a binary variable;
- Warning
- When doing column generation and the original problem is a maximization problem, notice that SCIP will transform the problem into a minimization problem by multiplying the objective function by -1. Thus, the original objective function value of variables created during the solving process has to be multiplied by -1, too.
- Returns
- SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
- Precondition
- This method can be called if
scip
is in one of the following stages:
- Note
- the variable gets captured, hence at one point you have to release it using the method SCIPreleaseVar()
- Parameters
-
scip SCIP data structure var pointer to variable object name name of variable, or NULL for automatic name creation lb lower bound of variable ub upper bound of variable obj objective function value vartype type of variable initial should var's column be present in the initial root LP? removable is var's column removable from the LP (due to aging or cleanup)? vardata user data for this specific variable
Definition at line 114 of file scip_var.c.
References FALSE, NULL, REALABS, SCIP_CALL, SCIP_INVALIDCALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMING, SCIPcheckStage(), SCIPerrorMessage, SCIPisInfinity(), SCIPvarCreateOriginal(), SCIPvarCreateTransformed(), and TRUE.
Referenced by ObjPricerVRP::add_tour_variable(), addConstraintToBendersSubproblem(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addScenarioVarsToProb(), addVarCardinality(), aggregation(), appendVarCardinality(), applyFixings(), consdataCreateBinvars(), convertLongEquality(), createAndAddAndCons(), createConstraint(), createCoveringProblem(), createMipCpFormulation(), createObjRow(), createRelaxation(), createSubscip(), createSubSCIP(), createVariable(), execmain(), getScenarioDecompVar(), getVariable(), scipexamples::QueensSolver::QueensSolver(), readBounds(), readCnf(), readCols(), readLIBSVM(), readObjective(), readQMatrix(), readVariables(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERFARKAS(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_READERREAD(), SCIPcreateConsCardinality(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPcreateObjVar(), SCIPcreateSchedulingProblem(), SCIPcreateVarBasic(), SCIPtransformMinUC(), setObjective(), setupAndSolveFiniteSolSubscip(), solveClassification(), and solveMinIISC().
◆ SCIPcreateVarBasic()
SCIP_RETCODE SCIPcreateVarBasic | ( | SCIP * | scip, |
SCIP_VAR ** | var, | ||
const char * | name, | ||
SCIP_Real | lb, | ||
SCIP_Real | ub, | ||
SCIP_Real | obj, | ||
SCIP_VARTYPE | vartype | ||
) |