presol_boundshift.h File Reference

Detailed Description

presolver that converts integer variables with domain [a,b] to integer variables with domain [0,b-a]

Author

Tobias Achterberg

Michael Winkler

This presolver converts all integer variables with domain $[a,b]$ to integer variables with domain $[0,b-a]$. This is done by creating a new integer variable $y$ which will be aggregated to the old variable $x$ such that

$$x = y + a$$

Definition in file presol_boundshift.h.

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

Go to the source code of this file.

Functions
SCIP_EXPORT SCIP_RETCODE	SCIPincludePresolBoundshift (SCIP *scip)