prop_sync.c File Reference

Detailed Description

propagator for applying global bound changes that were communicated by other concurrent solvers

Author

Robert Lion Gottwald

Definition in file prop_sync.c.

#include <assert.h>
#include <string.h>
#include "scip/prop_sync.h"
#include "scip/concurrent.h"
#include "tpi/tpi.h"

Go to the source code of this file.

Macros
#define	PROP_NAME   "sync"
#define	PROP_DESC   "propagator for synchronization of bound changes"
#define	PROP_PRIORITY   (INT_MAX/4)
#define	PROP_FREQ   -1
#define	PROP_DELAY   FALSE
#define	PROP_TIMING   SCIP_PROPTIMING_ALWAYS
#define	PROP_PRESOL_PRIORITY   (INT_MAX/4)
#define	PROP_PRESOLTIMING   SCIP_PRESOLTIMING_ALWAYS /* timing of the presolving method (fast, medium, or exhaustive) */
#define	PROP_PRESOL_MAXROUNDS   -1

Functions
static SCIP_RETCODE	applyBoundChanges (SCIP *scip, SCIP_PROPDATA *data, SCIP_RESULT *result, int *ntightened, int *ntightenedint)
static	SCIP_DECL_PROPFREE (propFreeSync)
static	SCIP_DECL_PROPINIT (propInitSync)
static	SCIP_DECL_PROPEXIT (propExitSync)
static	SCIP_DECL_PROPPRESOL (propPresolSync)
static	SCIP_DECL_PROPEXEC (propExecSync)
SCIP_RETCODE	SCIPincludePropSync (SCIP *scip)
SCIP_RETCODE	SCIPpropSyncAddBndchg (SCIP *scip, SCIP_PROP *prop, SCIP_VAR *var, SCIP_Real val, SCIP_BOUNDTYPE bndtype)
SCIP_Longint	SCIPpropSyncGetNTightenedBnds (SCIP_PROP *prop)
SCIP_Longint	SCIPpropSyncGetNTightenedIntBnds (SCIP_PROP *prop)

Macro Definition Documentation

PROP_NAME

#define PROP_NAME   "sync"

Definition at line 31 of file prop_sync.c.

Referenced by SCIP_DECL_PROPEXEC(), SCIP_DECL_PROPEXIT(), SCIP_DECL_PROPFREE(), SCIP_DECL_PROPINIT(), SCIP_DECL_PROPPRESOL(), SCIPincludePropSync(), and SCIPpropSyncAddBndchg().

PROP_DESC

#define PROP_DESC   "propagator for synchronization of bound changes"

Definition at line 32 of file prop_sync.c.

Referenced by SCIPincludePropSync().

PROP_PRIORITY

#define PROP_PRIORITY   (INT_MAX/4)

propagator priority

Definition at line 33 of file prop_sync.c.

Referenced by SCIPincludePropSync().

PROP_FREQ

#define PROP_FREQ   -1

propagator frequency

Definition at line 34 of file prop_sync.c.

Referenced by SCIPincludePropSync().

PROP_DELAY

#define PROP_DELAY   FALSE

should propagation method be delayed, if other propagators found reductions?

Definition at line 35 of file prop_sync.c.

Referenced by SCIPincludePropSync().

PROP_TIMING

#define PROP_TIMING   SCIP_PROPTIMING_ALWAYS

propagation timing mask

Definition at line 36 of file prop_sync.c.

Referenced by SCIPincludePropSync().

PROP_PRESOL_PRIORITY

#define PROP_PRESOL_PRIORITY   (INT_MAX/4)

priority of the presolving method (>= 0: before, < 0: after constraint handlers); combined with presolvers

Definition at line 38 of file prop_sync.c.

Referenced by SCIPincludePropSync().

PROP_PRESOLTIMING

#define PROP_PRESOLTIMING   SCIP_PRESOLTIMING_ALWAYS /* timing of the presolving method (fast, medium, or exhaustive) */

Definition at line 39 of file prop_sync.c.

Referenced by SCIPincludePropSync().

PROP_PRESOL_MAXROUNDS

#define PROP_PRESOL_MAXROUNDS   -1

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

Definition at line 40 of file prop_sync.c.

Referenced by SCIPincludePropSync().

Function Documentation

applyBoundChanges()

static SCIP_RETCODE applyBoundChanges ( SCIP *  scip, SCIP_PROPDATA *  data, SCIP_RESULT *  result, int *  ntightened, int *  ntightenedint  )

static

Definition at line 68 of file prop_sync.c.

References FALSE, SCIP_Bool, SCIP_BOUNDTYPE_LOWER, SCIP_BOUNDTYPE_UPPER, SCIP_CALL, SCIP_CUTOFF, SCIP_DECL_PROPFREE(), SCIP_DIDNOTFIND, SCIP_OKAY, SCIP_VARSTATUS_MULTAGGR, SCIP_VARTYPE_INTEGER, SCIP_VERBLEVEL_FULL, SCIPdisableConcurrentBoundStorage(), SCIPenableConcurrentBoundStorage(), SCIPtightenVarLbGlobal(), SCIPtightenVarUbGlobal(), SCIPtpiGetThreadNum(), SCIPvarGetProbvarBound(), SCIPvarGetStatus(), SCIPvarGetType(), and SCIPverbMessage().

Referenced by SCIP_DECL_PROPEXEC(), and SCIP_DECL_PROPPRESOL().

SCIP_DECL_PROPFREE()

static SCIP_DECL_PROPFREE ( propFreeSync  )

static

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

Definition at line 135 of file prop_sync.c.

References PROP_NAME, SCIP_DECL_PROPINIT(), SCIP_OKAY, SCIPfreeMemory, SCIPpropGetData(), SCIPpropGetName(), and SCIPpropSetData().

Referenced by applyBoundChanges().

SCIP_DECL_PROPINIT()

static SCIP_DECL_PROPINIT ( propInitSync  )

static

initialization method of propagator (called after problem was transformed)

Definition at line 154 of file prop_sync.c.

References PROP_NAME, SCIP_DECL_PROPEXIT(), SCIP_OKAY, SCIPpropGetData(), and SCIPpropGetName().

Referenced by SCIP_DECL_PROPFREE().

SCIP_DECL_PROPEXIT()

static SCIP_DECL_PROPEXIT ( propExitSync  )

static

deinitialization method of propagator (called before transformed problem is freed)

Definition at line 177 of file prop_sync.c.

References PROP_NAME, SCIP_DECL_PROPPRESOL(), SCIP_OKAY, SCIPfreeBlockMemoryArrayNull, SCIPpropGetData(), and SCIPpropGetName().

Referenced by SCIP_DECL_PROPINIT().

SCIP_DECL_PROPPRESOL()

static SCIP_DECL_PROPPRESOL ( propPresolSync  )

static

Definition at line 195 of file prop_sync.c.

References applyBoundChanges(), PROP_NAME, SCIP_CALL, SCIP_CUTOFF, SCIP_DECL_PROPEXEC(), SCIP_DIDNOTRUN, SCIP_OKAY, SCIP_SUCCESS, SCIPinProbing(), SCIPpropGetData(), SCIPpropGetName(), and SCIPpropSetFreq().

Referenced by SCIP_DECL_PROPEXIT().

SCIP_DECL_PROPEXEC()

static SCIP_DECL_PROPEXEC ( propExecSync  )

static

execution method of propagator

Definition at line 233 of file prop_sync.c.

References applyBoundChanges(), PROP_NAME, SCIP_CALL, SCIP_CUTOFF, SCIP_DIDNOTRUN, SCIP_OKAY, SCIP_REDUCEDDOM, SCIPincludePropSync(), SCIPinProbing(), SCIPpropGetData(), SCIPpropGetName(), and SCIPpropSetFreq().

Referenced by SCIP_DECL_PROPPRESOL().