Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

public methods for problem variables

Functions

int SCIPvarGetNLocksDown (SCIP_VAR *var)
 
int SCIPvarGetNLocksUp (SCIP_VAR *var)
 
int SCIPvarGetNLocksUpType (SCIP_VAR *var, SCIP_LOCKTYPE locktype)
 
int SCIPvarGetNLocksDownType (SCIP_VAR *var, SCIP_LOCKTYPE locktype)
 
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_VARSCIPvarGetProbvar (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)
 
void SCIPvarGetImplicVarBounds (SCIP_VAR *var, SCIP_Bool varfixing, SCIP_VAR *implvar, SCIP_Real *lb, SCIP_Real *ub)
 
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_VARDATASCIPvarGetData (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)
 
void SCIPvarMarkDeleteGlobalStructures (SCIP_VAR *var)
 
SCIP_Bool SCIPvarIsActive (SCIP_VAR *var)
 
int SCIPvarGetIndex (SCIP_VAR *var)
 
int SCIPvarGetProbindex (SCIP_VAR *var)
 
SCIP_VARSCIPvarGetTransVar (SCIP_VAR *var)
 
SCIP_COLSCIPvarGetCol (SCIP_VAR *var)
 
SCIP_Bool SCIPvarIsInLP (SCIP_VAR *var)
 
SCIP_VARSCIPvarGetAggrVar (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_RealSCIPvarGetMultaggrScalars (SCIP_VAR *var)
 
SCIP_Real SCIPvarGetMultaggrConstant (SCIP_VAR *var)
 
SCIP_VARSCIPvarGetNegatedVar (SCIP_VAR *var)
 
SCIP_VARSCIPvarGetNegationVar (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_HOLELISTSCIPvarGetHolelistOriginal (SCIP_VAR *var)
 
SCIP_Real SCIPvarGetLbGlobal (SCIP_VAR *var)
 
SCIP_Real SCIPvarGetUbGlobal (SCIP_VAR *var)
 
SCIP_HOLELISTSCIPvarGetHolelistGlobal (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_HOLELISTSCIPvarGetHolelistLocal (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_RealSCIPvarGetVlbCoefs (SCIP_VAR *var)
 
SCIP_RealSCIPvarGetVlbConstants (SCIP_VAR *var)
 
int SCIPvarGetNVubs (SCIP_VAR *var)
 
SCIP_VAR ** SCIPvarGetVubVars (SCIP_VAR *var)
 
SCIP_RealSCIPvarGetVubCoefs (SCIP_VAR *var)
 
SCIP_RealSCIPvarGetVubConstants (SCIP_VAR *var)
 
int SCIPvarGetNImpls (SCIP_VAR *var, SCIP_Bool varfixing)
 
SCIP_VAR ** SCIPvarGetImplVars (SCIP_VAR *var, SCIP_Bool varfixing)
 
SCIP_BOUNDTYPESCIPvarGetImplTypes (SCIP_VAR *var, SCIP_Bool varfixing)
 
SCIP_RealSCIPvarGetImplBounds (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_BDCHGINFOSCIPvarGetBdchgInfoLb (SCIP_VAR *var, int pos)
 
int SCIPvarGetNBdchgInfosLb (SCIP_VAR *var)
 
SCIP_BDCHGINFOSCIPvarGetBdchgInfoUb (SCIP_VAR *var, int pos)
 
int SCIPvarGetNBdchgInfosUb (SCIP_VAR *var)
 
SCIP_VALUEHISTORYSCIPvarGetValuehistory (SCIP_VAR *var)
 
SCIP_Bool SCIPvarIsRelaxationOnly (SCIP_VAR *var)
 
void SCIPvarMarkRelaxationOnly (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_BDCHGINFOSCIPvarGetLbchgInfo (SCIP_VAR *var, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
 
SCIP_BDCHGINFOSCIPvarGetUbchgInfo (SCIP_VAR *var, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
 
SCIP_BDCHGINFOSCIPvarGetBdchgInfo (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_BDCHGIDXSCIPvarGetLastBdchgIndex (SCIP_VAR *var)
 
int SCIPvarGetLastBdchgDepth (SCIP_VAR *var)
 
SCIP_Bool SCIPvarWasFixedEarlier (SCIP_VAR *var1, SCIP_VAR *var2)
 
SCIP_RETCODE SCIPcreateVar (SCIP *scip, SCIP_VAR **var, const char *name, SCIP_Real lb, SCIP_Real ub, SCIP_Real obj, SCIP_VARTYPE vartype, SCIP_Bool initial, SCIP_Bool removable, SCIP_DECL_VARDELORIG((*vardelorig)), SCIP_DECL_VARTRANS((*vartrans)), SCIP_DECL_VARDELTRANS((*vardeltrans)), SCIP_DECL_VARCOPY((*varcopy)), SCIP_VARDATA *vardata)
 
SCIP_RETCODE SCIPcreateVarBasic (SCIP *scip, SCIP_VAR **var, const char *name, SCIP_Real lb, SCIP_Real ub, SCIP_Real obj, SCIP_VARTYPE vartype)
 
SCIP_RETCODE SCIPwriteVarName (SCIP *scip, FILE *file, SCIP_VAR *var, SCIP_Bool type)
 
SCIP_RETCODE SCIPwriteVarsList (SCIP *scip, FILE *file, SCIP_VAR **vars, int nvars, SCIP_Bool type, char delimiter)
 
SCIP_RETCODE SCIPwriteVarsLinearsum (SCIP *scip, FILE *file, SCIP_VAR **vars, SCIP_Real *vals, int nvars, SCIP_Bool type)
 
SCIP_RETCODE SCIPwriteVarsPolynomial (SCIP *scip, FILE *file, SCIP_VAR ***monomialvars, SCIP_Real **monomialexps, SCIP_Real *monomialcoefs, int *monomialnvars, int nmonomials, SCIP_Bool type)
 
SCIP_RETCODE SCIPparseVar (SCIP *scip, SCIP_VAR **var, const char *str, SCIP_Bool initial, SCIP_Bool removable, SCIP_DECL_VARCOPY((*varcopy)), SCIP_DECL_VARDELORIG((*vardelorig)), SCIP_DECL_VARTRANS((*vartrans)), SCIP_DECL_VARDELTRANS((*vardeltrans)), SCIP_VARDATA *vardata, char **endptr, SCIP_Bool *success)
 
SCIP_RETCODE SCIPparseVarName (SCIP *scip, const char *str, SCIP_VAR **var, char **endptr)
 
SCIP_RETCODE SCIPparseVarsList (SCIP *scip, const char *str, SCIP_VAR **vars, int *nvars, int varssize, int *requiredsize, char **endptr, char delimiter, SCIP_Bool *success)
 
SCIP_RETCODE SCIPparseVarsLinearsum (SCIP *scip, const char *str, SCIP_VAR **vars, SCIP_Real *vals, int *nvars, int varssize, int *requiredsize, char **endptr, SCIP_Bool *success)
 
SCIP_RETCODE SCIPparseVarsPolynomial (SCIP *scip, const char *str, SCIP_VAR ****monomialvars, SCIP_Real ***monomialexps, SCIP_Real **monomialcoefs, int **monomialnvars, int *nmonomials, char **endptr, SCIP_Bool *success)
 
void SCIPfreeParseVarsPolynomialData (SCIP *scip, SCIP_VAR ****monomialvars, SCIP_Real ***monomialexps, SCIP_Real **monomialcoefs, int **monomialnvars, int nmonomials)
 
SCIP_RETCODE SCIPcaptureVar (SCIP *scip, SCIP_VAR *var)
 
SCIP_RETCODE SCIPreleaseVar (SCIP *scip, SCIP_VAR **var)
 
SCIP_RETCODE SCIPchgVarName (SCIP *scip, SCIP_VAR *var, const char *name)
 
SCIP_RETCODE SCIPtransformVar (SCIP *scip, SCIP_VAR *var, SCIP_VAR **transvar)
 
SCIP_RETCODE SCIPtransformVars (SCIP *scip, int nvars, SCIP_VAR **vars, SCIP_VAR **transvars)
 
SCIP_RETCODE SCIPgetTransformedVar (SCIP *scip, SCIP_VAR *var, SCIP_VAR **transvar)
 
SCIP_RETCODE SCIPgetTransformedVars (SCIP *scip, int nvars, SCIP_VAR **vars, SCIP_VAR **transvars)
 
SCIP_RETCODE SCIPgetNegatedVar (SCIP *scip, SCIP_VAR *var, SCIP_VAR **negvar)
 
SCIP_RETCODE SCIPgetNegatedVars (SCIP *scip, int nvars, SCIP_VAR **vars, SCIP_VAR **negvars)
 
SCIP_RETCODE SCIPgetBinvarRepresentative (SCIP *scip, SCIP_VAR *var, SCIP_VAR **repvar, SCIP_Bool *negated)
 
SCIP_RETCODE SCIPgetBinvarRepresentatives (SCIP *scip, int nvars, SCIP_VAR **vars, SCIP_VAR **repvars, SCIP_Bool *negated)
 
SCIP_RETCODE SCIPflattenVarAggregationGraph (SCIP *scip, SCIP_VAR *var)
 
SCIP_RETCODE SCIPgetProbvarLinearSum (SCIP *scip, SCIP_VAR **vars, SCIP_Real *scalars, int *nvars, int varssize, SCIP_Real *constant, int *requiredsize, SCIP_Bool mergemultiples)
 
SCIP_RETCODE SCIPgetProbvarSum (SCIP *scip, SCIP_VAR **var, SCIP_Real *scalar, SCIP_Real *constant)
 
SCIP_RETCODE SCIPgetActiveVars (SCIP *scip, SCIP_VAR **vars, int *nvars, int varssize, int *requiredsize)
 
SCIP_Real SCIPgetVarRedcost (SCIP *scip, SCIP_VAR *var)
 
SCIP_Real SCIPgetVarImplRedcost (SCIP *scip, SCIP_VAR *var, SCIP_Bool varfixing)
 
SCIP_Real SCIPgetVarFarkasCoef (SCIP *scip, SCIP_VAR *var)
 
SCIP_Real SCIPgetVarLbAtIndex (SCIP *scip, SCIP_VAR *var, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
 
SCIP_Real SCIPgetVarUbAtIndex (SCIP *scip, SCIP_VAR *var, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
 
SCIP_Real SCIPgetVarBdAtIndex (SCIP *scip, SCIP_VAR *var, SCIP_BOUNDTYPE boundtype, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
 
SCIP_Bool SCIPgetVarWasFixedAtIndex (SCIP *scip, SCIP_VAR *var, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
 
SCIP_Real SCIPgetVarSol (SCIP *scip, SCIP_VAR *var)
 
SCIP_RETCODE SCIPgetVarSols (SCIP *scip, int nvars, SCIP_VAR **vars, SCIP_Real *vals)
 
SCIP_RETCODE SCIPclearRelaxSolVals (SCIP *scip, SCIP_RELAX *relax)
 
SCIP_RETCODE SCIPsetRelaxSolVal (SCIP *scip, SCIP_RELAX *relax, SCIP_VAR *var, SCIP_Real val)
 
SCIP_RETCODE SCIPsetRelaxSolVals (SCIP *scip, SCIP_RELAX *relax, int nvars, SCIP_VAR **vars, SCIP_Real *vals, SCIP_Bool includeslp)
 
SCIP_RETCODE SCIPsetRelaxSolValsSol (SCIP *scip, SCIP_RELAX *relax, SCIP_SOL *sol, SCIP_Bool includeslp)
 
SCIP_Bool SCIPisRelaxSolValid (SCIP *scip)
 
SCIP_RETCODE SCIPmarkRelaxSolValid (SCIP *scip, SCIP_RELAX *relax, SCIP_Bool includeslp)
 
SCIP_RETCODE SCIPmarkRelaxSolInvalid (SCIP *scip)
 
SCIP_Real SCIPgetRelaxSolVal (SCIP *scip, SCIP_VAR *var)
 
SCIP_Real SCIPgetRelaxSolObj (SCIP *scip)
 
SCIP_Bool SCIPisStrongbranchDownFirst (SCIP *scip, SCIP_VAR *var)
 
SCIP_RETCODE SCIPstartStrongbranch (SCIP *scip, SCIP_Bool enablepropagation)
 
SCIP_RETCODE SCIPendStrongbranch (SCIP *scip)
 
SCIP_RETCODE SCIPgetVarStrongbranchFrac (SCIP *scip, SCIP_VAR *var, int itlim, SCIP_Bool idempotent, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Bool *downinf, SCIP_Bool *upinf, SCIP_Bool *downconflict, SCIP_Bool *upconflict, SCIP_Bool *lperror)
 
SCIP_RETCODE SCIPgetVarStrongbranchWithPropagation (SCIP *scip, SCIP_VAR *var, SCIP_Real solval, SCIP_Real lpobjval, int itlim, int maxproprounds, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Longint *ndomredsdown, SCIP_Longint *ndomredsup, SCIP_Bool *downinf, SCIP_Bool *upinf, SCIP_Bool *downconflict, SCIP_Bool *upconflict, SCIP_Bool *lperror, SCIP_Real *newlbs, SCIP_Real *newubs)
 
SCIP_RETCODE SCIPgetVarStrongbranchInt (SCIP *scip, SCIP_VAR *var, int itlim, SCIP_Bool idempotent, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Bool *downinf, SCIP_Bool *upinf, SCIP_Bool *downconflict, SCIP_Bool *upconflict, SCIP_Bool *lperror)
 
SCIP_RETCODE SCIPgetVarsStrongbranchesFrac (SCIP *scip, SCIP_VAR **vars, int nvars, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Bool *downinf, SCIP_Bool *upinf, SCIP_Bool *downconflict, SCIP_Bool *upconflict, SCIP_Bool *lperror)
 
SCIP_RETCODE SCIPgetVarsStrongbranchesInt (SCIP *scip, SCIP_VAR **vars, int nvars, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Bool *downinf, SCIP_Bool *upinf, SCIP_Bool *downconflict, SCIP_Bool *upconflict, SCIP_Bool *lperror)
 
SCIP_LPSOLSTAT SCIPgetLastStrongbranchLPSolStat (SCIP *scip, SCIP_BRANCHDIR branchdir)
 
SCIP_RETCODE SCIPgetVarStrongbranchLast (SCIP *scip, SCIP_VAR *var, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Real *solval, SCIP_Real *lpobjval)
 
SCIP_RETCODE SCIPsetVarStrongbranchData (SCIP *scip, SCIP_VAR *var, SCIP_Real lpobjval, SCIP_Real primsol, SCIP_Real down, SCIP_Real up, SCIP_Bool downvalid, SCIP_Bool upvalid, SCIP_Longint iter, int itlim)
 
SCIP_RETCODE SCIPtryStrongbranchLPSol (SCIP *scip, SCIP_Bool *foundsol, SCIP_Bool *cutoff)
 
SCIP_Longint SCIPgetVarStrongbranchNode (SCIP *scip, SCIP_VAR *var)
 
SCIP_Longint SCIPgetVarStrongbranchLPAge (SCIP *scip, SCIP_VAR *var)
 
int SCIPgetVarNStrongbranchs (SCIP *scip, SCIP_VAR *var)
 
SCIP_RETCODE SCIPaddVarLocksType (SCIP *scip, SCIP_VAR *var, SCIP_LOCKTYPE locktype, int nlocksdown, int nlocksup)
 
SCIP_RETCODE SCIPaddVarLocks (SCIP *scip, SCIP_VAR *var, int nlocksdown, int nlocksup)
 
SCIP_RETCODE SCIPlockVarCons (SCIP *scip, SCIP_VAR *var, SCIP_CONS *cons, SCIP_Bool lockdown, SCIP_Bool lockup)
 
SCIP_RETCODE SCIPunlockVarCons (SCIP *scip, SCIP_VAR *var, SCIP_CONS *cons, SCIP_Bool lockdown, SCIP_Bool lockup)
 
SCIP_RETCODE SCIPchgVarObj (SCIP *scip, SCIP_VAR *var, SCIP_Real newobj)
 
SCIP_RETCODE SCIPaddVarObj (SCIP *scip, SCIP_VAR *var, SCIP_Real addobj)
 
SCIP_Real SCIPadjustedVarLb (SCIP *scip, SCIP_VAR *var, SCIP_Real lb)
 
SCIP_Real SCIPadjustedVarUb (SCIP *scip, SCIP_VAR *var, SCIP_Real ub)
 
SCIP_RETCODE SCIPchgVarLb (SCIP *scip, SCIP_VAR *var, SCIP_Real newbound)
 
SCIP_RETCODE SCIPchgVarUb (SCIP *scip, SCIP_VAR *var, SCIP_Real newbound)
 
SCIP_RETCODE SCIPchgVarLbNode (SCIP *scip, SCIP_NODE *node, SCIP_VAR *var, SCIP_Real newbound)
 
SCIP_RETCODE SCIPchgVarUbNode (SCIP *scip, SCIP_NODE *node, SCIP_VAR *var, SCIP_Real newbound)
 
SCIP_RETCODE SCIPchgVarLbGlobal (SCIP *scip, SCIP_VAR *var, SCIP_Real newbound)
 
SCIP_RETCODE SCIPchgVarUbGlobal (SCIP *scip, SCIP_VAR *var, SCIP_Real newbound)
 
SCIP_RETCODE SCIPchgVarLbLazy (SCIP *scip, SCIP_VAR *var, SCIP_Real lazylb)
 
SCIP_RETCODE SCIPchgVarUbLazy (SCIP *scip, SCIP_VAR *var, SCIP_Real lazyub)
 
SCIP_RETCODE SCIPtightenVarLb (SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
 
SCIP_RETCODE SCIPtightenVarUb (SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
 
SCIP_RETCODE SCIPinferVarFixCons (SCIP *scip, SCIP_VAR *var, SCIP_Real fixedval, SCIP_CONS *infercons, int inferinfo, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
 
SCIP_RETCODE SCIPinferVarLbCons (SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_CONS *infercons, int inferinfo, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
 
SCIP_RETCODE SCIPinferVarUbCons (SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_CONS *infercons, int inferinfo, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
 
SCIP_RETCODE SCIPinferBinvarCons (SCIP *scip, SCIP_VAR *var, SCIP_Bool fixedval, SCIP_CONS *infercons, int inferinfo, SCIP_Bool *infeasible, SCIP_Bool *tightened)
 
SCIP_RETCODE SCIPinferVarFixProp (SCIP *scip, SCIP_VAR *var, SCIP_Real fixedval, SCIP_PROP *inferprop, int inferinfo, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
 
SCIP_RETCODE SCIPinferVarLbProp (SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_PROP *inferprop, int inferinfo, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
 
SCIP_RETCODE SCIPinferVarUbProp (SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_PROP *inferprop, int inferinfo, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
 
SCIP_RETCODE SCIPinferBinvarProp (SCIP *scip, SCIP_VAR *var, SCIP_Bool fixedval, SCIP_PROP *inferprop, int inferinfo, SCIP_Bool *infeasible, SCIP_Bool *tightened)
 
SCIP_RETCODE SCIPtightenVarLbGlobal (SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
 
SCIP_RETCODE SCIPtightenVarUbGlobal (SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
 
SCIP_Real SCIPcomputeVarLbGlobal (SCIP *scip, SCIP_VAR *var)
 
SCIP_Real SCIPcomputeVarUbGlobal (SCIP *scip, SCIP_VAR *var)
 
SCIP_Real SCIPcomputeVarLbLocal (SCIP *scip, SCIP_VAR *var)
 
SCIP_Real SCIPcomputeVarUbLocal (SCIP *scip, SCIP_VAR *var)
 
SCIP_Real SCIPgetVarMultaggrLbGlobal (SCIP *scip, SCIP_VAR *var)
 
SCIP_Real SCIPgetVarMultaggrUbGlobal (SCIP *scip, SCIP_VAR *var)
 
SCIP_Real SCIPgetVarMultaggrLbLocal (SCIP *scip, SCIP_VAR *var)
 
SCIP_Real SCIPgetVarMultaggrUbLocal (SCIP *scip, SCIP_VAR *var)
 
SCIP_RETCODE SCIPgetVarClosestVlb (SCIP *scip, SCIP_VAR *var, SCIP_SOL *sol, SCIP_Real *closestvlb, int *closestvlbidx)
 
SCIP_RETCODE SCIPgetVarClosestVub (SCIP *scip, SCIP_VAR *var, SCIP_SOL *sol, SCIP_Real *closestvub, int *closestvubidx)
 
SCIP_RETCODE SCIPaddVarVlb (SCIP *scip, SCIP_VAR *var, SCIP_VAR *vlbvar, SCIP_Real vlbcoef, SCIP_Real vlbconstant, SCIP_Bool *infeasible, int *nbdchgs)
 
SCIP_RETCODE SCIPaddVarVub (SCIP *scip, SCIP_VAR *var, SCIP_VAR *vubvar, SCIP_Real vubcoef, SCIP_Real vubconstant, SCIP_Bool *infeasible, int *nbdchgs)
 
SCIP_RETCODE SCIPaddVarImplication (SCIP *scip, SCIP_VAR *var, SCIP_Bool varfixing, SCIP_VAR *implvar, SCIP_BOUNDTYPE impltype, SCIP_Real implbound, SCIP_Bool *infeasible, int *nbdchgs)
 
SCIP_RETCODE SCIPaddClique (SCIP *scip, SCIP_VAR **vars, SCIP_Bool *values, int nvars, SCIP_Bool isequation, SCIP_Bool *infeasible, int *nbdchgs)
 
SCIP_RETCODE SCIPcalcCliquePartition (SCIP *const scip, SCIP_VAR **const vars, int const nvars, int *const cliquepartition, int *const ncliques)
 
SCIP_RETCODE SCIPcalcNegatedCliquePartition (SCIP *const scip, SCIP_VAR **const vars, int const nvars, int *const cliquepartition, int *const ncliques)
 
SCIP_RETCODE SCIPcleanupCliques (SCIP *scip, SCIP_Bool *infeasible)
 
int SCIPgetNCliques (SCIP *scip)
 
int SCIPgetNCliquesCreated (SCIP *scip)
 
SCIP_CLIQUE ** SCIPgetCliques (SCIP *scip)
 
SCIP_Bool SCIPhaveVarsCommonClique (SCIP *scip, SCIP_VAR *var1, SCIP_Bool value1, SCIP_VAR *var2, SCIP_Bool value2, SCIP_Bool regardimplics)
 
SCIP_RETCODE SCIPwriteCliqueGraph (SCIP *scip, const char *fname, SCIP_Bool writenodeweights)
 
SCIP_RETCODE SCIPremoveVarFromGlobalStructures (SCIP *scip, SCIP_VAR *var)
 
SCIP_RETCODE SCIPchgVarBranchFactor (SCIP *scip, SCIP_VAR *var, SCIP_Real branchfactor)
 
SCIP_RETCODE SCIPscaleVarBranchFactor (SCIP *scip, SCIP_VAR *var, SCIP_Real scale)
 
SCIP_RETCODE SCIPaddVarBranchFactor (SCIP *scip, SCIP_VAR *var, SCIP_Real addfactor)
 
SCIP_RETCODE SCIPchgVarBranchPriority (SCIP *scip, SCIP_VAR *var, int branchpriority)
 
SCIP_RETCODE SCIPupdateVarBranchPriority (SCIP *scip, SCIP_VAR *var, int branchpriority)
 
SCIP_RETCODE SCIPaddVarBranchPriority (SCIP *scip, SCIP_VAR *var, int addpriority)
 
SCIP_RETCODE SCIPchgVarBranchDirection (SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR branchdirection)
 
SCIP_RETCODE SCIPchgVarType (SCIP *scip, SCIP_VAR *var, SCIP_VARTYPE vartype, SCIP_Bool *infeasible)
 
SCIP_RETCODE SCIPfixVar (SCIP *scip, SCIP_VAR *var, SCIP_Real fixedval, SCIP_Bool *infeasible, SCIP_Bool *fixed)
 
SCIP_RETCODE SCIPaggregateVars (SCIP *scip, SCIP_VAR *varx, SCIP_VAR *vary, SCIP_Real scalarx, SCIP_Real scalary, SCIP_Real rhs, SCIP_Bool *infeasible, SCIP_Bool *redundant, SCIP_Bool *aggregated)
 
SCIP_RETCODE SCIPmultiaggregateVar (SCIP *scip, SCIP_VAR *var, int naggvars, SCIP_VAR **aggvars, SCIP_Real *scalars, SCIP_Real constant, SCIP_Bool *infeasible, SCIP_Bool *aggregated)
 
SCIP_Bool SCIPdoNotAggr (SCIP *scip)
 
SCIP_Bool SCIPdoNotMultaggr (SCIP *scip)
 
SCIP_Bool SCIPdoNotAggrVar (SCIP *scip, SCIP_VAR *var)
 
SCIP_Bool SCIPdoNotMultaggrVar (SCIP *scip, SCIP_VAR *var)
 
SCIP_Bool SCIPallowDualReds (SCIP *scip)
 
SCIP_Bool SCIPallowStrongDualReds (SCIP *scip)
 
SCIP_Bool SCIPallowObjProp (SCIP *scip)
 
SCIP_Bool SCIPallowWeakDualReds (SCIP *scip)
 
SCIP_RETCODE SCIPmarkDoNotAggrVar (SCIP *scip, SCIP_VAR *var)
 
SCIP_RETCODE SCIPmarkDoNotMultaggrVar (SCIP *scip, SCIP_VAR *var)
 
void SCIPenableVarHistory (SCIP *scip)
 
void SCIPdisableVarHistory (SCIP *scip)
 
SCIP_RETCODE SCIPupdateVarPseudocost (SCIP *scip, SCIP_VAR *var, SCIP_Real solvaldelta, SCIP_Real objdelta, SCIP_Real weight)
 
SCIP_Real SCIPgetVarPseudocostVal (SCIP *scip, SCIP_VAR *var, SCIP_Real solvaldelta)
 
SCIP_Real SCIPgetVarPseudocostValCurrentRun (SCIP *scip, SCIP_VAR *var, SCIP_Real solvaldelta)
 
SCIP_Real SCIPgetVarPseudocost (SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPgetVarPseudocostCurrentRun (SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPgetVarPseudocostCount (SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPgetVarPseudocostCountCurrentRun (SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPgetVarPseudocostVariance (SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir, SCIP_Bool onlycurrentrun)
 
SCIP_Real SCIPcalculatePscostConfidenceBound (SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir, SCIP_Bool onlycurrentrun, SCIP_CONFIDENCELEVEL clevel)
 
SCIP_Bool SCIPsignificantVarPscostDifference (SCIP *scip, SCIP_VAR *varx, SCIP_Real fracx, SCIP_VAR *vary, SCIP_Real fracy, SCIP_BRANCHDIR dir, SCIP_CONFIDENCELEVEL clevel, SCIP_Bool onesided)
 
SCIP_Bool SCIPpscostThresholdProbabilityTest (SCIP *scip, SCIP_VAR *var, SCIP_Real frac, SCIP_Real threshold, SCIP_BRANCHDIR dir, SCIP_CONFIDENCELEVEL clevel)
 
SCIP_Bool SCIPisVarPscostRelerrorReliable (SCIP *scip, SCIP_VAR *var, SCIP_Real threshold, SCIP_CONFIDENCELEVEL clevel)
 
SCIP_Real SCIPgetVarPseudocostScore (SCIP *scip, SCIP_VAR *var, SCIP_Real solval)
 
SCIP_Real SCIPgetVarPseudocostScoreCurrentRun (SCIP *scip, SCIP_VAR *var, SCIP_Real solval)
 
SCIP_Real SCIPgetVarVSIDS (SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPgetVarVSIDSCurrentRun (SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPgetVarConflictScore (SCIP *scip, SCIP_VAR *var)
 
SCIP_Real SCIPgetVarConflictScoreCurrentRun (SCIP *scip, SCIP_VAR *var)
 
SCIP_Real SCIPgetVarConflictlengthScore (SCIP *scip, SCIP_VAR *var)
 
SCIP_Real SCIPgetVarConflictlengthScoreCurrentRun (SCIP *scip, SCIP_VAR *var)
 
SCIP_Real SCIPgetVarAvgConflictlength (SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPgetVarAvgConflictlengthCurrentRun (SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPgetVarAvgInferences (SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPgetVarAvgInferencesCurrentRun (SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPgetVarAvgInferenceScore (SCIP *scip, SCIP_VAR *var)
 
SCIP_Real SCIPgetVarAvgInferenceScoreCurrentRun (SCIP *scip, SCIP_VAR *var)
 
SCIP_RETCODE SCIPinitVarBranchStats (SCIP *scip, SCIP_VAR *var, SCIP_Real downpscost, SCIP_Real uppscost, SCIP_Real downvsids, SCIP_Real upvsids, SCIP_Real downconflen, SCIP_Real upconflen, SCIP_Real downinfer, SCIP_Real upinfer, SCIP_Real downcutoff, SCIP_Real upcutoff)
 
SCIP_RETCODE SCIPinitVarValueBranchStats (SCIP *scip, SCIP_VAR *var, SCIP_Real value, SCIP_Real downvsids, SCIP_Real upvsids, SCIP_Real downconflen, SCIP_Real upconflen, SCIP_Real downinfer, SCIP_Real upinfer, SCIP_Real downcutoff, SCIP_Real upcutoff)
 
SCIP_Real SCIPgetVarAvgCutoffs (SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPgetVarAvgCutoffsCurrentRun (SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
 
SCIP_Real SCIPgetVarAvgCutoffScore (SCIP *scip, SCIP_VAR *var)
 
SCIP_Real SCIPgetVarAvgCutoffScoreCurrentRun (SCIP *scip, SCIP_VAR *var)
 
SCIP_Real SCIPgetVarAvgInferenceCutoffScore (SCIP *scip, SCIP_VAR *var, SCIP_Real cutoffweight)
 
SCIP_Real SCIPgetVarAvgInferenceCutoffScoreCurrentRun (SCIP *scip, SCIP_VAR *var, SCIP_Real cutoffweight)
 
SCIP_Real SCIPgetVarAvgGMIScore (SCIP *scip, SCIP_VAR *var)
 
SCIP_RETCODE SCIPincVarGMISumScore (SCIP *scip, SCIP_VAR *var, SCIP_Real gmieff)
 
SCIP_Real SCIPgetVarLastGMIScore (SCIP *scip, SCIP_VAR *var)
 
SCIP_RETCODE SCIPsetVarLastGMIScore (SCIP *scip, SCIP_VAR *var, SCIP_Real gmieff)
 
SCIP_RETCODE SCIPprintVar (SCIP *scip, SCIP_VAR *var, FILE *file)
 

Public SCIP_BDCHGIDX Methods

SCIP_Bool SCIPbdchgidxIsEarlier (SCIP_BDCHGIDX *bdchgidx1, SCIP_BDCHGIDX *bdchgidx2)
 
SCIP_Bool SCIPbdchgidxIsEarlierNonNull (SCIP_BDCHGIDX *bdchgidx1, SCIP_BDCHGIDX *bdchgidx2)
 

Public SCIP_BDCHGINFO Methods

SCIP_Real SCIPbdchginfoGetOldbound (SCIP_BDCHGINFO *bdchginfo)
 
SCIP_Real SCIPbdchginfoGetNewbound (SCIP_BDCHGINFO *bdchginfo)
 
SCIP_VARSCIPbdchginfoGetVar (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_BDCHGIDXSCIPbdchginfoGetIdx (SCIP_BDCHGINFO *bdchginfo)
 
SCIP_VARSCIPbdchginfoGetInferVar (SCIP_BDCHGINFO *bdchginfo)
 
SCIP_CONSSCIPbdchginfoGetInferCons (SCIP_BDCHGINFO *bdchginfo)
 
SCIP_PROPSCIPbdchginfoGetInferProp (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)
 

Public SCIP_BOUNDCHG Methods

SCIP_Real SCIPboundchgGetNewbound (SCIP_BOUNDCHG *boundchg)
 
SCIP_VARSCIPboundchgGetVar (SCIP_BOUNDCHG *boundchg)
 
SCIP_BOUNDCHGTYPE SCIPboundchgGetBoundchgtype (SCIP_BOUNDCHG *boundchg)
 
SCIP_BOUNDTYPE SCIPboundchgGetBoundtype (SCIP_BOUNDCHG *boundchg)
 
SCIP_Bool SCIPboundchgIsRedundant (SCIP_BOUNDCHG *boundchg)
 

Public SCIP_DOMCHG Methods

int SCIPdomchgGetNBoundchgs (SCIP_DOMCHG *domchg)
 
SCIP_BOUNDCHGSCIPdomchgGetBoundchg (SCIP_DOMCHG *domchg, int pos)
 

Public SCIP_HOLELIST Methods

SCIP_Real SCIPholelistGetLeft (SCIP_HOLELIST *holelist)
 
SCIP_Real SCIPholelistGetRight (SCIP_HOLELIST *holelist)
 
SCIP_HOLELISTSCIPholelistGetNext (SCIP_HOLELIST *holelist)
 

Function Documentation

◆ SCIPvarGetNLocksDown()

int SCIPvarGetNLocksDown ( SCIP_VAR var)

gets number of locks for rounding down

Note
This method will always return variable locks of type model
It is recommented to use SCIPvarGetNLocksDownType()
Parameters
varproblem variable

Definition at line 3416 of file var.c.

References SCIP_LOCKTYPE_MODEL, and SCIPvarGetNLocksDownType().

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

◆ SCIPvarGetNLocksUp()

int SCIPvarGetNLocksUp ( SCIP_VAR var)

gets number of locks for rounding up

Note
This method will always return variable locks of type model
It is recommented to use SCIPvarGetNLocksUpType()
Parameters
varproblem variable

Definition at line 3429 of file var.c.

References SCIP_LOCKTYPE_MODEL, and SCIPvarGetNLocksUpType().

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

◆ SCIPvarGetNLocksUpType()

int SCIPvarGetNLocksUpType ( SCIP_VAR var,
SCIP_LOCKTYPE  locktype 
)

gets number of locks for rounding up of a special type

Parameters
varproblem variable
locktypetype of variable locks

Definition at line 3353 of file var.c.

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

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

◆ SCIPvarGetNLocksDownType()

int SCIPvarGetNLocksDownType ( SCIP_VAR var,
SCIP_LOCKTYPE  locktype 
)

gets number of locks for rounding down of a special type

Parameters
varproblem variable
locktypetype of variable locks

Definition at line 3295 of file var.c.

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

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

◆ SCIPvarMayRoundDown()

SCIP_Bool SCIPvarMayRoundDown ( SCIP_VAR var)

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

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

Definition at line 3440 of file var.c.

References SCIP_LOCKTYPE_MODEL, and SCIPvarGetNLocksDownType().

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

◆ SCIPvarMayRoundUp()

SCIP_Bool SCIPvarMayRoundUp ( SCIP_VAR var)

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

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

Definition at line 3451 of file var.c.

References SCIP_LOCKTYPE_MODEL, and SCIPvarGetNLocksUpType().

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

◆ SCIPvarCompareActiveAndNegated()

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
var1first problem variable
var2second problem variable

Definition at line 11903 of file var.c.

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

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

◆ SCIP_DECL_SORTPTRCOMP() [1/3]

SCIP_DECL_SORTPTRCOMP ( SCIPvarCompActiveAndNegated  )

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

Definition at line 11933 of file var.c.

References SCIPvarCompareActiveAndNegated().

◆ SCIPvarCompare()

int SCIPvarCompare ( SCIP_VAR var1,
SCIP_VAR var2 
)

◆ SCIP_DECL_SORTPTRCOMP() [2/3]

SCIP_DECL_SORTPTRCOMP ( SCIPvarComp  )

comparison method for sorting variables by non-decreasing index

Definition at line 11961 of file var.c.

References SCIPvarCompare().

◆ SCIP_DECL_SORTPTRCOMP() [3/3]

SCIP_DECL_SORTPTRCOMP ( SCIPvarCompObj  )

comparison method for sorting variables by non-decreasing objective coefficient

Definition at line 11967 of file var.c.

References SCIP_Real, and SCIPvarGetObj().

◆ SCIP_DECL_HASHGETKEY()

SCIP_DECL_HASHGETKEY ( SCIPvarGetHashkey  )

hash key retrieval function for variables

Definition at line 11984 of file var.c.

◆ SCIP_DECL_HASHKEYEQ()

SCIP_DECL_HASHKEYEQ ( SCIPvarIsHashkeyEq  )

returns TRUE iff the indices of both variables are equal

Definition at line 11990 of file var.c.

References FALSE, and TRUE.

◆ SCIP_DECL_HASHKEYVAL()

SCIP_DECL_HASHKEYVAL ( SCIPvarGetHashkeyVal  )

returns the hash value of the key

Definition at line 11998 of file var.c.

References SCIPvarGetIndex().

◆ SCIPvarsGetProbvar()

void SCIPvarsGetProbvar ( SCIP_VAR **  vars,
int  nvars 
)

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

Note
the content of the given array will/might change
Parameters
varsarray of problem variables
nvarsnumber of variables

Definition at line 12197 of file var.c.

References NULL, and SCIPvarGetProbvar().

Referenced by SCIPvarsGetActiveVars().

◆ SCIPvarGetProbvar()

◆ SCIPvarsGetProbvarBinary()

SCIP_RETCODE SCIPvarsGetProbvarBinary ( SCIP_VAR ***  vars,
SCIP_Bool **  negatedarr,
int  nvars 
)

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

Parameters
varspointer to binary problem variables
negatedarrpointer to corresponding array to update the negation status
nvarsnumber of variables and values in vars and negated array

Definition at line 12277 of file var.c.

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

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

◆ SCIPvarGetProbvarBinary()

SCIP_RETCODE SCIPvarGetProbvarBinary ( SCIP_VAR **  var,
SCIP_Bool negated 
)

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

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

Parameters
varpointer to binary problem variable
negatedpointer to update the negation status

Definition at line 12309 of file var.c.

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

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

◆ SCIPvarGetProbvarBound()

◆ SCIPvarGetProbvarHole()

SCIP_RETCODE SCIPvarGetProbvarHole ( SCIP_VAR **  var,
SCIP_Real left,
SCIP_Real right 
)

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

Parameters
varpointer to problem variable
leftpointer to left bound of open interval in hole to transform
rightpointer to right bound of open interval in hole to transform

Definition at line 12561 of file var.c.

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

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

◆ SCIPvarGetOrigvarSum()

SCIP_RETCODE SCIPvarGetOrigvarSum ( SCIP_VAR **  var,
SCIP_Real scalar,
SCIP_Real constant 
)

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

Parameters
varpointer to problem variable x in sum a*x + c
scalarpointer to scalar a in sum a*x + c
constantpointer to constant c in sum a*x + c

Definition at line 12773 of file var.c.

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

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

◆ SCIPvarIsTransformedOrigvar()

SCIP_Bool SCIPvarIsTransformedOrigvar ( SCIP_VAR var)

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

Parameters
varproblem variable

Definition at line 12860 of file var.c.

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

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

◆ SCIPvarGetNBranchings()

◆ SCIPvarGetNBranchingsCurrentRun()

◆ SCIPvarGetInferenceSum()

◆ SCIPvarGetInferenceSumCurrentRun()

◆ SCIPvarGetCutoffSum()

◆ SCIPvarGetCutoffSumCurrentRun()

◆ SCIPvarGetAvgBranchdepth()

◆ SCIPvarGetAvgBranchdepthCurrentRun()

◆ SCIPvarHasImplic()

SCIP_Bool SCIPvarHasImplic ( SCIP_VAR var,
SCIP_Bool  varfixing,
SCIP_VAR implvar,
SCIP_BOUNDTYPE  impltype 
)

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

Parameters
varproblem variable x
varfixingFALSE if y should be searched in implications for x == 0, TRUE for x == 1
implvarvariable y to search for
impltypetype of implication y <=/>= b to search for

Definition at line 11110 of file var.c.

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

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

◆ SCIPvarHasBinaryImplic()

SCIP_Bool SCIPvarHasBinaryImplic ( SCIP_VAR var,
SCIP_Bool  varfixing,
SCIP_VAR implvar,
SCIP_Bool  implvarfixing 
)

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

Parameters
varproblem variable x
varfixingFALSE if y should be searched in implications for x == 0, TRUE for x == 1
implvarvariable y to search for
implvarfixingvalue of the implied variable to search for

Definition at line 11130 of file var.c.

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

◆ SCIPvarGetImplicVarBounds()

void SCIPvarGetImplicVarBounds ( SCIP_VAR var,
SCIP_Bool  varfixing,
SCIP_VAR implvar,
SCIP_Real lb,
SCIP_Real ub 
)

gets the values of b in implications x == varfixing -> y <= b or y >= b in the implication graph; the values are set to SCIP_INVALID if there is no implied bound

Parameters
varproblem variable x
varfixingFALSE if y should be searched in implications for x == 0, TRUE for x == 1
implvarvariable y to search for
lbbuffer to store the value of the implied lower bound
ubbuffer to store the value of the implied upper bound

Definition at line 11145 of file var.c.

References SCIP_Var::implics, NULL, SCIP_INVALID, SCIP_Real, SCIPimplicsGetVarImplicPoss(), and SCIPvarGetImplBounds().

Referenced by detectProductsImplbnd().

◆ SCIPvarsHaveCommonClique()

SCIP_Bool SCIPvarsHaveCommonClique ( SCIP_VAR var1,
SCIP_Bool  value1,
SCIP_VAR var2,
SCIP_Bool  value2,
SCIP_Bool  regardimplics 
)

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

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

Note
a variable with it's negated variable are NOT! in a clique
a variable with itself are in a clique
Parameters
var1first variable
value1value of first variable
var2second variable
value2value of second variable
regardimplicsshould the implication graph also be searched for a clique?

Definition at line 11474 of file var.c.

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

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

◆ SCIPvarGetAggregatedObj()

SCIP_RETCODE SCIPvarGetAggregatedObj ( SCIP_VAR var,
SCIP_Real aggrobj 
)

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

Parameters
varproblem variable
aggrobjpointer to store the aggregated objective value

Definition at line 17947 of file var.c.

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

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

◆ SCIPvarSetInitial()

SCIP_RETCODE SCIPvarSetInitial ( SCIP_VAR var,
SCIP_Bool  initial 
)

sets the initial flag of a variable; only possible for original or loose variables

Parameters
varproblem variable
initialinitial flag

Definition at line 17505 of file var.c.

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

Referenced by addVariable(), SCIPcreateVarBinpacking(), and AMPLProblemHandler::SuffixHandler< T >::SetValue().

◆ SCIPvarSetRemovable()

SCIP_RETCODE SCIPvarSetRemovable ( SCIP_VAR var,
SCIP_Bool  removable 
)

sets the removable flag of a variable; only possible for original or loose variables

Parameters
varproblem variable
removableremovable flag

Definition at line 17521 of file var.c.

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

Referenced by addVariable(), SCIPcreateVarBinpacking(), and AMPLProblemHandler::SuffixHandler< T >::SetValue().

◆ SCIPvarGetName()

const char * SCIPvarGetName ( SCIP_VAR var)

returns the name of the variable

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

Definition at line 17418 of file var.c.

References SCIP_Var::name, and NULL.

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

◆ SCIPvarGetNUses()

int SCIPvarGetNUses ( SCIP_VAR var)

gets number of times, the variable is currently captured

Parameters
varproblem variable

Definition at line 17428 of file var.c.

References NULL, and SCIP_Var::nuses.

Referenced by SCIPprobExitSolve(), and SCIPprobFree().

◆ SCIPvarGetData()

SCIP_VARDATA * SCIPvarGetData ( SCIP_VAR var)

returns the user data of the variable

Parameters
varproblem variable

Definition at line 17438 of file var.c.

References NULL, and SCIP_Var::vardata.

Referenced by addFixedVarsConss(), checkVariable(), computeBranchingPriorities(), consdataCheck(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_EVENTEXEC(), and SCIPgetObjVardata().

◆ SCIPvarSetData()

void SCIPvarSetData ( SCIP_VAR var,
SCIP_VARDATA vardata 
)

sets the user data for the variable

Parameters
varproblem variable
vardatauser variable data

Definition at line 17448 of file var.c.

References NULL, and SCIP_Var::vardata.

Referenced by addAuxiliaryVariablesToMaster(), assignAuxiliaryVariables(), createInitialColumns(), SCIP_DECL_EVENTEXEC(), and SCIPcreateVarBinpacking().

◆ SCIPvarSetDelorigData()

void SCIPvarSetDelorigData ( SCIP_VAR var,
SCIP_DECL_VARDELORIG((*vardelorig))   
)

sets method to free user data for the original variable

Parameters
varproblem variable

Definition at line 17459 of file var.c.

References NULL, SCIP_VARSTATUS_ORIGINAL, and SCIPvarGetStatus().

◆ SCIPvarSetTransData()

void SCIPvarSetTransData ( SCIP_VAR var,
SCIP_DECL_VARTRANS((*vartrans))   
)

sets method to transform user data of the variable

Parameters
varproblem variable

Definition at line 17471 of file var.c.

References NULL, SCIP_VARSTATUS_ORIGINAL, and SCIPvarGetStatus().

◆ SCIPvarSetDeltransData()

void SCIPvarSetDeltransData ( SCIP_VAR var,
SCIP_DECL_VARDELTRANS((*vardeltrans))   
)

sets method to free transformed user data for the variable

Parameters
varproblem variable

Definition at line 17483 of file var.c.

References NULL.

Referenced by SCIPcreateVarBinpacking().

◆ SCIPvarSetCopyData()

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

sets method to copy this variable into sub-SCIPs

Parameters
varproblem variable

Definition at line 17494 of file var.c.

References NULL.

◆ SCIPvarGetStatus()

SCIP_VARSTATUS SCIPvarGetStatus ( SCIP_VAR var)

gets status of variable

Parameters
varproblem variable

Definition at line 17537 of file var.c.

References NULL, and SCIP_Var::varstatus.

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

◆ SCIPvarIsOriginal()

◆ SCIPvarIsTransformed()

SCIP_Bool SCIPvarIsTransformed ( SCIP_VAR var)

returns whether the variable belongs to the transformed problem

Parameters
varproblem variable

Definition at line 17560 of file var.c.

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

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

◆ SCIPvarIsNegated()

◆ SCIPvarGetType()

SCIP_VARTYPE SCIPvarGetType ( SCIP_VAR var)

gets type of variable

Parameters
varproblem variable

Definition at line 17583 of file var.c.

References NULL, and SCIP_Var::vartype.

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

◆ SCIPvarIsBinary()

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 global lower bound is greater than or equal to zero (ii) the global upper bound is less than or equal to one

Parameters
varproblem variable

Definition at line 17598 of file var.c.

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

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

◆ SCIPvarIsIntegral()

SCIP_Bool SCIPvarIsIntegral ( SCIP_VAR var)

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

Parameters
varproblem variable

Definition at line 17609 of file var.c.

References NULL, SCIP_VARTYPE_CONTINUOUS, and SCIPvarGetType().

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

◆ SCIPvarIsInitial()

SCIP_Bool SCIPvarIsInitial ( SCIP_VAR var)

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

Parameters
varproblem variable

Definition at line 17619 of file var.c.

References SCIP_Var::initial, and NULL.

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

◆ SCIPvarIsRemovable()

SCIP_Bool SCIPvarIsRemovable ( SCIP_VAR var)

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

Parameters
varproblem variable

Definition at line 17629 of file var.c.

References NULL, and SCIP_Var::removable.

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

◆ SCIPvarIsDeleted()

SCIP_Bool SCIPvarIsDeleted ( SCIP_VAR var)

returns whether the variable was deleted from the problem

Parameters
varproblem variable

Definition at line 17639 of file var.c.

References SCIP_Var::deleted, and NULL.

Referenced by addScenarioVarsToProb(), applyProbing(), performDualfix(), performVarDeletions(), removeCoreVariablesAndConstraints(), removeVariablesAndConstraintsFromMaster(), SCIP_DECL_CONSDELETE(), and SCIP_DECL_PRESOLEXEC().

◆ SCIPvarMarkDeletable()

void SCIPvarMarkDeletable ( SCIP_VAR var)

marks the variable to be deletable, i.e., it may be deleted completely from the problem; method can only be called before the variable is added to the problem by SCIPaddVar() or SCIPaddPricedVar()

Parameters
varproblem variable

Definition at line 17651 of file var.c.

References SCIP_Var::deletable, NULL, SCIP_Var::probindex, and TRUE.

Referenced by addVariable(), SCIP_DECL_PRICERFARKAS(), SCIP_DECL_PRICERREDCOST(), SCIPcreateVarBinpacking(), and SCIPvarMarkRelaxationOnly().

◆ SCIPvarMarkNotDeletable()

void SCIPvarMarkNotDeletable ( SCIP_VAR var)

marks the variable to be not deletable from the problem

Definition at line 17662 of file var.c.

References SCIP_Var::deletable, FALSE, and NULL.

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

◆ SCIPvarIsDeletable()

SCIP_Bool SCIPvarIsDeletable ( SCIP_VAR var)

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

Definition at line 17737 of file var.c.

References SCIP_Var::deletable, and NULL.

Referenced by focusnodeCleanupVars(), SCIPprobExitSolve(), and SCIPvarMarkRelaxationOnly().

◆ SCIPvarMarkDeleteGlobalStructures()

void SCIPvarMarkDeleteGlobalStructures ( SCIP_VAR var)

marks variable to be deleted from global structures (cliques etc.) when cleaning up

Note
: this is not equivalent to marking the variable itself for deletion, this is done by using SCIPvarMarkDeletable()
Parameters
varproblem variable

Definition at line 17675 of file var.c.

References SCIP_Var::delglobalstructs, NULL, and TRUE.

Referenced by SCIPremoveVarFromGlobalStructures(), and solveAndEvalSubscip().

◆ SCIPvarIsActive()

SCIP_Bool SCIPvarIsActive ( SCIP_VAR var)

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

Parameters
varproblem variable

Definition at line 17747 of file var.c.

References NULL, and SCIP_Var::probindex.

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

◆ SCIPvarGetIndex()

int SCIPvarGetIndex ( SCIP_VAR var)

gets unique index of variable

Parameters
varproblem variable

Definition at line 17757 of file var.c.

References SCIP_Var::index, and NULL.

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

◆ SCIPvarGetProbindex()

int SCIPvarGetProbindex ( SCIP_VAR var)

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

Parameters
varproblem variable

Definition at line 17767 of file var.c.

References NULL, and SCIP_Var::probindex.

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

◆ SCIPvarGetTransVar()

◆ SCIPvarGetCol()

SCIP_COL * SCIPvarGetCol ( SCIP_VAR var)

gets column of COLUMN variable

Parameters
varproblem variable

Definition at line 17788 of file var.c.

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

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

◆ SCIPvarIsInLP()

SCIP_Bool SCIPvarIsInLP ( SCIP_VAR var)

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

Parameters
varproblem variable

Definition at line 17799 of file var.c.

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

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

◆ SCIPvarGetAggrVar()

◆ SCIPvarGetAggrScalar()

SCIP_Real SCIPvarGetAggrScalar ( SCIP_VAR var)

◆ SCIPvarGetAggrConstant()

SCIP_Real SCIPvarGetAggrConstant ( SCIP_VAR var)

◆ SCIPvarGetMultaggrNVars()

◆ SCIPvarGetMultaggrVars()

◆ SCIPvarGetMultaggrScalars()

◆ SCIPvarGetMultaggrConstant()

SCIP_Real SCIPvarGetMultaggrConstant ( SCIP_VAR var)

◆ SCIPvarGetNegatedVar()

◆ SCIPvarGetNegationVar()

◆ SCIPvarGetNegationConstant()

SCIP_Real SCIPvarGetNegationConstant ( SCIP_VAR var)

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

Parameters
varnegated problem variable

Definition at line 17914 of file var.c.

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

Referenced by applyFixings(), markNeighborsMWISHeuristic(), presolveAddKKTAggregatedVars(), SCIPsolGetVal(), and SCIPsolSetVal().

◆ SCIPvarGetObj()

SCIP_Real SCIPvarGetObj ( SCIP_VAR var)

gets objective function value of variable

Parameters
varproblem variable

Definition at line 17925 of file var.c.

References NULL, and SCIP_Var::obj.

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

◆ SCIPvarGetUnchangedObj()

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
varproblem variable

Definition at line 17935 of file var.c.

References NULL, and SCIP_Var::unchangedobj.

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

◆ SCIPvarGetLbOriginal()

◆ SCIPvarGetUbOriginal()

◆ SCIPvarGetHolelistOriginal()

SCIP_HOLELIST * SCIPvarGetHolelistOriginal ( SCIP_VAR var)

gets the original hole list of an original variable

Parameters
varproblem variable

Definition at line 18063 of file var.c.

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

Referenced by SCIPvarPrint().

◆ SCIPvarGetLbGlobal()

SCIP_Real SCIPvarGetLbGlobal ( SCIP_VAR var)

gets global lower bound of variable

Parameters
varproblem variable

Definition at line 18077 of file var.c.

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

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

◆ SCIPvarGetUbGlobal()

SCIP_Real SCIPvarGetUbGlobal ( SCIP_VAR var)

gets global upper bound of variable

Parameters
varproblem variable

Definition at line 18087 of file var.c.

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

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

◆ SCIPvarGetHolelistGlobal()

SCIP_HOLELIST * SCIPvarGetHolelistGlobal ( SCIP_VAR var)

gets the global hole list of an active variable

Parameters
varproblem variable

Definition at line 18097 of file var.c.

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

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

◆ SCIPvarGetBestBoundGlobal()

SCIP_Real SCIPvarGetBestBoundGlobal ( SCIP_VAR var)

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

Parameters
varproblem variable

Definition at line 18107 of file var.c.

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

◆ SCIPvarGetWorstBoundGlobal()

SCIP_Real SCIPvarGetWorstBoundGlobal ( SCIP_VAR var)

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

Parameters
varproblem variable

Definition at line 18120 of file var.c.

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

Referenced by initSolve().

◆ SCIPvarGetLbLocal()

SCIP_Real SCIPvarGetLbLocal ( SCIP_VAR var)

gets current lower bound of variable

Parameters
varproblem variable

Definition at line 18133 of file var.c.

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

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

◆ SCIPvarGetUbLocal()

SCIP_Real SCIPvarGetUbLocal ( SCIP_VAR var)

gets current upper bound of variable

Parameters
varproblem variable

Definition at line 18143 of file var.c.

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

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

◆ SCIPvarGetHolelistLocal()

SCIP_HOLELIST * SCIPvarGetHolelistLocal ( SCIP_VAR var)

gets the current hole list of an active variable

Parameters
varproblem variable

Definition at line 18153 of file var.c.

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

Referenced by SCIPvarCopy(), and SCIPvarPrint().

◆ SCIPvarGetBestBoundLocal()

SCIP_Real SCIPvarGetBestBoundLocal ( SCIP_VAR var)

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

Parameters
varproblem variable

Definition at line 18163 of file var.c.

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

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

◆ SCIPvarGetWorstBoundLocal()

SCIP_Real SCIPvarGetWorstBoundLocal ( SCIP_VAR var)

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

Parameters
varproblem variable

Definition at line 18176 of file var.c.

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

Referenced by SCIPtreeBranchVar(), and SCIPtreeBranchVarNary().

◆ SCIPvarGetBestBoundType()

◆ SCIPvarGetWorstBoundType()

SCIP_BOUNDTYPE SCIPvarGetWorstBoundType ( SCIP_VAR var)

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

Parameters
varproblem variable

Definition at line 18202 of file var.c.

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

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

◆ SCIPvarGetLbLazy()

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
varproblem variable

Definition at line 18215 of file var.c.

References SCIP_Var::lazylb, and NULL.

Referenced by SCIPcolCreate(), and SCIPvarPrint().

◆ SCIPvarGetUbLazy()

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
varproblem variable

Definition at line 18225 of file var.c.

References SCIP_Var::lazyub, and NULL.

Referenced by SCIPcolCreate(), and SCIPvarPrint().

◆ SCIPvarGetBranchFactor()

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
varproblem variable

Definition at line 18237 of file var.c.

References SCIP_Var::branchfactor, and NULL.

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

◆ SCIPvarGetBranchPriority()

◆ SCIPvarGetBranchDirection()

SCIP_BRANCHDIR SCIPvarGetBranchDirection ( SCIP_VAR var)

gets the preferred branch direction of the variable (downwards, upwards, or auto)

Parameters
varproblem variable

Definition at line 18259 of file var.c.

References SCIP_Var::branchdirection, and NULL.

Referenced by SCIP_DECL_DIALOGEXEC(), and SCIPtreeCalcNodeselPriority().

◆ SCIPvarGetNVlbs()

◆ SCIPvarGetVlbVars()

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
varproblem variable

Definition at line 18281 of file var.c.

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

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

◆ SCIPvarGetVlbCoefs()

◆ SCIPvarGetVlbConstants()

◆ SCIPvarGetNVubs()

◆ SCIPvarGetVubVars()

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
varproblem variable

Definition at line 18323 of file var.c.

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

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

◆ SCIPvarGetVubCoefs()

SCIP_Real * SCIPvarGetVubCoefs ( SCIP_VAR var)

◆ SCIPvarGetVubConstants()

SCIP_Real * SCIPvarGetVubConstants ( SCIP_VAR var)

◆ SCIPvarGetNImpls()

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
varactive problem variable
varfixingFALSE for implications for x == 0, TRUE for x == 1

Definition at line 18355 of file var.c.

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

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

◆ SCIPvarGetImplVars()

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
varactive problem variable
varfixingFALSE for implications for x == 0, TRUE for x == 1

Definition at line 18372 of file var.c.

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

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

◆ SCIPvarGetImplTypes()

SCIP_BOUNDTYPE * SCIPvarGetImplTypes ( SCIP_VAR var,
SCIP_Bool  varfixing 
)

gets array with implication types of implications y <= b or y >= b for x == 0 or x == 1 of given active problem variable x (SCIP_BOUNDTYPE_UPPER if y <= b, SCIP_BOUNDTYPE_LOWER if y >= b), there are no implications for nonbinary variable x

Parameters
varactive problem variable
varfixingFALSE for implications for x == 0, TRUE for x == 1

Definition at line 18387 of file var.c.

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

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

◆ SCIPvarGetImplBounds()

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
varactive problem variable
varfixingFALSE for implications for x == 0, TRUE for x == 1

Definition at line 18401 of file var.c.

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

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

◆ SCIPvarGetImplIds()

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
varactive problem variable
varfixingFALSE for implications for x == 0, TRUE for x == 1

Definition at line 18417 of file var.c.

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

Referenced by dfs(), and propagateVbounds().

◆ SCIPvarGetNCliques()

◆ SCIPvarGetCliques()

SCIP_CLIQUE ** SCIPvarGetCliques ( SCIP_VAR var,
SCIP_Bool  varfixing 
)

◆ SCIPvarGetLPSol()

SCIP_Real SCIPvarGetLPSol ( SCIP_VAR var)

gets primal LP solution value of variable

Parameters
varproblem variable

Definition at line 18451 of file var.c.

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

Referenced by addPathCuts(), addSubtourCuts(), applySeparation(), bilinboundGetScore(), branch(), branchOnBin(), changeSubvariableObjective(), computeFixingrate(), computeIntegerVariableBounds(), computeIntegerVariableBoundsDins(), computeRestrictionToRay(), createCGCuts(), createGenVBound(), cutsTransformMIR(), DECL_VARFIXINGS(), determineBestBounds(), determineFixings(), determineVariableFixings(), evalBound(), execRelpscost(), filterExistingLP(), filterRound(), findNewBounds(), generateAverageNBRay(), generateCloseCutPoint(), generateDifferenceRay(), generateStartingPoint(), getBranchCands(), getFixingValue(), getVariablePscostScore(), getVariableRedcostScore(), handle1Cycle(), handleCycle(), initCurrent(), isPseudocostUpdateValid(), runVanillaStrongBranching(), SCIP_DECL_BRANCHEXECLP(), SCIP_DECL_DIVESETGETSCORE(), SCIP_DECL_HEUREXEC(), SCIP_DECL_SEPAEXECLP(), SCIPgetDualSolVal(), SCIPgetVarSols(), SCIPgetVarStrongbranchFrac(), SCIPgetVarStrongbranchInt(), SCIPnodeAddBoundinfer(), SCIPselectVarPseudoStrongBranching(), SCIPvarGetClosestVlb(), SCIPvarGetClosestVub(), SCIPvarGetLPSol_rec(), SCIPvarGetSol(), selectVarMultAggrBranching(), separateDeterminant(), separatePoint(), solCutIsViolated(), solGetArrayVal(), solUnlinkVar(), solveBilinearLP(), and updatePseudocost().

◆ SCIPvarGetNLPSol()

◆ SCIPvarGetBdchgInfoLb()

SCIP_BDCHGINFO * SCIPvarGetBdchgInfoLb ( SCIP_VAR var,
int  pos 
)

return lower bound change info at requested position

Parameters
varproblem variable
posrequested position

Definition at line 18477 of file var.c.

References SCIP_Var::lbchginfos.

Referenced by SCIPconflictAddRelaxedBound(), and updatePseudocost().

◆ SCIPvarGetNBdchgInfosLb()

int SCIPvarGetNBdchgInfosLb ( SCIP_VAR var)

gets the number of lower bound change info array

Parameters
varproblem variable

Definition at line 18489 of file var.c.

References SCIP_Var::nlbchginfos.

Referenced by updatePseudocost().

◆ SCIPvarGetBdchgInfoUb()

SCIP_BDCHGINFO * SCIPvarGetBdchgInfoUb ( SCIP_VAR var,
int  pos 
)

return upper bound change info at requested position

Parameters
varproblem variable
posrequested position

Definition at line 18497 of file var.c.

References SCIP_Var::ubchginfos.

Referenced by SCIPconflictAddRelaxedBound(), and updatePseudocost().

◆ SCIPvarGetNBdchgInfosUb()

int SCIPvarGetNBdchgInfosUb ( SCIP_VAR var)

gets the number upper bound change info array

Parameters
varproblem variable

Definition at line 18509 of file var.c.

References SCIP_Var::nubchginfos, and NULL.

Referenced by updatePseudocost().

◆ SCIPvarGetValuehistory()

SCIP_VALUEHISTORY * SCIPvarGetValuehistory ( SCIP_VAR var)

returns the value based history for the variable

Parameters
varproblem variable

Definition at line 18519 of file var.c.

References NULL, and SCIP_Var::valuehistory.

Referenced by getValueScore().

◆ SCIPvarIsRelaxationOnly()

SCIP_Bool SCIPvarIsRelaxationOnly ( SCIP_VAR var)

returns whether a variable has been introduced to define a relaxation

These variables are only valid for the current SCIP solve round, they are not contained in any (checked) constraints, but may be used in cutting planes, for example. Relaxation-only variables are not copied by SCIPcopyVars and cuts that contain these variables are not added as linear constraints when restarting or transferring information from a copied SCIP to a SCIP. Also conflicts with relaxation-only variables are not generated at the moment. Relaxation-only variables do not appear in the objective.

returns whether a variable has been introduced to define a relaxation

These variables are only valid for the current SCIP solve round, they are not contained in any (checked) constraints, but may be used in cutting planes, for example. Relaxation-only variables are not copied by SCIPcopyVars and cuts that contain these variables are not added as linear constraints when restarting or transferring information from a copied SCIP to a SCIP. Also conflicts with relaxation-only variables are not generated at the moment.

Parameters
varproblem variable

Definition at line 17705 of file var.c.

References NULL, and SCIP_Var::relaxationonly.

Referenced by addCoef(), conflictsetAddBound(), conflictsetAddBounds(), copyCuts(), copyVars(), createAndAddProofcons(), createCoveringProblem(), createSepaData(), determineVariableFixings(), exprIsSemicontinuous(), SCIP_DECL_CONSTRANS(), SCIP_DECL_RELAXEXEC(), SCIPapplyUndercover(), SCIPcopyConsLinear(), SCIPcreateConsLinear(), SCIPgenVBoundAdd(), SCIPgetVarCopy(), and SCIPprobExitSolve().

◆ SCIPvarMarkRelaxationOnly()

void SCIPvarMarkRelaxationOnly ( SCIP_VAR var)

marks that this variable has only been introduced to define a relaxation

The variable must not have a coefficient in the objective and must be deletable. If it is not marked deletable, it will be marked as deletable, which is only possible before the variable is added to a problem.

See also
SCIPvarIsRelaxationOnly
SCIPvarMarkDeletable
Parameters
varproblem variable

Definition at line 17723 of file var.c.

References NULL, SCIP_Var::relaxationonly, SCIPvarGetObj(), SCIPvarIsDeletable(), SCIPvarMarkDeletable(), and TRUE.

Referenced by createAuxVar(), createDisaggrVars(), and createObjRow().

◆ SCIPvarGetLPSol_rec()

◆ SCIPvarGetNLPSol_rec()

◆ SCIPvarGetPseudoSol()

SCIP_Real SCIPvarGetPseudoSol ( SCIP_VAR var)

gets pseudo solution value of variable at current node

gets pseudo solution value of variable

Parameters
varproblem variable

Definition at line 18529 of file var.c.

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

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

◆ SCIPvarGetSol()

SCIP_Real SCIPvarGetSol ( SCIP_VAR var,
SCIP_Bool  getlpval 
)

gets current LP or pseudo solution value of variable

Parameters
varproblem variable
getlpvalshould the LP solution value be returned?

Definition at line 13256 of file var.c.

References SCIPvarGetLPSol(), and SCIPvarGetPseudoSol().

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

◆ SCIPvarGetRootSol()

◆ SCIPvarGetBestRootSol()

◆ SCIPvarGetBestRootRedcost()

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
varproblem variable

Definition at line 13781 of file var.c.

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

Referenced by countNonZeroRootRedcostVars(), getVariableRedcostScore(), propagateBinaryBestRootRedcost(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), propdataInit(), SCIP_DECL_SORTPTRCOMP(), and SCIPvarGetBestRootRedcost().

◆ SCIPvarGetBestRootLPObjval()

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
varproblem variable

Definition at line 13815 of file var.c.

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

Referenced by propagateBinaryBestRootRedcost(), propagateRootRedcostBinvar(), propagateRootRedcostVar(), SCIP_DECL_SORTPTRCOMP(), and SCIPvarGetBestRootLPObjval().

◆ SCIPvarSetBestRootSol()

void SCIPvarSetBestRootSol ( SCIP_VAR var,
SCIP_Real  rootsol,
SCIP_Real  rootredcost,
SCIP_Real  rootlpobjval 
)

set the given solution as the best root solution w.r.t. root reduced cost propagation in the variables

Parameters
varproblem variable
rootsolroot solution value
rootredcostroot reduced cost
rootlpobjvalobjective value of the root LP

Definition at line 13846 of file var.c.

References SCIP_Var::bestrootlpobjval, SCIP_Var::bestrootredcost, SCIP_Var::bestrootsol, and NULL.

Referenced by SCIPprobExitSolve().

◆ SCIPvarGetAvgSol()

◆ SCIPvarGetLbchgInfo()

SCIP_BDCHGINFO * SCIPvarGetLbchgInfo ( SCIP_VAR var,
SCIP_BDCHGIDX bdchgidx,
SCIP_Bool  after 
)

returns the bound change information for the last lower bound change on given active problem variable before or after the bound change with the given index was applied; returns NULL, if no change to the lower bound was applied up to this point of time

Parameters
varactive problem variable
bdchgidxbound change index representing time on path to current node
aftershould the bound change with given index be included?

Definition at line 16576 of file var.c.

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

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

◆ SCIPvarGetUbchgInfo()

SCIP_BDCHGINFO * SCIPvarGetUbchgInfo ( SCIP_VAR var,
SCIP_BDCHGIDX bdchgidx,
SCIP_Bool  after 
)

returns the bound change information for the last upper bound change on given active problem variable before or after the bound change with the given index was applied; returns NULL, if no change to the upper bound was applied up to this point of time

Parameters
varactive problem variable
bdchgidxbound change index representing time on path to current node
aftershould the bound change with given index be included?

Definition at line 16632 of file var.c.

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

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

◆ SCIPvarGetBdchgInfo()

SCIP_BDCHGINFO * SCIPvarGetBdchgInfo ( SCIP_VAR var,
SCIP_BOUNDTYPE  boundtype,
SCIP_BDCHGIDX bdchgidx,
SCIP_Bool  after 
)

returns the bound change information for the last lower or upper bound change on given active problem variable before or after the bound change with the given index was applied; returns NULL, if no change to the lower/upper bound was applied up to this point of time

Parameters
varactive problem variable
boundtypetype of bound: lower or upper bound
bdchgidxbound change index representing time on path to current node
aftershould the bound change with given index be included?

Definition at line 16688 of file var.c.

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

Referenced by SCIPconflictAddBound(), and SCIPconflictAddRelaxedBound().

◆ SCIPvarGetLbAtIndex()

SCIP_Real SCIPvarGetLbAtIndex ( SCIP_VAR var,
SCIP_BDCHGIDX bdchgidx,
SCIP_Bool  after 
)

◆ SCIPvarGetUbAtIndex()

SCIP_Real SCIPvarGetUbAtIndex ( SCIP_VAR var,
SCIP_BDCHGIDX bdchgidx,
SCIP_Bool  after 
)

◆ SCIPvarGetBdAtIndex()

SCIP_Real SCIPvarGetBdAtIndex ( SCIP_VAR var,
SCIP_BOUNDTYPE  boundtype,
SCIP_BDCHGIDX bdchgidx,
SCIP_Bool  after 
)

returns lower or upper bound of variable directly before or after the bound change given by the bound change index was applied

Deprecated:
Please use SCIPgetVarBdAtIndex()

returns lower or upper bound of variable directly before or after the bound change given by the bound change index was applied

Deprecated:
Please use SCIPgetVarBdAtIndex()
Parameters
varproblem variable
boundtypetype of bound: lower or upper bound
bdchgidxbound change index representing time on path to current node
aftershould the bound change with given index be included?

Definition at line 16949 of file var.c.

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

◆ SCIPvarWasFixedAtIndex()

SCIP_Bool SCIPvarWasFixedAtIndex ( SCIP_VAR var,
SCIP_BDCHGIDX bdchgidx,
SCIP_Bool  after 
)

returns whether the binary variable was fixed at the time given by the bound change index

Deprecated:
Please use SCIPgetVarWasFixedAtIndex()

returns whether the binary variable was fixed at the time given by the bound change index

Deprecated:
Please use SCIPgetVarWasFixedAtIndex()
Parameters
varproblem variable
bdchgidxbound change index representing time on path to current node
aftershould the bound change with given index be included?

Definition at line 16969 of file var.c.

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

◆ SCIPvarGetLastBdchgIndex()

SCIP_BDCHGIDX * SCIPvarGetLastBdchgIndex ( SCIP_VAR var)

returns the last bound change index, at which the bounds of the given variable were tightened

Parameters
varproblem variable

Definition at line 16992 of file var.c.

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

Referenced by SCIPvarGetLastBdchgDepth().

◆ SCIPvarGetLastBdchgDepth()

int SCIPvarGetLastBdchgDepth ( SCIP_VAR var)

returns the last depth level, at which the bounds of the given variable were tightened; returns -2, if the variable's bounds are still the global bounds returns -1, if the variable was fixed in presolving

Parameters
varproblem variable

Definition at line 17029 of file var.c.

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

◆ SCIPvarWasFixedEarlier()

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
var1first binary variable
var2second binary variable

Definition at line 17117 of file var.c.

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

◆ SCIPbdchgidxIsEarlier()

SCIP_Bool SCIPbdchgidxIsEarlier ( SCIP_BDCHGIDX bdchgidx1,
SCIP_BDCHGIDX bdchgidx2 
)

returns whether first bound change index belongs to an earlier applied bound change than second one; if a bound change index is NULL, the bound change index represents the current time, i.e. the time after the last bound change was applied to the current node

Parameters
bdchgidx1first bound change index, or NULL
bdchgidx2second bound change index, or NULL

Definition at line 18639 of file var.c.

References SCIP_BdChgIdx::depth, FALSE, NULL, SCIP_BdChgIdx::pos, and TRUE.

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

◆ SCIPbdchgidxIsEarlierNonNull()

SCIP_Bool SCIPbdchgidxIsEarlierNonNull ( SCIP_BDCHGIDX bdchgidx1,
SCIP_BDCHGIDX bdchgidx2 
)

returns whether first bound change index belongs to an earlier applied bound change than second one

Parameters
bdchgidx1first bound change index
bdchgidx2second bound change index

Definition at line 18619 of file var.c.

References SCIP_BdChgIdx::depth, NULL, and SCIP_BdChgIdx::pos.

Referenced by SCIP_DECL_SORTPTRCOMP(), and SCIPvarGetLastBdchgIndex().

◆ SCIPbdchginfoGetOldbound()

SCIP_Real SCIPbdchginfoGetOldbound ( SCIP_BDCHGINFO bdchginfo)

returns old bound that was overwritten for given bound change information

Parameters
bdchginfobound change information

Definition at line 18659 of file var.c.

References NULL, and SCIP_BdChgInfo::oldbound.

Referenced by conflictAddBound(), and SCIPconflictAddRelaxedBound().

◆ SCIPbdchginfoGetNewbound()

◆ SCIPbdchginfoGetVar()

◆ SCIPbdchginfoGetChgtype()

SCIP_BOUNDCHGTYPE SCIPbdchginfoGetChgtype ( SCIP_BDCHGINFO bdchginfo)

returns whether the bound change information belongs to a branching decision or a deduction

Parameters
bdchginfobound change information

Definition at line 18689 of file var.c.

References SCIP_BdChgInfo::boundchgtype, and NULL.

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

◆ SCIPbdchginfoGetBoundtype()

◆ SCIPbdchginfoGetDepth()

int SCIPbdchginfoGetDepth ( SCIP_BDCHGINFO bdchginfo)

◆ SCIPbdchginfoGetPos()

int SCIPbdchginfoGetPos ( SCIP_BDCHGINFO bdchginfo)

returns bound change position in its depth level of given bound change information

Parameters
bdchginfobound change information

Definition at line 18719 of file var.c.

References SCIP_BdChgInfo::bdchgidx, NULL, and SCIP_BdChgIdx::pos.

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

◆ SCIPbdchginfoGetIdx()

SCIP_BDCHGIDX * SCIPbdchginfoGetIdx ( SCIP_BDCHGINFO bdchginfo)

returns bound change index of given bound change information

Parameters
bdchginfobound change information

Definition at line 18729 of file var.c.

References SCIP_BdChgInfo::bdchgidx, and NULL.

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

◆ SCIPbdchginfoGetInferVar()

SCIP_VAR * SCIPbdchginfoGetInferVar ( SCIP_BDCHGINFO bdchginfo)

returns inference variable of given bound change information

Parameters
bdchginfobound change information

Definition at line 18739 of file var.c.

References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, SCIP_BOUNDCHGTYPE_CONSINFER, and SCIP_BOUNDCHGTYPE_PROPINFER.

Referenced by conflictResolveBound().

◆ SCIPbdchginfoGetInferCons()

SCIP_CONS * SCIPbdchginfoGetInferCons ( SCIP_BDCHGINFO bdchginfo)

returns inference constraint of given bound change information

Parameters
bdchginfobound change information

Definition at line 18751 of file var.c.

References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, and SCIP_BOUNDCHGTYPE_CONSINFER.

Referenced by conflictAddBound(), and conflictResolveBound().

◆ SCIPbdchginfoGetInferProp()

SCIP_PROP * SCIPbdchginfoGetInferProp ( SCIP_BDCHGINFO bdchginfo)

returns inference propagator of given bound change information, or NULL if no propagator was responsible

Parameters
bdchginfobound change information

Definition at line 18763 of file var.c.

References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, and SCIP_BOUNDCHGTYPE_PROPINFER.

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

◆ SCIPbdchginfoGetInferInfo()

int SCIPbdchginfoGetInferInfo ( SCIP_BDCHGINFO bdchginfo)

returns inference user information of given bound change information

Parameters
bdchginfobound change information

Definition at line 18774 of file var.c.

References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, SCIP_BOUNDCHGTYPE_CONSINFER, and SCIP_BOUNDCHGTYPE_PROPINFER.

Referenced by conflictAddBound(), and conflictResolveBound().

◆ SCIPbdchginfoGetInferBoundtype()

SCIP_BOUNDTYPE SCIPbdchginfoGetInferBoundtype ( SCIP_BDCHGINFO bdchginfo)

returns inference bound of inference variable of given bound change information

Parameters
bdchginfobound change information

Definition at line 18786 of file var.c.

References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferboundtype, NULL, SCIP_BOUNDCHGTYPE_CONSINFER, and SCIP_BOUNDCHGTYPE_PROPINFER.

Referenced by conflictResolveBound().

◆ SCIPbdchginfoIsRedundant()

SCIP_Bool SCIPbdchginfoIsRedundant ( SCIP_BDCHGINFO bdchginfo)

◆ SCIPbdchginfoHasInferenceReason()

SCIP_Bool SCIPbdchginfoHasInferenceReason ( SCIP_BDCHGINFO bdchginfo)

returns whether the bound change has an inference reason (constraint or propagator), that can be resolved

Parameters
bdchginfobound change information

Definition at line 18818 of file var.c.

References SCIP_BdChgInfo::boundchgtype, SCIP_BdChgInfo::inferencedata, NULL, SCIP_BOUNDCHGTYPE_CONSINFER, and SCIP_BOUNDCHGTYPE_PROPINFER.

Referenced by conflictAnalyze().

◆ SCIPbdchginfoIsTighter()

SCIP_Bool SCIPbdchginfoIsTighter ( SCIP_BDCHGINFO bdchginfo1,
SCIP_BDCHGINFO bdchginfo2 
)

for two bound change informations belonging to the same variable and bound, returns whether the first bound change has a tighter new bound as the second bound change

Parameters
bdchginfo1first bound change information
bdchginfo2second bound change information

Definition at line 18832 of file var.c.

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

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

◆ SCIPboundchgGetNewbound()

SCIP_Real SCIPboundchgGetNewbound ( SCIP_BOUNDCHG boundchg)

returns the new value of the bound in the bound change data

Parameters
boundchgbound change data

Definition at line 17315 of file var.c.

References SCIP_BoundChg::newbound, and NULL.

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

◆ SCIPboundchgGetVar()

SCIP_VAR * SCIPboundchgGetVar ( SCIP_BOUNDCHG boundchg)

returns the variable of the bound change in the bound change data

Parameters
boundchgbound change data

Definition at line 17325 of file var.c.

References NULL, and SCIP_BoundChg::var.

Referenced by boundchgApplyGlobal(), computeDynamicRowOrder(), SCIP_DECL_EVENTEXEC(), SCIPendStrongbranch(), and SCIPnodePropagateImplics().

◆ SCIPboundchgGetBoundchgtype()

SCIP_BOUNDCHGTYPE SCIPboundchgGetBoundchgtype ( SCIP_BOUNDCHG boundchg)

returns the bound change type of the bound change in the bound change data

Parameters
boundchgbound change data

Definition at line 17335 of file var.c.

References SCIP_BoundChg::boundchgtype, and NULL.

Referenced by computeDynamicRowOrder(), and SCIP_DECL_EVENTEXEC().

◆ SCIPboundchgGetBoundtype()

SCIP_BOUNDTYPE SCIPboundchgGetBoundtype ( SCIP_BOUNDCHG boundchg)

returns the bound type of the bound change in the bound change data

Parameters
boundchgbound change data

Definition at line 17345 of file var.c.

References SCIP_BoundChg::boundtype, and NULL.

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

◆ SCIPboundchgIsRedundant()

SCIP_Bool SCIPboundchgIsRedundant ( SCIP_BOUNDCHG boundchg)

returns whether the bound change is redundant due to a more global bound that is at least as strong

Parameters
boundchgbound change data

Definition at line 17355 of file var.c.

References NULL, and SCIP_BoundChg::redundant.

Referenced by SCIPendStrongbranch(), and SCIPnodePropagateImplics().

◆ SCIPdomchgGetNBoundchgs()

int SCIPdomchgGetNBoundchgs ( SCIP_DOMCHG domchg)

returns the number of bound changes in the domain change data

Parameters
domchgdomain change data

Definition at line 17365 of file var.c.

References SCIP_DomChg::domchgbound, SCIP_DomChgBound::nboundchgs, and NULL.

Referenced by computeDynamicRowOrder(), SCIP_DECL_EVENTEXEC(), SCIPendStrongbranch(), and SCIPnodePropagateImplics().

◆ SCIPdomchgGetBoundchg()

SCIP_BOUNDCHG * SCIPdomchgGetBoundchg ( SCIP_DOMCHG domchg,
int  pos 
)

returns a particular bound change in the domain change data

Parameters
domchgdomain change data
posposition of the bound change in the domain change data

Definition at line 17373 of file var.c.

References SCIP_DomChgBound::boundchgs, SCIP_DomChg::domchgbound, SCIP_DomChgBound::nboundchgs, and NULL.

Referenced by computeDynamicRowOrder(), SCIP_DECL_EVENTEXEC(), SCIPendStrongbranch(), and SCIPnodePropagateImplics().

◆ SCIPholelistGetLeft()

SCIP_Real SCIPholelistGetLeft ( SCIP_HOLELIST holelist)

returns left bound of open interval in hole

Parameters
holelisthole list pointer to hole of interest

Definition at line 17385 of file var.c.

References SCIP_Holelist::hole, SCIP_Hole::left, and NULL.

Referenced by printHolelist().

◆ SCIPholelistGetRight()

SCIP_Real SCIPholelistGetRight ( SCIP_HOLELIST holelist)

returns right bound of open interval in hole

Parameters
holelisthole list pointer to hole of interest

Definition at line 17395 of file var.c.

References SCIP_Holelist::hole, NULL, and SCIP_Hole::right.

Referenced by printHolelist().

◆ SCIPholelistGetNext()

SCIP_HOLELIST * SCIPholelistGetNext ( SCIP_HOLELIST holelist)

returns next hole in list or NULL

returns next hole in list

Parameters
holelisthole list pointer to hole of interest

Definition at line 17405 of file var.c.

References SCIP_Holelist::next, and NULL.

Referenced by printHolelist().

◆ SCIPcreateVar()

SCIP_RETCODE SCIPcreateVar ( SCIP scip,
SCIP_VAR **  var,
const char *  name,
SCIP_Real  lb,
SCIP_Real  ub,
SCIP_Real  obj,
SCIP_VARTYPE  vartype,
SCIP_Bool  initial,
SCIP_Bool  removable,
SCIP_DECL_VARDELORIG((*vardelorig))  ,
SCIP_DECL_VARTRANS((*vartrans))  ,
SCIP_DECL_VARDELTRANS((*vardeltrans))  ,
SCIP_DECL_VARCOPY((*varcopy))  ,
SCIP_VARDATA vardata 
)

creates and captures problem variable; if variable is of integral type, fractional bounds are automatically rounded; an integer variable with bounds zero and one is automatically converted into a binary variable;

Warning
When doing column generation and the original problem is a maximization problem, notice that SCIP will transform the problem into a minimization problem by multiplying the objective function by -1. Thus, the original objective function value of variables created during the solving process has to be multiplied by -1, too.
Returns
SCIP_OKAY is returned if everything worked. Otherwise a suitable error code is passed. See SCIP_RETCODE for a complete list of error codes.
Precondition
This method can be called if scip is in one of the following stages:
Note
the variable gets captured, hence at one point you have to release it using the method SCIPreleaseVar()
Parameters
scipSCIP data structure
varpointer to variable object
namename of variable, or NULL for automatic name creation
lblower bound of variable
ubupper bound of variable
objobjective function value
vartypetype of variable
initialshould var's column be present in the initial root LP?
removableis var's column removable from the LP (due to aging or cleanup)?
vardatauser data for this specific variable

Definition at line 114 of file scip_var.c.

References FALSE, NULL, REALABS, SCIP_CALL, SCIP_INVALIDCALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_STAGE_EXITPRESOLVE, SCIP_STAGE_INITPRESOLVE, SCIP_STAGE_PRESOLVED, SCIP_STAGE_PRESOLVING, SCIP_STAGE_PROBLEM, SCIP_STAGE_SOLVING, SCIP_STAGE_TRANSFORMING, SCIPcheckStage(), SCIPerrorMessage, SCIPisInfinity(), SCIPvarCreateOriginal(), SCIPvarCreateTransformed(), and TRUE.

Referenced by ObjPricerVRP::add_tour_variable(), addConstraintToBendersSubproblem(), addExtendedAsymmetricFormulation(), addExtendedFlowFormulation(), addScenarioVarsToProb(), addVarCardinality(), aggregation(), appendVarCardinality(), applyFixings(), consdataCreateBinvars(), convertLongEquality(), createAndAddAndCons(), createConstraint(), createCoveringProblem(), createMipCpFormulation(), createObjRow(), createRelaxation(), createSubscip(), createSubSCIP(), createVariable(), execmain(), getScenarioDecompVar(), getVariable(), scipexamples::QueensSolver::QueensSolver(), readBounds(), readCnf(), readCols(), readLIBSVM(), readObjective(), readQMatrix(), readVariables(), SCIP_DECL_HEUREXEC(), SCIP_DECL_LINCONSUPGD(), SCIP_DECL_PRESOLEXEC(), SCIP_DECL_PRICERFARKAS(), SCIP_DECL_PRICERREDCOST(), SCIP_DECL_READERREAD(), SCIPcreateConsCardinality(), SCIPcreateConsIndicatorGeneric(), SCIPcreateConsIndicatorGenericLinConsPure(), SCIPcreateObjVar(), SCIPcreateSchedulingProblem(), SCIPcreateVarBasic(), SCIPtransformMinUC(), setObjective(), setupAndSolveFiniteSolSubscip(), solveClassification(), and solveMinIISC().

◆ SCIPcreateVarBasic()

SCIP_RETCODE SCIPcreateVarBasic ( SCIP scip,
SCIP_VAR **  var,
const char *  name,
SCIP_Real  lb,
SCIP_Real  ub,
SCIP_Real  obj,
SCIP_VARTYPE  vartype 
)

creates and captures problem variable with optional callbacks and variable data set to NULL, which can be set afterwards using