branch_leastinf.c File Reference

Detailed Description

least infeasible LP branching rule

Author

Tobias Achterberg

Stefan Vigerske

Definition in file branch_leastinf.c.

#include "scip/branch_leastinf.h"
#include "scip/pub_branch.h"
#include "scip/pub_message.h"
#include "scip/pub_var.h"
#include "scip/scip_branch.h"
#include "scip/scip_message.h"
#include "scip/scip_numerics.h"
#include "scip/scip_var.h"
#include <string.h>

Go to the source code of this file.

Macros
#define	BRANCHRULE_NAME   "leastinf"
#define	BRANCHRULE_DESC   "least infeasible branching"
#define	BRANCHRULE_PRIORITY   50
#define	BRANCHRULE_MAXDEPTH   -1
#define	BRANCHRULE_MAXBOUNDDIST   1.0

Functions
static void	updateBestCandidate (SCIP *scip, SCIP_VAR **bestvar, SCIP_Real *bestscore, SCIP_Real *bestobj, SCIP_Real *bestsol, SCIP_VAR *cand, SCIP_Real candscore, SCIP_Real candsol)
static	SCIP_DECL_BRANCHCOPY (branchCopyLeastinf)
static	SCIP_DECL_BRANCHEXECLP (branchExeclpLeastinf)
static	SCIP_DECL_BRANCHEXECEXT (branchExecextLeastinf)
SCIP_RETCODE	SCIPincludeBranchruleLeastinf (SCIP *scip)

Macro Definition Documentation

BRANCHRULE_NAME

#define BRANCHRULE_NAME   "leastinf"

Definition at line 35 of file branch_leastinf.c.

Referenced by SCIP_DECL_BRANCHCOPY(), SCIP_DECL_BRANCHEXECEXT(), SCIP_DECL_BRANCHEXECLP(), and SCIPincludeBranchruleLeastinf().

BRANCHRULE_DESC

#define BRANCHRULE_DESC   "least infeasible branching"

Definition at line 36 of file branch_leastinf.c.

Referenced by SCIPincludeBranchruleLeastinf().

BRANCHRULE_PRIORITY

#define BRANCHRULE_PRIORITY   50

Definition at line 37 of file branch_leastinf.c.

Referenced by SCIPincludeBranchruleLeastinf().

BRANCHRULE_MAXDEPTH

#define BRANCHRULE_MAXDEPTH   -1

Definition at line 38 of file branch_leastinf.c.

Referenced by SCIPincludeBranchruleLeastinf().

BRANCHRULE_MAXBOUNDDIST

#define BRANCHRULE_MAXBOUNDDIST   1.0

Definition at line 39 of file branch_leastinf.c.

Referenced by SCIPincludeBranchruleLeastinf().

Function Documentation

updateBestCandidate()

static void updateBestCandidate ( SCIP *  scip, SCIP_VAR **  bestvar, SCIP_Real *  bestscore, SCIP_Real *  bestobj, SCIP_Real *  bestsol, SCIP_VAR *  cand, SCIP_Real  candscore, SCIP_Real  candsol  )

static

compares the so far best branching candidate with a new candidate and updates best candidate, if new candidate is better

Parameters

scip	SCIP data structure
bestvar	best branching candidate
bestscore	score of best branching candidate
bestobj	absolute objective value of best branching candidate
bestsol	proposed branching point of best branching candidate
cand	branching candidate to consider
candscore	scoring of branching candidate
candsol	proposed branching point of branching candidate

Definition at line 47 of file branch_leastinf.c.

References FALSE, NULL, REALABS, SCIP_Bool, SCIP_INVALID, SCIP_Real, SCIP_VARSTATUS_MULTAGGR, SCIPcomputeVarLbLocal(), SCIPcomputeVarUbLocal(), SCIPisEQ(), SCIPisFeasGE(), SCIPisFeasLE(), SCIPisInfinity(), SCIPisLE(), SCIPisLT(), SCIPvarGetBranchFactor(), SCIPvarGetMultaggrNVars(), SCIPvarGetMultaggrScalars(), SCIPvarGetMultaggrVars(), SCIPvarGetObj(), SCIPvarGetProbvar(), SCIPvarGetStatus(), SCIPvarIsActive(), and TRUE.

Referenced by SCIP_DECL_BRANCHEXECEXT().

SCIP_DECL_BRANCHCOPY()

static SCIP_DECL_BRANCHCOPY ( branchCopyLeastinf  )

static

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

Definition at line 213 of file branch_leastinf.c.

References BRANCHRULE_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIPbranchruleGetName(), and SCIPincludeBranchruleLeastinf().

SCIP_DECL_BRANCHEXECLP()

static SCIP_DECL_BRANCHEXECLP ( branchExeclpLeastinf  )

static

branching execution method for fractional LP solutions

Definition at line 228 of file branch_leastinf.c.

References BRANCHRULE_NAME, NULL, REALABS, SCIP_BRANCHED, SCIP_CALL, SCIP_OKAY, SCIP_Real, SCIP_REAL_MIN, SCIPbranchruleGetName(), SCIPbranchVar(), SCIPdebugMsg, SCIPgetLPBranchCands(), SCIPisGE(), SCIPisGT(), SCIPvarGetBranchFactor(), SCIPvarGetName(), and SCIPvarGetObj().

SCIP_DECL_BRANCHEXECEXT()

static SCIP_DECL_BRANCHEXECEXT ( branchExecextLeastinf  )

static

branching execution method for external candidates

Definition at line 290 of file branch_leastinf.c.

References BRANCHRULE_NAME, NULL, SCIP_BRANCHED, SCIP_CALL, SCIP_DIDNOTRUN, SCIP_INVALID, SCIP_OKAY, SCIP_Real, SCIP_REDUCEDDOM, SCIPbranchruleGetName(), SCIPbranchVarVal(), SCIPdebugMsg, SCIPerrorMessage, SCIPgetBranchingPoint(), SCIPgetExternBranchCands(), SCIPinfinity(), SCIPisEQ(), SCIPvarGetBranchFactor(), SCIPvarGetLbLocal(), SCIPvarGetName(), SCIPvarGetUbLocal(), and updateBestCandidate().