|
|
internal methods for problem variables
- Author
- Tobias Achterberg
Definition in file var.h.
Go to the source code of this file.
|
| SCIP_RETCODE | SCIPboundchgApply (SCIP_BOUNDCHG *boundchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, int depth, int pos, SCIP_Bool *cutoff) |
| |
| SCIP_RETCODE | SCIPboundchgUndo (SCIP_BOUNDCHG *boundchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue) |
| |
| SCIP_RETCODE | SCIPdomchgApplyGlobal (SCIP_DOMCHG *domchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_Bool *cutoff) |
| |
| SCIP_RETCODE | SCIPdomchgFree (SCIP_DOMCHG **domchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp) |
| |
| SCIP_RETCODE | SCIPdomchgMakeStatic (SCIP_DOMCHG **domchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp) |
| |
| SCIP_RETCODE | SCIPdomchgApply (SCIP_DOMCHG *domchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, int depth, SCIP_Bool *cutoff) |
| |
| SCIP_RETCODE | SCIPdomchgUndo (SCIP_DOMCHG *domchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue) |
| |
| SCIP_RETCODE | SCIPdomchgAddBoundchg (SCIP_DOMCHG **domchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_VAR *var, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype, SCIP_BOUNDCHGTYPE boundchgtype, SCIP_Real lpsolval, SCIP_VAR *infervar, SCIP_CONS *infercons, SCIP_PROP *inferprop, int inferinfo, SCIP_BOUNDTYPE inferboundtype) |
| |
| SCIP_RETCODE | SCIPdomchgAddHolechg (SCIP_DOMCHG **domchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_HOLELIST **ptr, SCIP_HOLELIST *newlist, SCIP_HOLELIST *oldlist) |
| |
| SCIP_RETCODE | SCIPbdchginfoCreate (SCIP_BDCHGINFO **bdchginfo, BMS_BLKMEM *blkmem, SCIP_VAR *var, SCIP_BOUNDTYPE boundtype, SCIP_Real oldbound, SCIP_Real newbound) |
| |
| void | SCIPbdchginfoFree (SCIP_BDCHGINFO **bdchginfo, BMS_BLKMEM *blkmem) |
| |
| SCIP_Real | SCIPbdchginfoGetRelaxedBound (SCIP_BDCHGINFO *bdchginfo) |
| |
| SCIP_RETCODE | SCIPvarCreateOriginal (SCIP_VAR **var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, 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 | SCIPvarCreateTransformed (SCIP_VAR **var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, 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 | SCIPvarCopy (SCIP_VAR **var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP *sourcescip, SCIP_VAR *sourcevar, SCIP_HASHMAP *varmap, SCIP_HASHMAP *consmap, SCIP_Bool global) |
| |
| SCIP_RETCODE | SCIPvarParseOriginal (SCIP_VAR **var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, 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 | SCIPvarParseTransformed (SCIP_VAR **var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, 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) |
| |
| void | SCIPvarCapture (SCIP_VAR *var) |
| |
| SCIP_RETCODE | SCIPvarRelease (SCIP_VAR **var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp) |
| |
| SCIP_RETCODE | SCIPvarChgName (SCIP_VAR *var, BMS_BLKMEM *blkmem, const char *name) |
| |
| void | SCIPvarInitSolve (SCIP_VAR *var) |
| |
| SCIP_RETCODE | SCIPvarTransform (SCIP_VAR *origvar, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_OBJSENSE objsense, SCIP_VAR **transvar) |
| |
| SCIP_RETCODE | SCIPvarGetTransformed (SCIP_VAR *origvar, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_VAR **transvar) |
| |
| SCIP_RETCODE | SCIPvarColumn (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_LP *lp) |
| |
| SCIP_RETCODE | SCIPvarLoose (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_PROB *prob, SCIP_LP *lp) |
| |
| SCIP_RETCODE | SCIPvarFix (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_Real fixedval, SCIP_Bool *infeasible, SCIP_Bool *fixed) |
| |
| SCIP_RETCODE | SCIPvarGetActiveRepresentatives (SCIP_SET *set, SCIP_VAR **vars, SCIP_Real *scalars, int *nvars, int varssize, SCIP_Real *constant, int *requiredsize, SCIP_Bool mergemultiples) |
| |
| SCIP_RETCODE | SCIPvarGetProbvarSum (SCIP_VAR **var, SCIP_SET *set, SCIP_Real *scalar, SCIP_Real *constant) |
| |
| SCIP_RETCODE | SCIPvarFlattenAggregationGraph (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set) |
| |
| SCIP_RETCODE | SCIPvarsGetActiveVars (SCIP_SET *set, SCIP_VAR **vars, int *nvars, int varssize, int *requiredsize) |
| |
| SCIP_RETCODE | SCIPvarTryAggregateVars (SCIP_SET *set, BMS_BLKMEM *blkmem, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_LP *lp, SCIP_CLIQUETABLE *cliquetable, SCIP_BRANCHCAND *branchcand, SCIP_EVENTFILTER *eventfilter, SCIP_EVENTQUEUE *eventqueue, SCIP_VAR *varx, SCIP_VAR *vary, SCIP_Real scalarx, SCIP_Real scalary, SCIP_Real rhs, SCIP_Bool *infeasible, SCIP_Bool *aggregated) |
| |
| SCIP_RETCODE | SCIPvarAggregate (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_LP *lp, SCIP_CLIQUETABLE *cliquetable, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_VAR *aggvar, SCIP_Real scalar, SCIP_Real constant, SCIP_Bool *infeasible, SCIP_Bool *aggregated) |
| |
| SCIP_RETCODE | SCIPvarMultiaggregate (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_LP *lp, SCIP_CLIQUETABLE *cliquetable, SCIP_BRANCHCAND *branchcand, SCIP_EVENTFILTER *eventfilter, SCIP_EVENTQUEUE *eventqueue, int naggvars, SCIP_VAR **aggvars, SCIP_Real *scalars, SCIP_Real constant, SCIP_Bool *infeasible, SCIP_Bool *aggregated) |
| |
| SCIP_Bool | SCIPvarDoNotMultaggr (SCIP_VAR *var) |
| |
| SCIP_RETCODE | SCIPvarNegate (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_VAR **negvar) |
| |
| void | SCIPvarSetProbindex (SCIP_VAR *var, int probindex) |
| |
| void | SCIPvarSetNamePointer (SCIP_VAR *var, const char *name) |
| |
| SCIP_RETCODE | SCIPvarRemove (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_Bool final) |
| |
| void | SCIPvarMarkDeleted (SCIP_VAR *var) |
| |
| SCIP_RETCODE | SCIPvarMarkDoNotMultaggr (SCIP_VAR *var) |
| |
| SCIP_RETCODE | SCIPvarAddLocks (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, int addnlocksdown, int addnlocksup) |
| |
| SCIP_RETCODE | SCIPvarChgType (SCIP_VAR *var, SCIP_VARTYPE vartype) |
| |
| SCIP_RETCODE | SCIPvarChgObj (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_PROB *prob, SCIP_PRIMAL *primal, SCIP_LP *lp, SCIP_EVENTQUEUE *eventqueue, SCIP_Real newobj) |
| |
| SCIP_RETCODE | SCIPvarAddObj (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_LP *lp, SCIP_EVENTQUEUE *eventqueue, SCIP_Real addobj) |
| |
| SCIP_RETCODE | SCIPvarChgObjDive (SCIP_VAR *var, SCIP_SET *set, SCIP_LP *lp, SCIP_Real newobj) |
| |
| void | SCIPvarAdjustLb (SCIP_VAR *var, SCIP_SET *set, SCIP_Real *lb) |
| |
| void | SCIPvarAdjustUb (SCIP_VAR *var, SCIP_SET *set, SCIP_Real *ub) |
| |
| void | SCIPvarAdjustBd (SCIP_VAR *var, SCIP_SET *set, SCIP_BOUNDTYPE boundtype, SCIP_Real *bd) |
| |
| SCIP_RETCODE | SCIPvarChgLbOriginal (SCIP_VAR *var, SCIP_SET *set, SCIP_Real newbound) |
| |
| SCIP_RETCODE | SCIPvarChgUbOriginal (SCIP_VAR *var, SCIP_SET *set, SCIP_Real newbound) |
| |
| SCIP_RETCODE | SCIPvarChgLbGlobal (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_Real newbound) |
| |
| SCIP_RETCODE | SCIPvarChgUbGlobal (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_Real newbound) |
| |
| SCIP_RETCODE | SCIPvarChgBdGlobal (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype) |
| |
| SCIP_RETCODE | SCIPvarChgLbLocal (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_Real newbound) |
| |
| SCIP_RETCODE | SCIPvarChgUbLocal (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_Real newbound) |
| |
| SCIP_RETCODE | SCIPvarChgBdLocal (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype) |
| |
| SCIP_RETCODE | SCIPvarChgLbLazy (SCIP_VAR *var, SCIP_SET *set, SCIP_Real lazylb) |
| |
| SCIP_RETCODE | SCIPvarChgUbLazy (SCIP_VAR *var, SCIP_SET *set, SCIP_Real lazylb) |
| |
| SCIP_RETCODE | SCIPvarChgLbDive (SCIP_VAR *var, SCIP_SET *set, SCIP_LP *lp, SCIP_Real newbound) |
| |
| SCIP_RETCODE | SCIPvarChgUbDive (SCIP_VAR *var, SCIP_SET *set, SCIP_LP *lp, SCIP_Real newbound) |
| |
| SCIP_Real | SCIPvarGetMultaggrLbLocal (SCIP_VAR *var, SCIP_SET *set) |
| |
| SCIP_Real | SCIPvarGetMultaggrUbLocal (SCIP_VAR *var, SCIP_SET *set) |
| |
| SCIP_Real | SCIPvarGetMultaggrLbGlobal (SCIP_VAR *var, SCIP_SET *set) |
| |
| SCIP_Real | SCIPvarGetMultaggrUbGlobal (SCIP_VAR *var, SCIP_SET *set) |
| |
| SCIP_RETCODE | SCIPvarAddHoleOriginal (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_Real left, SCIP_Real right) |
| |
| SCIP_RETCODE | SCIPvarAddHoleGlobal (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_Real left, SCIP_Real right, SCIP_Bool *added) |
| |
| SCIP_RETCODE | SCIPvarAddHoleLocal (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_Real left, SCIP_Real right, SCIP_Bool *added) |
| |
| SCIP_RETCODE | SCIPvarResetBounds (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat) |
| |
| int | SCIPvarGetConflictingBdchgDepth (SCIP_VAR *var, SCIP_SET *set, SCIP_BOUNDTYPE boundtype, SCIP_Real bound) |
| |
| SCIP_RETCODE | SCIPvarAddVlb (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_TREE *tree, SCIP_LP *lp, SCIP_CLIQUETABLE *cliquetable, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_VAR *vlbvar, SCIP_Real vlbcoef, SCIP_Real vlbconstant, SCIP_Bool transitive, SCIP_Bool *infeasible, int *nbdchgs) |
| |
| SCIP_RETCODE | SCIPvarAddVub (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_TREE *tree, SCIP_LP *lp, SCIP_CLIQUETABLE *cliquetable, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_VAR *vubvar, SCIP_Real vubcoef, SCIP_Real vubconstant, SCIP_Bool transitive, SCIP_Bool *infeasible, int *nbdchgs) |
| |
| SCIP_RETCODE | SCIPvarAddImplic (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_TREE *tree, SCIP_LP *lp, SCIP_CLIQUETABLE *cliquetable, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_Bool varfixing, SCIP_VAR *implvar, SCIP_BOUNDTYPE impltype, SCIP_Real implbound, SCIP_Bool transitive, SCIP_Bool *infeasible, int *nbdchgs) |
| |
| SCIP_RETCODE | SCIPvarFixBinary (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_TREE *tree, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_Bool value, SCIP_Bool *infeasible, int *nbdchgs) |
| |
| SCIP_RETCODE | SCIPvarAddClique (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_TREE *tree, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_Bool value, SCIP_CLIQUE *clique, SCIP_Bool *infeasible, int *nbdchgs) |
| |
| SCIP_RETCODE | SCIPvarsAddClique (SCIP_VAR **vars, SCIP_Bool *values, int nvars, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_CLIQUE *clique) |
| |
| SCIP_RETCODE | SCIPvarDelClique (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_Bool value, SCIP_CLIQUE *clique) |
| |
| SCIP_RETCODE | SCIPvarDelCliqueFromList (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_Bool value, SCIP_CLIQUE *clique) |
| |
| SCIP_RETCODE | SCIPvarChgBranchFactor (SCIP_VAR *var, SCIP_SET *set, SCIP_Real branchfactor) |
| |
| SCIP_RETCODE | SCIPvarChgBranchPriority (SCIP_VAR *var, int branchpriority) |
| |
| SCIP_RETCODE | SCIPvarChgBranchDirection (SCIP_VAR *var, SCIP_BRANCHDIR branchdirection) |
| |
| SCIP_Real | SCIPvarGetObjLP (SCIP_VAR *var) |
| |
| SCIP_Real | SCIPvarGetLbLP (SCIP_VAR *var, SCIP_SET *set) |
| |
| SCIP_Real | SCIPvarGetUbLP (SCIP_VAR *var, SCIP_SET *set) |
| |
| void | SCIPvarGetClosestVlb (SCIP_VAR *var, SCIP_SOL *sol, SCIP_SET *set, SCIP_STAT *stat, SCIP_Real *closestvlb, int *closestvlbidx) |
| |
| void | SCIPvarGetClosestVub (SCIP_VAR *var, SCIP_SOL *sol, SCIP_SET *set, SCIP_STAT *stat, SCIP_Real *closestvub, int *closestvubidx) |
| |
| void | SCIPvarStoreRootSol (SCIP_VAR *var, SCIP_Bool roothaslp) |
| |
| void | SCIPvarUpdateBestRootSol (SCIP_VAR *var, SCIP_SET *set, SCIP_Real rootsol, SCIP_Real rootredcost, SCIP_Real rootlpobjval) |
| |
| SCIP_Real | SCIPvarGetRelaxSol (SCIP_VAR *var, SCIP_SET *set) |
| |
| SCIP_Real | SCIPvarGetRelaxSolTransVar (SCIP_VAR *var) |
| |
| SCIP_Real | SCIPvarGetRedcost (SCIP_VAR *var, SCIP_SET *set, SCIP_Bool varfixing, SCIP_STAT *stat, SCIP_LP *lp) |
| |
| SCIP_Real | SCIPvarGetImplRedcost (SCIP_VAR *var, SCIP_SET *set, SCIP_Bool varfixing, SCIP_STAT *stat, SCIP_LP *lp) |
| |
| SCIP_RETCODE | SCIPvarSetRelaxSol (SCIP_VAR *var, SCIP_SET *set, SCIP_RELAXATION *relaxation, SCIP_Real solval, SCIP_Bool updateobj) |
| |
| SCIP_RETCODE | SCIPvarSetNLPSol (SCIP_VAR *var, SCIP_SET *set, SCIP_Real solval) |
| |
| SCIP_RETCODE | SCIPvarAddToRow (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_PROB *prob, SCIP_LP *lp, SCIP_ROW *row, SCIP_Real val) |
| |
| SCIP_RETCODE | SCIPvarUpdatePseudocost (SCIP_VAR *var, SCIP_SET *set, SCIP_STAT *stat, SCIP_Real solvaldelta, SCIP_Real objdelta, SCIP_Real weight) |
| |
| SCIP_Real | SCIPvarGetPseudocost (SCIP_VAR *var, SCIP_STAT *stat, SCIP_Real solvaldelta) |
| |
| SCIP_Real | SCIPvarGetPseudocostCurrentRun (SCIP_VAR *var, SCIP_STAT *stat, SCIP_Real solvaldelta) |
| |
| SCIP_Real | SCIPvarGetPseudocostCount (SCIP_VAR *var, SCIP_BRANCHDIR dir) |
| |
| SCIP_Real | SCIPvarGetPseudocostCountCurrentRun (SCIP_VAR *var, SCIP_BRANCHDIR dir) |
| |
| SCIP_RETCODE | SCIPvarIncVSIDS (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_BRANCHDIR dir, SCIP_Real value, SCIP_Real weight) |
| |
| SCIP_RETCODE | SCIPvarScaleVSIDS (SCIP_VAR *var, SCIP_Real scalar) |
| |
| SCIP_RETCODE | SCIPvarIncNActiveConflicts (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_BRANCHDIR dir, SCIP_Real value, SCIP_Real length) |
| |
| SCIP_Longint | SCIPvarGetNActiveConflicts (SCIP_VAR *var, SCIP_STAT *stat, SCIP_BRANCHDIR dir) |
| |
| SCIP_Longint | SCIPvarGetNActiveConflictsCurrentRun (SCIP_VAR *var, SCIP_STAT *stat, SCIP_BRANCHDIR dir) |
| |
| SCIP_Real | SCIPvarGetAvgConflictlength (SCIP_VAR *var, SCIP_BRANCHDIR dir) |
| |
| SCIP_Real | SCIPvarGetAvgConflictlengthCurrentRun (SCIP_VAR *var, SCIP_BRANCHDIR dir) |
| |
| SCIP_RETCODE | SCIPvarIncNBranchings (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_BRANCHDIR dir, SCIP_Real value, int depth) |
| |
| SCIP_RETCODE | SCIPvarIncInferenceSum (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_BRANCHDIR dir, SCIP_Real value, SCIP_Real weight) |
| |
| SCIP_RETCODE | SCIPvarIncCutoffSum (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_BRANCHDIR dir, SCIP_Real value, SCIP_Real weight) |
| |
| SCIP_Real | SCIPvarGetVSIDS_rec (SCIP_VAR *var, SCIP_STAT *stat, SCIP_BRANCHDIR dir) |
| |
| SCIP_Real | SCIPvarGetVSIDSCurrentRun (SCIP_VAR *var, SCIP_STAT *stat, SCIP_BRANCHDIR dir) |
| |
| SCIP_Real | SCIPvarGetAvgInferences (SCIP_VAR *var, SCIP_STAT *stat, SCIP_BRANCHDIR dir) |
| |
| SCIP_Real | SCIPvarGetAvgInferencesCurrentRun (SCIP_VAR *var, SCIP_STAT *stat, SCIP_BRANCHDIR dir) |
| |
| SCIP_Real | SCIPvarGetAvgCutoffs (SCIP_VAR *var, SCIP_STAT *stat, SCIP_BRANCHDIR dir) |
| |
| SCIP_Real | SCIPvarGetAvgCutoffsCurrentRun (SCIP_VAR *var, SCIP_STAT *stat, SCIP_BRANCHDIR dir) |
| |
| SCIP_RETCODE | SCIPvarPrint (SCIP_VAR *var, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, FILE *file) |
| |
| SCIP_RETCODE | SCIPvarCatchEvent (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTTYPE eventtype, SCIP_EVENTHDLR *eventhdlr, SCIP_EVENTDATA *eventdata, int *filterpos) |
| |
| SCIP_RETCODE | SCIPvarDropEvent (SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTTYPE eventtype, SCIP_EVENTHDLR *eventhdlr, SCIP_EVENTDATA *eventdata, int filterpos) |
| |
| SCIP_Real | SCIPvarGetVSIDS (SCIP_VAR *var, SCIP_STAT *stat, SCIP_BRANCHDIR dir) |
| |
| int | SCIPbdchgidxGetPos (SCIP_BDCHGIDX *bdchgidx) |
| |
| | SCIP_DECL_HASHGETKEY (SCIPhashGetKeyVar) |
| |
applies single bound change
- Parameters
-
| boundchg | bound change to apply |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| lp | current LP data |
| branchcand | branching candidate storage |
| eventqueue | event queue |
| depth | depth in the tree, where the bound change takes place |
| pos | position of the bound change in its bound change array |
| cutoff | pointer to store whether an infeasible bound change was detected |
Definition at line 551 of file var.c.
References SCIP_BoundChg::applied, SCIP_BoundChg::boundchgtype, SCIP_BoundChg::boundtype, SCIP_BoundChg::data, FALSE, SCIP_BoundChg::inferboundtype, SCIP_BoundChg::inferencedata, SCIP_Stat::lastbranchdir, SCIP_Stat::lastbranchvalue, SCIP_Stat::lastbranchvar, SCIP_Dom::lb, SCIP_Var::locdom, SCIP_BoundChg::newbound, NULL, SCIP_BoundChg::redundant, SCIP_BOUNDCHGTYPE_BRANCHING, SCIP_BOUNDCHGTYPE_CONSINFER, SCIP_BOUNDCHGTYPE_PROPINFER, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPconsGetName(), SCIPdebugMessage, SCIPerrorMessage, SCIPpropGetName(), SCIPsetIsGE(), SCIPsetIsGT(), SCIPsetIsIntegral(), SCIPsetIsLE(), SCIPsetIsLT(), SCIPvarChgLbLocal(), SCIPvarChgUbLocal(), SCIPvarGetName(), SCIPvarGetStatus(), SCIPvarIncInferenceSum(), SCIPvarIncNBranchings(), SCIPvarIsIntegral(), TRUE, SCIP_Dom::ub, SCIP_BoundChg::var, varAddLbchginfo(), and varAddUbchginfo().
Referenced by SCIPdomchgApply(), and SCIPnodeAddBoundinfer().
undoes single bound change
- Parameters
-
| boundchg | bound change to remove |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| lp | current LP data |
| branchcand | branching candidate storage |
| eventqueue | event queue |
Definition at line 748 of file var.c.
References SCIP_BdChgInfo::bdchgidx, SCIP_BoundChg::boundchgtype, SCIP_BoundChg::boundtype, SCIP_BdChgIdx::depth, SCIP_Var::glbdom, SCIP_Stat::lastbranchvalue, SCIP_Stat::lastbranchvar, SCIP_Dom::lb, SCIP_Var::lbchginfos, SCIP_Var::locdom, SCIP_BoundChg::newbound, SCIP_BdChgInfo::newbound, SCIP_Var::nlbchginfos, SCIP_Var::nubchginfos, NULL, SCIP_BdChgInfo::oldbound, SCIP_BdChgIdx::pos, SCIP_BoundChg::redundant, SCIP_BOUNDCHGTYPE_BRANCHING, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_UNKNOWN, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPdebugMessage, SCIPerrorMessage, SCIPsetIsFeasEQ(), SCIPsetIsFeasGE(), SCIPsetIsFeasLE(), SCIPvarChgLbLocal(), SCIPvarChgUbLocal(), SCIPvarGetName(), SCIPvarGetStatus(), SCIP_Dom::ub, SCIP_Var::ubchginfos, and SCIP_BoundChg::var.
Referenced by SCIPdomchgUndo().
frees domain change data
- Parameters
-
| domchg | pointer to domain change |
| blkmem | block memory |
| set | global SCIP settings |
| eventqueue | event queue |
| lp | current LP data |
Definition at line 983 of file var.c.
References BMSfreeBlockMemoryArrayNull, BMSfreeBlockMemorySize, boundchgReleaseData(), NULL, SCIP_CALL, SCIP_DOMCHGTYPE_BOTH, SCIP_DOMCHGTYPE_BOUND, SCIP_DOMCHGTYPE_DYNAMIC, SCIP_INVALIDDATA, SCIP_OKAY, and SCIPerrorMessage.
Referenced by SCIPdomchgMakeStatic(), and SCIPnodeFree().
converts a dynamic domain change data into a static one, using less memory than for a dynamic one
- Parameters
-
| domchg | pointer to domain change data |
| blkmem | block memory |
| set | global SCIP settings |
| eventqueue | event queue |
| lp | current LP data |
Definition at line 1084 of file var.c.
References BMSfreeBlockMemoryArrayNull, BMSreallocBlockMemoryArray, BMSreallocBlockMemorySize, NULL, SCIP_ALLOC, SCIP_CALL, SCIP_DOMCHGTYPE_BOTH, SCIP_DOMCHGTYPE_BOUND, SCIP_DOMCHGTYPE_DYNAMIC, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_VARTYPE_CONTINUOUS, SCIPdebugMessage, SCIPdomchgFree(), SCIPerrorMessage, SCIPsetIsFeasIntegral(), and SCIPvarGetType().
Referenced by focusnodeToFork(), focusnodeToJunction(), focusnodeToPseudofork(), nodeRepropagate(), and nodeToLeaf().
applies domain change
- Parameters
-
| domchg | domain change to apply |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| lp | current LP data |
| branchcand | branching candidate storage |
| eventqueue | event queue |
| depth | depth in the tree, where the domain change takes place |
| cutoff | pointer to store whether an infeasible domain change was detected |
Definition at line 1222 of file var.c.
References SCIP_DomChgBound::boundchgs, SCIP_DomChg::domchgboth, SCIP_DomChg::domchgbound, SCIP_DomChg::domchgdyn, SCIP_DomChgDyn::domchgtype, FALSE, SCIP_DomChgBoth::holechgs, SCIP_DomChgBound::nboundchgs, SCIP_HoleChg::newlist, SCIP_DomChgBoth::nholechgs, NULL, SCIP_HoleChg::ptr, SCIP_BoundChg::redundant, SCIP_CALL, SCIP_DOMCHGTYPE_BOUND, SCIP_OKAY, SCIPboundchgApply(), SCIPdebugMessage, and TRUE.
Referenced by nodeActivate().
undoes domain change
- Parameters
-
| domchg | domain change to remove |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| lp | current LP data |
| branchcand | branching candidate storage |
| eventqueue | event queue |
Definition at line 1271 of file var.c.
References SCIP_DomChgBound::boundchgs, SCIP_DomChg::domchgboth, SCIP_DomChg::domchgbound, SCIP_DomChg::domchgdyn, SCIP_DomChgDyn::domchgtype, SCIP_DomChgBoth::holechgs, SCIP_DomChgBound::nboundchgs, SCIP_DomChgBoth::nholechgs, NULL, SCIP_HoleChg::oldlist, SCIP_HoleChg::ptr, SCIP_CALL, SCIP_DOMCHGTYPE_BOUND, SCIP_OKAY, SCIPboundchgUndo(), and SCIPdebugMessage.
Referenced by nodeDeactivate().
| SCIP_RETCODE SCIPdomchgAddBoundchg |
( |
SCIP_DOMCHG ** |
domchg, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_SET * |
set, |
|
|
SCIP_VAR * |
var, |
|
|
SCIP_Real |
newbound, |
|
|
SCIP_BOUNDTYPE |
boundtype, |
|
|
SCIP_BOUNDCHGTYPE |
boundchgtype, |
|
|
SCIP_Real |
lpsolval, |
|
|
SCIP_VAR * |
infervar, |
|
|
SCIP_CONS * |
infercons, |
|
|
SCIP_PROP * |
inferprop, |
|
|
int |
inferinfo, |
|
|
SCIP_BOUNDTYPE |
inferboundtype |
|
) |
| |
adds bound change to domain changes
- Parameters
-
| domchg | pointer to domain change data structure |
| blkmem | block memory |
| set | global SCIP settings |
| var | variable to change the bounds for |
| newbound | new value for bound |
| boundtype | type of bound for var: lower or upper bound |
| boundchgtype | type of bound change: branching decision or inference |
| lpsolval | solval of variable in last LP on path to node, or SCIP_INVALID if unknown |
| infervar | variable that was changed (parent of var, or var itself), or NULL |
| infercons | constraint that deduced the bound change, or NULL |
| inferprop | propagator that deduced the bound change, or NULL |
| inferinfo | user information for inference to help resolving the conflict |
| inferboundtype | type of bound for inference var: lower or upper bound |
Definition at line 1344 of file var.c.
References SCIP_BoundChg::applied, boundchgCaptureData(), SCIP_BoundChg::boundchgtype, SCIP_BoundChg::boundtype, SCIP_BoundChg::branchingdata, SCIP_BoundChg::data, domchgCreate(), SCIP_DomChg::domchgdyn, domchgEnsureBoundchgsSize(), domchgMakeDynamic(), FALSE, SCIP_BoundChg::inferboundtype, SCIP_BoundChg::inferencedata, SCIP_Var::name, SCIP_DomChgDyn::nboundchgs, SCIP_BoundChg::newbound, NULL, SCIP_BoundChg::redundant, SCIP_BOUNDCHGTYPE_BRANCHING, SCIP_BOUNDCHGTYPE_CONSINFER, SCIP_BOUNDCHGTYPE_PROPINFER, SCIP_BOUNDTYPE_LOWER, SCIP_CALL, SCIP_DOMCHGTYPE_DYNAMIC, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIP_VARTYPE_CONTINUOUS, SCIPdebugMessage, SCIPerrorMessage, SCIPsetIsEQ(), SCIPsetIsFeasIntegral(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarIsBinary(), and SCIP_BoundChg::var.
Referenced by SCIPnodeAddBoundinfer().
adds hole change to domain changes
- Parameters
-
| domchg | pointer to domain change data structure |
| blkmem | block memory |
| set | global SCIP settings |
| ptr | changed list pointer |
| newlist | new value of list pointer |
| oldlist | old value of list pointer |
Definition at line 1442 of file var.c.
References domchgCreate(), SCIP_DomChg::domchgdyn, domchgEnsureHolechgsSize(), domchgMakeDynamic(), SCIP_HoleChg::newlist, SCIP_DomChgDyn::nholechgs, NULL, SCIP_HoleChg::oldlist, SCIP_HoleChg::ptr, SCIP_CALL, SCIP_DOMCHGTYPE_DYNAMIC, and SCIP_OKAY.
| SCIP_RETCODE SCIPvarCreateOriginal |
( |
SCIP_VAR ** |
var, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_SET * |
set, |
|
|
SCIP_STAT * |
stat, |
|
|
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 an original problem variable; an integer variable with bounds zero and one is automatically converted into a binary variable
- Parameters
-
| var | pointer to variable data |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| name | name of variable, or NULL for automatic name creation |
| lb | lower bound of variable |
| ub | upper bound of variable |
| obj | objective function value |
| vartype | type of variable |
| initial | should var's column be present in the initial root LP? |
| removable | is var's column removable from the LP (due to aging or cleanup)? |
| vardata | user data for this specific variable |
Definition at line 2014 of file var.c.
References NULL, SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_ORIGINAL, SCIPvarCapture(), and varCreate().
Referenced by SCIPcreateVar(), and SCIPvarCopy().
| SCIP_RETCODE SCIPvarCreateTransformed |
( |
SCIP_VAR ** |
var, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_SET * |
set, |
|
|
SCIP_STAT * |
stat, |
|
|
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 a loose variable belonging to the transformed problem; an integer variable with bounds zero and one is automatically converted into a binary variable
- Parameters
-
| var | pointer to variable data |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| name | name of variable, or NULL for automatic name creation |
| lb | lower bound of variable |
| ub | upper bound of variable |
| obj | objective function value |
| vartype | type of variable |
| initial | should var's column be present in the initial root LP? |
| removable | is var's column removable from the LP (due to aging or cleanup)? |
| vardata | user data for this specific variable |
Definition at line 2057 of file var.c.
References NULL, SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_LOOSE, SCIPeventfilterCreate(), SCIPvarCapture(), and varCreate().
Referenced by SCIPcreateVar(), SCIPvarTransform(), and tryAggregateIntVars().
copies and captures a variable from source to target SCIP; an integer variable with bounds zero and one is automatically converted into a binary variable; in case the variable data cannot be copied the variable is not copied at all
- Parameters
-
| var | pointer to store the target variable |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| sourcescip | source SCIP data structure |
| sourcevar | source variable |
| varmap | a hashmap to store the mapping of source variables corresponding target variables |
| consmap | a hashmap to store the mapping of source constraints to the corresponding target constraints |
| global | should global or local bounds be used? |
Definition at line 2099 of file var.c.
References NULL, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_INVALIDRESULT, SCIP_OKAY, SCIP_Real, SCIP_STAGE_PROBLEM, SCIP_SUCCESS, SCIP_VARSTATUS_ORIGINAL, SCIPdebugMessage, SCIPerrorMessage, SCIPhashmapExists(), SCIPhashmapInsert(), SCIPvarCreateOriginal(), SCIPvarGetHolelistGlobal(), SCIPvarGetHolelistLocal(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetLbOriginal(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), SCIPvarGetUbOriginal(), SCIPvarIsInitial(), SCIPvarIsRemovable(), and SCIP_Var::vardata.
Referenced by SCIPgetVarCopy().
| SCIP_RETCODE SCIPvarParseOriginal |
( |
SCIP_VAR ** |
var, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_SET * |
set, |
|
|
SCIP_MESSAGEHDLR * |
messagehdlr, |
|
|
SCIP_STAT * |
stat, |
|
|
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 |
|
) |
| |
parses variable information (in cip format) out of a string; if the parsing process was successful an original variable is created and captured; 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
- Parameters
-
| var | pointer to variable data |
| blkmem | block memory |
| set | global SCIP settings |
| messagehdlr | message handler |
| stat | problem statistics |
| str | string to parse |
| initial | should var's column be present in the initial root LP? |
| removable | is var's column removable from the LP (due to aging or cleanup)? |
| vardata | user data for this specific variable |
| endptr | pointer to store the final string position if successfully |
| success | pointer store if the paring process was successful |
Definition at line 2400 of file var.c.
References FALSE, NULL, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_ORIGINAL, SCIPvarCapture(), varCreate(), and varParse().
Referenced by SCIPparseVar().
| SCIP_RETCODE SCIPvarParseTransformed |
( |
SCIP_VAR ** |
var, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_SET * |
set, |
|
|
SCIP_MESSAGEHDLR * |
messagehdlr, |
|
|
SCIP_STAT * |
stat, |
|
|
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 |
|
) |
| |
parses variable information (in cip format) out of a string; if the parsing process was successful a loose variable belonging to the transformed problem is created and captured; 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
- Parameters
-
| var | pointer to variable data |
| blkmem | block memory |
| set | global SCIP settings |
| messagehdlr | message handler |
| stat | problem statistics |
| str | string to parse |
| initial | should var's column be present in the initial root LP? |
| removable | is var's column removable from the LP (due to aging or cleanup)? |
| vardata | user data for this specific variable |
| endptr | pointer to store the final string position if successfully |
| success | pointer store if the paring process was successful |
Definition at line 2464 of file var.c.
References NULL, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_LOOSE, SCIPeventfilterCreate(), SCIPvarCapture(), TRUE, varCreate(), and varParse().
Referenced by SCIPparseVar().
increases usage counter of variable
- Parameters
-
Definition at line 2749 of file var.c.
References SCIP_Var::name, NULL, SCIP_Var::nuses, and SCIPdebugMessage.
Referenced by boundchgCaptureData(), nlpAddVars(), SCIPcaptureVar(), SCIPpricestoreAddBdviolvar(), SCIPpricestoreAddVar(), SCIPprobAddVar(), SCIPtransformVar(), SCIPtransformVars(), SCIPvarCreateOriginal(), SCIPvarCreateTransformed(), SCIPvarParseOriginal(), SCIPvarParseTransformed(), SCIPvarTransform(), treeAddPendingBdchg(), and varAddParent().
decreases usage counter of variable, and frees memory if necessary
- Parameters
-
| var | pointer to variable |
| blkmem | block memory |
| set | global SCIP settings |
| eventqueue | event queue |
| lp | current LP data (or NULL, if it's an original variable) |
Definition at line 2761 of file var.c.
References NULL, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, and varFree().
Referenced by boundchgReleaseData(), nlpDelVarPos(), SCIPpricestoreAddVar(), SCIPpricestoreApplyVars(), SCIPpricestoreResetBounds(), SCIPprobFree(), SCIPprobPerformVarDeletions(), SCIPprobTransform(), SCIPreleaseVar(), SCIPtreeClear(), treeApplyPendingBdchgs(), tryAggregateIntVars(), and varFreeParents().
gets and captures transformed variable of a given variable; if the variable is not yet transformed, a new transformed variable for this variable is created
- Parameters
-
| origvar | original problem variable |
| blkmem | block memory of transformed problem |
| set | global SCIP settings |
| stat | problem statistics |
| objsense | objective sense of original problem; transformed is always MINIMIZE |
| transvar | pointer to store the transformed variable |
Definition at line 3286 of file var.c.
References SCIP_Var::branchdirection, SCIP_Var::branchfactor, SCIP_Var::branchpriority, SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::glbdom, SCIP_Dom::holelist, holelistDuplicate(), SCIP_Var::initial, SCIP_Var::lazylb, SCIP_Var::lazyub, SCIP_Dom::lb, SCIP_Var::locdom, SCIP_Var::name, SCIP_Var::nlocksdown, SCIP_Var::nlocksup, NULL, SCIP_Var::obj, SCIP_Var::original, SCIP_Var::removable, SCIP_Var::scip, SCIP_CALL, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_ORIGINAL, SCIPdebugMessage, SCIPsetIsEQ(), SCIPsnprintf(), SCIPvarCapture(), SCIPvarCreateTransformed(), SCIPvarGetStatus(), SCIPvarGetType(), SCIP_Original::transvar, SCIP_Dom::ub, varAddParent(), SCIP_Var::vardata, SCIP_Var::vlbs, and SCIP_Var::vubs.
Referenced by SCIPprobTransform(), SCIPtransformVar(), and SCIPtransformVars().
gets corresponding transformed variable of an original or negated original variable
- Parameters
-
| origvar | original problem variable |
| blkmem | block memory of transformed problem |
| set | global SCIP settings |
| stat | problem statistics |
| transvar | pointer to store the transformed variable, or NULL if not existing yet |
Definition at line 3362 of file var.c.
References SCIP_Var::data, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Var::scip, SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPvarGetStatus(), SCIPvarNegate(), and SCIP_Original::transvar.
Referenced by SCIPgetTransformedVar(), and SCIPgetTransformedVars().
converts transformed variable into column variable and creates LP column
converts loose transformed variable into column variable, creates LP column
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| prob | problem data |
| lp | current LP data |
Definition at line 3393 of file var.c.
References SCIP_Var::col, SCIP_Var::data, SCIP_Var::name, NULL, SCIP_Var::probindex, SCIP_Var::removable, SCIP_Var::scip, SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPcolCreate(), SCIPdebugMessage, SCIPlpUpdateVarColumn(), SCIPprobVarChangedStatus(), SCIPvarGetStatus(), and SCIP_Var::varstatus.
Referenced by SCIPpricestoreApplyVars(), and SCIPvarAddToRow().
converts column transformed variable back into loose variable, frees LP column
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| set | global SCIP settings |
| eventqueue | event queue |
| prob | problem data |
| lp | current LP data |
Definition at line 3427 of file var.c.
References SCIP_Var::col, SCIP_Var::data, SCIP_Col::lpipos, SCIP_Col::lppos, SCIP_Var::name, NULL, SCIP_Var::probindex, SCIP_Var::scip, SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPcolFree(), SCIPdebugMessage, SCIPlpUpdateVarLoose(), SCIPprobVarChangedStatus(), SCIPvarGetStatus(), and SCIP_Var::varstatus.
Referenced by SCIPprobExitSolve(), and SCIPprobPerformVarDeletions().
| SCIP_RETCODE SCIPvarFix |
( |
SCIP_VAR * |
var, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_SET * |
set, |
|
|
SCIP_STAT * |
stat, |
|
|
SCIP_PROB * |
transprob, |
|
|
SCIP_PROB * |
origprob, |
|
|
SCIP_PRIMAL * |
primal, |
|
|
SCIP_TREE * |
tree, |
|
|
SCIP_LP * |
lp, |
|
|
SCIP_BRANCHCAND * |
branchcand, |
|
|
SCIP_EVENTQUEUE * |
eventqueue, |
|
|
SCIP_Real |
fixedval, |
|
|
SCIP_Bool * |
infeasible, |
|
|
SCIP_Bool * |
fixed |
|
) |
| |
converts variable into fixed variable
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| transprob | tranformed problem data |
| origprob | original problem data |
| primal | primal data |
| tree | branch and bound tree |
| lp | current LP data |
| branchcand | branching candidate storage |
| eventqueue | event queue |
| fixedval | value to fix variable at |
| infeasible | pointer to store whether the fixing is infeasible |
| fixed | pointer to store whether the fixing was performed (variable was unfixed) |
Definition at line 3563 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::cliquelist, SCIP_Aggregate::constant, SCIP_Negate::constant, SCIP_Var::data, FALSE, SCIP_Var::glbdom, SCIP_Var::history, SCIP_Var::historycrun, SCIP_Dom::holelist, holelistFree(), SCIP_Var::implics, SCIP_Dom::lb, SCIP_Var::locdom, SCIP_Var::name, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Var::obj, SCIP_Var::original, SCIP_Var::probindex, SCIP_Aggregate::scalar, SCIP_Var::scip, 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, SCIP_VARTYPE_CONTINUOUS, SCIPABORT, SCIPcliquelistFree(), SCIPcliquelistRemoveFromCliques(), SCIPdebugMessage, SCIPerrorMessage, SCIPeventqueueIsDelayed(), SCIPhistoryReset(), SCIPlpDecNLoosevars(), SCIPprobVarChangedStatus(), SCIPsetIsEQ(), SCIPsetIsFeasEQ(), SCIPsetIsFeasGT(), SCIPsetIsFeasIntegral(), SCIPsetIsFeasLT(), SCIPsetIsInfinity(), SCIPsetIsZero(), SCIPvarAddObj(), SCIPvarChgLbGlobal(), SCIPvarChgObj(), SCIPvarChgUbGlobal(), SCIPvarFix(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarIsBinary(), SCIP_Original::transvar, TRUE, SCIP_Dom::ub, SCIP_Aggregate::var, varEventVarFixed(), varRemoveImplicsVbs(), SCIP_Var::varstatus, SCIP_Var::vlbs, and SCIP_Var::vubs.
Referenced by SCIPaggregateVars(), SCIPfixVar(), SCIPinferBinvarCons(), SCIPinferBinvarProp(), SCIPvarAggregate(), SCIPvarFix(), SCIPvarMultiaggregate(), and varUpdateAggregationBounds().
transforms given variables, scalars and constant to the corresponding active variables, scalars and constant
If the number of needed active variables is greater than the available slots in the variable array, nothing happens except that the required size is stored in the corresponding variable; hence, if afterwards the required size is greater than the available slots (varssize), nothing happens; otherwise, the active variable representation is stored in the arrays.
The reason for this approach is that we cannot reallocate memory, since we do not know how the memory has been allocated (e.g., by a C++ 'new' or SCIP functions).
- Parameters
-
| set | global SCIP settings |
| vars | variable array to get active variables |
| scalars | scalars a_1, ..., a_n in linear sum a_1*x_1 + ... + a_n*x_n + c |
| nvars | pointer to number of variables and values in vars and scalars array |
| varssize | available slots in vars and scalars array |
| constant | pointer to constant c in linear sum a_1*x_1 + ... + a_n*x_n + c |
| requiredsize | pointer to store the required array size for the active variables |
| mergemultiples | should multiple occurrences of a var be replaced by a single coeff? |
Definition at line 3738 of file var.c.
References SCIP_Var::data, FALSE, SCIP_Var::glbdom, SCIP_Dom::lb, SCIP_Var::multaggr, NULL, SCIP_Multaggr::nvars, SCIP_Multaggr::scalars, SCIP_Bool, SCIP_CALL, 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, SCIPsetAllocBufferArray, SCIPsetDuplicateBufferArray, SCIPsetFreeBufferArray, SCIPsetInfinity(), SCIPsetIsEQ(), SCIPsetIsInfinity(), SCIPsetIsZero(), SCIPsetReallocBufferArray, SCIPsortedvecFindPtr(), SCIPsortPtrReal(), SCIPvarCompare(), SCIPvarGetMultaggrConstant(), SCIPvarGetProbvarSum(), SCIPvarGetStatus(), TRUE, SCIP_Dom::ub, and SCIP_Multaggr::vars.
Referenced by SCIPgetProbvarLinearSum(), SCIPsolRetransform(), SCIPvarFlattenAggregationGraph(), and SCIPvarMultiaggregate().
transforms given variable, scalar and constant to the corresponding active, fixed, or multi-aggregated variable, scalar and constant; if the variable resolves to a fixed variable, "scalar" will be 0.0 and the value of the sum will be stored in "constant"; a multi-aggregation with only one active variable (this can happen due to fixings after the multi-aggregation), is treated like an aggregation; if the multi-aggregation constant is infinite, "scalar" will be 0.0
- Parameters
-
| var | pointer to problem variable x in sum a*x + c |
| set | global SCIP settings |
| scalar | pointer to scalar a in sum a*x + c |
| constant | pointer to constant c in sum a*x + c |
Definition at line 11842 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::multaggr, SCIP_Var::negatedvar, NULL, SCIP_Var::original, 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, SCIPABORT, SCIPerrorMessage, SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by conflictResolveBound(), convertToActiveVar(), nlrowAddToLinearCoef(), nlrowRemoveFixedLinearCoefPos(), nlrowRemoveFixedQuadVars(), SCIPaggregateVars(), SCIPexprtreeRemoveFixedVars(), SCIPgetProbvarSum(), SCIPnlrowAddLinearCoef(), SCIPprimalTransformSol(), SCIPtreeBranchVar(), SCIPtreeBranchVarNary(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarAggregate(), and SCIPvarGetActiveRepresentatives().
flattens aggregation graph of multi-aggregated variable in order to avoid exponential recursion later-on
flattens aggregation graph of multi-aggregated variable in order to avoid exponential recursion later on
- Note
- After the flattening the multi aggregation might resolve to be in fact an aggregation (or even a fixing?). This issue is not resolved right now, since var->data.multaggr.nvars < 2 should not cause troubles. However, one may loose performance hereby, since aggregated variables are easier to handle.
Note, that there are two cases where SCIPvarFlattenAggregationGraph() is called: The easier one is that it is called while installing the multi-aggregation. in principle, the described issue could be handled straightforward in this case by aggregating or fixing the variable instead. The more complicated case is the one, when the multi-aggregation is used, e.g., in linear presolving (and the variable is already declared to be multi-aggregated).
By now, it is not allowed to fix or aggregate multi-aggregated variables which would be necessary in this case.
The same issue appears in the SCIPvarGetProbvar...() methods.
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| set | global SCIP settings |
Definition at line 4141 of file var.c.
References BMSreallocBlockMemoryArray, SCIP_Multaggr::constant, SCIP_Var::data, SCIP_Var::multaggr, NULL, SCIP_Multaggr::nvars, SCIP_Multaggr::scalars, SCIP_Var::scip, SCIP_ALLOC, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_MULTAGGR, SCIPvarGetActiveRepresentatives(), SCIPvarGetStatus(), TRUE, SCIP_Multaggr::vars, and SCIP_Multaggr::varssize.
Referenced by exitPresolve(), and SCIPflattenVarAggregationGraph().
return for given variables all their active counterparts; all active variables will be pairwise different
- Parameters
-
| set | global SCIP settings |
| vars | variable array with given variables and as output all active variables, if enough slots exist |
| nvars | number of given variables, and as output number of active variables, if enough slots exist |
| varssize | available slots in vars array |
| requiredsize | pointer to store the required array size for the active variables |
Definition at line 11248 of file var.c.
References SCIP_Var::aggregate, BMScopyMemoryArray, SCIP_Var::data, SCIP_Var::multaggr, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, 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, SCIPABORT, SCIPerrorMessage, SCIPsetAllocBufferArray, SCIPsetDuplicateBufferArray, SCIPsetFreeBufferArray, SCIPsetReallocBufferArray, SCIPsortPtr(), SCIPvarCompare(), SCIPvarGetStatus(), SCIPvarsGetProbvar(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by SCIPgetActiveVars().
| SCIP_RETCODE SCIPvarTryAggregateVars |
( |
SCIP_SET * |
set, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_STAT * |
stat, |
|
|
SCIP_PROB * |
transprob, |
|
|
SCIP_PROB * |
origprob, |
|
|
SCIP_PRIMAL * |
primal, |
|
|
SCIP_TREE * |
tree, |
|
|
SCIP_LP * |
lp, |
|
|
SCIP_CLIQUETABLE * |
cliquetable, |
|
|
SCIP_BRANCHCAND * |
branchcand, |
|
|
SCIP_EVENTFILTER * |
eventfilter, |
|
|
SCIP_EVENTQUEUE * |
eventqueue, |
|
|
SCIP_VAR * |
varx, |
|
|
SCIP_VAR * |
vary, |
|
|
SCIP_Real |
scalarx, |
|
|
SCIP_Real |
scalary, |
|
|
SCIP_Real |
rhs, |
|
|
SCIP_Bool * |
infeasible, |
|
|
SCIP_Bool * |
aggregated |
|
) |
| |
performs second step of SCIPaggregateVars(): the variable to be aggregated is chosen among active problem variables x' and y', preferring a less strict variable type as aggregation variable (i.e. continuous variables are preferred over implicit integers, implicit integers or integers over binaries). If none of the variables is continuous, it is tried to find an integer aggregation (i.e. integral coefficients a'' and b'', such that a''*x' + b''*y' == c''). This can lead to the detection of infeasibility (e.g. if c'' is fractional), or to a rejection of the aggregation (denoted by aggregated == FALSE), if the resulting integer coefficients are too large and thus numerically instable.
- Parameters
-
| set | global SCIP settings |
| blkmem | block memory |
| stat | problem statistics |
| transprob | tranformed problem data |
| origprob | original problem data |
| primal | primal data |
| tree | branch and bound tree |
| lp | current LP data |
| cliquetable | clique table data structure |
| branchcand | branching candidate storage |
| eventfilter | event filter for global (not variable dependent) events |
| eventqueue | event queue |
| varx | variable x in equality a*x + b*y == c |
| vary | variable y in equality a*x + b*y == c |
| scalarx | multiplier a in equality a*x + b*y == c |
| scalary | multiplier b in equality a*x + b*y == c |
| rhs | right hand side c in equality a*x + b*y == c |
| infeasible | pointer to store whether the aggregation is infeasible |
| aggregated | pointer to store whether the aggregation was successful |
Definition at line 4918 of file var.c.
References FALSE, NULL, REALABS, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_STAGE_PRESOLVING, SCIP_VARSTATUS_LOOSE, SCIP_VARTYPE_CONTINUOUS, SCIP_VARTYPE_IMPLINT, SCIP_VARTYPE_INTEGER, SCIPsetGetStage(), SCIPsetIsFeasIntegral(), SCIPsetIsInfinity(), SCIPsetIsZero(), SCIPvarAggregate(), SCIPvarGetStatus(), SCIPvarGetType(), TRUE, and tryAggregateIntVars().
Referenced by SCIPaggregateVars(), and SCIPvarMultiaggregate().
| SCIP_RETCODE SCIPvarAggregate |
( |
SCIP_VAR * |
var, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_SET * |
set, |
|
|
SCIP_STAT * |
stat, |
|
|
SCIP_PROB * |
transprob, |
|
|
SCIP_PROB * |
origprob, |
|
|
SCIP_PRIMAL * |
primal, |
|
|
SCIP_TREE * |
tree, |
|
|
SCIP_LP * |
lp, |
|
|
SCIP_CLIQUETABLE * |
cliquetable, |
|
|
SCIP_BRANCHCAND * |
branchcand, |
|
|
SCIP_EVENTQUEUE * |
eventqueue, |
|
|
SCIP_VAR * |
aggvar, |
|
|
SCIP_Real |
scalar, |
|
|
SCIP_Real |
constant, |
|
|
SCIP_Bool * |
infeasible, |
|
|
SCIP_Bool * |
aggregated |
|
) |
| |
converts loose variable into aggregated variable
- Parameters
-
| var | loose problem variable |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| transprob | tranformed problem data |
| origprob | original problem data |
| primal | primal data |
| tree | branch and bound tree |
| lp | current LP data |
| cliquetable | clique table data structure |
| branchcand | branching candidate storage |
| eventqueue | event queue |
| aggvar | loose variable y in aggregation x = a*y + c |
| scalar | multiplier a in aggregation x = a*y + c |
| constant | constant shift c in aggregation x = a*y + c |
| infeasible | pointer to store whether the aggregation is infeasible |
| aggregated | pointer to store whether the aggregation was successful |
Definition at line 4383 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::branchdirection, SCIP_Var::branchfactor, SCIP_Var::branchpriority, SCIP_Var::cliquelist, SCIP_Aggregate::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::donotmultaggr, FALSE, SCIP_Var::glbdom, SCIP_Var::history, SCIP_Var::historycrun, SCIP_Var::implics, SCIP_Dom::lb, SCIP_Var::locdom, MAX, SCIP_Var::name, SCIP_Var::negate, SCIP_Var::negatedvar, SCIP_Var::nlocksdown, SCIP_Var::nlocksup, NULL, SCIP_Var::obj, SCIP_Var::probindex, SCIP_Var::removable, SCIP_Aggregate::scalar, SCIP_Var::scip, SCIP_Bool, SCIP_BRANCHDIR_AUTO, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARTYPE_BINARY, SCIPbranchdirOpposite(), SCIPcliquelistFree(), SCIPcliquelistGetCliques(), SCIPcliquelistGetNCliques(), SCIPcliquelistRemoveFromCliques(), SCIPdebugMessage, SCIPeventqueueIsDelayed(), SCIPhistoryReset(), SCIPhistoryUnite(), SCIPimplicsFree(), SCIPimplicsGetBounds(), SCIPimplicsGetNImpls(), SCIPimplicsGetTypes(), SCIPimplicsGetVars(), SCIPprobVarChangedStatus(), SCIPsetIsEQ(), SCIPsetIsZero(), SCIPvarAddClique(), SCIPvarAddImplic(), SCIPvarAddLocks(), SCIPvarAddObj(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarChgBranchDirection(), SCIPvarChgBranchFactor(), SCIPvarChgBranchPriority(), SCIPvarChgObj(), SCIPvarFix(), SCIPvarGetHolelistGlobal(), SCIPvarGetProbvarSum(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarIsBinary(), SCIPvarMarkNotDeletable(), SCIPvboundsFree(), SCIPvboundsGetCoefs(), SCIPvboundsGetConstants(), SCIPvboundsGetNVbds(), SCIPvboundsGetVars(), TRUE, SCIP_Dom::ub, SCIP_Aggregate::var, varAddParent(), varEventVarFixed(), varRemoveImplicsVbs(), SCIP_Var::varstatus, varUpdateAggregationBounds(), SCIP_Var::vlbs, and SCIP_Var::vubs.
Referenced by SCIPvarTryAggregateVars(), and tryAggregateIntVars().
| SCIP_RETCODE SCIPvarMultiaggregate |
( |
SCIP_VAR * |
var, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_SET * |
set, |
|
|
SCIP_STAT * |
stat, |
|
|
SCIP_PROB * |
transprob, |
|
|
SCIP_PROB * |
origprob, |
|
|
SCIP_PRIMAL * |
primal, |
|
|
SCIP_TREE * |
tree, |
|
|
SCIP_LP * |
lp, |
|
|
SCIP_CLIQUETABLE * |
cliquetable, |
|
|
SCIP_BRANCHCAND * |
branchcand, |
|
|
SCIP_EVENTFILTER * |
eventfilter, |
|
|
SCIP_EVENTQUEUE * |
eventqueue, |
|
|
int |
naggvars, |
|
|
SCIP_VAR ** |
aggvars, |
|
|
SCIP_Real * |
scalars, |
|
|
SCIP_Real |
constant, |
|
|
SCIP_Bool * |
infeasible, |
|
|
SCIP_Bool * |
aggregated |
|
) |
| |
converts variable into multi-aggregated variable
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| transprob | tranformed problem data |
| origprob | original problem data |
| primal | primal data |
| tree | branch and bound tree |
| lp | current LP data |
| cliquetable | clique table data structure |
| branchcand | branching candidate storage |
| eventfilter | event filter for global (not variable dependent) events |
| eventqueue | event queue |
| naggvars | number n of variables in aggregation x = a_1*y_1 + ... + a_n*y_n + c |
| aggvars | variables y_i in aggregation x = a_1*y_1 + ... + a_n*y_n + c |
| scalars | multipliers a_i in aggregation x = a_1*y_1 + ... + a_n*y_n + c |
| constant | constant shift c in aggregation x = a_1*y_1 + ... + a_n*y_n + c |
| infeasible | pointer to store whether the aggregation is infeasible |
| aggregated | pointer to store whether the aggregation was successful |
Definition at line 5087 of file var.c.
References BMSduplicateBlockMemoryArray, BMSfreeBlockMemoryArray, BMSreallocBlockMemoryArray, SCIP_Var::branchdirection, SCIP_Var::branchfactor, SCIP_Var::branchpriority, SCIP_Var::cliquelist, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, FALSE, SCIP_Var::glbdom, SCIP_Var::implics, SCIP_Var::index, SCIP_Dom::lb, SCIP_Var::locdom, MAX, SCIP_Var::multaggr, SCIP_Var::name, SCIP_Var::negate, SCIP_Var::negatedvar, SCIP_Var::nlocksdown, SCIP_Var::nlocksup, NULL, SCIP_Multaggr::nvars, SCIP_Var::obj, SCIP_Var::original, SCIP_Var::probindex, SCIP_Var::removable, SCIP_Multaggr::scalars, SCIP_Var::scip, SCIP_ALLOC, SCIP_BRANCHDIR_AUTO, 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, SCIPbranchdirOpposite(), SCIPcliquelistFree(), SCIPcliquelistRemoveFromCliques(), SCIPdebugMessage, SCIPerrorMessage, SCIPeventqueueIsDelayed(), SCIPlpDecNLoosevars(), SCIPprobVarChangedStatus(), SCIPsetIsEQ(), SCIPsetIsZero(), SCIPvarAddLocks(), SCIPvarAddObj(), SCIPvarChgBranchDirection(), SCIPvarChgBranchFactor(), SCIPvarChgBranchPriority(), SCIPvarChgObj(), SCIPvarDoNotMultaggr(), SCIPvarFix(), SCIPvarGetActiveRepresentatives(), SCIPvarGetHolelistGlobal(), SCIPvarGetName(), SCIPvarGetStatus(), SCIPvarIsBinary(), SCIPvarMarkNotDeletable(), SCIPvarMultiaggregate(), SCIPvarTryAggregateVars(), SCIP_Original::transvar, TRUE, SCIP_Dom::ub, varEventVarFixed(), varRemoveImplicsVbs(), SCIP_Multaggr::vars, SCIP_Multaggr::varssize, SCIP_Var::varstatus, SCIP_Var::vlbs, and SCIP_Var::vubs.
Referenced by SCIPmultiaggregateVar(), and SCIPvarMultiaggregate().
returns whether variable is not allowed to be multi-aggregated
- Parameters
-
Definition at line 5481 of file var.c.
References SCIP_Var::donotmultaggr, FALSE, NULL, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPvarGetStatus(), and varGetActiveVar().
Referenced by SCIPdoNotMultaggrVar(), and SCIPvarMultiaggregate().
gets negated variable x' = offset - x of problem variable x; the negated variable is created if not yet existing; the negation offset of binary variables is always 1, the offset of other variables is fixed to lb + ub when the negated variable is created
- Parameters
-
| var | problem variable to negate |
| blkmem | block memory of transformed problem |
| set | global SCIP settings |
| stat | problem statistics |
| negvar | pointer to store the negated variable |
Definition at line 5516 of file var.c.
References SCIP_Var::branchdirection, SCIP_Var::branchfactor, SCIP_Var::branchpriority, SCIP_Var::donotmultaggr, SCIP_Var::glbdom, SCIP_Var::initial, SCIP_Var::lazylb, SCIP_Var::lazyub, SCIP_Dom::lb, SCIP_Var::locdom, SCIP_Var::name, SCIP_Var::negatedvar, NULL, SCIP_Var::removable, SCIP_Var::scip, SCIP_CALL, SCIP_INVALIDDATA, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_VARSTATUS_NEGATED, SCIPbranchdirOpposite(), SCIPdebugMessage, SCIPerrorMessage, SCIPeventfilterCreate(), SCIPsetIsInfinity(), SCIPsnprintf(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarIsBinary(), SCIPvarIsTransformed(), SCIPvarMarkNotDeletable(), SCIP_Dom::ub, varAddParent(), and varCreate().
Referenced by SCIPgetNegatedVar(), SCIPgetNegatedVars(), and SCIPvarGetTransformed().
| void SCIPvarSetProbindex |
( |
SCIP_VAR * |
var, |
|
|
int |
probindex |
|
) |
| |
| void SCIPvarSetNamePointer |
( |
SCIP_VAR * |
var, |
|
|
const char * |
name |
|
) |
| |
informs variable that it will be removed from the problem; adjusts probindex and removes variable from the implication graph; If 'final' is TRUE, the thorough implication graph removal is not performed. Instead, only the variable bounds and implication data structures of the variable are freed. Since in the final removal of all variables from the transformed problem, this deletes the implication graph completely and is faster than removing the variables one by one, each time updating all lists of the other variables.
- Parameters
-
| var | problem variable |
| blkmem | block memory buffer |
| set | global SCIP settings |
| final | is this the final removal of all problem variables? |
Definition at line 5657 of file var.c.
References FALSE, SCIP_Var::implics, SCIP_Var::scip, SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPimplicsFree(), SCIPvarGetProbindex(), SCIPvarGetStatus(), SCIPvarIsTransformed(), SCIPvboundsFree(), TRUE, varRemoveImplicsVbs(), varSetProbindex(), SCIP_Var::vlbs, and SCIP_Var::vubs.
Referenced by probRemoveVar(), and SCIPprobFree().
| void SCIPvarMarkDeleted |
( |
SCIP_VAR * |
var | ) |
|
marks the variable to not to be multi-aggregated
- Parameters
-
Definition at line 5703 of file var.c.
References SCIP_Var::donotmultaggr, NULL, 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(), TRUE, and varGetActiveVar().
Referenced by SCIPmarkDoNotMultaggrVar().
modifies lock numbers for rounding
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| set | global SCIP settings |
| eventqueue | event queue |
| addnlocksdown | increase in number of rounding down locks |
| addnlocksup | increase in number of rounding up locks |
Definition at line 3043 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, SCIP_Var::name, SCIP_Var::negatedvar, SCIP_Var::nlocksdown, SCIP_Var::nlocksup, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_Var::scip, 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, SCIPvarAddLocks(), SCIPvarGetStatus(), SCIP_Original::transvar, TRUE, SCIP_Aggregate::var, varEventVarUnlocked(), and SCIP_Multaggr::vars.
Referenced by SCIPaddVarLocks(), SCIPlockVarCons(), SCIPunlockVarCons(), SCIPvarAddLocks(), SCIPvarAggregate(), and SCIPvarMultiaggregate().
changes type of variable; cannot be called, if var belongs to a problem
- Parameters
-
| var | problem variable to change |
| vartype | new type of variable |
Definition at line 5738 of file var.c.
References SCIP_Var::name, SCIP_Var::negatedvar, NULL, SCIP_Var::probindex, SCIP_INVALIDDATA, SCIP_OKAY, SCIPdebugMessage, SCIPerrorMessage, SCIPvarGetType(), and SCIP_Var::vartype.
Referenced by SCIPchgVarType(), and SCIPprobChgVarType().
changes objective value of variable
- Parameters
-
| var | variable to change |
| blkmem | block memory |
| set | global SCIP settings |
| prob | problem data |
| primal | primal data |
| lp | current LP data |
| eventqueue | event queue |
| newobj | new objective value for variable |
Definition at line 5789 of file var.c.
References SCIP_Var::data, SCIP_Var::name, NULL, SCIP_Var::obj, SCIP_Var::original, SCIP_Var::scip, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_STAGE_PROBLEM, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPdebugMessage, SCIPerrorMessage, SCIPprobUpdateNObjVars(), SCIPsetIsEQ(), SCIPvarChgObj(), SCIPvarGetStatus(), SCIPvarIsActive(), SCIP_Original::transvar, and varEventObjChanged().
Referenced by SCIPchgVarObj(), SCIPprobScaleObj(), SCIPvarAggregate(), SCIPvarChgObj(), SCIPvarFix(), and SCIPvarMultiaggregate().
| SCIP_RETCODE SCIPvarAddObj |
( |
SCIP_VAR * |
var, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_SET * |
set, |
|
|
SCIP_STAT * |
stat, |
|
|
SCIP_PROB * |
transprob, |
|
|
SCIP_PROB * |
origprob, |
|
|
SCIP_PRIMAL * |
primal, |
|
|
SCIP_TREE * |
tree, |
|
|
SCIP_LP * |
lp, |
|
|
SCIP_EVENTQUEUE * |
eventqueue, |
|
|
SCIP_Real |
addobj |
|
) |
| |
adds value to objective value of variable
- Parameters
-
| var | variable to change |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| transprob | tranformed problem data |
| origprob | original problem data |
| primal | primal data |
| tree | branch and bound tree |
| lp | current LP data |
| eventqueue | event queue |
| addobj | additional objective value for variable |
Definition at line 5856 of file var.c.
References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Dom::lb, SCIP_Var::locdom, SCIP_Var::multaggr, SCIP_Var::name, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::obj, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_Var::scip, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_STAGE_INITSOLVE, SCIP_STAGE_PROBLEM, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPdebugMessage, SCIPerrorMessage, SCIPprimalUpdateObjoffset(), SCIPprobAddObjoffset(), SCIPprobUpdateNObjVars(), SCIPsetIsEQ(), SCIPsetIsZero(), SCIPvarAddObj(), SCIPvarGetStatus(), SCIPvarIsActive(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, varEventObjChanged(), and SCIP_Multaggr::vars.
Referenced by SCIPaddVarObj(), SCIPvarAddObj(), SCIPvarAggregate(), SCIPvarFix(), and SCIPvarMultiaggregate().
changes objective value of variable in current dive
- Parameters
-
| var | problem variable to change |
| set | global SCIP settings |
| lp | current LP data |
| newobj | new objective value for variable |
Definition at line 5957 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::col, SCIP_Var::data, SCIP_Var::name, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Var::scip, 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, SCIPcolChgObj(), SCIPdebugMessage, SCIPerrorMessage, SCIPsetIsZero(), SCIPvarChgObjDive(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPchgVarObjDive(), and SCIPvarChgObjDive().
adjust lower bound to integral value, if variable is integral
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
| lb | pointer to lower bound to adjust |
Definition at line 6020 of file var.c.
References adjustedLb(), SCIP_Var::name, NULL, SCIP_Var::scip, SCIPdebugMessage, and SCIPvarGetType().
Referenced by SCIPadjustedVarLb(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPchgVarLbNode(), SCIPchgVarLbProbing(), SCIPconflictAddRelaxedBound(), SCIPfixVarProbing(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPtreeBranchVarNary(), SCIPvarAdjustBd(), SCIPvarChgLbDive(), and varUpdateAggregationBounds().
adjust upper bound to integral value, if variable is integral
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
| ub | pointer to upper bound to adjust |
Definition at line 6037 of file var.c.
References adjustedUb(), SCIP_Var::name, NULL, SCIP_Var::scip, SCIPdebugMessage, and SCIPvarGetType().
Referenced by SCIPadjustedVarUb(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPchgVarUbNode(), SCIPchgVarUbProbing(), SCIPconflictAddRelaxedBound(), SCIPfixVarProbing(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPnodeAddBoundinfer(), SCIPnodeAddHoleinfer(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPtreeBranchVarNary(), SCIPvarAdjustBd(), SCIPvarChgUbDive(), and varUpdateAggregationBounds().
changes lower bound of original variable in original problem
- Parameters
-
| var | problem variable to change |
| set | global SCIP settings |
| newbound | new bound for variable |
Definition at line 6070 of file var.c.
References adjustedLb(), SCIP_Negate::constant, SCIP_Var::data, SCIP_Dom::lb, SCIP_Var::name, SCIP_Var::negate, SCIP_Var::negatedvar, SCIP_Var::nparentvars, NULL, SCIP_Original::origdom, SCIP_Var::original, SCIP_Var::parentvars, SCIP_Var::scip, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPdebugMessage, SCIPsetGetStage(), SCIPsetIsEQ(), SCIPsetIsLE(), SCIPsetIsZero(), SCIPvarChgUbOriginal(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarGetUbOriginal(), and SCIPvarIsTransformed().
Referenced by SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), and SCIPvarChgUbOriginal().
changes upper bound of original variable in original problem
- Parameters
-
| var | problem variable to change |
| set | global SCIP settings |
| newbound | new bound for variable |
Definition at line 6129 of file var.c.
References adjustedUb(), SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::name, SCIP_Var::negate, SCIP_Var::negatedvar, SCIP_Var::nparentvars, NULL, SCIP_Original::origdom, SCIP_Var::original, SCIP_Var::parentvars, SCIP_Var::scip, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPdebugMessage, SCIPsetGetStage(), SCIPsetIsEQ(), SCIPsetIsGE(), SCIPsetIsZero(), SCIPvarChgLbOriginal(), SCIPvarGetLbOriginal(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarIsTransformed(), and SCIP_Dom::ub.
Referenced by SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), and SCIPvarChgLbOriginal().
changes global lower bound of variable; if possible, adjusts bound to integral value; updates local lower bound if the global bound is tighter
- Parameters
-
| var | problem variable to change |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| lp | current LP data, may be NULL for original variables |
| branchcand | branching candidate storage, may be NULL for original variables |
| eventqueue | event queue, may be NULL for original variables |
| newbound | new bound for variable |
Definition at line 6683 of file var.c.
References adjustedLb(), SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::glbdom, SCIP_Dom::lb, MIN, SCIP_Var::name, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Var::scip, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_STAGE_PROBLEM, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIP_VARTYPE_CONTINUOUS, SCIPdebugMessage, SCIPerrorMessage, SCIPsetGetStage(), SCIPsetIsEQ(), SCIPsetIsFeasEQ(), SCIPsetIsFeasGT(), SCIPsetIsFeasIntegral(), SCIPsetIsFeasLE(), SCIPsetIsInfinity(), SCIPsetIsNegative(), SCIPsetIsPositive(), SCIPvarChgLbGlobal(), SCIPvarChgLbLocal(), SCIPvarChgUbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetStatus(), SCIPvarGetType(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, and varProcessChgLbGlobal().
Referenced by applyImplic(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarChgBdGlobal(), SCIPvarChgLbGlobal(), SCIPvarChgUbGlobal(), SCIPvarFix(), SCIPvarFixBinary(), SCIPvarResetBounds(), varAddImplic(), and varUpdateAggregationBounds().
changes global upper bound of variable; if possible, adjusts bound to integral value; updates local upper bound if the global bound is tighter
- Parameters
-
| var | problem variable to change |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| lp | current LP data, may be NULL for original variables |
| branchcand | branching candidate storage, may be NULL for original variables |
| eventqueue | event queue, may be NULL for original variables |
| newbound | new bound for variable |
Definition at line 6825 of file var.c.
References adjustedUb(), SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::glbdom, SCIP_Dom::lb, MAX, SCIP_Var::name, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Var::scip, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_STAGE_PROBLEM, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIP_VARTYPE_CONTINUOUS, SCIPdebugMessage, SCIPerrorMessage, SCIPsetGetStage(), SCIPsetIsEQ(), SCIPsetIsFeasEQ(), SCIPsetIsFeasGE(), SCIPsetIsFeasIntegral(), SCIPsetIsFeasLT(), SCIPsetIsInfinity(), SCIPsetIsNegative(), SCIPsetIsPositive(), SCIPvarChgLbGlobal(), SCIPvarChgUbGlobal(), SCIPvarChgUbLocal(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarGetUbLocal(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, and varProcessChgUbGlobal().
Referenced by applyImplic(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarChgBdGlobal(), SCIPvarChgLbGlobal(), SCIPvarChgUbGlobal(), SCIPvarFix(), SCIPvarFixBinary(), SCIPvarResetBounds(), varAddImplic(), and varUpdateAggregationBounds().
changes global bound of variable; if possible, adjusts bound to integral value; updates local bound if the global bound is tighter
- Parameters
-
| var | problem variable to change |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| lp | current LP data, may be NULL for original variables |
| branchcand | branching candidate storage, may be NULL for original variables |
| eventqueue | event queue, may be NULL for original variables |
| newbound | new bound for variable |
| boundtype | type of bound: lower or upper bound |
Definition at line 7014 of file var.c.
References SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_INVALIDDATA, SCIPerrorMessage, SCIPvarChgLbGlobal(), and SCIPvarChgUbGlobal().
Referenced by boundchgApplyGlobal(), and SCIPnodeAddBoundinfer().
changes current local lower bound of variable; if possible, adjusts bound to integral value; stores inference information in variable
- Parameters
-
| var | problem variable to change |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| lp | current LP data, may be NULL for original variables |
| branchcand | branching candidate storage, may be NULL for original variables |
| eventqueue | event queue, may be NULL for original variables |
| newbound | new bound for variable |
Definition at line 7455 of file var.c.
References adjustedLb(), SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Dom::lb, SCIP_Var::locdom, MIN, SCIP_Var::name, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Var::scip, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_STAGE_PROBLEM, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIP_VARTYPE_CONTINUOUS, SCIPdebugMessage, SCIPerrorMessage, SCIPsetGetStage(), SCIPsetIsEQ(), SCIPsetIsFeasEQ(), SCIPsetIsFeasGT(), SCIPsetIsFeasIntegral(), SCIPsetIsInfinity(), SCIPsetIsNegative(), SCIPsetIsPositive(), SCIPvarChgLbLocal(), SCIPvarChgUbLocal(), SCIPvarGetStatus(), SCIPvarGetType(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, and varProcessChgLbLocal().
Referenced by SCIPboundchgApply(), SCIPboundchgUndo(), SCIPchgVarLb(), SCIPchgVarLbGlobal(), SCIPinferVarLbCons(), SCIPinferVarLbProp(), SCIPpricestoreAddBdviolvar(), SCIPpricestoreResetBounds(), SCIPtightenVarLb(), SCIPtightenVarLbGlobal(), SCIPvarChgBdLocal(), SCIPvarChgLbGlobal(), SCIPvarChgLbLocal(), SCIPvarChgUbLocal(), and SCIPvarResetBounds().
changes current local upper bound of variable; if possible, adjusts bound to integral value; stores inference information in variable
- Parameters
-
| var | problem variable to change |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| lp | current LP data, may be NULL for original variables |
| branchcand | branching candidate storage, may be NULL for original variables |
| eventqueue | event queue, may be NULL for original variables |
| newbound | new bound for variable |
Definition at line 7581 of file var.c.
References adjustedUb(), SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Dom::lb, SCIP_Var::locdom, MAX, SCIP_Var::name, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Var::scip, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_STAGE_PROBLEM, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIP_VARTYPE_CONTINUOUS, SCIPdebugMessage, SCIPerrorMessage, SCIPsetGetStage(), SCIPsetIsEQ(), SCIPsetIsFeasEQ(), SCIPsetIsFeasIntegral(), SCIPsetIsFeasLT(), SCIPsetIsInfinity(), SCIPsetIsNegative(), SCIPsetIsPositive(), SCIPvarChgLbLocal(), SCIPvarChgUbLocal(), SCIPvarGetStatus(), SCIPvarGetType(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Aggregate::var, and varProcessChgUbLocal().
Referenced by SCIPboundchgApply(), SCIPboundchgUndo(), SCIPchgVarUb(), SCIPchgVarUbGlobal(), SCIPinferVarUbCons(), SCIPinferVarUbProp(), SCIPpricestoreAddBdviolvar(), SCIPpricestoreResetBounds(), SCIPtightenVarUb(), SCIPtightenVarUbGlobal(), SCIPvarChgBdLocal(), SCIPvarChgLbLocal(), SCIPvarChgUbGlobal(), SCIPvarChgUbLocal(), and SCIPvarResetBounds().
changes current local bound of variable; if possible, adjusts bound to integral value; stores inference information in variable
- Parameters
-
| var | problem variable to change |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| lp | current LP data, may be NULL for original variables |
| branchcand | branching candidate storage, may be NULL for original variables |
| eventqueue | event queue, may be NULL for original variables |
| newbound | new bound for variable |
| boundtype | type of bound: lower or upper bound |
Definition at line 7706 of file var.c.
References SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_INVALIDDATA, SCIPerrorMessage, SCIPvarChgLbLocal(), and SCIPvarChgUbLocal().
changes lazy lower bound of the variable, this is only possible if the variable is not in the LP yet
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
| lazylb | the lazy lower bound to be set |
Definition at line 6965 of file var.c.
References SCIP_Var::glbdom, SCIP_Var::lazylb, SCIP_Var::lazyub, NULL, SCIP_Var::probindex, SCIP_Var::scip, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIPsetIsFeasGE(), SCIPvarGetStatus(), and SCIP_Dom::ub.
Referenced by SCIPchgVarLbLazy().
changes lazy upper bound of the variable, this is only possible if the variable is not in the LP yet
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
| lazyub | the lazy lower bound to be set |
Definition at line 6988 of file var.c.
References SCIP_Var::glbdom, SCIP_Var::lazylb, SCIP_Var::lazyub, SCIP_Dom::lb, NULL, SCIP_Var::probindex, SCIP_Var::scip, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIPsetIsFeasGE(), and SCIPvarGetStatus().
Referenced by SCIPchgVarUbLazy().
changes lower bound of variable in current dive; if possible, adjusts bound to integral value
- Parameters
-
| var | problem variable to change |
| set | global SCIP settings |
| lp | current LP data |
| newbound | new bound for variable |
Definition at line 7732 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::col, SCIP_Aggregate::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::name, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Var::scip, 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, SCIPcolChgLb(), SCIPdebugMessage, SCIPerrorMessage, SCIPlpDiving(), SCIPsetIsInfinity(), SCIPsetIsNegative(), SCIPsetIsPositive(), SCIPvarAdjustLb(), SCIPvarChgLbDive(), SCIPvarChgUbDive(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPchgVarLbDive(), SCIPvarChgLbDive(), and SCIPvarChgUbDive().
changes upper bound of variable in current dive; if possible, adjusts bound to integral value
- Parameters
-
| var | problem variable to change |
| set | global SCIP settings |
| lp | current LP data |
| newbound | new bound for variable |
Definition at line 7822 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::col, SCIP_Aggregate::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::name, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Var::scip, 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, SCIPcolChgUb(), SCIPdebugMessage, SCIPerrorMessage, SCIPlpDiving(), SCIPsetIsInfinity(), SCIPsetIsNegative(), SCIPsetIsPositive(), SCIPvarAdjustUb(), SCIPvarChgLbDive(), SCIPvarChgUbDive(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPchgVarUbDive(), SCIPvarChgLbDive(), and SCIPvarChgUbDive().
for a multi-aggregated variable, gives the local lower bound computed by adding the local bounds from all aggregation variables this lower bound may be tighter than the one given by SCIPvarGetLbLocal, since the latter is not updated if bounds of aggregation variables are changing calling this function for a non-multi-aggregated variable is not allowed
for a multi-aggregated variable, gives the local lower bound computed by adding the local bounds from all aggregation variables, this lower bound may be tighter than the one given by SCIPvarGetLbLocal, since the latter is not updated if bounds of aggregation variables are changing
calling this function for a non-multi-aggregated variable is not allowed
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
Definition at line 7917 of file var.c.
References SCIP_Multaggr::constant, SCIP_Var::data, FALSE, MAX, SCIP_Var::multaggr, NULL, SCIP_Multaggr::nvars, SCIP_Multaggr::scalars, SCIP_Var::scip, SCIP_Bool, SCIP_Real, SCIP_VARSTATUS_MULTAGGR, SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPvarGetLbLocal(), SCIPvarGetMultaggrLbLocal(), SCIPvarGetMultaggrUbLocal(), SCIPvarGetStatus(), SCIPvarGetUbLocal(), TRUE, SCIP_Multaggr::vars, and SCIP_Var::varstatus.
Referenced by SCIPbranchcandAddExternCand(), SCIPcomputeVarLbLocal(), SCIPvarGetMultaggrLbLocal(), and SCIPvarGetMultaggrUbLocal().
for a multi-aggregated variable, gives the local upper bound computed by adding the local bounds from all aggregation variables this upper bound may be tighter than the one given by SCIPvarGetUbLocal, since the latter is not updated if bounds of aggregation variables are changing calling this function for a non-multi-aggregated variable is not allowed
for a multi-aggregated variable, gives the local upper bound computed by adding the local bounds from all aggregation variables, this upper bound may be tighter than the one given by SCIPvarGetUbLocal, since the latter is not updated if bounds of aggregation variables are changing
calling this function for a non-multi-aggregated variable is not allowed
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
Definition at line 7983 of file var.c.
References SCIP_Multaggr::constant, SCIP_Var::data, FALSE, MIN, SCIP_Var::multaggr, NULL, SCIP_Multaggr::nvars, SCIP_Multaggr::scalars, SCIP_Var::scip, SCIP_Bool, SCIP_Real, SCIP_VARSTATUS_MULTAGGR, SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPvarGetLbLocal(), SCIPvarGetMultaggrLbLocal(), SCIPvarGetMultaggrUbLocal(), SCIPvarGetStatus(), SCIPvarGetUbLocal(), TRUE, SCIP_Multaggr::vars, and SCIP_Var::varstatus.
Referenced by SCIPbranchcandAddExternCand(), SCIPcomputeVarUbLocal(), SCIPvarGetMultaggrLbLocal(), and SCIPvarGetMultaggrUbLocal().
for a multi-aggregated variable, gives the global lower bound computed by adding the global bounds from all aggregation variables this global bound may be tighter than the one given by SCIPvarGetLbGlobal, since the latter is not updated if bounds of aggregation variables are changing calling this function for a non-multi-aggregated variable is not allowed
for a multi-aggregated variable, gives the global lower bound computed by adding the global bounds from all aggregation variables, this global bound may be tighter than the one given by SCIPvarGetLbGlobal, since the latter is not updated if bounds of aggregation variables are changing
calling this function for a non-multi-aggregated variable is not allowed
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
Definition at line 8049 of file var.c.
References SCIP_Multaggr::constant, SCIP_Var::data, FALSE, MAX, SCIP_Var::multaggr, NULL, SCIP_Multaggr::nvars, SCIP_Multaggr::scalars, SCIP_Var::scip, SCIP_Bool, SCIP_Real, SCIP_VARSTATUS_MULTAGGR, SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPvarGetLbGlobal(), SCIPvarGetMultaggrLbGlobal(), SCIPvarGetMultaggrUbGlobal(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), TRUE, SCIP_Multaggr::vars, and SCIP_Var::varstatus.
Referenced by SCIPcomputeVarLbGlobal(), SCIPvarGetMultaggrLbGlobal(), and SCIPvarGetMultaggrUbGlobal().
for a multi-aggregated variable, gives the global upper bound computed by adding the global bounds from all aggregation variables this upper bound may be tighter than the one given by SCIPvarGetUbGlobal, since the latter is not updated if bounds of aggregation variables are changing calling this function for a non-multi-aggregated variable is not allowed
for a multi-aggregated variable, gives the global upper bound computed by adding the global bounds from all aggregation variables, this upper bound may be tighter than the one given by SCIPvarGetUbGlobal, since the latter is not updated if bounds of aggregation variables are changing
calling this function for a non-multi-aggregated variable is not allowed
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
Definition at line 8115 of file var.c.
References SCIP_Multaggr::constant, SCIP_Var::data, FALSE, MIN, SCIP_Var::multaggr, NULL, SCIP_Multaggr::nvars, SCIP_Multaggr::scalars, SCIP_Var::scip, SCIP_Bool, SCIP_Real, SCIP_VARSTATUS_MULTAGGR, SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPvarGetLbGlobal(), SCIPvarGetMultaggrLbGlobal(), SCIPvarGetMultaggrUbGlobal(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), TRUE, SCIP_Multaggr::vars, and SCIP_Var::varstatus.
Referenced by SCIPcomputeVarUbGlobal(), SCIPvarGetMultaggrLbGlobal(), and SCIPvarGetMultaggrUbGlobal().
adds a hole to the original domain of the variable
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| set | global SCIP settings |
| left | left bound of open interval in new hole |
| right | right bound of open interval in new hole |
Definition at line 8176 of file var.c.
References adjustedLb(), adjustedUb(), SCIP_Var::data, domAddHole(), domMerge(), SCIP_Var::name, NULL, SCIP_Original::origdom, SCIP_Var::original, SCIP_Var::scip, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIP_VARTYPE_CONTINUOUS, SCIPdebugMessage, SCIPsetIsEQ(), SCIPsetIsGE(), SCIPsetIsLE(), SCIPsetIsLT(), SCIPvarGetLbOriginal(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarGetUbOriginal(), and SCIPvarIsTransformed().
adds a hole to the variable's global domain
adds a hole to the variable's global and local domain
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| eventqueue | event queue, may be NULL for original variables |
| left | left bound of open interval in new hole |
| right | right bound of open interval in new hole |
| added | pointer to store whether the hole was added |
Definition at line 8357 of file var.c.
References adjustedLb(), adjustedUb(), SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::name, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Bool, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_STAGE_PROBLEM, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIP_VARTYPE_CONTINUOUS, SCIPdebugMessage, SCIPerrorMessage, SCIPsetIsEQ(), SCIPsetIsGE(), SCIPsetIsLE(), SCIPsetIsLT(), SCIPsetIsNegative(), SCIPsetIsPositive(), SCIPvarAddHoleGlobal(), SCIPvarAddHoleLocal(), SCIPvarGetLbGlobal(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarGetUbGlobal(), SCIP_Original::transvar, SCIP_Aggregate::var, and varProcessAddHoleGlobal().
Referenced by SCIPnodeAddHoleinfer(), and SCIPvarAddHoleGlobal().
adds a hole to the variable's current local domain
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| eventqueue | event queue, may be NULL for original variables |
| left | left bound of open interval in new hole |
| right | right bound of open interval in new hole |
| added | pointer to store whether the hole was added |
Definition at line 8605 of file var.c.
References adjustedLb(), adjustedUb(), SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Stat::domchgcount, SCIP_Var::name, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Var::scip, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_STAGE_PROBLEM, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIP_VARTYPE_CONTINUOUS, SCIPdebugMessage, SCIPerrorMessage, SCIPsetIsEQ(), SCIPsetIsGE(), SCIPsetIsLE(), SCIPsetIsLT(), SCIPsetIsNegative(), SCIPsetIsPositive(), SCIPvarAddHoleLocal(), SCIPvarGetLbLocal(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarGetUbLocal(), SCIP_Original::transvar, SCIP_Aggregate::var, and varProcessAddHoleLocal().
Referenced by SCIPvarAddHoleGlobal(), and SCIPvarAddHoleLocal().
resets the global and local bounds of original variable to their original values
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
Definition at line 8714 of file var.c.
References SCIP_Var::data, SCIP_Var::glbdom, SCIP_Dom::holelist, holelistDuplicate(), holelistFree(), SCIP_Dom::lb, SCIP_Var::locdom, NULL, SCIP_Original::origdom, SCIP_Var::original, SCIP_Var::scip, SCIP_CALL, SCIP_OKAY, SCIPvarChgLbGlobal(), SCIPvarChgLbLocal(), SCIPvarChgUbGlobal(), SCIPvarChgUbLocal(), SCIPvarGetTransVar(), SCIPvarIsOriginal(), and SCIP_Dom::ub.
Referenced by SCIPprobResetBounds().
returns at which depth in the tree a bound change was applied to the variable that conflicts with the given bound; returns -1 if the bound does not conflict with the current local bounds of the variable
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
| boundtype | bound type of the conflicting bound |
| bound | conflicting bound |
Definition at line 15423 of file var.c.
References SCIP_BdChgInfo::bdchgidx, SCIP_BdChgInfo::boundtype, SCIP_BdChgIdx::depth, SCIP_Var::glbdom, SCIP_Dom::lb, SCIP_Var::lbchginfos, SCIP_Var::locdom, SCIP_BdChgInfo::newbound, SCIP_Var::nlbchginfos, SCIP_Var::nubchginfos, NULL, SCIP_Var::scip, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIPsetIsGE(), SCIPsetIsGT(), SCIPsetIsLE(), SCIPsetIsLT(), SCIP_Dom::ub, SCIP_Var::ubchginfos, and SCIP_BdChgInfo::var.
Referenced by SCIPnodeAddBoundinfer(), and treeApplyPendingBdchgs().
| SCIP_RETCODE SCIPvarAddVlb |
( |
SCIP_VAR * |
var, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_SET * |
set, |
|
|
SCIP_STAT * |
stat, |
|
|
SCIP_PROB * |
transprob, |
|
|
SCIP_PROB * |
origprob, |
|
|
SCIP_TREE * |
tree, |
|
|
SCIP_LP * |
lp, |
|
|
SCIP_CLIQUETABLE * |
cliquetable, |
|
|
SCIP_BRANCHCAND * |
branchcand, |
|
|
SCIP_EVENTQUEUE * |
eventqueue, |
|
|
SCIP_VAR * |
vlbvar, |
|
|
SCIP_Real |
vlbcoef, |
|
|
SCIP_Real |
vlbconstant, |
|
|
SCIP_Bool |
transitive, |
|
|
SCIP_Bool * |
infeasible, |
|
|
int * |
nbdchgs |
|
) |
| |
informs variable x about a globally valid variable lower bound x >= b*z + d with integer variable z; if z is binary, the corresponding valid implication for z is also added; improves the global bounds of the variable and the vlb variable if possible
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| transprob | transformed problem |
| origprob | original problem |
| tree | branch and bound tree if in solving stage |
| lp | current LP data |
| cliquetable | clique table data structure |
| branchcand | branching candidate storage |
| eventqueue | event queue |
| vlbvar | variable z in x >= b*z + d |
| vlbcoef | coefficient b in x >= b*z + d |
| vlbconstant | constant d in x >= b*z + d |
| transitive | should transitive closure of implication also be added? |
| infeasible | pointer to store whether an infeasibility was detected |
| nbdchgs | pointer to store the number of performed bound changes, or NULL |
Definition at line 9517 of file var.c.
References adjustedLb(), adjustedUb(), SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Negate::constant, SCIP_Var::data, FALSE, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Var::scip, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_STAGE_SOLVING, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_CONTINUOUS, SCIPdebugMessage, SCIPerrorMessage, SCIPnodeAddBoundchg(), SCIPprobIsTransformed(), SCIPsetGetStage(), SCIPsetInfinity(), SCIPsetIsEQ(), SCIPsetIsFeasGT(), SCIPsetIsFeasLT(), SCIPsetIsInfinity(), SCIPsetIsNegative(), SCIPsetIsPositive(), SCIPsetIsZero(), SCIPtreeGetRootNode(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarChgLbGlobal(), SCIPvarChgUbGlobal(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetProbvarSum(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarGetUbGlobal(), SCIPvarIsActive(), SCIP_Original::transvar, TRUE, SCIP_Aggregate::var, varAddTransitiveImplic(), and varAddVbound().
Referenced by SCIPaddClique(), SCIPaddVarImplication(), SCIPaddVarVlb(), SCIPaddVarVub(), SCIPcliquetableCleanup(), SCIPvarAddImplic(), SCIPvarAddVlb(), SCIPvarAddVub(), and SCIPvarAggregate().
| SCIP_RETCODE SCIPvarAddVub |
( |
SCIP_VAR * |
var, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_SET * |
set, |
|
|
SCIP_STAT * |
stat, |
|
|
SCIP_PROB * |
transprob, |
|
|
SCIP_PROB * |
origprob, |
|
|
SCIP_TREE * |
tree, |
|
|
SCIP_LP * |
lp, |
|
|
SCIP_CLIQUETABLE * |
cliquetable, |
|
|
SCIP_BRANCHCAND * |
branchcand, |
|
|
SCIP_EVENTQUEUE * |
eventqueue, |
|
|
SCIP_VAR * |
vubvar, |
|
|
SCIP_Real |
vubcoef, |
|
|
SCIP_Real |
vubconstant, |
|
|
SCIP_Bool |
transitive, |
|
|
SCIP_Bool * |
infeasible, |
|
|
int * |
nbdchgs |
|
) |
| |
informs variable x about a globally valid variable upper bound x <= b*z + d with integer variable z; if z is binary, the corresponding valid implication for z is also added; updates the global bounds of the variable and the vub variable correspondingly
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| transprob | transformed problem |
| origprob | original problem |
| tree | branch and bound tree if in solving stage |
| lp | current LP data |
| cliquetable | clique table data structure |
| branchcand | branching candidate storage |
| eventqueue | event queue |
| vubvar | variable z in x <= b*z + d |
| vubcoef | coefficient b in x <= b*z + d |
| vubconstant | constant d in x <= b*z + d |
| transitive | should transitive closure of implication also be added? |
| infeasible | pointer to store whether an infeasibility was detected |
| nbdchgs | pointer to store the number of performed bound changes, or NULL |
Definition at line 9868 of file var.c.
References adjustedLb(), adjustedUb(), SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Negate::constant, SCIP_Var::data, FALSE, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Var::scip, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_Real, SCIP_STAGE_SOLVING, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_CONTINUOUS, SCIPdebugMessage, SCIPerrorMessage, SCIPnodeAddBoundchg(), SCIPprobIsTransformed(), SCIPsetGetStage(), SCIPsetInfinity(), SCIPsetIsEQ(), SCIPsetIsFeasGT(), SCIPsetIsFeasLT(), SCIPsetIsInfinity(), SCIPsetIsNegative(), SCIPsetIsPositive(), SCIPsetIsZero(), SCIPtreeGetRootNode(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarChgLbGlobal(), SCIPvarChgUbGlobal(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetProbvarSum(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarGetUbGlobal(), SCIPvarIsActive(), SCIPvarIsBinary(), SCIP_Original::transvar, TRUE, SCIP_Aggregate::var, varAddTransitiveImplic(), and varAddVbound().
Referenced by SCIPaddClique(), SCIPaddVarImplication(), SCIPaddVarVlb(), SCIPaddVarVub(), SCIPcliquetableCleanup(), SCIPvarAddImplic(), SCIPvarAddVlb(), SCIPvarAddVub(), and SCIPvarAggregate().
| SCIP_RETCODE SCIPvarAddImplic |
( |
SCIP_VAR * |
var, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_SET * |
set, |
|
|
SCIP_STAT * |
stat, |
|
|
SCIP_PROB * |
transprob, |
|
|
SCIP_PROB * |
origprob, |
|
|
SCIP_TREE * |
tree, |
|
|
SCIP_LP * |
lp, |
|
|
SCIP_CLIQUETABLE * |
cliquetable, |
|
|
SCIP_BRANCHCAND * |
branchcand, |
|
|
SCIP_EVENTQUEUE * |
eventqueue, |
|
|
SCIP_Bool |
varfixing, |
|
|
SCIP_VAR * |
implvar, |
|
|
SCIP_BOUNDTYPE |
impltype, |
|
|
SCIP_Real |
implbound, |
|
|
SCIP_Bool |
transitive, |
|
|
SCIP_Bool * |
infeasible, |
|
|
int * |
nbdchgs |
|
) |
| |
informs binary variable x about a globally valid implication: x == 0 or x == 1 ==> y <= b or y >= b; also adds the corresponding implication or variable bound to the implied variable; if the implication is conflicting, the variable is fixed to the opposite value; if the variable is already fixed to the given value, the implication is performed immediately; if the implication is redundant with respect to the variables' global bounds, it is ignored
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| transprob | transformed problem |
| origprob | original problem |
| tree | branch and bound tree if in solving stage |
| lp | current LP data |
| cliquetable | clique table data structure |
| branchcand | branching candidate storage |
| eventqueue | event queue |
| varfixing | FALSE if y should be added in implications for x == 0, TRUE for x == 1 |
| implvar | variable y in implication y <= b or y >= b |
| impltype | type of implication y <= b (SCIP_BOUNDTYPE_UPPER) or y >= b (SCIP_BOUNDTYPE_LOWER) |
| implbound | bound b in implication y <= b or y >= b |
| transitive | should transitive closure of implication also be added? |
| infeasible | pointer to store whether an infeasibility was detected |
| nbdchgs | pointer to store the number of performed bound changes, or NULL |
Definition at line 10222 of file var.c.
References SCIP_Var::aggregate, applyImplic(), SCIP_Aggregate::constant, SCIP_Var::data, FALSE, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Var::scip, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_INVALIDDATA, SCIP_OKAY, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIP_VARTYPE_BINARY, SCIPerrorMessage, SCIPsetIsEQ(), SCIPsetIsZero(), SCIPvarAddImplic(), SCIPvarAddVlb(), SCIPvarAddVub(), SCIPvarAdjustBd(), SCIPvarGetLbGlobal(), SCIPvarGetProbvarBound(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarGetUbGlobal(), SCIPvarIsActive(), SCIPvarIsBinary(), SCIP_Original::transvar, TRUE, SCIP_Aggregate::var, and varAddTransitiveImplic().
Referenced by SCIPaddClique(), SCIPaddVarImplication(), SCIPcliquetableCleanup(), SCIPvarAddImplic(), and SCIPvarAggregate().
| SCIP_RETCODE SCIPvarFixBinary |
( |
SCIP_VAR * |
var, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_SET * |
set, |
|
|
SCIP_STAT * |
stat, |
|
|
SCIP_PROB * |
transprob, |
|
|
SCIP_PROB * |
origprob, |
|
|
SCIP_TREE * |
tree, |
|
|
SCIP_LP * |
lp, |
|
|
SCIP_BRANCHCAND * |
branchcand, |
|
|
SCIP_EVENTQUEUE * |
eventqueue, |
|
|
SCIP_Bool |
value, |
|
|
SCIP_Bool * |
infeasible, |
|
|
int * |
nbdchgs |
|
) |
| |
fixes the bounds of a binary variable to the given value, counting bound changes and detecting infeasibility
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| transprob | transformed problem |
| origprob | original problem |
| tree | branch and bound tree if in solving stage |
| lp | current LP data |
| branchcand | branching candidate storage |
| eventqueue | event queue |
| value | value to fix variable to |
| infeasible | pointer to store whether an infeasibility was detected |
| nbdchgs | pointer to count the number of performed bound changes, or NULL |
Definition at line 10453 of file var.c.
References FALSE, SCIP_Var::glbdom, SCIP_Dom::lb, NULL, SCIP_Var::scip, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_STAGE_SOLVING, SCIPnodeAddBoundchg(), SCIPprobIsTransformed(), SCIPsetGetStage(), SCIPtreeGetRootNode(), SCIPvarChgLbGlobal(), SCIPvarChgUbGlobal(), TRUE, and SCIP_Dom::ub.
Referenced by SCIPcliquetableAdd(), and SCIPvarAddClique().
| SCIP_RETCODE SCIPvarAddClique |
( |
SCIP_VAR * |
var, |
|
|
BMS_BLKMEM * |
blkmem, |
|
|
SCIP_SET * |
set, |
|
|
SCIP_STAT * |
stat, |
|
|
SCIP_PROB * |
transprob, |
|
|
SCIP_PROB * |
origprob, |
|
|
SCIP_TREE * |
tree, |
|
|
SCIP_LP * |
lp, |
|
|
SCIP_BRANCHCAND * |
branchcand, |
|
|
SCIP_EVENTQUEUE * |
eventqueue, |
|
|
SCIP_Bool |
value, |
|
|
SCIP_CLIQUE * |
clique, |
|
|
SCIP_Bool * |
infeasible, |
|
|
int * |
nbdchgs |
|
) |
| |
adds the variable to the given clique and updates the list of cliques the binary variable is member of; if the variable now appears twice in the clique with the same value, it is fixed to the opposite value; if the variable now appears twice in the clique with opposite values, all other variables are fixed to the opposite of the value they take in the clique
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| transprob | transformed problem |
| origprob | original problem |
| tree | branch and bound tree if in solving stage |
| lp | current LP data |
| branchcand | branching candidate storage |
| eventqueue | event queue |
| value | value of the variable in the clique |
| clique | clique the variable should be added to |
| infeasible | pointer to store whether an infeasibility was detected |
| nbdchgs | pointer to count the number of performed bound changes, or NULL |
Definition at line 10539 of file var.c.
References SCIP_Var::cliquelist, FALSE, NULL, SCIP_Var::scip, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIPcliqueAddVar(), SCIPcliqueGetNVars(), SCIPcliqueGetValues(), SCIPcliqueGetVars(), SCIPcliquelistAdd(), SCIPcliquelistCheck(), SCIPvarFixBinary(), SCIPvarGetProbvarBinary(), SCIPvarGetStatus(), and SCIPvarIsBinary().
Referenced by SCIPcliquetableAdd(), and SCIPvarAggregate().
deletes the variable from the given clique and updates the list of cliques the binary variable is member of
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| value | value of the variable in the clique |
| clique | clique the variable should be removed from |
Definition at line 10678 of file var.c.
References SCIP_Var::cliquelist, NULL, SCIP_CALL, SCIP_OKAY, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIPcliqueDelVar(), SCIPcliquelistCheck(), SCIPcliquelistDel(), SCIPvarGetProbvarBinary(), SCIPvarGetStatus(), and SCIPvarIsBinary().
sets the branch factor of the variable; this value can be used in the branching methods to scale the score values of the variables; higher factor leads to a higher probability that this variable is chosen for branching
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
| branchfactor | factor to weigh variable's branching score with |
Definition at line 10805 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::branchfactor, SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, SCIP_Var::name, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Var::scip, SCIP_CALL, SCIP_ERROR, SCIP_OKAY, SCIP_STAGE_PROBLEM, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPsetIsEQ(), SCIPvarChgBranchFactor(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Aggregate::var, varProcessChgBranchFactor(), and SCIP_Multaggr::vars.
Referenced by SCIPaddVarBranchFactor(), SCIPchgVarBranchFactor(), SCIPscaleVarBranchFactor(), SCIPvarAggregate(), SCIPvarChgBranchFactor(), and SCIPvarMultiaggregate().
sets the branch priority of the variable; variables with higher branch priority are always preferred to variables with lower priority in selection of branching variable
- Parameters
-
| var | problem variable |
| branchpriority | branching priority of the variable |
Definition at line 10931 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::branchpriority, SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, SCIP_Var::name, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_CALL, SCIP_ERROR, SCIP_OKAY, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPdebugMessage, SCIPerrorMessage, SCIPvarChgBranchPriority(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Aggregate::var, varProcessChgBranchPriority(), and SCIP_Multaggr::vars.
Referenced by SCIPaddVarBranchPriority(), SCIPbranchcandUpdateVarBranchPriority(), SCIPchgVarBranchPriority(), SCIPupdateVarBranchPriority(), SCIPvarAggregate(), SCIPvarChgBranchPriority(), and SCIPvarMultiaggregate().
sets the branch direction of the variable; variables with higher branch direction are always preferred to variables with lower direction in selection of branching variable
- Parameters
-
| var | problem variable |
| branchdirection | preferred branch direction of the variable (downwards, upwards, auto) |
Definition at line 11061 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::branchdirection, SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::multaggr, SCIP_Var::name, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_BRANCHDIR_AUTO, SCIP_CALL, SCIP_ERROR, SCIP_OKAY, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPdebugMessage, SCIPerrorMessage, SCIPvarChgBranchDirection(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Aggregate::var, varProcessChgBranchDirection(), and SCIP_Multaggr::vars.
Referenced by SCIPchgVarBranchDirection(), SCIPvarAggregate(), SCIPvarChgBranchDirection(), and SCIPvarMultiaggregate().
gets objective value of variable in current SCIP_LP; the value can be different from the bound stored in the variable's own data due to diving, that operate only on the LP without updating the variables
- Parameters
-
Definition at line 12080 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::col, SCIP_Var::data, SCIP_Var::negatedvar, NULL, SCIP_Var::obj, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPcolGetObj(), SCIPerrorMessage, SCIPvarGetObjLP(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPgetVarObjDive(), and SCIPvarGetObjLP().
gets lower bound of variable in current SCIP_LP; the bound can be different from the bound stored in the variable's own data due to diving or conflict analysis, that operate only on the LP without updating the variables
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
Definition at line 12126 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::col, SCIP_Aggregate::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Dom::lb, SCIP_Var::locdom, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Var::scip, SCIP_INVALID, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPcolGetLb(), SCIPerrorMessage, SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPvarGetLbLP(), SCIPvarGetStatus(), SCIPvarGetUbLP(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by addBdchg(), addCand(), conflictAnalyzeLP(), conflictAnalyzeRemainingBdchgs(), SCIPgetVarLbDive(), SCIPvarGetLbLP(), SCIPvarGetUbLP(), and undoBdchgsDualfarkas().
gets upper bound of variable in current SCIP_LP; the bound can be different from the bound stored in the variable's own data due to diving or conflict analysis, that operate only on the LP without updating the variables
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
Definition at line 12196 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::col, SCIP_Aggregate::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::locdom, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Var::scip, SCIP_INVALID, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPcolGetUb(), SCIPerrorMessage, SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPvarGetLbLP(), SCIPvarGetStatus(), SCIPvarGetUbLP(), SCIP_Original::transvar, SCIP_Dom::ub, and SCIP_Aggregate::var.
Referenced by addBdchg(), addCand(), conflictAnalyzeLP(), conflictAnalyzeRemainingBdchgs(), SCIPgetVarUbDive(), SCIPvarGetLbLP(), SCIPvarGetUbLP(), and undoBdchgsDualfarkas().
returns solution value and index of variable lower bound that is closest to the variable's value in the given primal solution or current LP solution if no primal solution is given; returns an index of -1 if no variable lower bound is available
- Parameters
-
| var | active problem variable |
| sol | primal solution, or NULL for LP solution |
| set | global SCIP settings |
| stat | problem statistics |
| closestvlb | pointer to store the value of the closest variable lower bound |
| closestvlbidx | pointer to store the index of the closest variable lower bound |
Definition at line 13117 of file var.c.
References SCIP_Var::closestvblpcount, SCIP_Var::closestvlbidx, SCIP_Var::closestvubidx, SCIP_Stat::lpcount, NULL, SCIP_Var::scip, SCIP_Real, SCIP_REAL_MIN, SCIPsolGetVal(), SCIPvarGetLPSol(), SCIPvarGetNVlbs(), SCIPvarGetVlbCoefs(), SCIPvarGetVlbConstants(), SCIPvarGetVlbVars(), and SCIPvarIsActive().
Referenced by findBestLb(), SCIPgetVarClosestVlb(), and transformStrongCGRow().
returns solution value and index of variable upper bound that is closest to the variable's value in the given primal solution; or current LP solution if no primal solution is given; returns an index of -1 if no variable upper bound is available
- Parameters
-
| var | active problem variable |
| sol | primal solution, or NULL for LP solution |
| set | global SCIP settings |
| stat | problem statistics |
| closestvub | pointer to store the value of the closest variable upper bound |
| closestvubidx | pointer to store the index of the closest variable upper bound |
Definition at line 13192 of file var.c.
References SCIP_Var::closestvblpcount, SCIP_Var::closestvlbidx, SCIP_Var::closestvubidx, SCIP_Stat::lpcount, NULL, SCIP_Var::scip, SCIP_Real, SCIP_REAL_MAX, SCIPsolGetVal(), SCIPvarGetLPSol(), SCIPvarGetNVubs(), SCIPvarGetVubCoefs(), SCIPvarGetVubConstants(), SCIPvarGetVubVars(), and SCIPvarIsActive().
Referenced by findBestUb(), SCIPgetVarClosestVub(), and transformStrongCGRow().
updates the current solution as best root solution in the problem variables if it is better
updates the current solution as best root solution of the given variable if it is better
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
| rootsol | root solution value |
| rootredcost | root reduced cost |
| rootlpobjval | objective value of the root LP |
Definition at line 12472 of file var.c.
References SCIP_Var::bestrootlpobjval, SCIP_Var::bestrootredcost, SCIP_Var::bestrootsol, NULL, SCIP_Var::scip, SCIP_Real, SCIPdebugMessage, SCIPsetIsFeasZero(), SCIPvarGetLbGlobal(), SCIPvarGetName(), and SCIPvarGetUbGlobal().
Referenced by analyzeStrongbranch(), and SCIPprobUpdateBestRootSol().
returns the solution value of the problem variables in the relaxation solution
returns the solution value of the problem variable in the relaxation solution
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
Definition at line 12918 of file var.c.
References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::multaggr, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, SCIP_Var::relaxsol, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_Var::scip, SCIP_INVALID, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPsetInfinity(), SCIPsetIsInfinity(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetRelaxSol(), SCIPvarGetStatus(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by SCIPgetRelaxSolVal(), SCIProwGetRelaxFeasibility(), and SCIPvarGetRelaxSol().
returns for given variable the reduced cost
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
| varfixing | FALSE if for x == 0, TRUE for x == 1 |
| stat | problem statistics |
| lp | current LP data |
Definition at line 12605 of file var.c.
References NULL, SCIP_BASESTAT_LOWER, SCIP_BASESTAT_UPPER, SCIP_Bool, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIPcolGetBasisStatus(), SCIPcolGetPrimsol(), SCIPcolGetRedcost(), SCIPlpIsSolBasic(), SCIPsetIsFeasEQ(), SCIPsetIsFeasNegative(), SCIPsetIsFeasPositive(), SCIPvarGetCol(), SCIPvarGetLbLocal(), SCIPvarGetStatus(), SCIPvarGetUbLocal(), and TRUE.
Referenced by SCIPvarGetImplRedcost().
returns for the given binary variable the reduced cost which are given by the variable itself and its implication if the binary variable is fixed to the given value
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
| varfixing | FALSE if for x == 0, TRUE for x == 1 |
| stat | problem statistics |
| lp | current LP data |
Definition at line 12657 of file var.c.
References FALSE, SCIP_Var::implics, NULL, SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_Real, SCIP_VARSTATUS_COLUMN, SCIPimplicsGetNBinImpls(), SCIPimplicsGetTypes(), SCIPimplicsGetVars(), SCIPsetIsFeasZero(), SCIPvarGetLbLocal(), SCIPvarGetRedcost(), SCIPvarGetStatus(), SCIPvarGetUbLocal(), SCIPvarIsBinary(), and TRUE.
Referenced by SCIPgetVarImplRedcost(), and SCIPprobUpdateBestRootSol().
stores the solution value as relaxation solution in the problem variable
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
| relaxation | global relaxation data |
| solval | solution value in the current relaxation solution |
| updateobj | should the objective value be updated? |
Definition at line 12857 of file var.c.
References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::glbdom, SCIP_Dom::lb, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Var::obj, SCIP_Var::original, SCIP_Var::relaxsol, SCIP_Aggregate::scalar, SCIP_Var::scip, 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, SCIPerrorMessage, SCIPrelaxationSolObjAdd(), SCIPsetIsEQ(), SCIPsetIsZero(), SCIPvarGetName(), SCIPvarGetStatus(), SCIPvarSetRelaxSol(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPclearRelaxSolVals(), SCIPsetRelaxSolVal(), SCIPsetRelaxSolVals(), SCIPsetRelaxSolValsSol(), and SCIPvarSetRelaxSol().
stores the solution value as NLP solution in the problem variable
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
| solval | solution value in the current NLP solution |
Definition at line 13001 of file var.c.
References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::glbdom, SCIP_Dom::lb, SCIP_Var::negate, SCIP_Var::negatedvar, SCIP_Var::nlpsol, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Var::scip, SCIP_CALL, SCIP_ERROR, SCIP_INVALIDCALL, SCIP_OKAY, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPsetIsEQ(), SCIPsetIsZero(), SCIPvarGetName(), SCIPvarGetStatus(), SCIPvarSetNLPSol(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by nlpAddVars(), nlpSolve(), and SCIPvarSetNLPSol().
resolves variable to columns and adds them with the coefficient to the row
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| set | global SCIP settings |
| stat | problem statistics |
| eventqueue | event queue |
| prob | problem data |
| lp | current LP data |
| row | LP row |
| val | value of coefficient |
Definition at line 13264 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::col, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::donotmultaggr, SCIP_Var::glbdom, SCIP_Dom::lb, SCIP_Var::locdom, SCIP_Var::multaggr, SCIP_Row::name, SCIP_Var::name, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::original, REALABS, SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_Var::scip, 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, SCIProwAddConstant(), SCIProwIncCoef(), SCIPsetIsEQ(), SCIPsetIsInfinity(), SCIPsetIsZero(), SCIPvarAddToRow(), SCIPvarColumn(), SCIPvarGetStatus(), SCIP_Original::transvar, SCIP_Dom::ub, SCIP_Col::var, SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by SCIPaddVarsToRow(), SCIPaddVarsToRowSameCoef(), SCIPaddVarToRow(), and SCIPvarAddToRow().
updates the pseudo costs of the given variable and the global pseudo costs after a change of "solvaldelta" in the variable's solution value and resulting change of "objdelta" in the in the LP's objective value
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
| stat | problem statistics |
| solvaldelta | difference of variable's new LP value - old LP value |
| objdelta | difference of new LP's objective value - old LP's objective value |
| weight | weight in (0,1] of this update in pseudo cost sum |
Definition at line 13365 of file var.c.
References SCIP_Var::aggregate, SCIP_Stat::collectvarhistory, SCIP_Var::data, SCIP_Stat::glbhistory, SCIP_Stat::glbhistorycrun, SCIP_Var::history, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_Var::scip, 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, SCIPerrorMessage, SCIPhistoryUpdatePseudocost(), SCIPsetIsZero(), SCIPvarGetStatus(), SCIPvarUpdatePseudocost(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPinitVarBranchStats(), SCIPupdateVarPseudocost(), SCIPvarUpdatePseudocost(), and updatePseudocost().
gets the variable's pseudo cost value for the given step size "solvaldelta" in the variable's LP solution value
- Parameters
-
| var | problem variable |
| stat | problem statistics |
| solvaldelta | difference of variable's new LP value - old LP value |
Definition at line 13427 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Stat::glbhistory, SCIP_Var::history, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPhistoryGetPseudocost(), SCIPhistoryGetPseudocostCount(), SCIPvarGetPseudocost(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPgetVarPseudocost(), SCIPgetVarPseudocostScore(), SCIPgetVarPseudocostVal(), SCIPprintBranchingStatistics(), SCIPtreeCalcChildEstimate(), SCIPtreeCalcNodeselPriority(), SCIPvarGetPseudocost(), and updateEstimate().
gets the variable's pseudo cost value for the given step size "solvaldelta" in the variable's LP solution value, only using the pseudo cost information of the current run
- Parameters
-
| var | problem variable |
| stat | problem statistics |
| solvaldelta | difference of variable's new LP value - old LP value |
Definition at line 13476 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Stat::glbhistorycrun, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPerrorMessage, SCIPhistoryGetPseudocost(), SCIPhistoryGetPseudocostCount(), SCIPvarGetPseudocostCurrentRun(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPgetVarPseudocostCurrentRun(), SCIPgetVarPseudocostScoreCurrentRun(), SCIPgetVarPseudocostValCurrentRun(), and SCIPvarGetPseudocostCurrentRun().
gets the variable's (possible fractional) number of pseudo cost updates for the given direction
- Parameters
-
| var | problem variable |
| dir | branching direction (downwards, or upwards) |
Definition at line 13523 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::history, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetPseudocostCount(), SCIPvarGetPseudocostCount(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPgetVarPseudocostCount(), SCIPprintBranchingStatistics(), and SCIPvarGetPseudocostCount().
gets the variable's (possible fractional) number of pseudo cost updates for the given direction, only using the pseudo cost information of the current run
- Parameters
-
| var | problem variable |
| dir | branching direction (downwards, or upwards) |
Definition at line 13568 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetPseudocostCount(), SCIPvarGetPseudocostCountCurrentRun(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPgetVarPseudocostCountCurrentRun(), and SCIPvarGetPseudocostCountCurrentRun().
increases the VSIDS of the variable by the given weight
increases VSIDS of the variable by the given weight
- Parameters
-
| var | problem variable |
| blkmem | block memory, or NULL if the domain value is SCIP_UNKNOWN |
| set | global SCIP settings, or NULL if the domain value is SCIP_UNKNOWN |
| stat | problem statistics |
| dir | branching direction |
| value | domain value, or SCIP_UNKNOWN |
| weight | weight of this update in VSIDS |
Definition at line 13667 of file var.c.
References SCIP_Var::aggregate, SCIP_Stat::collectvarhistory, SCIP_Aggregate::constant, SCIP_Var::data, findValuehistoryEntry(), SCIP_Var::history, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, 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, SCIPbranchdirOpposite(), SCIPdebugMessage, SCIPerrorMessage, SCIPhistoryGetVSIDS(), SCIPhistoryIncVSIDS(), SCIPsetIsZero(), SCIPvarGetName(), SCIPvarGetStatus(), SCIPvarIncVSIDS(), SCIP_Original::transvar, useValuehistory(), and SCIP_Aggregate::var.
Referenced by incVSIDS(), SCIPinitVarBranchStats(), and SCIPvarIncVSIDS().
scales the VSIDS of the variable by the given scalar
- Parameters
-
| var | problem variable |
| scalar | scalar to multiply the VSIDSs with |
Definition at line 13753 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::history, SCIP_Var::historycrun, 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, SCIPerrorMessage, SCIPhistoryScaleVSIDS(), SCIPvaluehistoryScaleVSIDS(), SCIPvarGetStatus(), SCIPvarScaleVSIDS(), SCIP_Original::transvar, SCIP_Var::valuehistory, and SCIP_Aggregate::var.
Referenced by SCIPconflictInit(), and SCIPvarScaleVSIDS().
increases the number of active conflicts by one and the overall length of the variable by the given length
- Parameters
-
| var | problem variable |
| blkmem | block memory, or NULL if the domain value is SCIP_UNKNOWN |
| set | global SCIP settings, or NULL if the domain value is SCIP_UNKNOWN |
| stat | problem statistics |
| dir | branching direction |
| value | domain value, or SCIP_UNKNOWN |
| length | length of the conflict |
Definition at line 13803 of file var.c.
References SCIP_Var::aggregate, SCIP_Stat::collectvarhistory, SCIP_Aggregate::constant, SCIP_Var::data, findValuehistoryEntry(), SCIP_Var::history, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, 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, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryIncNActiveConflicts(), SCIPvarGetStatus(), SCIPvarIncNActiveConflicts(), SCIP_Original::transvar, useValuehistory(), and SCIP_Aggregate::var.
Referenced by SCIPinitVarBranchStats(), SCIPvarIncNActiveConflicts(), and updateStatistics().
gets the number of active conflicts containing this variable in given direction
- Parameters
-
| var | problem variable |
| stat | problem statistics |
| dir | branching direction (downwards, or upwards) |
Definition at line 13884 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::history, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetNActiveConflicts(), SCIPvarGetNActiveConflicts(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPvarGetNActiveConflicts().
gets the number of active conflicts containing this variable in given direction in the current run
- Parameters
-
| var | problem variable |
| stat | problem statistics |
| dir | branching direction (downwards, or upwards) |
Definition at line 13931 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetNActiveConflicts(), SCIPvarGetNActiveConflictsCurrentRun(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPvarGetNActiveConflictsCurrentRun().
gets the average conflict length in given direction due to branching on the variable
- Parameters
-
| var | problem variable |
| dir | branching direction (downwards, or upwards) |
Definition at line 13976 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::history, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetAvgConflictlength(), SCIPvarGetAvgConflictlength(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPgetVarAvgConflictlength(), SCIPgetVarConflictlengthScore(), and SCIPvarGetAvgConflictlength().
gets the average conflict length in given direction due to branching on the variable in the current run
- Parameters
-
| var | problem variable |
| dir | branching direction (downwards, or upwards) |
Definition at line 14020 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetAvgConflictlength(), SCIPvarGetAvgConflictlengthCurrentRun(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPgetVarAvgConflictlengthCurrentRun(), SCIPgetVarConflictlengthScoreCurrentRun(), and SCIPvarGetAvgConflictlengthCurrentRun().
increases the number of branchings counter of the variable
- Parameters
-
| var | problem variable |
| blkmem | block memory, or NULL if the domain value is SCIP_UNKNOWN |
| set | global SCIP settings, or NULL if the domain value is SCIP_UNKNOWN |
| stat | problem statistics |
| dir | branching direction (downwards, or upwards) |
| value | domain value, or SCIP_UNKNOWN |
| depth | depth at which the bound change took place |
Definition at line 14063 of file var.c.
References SCIP_Var::aggregate, SCIP_Stat::collectvarhistory, SCIP_Aggregate::constant, SCIP_Var::data, findValuehistoryEntry(), SCIP_Stat::glbhistory, SCIP_Stat::glbhistorycrun, SCIP_Var::history, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, 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, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryIncNBranchings(), SCIPvarGetStatus(), SCIPvarIncNBranchings(), SCIP_Original::transvar, useValuehistory(), and SCIP_Aggregate::var.
Referenced by SCIPboundchgApply(), SCIPinitVarBranchStats(), and SCIPvarIncNBranchings().
increases the inference score of the variable by the given weight
increases the inference sum of the variable by the given weight
- Parameters
-
| var | problem variable |
| blkmem | block memory, or NULL if the domain value is SCIP_UNKNOWN |
| set | global SCIP settings, or NULL if the domain value is SCIP_UNKNOWN |
| stat | problem statistics |
| dir | branching direction (downwards, or upwards) |
| value | domain value, or SCIP_UNKNOWN |
| weight | weight of this update in inference score |
Definition at line 14147 of file var.c.
References SCIP_Var::aggregate, SCIP_Stat::collectvarhistory, SCIP_Aggregate::constant, SCIP_Var::data, findValuehistoryEntry(), SCIP_Stat::glbhistory, SCIP_Stat::glbhistorycrun, SCIP_Var::history, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, 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, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryIncInferenceSum(), SCIPvarGetStatus(), SCIPvarIncInferenceSum(), SCIP_Original::transvar, useValuehistory(), and SCIP_Aggregate::var.
Referenced by SCIPboundchgApply(), SCIPinitVarBranchStats(), and SCIPvarIncInferenceSum().
increases the cutoff score of the variable by the given weight
increases the cutoff sum of the variable by the given weight
- Parameters
-
| var | problem variable |
| blkmem | block memory, or NULL if the domain value is SCIP_UNKNOWN |
| set | global SCIP settings, or NULL if the domain value is SCIP_UNKNOWN |
| stat | problem statistics |
| dir | branching direction (downwards, or upwards) |
| value | domain value, or SCIP_UNKNOWN |
| weight | weight of this update in cutoff score |
Definition at line 14231 of file var.c.
References SCIP_Var::aggregate, SCIP_Stat::collectvarhistory, SCIP_Aggregate::constant, SCIP_Var::data, findValuehistoryEntry(), SCIP_Stat::glbhistory, SCIP_Stat::glbhistorycrun, SCIP_Var::history, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, 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, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryIncCutoffSum(), SCIPvarGetStatus(), SCIPvarIncCutoffSum(), SCIP_Original::transvar, useValuehistory(), and SCIP_Aggregate::var.
Referenced by SCIPinitVarBranchStats(), SCIPsolveCIP(), and SCIPvarIncCutoffSum().
returns the variable's VSIDS score
- Parameters
-
| var | problem variable |
| stat | problem statistics |
| dir | branching direction (downwards, or upwards) |
Definition at line 14491 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::history, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetVSIDS(), SCIPvarGetStatus(), SCIPvarGetVSIDS(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Stat::vsidsweight.
Referenced by SCIPvarGetVSIDS().
returns the variable's VSIDS score only using conflicts of the current run
- Parameters
-
| var | problem variable |
| stat | problem statistics |
| dir | branching direction (downwards, or upwards) |
Definition at line 14540 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetVSIDS(), SCIPvarGetStatus(), SCIPvarGetVSIDSCurrentRun(), SCIP_Original::transvar, SCIP_Aggregate::var, and SCIP_Stat::vsidsweight.
Referenced by SCIPgetVarConflictScoreCurrentRun(), SCIPgetVarVSIDSCurrentRun(), and SCIPvarGetVSIDSCurrentRun().
returns the average number of inferences found after branching on the variable in given direction
- Parameters
-
| var | problem variable |
| stat | problem statistics |
| dir | branching direction (downwards, or upwards) |
Definition at line 14673 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Stat::glbhistory, SCIP_Var::history, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetAvgInferences(), SCIPhistoryGetNBranchings(), SCIPvarGetAvgInferences(), SCIPvarGetNCliques(), SCIPvarGetNImpls(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPgetVarAvgInferenceCutoffScore(), SCIPgetVarAvgInferences(), SCIPgetVarAvgInferenceScore(), SCIPprintBranchingStatistics(), SCIPtreeCalcNodeselPriority(), and SCIPvarGetAvgInferences().
returns the average number of inferences found after branching on the variable in given direction in the current run
- Parameters
-
| var | problem variable |
| stat | problem statistics |
| dir | branching direction (downwards, or upwards) |
Definition at line 14730 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Stat::glbhistorycrun, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_Real, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetAvgInferences(), SCIPhistoryGetNBranchings(), SCIPvarGetAvgInferencesCurrentRun(), SCIPvarGetNCliques(), SCIPvarGetNImpls(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPgetVarAvgInferenceCutoffScoreCurrentRun(), SCIPgetVarAvgInferenceScoreCurrentRun(), SCIPgetVarAvgInferencesCurrentRun(), and SCIPvarGetAvgInferencesCurrentRun().
returns the average number of cutoffs found after branching on the variable in given direction
- Parameters
-
| var | problem variable |
| stat | problem statistics |
| dir | branching direction (downwards, or upwards) |
Definition at line 14871 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Stat::glbhistory, SCIP_Var::history, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetAvgCutoffs(), SCIPhistoryGetNBranchings(), SCIPvarGetAvgCutoffs(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPgetVarAvgCutoffs(), SCIPgetVarAvgCutoffScore(), SCIPgetVarAvgInferenceCutoffScore(), SCIPprintBranchingStatistics(), and SCIPvarGetAvgCutoffs().
returns the average number of cutoffs found after branching on the variable in given direction in the current run
- Parameters
-
| var | problem variable |
| stat | problem statistics |
| dir | branching direction (downwards, or upwards) |
Definition at line 14918 of file var.c.
References SCIP_Var::aggregate, SCIP_Var::data, SCIP_Stat::glbhistorycrun, SCIP_Var::historycrun, SCIP_Var::negatedvar, NULL, SCIP_Var::original, SCIP_Aggregate::scalar, SCIP_BRANCHDIR_DOWNWARDS, SCIP_BRANCHDIR_UPWARDS, SCIP_VARSTATUS_AGGREGATED, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_FIXED, SCIP_VARSTATUS_LOOSE, SCIP_VARSTATUS_MULTAGGR, SCIP_VARSTATUS_NEGATED, SCIP_VARSTATUS_ORIGINAL, SCIPABORT, SCIPbranchdirOpposite(), SCIPerrorMessage, SCIPhistoryGetAvgCutoffs(), SCIPhistoryGetNBranchings(), SCIPvarGetAvgCutoffsCurrentRun(), SCIPvarGetStatus(), SCIP_Original::transvar, and SCIP_Aggregate::var.
Referenced by SCIPgetVarAvgCutoffScoreCurrentRun(), SCIPgetVarAvgCutoffsCurrentRun(), SCIPgetVarAvgInferenceCutoffScoreCurrentRun(), and SCIPvarGetAvgCutoffsCurrentRun().
outputs variable information into file stream
- Parameters
-
| var | problem variable |
| set | global SCIP settings |
| messagehdlr | message handler |
| file | output file (or NULL for standard output) |
Definition at line 2882 of file var.c.
References SCIP_Var::aggregate, SCIP_Aggregate::constant, SCIP_Multaggr::constant, SCIP_Negate::constant, SCIP_Var::data, SCIP_Var::glbdom, SCIP_Dom::lb, SCIP_Var::multaggr, SCIP_Var::name, SCIP_Var::negate, SCIP_Var::negatedvar, NULL, SCIP_Multaggr::nvars, SCIP_Var::obj, printBounds(), printHolelist(), SCIP_Aggregate::scalar, SCIP_Multaggr::scalars, SCIP_Var::scip, SCIP_ERROR, 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, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_CONTINUOUS, SCIP_VARTYPE_IMPLINT, SCIP_VARTYPE_INTEGER, SCIPABORT, SCIPerrorMessage, SCIPmessageFPrintInfo(), SCIPsetIsInfinity(), SCIPsetIsZero(), SCIPvarGetHolelistGlobal(), SCIPvarGetHolelistLocal(), SCIPvarGetHolelistOriginal(), SCIPvarGetLbGlobal(), SCIPvarGetLbLazy(), SCIPvarGetLbLocal(), SCIPvarGetLbOriginal(), SCIPvarGetName(), SCIPvarGetStatus(), SCIPvarGetType(), SCIPvarGetUbGlobal(), SCIPvarGetUbLazy(), SCIPvarGetUbLocal(), SCIPvarGetUbOriginal(), SCIPvarIsTransformed(), SCIP_Aggregate::var, and SCIP_Multaggr::vars.
Referenced by SCIPnlpWrite(), and SCIPprintVar().
includes event handler with given data in variable's event filter
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| set | global SCIP settings |
| eventtype | event type to catch |
| eventhdlr | event handler to call for the event processing |
| eventdata | event data to pass to the event handler for the event processing |
| filterpos | pointer to store position of event filter entry, or NULL |
Definition at line 16872 of file var.c.
References SCIP_Var::eventfilter, SCIP_Var::name, NULL, SCIP_Var::scip, SCIP_CALL, SCIP_EVENTTYPE_VARCHANGED, SCIP_OKAY, SCIPdebugMessage, SCIPeventfilterAdd(), and SCIPvarIsTransformed().
Referenced by nlpAddVars(), and SCIPcatchVarEvent().
deletes event handler with given data from variable's event filter
- Parameters
-
| var | problem variable |
| blkmem | block memory |
| set | global SCIP settings |
| eventtype | event type mask of dropped event |
| eventhdlr | event handler to call for the event processing |
| eventdata | event data to pass to the event handler for the event processing |
| filterpos | position of event filter entry returned by SCIPvarCatchEvent(), or -1 |
Definition at line 16899 of file var.c.
References SCIP_Var::eventfilter, SCIP_Var::name, NULL, SCIP_Var::scip, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPeventfilterDel(), and SCIPvarIsTransformed().
Referenced by nlpDelVarPos(), and SCIPdropVarEvent().
returns the variable's VSIDS score
- Parameters
-
| var | problem variable |
| stat | problem statistics |
| dir | branching direction (downwards, or upwards) |
Definition at line 16857 of file var.c.
References SCIP_Var::history, NULL, SCIP_VARSTATUS_COLUMN, SCIP_VARSTATUS_LOOSE, SCIPhistoryGetVSIDS(), SCIPvarGetStatus(), SCIPvarGetVSIDS_rec(), and SCIP_Stat::vsidsweight.
Referenced by SCIPgetVarConflictScore(), SCIPgetVarVSIDS(), and SCIPvarGetVSIDS_rec().
| SCIP_DECL_HASHGETKEY |
( |
SCIPhashGetKeyVar |
| ) |
|
|
