Scippy

SCIP

Solving Constraint Integer Programs

Functions
presol_boundshift.h File Reference
Presolvers

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/scip.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludePresolBoundshift (SCIP *scip)
 

Function Documentation

SCIP_RETCODE SCIPincludePresolBoundshift ( SCIP *  scip)

creates the boundshift presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 239 of file presol_boundshift.c.

References DEFAULT_FLIPPING, DEFAULT_INTEGER, DEFAULT_MAXSHIFT, initPresoldata(), NULL, PRESOL_DELAY, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, SCIP_CALL, SCIP_LONGINT_MAX, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddLongintParam(), SCIPallocMemory, SCIPincludePresolBasic(), SCIPsetPresolCopy(), SCIPsetPresolFree(), and TRUE.

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().