branch_sdpinfobjective.c File Reference

combined infeasibility and absolute objective branching rule for SCIP-SDP More...

Go to the source code of this file.

Macros
#define	BRANCHRULE_NAME   "sdpinfobjective"
#define	BRANCHRULE_DESC   "branch on variable with highest product of fractionality/integral-infeasibility and absolute objective of the SDP"
#define	BRANCHRULE_PRIORITY   2000000
#define	BRANCHRULE_MAXDEPTH   -1
#define	BRANCHRULE_MAXBOUNDDIST   1.0
#define	DEFAULT_COUPLEDVARS   FALSE
#define	DEFAULT_SINGLECOUPLEDVARS   FALSE

Functions
static	SCIP_DECL_BRANCHCOPY (branchCopySdpinfobjective)
static	SCIP_DECL_BRANCHEXECEXT (branchExecextSdpinfobjective)
static	SCIP_DECL_BRANCHFREE (branchFreeSdpinfobjective)
SCIP_RETCODE	SCIPincludeBranchruleSdpinfobjective (SCIP *scip)

Detailed Description

combined infeasibility and absolute objective branching rule for SCIP-SDP

Author

Tristan Gally

Branch on variable with highest product of fractionality/integral-infeasibility and absolute objective value in the SDP.

Definition in file branch_sdpinfobjective.c.

Macro Definition Documentation

#define BRANCHRULE_NAME   "sdpinfobjective"

Definition at line 52 of file branch_sdpinfobjective.c.

Referenced by SCIPincludeBranchruleSdpinfobjective().

#define BRANCHRULE_DESC   "branch on variable with highest product of fractionality/integral-infeasibility and absolute objective of the SDP"

Definition at line 53 of file branch_sdpinfobjective.c.

Referenced by SCIPincludeBranchruleSdpinfobjective().

#define BRANCHRULE_PRIORITY   2000000

Definition at line 54 of file branch_sdpinfobjective.c.

Referenced by SCIPincludeBranchruleSdpinfobjective().

#define BRANCHRULE_MAXDEPTH   -1

Definition at line 55 of file branch_sdpinfobjective.c.

Referenced by SCIPincludeBranchruleSdpinfobjective().

#define BRANCHRULE_MAXBOUNDDIST   1.0

Definition at line 56 of file branch_sdpinfobjective.c.

Referenced by SCIPincludeBranchruleSdpinfobjective().

#define DEFAULT_COUPLEDVARS   FALSE

if all branching candidates have objective zero, should we use the sum of the absolute objectives of all continuous variables coupled with the candidate through constraints

Definition at line 57 of file branch_sdpinfobjective.c.

Referenced by SCIPincludeBranchruleSdpinfobjective().

#define DEFAULT_SINGLECOUPLEDVARS   FALSE

if all branching candidates have objective zero, should we use the sum of the absolute objectives of all continuous variables coupled with the candidate through constraints in which no other candidate appears

Definition at line 60 of file branch_sdpinfobjective.c.

Referenced by SCIPincludeBranchruleSdpinfobjective().

Function Documentation

static SCIP_DECL_BRANCHCOPY ( branchCopySdpinfobjective  )

static

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

Definition at line 91 of file branch_sdpinfobjective.c.

static SCIP_DECL_BRANCHEXECEXT ( branchExecextSdpinfobjective  )

static

branching execution method for external candidates

Definition at line 105 of file branch_sdpinfobjective.c.

static SCIP_DECL_BRANCHFREE ( branchFreeSdpinfobjective  )

static

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

Definition at line 401 of file branch_sdpinfobjective.c.

SCIP_RETCODE SCIPincludeBranchruleSdpinfobjective

(

SCIP *

scip

)

creates the SDP combined infeasibility and absolute objective branching rule and includes it in SCIP

Parameters

scip	SCIP data structure

Definition at line 418 of file branch_sdpinfobjective.c.

References BRANCHRULE_DESC, BRANCHRULE_MAXBOUNDDIST, BRANCHRULE_MAXDEPTH, BRANCHRULE_NAME, BRANCHRULE_PRIORITY, DEFAULT_COUPLEDVARS, and DEFAULT_SINGLECOUPLEDVARS.

Referenced by runSCIP().