branch_mostinf.c File Reference

Detailed Description

most infeasible LP branching rule

Author

Tobias Achterberg

Definition in file branch_mostinf.c.

#include "scip/branch_mostinf.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   "mostinf"
#define	BRANCHRULE_DESC   "most infeasible branching"
#define	BRANCHRULE_PRIORITY   100
#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 (branchCopyMostinf)
static	SCIP_DECL_BRANCHEXECLP (branchExeclpMostinf)
static	SCIP_DECL_BRANCHEXECEXT (branchExecextMostinf)
SCIP_RETCODE	SCIPincludeBranchruleMostinf (SCIP *scip)

Macro Definition Documentation

BRANCHRULE_NAME

#define BRANCHRULE_NAME   "mostinf"

Definition at line 44 of file branch_mostinf.c.

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

BRANCHRULE_DESC

#define BRANCHRULE_DESC   "most infeasible branching"

Definition at line 45 of file branch_mostinf.c.

Referenced by SCIPincludeBranchruleMostinf().

BRANCHRULE_PRIORITY

#define BRANCHRULE_PRIORITY   100

Definition at line 46 of file branch_mostinf.c.

Referenced by SCIPincludeBranchruleMostinf().

BRANCHRULE_MAXDEPTH

#define BRANCHRULE_MAXDEPTH   -1

Definition at line 47 of file branch_mostinf.c.

Referenced by SCIPincludeBranchruleMostinf().

BRANCHRULE_MAXBOUNDDIST

#define BRANCHRULE_MAXBOUNDDIST   1.0

Definition at line 48 of file branch_mostinf.c.

Referenced by SCIPincludeBranchruleMostinf().

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 56 of file branch_mostinf.c.

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

Referenced by SCIP_DECL_BRANCHEXECEXT().

SCIP_DECL_BRANCHCOPY()

static SCIP_DECL_BRANCHCOPY ( branchCopyMostinf  )

static

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

Definition at line 222 of file branch_mostinf.c.

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

SCIP_DECL_BRANCHEXECLP()

static SCIP_DECL_BRANCHEXECLP ( branchExeclpMostinf  )

static

branching execution method for fractional LP solutions

Definition at line 237 of file branch_mostinf.c.

References BRANCHRULE_NAME, MIN, 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 ( branchExecextMostinf  )

static

branching execution method for external candidates

Definition at line 298 of file branch_mostinf.c.

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