SCIP Doxygen Documentation
Loading...
Searching...
No Matches

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.

◆ BRANCHRULE_DESC

#define BRANCHRULE_DESC   "most infeasible branching"

Definition at line 45 of file branch_mostinf.c.

◆ BRANCHRULE_PRIORITY

#define BRANCHRULE_PRIORITY   100

Definition at line 46 of file branch_mostinf.c.

◆ BRANCHRULE_MAXDEPTH

#define BRANCHRULE_MAXDEPTH   -1

Definition at line 47 of file branch_mostinf.c.

◆ BRANCHRULE_MAXBOUNDDIST

#define BRANCHRULE_MAXBOUNDDIST   1.0

Definition at line 48 of file branch_mostinf.c.

Function Documentation

◆ updateBestCandidate()

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
scipSCIP data structure
bestvarbest branching candidate
bestscorescore of best branching candidate
bestobjabsolute objective value of best branching candidate
bestsolproposed branching point of best branching candidate
candbranching candidate to consider
candscorescoring of branching candidate
candsolproposed branching point of branching candidate

Definition at line 56 of file branch_mostinf.c.

References assert(), FALSE, i, NULL, obj, 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(), TRUE, and updateBestCandidate().

Referenced by SCIP_DECL_BRANCHEXECEXT(), and updateBestCandidate().

◆ SCIP_DECL_BRANCHCOPY()

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 assert(), BRANCHRULE_NAME, NULL, SCIP_CALL, SCIP_OKAY, SCIPbranchruleGetName(), and SCIPincludeBranchruleMostinf().

◆ SCIP_DECL_BRANCHEXECLP()

SCIP_DECL_BRANCHEXECLP ( branchExeclpMostinf )
static

◆ SCIP_DECL_BRANCHEXECEXT()