SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
Detailed DescriptionPseudo objective propagator. This propagator propagates the objective function using the cutoff bound and the pseudo objective value. The pseudo objective value can be seen as minimum activity of the linear objective function. Using this, this propagator checks if variables with non-zero objective coefficients can exceed the cutoff bound. If this is the case the corresponding bound can be tightened. Definition in file prop_pseudoobj.c. Go to the source code of this file.
Macro Definition Documentation
Definition at line 37 of file prop_pseudoobj.c.
Definition at line 38 of file prop_pseudoobj.c.
Definition at line 39 of file prop_pseudoobj.c.
propagator priority Definition at line 40 of file prop_pseudoobj.c.
propagator frequency Definition at line 41 of file prop_pseudoobj.c.
should propagation method be delayed, if other propagators found reductions? Definition at line 42 of file prop_pseudoobj.c.
priority of the presolving method (>= 0: before, < 0: after constraint handlers); combined with presolvers Definition at line 43 of file prop_pseudoobj.c.
maximal number of presolving rounds the presolver participates in (-1: no limit) Definition at line 44 of file prop_pseudoobj.c.
Definition at line 47 of file prop_pseudoobj.c.
Definition at line 49 of file prop_pseudoobj.c.
Definition at line 50 of file prop_pseudoobj.c.
minimal number of successive none binary variable propagator whithout a bound reduction before aborted Definition at line 52 of file prop_pseudoobj.c.
maximal fraction of none binary variables with non-zero objective without a bound reduction before aborted Definition at line 55 of file prop_pseudoobj.c.
do we want to propagate all non-binary variables if we are propagating the root node? Definition at line 58 of file prop_pseudoobj.c.
propagate new cutoff bound directly globally Definition at line 59 of file prop_pseudoobj.c.
should the propagator be forced even if active pricer are present? Note that can be done if it is known that the pseudo objective activity is given by the zero bound for all variables which are currently not present in the problem Definition at line 60 of file prop_pseudoobj.c.
number of variable added after the propagator is reinitialized? Definition at line 67 of file prop_pseudoobj.c.
use implications to strengthen the propagation of binary variable (increasing the objective change)? Definition at line 68 of file prop_pseudoobj.c.
use implications to strengthen the resolve propagation of binary variable (increasing the objective change)? Definition at line 69 of file prop_pseudoobj.c.
maximum number of binary variables the implications are used if turned on (-1: unlimited)? Definition at line 70 of file prop_pseudoobj.c.
Definition at line 802 of file prop_pseudoobj.c. Referenced by collectMinactImplicVars(), and getMaxactImplicObjchg(). Typedef Documentation
implications in the form x == 0 or x == 1 ==> y == 0 or y == 1 for (x and y binary) Definition at line 87 of file prop_pseudoobj.c. Function Documentationcheck that the implications are applied for a globally fixed variable
Definition at line 137 of file prop_pseudoobj.c.
check if the global fixed indices are correct
Definition at line 184 of file prop_pseudoobj.c. References NULL, SCIP_DECL_SORTPTRCOMP(), SCIPvarGetLbGlobal(), and SCIPvarGetUbGlobal(). Referenced by propagateCutoffboundBinvars(), propagateCutoffboundGlobally(), and resolvePropagation().
compares objective implications w.r.t. their maximum contribution Definition at line 216 of file prop_pseudoobj.c. Referenced by checkGlbfirstnonfixed().
compare variables w.r.t. (i) the absolute value the objective coefficient; (ii) the locks which indicate most effect – for the variables with a positive (negative) objective coefficient the down (up) lock is used since this lock indicates that tightened of the upper (lower) bound will triegger further domain propagations; (iii) the other locks; (iv) variable problem index; Definition at line 242 of file prop_pseudoobj.c.
hash key retrieval function for cliques Definition at line 299 of file prop_pseudoobj.c.
returns TRUE iff the cliques are equal Definition at line 306 of file prop_pseudoobj.c. References SCIPcliqueGetId().
returns the hash value of the key Definition at line 315 of file prop_pseudoobj.c.
creates an objective implication data structure, fixes (globally) variables which are implied by lower and upper bound fixing, and clears the collected arrays for lower and upper bound
Definition at line 329 of file prop_pseudoobj.c. References FALSE, MAX, SCIP_ObjImplics::nlbimpls, SCIP_ObjImplics::nubimpls, NULL, objimplicsFree(), SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_CALL, SCIP_OKAY, SCIPallocBlockMemory, SCIPallocBlockMemoryArray, SCIPcaptureVar(), SCIPdebugMessage, SCIPhashmapExists(), SCIPhashmapGetImage(), SCIPisNegative(), SCIPisZero(), SCIPtightenVarLbGlobal(), SCIPtightenVarUbGlobal(), SCIPvarGetBestBoundType(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetUbGlobal(), and SCIPvarIsBinary(). Referenced by collectMinactVar().
frees an objective implication data structure
Definition at line 463 of file prop_pseudoobj.c. Referenced by objimplicsCreate().
remove the given variable at the given pos from the objective implication data structure
Definition at line 491 of file prop_pseudoobj.c. Referenced by getMinactImplicObjchg().
catch bound change events if the variable has a non-zero objective coefficient to check if the maximum activity of the objective function changed
Definition at line 542 of file prop_pseudoobj.c. References dropObjEvent(), NULL, SCIP_CALL, SCIP_EVENTTYPE_GLBCHANGED, SCIP_EVENTTYPE_GUBCHANGED, SCIP_OKAY, SCIP_Real, SCIPcatchVarEvent(), SCIPisZero(), and SCIPvarGetObj().
drop variable event w.r.t. objective coefficient
Definition at line 573 of file prop_pseudoobj.c. References dropVarEvents(), NULL, SCIP_CALL, SCIP_EVENTTYPE_GLBCHANGED, SCIP_EVENTTYPE_GUBCHANGED, SCIP_OKAY, SCIP_Real, SCIPdropVarEvent(), SCIPisZero(), and SCIPvarGetObj(). Referenced by catchObjEvent().
drop all variable events
Definition at line 604 of file prop_pseudoobj.c. Referenced by dropObjEvent().
reset propagatore data structure
Definition at line 667 of file prop_pseudoobj.c.
free propagator data
Definition at line 697 of file prop_pseudoobj.c. Referenced by SCIP_DECL_PROPEXEC(), and SCIP_DECL_PROPEXITSOL().
returns the objective change for the given binary variable
Definition at line 733 of file prop_pseudoobj.c. Referenced by adjustCutoffbound(), collectMinactObjchg(), collectMinactVar(), getMaxactObjchg(), and getMinactObjchg().
returns the objective change provided by the implication variable by fixing it to the given bound w.r.t. minimum activity of the objective function; additionally it collects all contributors for that objective change;
Definition at line 752 of file prop_pseudoobj.c. References NULL, REALABS, SCIP_Real, SCIPhashmapExists(), SCIPhashmapGetImage(), SCIPisZero(), SCIPvarGetLbGlobal(), SCIPvarGetObj(), SCIPvarGetUbGlobal(), and TRUE. Referenced by collectMinactImplicVars().
returns the objective change provided by the implications of the given variable by fixing it to the given bound w.r.t. minimum activity of the objective function; additionally it collects all contributors for that objective change; Let I(0) and I(1) be all implications of the given variable which follow by fixing it to given bound and evaluate to fixing the implication variable to zero (I(0)) or one (I(1)), respectively. The objective change provided by the implications are:
Definition at line 819 of file prop_pseudoobj.c. References collectMinactImplicVar(), FALSE, getMinactImplicObjchg(), MAX_CLIQUELENGTH, NULL, SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPcliqueGetNVars(), SCIPcliqueGetValues(), SCIPcliqueGetVars(), SCIPhashtableExists(), SCIPhashtableInsert(), SCIPisZero(), SCIPvarGetBestBoundType(), SCIPvarGetCliques(), SCIPvarGetLbGlobal(), SCIPvarGetNCliques(), SCIPvarGetObj(), SCIPvarGetUbGlobal(), SCIPvarIsBinary(), and TRUE. Referenced by collectMinactObjchg().
returns the objective change provided by the implications of the given variable by fixing it to the given bound w.r.t. minimum activity of the objective function Let I(0) and I(1) be all implications of the given variable which follow by fixing it to given bound and evaluate to fixing the implication variable to zero (I(0)) or one (I(1)), respectively. The objective change provided by the implications are:
This can be done w.r.t. global variable bounds (local == FALSE), w.r.t. local variable bounds (local == TRUE && bdchgidx == NULL), and w.r.t. given time stamp (local == TRUE && bdchgidx != NULL)
Definition at line 945 of file prop_pseudoobj.c. References collectMinactObjchg(), FALSE, SCIP_ObjImplics::nlbimpls, SCIP_ObjImplics::nubimpls, NULL, objimplicsDelPos(), SCIP_ObjImplics::objvars, REALABS, SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIPisZero(), SCIPvarGetLbAtIndex(), SCIPvarGetLbGlobal(), SCIPvarGetObj(), SCIPvarGetUbAtIndex(), SCIPvarGetUbGlobal(), SCIPvarIsBinary(), SCIPvarsHaveCommonClique(), and TRUE. Referenced by collectMinactImplicVars(), and getMinactObjchg().
computes for the given binary variable the objective contribution by fixing it to given bound w.r.t. minimum activity of the objective function; additionally it collects all contributors for that objective change;
Definition at line 1030 of file prop_pseudoobj.c. References collectMinactImplicVars(), getMinactObjchg(), getVarObjchg(), NULL, SCIP_CALL, SCIP_OKAY, SCIPvarGetBestBoundType(), and SCIPvarIsBinary(). Referenced by collectMinactVar(), and getMinactImplicObjchg().
computes for the given binary variable the objective contribution by fixing it to given bound w.r.t. minimum activity of the objective function; this can be done w.r.t. global variable bounds (local == FALSE), w.r.t. local variable bounds (local == TRUE && bdchgidx == NULL), and w.r.t. given time stamp (local == TRUE && bdchgidx != NULL)
Definition at line 1063 of file prop_pseudoobj.c. References getMaxactImplicObjchg(), getMinactImplicObjchg(), getVarObjchg(), SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPvarGetBestBoundType(), and SCIPvarIsBinary(). Referenced by collectMinactObjchg(), and propagateCutoffboundBinvar().
returns the global (that means w.r.t. global bounds of the variables) objective change provided by all cliques of the given variable by fixing it to the given bound w.r.t. maximum activity of the objective function Let I(0) and I(1) be all implications of the given variable which follow by fixing it to given bound and evaluate to fixing the implication variable to zero (I(0)) or one (I(1)), respectively. The objective change provided by these implications are:
Definition at line 1099 of file prop_pseudoobj.c. References BMSclearMemoryArray, FALSE, getMaxactObjchg(), MAX_CLIQUELENGTH, NULL, SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPallocBufferArray, SCIPcliqueGetNVars(), SCIPcliqueGetValues(), SCIPcliqueGetVars(), SCIPdebugMessage, SCIPfreeBufferArray, SCIPgetNContVars(), SCIPgetNVars(), SCIPgetVars(), SCIPisFeasGT(), SCIPisFeasLT(), SCIPisTransformed(), SCIPisZero(), SCIPvarGetCliques(), SCIPvarGetImplBounds(), SCIPvarGetImplTypes(), SCIPvarGetImplVars(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetNCliques(), SCIPvarGetNImpls(), SCIPvarGetObj(), SCIPvarGetProbindex(), SCIPvarGetUbGlobal(), SCIPvarGetUbLocal(), SCIPvarGetWorstBoundType(), SCIPvarIsActive(), SCIPvarIsBinary(), and TRUE. Referenced by getMaxactObjchg(), and getMinactObjchg().
computes for the given binary variable the gloabl (that means w.r.t. global bounds of the variables) objective contribution by fixing it to given bound w.r.t. maximum activity of the objective function
Definition at line 1289 of file prop_pseudoobj.c. References getMaxactImplicObjchg(), getVarObjchg(), NULL, resetContributors(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPvarGetWorstBoundType(), and SCIPvarIsBinary(). Referenced by collectMaxactVar(), getMaxactImplicObjchg(), and propagateLowerboundBinvar().
reset variables array which marks variables which are collected
Definition at line 1318 of file prop_pseudoobj.c. References collectMinactVar(), FALSE, NULL, SCIP_Bool, SCIPhashmapExists(), and SCIPhashmapGetImage(). Referenced by collectMinactVar(), and getMaxactObjchg().
check if the given variable should be collected for the minimum activity propagation
Definition at line 1343 of file prop_pseudoobj.c. References collectMaxactVar(), collectMinactObjchg(), FALSE, getVarObjchg(), NULL, objimplicsCreate(), resetContributors(), SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPisNegative(), SCIPisZero(), SCIPvarGetBestBoundType(), SCIPvarGetName(), SCIPvarGetNCliques(), SCIPvarGetObj(), and TRUE. Referenced by resetContributors().
check if the given variable should be collected for the maximum activity propagation
Definition at line 1459 of file prop_pseudoobj.c. References FALSE, getMaxactObjchg(), MIN, NULL, propdataInit(), SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPisPositive(), SCIPisZero(), SCIPvarIsBinary(), and TRUE. Referenced by collectMinactVar().
initializate the propagator
Definition at line 1496 of file prop_pseudoobj.c. Referenced by collectMaxactVar(), and SCIP_DECL_PROPEXEC().
adds for the given none binary variable a conflict bound depending on its objective contribution
Definition at line 1801 of file prop_pseudoobj.c. References FALSE, getConflictImplics(), SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPaddConflictLb(), SCIPaddConflictUb(), SCIPdebugMessage, SCIPisFeasGE(), SCIPisFeasLE(), SCIPisGT(), SCIPisLT(), SCIPisZero(), SCIPvarGetLbAtIndex(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetUbAtIndex(), and SCIPvarGetUbGlobal(). Referenced by resolvePropagation().
check for the given implication variables of they also contribute to the required minimum activity
Definition at line 1861 of file prop_pseudoobj.c. References addConflictBinvar(), FALSE, NULL, REALABS, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPhashtableExists(), SCIPhashtableInsert(), SCIPvarGetLbAtIndex(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetUbAtIndex(), SCIPvarIsBinary(), and TRUE. Referenced by addConflictBinvar(), addConflictBounds(), and adjustCutoffbound().
adds for the given binary variable a conflict bound depending on its objective contribution
Definition at line 1905 of file prop_pseudoobj.c. References adjustCutoffbound(), FALSE, getConflictImplics(), MAX, MIN, SCIP_ObjImplics::nlbimpls, SCIP_ObjImplics::nubimpls, NULL, SCIP_ObjImplics::objvars, SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPaddConflictLb(), SCIPaddConflictUb(), SCIPdebugMessage, SCIPhashtableExists(), SCIPhashtableInsert(), SCIPisNegative(), SCIPisPositive(), SCIPvarGetLbAtIndex(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetObj(), SCIPvarGetUbAtIndex(), SCIPvarGetUbGlobal(), and SCIPvarIsBinary(). Referenced by getConflictImplics(), and resolvePropagation().
resolves a propagation by supplying the variables whose bound changes increased the pseudo objective value above the cutoff bound
Definition at line 1991 of file prop_pseudoobj.c. References FALSE, getConflictImplics(), getVarObjchg(), SCIP_ObjImplics::nlbimpls, SCIP_ObjImplics::nubimpls, NULL, SCIP_ObjImplics::objvars, resolvePropagation(), SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPfeastol(), SCIPisEQ(), SCIPisNegative(), SCIPisZero(), SCIPvarGetBestBoundType(), SCIPvarGetLbAtIndex(), SCIPvarGetLbGlobal(), SCIPvarGetObj(), SCIPvarGetUbAtIndex(), SCIPvarGetUbGlobal(), SCIPvarIsBinary(), SCIPvarIsIntegral(), and TRUE. Referenced by addConflictBinvar(), and resolvePropagation().
resolves a propagation by supplying the variables whose bound changes increased the pseudo objective value above the cutoff bound
Definition at line 2085 of file prop_pseudoobj.c. References addConflictBinvar(), addConflictBounds(), adjustCutoffbound(), checkGlbfirstnonfixed(), FALSE, NULL, propagateCutoffboundVar(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPgetGlobalPseudoObjval(), SCIPhashtableExists(), SCIPhashtableRemoveAll(), SCIPisInfinity(), SCIPisPositive(), SCIPisZero(), SCIPvarGetObj(), and TRUE. Referenced by adjustCutoffbound(), and propagateCutoffboundBinvar().
propagates the given variable against the cutoff bound
Definition at line 2231 of file prop_pseudoobj.c. References FALSE, NULL, propagateCutoffboundBinvar(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPinferVarLbProp(), SCIPinferVarUbProp(), SCIPisFeasEQ(), SCIPisInfinity(), SCIPisLT(), SCIPisZero(), SCIPtightenVarLbGlobal(), SCIPtightenVarUbGlobal(), SCIPvarGetLbGlobal(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbGlobal(), and SCIPvarGetUbLocal(). Referenced by propagateCutoffboundBinvar(), propagateCutoffboundGlobally(), resolvePropagation(), and SCIPpropagateCutoffboundVar().
propagates the given binary variable against the cutoff bound
Definition at line 2333 of file prop_pseudoobj.c. References FALSE, getMinactObjchg(), NULL, propagateCutoffboundGlobally(), propagateCutoffboundVar(), resolvePropagation(), SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPanalyzeConflict(), SCIPgetDepth(), SCIPinitConflictAnalysis(), SCIPisConflictAnalysisApplicable(), SCIPisFeasLT(), SCIPisNegative(), SCIPisZero(), SCIPpropGetData(), SCIPvarIsBinary(), and TRUE. Referenced by propagateCutoffboundBinvars(), propagateCutoffboundGlobally(), and propagateCutoffboundVar().
globally propagates if a new cutoff bound or global pseudo objective value (minimum activity of the objective function) is available
Definition at line 2417 of file prop_pseudoobj.c. References checkGlbfirstnonfixed(), FALSE, MAX, NULL, propagateCutoffboundBinvar(), propagateCutoffboundBinvars(), propagateCutoffboundVar(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPdebugMessage, SCIPgetDepth(), SCIPgetGlobalPseudoObjval(), SCIPisGE(), SCIPisInfinity(), SCIPisZero(), SCIPpropGetData(), SCIPvarGetLbGlobal(), SCIPvarGetObj(), SCIPvarGetUbGlobal(), and TRUE. Referenced by propagateCutoffboundBinvar().
propagates the cutoff bound for binary variables (c*x <= cutoff)
Definition at line 2574 of file prop_pseudoobj.c. References checkGlbfirstnonfixed(), FALSE, NULL, propagateCutoffbound(), propagateCutoffboundBinvar(), SCIP_Bool, SCIP_CALL, SCIP_OKAY, SCIPdebugMessage, SCIPpropGetData(), SCIPvarGetLbLocal(), SCIPvarGetUbLocal(), and TRUE. Referenced by propagateCutoffboundGlobally().
propagates the cutoff bound c*x <= cutoff
Definition at line 2707 of file prop_pseudoobj.c. Referenced by propagateCutoffboundBinvars(), and SCIP_DECL_PROPEXEC().
recalculates the maximum objective pseudoactivity
Definition at line 2903 of file prop_pseudoobj.c.
updates the pseudo objective activity if necessary
Definition at line 2953 of file prop_pseudoobj.c.
returns the residual pseudo objective activity without the given value
Definition at line 2968 of file prop_pseudoobj.c.
returns the residual pseudo objective activity
Definition at line 3006 of file prop_pseudoobj.c. Referenced by propagateLowerboundVar().
returns the maximum pseudo objective activity of the objective function
Definition at line 3040 of file prop_pseudoobj.c.
propagates the global domain of the given binary variable against the lower bound (c*x >= lowerbound)
Definition at line 3050 of file prop_pseudoobj.c. References FALSE, getMaxactObjchg(), propagateLowerboundVar(), SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPisFeasLT(), SCIPisInfinity(), SCIPisLE(), SCIPisPositive(), SCIPtightenVarLbGlobal(), SCIPvarIsBinary(), and TRUE.
propagates the global domains of the given variable with non-zero objective coefficient against the lower bound (c*x >= lowerbound)
Definition at line 3108 of file prop_pseudoobj.c. References FALSE, getMaxObjPseudoactivityResidual(), propagateLowerbound(), SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPisFeasGT(), SCIPisFeasLT(), SCIPisInfinity(), SCIPisZero(), SCIPtightenVarLbGlobal(), SCIPtightenVarUbGlobal(), SCIPvarGetLbGlobal(), SCIPvarGetObj(), SCIPvarGetUbGlobal(), SCIPvarIsIntegral(), and TRUE. Referenced by propagateLowerboundBinvar().
propagates the global lower (dual) bound c*x >= lowerbound
Definition at line 3173 of file prop_pseudoobj.c. Referenced by propagateLowerboundVar(), and SCIP_DECL_PROPEXEC().
copy method for propagator plugins (called when SCIP copies plugins) Definition at line 3374 of file prop_pseudoobj.c.
destructor of propagator to free user data (called when SCIP is exiting) Definition at line 3388 of file prop_pseudoobj.c.
solving process initialization method of propagator (called when branch and bound process is about to begin) Definition at line 3403 of file prop_pseudoobj.c. References NULL, SCIP_CALL, SCIP_DECL_PROPEXITSOL(), SCIP_EVENTTYPE_VARADDED, SCIP_OKAY, SCIPcatchEvent(), SCIPpropGetData(), and TRUE.
solving process deinitialization method of propagator (called before branch and bound process data is freed) Definition at line 3427 of file prop_pseudoobj.c. References FALSE, propdataExit(), SCIP_CALL, SCIP_DECL_PROPPRESOL(), SCIP_EVENTTYPE_VARADDED, SCIP_OKAY, SCIP_Real, and SCIPdropEvent(). Referenced by SCIP_DECL_PROPINITSOL().
presolving method of propagator Definition at line 3450 of file prop_pseudoobj.c. Referenced by SCIP_DECL_PROPEXITSOL().
execution method of propagator Definition at line 3534 of file prop_pseudoobj.c. References propagateCutoffbound(), propagateLowerbound(), propdataExit(), propdataInit(), SCIP_CALL, SCIP_CUTOFF, SCIP_DECL_PROPRESPROP(), SCIP_OKAY, SCIP_Real, SCIP_REDUCEDDOM, SCIP_STAGE_SOLVING, SCIPgetStage(), SCIPisEQ(), SCIPvarGetLbGlobal(), and SCIPvarGetUbGlobal().
propagation conflict resolving method of propagator Definition at line 3590 of file prop_pseudoobj.c. Referenced by SCIP_DECL_PROPEXEC().
execution method of bound change event handler Definition at line 3623 of file prop_pseudoobj.c.
creates the pseudo objective function propagator and includes it in SCIP
Definition at line 3665 of file prop_pseudoobj.c. Referenced by SCIPincludeDefaultPlugins().
propagates the cutoff bound for the given variables
Definition at line 3754 of file prop_pseudoobj.c. References propagateCutoffboundVar(), SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIPvarGetObj(), and TRUE. |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
![\[ \displaystyle sum_{x\in I(1)} (1 - \mbox{bestbound}(x)) \cdot \mbox{objval}(x) - sum_{x\in I(1)} \mbox{bestbound}(x) \cdot \mbox{objval}(x) = sum_{x\in I(0) \cup I(1)} (\mbox{impliedbound}(x) - \mbox{bestbound}(x)) \cdot \mbox{objval}(x) \]](form_462.png)
![\[ \displaystyle sum_{x\in I(1)} (1 - \mbox{worstbound}(x)) \cdot \mbox{objval}(x) - sum_{x\in I(1)} \mbox{worst}(x) \cdot \mbox{objval}(x) = sum_{x\in I(0) \cup I(1)} (\mbox{impliedbound}(x) - \mbox{worstbound}(x)) \cdot \mbox{objval}(x) \]](form_463.png)