presol_boundshift.h File Reference
Detailed Description
presolver that converts integer variables with domain [a,b] to integer variables with domain [0,b-a]
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.
Go to the source code of this file.
Functions | |
SCIP_RETCODE | SCIPincludePresolBoundshift (SCIP *scip) |