Scippy

SCIP

Solving Constraint Integer Programs

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

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