83 assert(num <= branchcand->lpcandssize);
106 assert(num <= branchcand->pseudocandssize);
131 assert(num <= branchcand->externcandssize);
150 (*branchcand)->lpcands =
NULL;
151 (*branchcand)->lpcandssol =
NULL;
152 (*branchcand)->lpcandsfrac =
NULL;
153 (*branchcand)->externcands =
NULL;
154 (*branchcand)->externcandssol =
NULL;
155 (*branchcand)->externcandsscore =
NULL;
156 (*branchcand)->pseudocands =
NULL;
157 (*branchcand)->lpcandssize = 0;
158 (*branchcand)->nlpcands = 0;
159 (*branchcand)->nimpllpfracs = 0;
160 (*branchcand)->npriolpcands = 0;
161 (*branchcand)->npriolpbins = 0;
162 (*branchcand)->lpmaxpriority = INT_MIN;
163 (*branchcand)->externcandssize = 0;
164 (*branchcand)->nexterncands = 0;
165 (*branchcand)->nprioexterncands = 0;
166 (*branchcand)->nprioexternbins = 0;
167 (*branchcand)->nprioexternints = 0;
168 (*branchcand)->nprioexternimpls = 0;
169 (*branchcand)->externmaxpriority = INT_MIN;
170 (*branchcand)->pseudocandssize = 0;
171 (*branchcand)->npseudocands = 0;
172 (*branchcand)->npriopseudocands = 0;
173 (*branchcand)->npriopseudobins = 0;
174 (*branchcand)->npriopseudoints = 0;
175 (*branchcand)->pseudomaxpriority = INT_MIN;
257 for(
c = 0;
c < ncols; ++
c )
307 assert(insertpos < branchcand->lpcandssize);
310 branchpriority = INT_MIN;
379 SCIPsetDebugMsg(
set,
" -> candidate %d: var=<%s>, sol=%g, frac=%g, prio=%d (max: %d) -> pos %d\n",
430 if( npriolpcands !=
NULL )
433 if( nfracimplvars !=
NULL )
443 SCIP_Real** externcandssol,
444 SCIP_Real** externcandsscore,
446 int* nprioexterncands,
447 int* nprioexternbins,
448 int* nprioexternints,
449 int* nprioexternimpls
456 if( externcands !=
NULL )
458 if( externcandssol !=
NULL )
460 if( externcandsscore !=
NULL )
462 if( nexterncands !=
NULL )
464 if( nprioexterncands !=
NULL )
466 if( nprioexternbins !=
NULL )
468 if( nprioexternints !=
NULL )
470 if( nprioexternimpls !=
NULL )
595 SCIPsetDebugMsg(
set,
"inserting external candidate <%s> of type %d and priority %d into candidate set (maxprio: %d), score = %g, solval = %g\n",
779 assert(branchpriority < branchcand->externmaxpriority);
794 int* npriopseudocands
842 if( npseudocands !=
NULL )
844 if( npriopseudocands !=
NULL )
922 SCIPdebugMessage(
"inserting pseudo candidate <%s> of type %d and priority %d into candidate set at position %d (maxprio: %d)\n",
1050 SCIPdebugMessage(
"removing pseudo candidate <%s> of type %d and priority %d at %d from candidate set (maxprio: %d)\n",
1059 assert(0 <= freepos && freepos < branchcand->npseudocands);
1061 if( freepos < branchcand->npriopseudobins )
1075 if( freepos < branchcand->npriopseudobins + branchcand->
npriopseudoints )
1089 if( freepos < branchcand->npriopseudocands )
1183 int oldbranchpriority;
1184 int pseudomaxpriority;
1190 if( oldbranchpriority == branchpriority )
1197 if( oldbranchpriority == pseudomaxpriority || branchpriority > pseudomaxpriority )
1256 if( branchrule->branchcopy !=
NULL )
1259 SCIP_CALL( branchrule->branchcopy(
set->scip, branchrule) );
1276 SCIP_Real maxbounddist,
1303 (*branchrule)->priority = priority;
1304 (*branchrule)->maxdepth =
maxdepth;
1305 (*branchrule)->maxbounddist = maxbounddist;
1306 (*branchrule)->branchcopy = branchcopy;
1307 (*branchrule)->branchfree = branchfree;
1308 (*branchrule)->branchinit = branchinit;
1309 (*branchrule)->branchexit = branchexit;
1310 (*branchrule)->branchinitsol = branchinitsol;
1311 (*branchrule)->branchexitsol = branchexitsol;
1312 (*branchrule)->branchexeclp = branchexeclp;
1313 (*branchrule)->branchexecext = branchexecext;
1314 (*branchrule)->branchexecps = branchexecps;
1315 (*branchrule)->branchruledata = branchruledata;
1318 (*branchrule)->nlpcalls = 0;
1319 (*branchrule)->nexterncalls = 0;
1320 (*branchrule)->npseudocalls = 0;
1321 (*branchrule)->ncutoffs = 0;
1322 (*branchrule)->ncutsfound = 0;
1323 (*branchrule)->nconssfound = 0;
1324 (*branchrule)->ndomredsfound = 0;
1325 (*branchrule)->nchildren = 0;
1326 (*branchrule)->initialized =
FALSE;
1332 &(*branchrule)->priority,
FALSE, priority, INT_MIN/4, INT_MAX/4,
1335 (void)
SCIPsnprintf(paramdesc,
SCIP_MAXSTRLEN,
"maximal depth level, up to which branching rule <%s> should be used (-1 for no limit)", name);
1340 (void)
SCIPsnprintf(paramdesc,
SCIP_MAXSTRLEN,
"maximal relative distance from current node's dual bound to primal bound compared to best node's dual bound for applying branching rule (0.0: only on current best node, 1.0: on all nodes)");
1342 &(*branchrule)->maxbounddist,
FALSE, maxbounddist, 0.0, 1.0,
1358 SCIP_Real maxbounddist,
1378 maxbounddist, branchcopy, branchfree, branchinit, branchexit, branchinitsol, branchexitsol, branchexeclp,
1391 if( *branchrule ==
NULL )
1393 assert(!(*branchrule)->initialized);
1397 if( (*branchrule)->branchfree !=
NULL )
1399 SCIP_CALL( (*branchrule)->branchfree(
set->scip, *branchrule) );
1426 if(
set->misc_resetstat )
1440 if( branchrule->branchinit !=
NULL )
1445 SCIP_CALL( branchrule->branchinit(
set->scip, branchrule) );
1470 if( branchrule->branchexit !=
NULL )
1475 SCIP_CALL( branchrule->branchexit(
set->scip, branchrule) );
1495 if( branchrule->branchinitsol !=
NULL )
1500 SCIP_CALL( branchrule->branchinitsol(
set->scip, branchrule) );
1519 if( branchrule->branchexitsol !=
NULL )
1524 SCIP_CALL( branchrule->branchexitsol(
set->scip, branchrule) );
1540 SCIP_Real cutoffbound,
1541 SCIP_Bool allowaddcons,
1553 if( branchrule->branchexeclp !=
NULL
1556 SCIP_Real loclowerbound;
1557 SCIP_Real glblowerbound;
1558 SCIP_Bool runbranchrule;
1574 SCIP_Longint oldndomchgs;
1575 SCIP_Longint oldnprobdomchgs;
1576 SCIP_Longint oldnactiveconss;
1604 SCIPerrorMessage(
"branching rule <%s> returned invalid result code <%d> from LP solution branching\n",
1610 SCIPerrorMessage(
"branching rule <%s> added a constraint in LP solution branching without permission\n",
1647 SCIP_Real cutoffbound,
1648 SCIP_Bool allowaddcons,
1660 if( branchrule->branchexecext !=
NULL
1663 SCIP_Real loclowerbound;
1664 SCIP_Real glblowerbound;
1665 SCIP_Bool runbranchrule;
1682 SCIP_Longint oldndomchgs;
1683 SCIP_Longint oldnprobdomchgs;
1685 int oldnactiveconss;
1712 SCIPerrorMessage(
"branching rule <%s> returned invalid result code <%d> from external solution branching\n",
1718 SCIPerrorMessage(
"branching rule <%s> added a constraint in external solution branching without permission\n",
1753 SCIP_Real cutoffbound,
1754 SCIP_Bool allowaddcons,
1765 if( branchrule->branchexecps !=
NULL
1768 SCIP_Real loclowerbound;
1769 SCIP_Real glblowerbound;
1770 SCIP_Bool runbranchrule;
1786 SCIP_Longint oldndomchgs;
1787 SCIP_Longint oldnprobdomchgs;
1788 SCIP_Longint oldnactiveconss;
1813 SCIPerrorMessage(
"branching rule <%s> returned invalid result code <%d> from pseudo solution branching\n",
1819 SCIPerrorMessage(
"branching rule <%s> added a constraint in pseudo solution branching without permission\n",
1877 branchrule->branchcopy = branchcopy;
1888 branchrule->branchfree = branchfree;
1899 branchrule->branchinit = branchinit;
1910 branchrule->branchexit = branchexit;
1921 branchrule->branchinitsol = branchinitsol;
1932 branchrule->branchexitsol = branchexitsol;
1945 branchrule->branchexeclp = branchexeclp;
1956 branchrule->branchexecext = branchexecext;
1967 branchrule->branchexecps = branchexecps;
1977 return branchrule->
name;
1987 return branchrule->
desc;
2049 SCIP_Real maxbounddist
2053 assert(maxbounddist >= -1);
2204 if(
set->branch_sumadjustscore )
2207 downgain = downgain +
eps;
2208 upgain = upgain +
eps;
2213 downgain =
MAX(downgain,
eps);
2214 upgain =
MAX(upgain,
eps);
2217 switch(
set->branch_scorefunc )
2221 if( downgain > upgain )
2222 score =
set->branch_scorefac * downgain + (1.0-
set->branch_scorefac) * upgain;
2224 score =
set->branch_scorefac * upgain + (1.0-
set->branch_scorefac) * downgain;
2228 score = downgain * upgain;
2231 if( downgain > upgain )
2232 score = upgain * upgain / downgain;
2234 score = downgain * downgain / upgain;
2266 for(
c = 0;
c < nchildren; ++
c )
2268 if( gains[
c] < min1 )
2273 else if( gains[
c] < min2 )
2292 SCIP_Real suggestion
2295 SCIP_Real branchpoint;
2313 branchpoint =
MAX(lb,
MIN(suggestion, ub));
2325 if( branchpoint < ub )
2335 if( branchpoint > lb )
2352 if(
REALABS(branchpoint) > 1e+12 )
2360 SCIP_Real midpull =
set->branch_midpull;
2363 SCIP_Real reldomainwidth;
2375 reldomainwidth = (ub - lb) / (gub - glb);
2379 if( reldomainwidth < set->branch_midpullreldomtrig )
2380 midpull *= reldomainwidth;
2382 branchpoint = midpull * (lb+ub) / 2.0 + (1.0 - midpull) * branchpoint;
2386 branchpoint =
MAX(lb,
MIN(branchpoint, ub));
2397 branchpoint = lb + 1000.0;
2408 branchpoint = ub - 1000.0;
2434 branchpoint = (lb+ub)/2.0;
2439 SCIP_Real minbrpoint;
2440 SCIP_Real maxbrpoint;
2448 scale =
MAX3(lbabs, ubabs, 1.0);
2454 minbrpoint = (1.0 -
set->branch_clamp) * lb +
set->branch_clamp * ub;
2461 maxbrpoint =
set->branch_clamp * lb + (1.0 -
set->branch_clamp) * ub;
2465 branchpoint =
MAX(minbrpoint,
MIN(branchpoint, maxbrpoint));
2485 return branchpoint - 0.5;
2493 if( branchpoint <= lb + 0.5 )
2499 branchpoint = lb + 0.5;
2500 if( branchpoint == lb )
2501 branchpoint = 0.5 * (lb+ub);
2504 else if( branchpoint >= ub - 0.5 )
2510 branchpoint = ub - 0.5;
2511 if( branchpoint == ub )
2512 branchpoint = 0.5 * (lb+ub);
2522 return branchpoint - 0.5;
2548 SCIP_Real cutoffbound,
2549 SCIP_Bool allowaddcons,
2566 SCIPsetDebugMsg(
set,
"branching on LP solution with %d (+%d) fractional (+implicit fractional) variables (%d of maximal priority)\n",
2571 if( nalllpcands == 0 )
2579 SCIP_CALL(
SCIPbranchExecPseudo(blkmem,
set, stat, transprob, origprob, tree, reopt, lp, branchcand, eventqueue, cutoffbound,
2598 SCIP_Real bestfactor;
2607 bestpriority = INT_MIN;
2609 for(
i = 0;
i < nalllpcands; ++
i )
2613 if( priority > bestpriority || (priority == bestpriority && factor > bestfactor) )
2616 bestpriority = priority;
2617 bestfactor = factor;
2628 SCIP_CALL(
SCIPtreeBranchVar(tree, reopt, blkmem,
set, stat, transprob, origprob, lp, branchcand, eventqueue,
var,
SCIP_INVALID,
2650 SCIP_Real cutoffbound,
2651 SCIP_Bool allowaddcons,
2664 SCIPsetDebugMsg(
set,
"branching on external solution with %d branching candidates (%d of maximal priority)\n",
2679 SCIP_CALL(
SCIPbranchExecPseudo(blkmem,
set, stat, transprob, origprob, tree, reopt, lp, branchcand, eventqueue, cutoffbound,
2698 SCIP_Real bestfactor;
2699 SCIP_Real bestdomain;
2710 bestpriority = INT_MIN;
2731 if( priority > bestpriority || (priority == bestpriority && factor > bestfactor) || (priority == bestpriority && factor == bestfactor && domain > bestdomain) )
2734 bestpriority = priority;
2735 bestfactor = factor;
2736 bestdomain = domain;
2749 SCIPsetDebugMsg(
set,
"no branching method succeeded; fallback selected to branch on variable <%s> with bounds [%g, %g] on value %g\n",
2752 SCIP_CALL(
SCIPtreeBranchVar(tree, reopt, blkmem,
set, stat, transprob, origprob, lp, branchcand, eventqueue,
var, val,
2780 SCIP_Real cutoffbound,
2781 SCIP_Bool allowaddcons,
2811 SCIP_Real bestfactor;
2820 bestpriority = INT_MIN;
2826 if( priority > bestpriority || (priority == bestpriority && factor > bestfactor) )
2829 bestpriority = priority;
2830 bestfactor = factor;
2839 SCIP_CALL(
SCIPtreeBranchVar(tree, reopt, blkmem,
set, stat, transprob, origprob, lp, branchcand, eventqueue,
var,
SCIP_INVALID,
SCIP_RETCODE SCIPbranchcandGetLPCands(SCIP_BRANCHCAND *branchcand, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_VAR ***lpcands, SCIP_Real **lpcandssol, SCIP_Real **lpcandsfrac, int *nlpcands, int *npriolpcands, int *nfracimplvars)
int SCIPbranchcandGetNPrioPseudoCands(SCIP_BRANCHCAND *branchcand)
int SCIPbranchcandGetNExternCands(SCIP_BRANCHCAND *branchcand)
SCIP_Real SCIPbranchGetBranchingPoint(SCIP_SET *set, SCIP_TREE *tree, SCIP_VAR *var, SCIP_Real suggestion)
SCIP_RETCODE SCIPbranchcandCreate(SCIP_BRANCHCAND **branchcand)
void SCIPbranchruleSetMaxdepth(SCIP_BRANCHRULE *branchrule, int maxdepth)
SCIP_RETCODE SCIPbranchExecPseudo(BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_TREE *tree, SCIP_REOPT *reopt, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_Real cutoffbound, SCIP_Bool allowaddcons, SCIP_RESULT *result)
SCIP_RETCODE SCIPbranchruleExecLPSol(SCIP_BRANCHRULE *branchrule, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_SEPASTORE *sepastore, SCIP_Real cutoffbound, SCIP_Bool allowaddcons, SCIP_RESULT *result)
SCIP_Real SCIPbranchGetScoreMultiple(SCIP_SET *set, SCIP_VAR *var, int nchildren, SCIP_Real *gains)
int SCIPbranchcandGetNPrioExternCands(SCIP_BRANCHCAND *branchcand)
SCIP_RETCODE SCIPbranchruleExit(SCIP_BRANCHRULE *branchrule, SCIP_SET *set)
void SCIPbranchcandClearExternCands(SCIP_BRANCHCAND *branchcand)
int SCIPbranchcandGetExternMaxPrio(SCIP_BRANCHCAND *branchcand)
static SCIP_RETCODE doBranchruleCreate(SCIP_BRANCHRULE **branchrule, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, BMS_BLKMEM *blkmem, const char *name, const char *desc, int priority, int maxdepth, SCIP_Real maxbounddist, SCIP_DECL_BRANCHCOPY((*branchcopy)), SCIP_DECL_BRANCHFREE((*branchfree)), SCIP_DECL_BRANCHINIT((*branchinit)), SCIP_DECL_BRANCHEXIT((*branchexit)), SCIP_DECL_BRANCHINITSOL((*branchinitsol)), SCIP_DECL_BRANCHEXITSOL((*branchexitsol)), SCIP_DECL_BRANCHEXECLP((*branchexeclp)), SCIP_DECL_BRANCHEXECEXT((*branchexecext)), SCIP_DECL_BRANCHEXECPS((*branchexecps)), SCIP_BRANCHRULEDATA *branchruledata)
SCIP_RETCODE SCIPbranchruleFree(SCIP_BRANCHRULE **branchrule, SCIP_SET *set)
SCIP_RETCODE SCIPbranchruleInitsol(SCIP_BRANCHRULE *branchrule, SCIP_SET *set)
SCIP_RETCODE SCIPbranchcandUpdateVarBranchPriority(SCIP_BRANCHCAND *branchcand, SCIP_SET *set, SCIP_VAR *var, int branchpriority)
int SCIPbranchcandGetNPrioExternBins(SCIP_BRANCHCAND *branchcand)
SCIP_RETCODE SCIPbranchruleExecPseudoSol(SCIP_BRANCHRULE *branchrule, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_Real cutoffbound, SCIP_Bool allowaddcons, SCIP_RESULT *result)
int SCIPbranchcandGetNPseudoCands(SCIP_BRANCHCAND *branchcand)
int SCIPbranchcandGetNPrioPseudoBins(SCIP_BRANCHCAND *branchcand)
SCIP_RETCODE SCIPbranchcandGetExternCands(SCIP_BRANCHCAND *branchcand, SCIP_VAR ***externcands, SCIP_Real **externcandssol, SCIP_Real **externcandsscore, int *nexterncands, int *nprioexterncands, int *nprioexternbins, int *nprioexternints, int *nprioexternimpls)
void SCIPbranchruleSetFree(SCIP_BRANCHRULE *branchrule,)
void SCIPbranchruleSetExecLp(SCIP_BRANCHRULE *branchrule,)
SCIP_RETCODE SCIPbranchruleExitsol(SCIP_BRANCHRULE *branchrule, SCIP_SET *set)
int SCIPbranchcandGetNPrioExternImpls(SCIP_BRANCHCAND *branchcand)
SCIP_RETCODE SCIPbranchruleExecExternSol(SCIP_BRANCHRULE *branchrule, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_SEPASTORE *sepastore, SCIP_Real cutoffbound, SCIP_Bool allowaddcons, SCIP_RESULT *result)
int SCIPbranchcandGetNPrioLPCands(SCIP_BRANCHCAND *branchcand)
SCIP_RETCODE SCIPbranchcandGetPseudoCands(SCIP_BRANCHCAND *branchcand, SCIP_SET *set, SCIP_PROB *prob, SCIP_VAR ***pseudocands, int *npseudocands, int *npriopseudocands)
SCIP_RETCODE SCIPbranchExecExtern(BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_TREE *tree, SCIP_REOPT *reopt, SCIP_LP *lp, SCIP_SEPASTORE *sepastore, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_Real cutoffbound, SCIP_Bool allowaddcons, SCIP_RESULT *result)
void SCIPbranchcandInvalidate(SCIP_BRANCHCAND *branchcand)
void SCIPbranchruleSetInitsol(SCIP_BRANCHRULE *branchrule,)
int SCIPbranchcandGetNPrioExternInts(SCIP_BRANCHCAND *branchcand)
int SCIPbranchcandGetNPrioPseudoImpls(SCIP_BRANCHCAND *branchcand)
static SCIP_RETCODE ensureExterncandsSize(SCIP_BRANCHCAND *branchcand, SCIP_SET *set, int num)
SCIP_RETCODE SCIPbranchcandRemoveVar(SCIP_BRANCHCAND *branchcand, SCIP_VAR *var)
static SCIP_RETCODE branchcandCalcLPCands(SCIP_BRANCHCAND *branchcand, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp)
SCIP_RETCODE SCIPbranchcandAddExternCand(SCIP_BRANCHCAND *branchcand, SCIP_SET *set, SCIP_VAR *var, SCIP_Real score, SCIP_Real solval)
void SCIPbranchruleEnableOrDisableClocks(SCIP_BRANCHRULE *branchrule, SCIP_Bool enable)
static SCIP_RETCODE ensurePseudocandsSize(SCIP_BRANCHCAND *branchcand, SCIP_SET *set, int num)
static void branchcandRemovePseudoCand(SCIP_BRANCHCAND *branchcand, SCIP_VAR *var)
static SCIP_RETCODE ensureLpcandsSize(SCIP_BRANCHCAND *branchcand, SCIP_SET *set, int num)
SCIP_RETCODE SCIPbranchcandFree(SCIP_BRANCHCAND **branchcand)
int SCIPbranchcandGetNPrioPseudoInts(SCIP_BRANCHCAND *branchcand)
void SCIPbranchruleSetExecPs(SCIP_BRANCHRULE *branchrule,)
SCIP_RETCODE SCIPbranchcandUpdateVar(SCIP_BRANCHCAND *branchcand, SCIP_SET *set, SCIP_VAR *var)
static void branchcandSortPseudoCands(SCIP_BRANCHCAND *branchcand)
void SCIPbranchruleSetMaxbounddist(SCIP_BRANCHRULE *branchrule, SCIP_Real maxbounddist)
SCIP_RETCODE SCIPbranchExecLP(BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_TREE *tree, SCIP_REOPT *reopt, SCIP_LP *lp, SCIP_SEPASTORE *sepastore, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_Real cutoffbound, SCIP_Bool allowaddcons, SCIP_RESULT *result)
int SCIPbranchcandGetLPMaxPrio(SCIP_BRANCHCAND *branchcand)
void SCIPbranchruleSetPriority(SCIP_BRANCHRULE *branchrule, SCIP_SET *set, int priority)
void SCIPbranchruleSetExit(SCIP_BRANCHRULE *branchrule,)
SCIP_RETCODE SCIPbranchruleCreate(SCIP_BRANCHRULE **branchrule, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, BMS_BLKMEM *blkmem, const char *name, const char *desc, int priority, int maxdepth, SCIP_Real maxbounddist, SCIP_DECL_BRANCHCOPY((*branchcopy)), SCIP_DECL_BRANCHFREE((*branchfree)), SCIP_DECL_BRANCHINIT((*branchinit)), SCIP_DECL_BRANCHEXIT((*branchexit)), SCIP_DECL_BRANCHINITSOL((*branchinitsol)), SCIP_DECL_BRANCHEXITSOL((*branchexitsol)), SCIP_DECL_BRANCHEXECLP((*branchexeclp)), SCIP_DECL_BRANCHEXECEXT((*branchexecext)), SCIP_DECL_BRANCHEXECPS((*branchexecps)), SCIP_BRANCHRULEDATA *branchruledata)
void SCIPbranchruleSetInit(SCIP_BRANCHRULE *branchrule,)
int SCIPbranchcandGetNPrioExternConts(SCIP_BRANCHCAND *branchcand)
void SCIPbranchruleSetCopy(SCIP_BRANCHRULE *branchrule,)
SCIP_Real SCIPbranchGetScore(SCIP_SET *set, SCIP_VAR *var, SCIP_Real downgain, SCIP_Real upgain)
SCIP_RETCODE SCIPbranchruleCopyInclude(SCIP_BRANCHRULE *branchrule, SCIP_SET *set)
SCIP_Bool SCIPbranchcandContainsExternCand(SCIP_BRANCHCAND *branchcand, SCIP_VAR *var)
void SCIPbranchruleSetExecExt(SCIP_BRANCHRULE *branchrule,)
SCIP_RETCODE SCIPbranchruleInit(SCIP_BRANCHRULE *branchrule, SCIP_SET *set)
void SCIPbranchruleSetExitsol(SCIP_BRANCHRULE *branchrule,)
static void branchcandInsertPseudoCand(SCIP_BRANCHCAND *branchcand, SCIP_VAR *var, int insertpos)
internal methods for branching rules and branching candidate storage
void SCIPclockStop(SCIP_CLOCK *clck, SCIP_SET *set)
void SCIPclockEnableOrDisable(SCIP_CLOCK *clck, SCIP_Bool enable)
void SCIPclockStart(SCIP_CLOCK *clck, SCIP_SET *set)
SCIP_Real SCIPclockGetTime(SCIP_CLOCK *clck)
void SCIPclockReset(SCIP_CLOCK *clck)
void SCIPclockFree(SCIP_CLOCK **clck)
SCIP_RETCODE SCIPclockCreate(SCIP_CLOCK **clck, SCIP_CLOCKTYPE clocktype)
internal methods for clocks and timing issues
common defines and data types used in all packages of SCIP
#define SCIP_MAXTREEDEPTH
#define SCIP_LONGINT_FORMAT
#define SCIP_CALL_FINALLY(x, y)
internal methods for managing events
SCIP_Real SCIPrelDiff(SCIP_Real val1, SCIP_Real val2)
SCIP_Bool SCIPbranchruleIsInitialized(SCIP_BRANCHRULE *branchrule)
SCIP_Longint SCIPbranchruleGetNDomredsFound(SCIP_BRANCHRULE *branchrule)
SCIP_Longint SCIPbranchruleGetNPseudoCalls(SCIP_BRANCHRULE *branchrule)
int SCIPbranchruleGetMaxdepth(SCIP_BRANCHRULE *branchrule)
SCIP_Longint SCIPbranchruleGetNConssFound(SCIP_BRANCHRULE *branchrule)
SCIP_Longint SCIPbranchruleGetNLPCalls(SCIP_BRANCHRULE *branchrule)
const char * SCIPbranchruleGetName(SCIP_BRANCHRULE *branchrule)
SCIP_BRANCHRULEDATA * SCIPbranchruleGetData(SCIP_BRANCHRULE *branchrule)
SCIP_Longint SCIPbranchruleGetNChildren(SCIP_BRANCHRULE *branchrule)
SCIP_Real SCIPbranchruleGetTime(SCIP_BRANCHRULE *branchrule)
int SCIPbranchruleGetPriority(SCIP_BRANCHRULE *branchrule)
SCIP_Real SCIPbranchruleGetSetupTime(SCIP_BRANCHRULE *branchrule)
SCIP_Real SCIPbranchruleGetMaxbounddist(SCIP_BRANCHRULE *branchrule)
const char * SCIPbranchruleGetDesc(SCIP_BRANCHRULE *branchrule)
SCIP_Longint SCIPbranchruleGetNCutoffs(SCIP_BRANCHRULE *branchrule)
SCIP_RETCODE SCIPsetBranchrulePriority(SCIP *scip, SCIP_BRANCHRULE *branchrule, int priority)
SCIP_Longint SCIPbranchruleGetNExternCalls(SCIP_BRANCHRULE *branchrule)
void SCIPbranchruleSetData(SCIP_BRANCHRULE *branchrule, SCIP_BRANCHRULEDATA *branchruledata)
SCIP_Longint SCIPbranchruleGetNCutsFound(SCIP_BRANCHRULE *branchrule)
SCIP_Real SCIPcolGetPrimsol(SCIP_COL *col)
SCIP_Real SCIPnodeGetLowerbound(SCIP_NODE *node)
SCIP_COL * SCIPvarGetCol(SCIP_VAR *var)
SCIP_Real SCIPvarGetSol(SCIP_VAR *var, SCIP_Bool getlpval)
SCIP_VARSTATUS SCIPvarGetStatus(SCIP_VAR *var)
SCIP_Real SCIPvarGetUbLocal(SCIP_VAR *var)
SCIP_VARTYPE SCIPvarGetType(SCIP_VAR *var)
SCIP_Real SCIPvarGetUbGlobal(SCIP_VAR *var)
const char * SCIPvarGetName(SCIP_VAR *var)
SCIP_Real SCIPvarGetBranchFactor(SCIP_VAR *var)
SCIP_Real SCIPvarGetLbLocal(SCIP_VAR *var)
int SCIPvarGetBranchPriority(SCIP_VAR *var)
SCIP_Real SCIPvarGetLbGlobal(SCIP_VAR *var)
int SCIPsnprintf(char *t, int len, const char *s,...)
assert(minobj< SCIPgetCutoffbound(scip))
SCIP_LPSOLSTAT SCIPlpGetSolstat(SCIP_LP *lp)
SCIP_COL ** SCIPlpGetCols(SCIP_LP *lp)
int SCIPlpGetNCols(SCIP_LP *lp)
internal methods for LP management
static const char * paramname[]
memory allocation routines
#define BMSfreeMemory(ptr)
#define BMSreallocMemoryArray(ptr, num)
#define BMSduplicateMemoryArray(ptr, source, num)
#define BMSclearMemory(ptr)
struct BMS_BlkMem BMS_BLKMEM
#define BMSfreeMemoryArrayNull(ptr)
#define BMSallocMemory(ptr)
SCIP_PARAMDATA * SCIPparamGetData(SCIP_PARAM *param)
int SCIPparamGetInt(SCIP_PARAM *param)
internal methods for handling parameter settings
internal methods for storing and manipulating the main problem
int SCIPsepastoreGetNCuts(SCIP_SEPASTORE *sepastore)
internal methods for storing separated cuts
SCIP_Real SCIPsetFloor(SCIP_SET *set, SCIP_Real val)
void SCIPsetSortBranchrules(SCIP_SET *set)
SCIP_RETCODE SCIPsetAddIntParam(SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, BMS_BLKMEM *blkmem, const char *name, const char *desc, int *valueptr, SCIP_Bool isadvanced, int defaultvalue, int minvalue, int maxvalue, SCIP_DECL_PARAMCHGD((*paramchgd)), SCIP_PARAMDATA *paramdata)
SCIP_Bool SCIPsetIsRelLT(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool SCIPsetIsFeasPositive(SCIP_SET *set, SCIP_Real val)
SCIP_Bool SCIPsetIsGE(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool SCIPsetIsFeasFracIntegral(SCIP_SET *set, SCIP_Real val)
SCIP_Bool SCIPsetIsFeasNegative(SCIP_SET *set, SCIP_Real val)
SCIP_Real SCIPsetFeastol(SCIP_SET *set)
SCIP_Real SCIPsetCeil(SCIP_SET *set, SCIP_Real val)
SCIP_Bool SCIPsetIsFeasLE(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool SCIPsetIsPositive(SCIP_SET *set, SCIP_Real val)
SCIP_Bool SCIPsetIsLE(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_RETCODE SCIPsetAddRealParam(SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, BMS_BLKMEM *blkmem, const char *name, const char *desc, SCIP_Real *valueptr, SCIP_Bool isadvanced, SCIP_Real defaultvalue, SCIP_Real minvalue, SCIP_Real maxvalue, SCIP_DECL_PARAMCHGD((*paramchgd)), SCIP_PARAMDATA *paramdata)
SCIP_Real SCIPsetEpsilon(SCIP_SET *set)
SCIP_Bool SCIPsetIsEQ(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool SCIPsetIsFeasZero(SCIP_SET *set, SCIP_Real val)
SCIP_Real SCIPsetInfinity(SCIP_SET *set)
SCIP_Real SCIPsetSumepsilon(SCIP_SET *set)
SCIP_Bool SCIPsetIsLT(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool SCIPsetIsInfinity(SCIP_SET *set, SCIP_Real val)
SCIP_Bool SCIPsetIsRelGT(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool SCIPsetIsIntegral(SCIP_SET *set, SCIP_Real val)
SCIP_Real SCIPsetFeasFrac(SCIP_SET *set, SCIP_Real val)
SCIP_Bool SCIPsetIsFeasGE(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_Real SCIPsetRound(SCIP_SET *set, SCIP_Real val)
int SCIPsetCalcMemGrowSize(SCIP_SET *set, int num)
SCIP_Bool SCIPsetIsFeasIntegral(SCIP_SET *set, SCIP_Real val)
SCIP_Bool SCIPsetIsNegative(SCIP_SET *set, SCIP_Real val)
internal methods for global SCIP settings
internal methods for main solving loop and node processing
internal methods for problem statistics
SCIP_Longint validlpcandslp
SCIP_Real * externcandsscore
SCIP_Real * externcandssol
SCIP_Longint nexterncalls
SCIP_BRANCHRULEDATA * branchruledata
SCIP_Longint npseudocalls
SCIP_Longint ndomredsfound
SCIP_Longint nactiveconssadded
SCIP_Longint nprobholechgs
SCIP_Longint nprobboundchgs
datastructures for branching rules and branching candidate storage
SCIP_RETCODE SCIPtreeBranchVar(SCIP_TREE *tree, SCIP_REOPT *reopt, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_VAR *var, SCIP_Real val, SCIP_NODE **downchild, SCIP_NODE **eqchild, SCIP_NODE **upchild)
SCIP_Bool SCIPtreeHasCurrentNodeLP(SCIP_TREE *tree)
SCIP_Real SCIPtreeGetLowerbound(SCIP_TREE *tree, SCIP_SET *set)
int SCIPtreeGetCurrentDepth(SCIP_TREE *tree)
internal methods for branch and bound tree
#define SCIP_DECL_BRANCHEXECPS(x)
#define SCIP_DECL_BRANCHEXECLP(x)
#define SCIP_DECL_BRANCHEXECEXT(x)
#define SCIP_DECL_BRANCHINITSOL(x)
#define SCIP_DECL_BRANCHINIT(x)
#define SCIP_DECL_BRANCHCOPY(x)
#define SCIP_DECL_BRANCHEXIT(x)
#define SCIP_DECL_BRANCHFREE(x)
struct SCIP_BranchruleData SCIP_BRANCHRULEDATA
#define SCIP_DECL_BRANCHEXITSOL(x)
@ SCIP_LPSOLSTAT_UNBOUNDEDRAY
#define SCIP_DECL_SORTPTRCOMP(x)
struct SCIP_ParamData SCIP_PARAMDATA
#define SCIP_DECL_PARAMCHGD(x)
enum SCIP_Result SCIP_RESULT
enum SCIP_Retcode SCIP_RETCODE
@ SCIP_VARTYPE_CONTINUOUS
@ SCIP_VARSTATUS_ORIGINAL
@ SCIP_VARSTATUS_MULTAGGR
@ SCIP_VARSTATUS_AGGREGATED
enum SCIP_Vartype SCIP_VARTYPE
SCIP_Real SCIPvarGetMultaggrLbLocal(SCIP_VAR *var, SCIP_SET *set)
SCIP_RETCODE SCIPvarChgBranchPriority(SCIP_VAR *var, int branchpriority)
SCIP_Real SCIPvarGetMultaggrUbLocal(SCIP_VAR *var, SCIP_SET *set)
internal methods for problem variables