Scippy

SCIP

Solving Constraint Integer Programs

Detailed Description

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

Author: Tobias Achterberg

Definition in file presol_inttobinary.c.

#include <assert.h>
#include <string.h>
#include "scip/presol_inttobinary.h"

Go to the source code of this file.

Macros
#define	PRESOL_NAME "inttobinary"

#define	PRESOL_DESC "converts integer variables with domain [a,a+1] to binaries"

#define	PRESOL_PRIORITY +7000000

#define	PRESOL_MAXROUNDS -1

#define	PRESOL_TIMING SCIP_PRESOLTIMING_FAST /* timing of the presolver (fast, medium, or exhaustive) */

Functions
static	SCIP_DECL_PRESOLCOPY (presolCopyInttobinary)

static	SCIP_DECL_PRESOLEXEC (presolExecInttobinary)

SCIP_RETCODE	SCIPincludePresolInttobinary (SCIP *scip)

Macro Definition Documentation

#define PRESOL_NAME "inttobinary"

Definition at line 29 of file presol_inttobinary.c.

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludePresolInttobinary().

#define PRESOL_DESC "converts integer variables with domain [a,a+1] to binaries"

Definition at line 30 of file presol_inttobinary.c.

Referenced by SCIPincludePresolInttobinary().

#define PRESOL_PRIORITY +7000000

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

Definition at line 31 of file presol_inttobinary.c.

Referenced by SCIPincludePresolInttobinary().

#define PRESOL_MAXROUNDS -1

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

Definition at line 32 of file presol_inttobinary.c.

Referenced by SCIPincludePresolInttobinary().

#define PRESOL_TIMING SCIP_PRESOLTIMING_FAST /* timing of the presolver (fast, medium, or exhaustive) */

Definition at line 33 of file presol_inttobinary.c.

Referenced by SCIPincludePresolInttobinary().

Function Documentation

static SCIP_DECL_PRESOLCOPY ( presolCopyInttobinary )

static

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

Definition at line 41 of file presol_inttobinary.c.

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

static SCIP_DECL_PRESOLEXEC ( presolExecInttobinary )

static

presolving execution method

Definition at line 56 of file presol_inttobinary.c.

References NULL, SCIP_Bool, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_DIDNOTRUN, SCIP_MAXSTRLEN, SCIP_OKAY, SCIP_Real, SCIP_SUCCESS, SCIP_VARTYPE_BINARY, SCIP_VARTYPE_INTEGER, SCIPaddVar(), SCIPaggregateVars(), SCIPcreateVar(), SCIPdebugMessage, SCIPdoNotAggr(), SCIPduplicateBufferArray, SCIPfreeBufferArray, SCIPgetNBinVars(), SCIPgetNIntVars(), SCIPgetVars(), SCIPisEQ(), SCIPreleaseVar(), SCIPsnprintf(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetType(), SCIPvarGetUbGlobal(), SCIPvarIsInitial(), and SCIPvarIsRemovable().

SCIP_RETCODE SCIPincludePresolInttobinary ( SCIP * scip )

creates the inttobinary presolver and includes it in SCIP

Parameters

scip	SCIP 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().