pub_var.h File Reference

Detailed Description

public methods for problem variables

Author

Tobias Achterberg

Definition in file pub_var.h.

#include "scip/def.h"
#include "scip/type_retcode.h"
#include "scip/type_misc.h"
#include "scip/type_history.h"
#include "scip/type_var.h"
#include "scip/type_implics.h"
#include "scip/type_cons.h"

Go to the source code of this file.

Functions
int	SCIPvarGetNLocksDown (SCIP_VAR *var)
int	SCIPvarGetNLocksUp (SCIP_VAR *var)
SCIP_Bool	SCIPvarMayRoundDown (SCIP_VAR *var)
SCIP_Bool	SCIPvarMayRoundUp (SCIP_VAR *var)
int	SCIPvarCompareActiveAndNegated (SCIP_VAR *var1, SCIP_VAR *var2)
	SCIP_DECL_SORTPTRCOMP (SCIPvarCompActiveAndNegated)
int	SCIPvarCompare (SCIP_VAR *var1, SCIP_VAR *var2)
	SCIP_DECL_SORTPTRCOMP (SCIPvarComp)
	SCIP_DECL_SORTPTRCOMP (SCIPvarCompObj)
	SCIP_DECL_HASHGETKEY (SCIPvarGetHashkey)
	SCIP_DECL_HASHKEYEQ (SCIPvarIsHashkeyEq)
	SCIP_DECL_HASHKEYVAL (SCIPvarGetHashkeyVal)
void	SCIPvarsGetProbvar (SCIP_VAR **vars, int nvars)
SCIP_VAR *	SCIPvarGetProbvar (SCIP_VAR *var)
SCIP_RETCODE	SCIPvarsGetProbvarBinary (SCIP_VAR ***vars, SCIP_Bool **negatedarr, int nvars)
SCIP_RETCODE	SCIPvarGetProbvarBinary (SCIP_VAR **var, SCIP_Bool *negated)
SCIP_RETCODE	SCIPvarGetProbvarBound (SCIP_VAR **var, SCIP_Real *bound, SCIP_BOUNDTYPE *boundtype)
SCIP_RETCODE	SCIPvarGetProbvarHole (SCIP_VAR **var, SCIP_Real *left, SCIP_Real *right)
SCIP_RETCODE	SCIPvarGetOrigvarSum (SCIP_VAR **var, SCIP_Real *scalar, SCIP_Real *constant)
SCIP_Bool	SCIPvarIsTransformedOrigvar (SCIP_VAR *var)
SCIP_Longint	SCIPvarGetNBranchings (SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_Longint	SCIPvarGetNBranchingsCurrentRun (SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_Real	SCIPvarGetInferenceSum (SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_Real	SCIPvarGetInferenceSumCurrentRun (SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_Real	SCIPvarGetCutoffSum (SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_Real	SCIPvarGetCutoffSumCurrentRun (SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_Real	SCIPvarGetAvgBranchdepth (SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_Real	SCIPvarGetAvgBranchdepthCurrentRun (SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_Bool	SCIPvarHasImplic (SCIP_VAR *var, SCIP_Bool varfixing, SCIP_VAR *implvar, SCIP_BOUNDTYPE impltype)
SCIP_Bool	SCIPvarHasBinaryImplic (SCIP_VAR *var, SCIP_Bool varfixing, SCIP_VAR *implvar, SCIP_Bool implvarfixing)
SCIP_Bool	SCIPvarsHaveCommonClique (SCIP_VAR *var1, SCIP_Bool value1, SCIP_VAR *var2, SCIP_Bool value2, SCIP_Bool regardimplics)
SCIP_RETCODE	SCIPvarGetAggregatedObj (SCIP_VAR *var, SCIP_Real *aggrobj)
SCIP_RETCODE	SCIPvarSetInitial (SCIP_VAR *var, SCIP_Bool initial)
SCIP_RETCODE	SCIPvarSetRemovable (SCIP_VAR *var, SCIP_Bool removable)
const char *	SCIPvarGetName (SCIP_VAR *var)
int	SCIPvarGetNUses (SCIP_VAR *var)
SCIP_VARDATA *	SCIPvarGetData (SCIP_VAR *var)
void	SCIPvarSetData (SCIP_VAR *var, SCIP_VARDATA *vardata)
void	SCIPvarSetDelorigData (SCIP_VAR *var, SCIP_DECL_VARDELORIG((*vardelorig)))
void	SCIPvarSetTransData (SCIP_VAR *var, SCIP_DECL_VARTRANS((*vartrans)))
void	SCIPvarSetDeltransData (SCIP_VAR *var, SCIP_DECL_VARDELTRANS((*vardeltrans)))
void	SCIPvarSetCopyData (SCIP_VAR *var, SCIP_DECL_VARCOPY((*varcopy)))
SCIP_VARSTATUS	SCIPvarGetStatus (SCIP_VAR *var)
SCIP_Bool	SCIPvarIsOriginal (SCIP_VAR *var)
SCIP_Bool	SCIPvarIsTransformed (SCIP_VAR *var)
SCIP_Bool	SCIPvarIsNegated (SCIP_VAR *var)
SCIP_VARTYPE	SCIPvarGetType (SCIP_VAR *var)
SCIP_Bool	SCIPvarIsBinary (SCIP_VAR *var)
SCIP_Bool	SCIPvarIsIntegral (SCIP_VAR *var)
SCIP_Bool	SCIPvarIsInitial (SCIP_VAR *var)
SCIP_Bool	SCIPvarIsRemovable (SCIP_VAR *var)
SCIP_Bool	SCIPvarIsDeleted (SCIP_VAR *var)
void	SCIPvarMarkDeletable (SCIP_VAR *var)
void	SCIPvarMarkNotDeletable (SCIP_VAR *var)
SCIP_Bool	SCIPvarIsDeletable (SCIP_VAR *var)
SCIP_Bool	SCIPvarIsActive (SCIP_VAR *var)
int	SCIPvarGetIndex (SCIP_VAR *var)
int	SCIPvarGetProbindex (SCIP_VAR *var)
SCIP_VAR *	SCIPvarGetTransVar (SCIP_VAR *var)
SCIP_COL *	SCIPvarGetCol (SCIP_VAR *var)
SCIP_Bool	SCIPvarIsInLP (SCIP_VAR *var)
SCIP_VAR *	SCIPvarGetAggrVar (SCIP_VAR *var)
SCIP_Real	SCIPvarGetAggrScalar (SCIP_VAR *var)
SCIP_Real	SCIPvarGetAggrConstant (SCIP_VAR *var)
int	SCIPvarGetMultaggrNVars (SCIP_VAR *var)
SCIP_VAR **	SCIPvarGetMultaggrVars (SCIP_VAR *var)
SCIP_Real *	SCIPvarGetMultaggrScalars (SCIP_VAR *var)
SCIP_Real	SCIPvarGetMultaggrConstant (SCIP_VAR *var)
SCIP_VAR *	SCIPvarGetNegatedVar (SCIP_VAR *var)
SCIP_VAR *	SCIPvarGetNegationVar (SCIP_VAR *var)
SCIP_Real	SCIPvarGetNegationConstant (SCIP_VAR *var)
SCIP_Real	SCIPvarGetObj (SCIP_VAR *var)
SCIP_Real	SCIPvarGetUnchangedObj (SCIP_VAR *var)
SCIP_Real	SCIPvarGetLbOriginal (SCIP_VAR *var)
SCIP_Real	SCIPvarGetUbOriginal (SCIP_VAR *var)
SCIP_HOLELIST *	SCIPvarGetHolelistOriginal (SCIP_VAR *var)
SCIP_Real	SCIPvarGetLbGlobal (SCIP_VAR *var)
SCIP_Real	SCIPvarGetUbGlobal (SCIP_VAR *var)
SCIP_HOLELIST *	SCIPvarGetHolelistGlobal (SCIP_VAR *var)
SCIP_Real	SCIPvarGetBestBoundGlobal (SCIP_VAR *var)
SCIP_Real	SCIPvarGetWorstBoundGlobal (SCIP_VAR *var)
SCIP_Real	SCIPvarGetLbLocal (SCIP_VAR *var)
SCIP_Real	SCIPvarGetUbLocal (SCIP_VAR *var)
SCIP_HOLELIST *	SCIPvarGetHolelistLocal (SCIP_VAR *var)
SCIP_Real	SCIPvarGetBestBoundLocal (SCIP_VAR *var)
SCIP_Real	SCIPvarGetWorstBoundLocal (SCIP_VAR *var)
SCIP_BOUNDTYPE	SCIPvarGetBestBoundType (SCIP_VAR *var)
SCIP_BOUNDTYPE	SCIPvarGetWorstBoundType (SCIP_VAR *var)
SCIP_Real	SCIPvarGetLbLazy (SCIP_VAR *var)
SCIP_Real	SCIPvarGetUbLazy (SCIP_VAR *var)
SCIP_Real	SCIPvarGetBranchFactor (SCIP_VAR *var)
int	SCIPvarGetBranchPriority (SCIP_VAR *var)
SCIP_BRANCHDIR	SCIPvarGetBranchDirection (SCIP_VAR *var)
int	SCIPvarGetNVlbs (SCIP_VAR *var)
SCIP_VAR **	SCIPvarGetVlbVars (SCIP_VAR *var)
SCIP_Real *	SCIPvarGetVlbCoefs (SCIP_VAR *var)
SCIP_Real *	SCIPvarGetVlbConstants (SCIP_VAR *var)
int	SCIPvarGetNVubs (SCIP_VAR *var)
SCIP_VAR **	SCIPvarGetVubVars (SCIP_VAR *var)
SCIP_Real *	SCIPvarGetVubCoefs (SCIP_VAR *var)
SCIP_Real *	SCIPvarGetVubConstants (SCIP_VAR *var)
int	SCIPvarGetNImpls (SCIP_VAR *var, SCIP_Bool varfixing)
SCIP_VAR **	SCIPvarGetImplVars (SCIP_VAR *var, SCIP_Bool varfixing)
SCIP_BOUNDTYPE *	SCIPvarGetImplTypes (SCIP_VAR *var, SCIP_Bool varfixing)
SCIP_Real *	SCIPvarGetImplBounds (SCIP_VAR *var, SCIP_Bool varfixing)
int *	SCIPvarGetImplIds (SCIP_VAR *var, SCIP_Bool varfixing)
int	SCIPvarGetNCliques (SCIP_VAR *var, SCIP_Bool varfixing)
SCIP_CLIQUE **	SCIPvarGetCliques (SCIP_VAR *var, SCIP_Bool varfixing)
SCIP_Real	SCIPvarGetLPSol (SCIP_VAR *var)
SCIP_Real	SCIPvarGetNLPSol (SCIP_VAR *var)
SCIP_BDCHGINFO *	SCIPvarGetBdchgInfoLb (SCIP_VAR *var, int pos)
int	SCIPvarGetNBdchgInfosLb (SCIP_VAR *var)
SCIP_BDCHGINFO *	SCIPvarGetBdchgInfoUb (SCIP_VAR *var, int pos)
int	SCIPvarGetNBdchgInfosUb (SCIP_VAR *var)
SCIP_VALUEHISTORY *	SCIPvarGetValuehistory (SCIP_VAR *var)
SCIP_Real	SCIPvarGetLPSol_rec (SCIP_VAR *var)
SCIP_Real	SCIPvarGetNLPSol_rec (SCIP_VAR *var)
SCIP_Real	SCIPvarGetPseudoSol (SCIP_VAR *var)
SCIP_Real	SCIPvarGetSol (SCIP_VAR *var, SCIP_Bool getlpval)
SCIP_Real	SCIPvarGetRootSol (SCIP_VAR *var)
SCIP_Real	SCIPvarGetBestRootSol (SCIP_VAR *var)
SCIP_Real	SCIPvarGetBestRootRedcost (SCIP_VAR *var)
SCIP_Real	SCIPvarGetBestRootLPObjval (SCIP_VAR *var)
void	SCIPvarSetBestRootSol (SCIP_VAR *var, SCIP_Real rootsol, SCIP_Real rootredcost, SCIP_Real rootlpobjval)
SCIP_Real	SCIPvarGetAvgSol (SCIP_VAR *var)
SCIP_BDCHGINFO *	SCIPvarGetLbchgInfo (SCIP_VAR *var, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
SCIP_BDCHGINFO *	SCIPvarGetUbchgInfo (SCIP_VAR *var, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
SCIP_BDCHGINFO *	SCIPvarGetBdchgInfo (SCIP_VAR *var, SCIP_BOUNDTYPE boundtype, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
SCIP_Real	SCIPvarGetLbAtIndex (SCIP_VAR *var, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
SCIP_Real	SCIPvarGetUbAtIndex (SCIP_VAR *var, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
SCIP_Real	SCIPvarGetBdAtIndex (SCIP_VAR *var, SCIP_BOUNDTYPE boundtype, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
SCIP_Bool	SCIPvarWasFixedAtIndex (SCIP_VAR *var, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
SCIP_BDCHGIDX *	SCIPvarGetLastBdchgIndex (SCIP_VAR *var)
int	SCIPvarGetLastBdchgDepth (SCIP_VAR *var)
SCIP_Bool	SCIPvarWasFixedEarlier (SCIP_VAR *var1, SCIP_VAR *var2)
SCIP_Bool	SCIPbdchgidxIsEarlier (SCIP_BDCHGIDX *bdchgidx1, SCIP_BDCHGIDX *bdchgidx2)
SCIP_Bool	SCIPbdchgidxIsEarlierNonNull (SCIP_BDCHGIDX *bdchgidx1, SCIP_BDCHGIDX *bdchgidx2)
SCIP_Real	SCIPbdchginfoGetOldbound (SCIP_BDCHGINFO *bdchginfo)
SCIP_Real	SCIPbdchginfoGetNewbound (SCIP_BDCHGINFO *bdchginfo)
SCIP_VAR *	SCIPbdchginfoGetVar (SCIP_BDCHGINFO *bdchginfo)
SCIP_BOUNDCHGTYPE	SCIPbdchginfoGetChgtype (SCIP_BDCHGINFO *bdchginfo)
SCIP_BOUNDTYPE	SCIPbdchginfoGetBoundtype (SCIP_BDCHGINFO *bdchginfo)
int	SCIPbdchginfoGetDepth (SCIP_BDCHGINFO *bdchginfo)
int	SCIPbdchginfoGetPos (SCIP_BDCHGINFO *bdchginfo)
SCIP_BDCHGIDX *	SCIPbdchginfoGetIdx (SCIP_BDCHGINFO *bdchginfo)
SCIP_VAR *	SCIPbdchginfoGetInferVar (SCIP_BDCHGINFO *bdchginfo)
SCIP_CONS *	SCIPbdchginfoGetInferCons (SCIP_BDCHGINFO *bdchginfo)
SCIP_PROP *	SCIPbdchginfoGetInferProp (SCIP_BDCHGINFO *bdchginfo)
int	SCIPbdchginfoGetInferInfo (SCIP_BDCHGINFO *bdchginfo)
SCIP_BOUNDTYPE	SCIPbdchginfoGetInferBoundtype (SCIP_BDCHGINFO *bdchginfo)
SCIP_Bool	SCIPbdchginfoIsRedundant (SCIP_BDCHGINFO *bdchginfo)
SCIP_Bool	SCIPbdchginfoHasInferenceReason (SCIP_BDCHGINFO *bdchginfo)
SCIP_Bool	SCIPbdchginfoIsTighter (SCIP_BDCHGINFO *bdchginfo1, SCIP_BDCHGINFO *bdchginfo2)
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)
int	SCIPdomchgGetNBoundchgs (SCIP_DOMCHG *domchg)
SCIP_BOUNDCHG *	SCIPdomchgGetBoundchg (SCIP_DOMCHG *domchg, int pos)
SCIP_Real	SCIPholelistGetLeft (SCIP_HOLELIST *holelist)
SCIP_Real	SCIPholelistGetRight (SCIP_HOLELIST *holelist)
SCIP_HOLELIST *	SCIPholelistGetNext (SCIP_HOLELIST *holelist)

Function Documentation

int SCIPvarGetNLocksDown

(

SCIP_VAR *

var

)

gets number of locks for rounding down

Parameters

var	problem variable

Definition at line 3149 of file var.c.

References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, SCIP_Var::negatedvar, SCIP_Var::nlocksdown, 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, SCIPvarGetNLocksUp(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Multaggr::vars.

Referenced by addConsToOccurList(), applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), applyProbing(), checkLocksAndRes(), chooseCoefVar(), chooseVeclenVar(), collectCliqueData(), consdataFindUnlockedLinearVar(), createCoveringProblem(), dualPresolve(), dualPresolving(), extractGates(), fixIntegerVariableLb(), isConsIndependently(), multiAggregateBinvar(), performDualfix(), presolComponents(), presolRoundIndicator(), presolveConsEst(), presolveDual(), propIndicator(), removeDoubleAndSingletonsAndPerformDualpresolve(), roundFixingValue(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERWRITE(), SCIPanalyzeDeductionsProbing(), SCIPapplyProbingVar(), SCIPgetVarStrongbranchWithPropagation(), SCIPmakeIndicatorFeasible(), SCIPmatrixCreate(), SCIPmatrixDownlockConflict(), SCIPprintBranchingStatistics(), SCIPsolAdjustImplicitSolVals(), SCIPvarAddLocks(), SCIPvarGetNLocksUp(), SCIPvarMayRoundDown(), selectEssentialRounding(), selectRounding(), selectShifting(), singletonColumnStuffing(), and sortVariables().

int SCIPvarGetNLocksUp

(

SCIP_VAR *

var

)

gets number of locks for rounding up

Parameters

var	problem variable

Definition at line 3204 of file var.c.

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

Referenced by applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), applyProbing(), checkLocksAndRes(), chooseCoefVar(), chooseVeclenVar(), collectCliqueData(), createCoveringProblem(), dualPresolve(), dualPresolving(), extractGates(), fixIntegerVariableUb(), isConsIndependently(), multiAggregateBinvar(), performDualfix(), presolComponents(), presolRoundIndicator(), presolveConsLct(), presolveDual(), propIndicator(), removeDoubleAndSingletonsAndPerformDualpresolve(), roundFixingValue(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERWRITE(), SCIPanalyzeDeductionsProbing(), SCIPapplyProbingVar(), SCIPgetVarStrongbranchWithPropagation(), SCIPmakeIndicatorFeasible(), SCIPmatrixCreate(), SCIPmatrixUplockConflict(), SCIPprintBranchingStatistics(), SCIPsolAdjustImplicitSolVals(), SCIPvarGetNLocksDown(), SCIPvarGetProbvarBinary(), SCIPvarMayRoundUp(), selectEssentialRounding(), selectRounding(), selectShifting(), singletonColumnStuffing(), and sortVariables().

SCIP_Bool SCIPvarMayRoundDown

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 3259 of file var.c.

References SCIP_Bool, SCIPvarGetNLocksDown(), and SCIPvarMayRoundUp().

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

SCIP_Bool SCIPvarMayRoundUp

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 3267 of file var.c.

References SCIPvarGetNLocksUp(), and SCIPvarTransform().

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

int SCIPvarCompareActiveAndNegated	(	SCIP_VAR *	var1,
		SCIP_VAR *	var2
	)

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

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

Parameters

var1	first problem variable
var2	second problem variable

Definition at line 11168 of file var.c.

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

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

SCIP_DECL_SORTPTRCOMP

(

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 11198 of file var.c.

References SCIPvarCompare(), and SCIPvarCompareActiveAndNegated().

Referenced by SCIP_DECL_SORTPTRCOMP(), SCIPvarCompare(), and SCIPvarCompareActiveAndNegated().

int SCIPvarCompare	(	SCIP_VAR *	var1,
		SCIP_VAR *	var2
	)

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

Parameters

var1	first problem variable
var2	second problem variable

Definition at line 11206 of file var.c.

References SCIP_Var::index, NULL, and SCIP_DECL_SORTPTRCOMP().

Referenced by addBilinearTerm(), addBranchingComplementaritiesSOS1(), addLinearCoef(), addQuadVarTerm(), consdataCalcSignatures(), consdataFindQuadVarTerm(), consdataSort(), detectRedundantConstraints(), extractGates(), generateBoundInequalityFromSOS1Nodes(), getBoundConsFromVertices(), nlrowAddLinearCoef(), passConComponentVarbound(), preprocessConstraintPairs(), propVariableNonzero(), removeFixedVariables(), removeRedundantConss(), removeRedundantNonZeros(), replaceQuadVarTermPos(), SCIP_DECL_CONSTRANS(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_SORTINDCOMP(), SCIP_DECL_SORTPTRCOMP(), SCIPvarGetActiveRepresentatives(), SCIPvarsGetActiveVars(), and selectBranchVar().

SCIP_DECL_SORTPTRCOMP

(

SCIPvarComp

)

comparison method for sorting variables by non-decreasing index

Definition at line 11226 of file var.c.

References SCIP_DECL_SORTPTRCOMP(), and SCIPvarCompare().

SCIP_DECL_SORTPTRCOMP

(

SCIPvarCompObj

)

comparison method for sorting variables by non-decreasing objective coefficient

Definition at line 11232 of file var.c.

References SCIP_DECL_HASHGETKEY(), SCIP_Real, and SCIPvarGetObj().

SCIP_DECL_HASHGETKEY

(

SCIPvarGetHashkey

)

hash key retrieval function for variables

Definition at line 11249 of file var.c.

References SCIP_DECL_HASHKEYEQ().

Referenced by SCIP_DECL_SORTPTRCOMP(), and SCIPvarWasFixedEarlier().

SCIP_DECL_HASHKEYEQ

(

SCIPvarIsHashkeyEq

)

returns TRUE iff the indices of both variables are equal

Definition at line 11255 of file var.c.

References FALSE, SCIP_DECL_HASHKEYVAL(), and TRUE.

Referenced by SCIP_DECL_HASHGETKEY().

SCIP_DECL_HASHKEYVAL

(

SCIPvarGetHashkeyVal

)

returns the hash value of the key

Definition at line 11263 of file var.c.

References SCIPvarGetIndex(), and SCIPvarsGetActiveVars().

Referenced by SCIP_DECL_HASHKEYEQ().

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 11461 of file var.c.

References NULL, and SCIPvarGetProbvar().

Referenced by correctConshdlrdata(), SCIP_DECL_CONSINITPRE(), SCIPvarsGetActiveVars(), and updateConsanddataUses().

SCIP_VAR* SCIPvarGetProbvar

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 11481 of file var.c.

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

Referenced by addCoef(), applyFixings(), consdataCreate(), getRandomVariable(), preprocessConstraintPairs(), presolveFindDuplicates(), processWatchedVars(), propagateCons(), readSol(), readXMLSol(), removeFixedVariables(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_CONSINITPRE(), SCIPcreateConsAnd(), SCIPnodePropagateImplics(), SCIPtreeBranchVar(), SCIPtreeBranchVarNary(), SCIPvarGetLastBdchgIndex(), SCIPvarsGetProbvar(), SCIPvarWasFixedEarlier(), tightenBounds(), and updateBestCandidate().

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 11541 of file var.c.

References NULL, SCIP_Bool, SCIP_CALL, SCIP_OKAY, and SCIPvarGetProbvarBinary().

Referenced by GUBsetCalcCliquePartition(), SCIPcalcCliquePartition(), SCIPcliquetableAdd(), SCIPgetBinvarRepresentatives(), and SCIPvarGetProbvar().

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 11573 of file var.c.

References 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_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, SCIPvarGetNLocksUp(), SCIPvarGetProbvarBound(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SCIPvarIsBinary(), SCIP_Original::transvar, TRUE, SCIP_Aggregate::var, and SCIP_Multaggr::vars.

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

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 11728 of file var.c.

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

Referenced by addLocalConss(), addSplitcons(), changeAncestorBranchings(), dryBranch(), fixBounds(), fixInterdiction(), presolRoundIndicator(), removeFixedVariables(), SCIPnodeAddBoundinfer(), SCIPvarAddImplic(), and SCIPvarGetProbvarBinary().

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 11821 of file var.c.

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

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

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 12033 of file var.c.

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

Referenced by collectDualInformation(), countSparseSol(), fixBounds(), getActiveVariables(), getActiveVariables2(), getBinVarsRepresentatives(), getLinearCoeffs(), saveGlobalCons(), saveLocalConssData(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_HEUREXEC(), SCIPapplyHeurDualval(), SCIPcopyConsLinear(), SCIPreoptAddDualBndchg(), SCIPsolGetVal(), SCIPvarGetProbvarSum(), solveSubNLP(), and transformIntoOrig().

SCIP_Bool SCIPvarIsTransformedOrigvar

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 12120 of file var.c.

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

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

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 14903 of file var.c.

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

Referenced by SCIPprintBranchingStatistics(), and SCIPvarIncCutoffSum().

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 14948 of file var.c.

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

Referenced by processWatchedVars(), and SCIPvarGetNBranchings().

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 15175 of file var.c.

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

Referenced by SCIPvarGetVSIDSCurrentRun().

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 15220 of file var.c.

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

Referenced by SCIPvarGetInferenceSum().

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 15375 of file var.c.

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

Referenced by SCIPvarGetAvgInferencesCurrentRun().

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 15418 of file var.c.

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

Referenced by SCIPvarGetCutoffSum().

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 14991 of file var.c.

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

Referenced by SCIPprintBranchingStatistics(), and SCIPvarGetNBranchingsCurrentRun().

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 15036 of file var.c.

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

Referenced by SCIPvarGetAvgBranchdepth().

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 10413 of file var.c.

References SCIP_Var::implics, NULL, SCIP_Bool, SCIPimplicsContainsImpl(), SCIPvarHasBinaryImplic(), SCIPvarIsActive(), and SCIPvarIsBinary().

Referenced by initData(), SCIPvarAddImplic(), SCIPvarHasBinaryImplic(), and SCIPvarsHaveCommonClique().

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 10433 of file var.c.

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

Referenced by SCIPvarHasImplic().

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 10742 of file var.c.

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

Referenced by addCliques(), cliquePresolve(), findFixings(), getMinactImplicObjchg(), GUBsetCalcCliquePartition(), liftCliqueVariables(), removeConstraintsDueToNegCliques(), SCIPcalcCliquePartition(), SCIPhaveVarsCommonClique(), and SCIPvarDelClique().

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 16927 of file var.c.

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

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

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 16530 of file var.c.

References SCIP_Var::initial, NULL, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_ORIGINAL, SCIPvarSetRemovable(), and SCIP_Var::varstatus.

Referenced by SCIPvarSetCopyData().

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 16546 of file var.c.

References NULL, SCIP_Var::removable, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), and SCIP_Var::varstatus.

Referenced by SCIPvarSetInitial().

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 16443 of file var.c.

References SCIP_Var::name, NULL, and SCIPvarGetNUses().

Referenced by addAltLPColumn(), addBilinearTermToCut(), addBoundViolated(), addCand(), addCliques(), addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConflictBinvar(), addConflictBounds(), addIntervalGradientEstimator(), addLinearization(), addLinearTermToCut(), addNode(), addSplitcons(), addVarbound(), adjustOversizedJobBounds(), aggregation(), analyseInfeasibelCoreInsertion(), analyzeEnergyRequirement(), analyzeGenVBoundConflict(), analyzeZeroResultant(), applyAlternativeBoundsBranching(), applyBdchgs(), applyBoundHeur(), applyCliqueFixings(), applyFixings(), applyGenVBound(), applyProbing(), applyVboundsFixings(), boundchgApplyGlobal(), branch(), branchcandCalcLPCands(), branchcandInsertPseudoCand(), branchcandRemovePseudoCand(), calcBranchScore(), calcShiftVal(), changeAncestorBranchings(), checkCons(), checkCumulativeCondition(), checkFactorable(), checkFixedVariables(), checkForOverlapping(), checkSolOrig(), checkSolution(), checkSolveKnapsack(), checkSystemGF2(), checkVarbound(), checkVarnames(), cleanupMIRRow(), cliqueCleanup(), cliquePresolve(), colAddCoef(), collectBinaryCliqueData(), collectBranchingCands(), collectMinactVar(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), collectSolution(), collectThetaSubtree(), colLink(), colUnlink(), computeCut(), computeEnergyContribution(), computeGauge(), computeImpliedEst(), computeImpliedLct(), computeInteriorPoint(), computeReferencePointGauge(), conflictAddBound(), conflictAddConflictBound(), conflictAddConflictCons(), conflictAnalyze(), conflictAnalyzeRemainingBdchgs(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictMarkBoundCheckPresence(), conflictResolveBound(), conflictsetAddBounds(), conflictsetIsRedundant(), consdataCheckSuperindicator(), consdataCollectLinkingCons(), consdataCreate(), consdataCreateBinvars(), consdataDeletePos(), consdataFindUnlockedLinearVar(), consdataFixOperandsOne(), consdataFixResultantZero(), consdataPrint(), constraintNonOverlappingGraph(), constructCompression(), constructSNFRelaxation(), copyAndSolveComponent(), coretimesUpdateLb(), coretimesUpdateUb(), countSparseSol(), createAndAddAndCons(), createConsFromMonomial(), createConstraints(), createCoreProfile(), createCoveringProblem(), createMIP(), createNAryBranch(), createSelectedSortedEventpointsSol(), createSubSCIP(), createTcliqueGraph(), detectDominatingVlbs(), detectDominatingVubs(), detectImpliedBounds(), detectVarboundSOS1(), determineBound(), dfs(), dryBranch(), dualPresolve(), dualPresolving(), ecaggrAddBilinTerm(), enforceConssSOS1(), enforceSOS2(), enforceViolatedFixedNonlinear(), evaluateGauge(), execRelpscost(), filterExistingLP(), findAggregation(), findAndStoreEcAggregations(), findCumulativeConss(), findUncapacitatedArcs(), fixAndPropagate(), fixBounds(), fixDeleteOrUpgradeCons(), fixIntegerVariableLb(), fixIntegerVariableUb(), fixInterdiction(), fixVariable(), fixVariableZeroNode(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorAtBoundary(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateConvexConcaveUnderestimator(), generateCut(), generateEstimatingHyperplane(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateUnderestimatorParallelYFacets(), getConflictImplics(), getFixedVariable(), getGenVBound(), getMaxactImplicObjchg(), GUBsetMoveVar(), handleNewVariableSOS1(), inferboundsEdgeFinding(), initData(), liftCliqueVariables(), lpFlushAddCols(), lpFlushAddRows(), lpRemoveObsoleteCols(), maximalslack(), mcfnetworkFill(), mergeAndCleanQuadVarTerms(), mergeMultiples(), multiAggregateBinvar(), nlpCalcFracVars(), nlpFlushVarAdditions(), nlrowAddLinearCoef(), nlrowAddQuadElement(), nlrowaggrFree(), nlrowRemoveFixedQuadVars(), nodepairqueueCreate(), objimplicsCreate(), optimize(), performAggregations(), performBranching(), performDualfix(), performFixing(), performImplicationGraphAnalysis(), performRandRounding(), performSimpleRounding(), performStrongbranchWithPropagation(), polishSolution(), predBndStr(), preprocessConstraintPairs(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolRoundVarsSOS1(), presolveConsEst(), presolveConsLct(), presolveCreateGlineurApproxDim3(), presolveDisaggregate(), presolveDual(), presolveFindDuplicates(), presolvePropagateCons(), presolveRemoveFixedVariables(), presolveSolve(), presolveTryAddAND(), presolveTryAddLinearReform(), printActiveVariables(), printAggregatedCons(), printBoundSection(), printColumnSection(), printIndicatorCons(), printLinearCons(), printLinearRow(), printNLRow(), printPBRow(), printRow(), printRowNl(), printSOCCons(), printSosCons(), processBinvarFixings(), processFixings(), processIntegerBoundChg(), processNlRow(), processWatchedVars(), propagateBinaryBestRootRedcost(), propagateBounds(), propagateBoundsBilinearTerm(), propagateBoundsQuadVar(), propagateBoundsTightenVar(), propagateBoundsTightenVarLb(), propagateBoundsTightenVarUb(), propagateCons(), propagateCutoffboundVar(), propagateLbTTEF(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateTimetable(), propagateUbTTEF(), propagateVarbounds(), propagateVbounds(), propConsSOS1(), propIndicator(), proposeFeasibleSolution(), propSOS2(), readBinaries(), readBounds(), readCoefficients(), readerdataAddOutputvar(), readGenerals(), readObjective(), readPolynomial(), readQCMatrix(), readQMatrix(), readSemicontinuous(), readSol(), readSOS(), readSos(), readVariables(), readXMLSol(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerBranchingVariables(), relaxVar(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedLinearVariables(), removeFixedNonlinearVariables(), removeFixedVariables(), removeIrrelevantJobs(), removeRedundantNonZeros(), replaceByLinearConstraints(), replaceViolatedByLinearConstraints(), resetVarname(), resolveGenVBoundPropagation(), resolvePropagation(), resolvePropagationCoretimes(), respropCumulativeCondition(), rowAddCoef(), rowFindSlackVar(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_BRANCHEXECPS(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFOLP(), SCIP_DECL_CONSEXIT(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPARSE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRGRAPHVARADDED(), SCIP_DECL_EXPRGRAPHVARREMOVE(), SCIP_DECL_HASHGETKEY(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPRESPROP(), SCIP_DECL_READERWRITE(), SCIP_DECL_SEPAEXECLP(), SCIPaddCoefLinear(), SCIPaddVarSOS1(), SCIPaddVarSOS2(), SCIPanalyzeDeductionsProbing(), SCIPappendVarSOS2(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyProbingVar(), SCIPboundchgApply(), SCIPboundchgUndo(), SCIPbranchcandAddExternCand(), SCIPbranchExecExtern(), SCIPbranchVar(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPcatchVarEvent(), SCIPchgVarType(), SCIPcliqueAddVar(), SCIPcliqueDelVar(), SCIPcliquelistRemoveFromCliques(), SCIPcliquetableAdd(), SCIPcolChgLb(), SCIPcolChgObj(), SCIPcolChgUb(), SCIPcolDelCoef(), SCIPcolGetStrongbranch(), SCIPcomputeConvexEnvelopeFacet(), SCIPconflictAddRelaxedBound(), SCIPconflictAnalyzeStrongbranch(), SCIPconflictIsVarUsed(), SCIPcopyImplicationsCliques(), SCIPcreateConsAnd(), SCIPcreateConsLinking(), SCIPcreateFiniteSolCopy(), SCIPdropVarEvent(), SCIPendStrongbranch(), SCIPeventqueueAdd(), SCIPexprtreePrintWithNames(), SCIPgetVarCopy(), SCIPgetVarsStrongbranchesFrac(), SCIPgetVarsStrongbranchesInt(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchWithPropagation(), SCIPholelistGetNext(), SCIPimplicsAdd(), SCIPimplicsDel(), SCIPincSolVal(), SCIPlpAddCol(), SCIPlpAddRow(), SCIPlpGetSol(), SCIPmatrixGetColName(), SCIPmatrixPrintRow(), SCIPnlpDelVar(), SCIPnlrowDelLinearCoef(), SCIPnlrowPrint(), SCIPnodeAddBoundinfer(), SCIPnodeAddHolechg(), SCIPnodeAddHoleinfer(), SCIPnodePrintAncestorBranchings(), SCIPparseVarsList(), SCIPperformGenericDivingAlgorithm(), SCIPpricestoreAddBdviolvar(), SCIPpricestoreAddProbVars(), SCIPpricestoreAddVar(), SCIPpricestoreApplyVars(), SCIPprimalTransformSol(), SCIPprintBranchingStatistics(), SCIPprintNodeRootPath(), SCIPprobAddVar(), SCIPprobDelVar(), SCIPprobPerformVarDeletions(), SCIPprobPrintPseudoSol(), SCIPprobScaleObj(), SCIPreaderWrite(), SCIPreoptAddDualBndchg(), SCIPresolveSolHeurSubNlp(), SCIProwDelCoef(), SCIProwPrint(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateKnapsackCuts(), SCIPseparateRelaxedKnapsack(), SCIPsetBinaryVarIndicator(), SCIPsetSolVal(), SCIPsetSolVals(), SCIPshrinkDisjunctiveVarSet(), SCIPsolCheck(), SCIPsolIncVal(), SCIPsolPrint(), SCIPsolPrintRay(), SCIPsolSetVal(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPtreeCalcNodeselPriority(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarCopy(), SCIPvarGetImplRedcost(), SCIPvarIncVSIDS(), SCIPvarMultiaggregate(), SCIPvarPrint(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarSetNLPSol(), SCIPvarSetRelaxSol(), SCIPvarUpdateBestRootSol(), SCIPvarUpdatePseudocost(), SCIPvisualCutoffNode(), SCIPvisualizeConsCumulative(), SCIPvisualNewChild(), SCIPvisualSolvedNode(), SCIPvisualUpdateChild(), SCIPwriteCliqueGraph(), SCIPwriteGms(), SCIPwriteLp(), SCIPwriteOpb(), SCIPwritePip(), SCIPwriteVarName(), searchEcAggr(), selectVarMultAggrBranching(), sepaImplBoundCutsSOS1(), separateCuts(), sepastoreApplyLb(), sepastoreApplyUb(), simplifyInequalities(), solUnlinkVar(), solveSubNLP(), sortAndMergeClique(), strengthenVarbounds(), substituteMIRRow(), tightenBounds(), tightenCoefs(), tightenedIntvar(), tightenVarLb(), tightenVarsBoundsSOS1(), tightenVarUb(), tightenWeights(), transformMIRRow(), transformStrongCGRow(), transformVariable(), treeApplyPendingBdchgs(), undoBdchgsDualfarkas(), undoBdchgsDualsol(), undoBdchgsProof(), updateArcData(), updateBestCandidate(), updateConsanddataUses(), updatePseudocost(), upgradeConss(), varAddImplic(), varAddLbchginfo(), varAddUbchginfo(), varAddVbound(), varHasName(), varProcessAddHoleGlobal(), varProcessAddHoleLocal(), varProcessChgLbGlobal(), varProcessChgUbGlobal(), writeFzn(), writeOpbObjective(), writeOpbRelevantAnds(), and ZerohalfAuxGraphFree().

int SCIPvarGetNUses

(

SCIP_VAR *

var

)

gets number of times, the variable is currently captured

Parameters

var	problem variable

Definition at line 16453 of file var.c.

References NULL, SCIP_Var::nuses, and SCIPvarGetData().

Referenced by SCIPvarGetName().

SCIP_VARDATA* SCIPvarGetData

(

SCIP_VAR *

var

)

returns the user data of the variable

Parameters

var	problem variable

Definition at line 16463 of file var.c.

References NULL, SCIPvarSetData(), and SCIP_Var::vardata.

Referenced by SCIPgetObjVardata(), and SCIPvarGetNUses().

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 16473 of file var.c.

References NULL, SCIPvarSetDelorigData(), and SCIP_Var::vardata.

Referenced by SCIPvarGetData().

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 16484 of file var.c.

References NULL, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), and SCIPvarSetTransData().

Referenced by SCIPvarSetData().

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 16496 of file var.c.

References NULL, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), and SCIPvarSetDeltransData().

Referenced by SCIPvarSetDelorigData().

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 16508 of file var.c.

References NULL, and SCIPvarSetCopyData().

Referenced by SCIPvarSetTransData().

void SCIPvarSetCopyData	(	SCIP_VAR *	var,
		SCIP_DECL_VARCOPY((*varcopy))
	)

sets method to copy this variable into sub-SCIPs

Parameters

var	problem variable

Definition at line 16519 of file var.c.

References NULL, and SCIPvarSetInitial().

Referenced by SCIPvarSetDeltransData().

SCIP_VARSTATUS SCIPvarGetStatus

(

SCIP_VAR *

var

)

gets status of variable

Parameters

var	problem variable

Definition at line 16562 of file var.c.

References NULL, SCIP_Bool, SCIPvarIsOriginal(), and SCIP_Var::varstatus.

Referenced by addAltLPConstraint(), addBdchg(), addCliques(), addCoef(), addLocalConss(), addRowToAggregation(), addSplitcons(), addVarbound(), applyFixings(), applyGenVBound(), applyGenVBounds(), binvarGetActiveProbindex(), branchcandCalcLPCands(), calcBranchScore(), calcVarBoundsDominated(), calcVarBoundsDominating(), catchVarEvents(), changeAncestorBranchings(), checkCons(), checkFixedVariables(), checkForOverlapping(), checkSystemGF2(), cleanupHashDatas(), cliqueCleanup(), cliquePresolve(), colCalcInternalFarkasCoef(), colCalcInternalRedcost(), collectAggregatedVars(), computeAlternativeBounds(), computeCut(), conflictAddBound(), conflictAnalyzeRemainingBdchgs(), conflictResolveBound(), consdataCreate(), consdataPrint(), convertToActiveVar(), correctConshdlrdata(), correctPresoldata(), countNonlinearities(), createCGCutCMIR(), createCGCuts(), createCoveringProblem(), createNAryBranch(), createNewSol(), createPresoldata(), dropVarEvents(), enforceConflictgraph(), enforceIndicators(), exitPresolve(), findClosestLb(), findClosestUb(), fixDeleteOrUpgradeCons(), fixVariableZero(), fixVariableZeroNode(), generateCut(), getActiveVar(), getNActiveConsScore(), getRandomVariable(), inferVariableZero(), liftCliqueVariables(), lpFlushAddCols(), lpFlushChgCols(), lpUpdateObjval(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), lpUpdateVarProved(), markNeighborsMWISHeuristic(), mergeMultiples(), nlrowAddToLinearCoef(), nlrowRemoveFixedLinearCoefPos(), nlrowRemoveFixedQuadVars(), optimize(), performRandRounding(), performSimpleRounding(), performStrongbranchSOS1(), preprocessCliques(), presolRoundIndicator(), presolveDual(), presolveFindDuplicates(), presolveRemoveFixedVariables(), printBoundSection(), probInsertVar(), probRemoveVar(), processWatchedVars(), propagateBounds(), propagateBoundsTightenVar(), propagateCons(), propIndicator(), proposeFeasibleSolution(), propVariableNonzero(), readSol(), readXMLSol(), recomputeLooseObjectiveValue(), relaxVar(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedLinearVariables(), removeFixedVariables(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_READERWRITE(), SCIP_DECL_SEPAEXECLP(), SCIPaddPricedVar(), SCIPaddVar(), SCIPaggregateVars(), SCIPboundchgApply(), SCIPboundchgUndo(), SCIPbranchcandAddExternCand(), SCIPbranchcandGetPseudoCands(), SCIPbranchcandUpdateVar(), SCIPchgVarObjProbing(), SCIPcliqueAddVar(), SCIPcliquetableAdd(), SCIPcliquetableCleanup(), SCIPcolCalcFarkasCoef(), SCIPcolCalcRedcost(), SCIPcolChgLb(), SCIPcolChgObj(), SCIPcolChgUb(), SCIPcolFree(), SCIPcolGetStrongbranch(), SCIPcolGetStrongbranches(), SCIPcolInvalidateStrongbranchData(), SCIPcolSetStrongbranchData(), SCIPcomputeVarLbGlobal(), SCIPcomputeVarLbLocal(), SCIPcomputeVarUbGlobal(), SCIPcomputeVarUbLocal(), SCIPconflictAddBound(), SCIPconflictAddRelaxedBound(), SCIPconflictIsVarUsed(), SCIPcreateFiniteSolCopy(), SCIPdelVar(), SCIPdomchgAddBoundchg(), SCIPeventCreateImplAdded(), SCIPeventCreateVarFixed(), SCIPeventCreateVarUnlocked(), SCIPeventProcess(), SCIPexprtreeRemoveFixedVars(), SCIPfixVar(), SCIPgetVarCopy(), SCIPgetVarFarkasCoef(), SCIPgetVarImplRedcost(), SCIPgetVarMultaggrLbGlobal(), SCIPgetVarMultaggrLbLocal(), SCIPgetVarMultaggrUbGlobal(), SCIPgetVarMultaggrUbLocal(), SCIPgetVarNStrongbranchs(), SCIPgetVarRedcost(), SCIPgetVarsStrongbranchesFrac(), SCIPgetVarsStrongbranchesInt(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPgetVarStrongbranchLast(), SCIPgetVarStrongbranchLPAge(), SCIPgetVarStrongbranchNode(), SCIPgetVarStrongbranchWithPropagation(), 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(), SCIProwCalcIntegralScalar(), SCIProwPrint(), SCIProwRecalcPseudoActivity(), SCIPsolAdjustImplicitSolVals(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolRound(), SCIPsolSetVal(), SCIPsolUpdateVarObj(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPvarAddClique(), SCIPvarAddCliqueToList(), SCIPvarAddHoleGlobal(), SCIPvarAddHoleLocal(), SCIPvarAddHoleOriginal(), SCIPvarAddImplic(), SCIPvarAddLocks(), SCIPvarAddObj(), SCIPvarAddToRow(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarAggregate(), SCIPvarChgBranchDirection(), SCIPvarChgBranchFactor(), SCIPvarChgBranchPriority(), SCIPvarChgLbDive(), SCIPvarChgLbGlobal(), SCIPvarChgLbLazy(), SCIPvarChgLbLocal(), SCIPvarChgLbOriginal(), SCIPvarChgObj(), SCIPvarChgObjDive(), SCIPvarChgUbDive(), SCIPvarChgUbGlobal(), SCIPvarChgUbLazy(), SCIPvarChgUbLocal(), SCIPvarChgUbOriginal(), SCIPvarColumn(), SCIPvarCompareActiveAndNegated(), SCIPvarCopy(), SCIPvarDelClique(), SCIPvarDoNotMultaggr(), SCIPvarFix(), SCIPvarFlattenAggregationGraph(), SCIPvarGetActiveRepresentatives(), SCIPvarGetAggrConstant(), SCIPvarGetAggregatedObj(), SCIPvarGetAggrScalar(), SCIPvarGetAggrVar(), SCIPvarGetAvgBranchdepth(), SCIPvarGetAvgBranchdepthCurrentRun(), SCIPvarGetAvgConflictlength(), SCIPvarGetAvgConflictlengthCurrentRun(), SCIPvarGetAvgCutoffs(), SCIPvarGetAvgCutoffsCurrentRun(), SCIPvarGetAvgInferences(), SCIPvarGetAvgInferencesCurrentRun(), SCIPvarGetAvgSol(), SCIPvarGetBestRootLPObjval(), SCIPvarGetBestRootRedcost(), SCIPvarGetBestRootSol(), SCIPvarGetCol(), SCIPvarGetCutoffSum(), SCIPvarGetCutoffSumCurrentRun(), SCIPvarGetHolelistOriginal(), SCIPvarGetImplRedcost(), SCIPvarGetInferenceSum(), SCIPvarGetInferenceSumCurrentRun(), SCIPvarGetLastBdchgIndex(), SCIPvarGetLbAtIndex(), SCIPvarGetLbLP(), SCIPvarGetLbOriginal(), SCIPvarGetLPSol(), SCIPvarGetLPSol_rec(), SCIPvarGetMultaggrConstant(), SCIPvarGetMultaggrLbGlobal(), SCIPvarGetMultaggrLbLocal(), SCIPvarGetMultaggrNVars(), SCIPvarGetMultaggrScalars(), SCIPvarGetMultaggrUbGlobal(), SCIPvarGetMultaggrUbLocal(), SCIPvarGetMultaggrVars(), SCIPvarGetNActiveConflicts(), SCIPvarGetNActiveConflictsCurrentRun(), SCIPvarGetNBranchings(), SCIPvarGetNBranchingsCurrentRun(), SCIPvarGetNegationConstant(), SCIPvarGetNegationVar(), SCIPvarGetNLocksDown(), SCIPvarGetNLocksUp(), SCIPvarGetNLPSol(), SCIPvarGetNLPSol_rec(), SCIPvarGetObjLP(), SCIPvarGetOrigvarSum(), SCIPvarGetProbvar(), SCIPvarGetProbvarBinary(), SCIPvarGetProbvarBound(), SCIPvarGetProbvarHole(), SCIPvarGetProbvarSum(), SCIPvarGetPseudocost(), SCIPvarGetPseudocostCount(), SCIPvarGetPseudocostCountCurrentRun(), SCIPvarGetPseudocostCurrentRun(), SCIPvarGetPseudocostVariance(), SCIPvarGetPseudoSol(), SCIPvarGetPseudoSol_rec(), SCIPvarGetRedcost(), SCIPvarGetRelaxSol(), SCIPvarGetRelaxSolTransVar(), SCIPvarGetRootSol(), SCIPvarGetTransformed(), SCIPvarGetTransVar(), SCIPvarGetUbAtIndex(), SCIPvarGetUbLP(), SCIPvarGetUbOriginal(), SCIPvarGetVSIDS(), SCIPvarGetVSIDS_rec(), SCIPvarGetVSIDSCurrentRun(), SCIPvarIncCutoffSum(), SCIPvarIncInferenceSum(), SCIPvarIncNActiveConflicts(), SCIPvarIncNBranchings(), SCIPvarIncVSIDS(), SCIPvarIsInLP(), SCIPvarIsNegated(), SCIPvarIsOriginal(), SCIPvarIsTransformed(), SCIPvarIsTransformedOrigvar(), SCIPvarLoose(), SCIPvarMarkDoNotMultaggr(), SCIPvarMultiaggregate(), SCIPvarNegate(), SCIPvarPrint(), SCIPvarRemove(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarsAddClique(), SCIPvarScaleVSIDS(), SCIPvarSetDelorigData(), SCIPvarSetNLPSol(), SCIPvarSetRelaxSol(), SCIPvarSetRemovable(), SCIPvarSetTransData(), SCIPvarsGetActiveVars(), SCIPvarTransform(), SCIPvarTryAggregateVars(), SCIPvarUpdatePseudocost(), SCIPvarWasFixedEarlier(), SCIPvboundsAdd(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), selectVarMultAggrBranching(), shortenConss(), solUnlinkVar(), solveLp(), sortAndMergeClique(), substituteMIRRow(), substituteStrongCGRow(), tightenVarsBoundsSOS1(), tryAggregateIntVars(), undoBdchgsDualfarkas(), undoBdchgsDualsol(), updateBestCandidate(), updateConsanddataUses(), varAddImplic(), varAddParent(), varAddTransitiveImplic(), varEventGlbChanged(), varEventGubChanged(), varEventLbChanged(), varEventObjChanged(), varEventUbChanged(), varEventVarFixed(), varFree(), varFreeParents(), varGetActiveVar(), varGetObjDelta(), varMayRoundDown(), varMayRoundUp(), varProcessAddHoleGlobal(), varProcessAddHoleLocal(), varProcessChgBranchDirection(), varProcessChgBranchFactor(), varProcessChgBranchPriority(), varProcessChgLbGlobal(), varProcessChgLbLocal(), varProcessChgUbGlobal(), varProcessChgUbLocal(), varSetProbindex(), writeOpbConstraints(), and writeOpbObjective().

SCIP_Bool SCIPvarIsOriginal

(

SCIP_VAR *

var

)

returns whether the variable belongs to the original problem

Parameters

var	problem variable

Definition at line 16572 of file var.c.

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

Referenced by addLocalConss(), addSplitcons(), changeAncestorBranchings(), collectDualInformation(), consdataFree(), createAndAddAndCons(), fixBounds(), reoptSaveNewObj(), reoptSimilarity(), saveLocalConssData(), SCIPcatchVarEvent(), SCIPchgBilinCoefQuadratic(), SCIPchgCoefLinear(), SCIPchgLinearCoefQuadratic(), SCIPchgSquareCoefQuadratic(), SCIPcopyConsLinear(), SCIPdropVarEvent(), SCIPgetReoptOldObjCoef(), SCIPreoptAddDualBndchg(), SCIPvarGetHolelistOriginal(), SCIPvarGetLbOriginal(), SCIPvarGetOrigvarSum(), SCIPvarGetStatus(), SCIPvarGetUbOriginal(), SCIPvarResetBounds(), and transformIntoOrig().

SCIP_Bool SCIPvarIsTransformed

(

SCIP_VAR *

var

)

returns whether the variable belongs to the transformed problem

Parameters

var	problem variable

Definition at line 16585 of file var.c.

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

Referenced by addCoef(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addLinearCoef(), addLocalConss(), addQuadVarTerm(), addSplitcons(), addVarSOS1(), addVarSOS2(), appendVarSOS1(), appendVarSOS2(), changeAncestorBranchings(), chgLinearCoefPos(), delCoefPos(), nlpAddVars(), SCIP_DECL_CONSDELETE(), SCIP_DECL_CONSINIT(), SCIPaddVarLocks(), SCIPaddVarObj(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarObj(), SCIPchgVarType(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPcreateConsSOS1(), SCIPgetReoptOldObjCoef(), SCIPgetTransformedVar(), SCIPgetTransformedVars(), SCIPincSolVal(), SCIPinferBinvarCons(), SCIPinferBinvarProp(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPlockVarCons(), SCIPnlpAddVar(), SCIPreleaseVar(), SCIPsetSolVal(), SCIPsetSolVals(), SCIPsolGetVal(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtransformVar(), SCIPtransformVars(), SCIPunlockVarCons(), SCIPvarAddHoleOriginal(), SCIPvarCatchEvent(), SCIPvarChgLbOriginal(), SCIPvarChgUbOriginal(), SCIPvarDropEvent(), SCIPvarIsOriginal(), SCIPvarIsTransformedOrigvar(), SCIPvarNegate(), SCIPvarPrint(), SCIPvarRemove(), setIntvar(), solUnlinkVar(), tightenBounds(), transformToOrig(), varEnsureLbchginfosSize(), varEnsureUbchginfosSize(), varEventGholeAdded(), varEventGlbChanged(), varEventGubChanged(), varEventLbChanged(), varEventObjChanged(), varEventUbChanged(), varIncRootboundchgs(), varProcessAddHoleGlobal(), varProcessAddHoleLocal(), varProcessChgLbGlobal(), varProcessChgLbLocal(), varProcessChgUbGlobal(), and varProcessChgUbLocal().

SCIP_Bool SCIPvarIsNegated

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 16598 of file var.c.

References NULL, SCIP_VARSTATUS_NEGATED, SCIPvarGetStatus(), and SCIPvarGetType().

Referenced by addCliqueDataEntry(), addCliques(), addLocalConss(), addSplitcons(), applyFixings(), binvarGetActiveProbindex(), checkOrigPbCons(), checkSolution(), checkSystemGF2(), collectCliqueData(), computeRanks(), createCoveringProblem(), createSubSCIP(), extractGates(), findAggregation(), getLinVarsAndAndRess(), mergeMultiples(), preprocessCliques(), presolRoundIndicator(), printIndicatorCons(), printNLRow(), printPBRow(), printRow(), removeConstraintsDueToNegCliques(), saveLocalConssData(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_READERWRITE(), SCIPapplyHeurDualval(), SCIPchgVarType(), SCIPgetReoptOldObjCoef(), SCIPvarIsTransformed(), SCIPwriteLp(), SCIPwriteVarName(), setObjective(), tryUpgradingXor(), varGetObjDelta(), writeOpbObjective(), and writeOpbRelevantAnds().

SCIP_VARTYPE SCIPvarGetType

(

SCIP_VAR *

var

)

gets type of variable

Parameters

var	problem variable

Definition at line 16608 of file var.c.

References NULL, SCIP_Bool, SCIPvarIsBinary(), and SCIP_Var::vartype.

Referenced by addLinearConstraints(), addLocalBranchingConstraint(), addRelaxation(), addVarboundConstraints(), applyBoundHeur(), applyFixings(), applyVboundsFixings(), branchcandCalcLPCands(), branchcandInsertPseudoCand(), branchcandRemovePseudoCand(), calcBranchScore(), calcColActivity(), calcColActResidualCommon(), calcColActResidualExplicitBound(), checkCons(), checkRedundancy(), checkRedundancySide(), checkSystemGF2(), checkVarbound(), chooseVeclenVar(), colIsDiscrete(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), conflictAddBound(), conflictAnalyzeRemainingBdchgs(), conflictResolveBound(), consdataCreate(), consdataPrint(), constructSNFRelaxation(), copyVars(), countSparseSol(), createSubproblem(), CUTOFF_CONSTRAINT(), dfs(), domchgMakeDynamic(), dualBoundStrengthening(), extractCapacityRows(), extractFlowRows(), findBestLb(), findBestUb(), findClosestLb(), findClosestUb(), findFixings(), findVarAggrRedVbcons(), fixAndPropagate(), forbidFixation(), generateCutConvex(), generateCutNonConvex(), getBinVarIdxInDownlockRow(), getBinVarIdxInUplockRow(), getBounddist(), getMinColActWithoutBound(), getMinColActWithoutRow(), getMultiaggVars(), initData(), isBoundchgUseless(), isPseudocostUpdateValid(), isVlb(), isVub(), mcfnetworkExtract(), mergeMultiples(), nlpCalcFracVars(), optimize(), predBndStr(), presolComponents(), presolveDual(), presolveTryAddLinearReform(), presolveUpgrade(), prettifyConss(), printBoundSection(), printColumnSection(), printLinearCons(), probInsertVar(), probRemoveVar(), readBounds(), readIndicators(), registerBranchingCandidates(), removeDoubleAndSingletonsAndPerformDualpresolve(), resolvePropagation(), roundStrongCGRow(), rowCalculateGauss(), rowFindSlackVar(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSINIT(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EVENTEXITSOL(), SCIP_DECL_EVENTINITSOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERWRITE(), SCIP_DECL_SEPAEXECLP(), SCIP_DECL_SORTPTRCOMP(), SCIPaddVarImplication(), SCIPaddVarIndicator(), SCIPaddVarVlb(), SCIPaddVarVub(), SCIPanalyzeDeductionsProbing(), SCIPbranchcandAddExternCand(), SCIPbranchcandContainsExternCand(), SCIPbranchcandGetPseudoCands(), SCIPbranchcandUpdateVar(), SCIPbranchExecLP(), SCIPbranchExecPseudo(), SCIPbranchGetBranchingPoint(), SCIPbranchVar(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPchgVarType(), SCIPcliquetableCleanup(), SCIPcreateConsAnd(), SCIPcreateConsIndicator(), SCIPcreateConsIndicatorLinCons(), SCIPcreateConsOrbitope(), SCIPcutGenerationHeuristicCmir(), SCIPdomchgAddBoundchg(), SCIPdomchgMakeStatic(), SCIPfixVar(), SCIPnlpHasContinuousNonlinearity(), SCIPprobCheckObjIntegral(), SCIPprobChgVarType(), SCIPsetBinaryVarIndicator(), SCIPsetLinearConsIndicator(), SCIPshrinkDisjunctiveVarSet(), SCIPsolAdjustImplicitSolVals(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPtreeCalcChildEstimate(), SCIPvarAddHoleGlobal(), SCIPvarAddHoleLocal(), SCIPvarAddHoleOriginal(), SCIPvarAddImplic(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarAdjustLb(), SCIPvarAdjustUb(), SCIPvarAggregate(), SCIPvarChgLbGlobal(), SCIPvarChgLbLocal(), SCIPvarChgLbOriginal(), SCIPvarChgType(), SCIPvarChgUbGlobal(), SCIPvarChgUbLocal(), SCIPvarChgUbOriginal(), SCIPvarCopy(), SCIPvarFix(), SCIPvarIsBinary(), SCIPvarIsIntegral(), SCIPvarIsNegated(), SCIPvarNegate(), SCIPvarPrint(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarTransform(), SCIPvarTryAggregateVars(), SCIPvboundsAdd(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), SCIPwriteVarName(), selectEssentialRounding(), selectRounding(), selectShifting(), selectVarMultAggrBranching(), separateCons(), separateCuts(), separateGLS(), separateHeur(), singletonColumnStuffing(), splitProblem(), tcliquegraphAddNode(), tcliquegraphConstructCliqueTable(), tightenBounds(), tightenCoefs(), tightenSides(), transformMIRRow(), transformStrongCGRow(), tryAggregateIntVars(), updateActivities(), updateBestCandidate(), updatePseudocost(), useValuehistory(), varAddImplic(), varAddLbchginfo(), varAddTransitiveImplic(), varAddUbchginfo(), varIsDiscrete(), varIsUnfixedLocal(), varProcessAddHoleGlobal(), varProcessAddHoleLocal(), varProcessBoundChanges(), varProcessChgLbGlobal(), varProcessChgLbLocal(), varProcessChgUbGlobal(), varProcessChgUbLocal(), writeFzn(), and writeOpbConstraints().

SCIP_Bool SCIPvarIsBinary

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 16623 of file var.c.

References SCIP_Var::glbdom, SCIP_Var::lazylb, SCIP_Var::lazyub, SCIP_Dom::lb, MAX, MIN, NULL, SCIP_Bool, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_CONTINUOUS, SCIPvarGetType(), SCIPvarIsIntegral(), and SCIP_Dom::ub.

Referenced by addCand(), addConflictBinvar(), adjustCutoffbound(), analyzeStrongbranch(), applyFixings(), applyProbing(), bdchginfoIsInvalid(), binvarGetActiveProbindex(), calcBranchScore(), calcPscostQuot(), calculateAlternatives(), checkCons(), checkCurvature(), checkLogicor(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), collectBinaryCliqueData(), collectMaxactVar(), collectMinactImplicVars(), collectMinactObjchg(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), conflictQueueBound(), consdataCreate(), constructSNFRelaxation(), createConflict(), createSolFromSubScipSol(), CUTOFF_CONSTRAINT(), detectImpliedBounds(), enforceConflictgraph(), enforceConssSOS1(), findFixings(), getBoundsForSubstitution(), getClosestVlb(), getClosestVub(), getConflictImplics(), getCover(), getFixedVariable(), getImpliedBounds(), getMaxactImplicObjchg(), getMaxactObjchg(), getMinactImplicObjchg(), getMinactObjchg(), mergeAndCleanQuadVarTerms(), mergeMultiples(), objimplicsCreate(), predBndStr(), preprocessConstraintPairs(), presolRoundConsSOS1(), presolveDisaggregate(), presolveSolve(), presolveTryAddAND(), presolveTryAddLinearReform(), printIndicatorCons(), processBinvarFixings(), propagateCutoffboundBinvar(), propagateLowerboundBinvar(), propagateVarbounds(), propagateVbounds(), propdataInit(), registerBranchingCandidatesGap(), removeDoubleAndSingletonsAndPerformDualpresolve(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCHECK(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPRESPROP(), SCIPaddConflictBinvar(), SCIPaddVarImplication(), SCIPanalyzeDeductionsProbing(), SCIPapplyHeurDualval(), SCIPapplyProximity(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPcliqueAddVar(), SCIPcliqueDelVar(), SCIPcliquelistRemoveFromCliques(), SCIPcliquetableAdd(), SCIPdomchgAddBoundchg(), SCIPhaveVarsCommonClique(), SCIPinferBinvarCons(), SCIPinferBinvarProp(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPnodePropagateImplics(), SCIPprobGetNImplBinVars(), SCIPprobUpdateBestRootSol(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPvarAddClique(), SCIPvarAddCliqueToList(), SCIPvarAddImplic(), SCIPvarAddVub(), SCIPvarAggregate(), SCIPvarDelClique(), SCIPvarDelCliqueFromList(), SCIPvarGetImplRedcost(), SCIPvarGetProbvarBinary(), SCIPvarGetType(), SCIPvarHasBinaryImplic(), SCIPvarHasImplic(), SCIPvarNegate(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarsAddClique(), SCIPvarsHaveCommonClique(), SCIPvarTryAggregateVars(), SCIPvarWasFixedAtIndex(), SCIPvarWasFixedEarlier(), separateGLS(), separateHeur(), sortAndMergeClique(), sortVariables(), tightenCoefs(), upgradeCons(), upgradeConss(), varAddImplic(), varAddLbchginfo(), varAddUbchginfo(), and varGetObjDelta().

SCIP_Bool SCIPvarIsIntegral

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 16634 of file var.c.

References NULL, SCIP_Bool, SCIP_VARTYPE_CONTINUOUS, SCIPvarGetType(), and SCIPvarIsInitial().

Referenced by addBilinearTermToCut(), addVarbound(), adjustCutoffbound(), aggregation(), analyzeConflict(), analyzeConflictLowerbound(), analyzeConflictUpperbound(), calculateAlternatives(), checkKnapsack(), computeCut(), computeFixingOrder(), computeRelaxedLowerbound(), computeRelaxedUpperbound(), conflictAddConflictCons(), conflictCreateReconvergenceConss(), createCGCutCMIR(), createNewSol(), createSubSCIP(), detectImpliedBounds(), determineBound(), enforceConflictgraph(), fixAndPropagate(), generateClusterCuts(), nodepartitionIsConnected(), performFixing(), performStrongbranchSOS1(), polishSolution(), propagateLowerboundVar(), propagateRedcostVar(), propIndicator(), proposeFeasibleSolution(), readIndicators(), registerBranchingCandidatesGap(), resolveGenVBoundPropagation(), resolvePropagation(), roundMIRRow(), roundStrongCGRow(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPaddVarIndicator(), SCIPboundchgApply(), SCIPcolCreate(), SCIPcolGetStrongbranch(), SCIPcolGetStrongbranches(), SCIPcolInvalidateStrongbranchData(), SCIPcolIsIntegral(), SCIPcolSetStrongbranchData(), SCIPcreateConsIndicator(), SCIPcutGenerationHeuristicCmir(), SCIPgetVarStrongbranchWithPropagation(), SCIPlpAddCol(), SCIPlpWriteMip(), SCIProwCreate(), SCIPtreeBranchVarHole(), SCIPvarAddVlb(), SCIPvarIsBinary(), selectShifting(), soltreeAddSol(), tightenVarLb(), tightenVarsBoundsSOS1(), tightenVarUb(), transformVariable(), updateArcData(), updateNActiveConts(), varIncRootboundchgs(), and varIsDiscrete().

SCIP_Bool SCIPvarIsInitial

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 16644 of file var.c.

References SCIP_Var::initial, NULL, SCIP_Bool, and SCIPvarIsRemovable().

Referenced by applyFixings(), initLP(), presolveTryAddAND(), presolveTryAddLinearReform(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPvarCopy(), SCIPvarIsIntegral(), tightenCoefs(), and tryAggregateIntVars().

SCIP_Bool SCIPvarIsRemovable

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 16654 of file var.c.

References NULL, SCIP_Var::removable, SCIP_Bool, and SCIPvarIsDeleted().

Referenced by applyFixings(), presolveTryAddAND(), presolveTryAddLinearReform(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIPvarCopy(), SCIPvarIsInitial(), tightenCoefs(), and tryAggregateIntVars().

SCIP_Bool SCIPvarIsDeleted

(

SCIP_VAR *

var

)

returns whether the variable was deleted from the problem

Parameters

var	problem variable

Definition at line 16664 of file var.c.

References SCIP_Var::deleted, NULL, and SCIPvarMarkDeletable().

Referenced by applyProbing(), performDualfix(), performVarDeletions(), SCIP_DECL_PRESOLEXEC(), and SCIPvarIsRemovable().

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 16676 of file var.c.

References SCIP_Var::deletable, NULL, SCIP_Var::probindex, SCIPvarMarkNotDeletable(), and TRUE.

Referenced by SCIPvarIsDeleted().

void SCIPvarMarkNotDeletable

(

SCIP_VAR *

var

)

marks the variable to be not deletable from the problem

Definition at line 16687 of file var.c.

References SCIP_Var::deletable, FALSE, NULL, and SCIPvarMarkDeleteGlobalStructures().

Referenced by focusnodeCleanupVars(), SCIPvarAggregate(), SCIPvarMarkDeletable(), SCIPvarMultiaggregate(), SCIPvarNegate(), solIncArrayVal(), and solSetArrayVal().

SCIP_Bool SCIPvarIsDeletable

(

SCIP_VAR *

var

)

returns whether variable is allowed to be deleted completely from the problem

Definition at line 16720 of file var.c.

References SCIP_Var::deletable, NULL, SCIP_Bool, and SCIPvarIsActive().

Referenced by focusnodeCleanupVars(), and SCIPvarIsMarkedDeleteGlobalStructures().

SCIP_Bool SCIPvarIsActive

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 16730 of file var.c.

References NULL, SCIP_Var::probindex, and SCIPvarGetIndex().

Referenced by addCliqueDataEntry(), addCliques(), addConsToOccurList(), addLinearCoef(), addQuadVarTerm(), addVarbound(), applyFixings(), applyProbing(), binvarGetActiveProbindex(), branchruledataEnsureArraySize(), catchVarEvents(), checkFixedVariables(), checkForOverlapping(), checkLocksAndRes(), checkSystemGF2(), cliqueCheck(), cliquePresolve(), collectCliqueData(), conflictAddBound(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictResolveBound(), createCoveringProblem(), createNAryBranch(), createSolFromNLP(), createSolFromSubScipSol(), createSubSCIP(), dfs(), dualPresolving(), extractGates(), findAggregation(), freeSubSCIP(), getActiveVar(), getClosestVlb(), getClosestVub(), getImpliedBounds(), getLinVarsAndAndRess(), getMaxactImplicObjchg(), getRandomVariable(), GUBsetCalcCliquePartition(), heurdataEnsureArraySize(), initData(), initTCliquegraph(), isGAMSprintableSOC(), liftCliqueVariables(), mergeMultiples(), nlpAddVars(), nlpRemoveFixedVar(), nlpSetupNlpiIndices(), nlrowAddLinearCoef(), nlrowAddToLinearCoef(), nlrowExprtreeChanged(), nlrowRemoveFixedLinearCoefPos(), nlrowRemoveFixedQuadVars(), nlrowRemoveFixedVar(), preprocessCliques(), preprocessConstraintPairs(), presolRoundIndicator(), presolveDisaggregate(), presolveRemoveFixedVariables(), propagateCons(), propagateVbounds(), removeConstraintsDueToNegCliques(), removeFixedLinearVariables(), removeFixedNonlinearVariables(), removeFixedVariables(), reoptSaveNewObj(), reoptSimilarity(), replaceQuadVarTermPos(), resolvePropagationCoretimes(), roundMIRRow(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_CONSACTIVE(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSEXITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EXPRGRAPHVARADDED(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_SEPAEXECLP(), SCIPcalcCliquePartition(), SCIPconflictAddBound(), SCIPconflictAddRelaxedBound(), SCIPconflictIsVarUsed(), SCIPcreateConsAbspower(), SCIPcutGenerationHeuristicCmir(), SCIPexprtreeRemoveFixedVars(), SCIPgetReoptOldObjCoef(), SCIPhaveVarsCommonClique(), SCIPimplicsAdd(), SCIPnlrowAddLinearCoef(), SCIPnlrowAddQuadVar(), SCIPnlrowDelLinearCoef(), SCIPprimalTransformSol(), SCIPseparateRelaxedKnapsack(), SCIPsolLinkNLPSol(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPvarAddImplic(), SCIPvarAddObj(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarChgObj(), SCIPvarCompareActiveAndNegated(), SCIPvarGetClosestVlb(), SCIPvarGetClosestVub(), SCIPvarGetImplBounds(), SCIPvarGetImplIds(), SCIPvarGetImplRedcost(), SCIPvarGetImplTypes(), SCIPvarGetImplVars(), SCIPvarGetLastBdchgIndex(), SCIPvarGetLbchgInfo(), SCIPvarGetNImpls(), SCIPvarGetUbchgInfo(), SCIPvarHasImplic(), SCIPvarIsDeletable(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarsHaveCommonClique(), SCIPvarWasFixedEarlier(), SCIPwriteGms(), shortenConss(), sortVariables(), tcliquegraphAddNode(), tightenBounds(), transformMIRRow(), transformStrongCGRow(), tryUpgradingXor(), updateBestCandidate(), varAddImplic(), varAddTransitiveBinaryClosureImplic(), varAddTransitiveImplic(), varIncRootboundchgs(), varMayRoundDown(), varMayRoundUp(), and writeOpbRelevantAnds().

int SCIPvarGetIndex

(

SCIP_VAR *

var

)

gets unique index of variable

Parameters

var	problem variable

Definition at line 16740 of file var.c.

References SCIP_Var::index, NULL, and SCIPvarGetProbindex().

Referenced by applyProbing(), calcSignature(), checkForOverlapping(), cliqueCheck(), computeConsAndDataChanges(), conflictsetAddBound(), conflictsetAddBounds(), consdataCalcSignature(), correctLocksAndCaptures(), correctPresoldata(), createPresoldata(), createTcliqueGraph(), evaluateAggrCand(), evaluateValueCand(), extractGates(), getHashmapKey(), getLinVarsAndAndRess(), initConflictgraph(), liftCliqueVariables(), printNLRow(), propagateCons(), removeRedundantConstraints(), SCIP_DECL_CONSINIT(), SCIP_DECL_HASHKEYEQ(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPcliqueSearchVar(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolRound(), SCIPsolSetVal(), SCIPvarCompareActiveAndNegated(), SCIPvarIsActive(), solGetArrayVal(), solIncArrayVal(), solSetArrayVal(), solUnlinkVar(), sortVariables(), tryUpgradingLogicor(), tryUpgradingSetppc(), tryUpgradingXor(), and writeOpbObjective().

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 16750 of file var.c.

References NULL, SCIP_Var::probindex, and SCIPvarGetTransVar().

Referenced by addGLSCliques(), addNextLevelCliques(), addRow(), addRowToAggregation(), aggregation(), binvarGetActiveProbindex(), branchruledataAddBoundChangeVar(), branchruledataEnsureArraySize(), branchruledataPopBoundChangeVar(), branchruledataUpdateCurrentBounds(), calcSignature(), checkRedundancy(), collectBinaryCliqueData(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), computeAlternativeBounds(), computeCut(), constructCompression(), constructSNFRelaxation(), createCGCutDirect(), createCoveringProblem(), createEdgesFromRow(), createRows(), createSubproblem(), createSubSCIP(), createTcliqueGraph(), createZerohalfCutFromZerohalfWeightvector(), detectImpliedBounds(), dfs(), execRelpscost(), fillDigraph(), findBestLb(), findBestUb(), forbidFixation(), freeMemory(), freeSubSCIP(), generateAverageNBRay(), getBounddist(), getBoundsForSubstitution(), getClosestVlb(), getClosestVub(), getMaxactImplicObjchg(), getNodeIdx(), heurdataAddBoundChangeVar(), heurdataEnsureArraySize(), heurdataFreeArrays(), heurdataPopBoundChangeVar(), heurdataUpdateCurrentBounds(), initLP(), insertSortedRootNeighbors(), isNeighbor(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), lpUpdateVarProved(), mergeMultiples(), printLinearCons(), printRow(), probInsertVar(), probRemoveVar(), processNlRow(), reoptCheckLocalRestart(), reoptSaveNewObj(), reoptSimilarity(), roundMIRRow(), roundStrongCGRow(), rowAddCoef(), rowCalculateGauss(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HASHKEYVAL(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SORTPTRCOMP(), SCIPaddPricedVar(), SCIPaddVar(), SCIPapplyHeurSubNlp(), SCIPchgVarName(), SCIPchgVarType(), SCIPcolCreate(), SCIPcutGenerationHeuristicCmir(), SCIPeventProcess(), SCIPgetReoptOldObjCoef(), SCIPlpGetPrimalRay(), SCIPlpSumRows(), SCIPlpUpdateAddVar(), SCIPlpUpdateDelVar(), SCIPlpUpdateVarLb(), SCIPlpUpdateVarObj(), SCIPlpUpdateVarUb(), SCIPpricestoreApplyVars(), SCIPprimalTransformSol(), SCIPprobAddVar(), SCIPprobAddVarName(), SCIPprobChgVarType(), SCIPprobDelVar(), SCIPprobFree(), SCIPprobPerformVarDeletions(), SCIPprobVarChangedStatus(), SCIPresolveSolHeurSubNlp(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPsolRetransform(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPvarGetImplRedcost(), SCIPvarGetIndex(), SCIPvarRemove(), SCIPwriteCliqueGraph(), selectShifting(), separateCuts(), separateGLS(), separateHeur(), solveSubNLP(), substituteMIRRow(), substituteStrongCGRow(), transformMIRRow(), transformStrongCGRow(), undoBdchgsDualfarkas(), undoBdchgsDualsol(), undoBdchgsProof(), updateNActiveConts(), and varProcessBoundChanges().

SCIP_VAR* SCIPvarGetTransVar

(

SCIP_VAR *

var

)

gets transformed variable of ORIGINAL variable

Parameters

var	problem variable

Definition at line 16760 of file var.c.

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

Referenced by computeRanks(), createSolFromNLP(), createSolFromSubScipSol(), createSubSCIP(), fixDiscreteVars(), freeTransform(), SCIPapplyHeurDualval(), SCIPmergeVariableStatistics(), SCIPreoptApplyGlbConss(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolSetVal(), SCIPtransformProb(), SCIPvarGetProbindex(), and SCIPvarResetBounds().

SCIP_COL* SCIPvarGetCol

(

SCIP_VAR *

var

)

gets column of COLUMN variable

Parameters

var	problem variable

Definition at line 16771 of file var.c.

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

Referenced by addBdchg(), addFracCounter(), addRowToAggregation(), analyzeStrongbranch(), branchcandCalcLPCands(), calcBranchScore(), calcShiftVal(), calculateBounds(), checkConstraintMatching(), colCalcInternalFarkasCoef(), colCalcInternalRedcost(), computeCut(), createCGCutCMIR(), determineBound(), filterExistingLP(), findClosestLb(), findClosestUb(), generateAverageRay(), getNActiveConsScore(), lpFlushAddCols(), lpFlushChgCols(), relaxVar(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), 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(), SCIProwCalcIntegralScalar(), SCIPsolAdjustImplicitSolVals(), SCIPvarGetImplRedcost(), SCIPvarGetRedcost(), SCIPvarGetTransVar(), shiftValues(), substituteMIRRow(), substituteStrongCGRow(), transformMIRRow(), undoBdchgsDualfarkas(), undoBdchgsDualsol(), updateActivities(), updateRowActivities(), updateSlacks(), varColCompare(), and varProcessBoundChanges().

SCIP_Bool SCIPvarIsInLP

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 16782 of file var.c.

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

Referenced by focusnodeCleanupVars(), SCIP_DECL_HEUREXEC(), SCIPselectVarPseudoStrongBranching(), SCIPvarGetCol(), and undoBdchgsProof().

SCIP_VAR* SCIPvarGetAggrVar

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 16792 of file var.c.

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

Referenced by checkCons(), checkSystemGF2(), markNeighborsMWISHeuristic(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_READERWRITE(), SCIPgetVarCopy(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolSetVal(), SCIPvarIsInLP(), tightenVarsBoundsSOS1(), and varGetObjDelta().

SCIP_Real SCIPvarGetAggrScalar

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 16803 of file var.c.

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

Referenced by checkCons(), checkSystemGF2(), SCIP_DECL_LINCONSUPGD(), SCIPgetVarCopy(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolIncVal(), SCIPsolSetVal(), SCIPvarGetAggrVar(), tightenVarsBoundsSOS1(), and varGetObjDelta().

SCIP_Real SCIPvarGetAggrConstant

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 16814 of file var.c.

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

Referenced by checkCons(), checkSystemGF2(), markNeighborsMWISHeuristic(), SCIP_DECL_LINCONSUPGD(), SCIPgetVarCopy(), SCIPsolGetVal(), SCIPsolSetVal(), SCIPvarGetAggrScalar(), and tightenVarsBoundsSOS1().

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 16825 of file var.c.

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

Referenced by applyFixings(), conflictResolveBound(), exitPresolve(), fixVariableZero(), getRandomVariable(), nlrowAddToLinearCoef(), nlrowRemoveFixedLinearCoefPos(), nlrowRemoveFixedQuadVars(), removeFixedLinearVariables(), removeFixedVariables(), SCIP_DECL_READERWRITE(), SCIPconflictAddBound(), SCIPexprtreeRemoveFixedVars(), SCIPgetVarCopy(), SCIPnlrowAddLinearCoef(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolSetVal(), SCIPvarGetAggrConstant(), selectVarMultAggrBranching(), tightenVarsBoundsSOS1(), and updateBestCandidate().

SCIP_VAR** SCIPvarGetMultaggrVars

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 16837 of file var.c.

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

Referenced by applyFixings(), exitPresolve(), fixVariableZero(), getRandomVariable(), nlrowAddToLinearCoef(), nlrowRemoveFixedLinearCoefPos(), nlrowRemoveFixedQuadVars(), removeFixedLinearVariables(), removeFixedVariables(), SCIP_DECL_READERWRITE(), SCIPconflictAddBound(), SCIPexprtreeRemoveFixedVars(), SCIPgetVarCopy(), SCIPnlrowAddLinearCoef(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolSetVal(), SCIPvarGetMultaggrNVars(), selectVarMultAggrBranching(), tightenVarsBoundsSOS1(), and updateBestCandidate().

SCIP_Real* SCIPvarGetMultaggrScalars

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 16849 of file var.c.

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

Referenced by applyFixings(), fixVariableZero(), nlrowAddToLinearCoef(), nlrowRemoveFixedLinearCoefPos(), nlrowRemoveFixedQuadVars(), removeFixedLinearVariables(), removeFixedVariables(), SCIPconflictAddBound(), SCIPexprtreeRemoveFixedVars(), SCIPgetVarCopy(), SCIPnlrowAddLinearCoef(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolSetVal(), SCIPvarGetMultaggrVars(), selectVarMultAggrBranching(), tightenVarsBoundsSOS1(), and updateBestCandidate().

SCIP_Real SCIPvarGetMultaggrConstant

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 16861 of file var.c.

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

Referenced by applyFixings(), fixVariableZero(), nlrowAddToLinearCoef(), nlrowRemoveFixedLinearCoefPos(), nlrowRemoveFixedQuadVars(), removeFixedLinearVariables(), removeFixedVariables(), SCIPexprtreeRemoveFixedVars(), SCIPgetVarCopy(), SCIPsolGetVal(), SCIPsolSetVal(), SCIPvarGetActiveRepresentatives(), SCIPvarGetMultaggrScalars(), selectVarMultAggrBranching(), and tightenVarsBoundsSOS1().

SCIP_VAR* SCIPvarGetNegatedVar

(

SCIP_VAR *

var

)

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

Parameters

var	negated problem variable

Definition at line 16873 of file var.c.

References SCIP_Var::negatedvar, NULL, and SCIPvarGetNegationVar().

Referenced by addCliqueDataEntry(), addCliques(), addConsToOccurList(), applyFixings(), checkSolution(), checkSystemGF2(), cliquePresolve(), collectCliqueData(), computeRanks(), createCoveringProblem(), extractGates(), findAggregation(), mergeMultiples(), preprocessCliques(), preprocessConstraintPairs(), removeConstraintsDueToNegCliques(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeRedundantNonZeros(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_CONSPRINT(), SCIP_DECL_READERWRITE(), SCIPprobDelVar(), SCIPvarCompareActiveAndNegated(), SCIPvarGetMultaggrConstant(), SCIPwriteLp(), separateIISRounding(), strengthenConss(), tcliquegraphConstructCliqueTable(), and varGetObjDelta().

SCIP_VAR* SCIPvarGetNegationVar

(

SCIP_VAR *

var

)

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

Parameters

var	negated problem variable

Definition at line 16883 of file var.c.

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

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

SCIP_Real SCIPvarGetNegationConstant

(

SCIP_VAR *

var

)

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

Parameters

var	negated problem variable

Definition at line 16894 of file var.c.

References SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::negate, NULL, SCIP_Real, SCIP_VARSTATUS_NEGATED, SCIPvarGetObj(), and SCIPvarGetStatus().

Referenced by markNeighborsMWISHeuristic(), SCIPsolGetVal(), SCIPsolSetVal(), SCIPvarGetNegationVar(), and tightenVarsBoundsSOS1().

SCIP_Real SCIPvarGetObj

(

SCIP_VAR *

var

)

gets objective function value of variable

Parameters

var	problem variable

Definition at line 16905 of file var.c.

References NULL, SCIP_Var::obj, SCIP_Real, and SCIPvarGetUnchangedObj().

Referenced by addBoundViolated(), addConflictBinvar(), addConflictBounds(), addObjcut(), adjustCutoffbound(), applyAlternativeBoundsBranching(), applyVboundsFixings(), calcShiftVal(), catchObjEvent(), checkSystemGF2(), chooseFracVar(), chooseGuidedVar(), chooseVeclenVar(), collectMinactImplicVar(), collectMinactImplicVars(), collectMinactVar(), consdataFindUnlockedLinearVar(), copyAndSolveComponent(), createCGCutDirect(), createNewSol(), createObjRow(), createSubSCIP(), dropObjEvent(), dualBoundStrengthening(), dualPresolving(), evaluateAggrCand(), evaluateValueCand(), findDominancePairs(), findDownlockAggregations(), findFixings(), findUplockAggregations(), generateObjectiveRay(), getActivities(), getConflictImplics(), getMaxactImplicObjchg(), getMinactImplicObjchg(), getVariable(), handle1Cycle(), handleCycle(), initSolve(), isVlb(), isVub(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), nlpAddVars(), nlpDelVarPos(), nlpFlushObjective(), nlpFlushVarAdditions(), nlpSolve(), nlpUpdateObjCoef(), objimplicsCreate(), optimize(), performDualfix(), performRandRounding(), performSimpleRounding(), predBndStr(), presolveDual(), printPBRow(), propagateCutoffboundGlobally(), propagateLowerboundVar(), readObjective(), readOPBFile(), recomputeGlbPseudoObjectiveValue(), recomputeLooseObjectiveValue(), recomputePseudoObjectiveValue(), removeDoubleAndSingletonsAndPerformDualpresolve(), reoptSaveNewObj(), resolvePropagation(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSINITSOL(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_READERWRITE(), SCIP_DECL_SORTPTRCOMP(), SCIPapplyHeurDualval(), SCIPapplyProximity(), SCIPapplyZeroobj(), SCIPchgVarObjProbing(), SCIPcolCreate(), SCIPconflictAnalyzePseudo(), SCIPcreateConsOrbitope(), SCIPlpEndDive(), SCIPlpGetModifiedProvedPseudoObjval(), SCIPlpGetModifiedPseudoObjval(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpStartDive(), SCIPlpUpdateAddVar(), SCIPlpUpdateDelVar(), SCIPlpUpdateVarLb(), SCIPlpUpdateVarLbGlobal(), SCIPlpUpdateVarUb(), SCIPlpUpdateVarUbGlobal(), SCIPnlpChgVarObjDive(), SCIPnlpGetPseudoObjval(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPprobAddVar(), SCIPprobCheckObjIntegral(), SCIPprobGetNObjVars(), SCIPprobPerformVarDeletions(), SCIPprobScaleObj(), SCIPpropagateCutoffboundVar(), SCIPsolAdjustImplicitSolVals(), SCIPsolCheck(), SCIPsolIncVal(), SCIPsolLinkNLPSol(), SCIPsolRetransform(), SCIPsolSetVal(), SCIPtreeBranchVar(), SCIPvarCopy(), SCIPvarGetAggregatedObj(), SCIPvarGetNegationConstant(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), selectEssentialRounding(), selectRounding(), selectShifting(), setObjective(), singletonColumnStuffing(), solCutIsViolated(), solveCoveringProblem(), solveIndependentCons(), stableSortBinvars(), transformColumn(), undoBdchgsDualsol(), updateBestCandidate(), varGetObjDelta(), varMayRoundDown(), varMayRoundUp(), writeExpandedSolutions(), writeFzn(), writeOpbConstraints(), and writeOpbObjective().

SCIP_Real SCIPvarGetUnchangedObj

(

SCIP_VAR *

var

)

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

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

Parameters

var	problem variable

Definition at line 16915 of file var.c.

References NULL, SCIPvarGetAggregatedObj(), and SCIP_Var::unchangedobj.

Referenced by SCIPcolChgObj(), SCIPcolCreate(), SCIPsolIncVal(), SCIPsolLinkLPSol(), SCIPsolPrint(), SCIPsolPrintRay(), SCIPsolRecomputeObj(), SCIPsolRound(), SCIPsolSetVal(), and SCIPvarGetObj().

SCIP_Real SCIPvarGetLbOriginal

(

SCIP_VAR *

var

)

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

Parameters

var	original problem variable

Definition at line 17003 of file var.c.

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

Referenced by checkSolOrig(), parseConstantArrayAssignment(), parseValue(), printBoundSection(), SCIPcreateFiniteSolCopy(), SCIPvarAddHoleOriginal(), SCIPvarChgUbOriginal(), SCIPvarCopy(), SCIPvarGetAggregatedObj(), SCIPvarPrint(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), and writeFzn().

SCIP_Real SCIPvarGetUbOriginal

(

SCIP_VAR *

var

)

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

Parameters

var	original problem variable

Definition at line 17023 of file var.c.

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

Referenced by checkSolOrig(), parseConstantArrayAssignment(), parseValue(), printBoundSection(), SCIPcreateFiniteSolCopy(), SCIPvarAddHoleOriginal(), SCIPvarChgLbOriginal(), SCIPvarCopy(), SCIPvarGetLbOriginal(), SCIPvarPrint(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), and writeFzn().

SCIP_HOLELIST* SCIPvarGetHolelistOriginal

(

SCIP_VAR *

var

)

gets the original hole list of an original variable

Parameters

var	problem variable

Definition at line 17043 of file var.c.

References SCIP_Var::data, SCIP_Dom::holelist, NULL, SCIP_Original::origdom, SCIP_Var::original, SCIP_Real, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetLbGlobal(), SCIPvarGetStatus(), and SCIPvarIsOriginal().

Referenced by SCIPvarGetUbOriginal(), and SCIPvarPrint().

SCIP_Real SCIPvarGetLbGlobal

(

SCIP_VAR *

var

)

gets global lower bound of variable

Parameters

var	problem variable

Definition at line 17057 of file var.c.

References SCIP_Var::glbdom, SCIP_Dom::lb, NULL, SCIP_Real, and SCIPvarGetUbGlobal().

Referenced by addAltLPColumn(), addConflictBinvar(), addConflictBounds(), addLinearization(), addLinearizationCuts(), addVarbound(), adjustCutoffbound(), adjustOversizedJobBounds(), analyzeEnergyRequirement(), analyzeStrongbranch(), applyFixings(), applyGenVBound(), applyImplic(), boundchgApplyGlobal(), calcColActivity(), calcColActResidualExplicitBound(), calcShiftVal(), calculateBounds(), checkCurvature(), checkFixedVariables(), checkGlbfirstnonfixed(), checkIISlocal(), checkImplic(), checkOverloadViaThetaTree(), checkRedundancy(), checkRedundancySide(), checkSolution(), checkSystemGF2(), cleanupMIRRow(), cliqueCheck(), cliqueCleanup(), cliquePresolve(), collectBinaryCliqueData(), collectMinactImplicVar(), collectMinactImplicVars(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), computeCut(), computeEnergyContribution(), computeInteriorPoint(), computeRanks(), computeViolation(), conflictAnalyze(), consdataCreateBinvars(), consdataDeletePos(), consdataFree(), consdataGetGlbActivityResiduals(), consdataLinearize(), consdataPrint(), consdataRecomputeGlbMinactivity(), consdataRecomputeMaxactivity(), constructSNFRelaxation(), copyAndSolveComponent(), createCoveringProblem(), createIndicatorConstraint(), createNlRow(), createObjRow(), createSolFromSubScipSol(), createSortedEventpoints(), createSubproblem(), createSubSCIP(), createSubscip(), detectImpliedBounds(), determineBound(), dualPresolve(), dualPresolving(), extractLinearValues(), findAggregation(), findBestLb(), findDominancePairs(), findDownlockAggregations(), findUncapacitatedArcs(), findUplockAggregations(), fixDiscreteVars(), fixIntegerVariableUb(), fixVariables(), focusnodeCleanupVars(), forbidFixation(), freeMemory(), generateBoundInequalityFromSOS1Nodes(), generateCut(), generateRowSOS2(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBounddist(), getBounds(), getClosestLb(), getClosestVub(), getGenVBoundsMinActivity(), getImpliedBounds(), getMaxactImplicObjchg(), getMinactImplicObjchg(), getMinColActWithoutBound(), getMinColActWithoutRow(), getVarSignature(), handleNewVariableSOS1(), infCntUpdateExplicit(), isBoundchgUseless(), isCandidate(), isVlb(), isVub(), mcfnetworkFill(), objimplicsCreate(), optimize(), performDualfix(), polishSolution(), predBndStr(), preprocessConstraintPairs(), presolRoundIndicator(), presolRoundSOS2(), presolveConsEffectiveHorizon(), presolveConsEst(), presolveConsLct(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveDual(), presolveTryAddLinearReform(), printSignpowerRow(), propagateBinaryBestRootRedcost(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLowerboundVar(), propagateRootRedcostVar(), propagateVarbounds(), propagateVbounds(), proposeFeasibleSolution(), readBinaries(), readBounds(), readGenerals(), readSemicontinuous(), readSol(), recomputeGlbPseudoObjectiveValue(), relaxVar(), removeDoubleAndSingletonsAndPerformDualpresolve(), removeFixedVariables(), removeIrrelevantJobs(), reoptSaveNewObj(), resolveGenVBoundPropagation(), resolvePropagationCoretimes(), roundMIRRow(), roundStrongCGRow(), rowFindSlackVar(), rowScale(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENABLE(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSINITPRE(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRGRAPHNODEREFORM(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SOLVECUMULATIVE(), SCIPaddVarImplication(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyProbingVar(), SCIPapplyProximity(), SCIPapplyUndercover(), SCIPapplyZeroobj(), SCIPcliqueDelVar(), SCIPcliquetableAdd(), SCIPcomputeVarLbGlobal(), SCIPconflictAddRelaxedBound(), SCIPconflictGetVarLb(), SCIPconsResolvePropagation(), SCIPcreateConsLinking(), SCIPcreateConsOrbitope(), SCIPcreateFiniteSolCopy(), SCIPevalExprtreeGlobalBounds(), SCIPimplicsAdd(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpUpdateVarObj(), SCIPmatrixCreate(), SCIPmatrixPrintRow(), SCIPnodeAddBoundinfer(), SCIPpropResolvePropagation(), SCIPresolveSolHeurSubNlp(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPsolAdjustImplicitSolVals(), SCIPsolCheck(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPsolSetVal(), SCIPtightenVarLbGlobal(), SCIPtightenVarUbGlobal(), SCIPvarAddHoleGlobal(), SCIPvarAddImplic(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarCopy(), SCIPvarGetHolelistOriginal(), SCIPvarGetMultaggrLbGlobal(), SCIPvarGetMultaggrUbGlobal(), SCIPvarGetNLPSol_rec(), SCIPvarGetRelaxSol(), SCIPvarPrint(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarUpdateBestRootSol(), SCIPvisualizeConsCumulative(), SCIPwriteLp(), SCIPwritePip(), selectShifting(), sepaImplBoundCutsSOS1(), separateCuts(), sepastoreApplyLb(), sepastoreApplyUb(), sepastoreIsBdchgApplicable(), shiftValues(), singletonColumnStuffing(), skipRedundantBdchginfos(), solveLp(), solveSubMIP(), solveSubNLP(), sortAndMergeClique(), termIsConstant(), tightenBounds(), tightenCoefs(), tightenVarUb(), transformMIRRow(), transformStrongCGRow(), treeAddPendingBdchg(), tryUpgradingXor(), undoBdchgsProof(), updateDualBoundsExplicit(), updateFirstRow(), updateFirstRowGlobal(), updateSlacks(), varAddImplic(), varAddVbound(), varIncRootboundchgs(), varIsFixed(), and varProcessAddHoleGlobal().

SCIP_Real SCIPvarGetUbGlobal

(

SCIP_VAR *

var

)

gets global upper bound of variable

Parameters

var	problem variable

Definition at line 17067 of file var.c.

References SCIP_Var::glbdom, NULL, SCIPvarGetHolelistGlobal(), and SCIP_Dom::ub.

Referenced by addAltLPColumn(), addConflictBinvar(), addConflictBounds(), addConflictReasonVars(), addLinearization(), addLinearizationCuts(), addVarbound(), adjustCutoffbound(), adjustOversizedJobBounds(), analyzeEnergyRequirement(), analyzeStrongbranch(), applyFixings(), applyGenVBound(), applyImplic(), boundchgApplyGlobal(), calcColActivity(), calcColActResidualExplicitBound(), calcShiftVal(), calculateBounds(), checkCurvature(), checkFixedVariables(), checkGlbfirstnonfixed(), checkIISlocal(), checkImplic(), checkOverloadViaThetaTree(), checkRedundancy(), checkRedundancySide(), checkSolution(), checkSystemGF2(), cleanupMIRRow(), cliqueCheck(), cliqueCleanup(), cliquePresolve(), collectBinaryCliqueData(), collectBinaryVars(), collectDemands(), collectMinactImplicVar(), collectMinactImplicVars(), collectNonBinaryImplicationData(), collectNonBinaryVBoundData(), computeCut(), computeEnergyContribution(), computeInteriorPoint(), computeRanks(), computeViolation(), conflictAnalyze(), consdataCreateBinvars(), consdataDeletePos(), consdataGetGlbActivityResiduals(), consdataLinearize(), consdataPrint(), consdataRecomputeGlbMinactivity(), consdataRecomputeMaxactivity(), constructSNFRelaxation(), copyAndSolveComponent(), createCoveringProblem(), createIndicatorConstraint(), createNlRow(), createObjRow(), createSortedEventpoints(), createSubproblem(), createSubSCIP(), createSubscip(), createVarUbs(), detectImpliedBounds(), determineBound(), dualPresolve(), dualPresolving(), extractLinearValues(), findAggregation(), findBestUb(), findDominancePairs(), findDownlockAggregations(), findFixings(), findUncapacitatedArcs(), findUplockAggregations(), fixDiscreteVars(), fixIntegerVariableUb(), fixTriangle(), fixVariables(), focusnodeCleanupVars(), forbidFixation(), freeMemory(), generateBoundInequalityFromSOS1Nodes(), generateCut(), generateRowSOS2(), getActivityResidualsLowerBound(), getActivityResidualsUpperBound(), getBounddist(), getBounds(), getClosestUb(), getClosestVlb(), getGenVBoundsMinActivity(), getImpliedBounds(), getMaxactImplicObjchg(), getMinactImplicObjchg(), getMinColActWithoutBound(), getMinColActWithoutRow(), getVarSignature(), handleNewVariableSOS1(), infCntUpdateExplicit(), isBoundchgUseless(), isCandidate(), mcfnetworkFill(), objimplicsCreate(), optimize(), performDualfix(), polishSolution(), predBndStr(), preprocessConstraintPairs(), presolRoundIndicator(), presolRoundSOS2(), presolveConsEffectiveHorizon(), presolveConsEst(), presolveConsLct(), presolveDual(), presolveTryAddLinearReform(), printIndicatorCons(), printSignpowerRow(), propagateBinaryBestRootRedcost(), propagateCons(), propagateCutoffboundGlobally(), propagateCutoffboundVar(), propagateLowerboundVar(), propagateRootRedcostVar(), propagateVarbounds(), propagateVbounds(), proposeFeasibleSolution(), readBinaries(), readBounds(), readGenerals(), readSol(), recomputeGlbPseudoObjectiveValue(), relaxVar(), removeFixedVariables(), removeIrrelevantJobs(), reoptSaveNewObj(), resolveGenVBoundPropagation(), resolvePropagationCoretimes(), roundMIRRow(), roundStrongCGRow(), rowFindSlackVar(), rowScale(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_CONFLICTEXEC(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSINITLP(), SCIP_DECL_CONSPRESOL(), SCIP_DECL_CONSSEPALP(), SCIP_DECL_DIALOGEXEC(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PROPEXEC(), SCIP_DECL_QUADCONSUPGD(), SCIP_DECL_SOLVECUMULATIVE(), SCIPaddVarImplication(), SCIPapplyHeurDualval(), SCIPapplyHeurSubNlp(), SCIPapplyProbingVar(), SCIPapplyProximity(), SCIPapplyZeroobj(), SCIPcliqueDelVar(), SCIPcliquetableAdd(), SCIPcomputeVarUbGlobal(), SCIPconflictAddRelaxedBound(), SCIPconflictGetVarUb(), SCIPconsResolvePropagation(), SCIPcreateConsLinking(), SCIPcreateConsOrbitope(), SCIPcreateFiniteSolCopy(), SCIPevalExprtreeGlobalBounds(), SCIPimplicsAdd(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpUpdateVarObj(), SCIPmatrixCreate(), SCIPmatrixPrintRow(), SCIPnodeAddBoundinfer(), SCIPpropResolvePropagation(), SCIPresolveSolHeurSubNlp(), SCIPseparateRelaxedKnapsack(), SCIPshrinkDisjunctiveVarSet(), SCIPsolAdjustImplicitSolVals(), SCIPsolCheck(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPtightenVarLbGlobal(), SCIPtightenVarUbGlobal(), SCIPvarAddHoleGlobal(), SCIPvarAddImplic(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarCopy(), SCIPvarGetLbGlobal(), SCIPvarGetMultaggrLbGlobal(), SCIPvarGetMultaggrUbGlobal(), SCIPvarGetNLPSol_rec(), SCIPvarGetProbvarBinary(), SCIPvarGetRelaxSol(), SCIPvarPrint(), SCIPvarRemoveCliquesImplicsVbs(), SCIPvarUpdateBestRootSol(), SCIPvisualizeConsCumulative(), SCIPwriteLp(), SCIPwritePip(), selectShifting(), sepaImplBoundCutsSOS1(), separateCuts(), separateIndicators(), sepastoreApplyLb(), sepastoreApplyUb(), sepastoreIsBdchgApplicable(), shiftValues(), singletonColumnStuffing(), skipRedundantBdchginfos(), solveLp(), solveSubMIP(), solveSubNLP(), sortAndMergeClique(), termIsConstant(), tightenBounds(), tightenCoefs(), tightenVarLb(), transformMIRRow(), transformStrongCGRow(), treeAddPendingBdchg(), tryUpgradingXor(), undoBdchgsProof(), updateDualBoundsExplicit(), updateFirstRow(), updateFirstRowGlobal(), updateSlacks(), varAddImplic(), varAddVbound(), varIncRootboundchgs(), varIsFixed(), and varProcessAddHoleGlobal().

SCIP_HOLELIST* SCIPvarGetHolelistGlobal

(

SCIP_VAR *

var

)

gets the global hole list of an active variable

Parameters

var	problem variable

Definition at line 17077 of file var.c.

References SCIP_Var::glbdom, SCIP_Dom::holelist, NULL, SCIP_Real, and SCIPvarGetBestBoundGlobal().

Referenced by SCIPvarAggregate(), SCIPvarCopy(), SCIPvarGetUbGlobal(), SCIPvarMultiaggregate(), and SCIPvarPrint().

SCIP_Real SCIPvarGetBestBoundGlobal

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 17087 of file var.c.

References SCIP_Var::glbdom, SCIP_Dom::lb, NULL, SCIP_Var::obj, SCIP_Real, SCIPvarGetWorstBoundGlobal(), and SCIP_Dom::ub.

Referenced by presolveDual(), and SCIPvarGetHolelistGlobal().

SCIP_Real SCIPvarGetWorstBoundGlobal

(

SCIP_VAR *

var

)

gets worst global bound of variable with respect to the objective function

Parameters

var	problem variable

Definition at line 17100 of file var.c.

References SCIP_Var::glbdom, SCIP_Dom::lb, NULL, SCIP_Var::obj, SCIP_Real, SCIPvarGetLbLocal(), and SCIP_Dom::ub.

Referenced by initSolve(), and SCIPvarGetBestBoundGlobal().

SCIP_Real SCIPvarGetLbLocal

(

SCIP_VAR *

var

)

gets current lower bound of variable

Parameters

var	problem variable

Definition at line 17113 of file var.c.

References SCIP_Dom::lb, SCIP_Var::locdom, NULL, SCIP_Real, and SCIPvarGetUbLocal().

Referenced by addBilinearTermToCut(), addBoundViolated(), addBranchingComplementaritiesSOS1(), addCand(), addCliqueDataEntry(), addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addConflictReasonVars(), addFacetToCut(), addIntervalGradientEstimator(), addLinearTermToCut(), addSplitcons(), addUserEstimator(), analyseInfeasibelCoreInsertion(), analyzeConflictOne(), analyzeConflictUpperbound(), analyzeConflictZero(), analyzeEnergyRequirement(), analyzeGenVBoundConflict(), analyzeZeroResultant(), applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), applyBdchgs(), applyBoundHeur(), applyCliqueFixings(), applyGenVBound(), applyProbing(), applyProbingVar(), applyVbounds(), applyVboundsFixings(), branch(), branchcandCalcLPCands(), branchruledataUpdateCurrentBounds(), calcBranchScore(), calculateAlternatives(), catchEvent(), changeAncestorBranchings(), checkBounddisjunction(), checkForOverlapping(), checkIISlocal(), checkKnapsack(), checkLogicor(), checkOverloadViaThetaTree(), checkRikun(), checkSolution(), checkSwitchNonoverlappingSOS1Methods(), checkVarbound(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), cleanupMIRRow(), collectBranchingCands(), collectCliqueData(), collectDataTTEF(), collectIntVars(), collectSolution(), computeAlternativeBounds(), computeCut(), computeEnergyContribution(), computeImpliedEst(), computeImpliedLct(), computeInteriorPoint(), computeMinDistance(), computeReferencePointGauge(), computeViolation(), conflictAnalyzeLP(), conflictAnalyzeRemainingBdchgs(), consCheckRedundancy(), consdataCheckNonbinvar(), consdataComputePseudoActivity(), consdataCreate(), consdataGetActivityResiduals(), consdataPrint(), consdataRecomputeMaxActivityDelta(), consdataRecomputeMinactivity(), consdataUpdateLinearActivity(), consFixInteger(), constraintNonOverlappingGraph(), copyAndSolveComponent(), coretimesUpdateLb(), coretimesUpdateUb(), countSparseSol(), createCoreProfile(), createCoverCuts(), createCoverCutsTimepoint(), createCoveringProblem(), createSelectedSortedEventpointsSol(), createSortedEventpoints(), createSubscip(), CUTOFF_CONSTRAINT(), dropEvent(), dryBranch(), enforceConflictgraph(), enforceIndicators(), evalCorner(), evalLhs(), evaluateGauge(), execRelpscost(), extractGates(), filterExistingLP(), findBestLb(), fixAndPropagate(), fixBounds(), fixIntegerVariableLb(), fixInterdiction(), fixVariable(), fixVariableZero(), fixVariableZeroNode(), forbidCover(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorAtBoundary(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), generateBoundInequalityFromSOS1Nodes(), generateCloseCutPoint(), generateConvexConcaveUnderestimator(), generateCut(), generateCutFactorable(), generateCutLTI(), generateCutNonConvex(), generateCutSol(), generateEstimatingHyperplane(), generateLinearizationCut(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateRowSOS2(), generateUnderestimatorParallelYFacets(), getBoundConsFromVertices(), getClosestLb(), getClosestVub(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getFixingValue(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getMaxactImplicObjchg(), getNLPFracVars(), getRandomVariable(), getValueScore(), handleNewVariableSOS1(), handleNewVariableSOS2(), heurdataUpdateCurrentBounds(), impliesVlbPrecedenceCondition(), inferboundsEdgeFinding(), inferVariableZero(), initConflictgraph(), initSepaData(), isConvexLocal(), isPossibleToComputeCut(), isPseudocostUpdateValid(), isViolatedSOS1(), liftCliqueVariables(), lockVariableSOS2(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), nlpCalcFracVars(), nlpFlushVarAdditions(), nlpUpdateVarBounds(), nlrowCalcActivityBounds(), nodeGetSolvalBinaryBigMSOS1(), nodeGetSolvalVarboundLbSOS1(), performBranching(), performDualfix(), performFixing(), performRandRounding(), performStrongbranchSOS1(), performStrongbranchWithPropagation(), preprocessCliques(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolRoundVarsSOS1(), presolveConsEst(), presolveCreateBenTalNemirovskiApproxDim3(), presolveCreateGlineurApproxDim3(), presolveFindDuplicates(), presolvePropagateCons(), presolveUpgrade(), printBoundSection(), processBinvarFixings(), processFixings(), processIntegerBoundChg(), processWatchedVars(), projectVbd(), propagateBoundsBilinearTerm(), propagateBoundsCons(), propagateBoundsGetQuadActivity(), propagateBoundsQuadVar(), propagateBoundsTightenVar(), propagateBoundsTightenVarLb(), propagateCons(), propagateCutoffboundBinvars(), propagateCutoffboundVar(), propagateLbTTEF(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateTimetable(), propagateTTEF(), propagateUbTTEF(), propagateVbounds(), propConsSOS1(), propIndicator(), proposeBranchingPoint(), propSOS2(), propVariableNonzero(), recomputeLooseObjectiveValue(), recomputePseudoObjectiveValue(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerBranchingVariables(), registerLargeLPValueVariableForBranching(), reoptCheckLocalRestart(), reoptSimilarity(), replaceByLinearConstraints(), resolveGenVBoundPropagation(), retransformVariable(), roundMIRRow(), roundStrongCGRow(), rowCalculateGauss(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRGRAPHVARADDED(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PARAMCHGD(), SCIP_DECL_PRESOLEXEC(), SCIPaddConflictBinvar(), SCIPanalyzeDeductionsProbing(), SCIPapplyProbingVar(), SCIPbranchcandAddExternCand(), SCIPbranchcandGetPseudoCands(), SCIPbranchcandUpdateVar(), SCIPbranchExecExtern(), SCIPbranchExecLP(), SCIPbranchExecPseudo(), SCIPbranchGetBranchingPoint(), SCIPbranchVar(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPcolCreate(), SCIPcomputeConvexEnvelopeFacet(), SCIPcomputeVarLbLocal(), SCIPconflictAnalyzePseudo(), SCIPconflictAnalyzeStrongbranch(), SCIPcreateFiniteSolCopy(), SCIPcreateWorstCaseProfile(), SCIPcutGenerationHeuristicCmir(), SCIPevalExprtreeLocalBounds(), SCIPfixVar(), SCIPfixVarProbing(), SCIPgetVarStrongbranchWithPropagation(), SCIPinferBinvarCons(), SCIPinferBinvarProp(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPisLinearLocalQuadratic(), SCIPlpEndDive(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpStartDive(), SCIPlpUpdateVarObj(), SCIPlpUpdateVarUb(), SCIPmakeIndicatorFeasible(), SCIPnlpEndDive(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPnodePropagateImplics(), SCIPperformGenericDivingAlgorithm(), SCIPpricestoreAddBdviolvar(), SCIPpricestoreAddProbVars(), SCIPpricestoreAddVar(), SCIPpricestoreResetBounds(), SCIPprobUpdateBestRootSol(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsetBinaryVarIndicator(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPvarAddHoleLocal(), SCIPvarChgLbGlobal(), SCIPvarCopy(), SCIPvarGetImplRedcost(), SCIPvarGetLbAtIndex(), SCIPvarGetMultaggrLbLocal(), SCIPvarGetMultaggrUbLocal(), SCIPvarGetNLPSol_rec(), SCIPvarGetRedcost(), SCIPvarGetRelaxSol(), SCIPvarGetWorstBoundGlobal(), SCIPvarPrint(), SCIPvarWasFixedAtIndex(), SCIPvisualCutoffNode(), SCIPvisualNewChild(), SCIPvisualSolvedNode(), SCIPvisualUpdateChild(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), searchEcAggr(), selectBranchVar(), selectNextDiving(), separateCons(), separateCuts(), separatePoint(), sepastoreApplyLb(), sepastoreApplyUb(), sepastoreIsBdchgApplicable(), solveIndependentCons(), solveSubMIP(), sortBounds(), termIsConstant(), tightenBounds(), tightenCoefs(), tightenedIntvar(), tightenUbTTEF(), tightenVarLb(), tightenVarsBoundsSOS1(), tightenVarUb(), transformMIRRow(), transformStrongCGRow(), transformVariable(), treeApplyPendingBdchgs(), tryOneOpt(), trySolCandidate(), unlockVariableSOS2(), updateBestCandidate(), updateFirstRow(), updateImplicationGraphSOS1(), updatePseudocost(), updateWeightsTCliquegraph(), varIsFixed(), varIsUnfixedLocal(), varProcessAddHoleLocal(), varProcessBoundChanges(), writeFzn(), and writeOpbRelevantAnds().

SCIP_Real SCIPvarGetUbLocal

(

SCIP_VAR *

var

)

gets current upper bound of variable

Parameters

var	problem variable

Definition at line 17123 of file var.c.

References SCIP_Var::locdom, NULL, SCIPvarGetHolelistLocal(), and SCIP_Dom::ub.

Referenced by addBilinearTermToCut(), addBoundViolated(), addBranchingComplementaritiesSOS1(), addCand(), addCliqueDataEntry(), addConcaveEstimatorBivariate(), addConcaveEstimatorMultivariate(), addConcaveEstimatorUnivariate(), addConflictReasonVars(), addFacetToCut(), addIntervalGradientEstimator(), addLinearTermToCut(), addSplitcons(), addUserEstimator(), analyseInfeasibelCoreInsertion(), analyzeConflictLowerbound(), analyzeConflictOne(), analyzeConflictZero(), analyzeEnergyRequirement(), analyzeGenVBoundConflict(), analyzeZeroResultant(), applyAlternativeBoundsBranching(), applyAlternativeBoundsFixing(), applyBdchgs(), applyBoundHeur(), applyCliqueFixings(), applyGenVBound(), applyProbing(), applyProbingVar(), applyVbounds(), applyVboundsFixings(), branch(), branchcandCalcLPCands(), branchruledataUpdateCurrentBounds(), calcBranchScore(), calculateAlternatives(), catchEvent(), changeAncestorBranchings(), checkBounddisjunction(), checkForOverlapping(), checkIISlocal(), checkKnapsack(), checkOverloadViaThetaTree(), checkRikun(), checkSolution(), checkSwitchNonoverlappingSOS1Methods(), checkVarbound(), chooseCoefVar(), chooseDoubleVar(), chooseFracVar(), chooseGuidedVar(), choosePscostVar(), chooseVeclenVar(), cleanupMIRRow(), collectBranchingCands(), collectCliqueData(), collectDataTTEF(), collectIntVars(), collectSolution(), computeAlternativeBounds(), computeCut(), computeEnergyContribution(), computeImpliedEst(), computeImpliedLct(), computeInteriorPoint(), computeMinDistance(), computeReferencePointGauge(), computeViolation(), conflictAnalyzeLP(), conflictAnalyzeRemainingBdchgs(), consCheckRedundancy(), consdataCheckNonbinvar(), consdataComputePseudoActivity(), consdataCreate(), consdataGetActivityResiduals(), consdataPrint(), consdataRecomputeMaxActivityDelta(), consdataRecomputeMinactivity(), consdataUpdateLinearActivity(), consFixInteger(), constraintNonOverlappingGraph(), copyAndSolveComponent(), coretimesUpdateLb(), coretimesUpdateUb(), countSparseSol(), createCoreProfile(), createCoverCuts(), createCoverCutsTimepoint(), createCoveringProblem(), createSelectedSortedEventpointsSol(), createSortedEventpoints(), createSubscip(), CUTOFF_CONSTRAINT(), dropEvent(), dryBranch(), enforceConflictgraph(), enforceIndicators(), evalCorner(), evalLhs(), evaluateGauge(), execRelpscost(), extractGates(), filterExistingLP(), findBestUb(), fixAndPropagate(), fixBounds(), fixIntegerVariableUb(), fixInterdiction(), fixVariable(), fixVariableZero(), fixVariableZeroNode(), generate1ConvexIndefiniteUnderestimator(), generate1ConvexIndefiniteUnderestimatorAtBoundary(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternA(), generate1ConvexIndefiniteUnderestimatorInTheInteriorPatternB(), generateAverageNBRay(), generateBoundInequalityFromSOS1Cons(), generateBoundInequalityFromSOS1Nodes(), generateCloseCutPoint(), generateConvexConcaveUnderestimator(), generateCut(), generateCutFactorable(), generateCutLTI(), generateCutNonConvex(), generateCutSol(), generateEstimatingHyperplane(), generateLinearizationCut(), generateOrthogonal_lx_ly_Underestimator(), generateOrthogonal_lx_uy_Underestimator(), generateRowSOS2(), generateUnderestimatorParallelYFacets(), getBoundConsFromVertices(), getClosestUb(), getClosestVlb(), getDiveBdChgsSOS1conflictgraph(), getDiveBdChgsSOS1constraints(), getFixingValue(), getGenVBoundsMinActivity(), getGenVBoundsMinActivityConflict(), getMaxactImplicObjchg(), getNLPFracVars(), getRandomVariable(), getValueScore(), handleNewVariableSOS1(), handleNewVariableSOS2(), heurdataUpdateCurrentBounds(), impliesVlbPrecedenceCondition(), inferboundsEdgeFinding(), inferVariableZero(), initConflictgraph(), initSepaData(), isConvexLocal(), isPossibleToComputeCut(), isPseudocostUpdateValid(), isViolatedSOS1(), liftCliqueVariables(), lockVariableSOS2(), lpUpdateVarColumn(), lpUpdateVarColumnProved(), lpUpdateVarLoose(), lpUpdateVarLooseProved(), makeSOS1conflictgraphFeasible(), makeSOS1constraintsFeasible(), nlpCalcFracVars(), nlpFlushVarAdditions(), nlpUpdateVarBounds(), nlrowCalcActivityBounds(), nodeGetSolvalBinaryBigMSOS1(), nodeGetSolvalVarboundUbSOS1(), performBranching(), performDualfix(), performFixing(), performRandRounding(), performStrongbranchSOS1(), performStrongbranchWithPropagation(), preprocessCliques(), presolRoundConsSOS1(), presolRoundIndicator(), presolRoundSOS2(), presolRoundVarsSOS1(), presolveConsLct(), presolveFindDuplicates(), presolvePropagateCons(), presolveUpgrade(), printBoundSection(), processBinvarFixings(), processFixings(), processIntegerBoundChg(), processWatchedVars(), projectVbd(), propagateBoundsBilinearTerm(), propagateBoundsCons(), propagateBoundsGetQuadActivity(), propagateBoundsQuadVar(), propagateBoundsTightenVar(), propagateBoundsTightenVarUb(), propagateCons(), propagateCutoffboundBinvars(), propagateCutoffboundVar(), propagateLbTTEF(), propagateRedcostBinvar(), propagateRedcostVar(), propagateRootRedcostBinvar(), propagateTimetable(), propagateTTEF(), propagateUbTTEF(), propagateVbounds(), propConsSOS1(), propIndicator(), proposeBranchingPoint(), propSOS2(), propVariableNonzero(), recomputeLooseObjectiveValue(), recomputePseudoObjectiveValue(), registerBranchingCandidates(), registerBranchingCandidatesCentrality(), registerBranchingCandidatesGap(), registerBranchingCandidatesViolation(), registerBranchingVariables(), registerLargeLPValueVariableForBranching(), removeFixedBinvars(), reoptCheckLocalRestart(), reoptSimilarity(), replaceByLinearConstraints(), resolveGenVBoundPropagation(), retransformVariable(), roundMIRRow(), roundStrongCGRow(), rowCalculateGauss(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_CONSCOPY(), SCIP_DECL_CONSENFOPS(), SCIP_DECL_CONSGETDIVEBDCHGS(), SCIP_DECL_CONSLOCK(), SCIP_DECL_CONSRESPROP(), SCIP_DECL_CONSTRANS(), SCIP_DECL_EVENTEXEC(), SCIP_DECL_EXPRGRAPHVARADDED(), SCIP_DECL_HEUREXEC(), SCIP_DECL_PARAMCHGD(), SCIPaddConflictBinvar(), SCIPanalyzeDeductionsProbing(), SCIPapplyProbingVar(), SCIPbranchcandAddExternCand(), SCIPbranchcandGetPseudoCands(), SCIPbranchcandUpdateVar(), SCIPbranchExecExtern(), SCIPbranchExecLP(), SCIPbranchExecPseudo(), SCIPbranchGetBranchingPoint(), SCIPbranchVar(), SCIPbranchVarVal(), SCIPbranchVarValNary(), SCIPcolCreate(), SCIPcomputeConvexEnvelopeFacet(), SCIPcomputeVarUbLocal(), SCIPconflictAnalyzePseudo(), SCIPconflictAnalyzeStrongbranch(), SCIPcreateFiniteSolCopy(), SCIPcreateWorstCaseProfile(), SCIPcutGenerationHeuristicCmir(), SCIPevalExprtreeLocalBounds(), SCIPfixVar(), SCIPfixVarProbing(), SCIPgetVarStrongbranchWithPropagation(), SCIPinferBinvarCons(), SCIPinferBinvarProp(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPisLinearLocalQuadratic(), SCIPlpEndDive(), SCIPlpRecomputeLocalAndGlobalPseudoObjval(), SCIPlpStartDive(), SCIPlpUpdateVarLb(), SCIPlpUpdateVarObj(), SCIPnlpEndDive(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPnodePropagateImplics(), SCIPperformGenericDivingAlgorithm(), SCIPpricestoreAddBdviolvar(), SCIPpricestoreAddProbVars(), SCIPpricestoreAddVar(), SCIPpricestoreResetBounds(), SCIPprobUpdateBestRootSol(), SCIPselectVarPseudoStrongBranching(), SCIPselectVarStrongBranching(), SCIPseparateRelaxedKnapsack(), SCIPsolGetRayVal(), SCIPsolGetVal(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPvarAddHoleLocal(), SCIPvarChgUbGlobal(), SCIPvarCopy(), SCIPvarGetImplRedcost(), SCIPvarGetLbLocal(), SCIPvarGetMultaggrLbLocal(), SCIPvarGetMultaggrUbLocal(), SCIPvarGetNLPSol_rec(), SCIPvarGetRedcost(), SCIPvarGetRelaxSol(), SCIPvarGetUbAtIndex(), SCIPvarPrint(), SCIPvarWasFixedAtIndex(), SCIPvisualCutoffNode(), SCIPvisualNewChild(), SCIPvisualSolvedNode(), SCIPvisualUpdateChild(), SCIPwriteGms(), SCIPwriteLp(), SCIPwritePip(), searchEcAggr(), selectBranchVar(), selectNextDiving(), separateCons(), separateCuts(), separateIndicators(), separatePoint(), sepastoreApplyLb(), sepastoreApplyUb(), sepastoreIsBdchgApplicable(), solveIndependentCons(), solveSubMIP(), sortBounds(), termIsConstant(), tightenBounds(), tightenCoefs(), tightenedIntvar(), tightenLbTTEF(), tightenVarLb(), tightenVarsBoundsSOS1(), tightenVarUb(), transformMIRRow(), transformStrongCGRow(), transformVariable(), treeApplyPendingBdchgs(), tryOneOpt(), trySolCandidate(), unlockVariableSOS2(), updateBestCandidate(), updateFirstRow(), updateImplicationGraphSOS1(), updatePseudocost(), updateWeightsTCliquegraph(), varIsFixed(), varIsUnfixedLocal(), varProcessAddHoleLocal(), varProcessBoundChanges(), writeFzn(), and writeOpbRelevantAnds().

SCIP_HOLELIST* SCIPvarGetHolelistLocal

(

SCIP_VAR *

var

)

gets the current hole list of an active variable

Parameters

var	problem variable

Definition at line 17133 of file var.c.

References SCIP_Dom::holelist, SCIP_Var::locdom, NULL, SCIP_Real, and SCIPvarGetBestBoundLocal().

Referenced by SCIPvarCopy(), SCIPvarGetUbLocal(), and SCIPvarPrint().

SCIP_Real SCIPvarGetBestBoundLocal

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 17143 of file var.c.

References SCIP_Dom::lb, SCIP_Var::locdom, NULL, SCIP_Var::obj, SCIP_Real, SCIPvarGetWorstBoundLocal(), and SCIP_Dom::ub.

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

SCIP_Real SCIPvarGetWorstBoundLocal

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 17156 of file var.c.

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

Referenced by SCIP_DECL_CONSINITLP(), SCIPtreeBranchVar(), SCIPtreeBranchVarNary(), and SCIPvarGetBestBoundLocal().

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 17169 of file var.c.

References NULL, SCIP_Var::obj, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, and SCIPvarGetWorstBoundType().

Referenced by adjustCutoffbound(), collectMinactImplicVars(), collectMinactObjchg(), collectMinactVar(), consdataComputePseudoActivity(), getMinactObjchg(), objimplicsCreate(), SCIP_DECL_CONSINITLP(), SCIPlpGetModifiedProvedPseudoObjval(), SCIPlpGetModifiedPseudoObjval(), and SCIPvarGetWorstBoundLocal().

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 17182 of file var.c.

References NULL, SCIP_Var::obj, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_Real, and SCIPvarGetLbLazy().

Referenced by getMaxactImplicObjchg(), getMaxactObjchg(), and SCIPvarGetBestBoundType().

SCIP_Real SCIPvarGetLbLazy

(

SCIP_VAR *

var

)

gets lazy lower bound of variable

gets lazy lower bound of variable, returns -infinity if the variable has no lazy lower bound

Parameters

var	problem variable

Definition at line 17195 of file var.c.

References SCIP_Var::lazylb, NULL, SCIP_Real, and SCIPvarGetUbLazy().

Referenced by SCIPcolCreate(), SCIPvarGetWorstBoundType(), and SCIPvarPrint().

SCIP_Real SCIPvarGetUbLazy

(

SCIP_VAR *

var

)

gets lazy upper bound of variable

gets lazy upper bound of variable, returns infinity if the variable has no lazy upper bound

Parameters

var	problem variable

Definition at line 17205 of file var.c.

References SCIP_Var::lazyub, NULL, SCIP_Real, and SCIPvarGetBranchFactor().

Referenced by SCIPcolCreate(), SCIPvarGetLbLazy(), and SCIPvarPrint().

SCIP_Real SCIPvarGetBranchFactor

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 17217 of file var.c.

References SCIP_Var::branchfactor, NULL, and SCIPvarGetBranchPriority().

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

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 17229 of file var.c.

References SCIP_Var::branchpriority, NULL, and SCIPvarGetBranchDirection().

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

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 17239 of file var.c.

References SCIP_Var::branchdirection, NULL, and SCIPvarGetNVlbs().

Referenced by SCIP_DECL_DIALOGEXEC(), SCIPtreeCalcNodeselPriority(), and SCIPvarGetBranchPriority().

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 17249 of file var.c.

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

Referenced by collectNonBinaryVBoundData(), computeImpliedEst(), constructSNFRelaxation(), detectImpliedBounds(), dfs(), findClosestLb(), getClosestVlb(), initData(), projectVbd(), propagateVarbounds(), roundMIRRow(), SCIPseparateRelaxedKnapsack(), SCIPvarGetBranchDirection(), SCIPvarGetClosestVlb(), SCIPvisualizeConsCumulative(), strengthenVarbounds(), transformMIRRow(), and transformStrongCGRow().

SCIP_VAR** SCIPvarGetVlbVars

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 17261 of file var.c.

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

Referenced by collectNonBinaryVBoundData(), computeImpliedEst(), constructSNFRelaxation(), dfs(), findBestLb(), findClosestLb(), getClosestVlb(), initData(), projectVbd(), propagateVarbounds(), roundMIRRow(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVlb(), SCIPvarGetNVlbs(), SCIPvisualizeConsCumulative(), strengthenVarbounds(), transformMIRRow(), and transformStrongCGRow().

SCIP_Real* SCIPvarGetVlbCoefs

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 17271 of file var.c.

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

Referenced by collectNonBinaryVBoundData(), computeImpliedEst(), constructSNFRelaxation(), dfs(), findClosestLb(), getClosestVlb(), initData(), projectVbd(), propagateVarbounds(), roundMIRRow(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVlb(), SCIPvarGetVlbVars(), strengthenVarbounds(), transformMIRRow(), and transformStrongCGRow().

SCIP_Real* SCIPvarGetVlbConstants

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 17281 of file var.c.

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

Referenced by collectNonBinaryVBoundData(), computeImpliedEst(), constructSNFRelaxation(), findClosestLb(), getClosestVlb(), initData(), projectVbd(), propagateVarbounds(), roundMIRRow(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVlb(), SCIPvarGetVlbCoefs(), strengthenVarbounds(), transformMIRRow(), and transformStrongCGRow().

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 17291 of file var.c.

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

Referenced by collectNonBinaryVBoundData(), computeImpliedLct(), constructSNFRelaxation(), detectImpliedBounds(), dfs(), findClosestUb(), getClosestVub(), initData(), projectVbd(), propagateVarbounds(), roundMIRRow(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVub(), SCIPvarGetVlbConstants(), SCIPvisualizeConsCumulative(), transformMIRRow(), and transformStrongCGRow().

SCIP_VAR** SCIPvarGetVubVars

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 17303 of file var.c.

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

Referenced by collectNonBinaryVBoundData(), computeImpliedLct(), constructSNFRelaxation(), dfs(), findBestUb(), findClosestUb(), getClosestVub(), initData(), projectVbd(), propagateVarbounds(), roundMIRRow(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVub(), SCIPvarGetNVubs(), SCIPvisualizeConsCumulative(), transformMIRRow(), and transformStrongCGRow().

SCIP_Real* SCIPvarGetVubCoefs

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 17313 of file var.c.

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

Referenced by collectNonBinaryVBoundData(), computeImpliedLct(), constructSNFRelaxation(), dfs(), findClosestUb(), getClosestVub(), initData(), projectVbd(), propagateVarbounds(), roundMIRRow(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVub(), SCIPvarGetVubVars(), transformMIRRow(), and transformStrongCGRow().

SCIP_Real* SCIPvarGetVubConstants

(

SCIP_VAR *

var

)

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

Parameters

var	problem variable

Definition at line 17323 of file var.c.

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

Referenced by collectNonBinaryVBoundData(), computeImpliedLct(), constructSNFRelaxation(), findClosestUb(), getClosestVub(), initData(), projectVbd(), propagateVarbounds(), roundMIRRow(), SCIPseparateRelaxedKnapsack(), SCIPvarGetClosestVub(), SCIPvarGetVubCoefs(), transformMIRRow(), and transformStrongCGRow().

int SCIPvarGetNImpls	(	SCIP_VAR *	var,
		SCIP_Bool	varfixing
	)

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

Parameters

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

Definition at line 17335 of file var.c.

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

Referenced by catchEvents(), collectNonBinaryImplicationData(), dfs(), getImpliedBounds(), getMaxactImplicObjchg(), presolveDisaggregate(), propagateVbounds(), removeConstraintsDueToNegCliques(), SCIP_DECL_PRESOLEXEC(), SCIPapplyProbingVar(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarGetAvgInferences(), SCIPvarGetAvgInferencesCurrentRun(), SCIPvarGetVubConstants(), separateCuts(), and sortVariables().

SCIP_VAR** SCIPvarGetImplVars	(	SCIP_VAR *	var,
		SCIP_Bool	varfixing
	)

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

Parameters

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

Definition at line 17352 of file var.c.

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

Referenced by collectNonBinaryImplicationData(), dfs(), getImpliedBounds(), getMaxactImplicObjchg(), propagateVbounds(), SCIP_DECL_PRESOLEXEC(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarGetNImpls(), and separateCuts().

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 17367 of file var.c.

References SCIP_Var::implics, NULL, SCIP_Real, SCIPimplicsGetTypes(), SCIPvarGetImplBounds(), and SCIPvarIsActive().

Referenced by collectNonBinaryImplicationData(), dfs(), getImpliedBounds(), getMaxactImplicObjchg(), propagateVbounds(), SCIP_DECL_PRESOLEXEC(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarGetImplVars(), and separateCuts().

SCIP_Real* SCIPvarGetImplBounds	(	SCIP_VAR *	var,
		SCIP_Bool	varfixing
	)

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

Parameters

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

Definition at line 17381 of file var.c.

References SCIP_Var::implics, NULL, SCIPimplicsGetBounds(), SCIPvarGetImplIds(), and SCIPvarIsActive().

Referenced by collectNonBinaryImplicationData(), getImpliedBounds(), getMaxactImplicObjchg(), propagateVbounds(), SCIP_DECL_PRESOLEXEC(), SCIPcopyImplicationsCliques(), SCIPnodePropagateImplics(), SCIPvarGetImplTypes(), and separateCuts().

int* SCIPvarGetImplIds	(	SCIP_VAR *	var,
		SCIP_Bool	varfixing
	)

Gets array with unique ids of implications y <= b or y >= b for x == 0 or x == 1 of given active problem variable x, there are no implications for nonbinary variable x. If an implication is a shortcut, i.e., it was added as part of the transitive closure of another implication, its id is negative, otherwise it is nonnegative.

Parameters

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

Definition at line 17397 of file var.c.

References SCIP_Var::implics, NULL, SCIPimplicsGetIds(), SCIPvarGetNCliques(), and SCIPvarIsActive().

Referenced by dfs(), propagateVbounds(), and SCIPvarGetImplBounds().

int SCIPvarGetNCliques	(	SCIP_VAR *	var,
		SCIP_Bool	varfixing
	)

gets number of cliques, the active variable is contained in

Parameters

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

Definition at line 17409 of file var.c.

References SCIP_Var::cliquelist, NULL, SCIPcliquelistGetNCliques(), and SCIPvarGetCliques().

Referenced by addNextLevelCliques(), catchEvents(), cliqueCheck(), collectBinaryCliqueData(), collectMinactImplicVars(), collectMinactVar(), detectImpliedBounds(), dfs(), getMaxactImplicObjchg(), GUBsetCalcCliquePartition(), insertSortedRootNeighbors(), isNeighbor(), propagateVbounds(), removeConstraintsDueToNegCliques(), SCIPapplyProbingVar(), SCIPcalcCliquePartition(), SCIPcliquelistCheck(), SCIPcliquelistRemoveFromCliques(), SCIPhaveVarsCommonClique(), SCIPnodePropagateImplics(), SCIPvarGetAvgInferences(), SCIPvarGetAvgInferencesCurrentRun(), SCIPvarGetImplIds(), SCIPvarGetImplRedcost(), separateGLS(), separateHeur(), sortVariables(), tcliquegraphAddCliqueVars(), and tcliquegraphAddNode().

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 17420 of file var.c.

References SCIP_Var::cliquelist, NULL, SCIP_Real, SCIPcliquelistGetCliques(), and SCIPvarGetLPSol().

Referenced by addGLSCliques(), addNextLevelCliques(), cliqueCheck(), collectBinaryCliqueData(), collectMinactImplicVars(), dfs(), getMaxactImplicObjchg(), insertSortedRootNeighbors(), isNeighbor(), propagateVbounds(), SCIPcliquelistCheck(), SCIPcliquelistRemoveFromCliques(), SCIPnodePropagateImplics(), SCIPvarGetImplRedcost(), SCIPvarGetNCliques(), and tcliquegraphAddNode().

SCIP_Real SCIPvarGetLPSol

(

SCIP_VAR *

var

)

gets primal LP solution value of variable

Parameters

var	problem variable

Definition at line 17431 of file var.c.

References SCIP_Var::col, SCIP_Var::data, NULL, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIPcolGetPrimsol(), SCIPvarGetLPSol_rec(), SCIPvarGetNLPSol(), and SCIPvarGetStatus().

Referenced by branch(), createCGCuts(), createSubproblem(), filterExistingLP(), generateAverageNBRay(), generateCloseCutPoint(), generateDifferenceRay(), generateStartingPoint(), getFixingValue(), getMIRRowActivity(), handle1Cycle(), handleCycle(), isPseudocostUpdateValid(), nodepartitionIsConnected(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPgetVarSols(), SCIPnodeAddBoundinfer(), SCIPselectVarPseudoStrongBranching(), SCIPvarGetCliques(), SCIPvarGetClosestVlb(), SCIPvarGetClosestVub(), SCIPvarGetLPSol_rec(), SCIPvarGetSol(), selectVarMultAggrBranching(), solCutIsViolated(), solGetArrayVal(), solUnlinkVar(), sortBounds(), substituteMIRRow(), transformMIRRow(), transformStrongCGRow(), and updatePseudocost().

SCIP_Real SCIPvarGetNLPSol

(

SCIP_VAR *

var

)

gets primal NLP solution value of variable

Parameters

var	problem variable

Definition at line 17444 of file var.c.

References SCIP_Var::nlpsol, NULL, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPvarGetBdchgInfoLb(), SCIPvarGetNLPSol_rec(), and SCIPvarGetStatus().

Referenced by computeFixingrate(), createSolFromNLP(), createSubproblem(), getFixingValue(), maximalslack(), nlpCalcFracVars(), nlpDelVarPos(), nlpUpdateVarBounds(), SCIPnlrowRecalcNLPActivity(), SCIProwGetNLPFeasibility(), SCIPsolLinkNLPSol(), SCIPvarGetLPSol(), SCIPvarGetNLPSol_rec(), solGetArrayVal(), and solUnlinkVar().

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 17457 of file var.c.

References SCIP_Var::lbchginfos, and SCIPvarGetNBdchgInfosLb().

Referenced by SCIPconflictAddRelaxedBound(), SCIPvarGetNLPSol(), and updatePseudocost().

int SCIPvarGetNBdchgInfosLb

(

SCIP_VAR *

var

)

gets the number of lower bound change info array

Parameters

var	problem variable

Definition at line 17469 of file var.c.

References SCIP_Var::nlbchginfos, and SCIPvarGetBdchgInfoUb().

Referenced by SCIPvarGetBdchgInfoLb(), and updatePseudocost().

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 17477 of file var.c.

References SCIPvarGetNBdchgInfosUb(), and SCIP_Var::ubchginfos.

Referenced by SCIPconflictAddRelaxedBound(), SCIPvarGetNBdchgInfosLb(), and updatePseudocost().

int SCIPvarGetNBdchgInfosUb

(

SCIP_VAR *

var

)

gets the number upper bound change info array

Parameters

var	problem variable

Definition at line 17489 of file var.c.

References SCIP_Var::nubchginfos, NULL, and SCIPvarGetValuehistory().

Referenced by SCIPvarGetBdchgInfoUb(), and updatePseudocost().

SCIP_VALUEHISTORY* SCIPvarGetValuehistory

(

SCIP_VAR *

var

)

returns the value based history for the variable

Parameters

var	problem variable

Definition at line 17499 of file var.c.

References NULL, SCIP_Real, SCIPvarGetPseudoSol(), and SCIP_Var::valuehistory.

Referenced by getValueScore(), and SCIPvarGetNBdchgInfosUb().

SCIP_Real SCIPvarGetLPSol_rec

(

SCIP_VAR *

var

)

gets primal LP solution value of variable

Parameters

var	problem variable

Definition at line 12328 of file var.c.

References SCIP_Var::aggregate, SCIP_Var::col, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Dom::lb, SCIP_Var::locdom, SCIP_Var::multaggr, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_DEFAULT_INFINITY, SCIP_INVALID, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPcolGetPrimsol(), SCIPerrorMessage, SCIPvarGetBestBoundLocal(), SCIPvarGetLPSol(), SCIPvarGetNLPSol_rec(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, and SCIP_Multaggr::vars.

Referenced by SCIPvarGetLPSol(), and SCIPvarGetUbLP().

SCIP_Real SCIPvarGetNLPSol_rec

(

SCIP_VAR *

var

)

gets primal NLP solution value of variable

Parameters

var	problem variable

Definition at line 12400 of file var.c.

References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::multaggr, SCIP_Var::negate, SCIP_Var::negatedvar, SCIP_Var::nlpsol, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_INVALID, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetNLPSol(), SCIPvarGetPseudoSol_rec(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Multaggr::vars.

Referenced by SCIPvarGetLPSol_rec(), and SCIPvarGetNLPSol().

SCIP_Real SCIPvarGetPseudoSol

(

SCIP_VAR *

var

)

gets pseudo solution value of variable at current node

gets pseudo solution value of variable

Parameters

var	problem variable

Definition at line 17509 of file var.c.

References NULL, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPvarGetBestBoundLocal(), SCIPvarGetPseudoSol_rec(), SCIPvarGetStatus(), and SCIPvarGetVSIDS().

Referenced by SCIPgetVarSols(), SCIPprobPrintPseudoSol(), SCIPvarGetPseudoSol_rec(), SCIPvarGetSol(), SCIPvarGetValuehistory(), solGetArrayVal(), and solUnlinkVar().

SCIP_Real SCIPvarGetSol	(	SCIP_VAR *	var,
		SCIP_Bool	getlpval
	)

gets current LP or pseudo solution value of variable

Parameters

var	problem variable
getlpval	should the LP solution value be returned?

Definition at line 12514 of file var.c.

References SCIPvarGetLPSol(), SCIPvarGetPseudoSol(), and SCIPvarStoreRootSol().

Referenced by SCIP_DECL_BRANCHEXECLP(), SCIPbranchGetBranchingPoint(), SCIPgetSolVal(), SCIPgetVarSol(), SCIPprobUpdateBestRootSol(), SCIPtreeBranchVar(), SCIPtreeBranchVarHole(), SCIPtreeBranchVarNary(), SCIPtreeCalcChildEstimate(), SCIPtreeCalcNodeselPriority(), SCIPvarGetPseudoSol_rec(), and SCIPvarStoreRootSol().

SCIP_Real SCIPvarGetRootSol

(

SCIP_VAR *

var

)

returns the solution of the variable in the last root node's relaxation, if the root relaxation is not yet completely solved, zero is returned

Parameters

var	problem variable

Definition at line 12607 of file var.c.

References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Dom::lb, SCIP_Var::locdom, SCIP_Var::multaggr, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_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, SCIPvarGetRedcost(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, and SCIP_Multaggr::vars.

Referenced by calcPscostQuot(), generateDifferenceRay(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_HEUREXEC(), SCIPtreeBranchVar(), SCIPtreeCalcNodeselPriority(), and SCIPvarUpdateBestRootSol().

SCIP_Real SCIPvarGetBestRootSol

(

SCIP_VAR *

var

)

returns the best solution (w.r.t. root reduced cost propagation) of the variable in the root node's relaxation, if the root relaxation is not yet completely solved, zero is returned

Parameters

var	problem variable

Definition at line 12970 of file var.c.

References SCIP_Var::aggregate, SCIP_Var::bestrootsol, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Dom::lb, SCIP_Var::locdom, SCIP_Var::multaggr, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_DEFAULT_INFINITY, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPvarGetBestRootRedcost(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, and SCIP_Multaggr::vars.

Referenced by propagateBinaryBestRootRedcost(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), and SCIPvarGetImplRedcost().

SCIP_Real SCIPvarGetBestRootRedcost

(

SCIP_VAR *

var

)

returns the best reduced costs (w.r.t. root reduced cost propagation) of the variable in the root node's relaxation, if the root relaxation is not yet completely solved, or the variable was no column of the root LP, SCIP_INVALID is returned

Parameters

var	problem variable

Definition at line 13036 of file var.c.

References SCIP_Var::bestrootredcost, SCIP_Var::data, NULL, SCIP_Var::original, SCIP_INVALID, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPvarGetBestRootLPObjval(), SCIPvarGetStatus(), and SCIP_Original::transvar.

Referenced by countNonZeroRootRedcostVars(), propagateBinaryBestRootRedcost(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), propdataInit(), and SCIPvarGetBestRootSol().

SCIP_Real SCIPvarGetBestRootLPObjval

(

SCIP_VAR *

var

)

returns the best objective value (w.r.t. root reduced cost propagation) of the root LP which belongs the root reduced cost which is accessible via SCIPvarGetRootRedcost() or the variable was no column of the root LP, SCIP_INVALID is returned

Parameters

var	problem variable

Definition at line 13070 of file var.c.

References SCIP_Var::bestrootlpobjval, SCIP_Var::data, NULL, SCIP_Var::original, SCIP_INVALID, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPvarGetStatus(), SCIPvarSetBestRootSol(), and SCIP_Original::transvar.

Referenced by propagateBinaryBestRootRedcost(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), and SCIPvarGetBestRootRedcost().

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 13101 of file var.c.

References SCIP_Var::bestrootlpobjval, SCIP_Var::bestrootredcost, SCIP_Var::bestrootsol, NULL, and SCIPvarSetRelaxSol().

Referenced by SCIPprobExitSolve(), and SCIPvarGetBestRootLPObjval().

SCIP_Real SCIPvarGetAvgSol

(

SCIP_VAR *

var

)

returns a weighted average solution value of the variable in all feasible primal solutions found so far

Parameters

var	problem variable

Definition at line 13316 of file var.c.

References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::glbdom, SCIP_Dom::lb, SCIP_Var::locdom, MAX, 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, SCIPvarGetClosestVlb(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, and SCIP_Multaggr::vars.

Referenced by SCIPvarSetNLPSol().

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 15606 of file var.c.

References SCIP_BdChgInfo::bdchgidx, SCIP_BdChgInfo::boundtype, SCIP_Var::lbchginfos, SCIP_BdChgInfo::newbound, SCIP_Var::nlbchginfos, NULL, SCIP_BdChgInfo::oldbound, SCIP_BdChgInfo::pos, SCIP_BdChgInfo::redundant, SCIP_BOUNDTYPE_LOWER, SCIPbdchgidxIsEarlier(), SCIPvarGetUbchgInfo(), SCIPvarIsActive(), and SCIP_BdChgInfo::var.

Referenced by SCIPbdchginfoFree(), SCIPvarGetBdchgInfo(), and SCIPvarGetLbAtIndex().

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 15662 of file var.c.

References SCIP_BdChgInfo::bdchgidx, SCIP_BdChgInfo::boundtype, SCIP_BdChgInfo::newbound, SCIP_Var::nubchginfos, NULL, SCIP_BdChgInfo::oldbound, SCIP_BdChgInfo::pos, SCIP_BdChgInfo::redundant, SCIP_BOUNDTYPE_UPPER, SCIPbdchgidxIsEarlier(), SCIPvarGetBdchgInfo(), SCIPvarIsActive(), SCIP_Var::ubchginfos, and SCIP_BdChgInfo::var.

Referenced by SCIPvarGetBdchgInfo(), SCIPvarGetLbchgInfo(), and SCIPvarGetUbAtIndex().

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 15718 of file var.c.

References SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_Real, SCIPvarGetLbAtIndex(), SCIPvarGetLbchgInfo(), and SCIPvarGetUbchgInfo().

Referenced by SCIPconflictAddBound(), SCIPconflictAddRelaxedBound(), and SCIPvarGetUbchgInfo().

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

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 15737 of file var.c.

References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::glbdom, SCIP_Dom::lb, SCIP_Var::multaggr, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_DEFAULT_INFINITY, SCIP_INVALID, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbdchginfoGetNewbound(), SCIPerrorMessage, SCIPvarGetLbchgInfo(), SCIPvarGetLbLocal(), SCIPvarGetStatus(), SCIPvarGetUbAtIndex(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Multaggr::vars.

Referenced by addConflictBinvar(), addConflictBounds(), adjustCutoffbound(), analyzeConflictUpperbound(), analyzeEnergyRequirement(), getConflictImplics(), getGenVBoundsMinActivityConflict(), getMinactImplicObjchg(), resolveGenVBoundPropagation(), resolvePropagation(), resolvePropagationCoretimes(), respropCumulativeCondition(), SCIP_DECL_CONSRESPROP(), SCIPconflictIsVarUsed(), SCIPconsResolvePropagation(), SCIPpropResolvePropagation(), SCIPvarGetBdAtIndex(), SCIPvarGetBdchgInfo(), SCIPvarGetUbAtIndex(), and SCIPvarWasFixedAtIndex().

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

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 15859 of file var.c.

References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::glbdom, SCIP_Var::multaggr, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_DEFAULT_INFINITY, SCIP_INVALID, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbdchginfoGetNewbound(), SCIPerrorMessage, SCIPvarGetBdAtIndex(), SCIPvarGetLbAtIndex(), SCIPvarGetStatus(), SCIPvarGetUbchgInfo(), SCIPvarGetUbLocal(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, and SCIP_Multaggr::vars.

Referenced by addConflictBinvar(), addConflictBounds(), adjustCutoffbound(), analyzeConflictLowerbound(), analyzeEnergyRequirement(), getConflictImplics(), getGenVBoundsMinActivityConflict(), getMinactImplicObjchg(), resolveGenVBoundPropagation(), resolvePropagation(), resolvePropagationCoretimes(), respropCumulativeCondition(), SCIP_DECL_CONSRESPROP(), SCIPconflictIsVarUsed(), SCIPconsResolvePropagation(), SCIPpropResolvePropagation(), SCIPvarGetBdAtIndex(), SCIPvarGetLbAtIndex(), and SCIPvarWasFixedAtIndex().

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

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 15981 of file var.c.

References SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIPvarGetLbAtIndex(), SCIPvarGetUbAtIndex(), and SCIPvarWasFixedAtIndex().

Referenced by conflictResolveBound(), and SCIPvarGetUbAtIndex().

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

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 15998 of file var.c.

References initbdchgidx, NULL, SCIPvarGetLbAtIndex(), SCIPvarGetLbLocal(), SCIPvarGetUbAtIndex(), SCIPvarGetUbLocal(), and SCIPvarIsBinary().

Referenced by SCIPvarGetBdAtIndex().

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 16021 of file var.c.

References SCIP_BdChgInfo::bdchgidx, initbdchgidx, SCIP_Var::lbchginfos, SCIP_Var::nlbchginfos, SCIP_Var::nubchginfos, NULL, presolvebdchgidx, SCIP_BdChgInfo::redundant, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPbdchgidxIsEarlierNonNull(), SCIPvarGetLastBdchgDepth(), SCIPvarGetProbvar(), SCIPvarGetStatus(), SCIPvarIsActive(), and SCIP_Var::ubchginfos.

Referenced by SCIPvarGetLastBdchgDepth().

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 16058 of file var.c.

References SCIP_BdChgIdx::depth, NULL, SCIPvarGetConflictingBdchgDepth(), and SCIPvarGetLastBdchgIndex().

Referenced by SCIPvarGetLastBdchgIndex().

SCIP_Bool SCIPvarWasFixedEarlier	(	SCIP_VAR *	var1,
		SCIP_VAR *	var2
	)

returns whether the first binary variable was fixed earlier than the second one; returns FALSE, if the first variable is not fixed, and returns TRUE, if the first variable is fixed, but the second one is not fixed

Parameters

var1	first binary variable
var2	second binary variable

Definition at line 16146 of file var.c.

References SCIP_BdChgInfo::bdchgidx, FALSE, SCIP_Var::glbdom, SCIP_Dom::lb, SCIP_Var::lbchginfos, SCIP_Var::nlbchginfos, SCIP_Var::nubchginfos, NULL, SCIP_BdChgInfo::redundant, SCIP_DECL_HASHGETKEY(), SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPbdchgidxIsEarlier(), SCIPvarGetProbvar(), SCIPvarGetStatus(), SCIPvarIsActive(), SCIPvarIsBinary(), TRUE, SCIP_Dom::ub, and SCIP_Var::ubchginfos.

Referenced by SCIPvarGetConflictingBdchgDepth().

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 17618 of file var.c.

References SCIP_BdChgIdx::depth, FALSE, NULL, SCIP_BdChgIdx::pos, SCIP_Real, SCIPbdchginfoGetOldbound(), and TRUE.

Referenced by SCIPbdchgidxIsEarlierNonNull(), SCIPconflictAddBound(), SCIPconflictAddRelaxedBound(), SCIPvarGetLbchgInfo(), SCIPvarGetUbchgInfo(), SCIPvarWasFixedEarlier(), varAddLbchginfo(), and varAddUbchginfo().

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 17598 of file var.c.

References SCIP_BdChgIdx::depth, NULL, SCIP_BdChgIdx::pos, SCIP_Bool, and SCIPbdchgidxIsEarlier().

Referenced by SCIP_DECL_SORTPTRCOMP(), SCIPbdchgidxGetPos(), and SCIPvarGetLastBdchgIndex().

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 17638 of file var.c.

References NULL, SCIP_BdChgInfo::oldbound, SCIP_Real, and SCIPbdchginfoGetNewbound().

Referenced by conflictAddBound(), SCIPbdchgidxIsEarlier(), and SCIPconflictAddRelaxedBound().

SCIP_Real SCIPbdchginfoGetNewbound

(

SCIP_BDCHGINFO *

bdchginfo

)

returns new bound installed for given bound change information

Parameters

bdchginfo

bound change information

Definition at line 17648 of file var.c.

References SCIP_BdChgInfo::newbound, NULL, and SCIPbdchginfoGetVar().

Referenced by bdchginfoIsInvalid(), checkRedundancy(), conflictAddBound(), conflictAddConflictBound(), conflictAnalyze(), conflictAnalyzeRemainingBdchgs(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictMarkBoundCheckPresence(), conflictQueueBound(), conflictResolveBound(), conflictsetAddBounds(), conflictsetIsRedundant(), detectImpliedBounds(), isBoundchgUseless(), SCIP_DECL_CONFLICTEXEC(), SCIPbdchginfoGetOldbound(), SCIPconflictAddBound(), SCIPconflictAddRelaxedBound(), SCIPvarGetLbAtIndex(), and SCIPvarGetUbAtIndex().

SCIP_VAR* SCIPbdchginfoGetVar

(

SCIP_BDCHGINFO *

bdchginfo

)

returns variable that belongs to the given bound change information

Parameters

bdchginfo

bound change information

Definition at line 17658 of file var.c.

References NULL, SCIPbdchginfoGetChgtype(), and SCIP_BdChgInfo::var.

Referenced by bdchginfoIsInvalid(), checkRedundancy(), conflictAddBound(), conflictAddConflictBound(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictMarkBoundCheckPresence(), conflictQueueBound(), conflictRemoveCand(), conflictResolveBound(), conflictsetAddBound(), conflictsetAddBounds(), conflictsetIsRedundant(), detectImpliedBounds(), isBoundchgUseless(), SCIP_DECL_CONFLICTEXEC(), and SCIPbdchginfoGetNewbound().

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 17668 of file var.c.

References SCIP_BdChgInfo::boundchgtype, NULL, and SCIPbdchginfoGetBoundtype().

Referenced by bdchginfoIsResolvable(), conflictAddBound(), conflictResolveBound(), and SCIPbdchginfoGetVar().

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 17678 of file var.c.

References SCIP_BdChgInfo::boundtype, NULL, and SCIPbdchginfoGetDepth().

Referenced by bdchginfoIsInvalid(), checkRedundancy(), conflictAddBound(), conflictAddConflictBound(), conflictAnalyze(), conflictAnalyzeRemainingBdchgs(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictMarkBoundCheckPresence(), conflictQueueBound(), conflictRemoveCand(), conflictResolveBound(), conflictsetAddBound(), conflictsetAddBounds(), conflictsetIsRedundant(), detectImpliedBounds(), isBoundchgUseless(), SCIP_DECL_CONFLICTEXEC(), SCIPbdchginfoGetChgtype(), SCIPbdchginfoIsTighter(), and updateStatistics().

int SCIPbdchginfoGetDepth

(

SCIP_BDCHGINFO *

bdchginfo

)

returns depth level of given bound change information

Parameters

bdchginfo

bound change information

Definition at line 17688 of file var.c.

References SCIP_BdChgInfo::bdchgidx, SCIP_BdChgIdx::depth, NULL, and SCIPbdchginfoGetPos().

Referenced by conflictAddBound(), conflictAddConflictBound(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictResolveBound(), conflictsetAddBounds(), conflictsetCalcConflictDepth(), conflictsetCalcInsertDepth(), conflictsetIsRedundant(), SCIPbdchginfoGetBoundtype(), and SCIPconflictAddRelaxedBound().

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 17698 of file var.c.

References SCIP_BdChgInfo::bdchgidx, NULL, SCIP_BdChgIdx::pos, and SCIPbdchginfoGetIdx().

Referenced by conflictAddBound(), conflictAnalyze(), conflictCreateReconvergenceConss(), conflictResolveBound(), SCIPbdchginfoGetDepth(), and SCIPconflictAddRelaxedBound().

SCIP_BDCHGIDX* SCIPbdchginfoGetIdx

(

SCIP_BDCHGINFO *

bdchginfo

)

returns bound change index of given bound change information

Parameters

bdchginfo

bound change information

Definition at line 17708 of file var.c.

References SCIP_BdChgInfo::bdchgidx, NULL, and SCIPbdchginfoGetInferVar().

Referenced by conflictResolveBound(), SCIP_DECL_SORTPTRCOMP(), SCIPbdchginfoGetPos(), SCIPconflictAddBound(), and SCIPconflictAddRelaxedBound().

SCIP_VAR* SCIPbdchginfoGetInferVar

(

SCIP_BDCHGINFO *

bdchginfo

)

returns inference variable of given bound change information

Parameters

bdchginfo

bound change information

Definition at line 17718 of file var.c.

References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, SCIP_BOUNDCHGTYPE_CONSINFER, SCIP_BOUNDCHGTYPE_PROPINFER, and SCIPbdchginfoGetInferCons().

Referenced by conflictResolveBound(), and SCIPbdchginfoGetIdx().

SCIP_CONS* SCIPbdchginfoGetInferCons

(

SCIP_BDCHGINFO *

bdchginfo

)

returns inference constraint of given bound change information

Parameters

bdchginfo

bound change information

Definition at line 17730 of file var.c.

References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, SCIP_BOUNDCHGTYPE_CONSINFER, and SCIPbdchginfoGetInferProp().

Referenced by conflictAddBound(), conflictResolveBound(), and SCIPbdchginfoGetInferVar().

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 17742 of file var.c.

References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, SCIP_BOUNDCHGTYPE_PROPINFER, and SCIPbdchginfoGetInferInfo().

Referenced by bdchginfoIsResolvable(), conflictAddBound(), conflictResolveBound(), and SCIPbdchginfoGetInferCons().

int SCIPbdchginfoGetInferInfo

(

SCIP_BDCHGINFO *

bdchginfo

)

returns inference user information of given bound change information

Parameters

bdchginfo

bound change information

Definition at line 17753 of file var.c.

References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, SCIP_BOUNDCHGTYPE_CONSINFER, SCIP_BOUNDCHGTYPE_PROPINFER, and SCIPbdchginfoGetInferBoundtype().

Referenced by conflictAddBound(), conflictResolveBound(), and SCIPbdchginfoGetInferProp().

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 17765 of file var.c.

References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferboundtype, NULL, SCIP_BOUNDCHGTYPE_CONSINFER, SCIP_BOUNDCHGTYPE_PROPINFER, SCIP_Real, and SCIPbdchginfoGetRelaxedBound().

Referenced by conflictResolveBound(), and SCIPbdchginfoGetInferInfo().

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 17786 of file var.c.

References SCIP_BdChgInfo::newbound, NULL, SCIP_BdChgInfo::oldbound, SCIP_BdChgInfo::redundant, SCIP_Bool, and SCIPbdchginfoHasInferenceReason().

Referenced by bdchginfoIsResolvable(), conflictAddBound(), conflictAddConflictBound(), conflictAnalyze(), conflictAnalyzeRemainingBdchgs(), conflictCreateReconvergenceConss(), conflictFirstCand(), conflictQueueBound(), conflictRemoveCand(), conflictResolveBound(), SCIP_DECL_SORTPTRCOMP(), SCIPbdchginfoGetRelaxedBound(), and SCIPconflictAddRelaxedBound().

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 17797 of file var.c.

References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, SCIP_Bool, SCIP_BOUNDCHGTYPE_CONSINFER, SCIP_BOUNDCHGTYPE_PROPINFER, and SCIPbdchginfoIsTighter().

Referenced by conflictAnalyze(), and SCIPbdchginfoIsRedundant().

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 17811 of file var.c.

References SCIP_BdChgInfo::boundtype, SCIP_BdChgInfo::newbound, NULL, SCIP_BOUNDTYPE_LOWER, SCIPbdchginfoGetBoundtype(), and SCIP_BdChgInfo::var.

Referenced by conflictsetAddBound(), conflictsetAddBounds(), conflictsetIsRedundant(), and SCIPbdchginfoHasInferenceReason().

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 16340 of file var.c.

References SCIP_BoundChg::newbound, NULL, and SCIPboundchgGetVar().

Referenced by boundchgApplyGlobal(), SCIP_DECL_HASHGETKEY(), and SCIPendStrongbranch().

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 16350 of file var.c.

References NULL, SCIPboundchgGetBoundchgtype(), and SCIP_BoundChg::var.

Referenced by boundchgApplyGlobal(), SCIPboundchgGetNewbound(), SCIPendStrongbranch(), and SCIPnodePropagateImplics().

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 16360 of file var.c.

References SCIP_BoundChg::boundchgtype, NULL, and SCIPboundchgGetBoundtype().

Referenced by SCIPboundchgGetVar().

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 16370 of file var.c.

References SCIP_BoundChg::boundtype, NULL, SCIP_Bool, and SCIPboundchgIsRedundant().

Referenced by boundchgApplyGlobal(), SCIPboundchgGetBoundchgtype(), SCIPendStrongbranch(), and SCIPnodePropagateImplics().

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 16380 of file var.c.

References NULL, SCIP_BoundChg::redundant, and SCIPdomchgGetNBoundchgs().

Referenced by SCIPboundchgGetBoundtype(), SCIPendStrongbranch(), and SCIPnodePropagateImplics().

int SCIPdomchgGetNBoundchgs

(

SCIP_DOMCHG *

domchg

)

returns the number of bound changes in the domain change data

Parameters

domchg

domain change data

Definition at line 16390 of file var.c.

References SCIP_DomChg::domchgbound, SCIP_DomChgBound::nboundchgs, NULL, and SCIPdomchgGetBoundchg().

Referenced by SCIPboundchgIsRedundant(), SCIPendStrongbranch(), and SCIPnodePropagateImplics().

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 16398 of file var.c.

References SCIP_DomChgBound::boundchgs, SCIP_DomChg::domchgbound, SCIP_DomChgBound::nboundchgs, NULL, SCIP_Real, and SCIPholelistGetLeft().

Referenced by SCIPdomchgGetNBoundchgs(), SCIPendStrongbranch(), and SCIPnodePropagateImplics().

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 16410 of file var.c.

References SCIP_Holelist::hole, SCIP_Hole::left, NULL, SCIP_Real, and SCIPholelistGetRight().

Referenced by printHolelist(), and SCIPdomchgGetBoundchg().

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 16420 of file var.c.

References SCIP_Holelist::hole, NULL, SCIP_Hole::right, and SCIPholelistGetNext().

Referenced by printHolelist(), and SCIPholelistGetLeft().

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 16430 of file var.c.

References SCIP_Holelist::next, NULL, and SCIPvarGetName().

Referenced by printHolelist(), and SCIPholelistGetRight().