Scippy

SCIP

Solving Constraint Integer Programs

presol_inttobinary.h File Reference

Detailed Description

presolver that converts integer variables with domain [a,a+1] to binaries

Author
Tobias Achterberg

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

\[ x = y + a \]

Definition in file presol_inttobinary.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludePresolInttobinary (SCIP *scip)
 

Function Documentation

SCIP_RETCODE SCIPincludePresolInttobinary ( SCIP scip)

creates the inttobinary presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 154 of file presol_inttobinary.c.

References NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_OKAY, SCIPincludePresolBasic(), and SCIPsetPresolCopy().

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludeDefaultPlugins().