presol_inttobinary.c File Reference

Detailed Description

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

Author

Tobias Achterberg

Definition in file presol_inttobinary.c.

#include "blockmemshell/memory.h"
#include "scip/debug.h"
#include "scip/presol_inttobinary.h"
#include "scip/pub_message.h"
#include "scip/pub_misc.h"
#include "scip/pub_presol.h"
#include "scip/pub_var.h"
#include "scip/scip_mem.h"
#include "scip/scip_message.h"
#include "scip/scip_numerics.h"
#include "scip/scip_presol.h"
#include "scip/scip_prob.h"
#include "scip/scip_var.h"
#include <string.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

PRESOL_NAME

#define PRESOL_NAME   "inttobinary"

Definition at line 48 of file presol_inttobinary.c.

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludePresolInttobinary().

PRESOL_DESC

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

Definition at line 49 of file presol_inttobinary.c.

Referenced by SCIPincludePresolInttobinary().

PRESOL_PRIORITY

#define PRESOL_PRIORITY   +7000000

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

Definition at line 50 of file presol_inttobinary.c.

Referenced by SCIPincludePresolInttobinary().

PRESOL_MAXROUNDS

#define PRESOL_MAXROUNDS   -1

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

Definition at line 51 of file presol_inttobinary.c.

Referenced by SCIPincludePresolInttobinary().

PRESOL_TIMING

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

Definition at line 52 of file presol_inttobinary.c.

Referenced by SCIPincludePresolInttobinary().

Function Documentation

SCIP_DECL_PRESOLCOPY()

static SCIP_DECL_PRESOLCOPY ( presolCopyInttobinary  )

static

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

Definition at line 60 of file presol_inttobinary.c.

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

SCIP_DECL_PRESOLEXEC()

static SCIP_DECL_PRESOLEXEC ( presolExecInttobinary  )

static

presolving execution method

Definition at line 75 of file presol_inttobinary.c.

References NULL, REALABS, 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(), SCIPdebugAddSolVal, SCIPdebugGetSolVal, SCIPdebugMsg, SCIPdebugSolIsEnabled, SCIPdoNotAggr(), SCIPduplicateBufferArray, SCIPfeastol(), SCIPfreeBufferArray, SCIPgetNBinVars(), SCIPgetNIntVars(), SCIPgetVars(), SCIPisEQ(), SCIPisHugeValue(), SCIPreleaseVar(), SCIPsnprintf(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetType(), SCIPvarGetUbGlobal(), SCIPvarIsInitial(), and SCIPvarIsRemovable().