Scippy

SCIP

Solving Constraint Integer Programs

All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages

Detailed Description

presolver that converts integer variables to binaries

Author: Michael Winkler

Converts integer variables at the beginning of Presolving into their binary representation. If necessary adds a bounding knapsack constraint.

Definition in file presol_convertinttobin.c.

#include <assert.h>
#include <string.h>
#include "scip/presol_convertinttobin.h"
#include "scip/cons_knapsack.h"
#include "scip/pub_misc.h"

Go to the source code of this file.

Macros
#define	PRESOL_NAME "convertinttobin"

#define	PRESOL_DESC "converts integer variables to binaries"

#define	PRESOL_PRIORITY +6000000

#define	PRESOL_MAXROUNDS 0

#define	PRESOL_DELAY FALSE

#define	DEFAULT_MAXDOMAINSIZE SCIP_LONGINT_MAX

#define	DEFAULT_ONLYPOWERSOFTWO FALSE

#define	DEFAULT_SAMELOCKSINBOTHDIRECTIONS FALSE

Functions
static	SCIP_DECL_PRESOLCOPY (presolCopyConvertinttobin)

static	SCIP_DECL_PRESOLFREE (presolFreeConvertinttobin)

static	SCIP_DECL_PRESOLEXEC (presolExecConvertinttobin)

SCIP_RETCODE	SCIPincludePresolConvertinttobin (SCIP *scip)

Macro Definition Documentation

#define PRESOL_NAME "convertinttobin"

Definition at line 36 of file presol_convertinttobin.c.

Referenced by SCIP_DECL_PRESOLCOPY(), SCIP_DECL_PRESOLEXEC(), and SCIPincludePresolConvertinttobin().

#define PRESOL_DESC "converts integer variables to binaries"

Definition at line 37 of file presol_convertinttobin.c.

Referenced by SCIPincludePresolConvertinttobin().

#define PRESOL_PRIORITY +6000000

priority of the presolver (>= 0: before, < 0: after constraint handlers)

Definition at line 38 of file presol_convertinttobin.c.

Referenced by SCIPincludePresolConvertinttobin().

#define PRESOL_MAXROUNDS 0

maximal number of presolving rounds the presolver participates in (-1: no limit)

Definition at line 39 of file presol_convertinttobin.c.

Referenced by SCIPincludePresolConvertinttobin().

#define PRESOL_DELAY FALSE

should presolver be delayed, if other presolvers found reductions?

Definition at line 41 of file presol_convertinttobin.c.

Referenced by SCIPincludePresolConvertinttobin().

#define DEFAULT_MAXDOMAINSIZE SCIP_LONGINT_MAX

absolute value of maximum domain size which will be converted

Definition at line 43 of file presol_convertinttobin.c.

Referenced by SCIPincludePresolConvertinttobin().

#define DEFAULT_ONLYPOWERSOFTWO FALSE

should only integer variables with a domain size of 2^p - 1 be converted(, there we don't need an knapsack-constraint)

Definition at line 44 of file presol_convertinttobin.c.

Referenced by SCIPincludePresolConvertinttobin().

#define DEFAULT_SAMELOCKSINBOTHDIRECTIONS FALSE

should only integer variables with uplocks equals downlocks be converted

Definition at line 46 of file presol_convertinttobin.c.

Referenced by SCIPincludePresolConvertinttobin().

Function Documentation

static SCIP_DECL_PRESOLCOPY ( presolCopyConvertinttobin )

static

copy method for constraint handler plugins (called when SCIP copies plugins)

Definition at line 62 of file presol_convertinttobin.c.

References NULL, PRESOL_NAME, SCIP_CALL, SCIP_OKAY, SCIPincludePresolConvertinttobin(), and SCIPpresolGetName().

static SCIP_DECL_PRESOLFREE ( presolFreeConvertinttobin )

static

destructor of presolver to free user data (called when SCIP is exiting)

Definition at line 76 of file presol_convertinttobin.c.

References NULL, SCIP_OKAY, SCIPfreeMemory, SCIPpresolGetData(), and SCIPpresolSetData().

static SCIP_DECL_PRESOLEXEC ( presolExecConvertinttobin )

static

presolving execution method

Definition at line 92 of file presol_convertinttobin.c.

References FALSE, log(), NULL, pow(), PRESOL_NAME, SCIP_Bool, SCIP_CALL, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_Longint, SCIP_LONGINT_MAX, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIP_SUCCESS, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_INTEGER, SCIPaddCons(), SCIPaddVar(), SCIPallocBufferArray, SCIPceil(), SCIPcreateConsKnapsack(), SCIPcreateVar(), SCIPdebugMessage, SCIPdebugPrintCons, SCIPdoNotMultaggrVar(), SCIPduplicateBufferArray, SCIPfloor(), SCIPfreeBufferArray, SCIPgetNBinVars(), SCIPgetNIntVars(), SCIPgetVars(), SCIPisInfinity(), SCIPisIntegral(), SCIPmultiaggregateVar(), SCIPpresolGetData(), SCIPpresolGetName(), SCIPreleaseCons(), SCIPreleaseVar(), SCIPsnprintf(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetNLocksDown(), SCIPvarGetNLocksUp(), SCIPvarGetType(), SCIPvarGetUbGlobal(), SCIPvarIsInitial(), SCIPvarIsRemovable(), and TRUE.

SCIP_RETCODE SCIPincludePresolConvertinttobin ( SCIP * scip )

creates the convertinttobin presolver and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 295 of file presol_convertinttobin.c.

References DEFAULT_MAXDOMAINSIZE, DEFAULT_ONLYPOWERSOFTWO, DEFAULT_SAMELOCKSINBOTHDIRECTIONS, 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().