SCIP
Solving Constraint Integer Programs
Solving Constraint Integer Programs
|
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
presol_boundshift.h File Reference Detailed Descriptionpresolver that converts integer variables with domain [a,b] to integer variables with domain [0,b-a] This presolver converts all integer variables with domain
Definition in file presol_boundshift.h. #include "scip/scip.h"Go to the source code of this file.
Function Documentation
creates the boundshift presolver and includes it in SCIP
|
|||||||||||||||
![$[a,b]$](form_139.png)
to integer variables with domain ![$[0,b-a]$](form_140.png)
. This is done by creating a new integer variable 
which will be aggregated to the old variable 
such that ![\[ x = y + a \]](form_141.png)