presol_implics.c File Reference

Detailed Description

implics presolver

Author

Tobias Achterberg

Definition in file presol_implics.c.

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

Go to the source code of this file.

Macros
#define	PRESOL_NAME   "implics"
#define	PRESOL_DESC   "implication graph aggregator"
#define	PRESOL_PRIORITY   -10000
#define	PRESOL_MAXROUNDS   -1
#define	PRESOL_TIMING   SCIP_PRESOLTIMING_MEDIUM /* timing of the presolver (fast, medium, or exhaustive) */

Functions
static	SCIP_DECL_PRESOLCOPY (presolCopyImplics)
static	SCIP_DECL_PRESOLEXEC (presolExecImplics)
SCIP_RETCODE	SCIPincludePresolImplics (SCIP *scip)

Macro Definition Documentation

PRESOL_NAME

#define PRESOL_NAME   "implics"

Definition at line 29 of file presol_implics.c.

Referenced by SCIP_DECL_PRESOLCOPY(), and SCIPincludePresolImplics().

PRESOL_DESC

#define PRESOL_DESC   "implication graph aggregator"

Definition at line 30 of file presol_implics.c.

Referenced by SCIPincludePresolImplics().

PRESOL_PRIORITY

#define PRESOL_PRIORITY   -10000

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

Definition at line 31 of file presol_implics.c.

Referenced by SCIPincludePresolImplics().

PRESOL_MAXROUNDS

#define PRESOL_MAXROUNDS   -1

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

Definition at line 32 of file presol_implics.c.

Referenced by SCIPincludePresolImplics().

PRESOL_TIMING

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

Definition at line 33 of file presol_implics.c.

Referenced by SCIPincludePresolImplics().

Function Documentation

SCIP_DECL_PRESOLCOPY()

static SCIP_DECL_PRESOLCOPY ( presolCopyImplics  )

static

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

Definition at line 42 of file presol_implics.c.

References PRESOL_NAME, SCIP_CALL, SCIP_OKAY, SCIPincludePresolImplics(), and SCIPpresolGetName().

SCIP_DECL_PRESOLEXEC()

static SCIP_DECL_PRESOLEXEC ( presolExecImplics  )

static

execution method of presolver

Definition at line 57 of file presol_implics.c.

References FALSE, MAX, SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_Real, SCIP_SUCCESS, SCIPaggregateVars(), SCIPdebugMsg, SCIPfreeBufferArrayNull, SCIPgetNBinVars(), SCIPgetVars(), SCIPisEQ(), SCIPreallocBufferArray, SCIPtightenVarLb(), SCIPtightenVarUb(), SCIPvarGetImplBounds(), SCIPvarGetImplTypes(), SCIPvarGetImplVars(), SCIPvarGetIndex(), SCIPvarGetLbGlobal(), SCIPvarGetName(), SCIPvarGetNImpls(), SCIPvarGetUbGlobal(), and SCIPvarIsDeleted().