Pseudo 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.h.
|SCIP_EXPORT SCIP_RETCODE||SCIPincludePropPseudoobj (SCIP *scip)|
|SCIP_EXPORT SCIP_RETCODE||SCIPpropagateCutoffboundVar (SCIP *scip, SCIP_PROP *prop, SCIP_VAR *var, SCIP_Real cutoffbound, SCIP_Real pseudoobjval, SCIP_Bool *tightened)|