Scippy

SCIP

Solving Constraint Integer Programs

prop_pseudoobj.h File Reference

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/scip.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)
 

Function Documentation

SCIP_RETCODE SCIPincludePropPseudoobj ( SCIP scip)

creates the pseudo objective function propagator and includes it in SCIP

Parameters
scipSCIP data structure
SCIP_RETCODE SCIPpropagateCutoffboundVar ( SCIP scip,
SCIP_PROP prop,
SCIP_VAR var,
SCIP_Real  cutoffbound,
SCIP_Real  pseudoobjval,
SCIP_Bool tightened 
)

propagates the cutoff bound for the given variables

Parameters
scipSCIP data structure
proppropagator, or NULL
varvariables to propagate
cutoffboundcutoff bound to use
pseudoobjvalpseudo objective value to use
tightenedpointer to if the domain was tightened