Scippy

    SCIP

    Solving Constraint Integer Programs

    Functions
    prop_pseudoobj.h File Reference
    Public API of SCIP » Plugin API of SCIP » Propagators

    Detailed Description

    Pseudo objective propagator.

    Author
    Tobias Achterberg
    Stefan Heinz

    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.

    #include "scip/def.h"
    #include "scip/type_prop.h"
    #include "scip/type_retcode.h"
    #include "scip/type_scip.h"
    #include "scip/type_var.h"

    Go to the source code of this file.

    Functions

    SCIP_RETCODE SCIPincludePropPseudoobj (SCIP *scip)
     
    SCIP_RETCODE SCIPpropagateCutoffboundVar (SCIP *scip, SCIP_PROP *prop, SCIP_VAR *var, SCIP_Real cutoffbound, SCIP_Real pseudoobjval, SCIP_Bool *tightened)