Scippy

SCIP

Solving Constraint Integer Programs

Functions
presol_convertinttobin.h File Reference

Detailed Description

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

Author
Michael Winkler

Definition in file presol_convertinttobin.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludePresolConvertinttobin (SCIP *scip)
 

Function Documentation

SCIP_RETCODE SCIPincludePresolConvertinttobin ( SCIP *  scip)

creates the convertinttobin presolver and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 297 of file presol_convertinttobin.c.

References DEFAULT_MAXDOMAINSIZE, DEFAULT_ONLYPOWERSOFTWO, DEFAULT_SAMELOCKSINBOTHDIRECTIONS, NULL, PRESOL_DESC, PRESOL_MAXROUNDS, PRESOL_NAME, PRESOL_PRIORITY, PRESOL_TIMING, SCIP_CALL, SCIP_LONGINT_MAX, SCIP_OKAY, SCIPaddBoolParam(), SCIPaddLongintParam(), SCIPallocMemory, SCIPincludePresolBasic(), SCIPsetPresolCopy(), SCIPsetPresolFree(), and TRUE.

Referenced by SCIPincludeDefaultPlugins().