prop_sdpobbt.c File Reference

optimization-based bound tightening propagator for semidefinite programs More...

Go to the source code of this file.

Macros
#define	PROP_NAME   "sdp-obbt"
#define	PROP_DESC   "optimization-based bound tightening for SDPs"
#define	PROP_PRIORITY   -1100000
#define	PROP_FREQ   -1
#define	PROP_DELAY   FALSE
#define	PROP_TIMING   SCIP_PROPTIMING_AFTERLPLOOP
#define	DEFAULT_PROPBIN   FALSE
#define	DEFAULT_PROPCONT   TRUE

Functions
static	SCIP_DECL_PROPCOPY (propCopySdpObbt)
static	SCIP_DECL_PROPFREE (propFreeSdpObbt)
static	SCIP_DECL_PROPEXIT (propExitSdpObbt)
static	SCIP_DECL_PROPEXEC (propExecSdpObbt)
SCIP_RETCODE	SCIPincludePropSdpObbt (SCIP *scip)

Detailed Description

optimization-based bound tightening propagator for semidefinite programs

Author

Tristan Gally

Definition in file prop_sdpobbt.c.

Macro Definition Documentation

#define PROP_NAME   "sdp-obbt"

Definition at line 53 of file prop_sdpobbt.c.

Referenced by SCIP_DECL_PROPCOPY(), and SCIPincludePropSdpObbt().

#define PROP_DESC   "optimization-based bound tightening for SDPs"

Definition at line 54 of file prop_sdpobbt.c.

Referenced by SCIPincludePropSdpObbt().

#define PROP_PRIORITY   -1100000

propagator priority

Definition at line 55 of file prop_sdpobbt.c.

Referenced by SCIPincludePropSdpObbt().

#define PROP_FREQ   -1

propagator frequency

Definition at line 56 of file prop_sdpobbt.c.

Referenced by SCIPincludePropSdpObbt().

#define PROP_DELAY   FALSE

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

Definition at line 57 of file prop_sdpobbt.c.

Referenced by SCIPincludePropSdpObbt().

#define PROP_TIMING   SCIP_PROPTIMING_AFTERLPLOOP

propagation timing mask

Definition at line 58 of file prop_sdpobbt.c.

Referenced by SCIPincludePropSdpObbt().

#define DEFAULT_PROPBIN   FALSE

should obbt be done for binary variables ?

Definition at line 60 of file prop_sdpobbt.c.

Referenced by SCIPincludePropSdpObbt().

#define DEFAULT_PROPCONT   TRUE

should obbt be done for continuous variables ?

Definition at line 61 of file prop_sdpobbt.c.

Referenced by SCIPincludePropSdpObbt().

Function Documentation

static SCIP_DECL_PROPCOPY ( propCopySdpObbt  )

static

copy method for propagator plugins (called when SCIP copies plugins)

Definition at line 127 of file prop_sdpobbt.c.

References PROP_NAME, and SCIPincludePropSdpObbt().

static SCIP_DECL_PROPFREE ( propFreeSdpObbt  )

static

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

Definition at line 142 of file prop_sdpobbt.c.

static SCIP_DECL_PROPEXIT ( propExitSdpObbt  )

static

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

Definition at line 157 of file prop_sdpobbt.c.

static SCIP_DECL_PROPEXEC ( propExecSdpObbt  )

static

execution method of propagator

Definition at line 173 of file prop_sdpobbt.c.

References SCIPrelaxSdpIsFeasible(), SCIPrelaxSdpRelaxVal(), and SCIPrelaxSdpSolvedProbing().

SCIP_RETCODE SCIPincludePropSdpObbt

(

SCIP *

scip

)

creates the sdp-obbt propagator and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 436 of file prop_sdpobbt.c.

References DEFAULT_PROPBIN, DEFAULT_PROPCONT, PROP_DELAY, PROP_DESC, PROP_FREQ, PROP_NAME, PROP_PRIORITY, and PROP_TIMING.

Referenced by runSCIP(), and SCIP_DECL_PROPCOPY().