52 #define MAXREPROPMARK 511 79 assert(num <= tree->childrensize);
105 assert(num <= tree->pathsize);
118 assert(tree != NULL);
129 assert(num <= tree->pendingbdchgssize);
144 assert(elem1 != NULL);
145 assert(elem2 != NULL);
162 assert(fork != NULL);
178 assert(fork != NULL);
180 assert(blkmem != NULL);
201 assert(subroot != NULL);
206 SCIPdebugMessage(
"captured LPI state of subroot %p %d times -> new nlpistateref=%d\n",
218 assert(subroot != NULL);
220 assert(blkmem != NULL);
240 assert(node != NULL);
242 SCIPdebugMessage(
"capture %d times LPI state of node #%" SCIP_LONGINT_FORMAT
" at depth %d (current: %d)\n",
255 SCIPerrorMessage(
"node for capturing the LPI state is neither fork nor subroot\n");
269 assert(node != NULL);
271 SCIPdebugMessage(
"release LPI state of node #%" SCIP_LONGINT_FORMAT
" at depth %d (current: %d)\n",
281 SCIPerrorMessage(
"node for releasing the LPI state is neither fork nor subroot\n");
294 assert(probingnode != NULL);
298 (*probingnode)->lpistate = NULL;
299 (*probingnode)->lpinorms = NULL;
302 (*probingnode)->ncols = (*probingnode)->ninitialcols;
303 (*probingnode)->nrows = (*probingnode)->ninitialrows;
304 (*probingnode)->origobjvars = NULL;
305 (*probingnode)->origobjvals = NULL;
306 (*probingnode)->nchgdobjs = 0;
308 SCIPdebugMessage(
"created probingnode information (%d cols, %d rows)\n", (*probingnode)->ncols, (*probingnode)->nrows);
324 assert(probingnode != NULL);
376 assert(probingnode != NULL);
377 assert(*probingnode != NULL);
380 if( (*probingnode)->lpistate != NULL )
385 if( (*probingnode)->lpinorms != NULL )
391 if( (*probingnode)->nchgdobjs > 0 )
393 assert((*probingnode)->origobjvars != NULL);
394 assert((*probingnode)->origobjvals != NULL);
412 assert(junction != NULL);
413 assert(tree != NULL);
438 assert(pseudofork != NULL);
439 assert(blkmem != NULL);
440 assert(tree != NULL);
447 (*pseudofork)->addedcols = NULL;
448 (*pseudofork)->addedrows = NULL;
451 (*pseudofork)->nchildren = tree->
nchildren;
453 SCIPdebugMessage(
"creating pseudofork information with %d children (%d new cols, %d new rows)\n",
454 (*pseudofork)->nchildren, (*pseudofork)->naddedcols, (*pseudofork)->naddedrows);
456 if( (*pseudofork)->naddedcols > 0 )
461 if( (*pseudofork)->naddedrows > 0 )
469 for( i = 0; i < (*pseudofork)->naddedrows; ++i )
493 assert(pseudofork != NULL);
494 assert(*pseudofork != NULL);
495 assert((*pseudofork)->nchildren == 0);
496 assert(blkmem != NULL);
500 for( i = 0; i < (*pseudofork)->naddedrows; ++i )
523 assert(fork != NULL);
524 assert(blkmem != NULL);
525 assert(tree != NULL);
543 (*fork)->nlpistateref = 0;
544 (*fork)->addedcols = NULL;
545 (*fork)->addedrows = NULL;
548 (*fork)->nchildren = (
unsigned int) tree->
nchildren;
550 SCIPsetDebugMsg(
set,
"creating fork information with %u children (%d new cols, %d new rows)\n", (*fork)->nchildren, (*fork)->naddedcols, (*fork)->naddedrows);
552 if( (*fork)->naddedcols > 0 )
557 if( (*fork)->naddedrows > 0 )
565 for( i = 0; i < (*fork)->naddedrows; ++i )
586 assert(fork != NULL);
587 assert(*fork != NULL);
588 assert((*fork)->nchildren == 0);
589 assert((*fork)->nlpistateref == 0);
590 assert((*fork)->lpistate == NULL);
591 assert(blkmem != NULL);
596 for( i = (*fork)->naddedrows - 1; i >= 0; --i )
622 assert(subroot != NULL);
623 assert(blkmem != NULL);
624 assert(tree != NULL);
635 (*subroot)->nlpistateref = 0;
638 (*subroot)->nchildren = (
unsigned int) tree->
nchildren;
645 if( (*subroot)->ncols != 0 )
650 (*subroot)->cols = NULL;
651 if( (*subroot)->nrows != 0 )
656 (*subroot)->rows = NULL;
659 for( i = 0; i < (*subroot)->nrows; ++i )
680 assert(subroot != NULL);
681 assert(*subroot != NULL);
682 assert((*subroot)->nchildren == 0);
683 assert((*subroot)->nlpistateref == 0);
684 assert((*subroot)->lpistate == NULL);
685 assert(blkmem != NULL);
690 for( i = 0; i < (*subroot)->nrows; ++i )
711 assert(tree != NULL);
712 assert(sibling != NULL);
737 assert(tree != NULL);
738 assert(child != NULL);
760 assert(tree != NULL);
761 assert(child != NULL);
790 assert(node != NULL);
791 assert(node->
parent == NULL);
794 assert(node->
domchg == NULL);
796 assert(blkmem != NULL);
798 assert(tree != NULL);
821 SCIPsetDebugMsg(
set,
"assigning parent #%" SCIP_LONGINT_FORMAT
" to node #%" SCIP_LONGINT_FORMAT
" at depth %d\n",
848 assert(node != NULL);
849 assert(blkmem != NULL);
850 assert(tree != NULL);
852 SCIPsetDebugMsg(
set,
"releasing parent-child relationship of node #%" SCIP_LONGINT_FORMAT
" at depth %d of type %d with parent #%" SCIP_LONGINT_FORMAT
" of type %d\n",
931 if( freeParent && !parent->
active )
943 SCIPsetDebugMsg(
set,
"unlinked node #%" SCIP_LONGINT_FORMAT
" in depth %d -> new effective root depth: %d\n",
959 assert(node != NULL);
962 (*node)->parent = NULL;
963 (*node)->conssetchg = NULL;
964 (*node)->domchg = NULL;
968 (*node)->reoptid = 0;
971 (*node)->active =
FALSE;
972 (*node)->cutoff =
FALSE;
973 (*node)->reprop =
FALSE;
974 (*node)->repropsubtreemark = 0;
990 assert(node != NULL);
991 assert(blkmem != NULL);
993 assert(stat != NULL);
994 assert(tree != NULL);
1010 (*node)->data.child.arraypos = -1;
1039 assert(node != NULL);
1040 assert(*node != NULL);
1041 assert(!(*node)->active);
1042 assert(blkmem != NULL);
1043 assert(tree != NULL);
1059 SCIPerrorMessage(
"cannot free focus node - has to be converted into a dead end first\n");
1068 assert((*node)->data.sibling.arraypos >= 0);
1069 assert((*node)->data.sibling.arraypos < tree->
nsiblings);
1070 assert(tree->
siblings[(*node)->data.sibling.arraypos] == *node);
1080 assert((*node)->data.child.arraypos >= 0);
1081 assert((*node)->data.child.arraypos < tree->
nchildren);
1082 assert(tree->
children[(*node)->data.child.arraypos] == *node);
1091 if( (*node)->data.leaf.lpstatefork != NULL )
1160 assert(node != NULL);
1161 assert(
set != NULL);
1162 assert(stat != NULL);
1163 assert(tree != NULL);
1165 if( set->reopt_enable )
1167 assert(reopt != NULL);
1181 if( node->
depth == 0 )
1184 if( set->misc_calcintegral )
1199 SCIPsetDebugMsg(
set,
"cutting off %s node #%" SCIP_LONGINT_FORMAT
" at depth %d (cutoffdepth: %d)\n",
1213 assert(node != NULL);
1214 assert(
set != NULL);
1215 assert(stat != NULL);
1216 assert(tree != NULL);
1226 SCIPsetDebugMsg(
set,
"marked %s node #%" SCIP_LONGINT_FORMAT
" at depth %d to be propagated again (repropdepth: %d)\n",
1237 assert(node != NULL);
1238 assert(tree != NULL);
1240 if( node->
parent != NULL )
1266 assert(tree != NULL);
1306 assert(node != NULL);
1314 assert(stat != NULL);
1315 assert(tree != NULL);
1317 assert(cutoff != NULL);
1320 initialreprop = node->
reprop;
1329 if( clockisrunning )
1354 SCIP_CALL(
SCIPpropagateDomains(blkmem,
set, stat, transprob, origprob, primal, tree, reopt, lp, branchcand,
1356 assert(!node->
reprop || *cutoff);
1373 SCIPsetDebugMsg(
set,
"repropagation %" SCIP_LONGINT_FORMAT
" at depth %u changed %" SCIP_LONGINT_FORMAT
" bounds (total reprop bound changes: %" SCIP_LONGINT_FORMAT
"), cutoff: %u\n",
1381 if( initialreprop && !(*cutoff) && stat->
nboundchgs > oldnboundchgs )
1385 SCIPsetDebugMsg(
set,
"initial repropagation at depth %u changed %" SCIP_LONGINT_FORMAT
" bounds -> repropagating subtree (new mark: %d)\n",
1408 if( clockisrunning )
1444 assert(node != NULL);
1446 assert(stat != NULL);
1447 assert(tree != NULL);
1449 assert(cutoff != NULL);
1451 SCIPsetDebugMsg(
set,
"activate node #%" SCIP_LONGINT_FORMAT
" at depth %d of type %d (reprop subtree mark: %u)\n",
1470 node->
reprop =
set->conf_enable &&
set->conf_useprop;
1484 SCIP_CALL(
nodeRepropagate(node, blkmem,
set, stat, transprob, origprob, primal, tree, reopt, lp, branchcand, conflict,
1485 eventfilter, eventqueue, cliquetable, &propcutoff) );
1486 *cutoff = *cutoff || propcutoff;
1507 assert(node != NULL);
1509 assert(tree != NULL);
1512 SCIPsetDebugMsg(
set,
"deactivate node #%" SCIP_LONGINT_FORMAT
" at depth %d of type %d (reprop subtree mark: %u)\n",
1574 assert(node != NULL);
1575 assert(cons != NULL);
1577 assert(tree != NULL);
1579 assert(tree->
root != NULL);
1584 if( cons->
scip != set->scip )
1617 assert(node != NULL);
1618 assert(tree != NULL);
1619 assert(cons != NULL);
1647 assert(node != NULL );
1655 if( addedconsssize < *naddedconss )
1659 for( cons = 0; cons < *naddedconss; cons++ )
1672 assert(node != NULL);
1695 assert(tree != NULL);
1715 if( node->
depth == 0 )
1797 assert(node != NULL);
1802 || node->
depth == 0);
1803 assert(
set != NULL);
1804 assert(tree != NULL);
1806 assert(tree->
root != NULL);
1807 assert(var != NULL);
1808 assert(node->
active || (infercons == NULL && inferprop == NULL));
1811 SCIPsetDebugMsg(
set,
"adding boundchange at node %llu at depth %u to variable <%s>: old bounds=[%g,%g], new %s bound: %g (infer%s=<%s>, inferinfo=%d)\n",
1813 boundtype ==
SCIP_BOUNDTYPE_LOWER ?
"lower" :
"upper", newbound, infercons != NULL ?
"cons" :
"prop",
1818 inferboundtype = boundtype;
1849 newbound = MIN(newbound, oldub);
1867 newbound =
MAX(newbound, oldlb);
1877 SCIPsetDebugMsg(
set,
" -> transformed to active variable <%s>: old bounds=[%g,%g], new %s bound: %g, obj: %g\n",
1889 int conflictingdepth;
1893 if( conflictingdepth >= 0 )
1896 assert(conflictingdepth > 0);
1897 assert(conflictingdepth < tree->pathlen);
1899 SCIPsetDebugMsg(
set,
" -> bound change <%s> %s %g violates current local bounds [%g,%g] since depth %d: remember for later application\n",
1925 assert(!probingchange);
1927 SCIPsetDebugMsg(
set,
" -> bound change in root node: perform global bound change\n");
1934 SCIPsetDebugMsg(
set,
"marked root node to be repropagated due to global bound change <%s>:[%g,%g] -> [%g,%g] found in depth %u\n",
1970 lpsolval, NULL, NULL, NULL, 0, inferboundtype) );
1973 if( set->misc_exactsolve )
1987 0.0, infervar, infercons, inferprop, inferinfo, inferboundtype) );
1990 assert(node->
domchg != NULL);
2040 SCIP_CALL(
SCIPnodeAddBoundinfer(node, blkmem,
set, stat, transprob, origprob, tree, reopt, lp, branchcand, eventqueue,
2041 cliquetable, var, newbound, boundtype, NULL, NULL, 0, probingchange) );
2071 assert(node != NULL);
2076 || node->
depth == 0);
2077 assert(blkmem != NULL);
2078 assert(
set != NULL);
2079 assert(tree != NULL);
2081 assert(tree->
root != NULL);
2082 assert(var != NULL);
2083 assert(node->
active || (infercons == NULL && inferprop == NULL));
2094 adjustedleft = left;
2095 adjustedright = right;
2109 SCIPsetDebugMsg(
set,
"adding hole (%g,%g) at node at depth %u to variable <%s>: bounds=[%g,%g], (infer%s=<%s>, inferinfo=%d)\n",
2140 assert(!probingchange);
2142 SCIPsetDebugMsg(
set,
" -> hole added in root node: perform global domain change\n");
2149 SCIPsetDebugMsg(
set,
"marked root node to be repropagated due to global added hole <%s>: (%g,%g) found in depth %u\n",
2159 SCIPerrorMessage(
"WARNING: currently domain holes can only be handled globally!\n");
2185 assert(node != NULL);
2189 assert(blkmem != NULL);
2191 SCIPsetDebugMsg(
set,
"adding hole (%g,%g) at node at depth %u of variable <%s>\n",
2195 NULL, NULL, 0, probingchange, added) );
2223 assert(tree != NULL);
2226 for( i = 0; i < npendingbdchgs; ++i )
2238 if( conflictdepth == 0 )
2248 assert(conflictdepth == -1);
2309 assert(node != NULL);
2310 assert(stat != NULL);
2319 if( node->
depth == 0 )
2322 if( set->misc_calcintegral )
2329 assert(newbound >= lowerbound);
2351 assert(
set != NULL);
2359 if( set->misc_exactsolve )
2397 assert(node != NULL);
2398 assert(
set != NULL);
2424 assert(node != NULL);
2429 assert(cutoff != NULL);
2431 SCIPsetDebugMsg(
set,
"implication graph propagation of node #%" SCIP_LONGINT_FORMAT
" in depth %d\n",
2438 for( i = 0; i < nboundchgs && !(*cutoff); ++i )
2468 for( j = 0; j < nimpls; ++j )
2512 SCIP_CALL(
SCIPnodeAddBoundinfer(node, blkmem,
set, stat, transprob, origprob, tree, reopt, lp, branchcand,
2513 eventqueue, cliquetable, implvars[j], implbounds[j], impltypes[j], NULL, NULL, 0,
FALSE) );
2519 for( j = 0; j < ncliques; ++j )
2529 for( k = 0; k < nvars; ++k )
2539 if( vars[k] == var && values[k] == varfixing )
2545 if( values[k] ==
FALSE )
2570 SCIP_CALL(
SCIPnodeAddBoundinfer(node, blkmem,
set, stat, transprob, origprob, tree, reopt, lp, branchcand,
2572 NULL, NULL, 0,
FALSE) );
2600 assert(tree != NULL);
2601 assert(startdepth >= 0);
2602 assert(startdepth <= tree->pathlen);
2604 if( startdepth == 0 )
2615 for( i = startdepth; i < tree->
pathlen; ++i )
2617 node = tree->
path[i];
2618 assert(node != NULL);
2620 assert((
int)(node->
depth) == i);
2634 if( i < tree->pathlen-1 )
2714 assert(tree != NULL);
2715 assert(tree->
root != NULL);
2729 assert(commonfork != NULL);
2730 assert(newlpfork != NULL);
2731 assert(newlpstatefork != NULL);
2732 assert(newsubroot != NULL);
2733 assert(cutoff != NULL);
2737 *newlpstatefork = NULL;
2773 if( lpfork == NULL )
2781 *newlpfork = lpfork;
2783 lpstatefork = lpfork;
2786 lpstatefork = lpstatefork->
parent;
2787 if( lpstatefork == NULL )
2789 if( lpstatefork->
cutoff )
2795 *newlpstatefork = lpstatefork;
2797 subroot = lpstatefork;
2800 subroot = subroot->
parent;
2801 if( subroot == NULL )
2809 *newsubroot = subroot;
2812 while( fork->
parent != NULL )
2829 assert(fork != NULL);
2834 assert(fork != NULL);
2845 if( lpstatefork == NULL
2851 assert(lpfork == NULL || !lpfork->
active || lpfork == fork);
2852 assert(lpstatefork == NULL || !lpstatefork->
active || lpstatefork == fork);
2853 assert(subroot == NULL || !subroot->
active || subroot == fork);
2866 assert(fork != NULL);
2876 if( lpfork == NULL )
2882 while( lpfork != NULL
2896 assert(lpfork == NULL || (
int)(lpfork->
depth) <= fork->
depth);
2897 assert(lpfork == NULL || lpfork->
active);
2899 assert(lpfork == NULL
2903 SCIPdebugMessage(
"find switch forks: lpforkdepth=%d\n", lpfork == NULL ? -1 : (
int)(lpfork->
depth));
2908 if( lpstatefork == NULL )
2913 if( lpfork != NULL && lpfork->
depth < fork->
depth )
2914 lpstatefork = lpfork;
2917 while( lpstatefork != NULL
2921 assert(lpstatefork->
active);
2922 lpstatefork = lpstatefork->
parent;
2930 assert(lpstatefork == NULL || (
int)(lpstatefork->
depth) <= fork->
depth);
2931 assert(lpstatefork == NULL || lpstatefork->
active);
2933 assert(lpstatefork == NULL
2936 assert(lpstatefork == NULL || (lpfork != NULL && lpstatefork->
depth <= lpfork->
depth));
2937 SCIPdebugMessage(
"find switch forks: lpstateforkdepth=%d\n", lpstatefork == NULL ? -1 : (
int)(lpstatefork->
depth));
2942 if( subroot == NULL )
2947 if( lpstatefork != NULL && lpstatefork->
depth < fork->
depth )
2948 subroot = lpstatefork;
2949 else if( lpfork != NULL && lpfork->
depth < fork->
depth )
2956 subroot = subroot->
parent;
2961 assert(subroot == NULL || subroot->
depth <= fork->
depth);
2962 assert(subroot == NULL || subroot->
active);
2965 assert(subroot == NULL || (lpstatefork != NULL && subroot->
depth <= lpstatefork->
depth));
2966 SCIPdebugMessage(
"find switch forks: subrootdepth=%d\n", subroot == NULL ? -1 : (
int)(subroot->
depth));
2980 *newlpfork = lpfork;
2981 *newlpstatefork = lpstatefork;
2982 *newsubroot = subroot;
2985 while( fork != NULL )
3022 assert(tree != NULL);
3023 assert(fork == NULL || (fork->
active && !fork->
cutoff));
3024 assert(fork == NULL || focusnode != NULL);
3025 assert(focusnode == NULL || (!focusnode->
active && !focusnode->
cutoff));
3027 assert(cutoff != NULL);
3034 focusnodedepth = (focusnode != NULL ? (int)focusnode->
depth : -1);
3035 forkdepth = (fork != NULL ? (int)fork->
depth : -1);
3036 assert(forkdepth <= focusnodedepth);
3037 assert(forkdepth < tree->pathlen);
3043 for( i = tree->
pathlen-1; i > forkdepth; --i )
3050 SCIP_CALL(
treeApplyPendingBdchgs(tree, reopt, blkmem,
set, stat, transprob, origprob, lp, branchcand, eventqueue, cliquetable) );
3054 while( focusnode != fork )
3056 assert(focusnode != NULL);
3057 assert(!focusnode->
active);
3058 assert(!focusnode->
cutoff);
3059 tree->
path[focusnode->
depth] = focusnode;
3060 focusnode = focusnode->
parent;
3064 if( fork != NULL && fork->
cutoff )
3066 else if( fork != NULL && fork->
reprop )
3069 assert(tree->
path[forkdepth] == fork);
3073 SCIP_CALL(
nodeRepropagate(fork, blkmem,
set, stat, transprob, origprob, primal, tree, reopt, lp, branchcand, conflict,
3074 eventfilter, eventqueue, cliquetable, cutoff) );
3076 assert(fork != NULL || !(*cutoff));
3089 for( i = forkdepth+1; i < focusnodedepth && !(*cutoff); ++i )
3096 SCIP_CALL(
nodeActivate(tree->
path[i], blkmem,
set, stat, transprob, origprob, primal, tree, reopt, lp, branchcand,
3097 conflict, eventfilter, eventqueue, cliquetable, cutoff) );
3104 if( !(*cutoff) && (i == focusnodedepth) )
3107 assert(tree->
pathlen == focusnodedepth);
3111 SCIP_CALL(
nodeActivate(tree->
path[focusnodedepth], blkmem,
set, stat, transprob, origprob, primal, tree, reopt, lp, branchcand,
3112 conflict, eventfilter, eventqueue, cliquetable, cutoff) );
3149 assert(subroot != NULL);
3152 assert(blkmem != NULL);
3153 assert(
set != NULL);
3161 assert(ncols == 0 || cols != NULL);
3162 assert(nrows == 0 || rows != NULL);
3164 for( c = 0; c < ncols; ++c )
3168 for( r = 0; r < nrows; ++r )
3194 assert(fork != NULL);
3197 assert(blkmem != NULL);
3198 assert(
set != NULL);
3206 assert(ncols == 0 || cols != NULL);
3207 assert(nrows == 0 || rows != NULL);
3209 for( c = 0; c < ncols; ++c )
3213 for( r = 0; r < nrows; ++r )
3239 assert(pseudofork != NULL);
3242 assert(blkmem != NULL);
3243 assert(
set != NULL);
3251 assert(ncols == 0 || cols != NULL);
3252 assert(nrows == 0 || rows != NULL);
3254 for( c = 0; c < ncols; ++c )
3258 for( r = 0; r < nrows; ++r )
3278 assert(tree != NULL);
3279 assert(tree->
path != NULL);
3283 for( d = 0; d < tree->
pathlen; ++d )
3285 node = tree->
path[d];
3286 assert(node != NULL);
3287 assert((
int)(node->
depth) == d);
3297 if( d < tree->pathlen-1 )
3328 SCIPerrorMessage(
"node at depth %d on active path has to be of type JUNCTION, PSEUDOFORK, FORK, SUBROOT, FOCUSNODE, REFOCUSNODE, or PROBINGNODE, but is %d\n",
3337 #define treeCheckPath(tree) 3355 assert(tree != NULL);
3357 assert(tree->
path != NULL);
3364 assert(blkmem != NULL);
3365 assert(
set != NULL);
3367 assert(initroot != NULL);
3369 SCIPsetDebugMsg(
set,
"load LP for current fork node #%" SCIP_LONGINT_FORMAT
" at depth %d\n",
3383 if( lpfork == NULL )
3396 assert(tree->
path[lpfork->
depth] == lpfork);
3397 lpforkdepth = lpfork->
depth;
3399 assert(lpforkdepth < tree->pathlen-1);
3423 assert(lpforkdepth < tree->pathlen);
3430 pathnode = tree->
path[d];
3431 assert(pathnode != NULL);
3432 assert((
int)(pathnode->
depth) == d);
3481 int lpstateforkdepth;
3484 assert(tree != NULL);
3486 assert(tree->
path != NULL);
3494 assert(blkmem != NULL);
3495 assert(
set != NULL);
3498 SCIPsetDebugMsg(
set,
"load LP state for current fork node #%" SCIP_LONGINT_FORMAT
" at depth %d\n",
3505 if( lpstatefork == NULL )
3510 assert(lpstatefork->
active);
3511 assert(tree->
path[lpstatefork->
depth] == lpstatefork);
3512 lpstateforkdepth = lpstatefork->
depth;
3513 assert(lpstateforkdepth < tree->pathlen-1);
3514 assert(lpstateforkdepth <= tree->correctlpdepth);
3523 assert(lpstatefork->
data.
fork != NULL);
3544 checkbdchgs =
FALSE;
3564 assert(d < tree->pathlen);
3603 assert(stat != NULL);
3604 assert(lpstatefork == NULL || lpstatefork->
depth < (*node)->depth);
3605 assert(lpstatefork == NULL || lpstatefork->
active ||
SCIPsetIsGE(
set, (*node)->lowerbound, cutoffbound));
3606 assert(lpstatefork == NULL
3611 SCIPsetDebugMsg(
set,
"convert node #%" SCIP_LONGINT_FORMAT
" at depth %d to leaf with lpstatefork #%" SCIP_LONGINT_FORMAT
" at depth %d\n",
3616 (*node)->data.leaf.lpstatefork = lpstatefork;
3623 pathnode = (*node)->
parent;
3624 while( pathnode != NULL && pathnode != lpstatefork )
3628 pathnode = pathnode->
parent;
3630 assert(pathnode == lpstatefork);
3635 if(
SCIPsetIsLT(
set, (*node)->lowerbound, cutoffbound) )
3648 if( set->reopt_enable )
3650 assert(reopt != NULL);
3660 assert(*node == NULL);
3690 assert(blkmem != NULL);
3691 assert(
set != NULL);
3692 assert(stat != NULL);
3693 assert(tree != NULL);
3700 needdel = (tree->
focusnode == tree->
root ?
set->price_delvarsroot :
set->price_delvars);
3717 for( i = 0; i < transprob->
nvars; i++ )
3719 var = transprob->
vars[i];
3720 assert(var != NULL);
3757 SCIPsetDebugMsg(
set,
"delvars at node %" SCIP_LONGINT_FORMAT
", deleted %d vars\n", stat->
nnodes, ndelvars);
3784 assert(blkmem != NULL);
3785 assert(tree != NULL);
3791 SCIPsetDebugMsg(
set,
"focusnode #%" SCIP_LONGINT_FORMAT
" to dead-end at depth %d\n",
3795 SCIP_CALL(
focusnodeCleanupVars(blkmem,
set, stat, eventqueue, transprob, origprob, tree, reopt, lp, branchcand, cliquetable,
TRUE) );
3823 assert(tree != NULL);
3829 SCIPsetDebugMsg(
set,
"focusnode #%" SCIP_LONGINT_FORMAT
" to leaf at depth %d\n",
3847 assert(tree != NULL);
3854 SCIPsetDebugMsg(
set,
"focusnode #%" SCIP_LONGINT_FORMAT
" to junction at depth %d\n",
3892 assert(blkmem != NULL);
3893 assert(tree != NULL);
3901 SCIPsetDebugMsg(
set,
"focusnode #%" SCIP_LONGINT_FORMAT
" to pseudofork at depth %d\n",
3905 SCIP_CALL(
focusnodeCleanupVars(blkmem,
set, stat, eventqueue, transprob, origprob, tree, reopt, lp, branchcand, cliquetable,
FALSE) );
3946 assert(blkmem != NULL);
3947 assert(tree != NULL);
3957 SCIPsetDebugMsg(
set,
"focusnode #%" SCIP_LONGINT_FORMAT
" to fork at depth %d\n",
3973 SCIP_CALL(
SCIPlpSolveAndEval(lp,
set, messagehdlr, blkmem, stat, eventqueue, eventfilter, transprob, -1LL,
FALSE,
FALSE,
TRUE, &lperror) );
3994 "(node %" SCIP_LONGINT_FORMAT
") numerical troubles: LP %" SCIP_LONGINT_FORMAT
" not optimal -- convert node into junction instead of fork\n",
4011 SCIP_CALL(
focusnodeCleanupVars(blkmem,
set, stat, eventqueue, transprob, origprob, tree, reopt, lp, branchcand, cliquetable,
FALSE) );
4061 assert(blkmem != NULL);
4062 assert(tree != NULL);
4072 SCIPsetDebugMsg(
set,
"focusnode #%" SCIP_LONGINT_FORMAT
" to subroot at depth %d\n",
4082 #ifdef SCIP_DISABLED_CODE 4097 SCIP_CALL(
SCIPlpSolveAndEval(lp,
set, messagehdlr, blkmem, stat, eventqueue, eventfilter, transprob, -1LL,
FALSE,
FALSE,
TRUE, &lperror) );
4101 assert(lp->
solved || lperror);
4118 "(node %" SCIP_LONGINT_FORMAT
") numerical troubles: LP %" SCIP_LONGINT_FORMAT
" not optimal -- convert node into junction instead of subroot\n",
4135 SCIP_CALL(
focusnodeCleanupVars(blkmem,
set, stat, eventqueue, transprob, origprob, tree, lp, branchcand, cliquetable,
FALSE) );
4142 SCIP_CALL( subrootCreate(&subroot, blkmem,
set, transprob, tree, lp) );
4181 assert(tree != NULL);
4182 assert(
set != NULL);
4183 assert(nnodes != NULL);
4184 assert(*nnodes == 0 || nodes != NULL);
4186 for( i = 0; i < *
nnodes; ++i )
4189 SCIP_CALL(
nodeToLeaf(&nodes[i], blkmem,
set, stat, eventqueue, tree, reopt, lp, lpstatefork, cutoffbound) );
4190 assert(nodes[i] == NULL);
4208 assert(tree != NULL);
4268 assert(node != NULL);
4269 assert(*node == NULL
4273 assert(*node == NULL || !(*node)->
active);
4274 assert(stat != NULL);
4275 assert(tree != NULL);
4278 assert(cutoff != NULL);
4280 SCIPsetDebugMsg(
set,
"focusing node #%" SCIP_LONGINT_FORMAT
" of type %d in depth %d\n",
4291 SCIPsetDebugMsg(
set,
"focus node: focusnodedepth=%d, forkdepth=%d, lpforkdepth=%d, lpstateforkdepth=%d, subrootdepth=%d, cutoff=%u\n",
4292 *node != NULL ? (*node)->
depth : -1, fork != NULL ? fork->
depth : -1,
4293 lpfork != NULL ? lpfork->
depth : -1, lpstatefork != NULL ? lpstatefork->
depth : -1,
4294 subroot != NULL ? subroot->
depth : -1, *cutoff);
4299 assert(*node != NULL);
4307 if( set->reopt_enable )
4309 assert(reopt != NULL);
4321 assert(fork == NULL || fork->
active);
4322 assert(lpstatefork == NULL || lpfork != NULL);
4323 assert(subroot == NULL || lpstatefork != NULL);
4327 if( subroot == tree->
focussubroot && fork != NULL && lpfork != NULL )
4330 assert(subroot == NULL || subroot->
active);
4336 assert(subroot == NULL || !subroot->
active 4353 SCIP_CALL(
treeNodesToQueue(tree, reopt, blkmem,
set, stat, eventqueue, lp, tree->
children, &tree->
nchildren, NULL, -
SCIPsetInfinity(
set)) );
4370 SCIP_CALL(
treeNodesToQueue(tree, reopt, blkmem,
set, stat, eventqueue, lp, tree->
children, &tree->
nchildren, NULL, -
SCIPsetInfinity(
set)) );
4381 SCIP_CALL(
treeNodesToQueue(tree, reopt, blkmem,
set, stat, eventqueue, lp, tree->
siblings, &tree->
nsiblings, tree->
focuslpstatefork,
4393 assert(!postponed || *node == NULL);
4394 assert(!postponed || tree->
focusnode != NULL);
4399 assert(*node == NULL);
4411 SCIP_CALL(
focusnodeToDeadend(blkmem,
set, stat, eventqueue, transprob, origprob, tree, reopt, lp, branchcand,
4426 assert(oldcutoffdepth == INT_MAX);
4439 SCIP_CALL( focusnodeToSubroot(blkmem,
set, messagehdlr, stat, eventqueue, eventfilter, transprob, origprob, tree, lp, branchcand) );
4449 reopt, lp, branchcand, cliquetable) );
4478 branchcand, cliquetable) );
4512 SCIP_CALL(
focusnodeToDeadend(blkmem,
set, stat, eventqueue, transprob, origprob, tree, reopt, lp, branchcand, cliquetable) );
4515 assert(lpstatefork == NULL
4518 assert(childrenlpstatefork == NULL
4521 assert(lpfork == NULL
4532 SCIP_CALL(
treeNodesToQueue(tree, reopt, blkmem,
set, stat, eventqueue, lp, tree->
siblings, &tree->
nsiblings, tree->
focuslpstatefork,
4536 SCIP_CALL(
treeNodesToQueue(tree, reopt, blkmem,
set, stat, eventqueue, lp, tree->
children, &tree->
nchildren, childrenlpstatefork,
4552 SCIP_CALL(
treeNodesToQueue(tree, reopt, blkmem,
set, stat, eventqueue, lp, tree->
children, &tree->
nchildren, childrenlpstatefork,
4570 SCIP_CALL(
treeNodesToQueue(tree, reopt, blkmem,
set, stat, eventqueue, lp, tree->
siblings, &tree->
nsiblings, tree->
focuslpstatefork,
4584 SCIP_CALL(
treeNodesToQueue(tree, reopt, blkmem,
set, stat, eventqueue, lp, tree->
siblings, &tree->
nsiblings, tree->
focuslpstatefork,
4603 SCIP_CALL(
treeNodesToQueue(tree, reopt, blkmem,
set, stat, eventqueue, lp, tree->
children, &tree->
nchildren, childrenlpstatefork,
4626 assert(subroot == NULL || (lpstatefork != NULL && subroot->
depth <= lpstatefork->
depth));
4627 assert(lpstatefork == NULL || (lpfork != NULL && lpstatefork->
depth <= lpfork->
depth));
4628 assert(lpfork == NULL || (*node != NULL && lpfork->
depth < (*node)->depth));
4637 SCIP_CALL(
treeSwitchPath(tree, reopt, blkmem,
set, stat, transprob, origprob, primal, lp, branchcand, conflict,
4638 eventfilter, eventqueue, cliquetable, fork, *node, cutoff) );
4640 assert(*node != NULL || tree->
pathlen == 0);
4641 assert(*node == NULL || tree->
pathlen-1 <= (
int)(*node)->depth);
4646 int appliedeffectiverootdepth;
4649 assert(appliedeffectiverootdepth <= tree->effectiverootdepth);
4654 if( tree->
effectiverootdepth > appliedeffectiverootdepth && *node != NULL && !(*cutoff) )
4659 SCIPsetDebugMsg(
set,
"effective root is now at depth %d: applying constraint set and bound changes to global problem\n",
4666 SCIPsetDebugMsg(
set,
" -> applying constraint set changes of depth %d\n", d);
4704 assert(tree != NULL);
4705 assert(blkmem != NULL);
4709 (*tree)->root = NULL;
4714 for( p = 0; p <= 1; ++p )
4719 (*tree)->ndivebdchanges[p] = 0;
4720 (*tree)->divebdchgsize[p] = 1;
4723 (*tree)->path = NULL;
4724 (*tree)->focusnode = NULL;
4725 (*tree)->focuslpfork = NULL;
4726 (*tree)->focuslpstatefork = NULL;
4727 (*tree)->focussubroot = NULL;
4728 (*tree)->children = NULL;
4729 (*tree)->siblings = NULL;
4730 (*tree)->probingroot = NULL;
4731 (*tree)->childrenprio = NULL;
4732 (*tree)->siblingsprio = NULL;
4733 (*tree)->pathnlpcols = NULL;
4734 (*tree)->pathnlprows = NULL;
4735 (*tree)->probinglpistate = NULL;
4736 (*tree)->probinglpinorms = NULL;
4737 (*tree)->pendingbdchgs = NULL;
4738 (*tree)->probdiverelaxsol = NULL;
4739 (*tree)->pendingbdchgssize = 0;
4740 (*tree)->npendingbdchgs = 0;
4741 (*tree)->focuslpstateforklpcount = -1;
4742 (*tree)->childrensize = 0;
4743 (*tree)->nchildren = 0;
4744 (*tree)->siblingssize = 0;
4745 (*tree)->nsiblings = 0;
4746 (*tree)->pathlen = 0;
4747 (*tree)->pathsize = 0;
4748 (*tree)->effectiverootdepth = 0;
4749 (*tree)->appliedeffectiverootdepth = 0;
4750 (*tree)->correctlpdepth = -1;
4751 (*tree)->cutoffdepth = INT_MAX;
4752 (*tree)->repropdepth = INT_MAX;
4753 (*tree)->repropsubtreecount = 0;
4754 (*tree)->focusnodehaslp =
FALSE;
4755 (*tree)->probingnodehaslp =
FALSE;
4756 (*tree)->focuslpconstructed =
FALSE;
4757 (*tree)->cutoffdelayed =
FALSE;
4758 (*tree)->probinglpwasflushed =
FALSE;
4759 (*tree)->probinglpwassolved =
FALSE;
4760 (*tree)->probingloadlpistate =
FALSE;
4761 (*tree)->probinglpwasrelax =
FALSE;
4762 (*tree)->probingsolvedlp =
FALSE;
4763 (*tree)->forcinglpmessage =
FALSE;
4764 (*tree)->sbprobing =
FALSE;
4765 (*tree)->probinglpwasprimfeas =
TRUE;
4766 (*tree)->probinglpwasdualfeas =
TRUE;
4767 (*tree)->probdiverelaxstored =
FALSE;
4768 (*tree)->probdiverelaxincludeslp =
FALSE;
4785 assert(tree != NULL);
4786 assert(*tree != NULL);
4787 assert((*tree)->nchildren == 0);
4788 assert((*tree)->nsiblings == 0);
4789 assert((*tree)->focusnode == NULL);
4798 for( p = 0; p <= 1; ++p )
4833 assert(tree != NULL);
4843 assert(tree->
root == NULL);
4851 assert(var != NULL);
4892 assert(tree != NULL);
4895 assert(tree->
root == NULL);
4920 SCIP_CALL(
treeNodesToQueue(tree, reopt, blkmem,
set, stat, eventqueue, lp, tree->
children, &tree->
nchildren, NULL,
4948 assert(tree != NULL);
4951 assert(tree->
root == NULL);
4957 assert(tree->
root != NULL);
4960 SCIP_CALL(
SCIPnodeFocus(&tree->
root, blkmem,
set, messagehdlr, stat, transprob, origprob, primal, tree, reopt, lp, branchcand,
4961 conflict, conflictstore, eventfilter, eventqueue, cliquetable, &cutoff,
FALSE,
FALSE) );
4990 assert(tree != NULL);
4991 assert(tree->
root != NULL);
4997 SCIP_CALL(
SCIPnodeFocus(&node, blkmem,
set, messagehdlr, stat, transprob, origprob, primal, tree, reopt, lp, branchcand,
4998 conflict, conflictstore, eventfilter, eventqueue, cliquetable, &cutoff,
FALSE,
FALSE) );
5000 assert(tree->
root == NULL);
5015 assert(tree != NULL);
5029 assert(tree != NULL);
5030 assert(stat != NULL);
5063 assert(tree != NULL);
5064 assert(stat != NULL);
5083 for( i = tree->
nsiblings-1; i >= 0; --i )
5088 SCIPsetDebugMsg(
set,
"cut off sibling #%" SCIP_LONGINT_FORMAT
" at depth %d with lowerbound=%g at position %d\n",
5091 if( set->reopt_enable )
5093 assert(reopt != NULL);
5106 for( i = tree->
nchildren-1; i >= 0; --i )
5111 SCIPsetDebugMsg(
set,
"cut off child #%" SCIP_LONGINT_FORMAT
" at depth %d with lowerbound=%g at position %d\n",
5114 if( set->reopt_enable )
5116 assert(reopt != NULL);
5153 assert(
set != NULL);
5175 switch( set->nodesel_childsel )
5190 prio = targetvalue - varsol;
5193 prio = varrootsol - varsol;
5197 if( !isroot && haslp )
5198 prio *= (varrootsol - varsol + 1.0);
5201 SCIPerrorMessage(
"invalid child selection rule <%c>\n", set->nodesel_childsel);
5207 SCIPerrorMessage(
"invalid preferred branching direction <%d> of variable <%s>\n",
5224 switch( set->nodesel_childsel )
5239 prio = varsol - targetvalue;
5242 prio = varsol - varrootsol;
5246 if( !isroot && haslp )
5247 prio *= (varsol - varrootsol + 1.0);
5250 SCIPerrorMessage(
"invalid child selection rule <%c>\n", set->nodesel_childsel);
5261 SCIPerrorMessage(
"invalid preferred branching direction <%d> of variable <%s>\n",
5296 assert(tree != NULL);
5297 assert(var != NULL);
5320 if( estimateinc > 0.0 )
5321 estimate += estimateinc;
5373 assert(tree != NULL);
5374 assert(
set != NULL);
5375 assert(var != NULL);
5378 if( downchild != NULL )
5380 if( eqchild != NULL )
5382 if( upchild != NULL )
5407 val = (val - constant) / scalar;
5476 SCIPsetDebugMsg(
set,
"fixing continuous variable <%s> with value %g and bounds [%.15g, %.15g], priority %d (current lower bound: %g)\n",
5508 SCIPsetDebugMsg(
set,
"continuous branch on variable <%s> with bounds [%.15g, %.15g], priority %d (current lower bound: %g), node %p\n",
5534 SCIPsetDebugMsg(
set,
"continuous branch on variable <%s> with value %g, priority %d (current lower bound: %g)\n",
5559 center = (ub + lb) / 2.0;
5563 uplb = downub + 1.0;
5568 downub = uplb - 1.0;
5580 downub = fixval - 1.0;
5584 uplb = fixval + 1.0;
5586 SCIPsetDebugMsg(
set,
"integral branch on variable <%s> with value %g, priority %d (current lower bound: %g)\n",
5593 uplb = downub + 1.0;
5595 SCIPsetDebugMsg(
set,
"fractional branch on variable <%s> with value %g, root value %g, priority %d (current lower bound: %g)\n",
5613 SCIPsetDebugMsg(
set,
" -> creating child: <%s> <= %g (priority: %g, estimate: %g)\n",
5616 SCIP_CALL(
SCIPnodeAddBoundchg(node, blkmem,
set, stat, transprob, origprob, tree, reopt, lp, branchcand, eventqueue,
5621 if( downchild != NULL )
5630 SCIPsetDebugMsg(
set,
" -> creating child: <%s> == %g (priority: %g, estimate: %g)\n",
5635 SCIP_CALL(
SCIPnodeAddBoundchg(node, blkmem,
set, stat, transprob, origprob, tree, reopt, lp, branchcand, eventqueue,
5640 SCIP_CALL(
SCIPnodeAddBoundchg(node, blkmem,
set, stat, transprob, origprob, tree, reopt, lp, branchcand, eventqueue,
5646 if( eqchild != NULL )
5658 SCIPsetDebugMsg(
set,
" -> creating child: <%s> >= %g (priority: %g, estimate: %g)\n",
5661 SCIP_CALL(
SCIPnodeAddBoundchg(node, blkmem,
set, stat, transprob, origprob, tree, reopt, lp, branchcand, eventqueue,
5666 if( upchild != NULL )
5698 assert(tree != NULL);
5699 assert(
set != NULL);
5700 assert(var != NULL);
5708 if( downchild != NULL )
5710 if( upchild != NULL )
5765 SCIPsetDebugMsg(
set,
" -> creating child: <%s> <= %g (priority: %g, estimate: %g)\n",
5769 SCIP_CALL(
SCIPnodeAddBoundchg(node, blkmem,
set, stat, transprob, origprob, tree, reopt, lp, branchcand, eventqueue, NULL,
5774 if( downchild != NULL )
5785 SCIPsetDebugMsg(
set,
" -> creating child: <%s> >= %g (priority: %g, estimate: %g)\n",
5789 SCIP_CALL(
SCIPnodeAddBoundchg(node, blkmem,
set, stat, transprob, origprob, tree, reopt, lp, branchcand, eventqueue,
5794 if( upchild != NULL )
5848 assert(tree != NULL);
5849 assert(
set != NULL);
5850 assert(var != NULL);
5852 assert(minwidth >= 0.0);
5863 SCIP_CALL(
SCIPtreeBranchVar(tree, reopt, blkmem,
set, stat, transprob, origprob, lp, branchcand, eventqueue, var, val,
5864 &downchild, &fixchild, &upchild) );
5866 if( nchildren != NULL )
5867 *nchildren = (downchild != NULL ? 1 : 0) + (fixchild != NULL ? 1 : 0) + (upchild != NULL ? 1 : 0);
5894 val = (val - constant) / scalar;
5968 else if( widthfactor == 1.0 )
5986 assert(widthfactor > 1.0);
5988 width *= (widthfactor - 1.0) / (
pow(widthfactor, (
SCIP_Real)(n/2)) - 1.0);
5990 width /= 0.5 + widthfactor * (
pow(widthfactor, (
SCIP_Real)(n/2)) - 1.0) / (widthfactor - 1.0);
5993 minwidth =
MAX(1.0, minwidth);
5994 if( width < minwidth )
5998 SCIPsetDebugMsg(
set,
"%d-ary branching on variable <%s> [%g, %g] around %g, initial width = %g\n",
6001 if( nchildren != NULL )
6008 left = val - width/2.0;
6009 right = val + width/2.0;
6026 SCIPsetDebugMsg(
set,
" -> creating middle child: %g <= <%s> <= %g (priority: %g, estimate: %g, width: %g)\n",
6027 left,
SCIPvarGetName(var), right, priority, estimate, right - left);
6030 SCIP_CALL(
SCIPnodeAddBoundchg(node, blkmem,
set, stat, transprob, origprob, tree, reopt, lp, branchcand,
6032 SCIP_CALL(
SCIPnodeAddBoundchg(node, blkmem,
set, stat, transprob, origprob, tree, reopt, lp, branchcand, eventqueue,
6037 if( nchildren != NULL )
6049 width *= widthfactor;
6057 if( right - left < 0.5 )
6074 for( i = 0; i < n; ++i )
6105 SCIPsetDebugMsg(
set,
" -> creating left child: %g <= <%s> <= %g (priority: %g, estimate: %g, width: %g)\n",
6111 SCIP_CALL(
SCIPnodeAddBoundchg(node, blkmem,
set, stat, transprob, origprob, tree, reopt, lp, branchcand, eventqueue,
6114 SCIP_CALL(
SCIPnodeAddBoundchg(node, blkmem,
set, stat, transprob, origprob, tree, reopt, lp, branchcand, eventqueue,
6119 if( nchildren != NULL )
6139 bnd = right + width;
6156 SCIPsetDebugMsg(
set,
" -> creating right child: %g <= <%s> <= %g (priority: %g, estimate: %g, width: %g)\n",
6157 right,
SCIPvarGetName(var), bnd, priority, estimate, bnd - right);
6160 SCIP_CALL(
SCIPnodeAddBoundchg(node, blkmem,
set, stat, transprob, origprob, tree, reopt, lp, branchcand, eventqueue,
6164 SCIP_CALL(
SCIPnodeAddBoundchg(node, blkmem,
set, stat, transprob, origprob, tree, reopt, lp, branchcand, eventqueue,
6170 if( nchildren != NULL )
6178 width *= widthfactor;
6187 #define ARRAYGROWTH 5 6197 int idx = preferred ? 0 : 1;
6200 assert(pos < tree->divebdchgsize[idx]);
6229 int idx = preferred ? 0 : 1;
6231 assert(variables != NULL);
6232 assert(directions != NULL);
6233 assert(values != NULL);
6234 assert(ndivebdchgs != NULL);
6249 for( p = 0; p < 2; ++p )
6269 assert(tree != NULL);
6272 assert(blkmem != NULL);
6273 assert(
set != NULL);
6284 assert(node != NULL);
6308 SCIPsetDebugMsg(
set,
"created probing root node #%" SCIP_LONGINT_FORMAT
" at depth %d\n",
6316 SCIPsetDebugMsg(
set,
"created probing child node #%" SCIP_LONGINT_FORMAT
" at depth %d, probing depth %d\n",
6352 assert(tree != NULL);
6358 SCIPsetDebugMsg(
set,
"probing started in depth %d (LP flushed: %u, LP solved: %u, solstat: %d), probing root in depth %d\n",
6444 assert(tree != NULL);
6446 assert(lpistate != NULL);
6447 assert(lpinorms != NULL);
6494 assert(tree != NULL);
6510 assert(node != NULL);
6531 assert(node != NULL);
6536 if( lpistate == NULL )
6547 if( lpistate != NULL )
6550 lpwasprimfeas, lpwasprimchecked, lpwasdualfeas, lpwasdualchecked) );
6554 if( lpinorms != NULL )
6575 assert(tree != NULL);
6616 assert(tree != NULL);
6632 assert(newpathlen >= 1);
6635 if( newpathlen < tree->pathlen )
6647 while( tree->
pathlen > newpathlen )
6692 assert(tree->
pathlen == newpathlen);
6720 SCIP_CALL(
treeApplyPendingBdchgs(tree, reopt, blkmem,
set, stat, transprob, origprob, lp, branchcand, eventqueue, cliquetable) );
6758 assert(tree != NULL);
6763 SCIP_CALL(
treeBacktrackProbing(tree, reopt, blkmem,
set, stat, transprob, origprob, lp, primal, branchcand,
6764 eventqueue, eventfilter, cliquetable, probingdepth) );
6793 assert(tree != NULL);
6804 assert(
set != NULL);
6807 SCIP_CALL(
treeBacktrackProbing(tree, reopt, blkmem,
set, stat, transprob, origprob, lp, primal, branchcand,
6808 eventqueue, eventfilter, cliquetable, -1) );
6854 SCIP_CALL(
SCIPlpSolveAndEval(lp,
set, messagehdlr, blkmem, stat, eventqueue, eventfilter, transprob, -1LL,
FALSE,
FALSE,
FALSE, &lperror) );
6858 "(node %" SCIP_LONGINT_FORMAT
") unresolved numerical troubles while resolving LP %" SCIP_LONGINT_FORMAT
" after probing\n",
6869 "LP was not resolved to a sufficient status after probing\n");
6904 SCIPsetDebugMsg(
set,
"clearing lp state at end of probing mode because LP was initially unsolved\n");
6947 assert(tree != NULL);
6948 assert(
set != NULL);
6949 assert(relaxation != NULL);
6950 assert(transprob != NULL);
6953 nvars = transprob->
nvars;
6954 vars = transprob->
vars;
6963 for( v = 0; v < nvars; ++v )
6984 assert(tree != NULL);
6985 assert(
set != NULL);
6989 nvars = transprob->
nvars;
6990 vars = transprob->
vars;
6993 for( v = 0; v < nvars; ++v )
7013 assert(tree != NULL);
7025 assert((tree->
nchildren == 0) == (bestnode == NULL));
7039 assert(tree != NULL);
7051 assert((tree->
nsiblings == 0) == (bestnode == NULL));
7066 assert(tree != NULL);
7069 assert(nodesel != NULL);
7093 assert(tree != NULL);
7096 assert(nodesel != NULL);
7115 assert(tree != NULL);
7132 assert(tree != NULL);
7135 assert(nodesel != NULL);
7143 bestnode = bestchild;
7144 if( bestsibling != NULL && (bestnode == NULL ||
SCIPnodeselCompare(nodesel,
set, bestsibling, bestnode) < 0) )
7145 bestnode = bestsibling;
7146 if( bestleaf != NULL && (bestnode == NULL ||
SCIPnodeselCompare(nodesel,
set, bestleaf, bestnode) < 0) )
7147 bestnode = bestleaf;
7163 assert(tree != NULL);
7164 assert(
set != NULL);
7203 assert(tree != NULL);
7204 assert(
set != NULL);
7219 lowerboundnode = tree->
children[i];
7234 lowerboundnode = tree->
siblings[i];
7241 return lowerboundnode;
7254 assert(tree != NULL);
7283 return nnodes == 0 ? 0.0 : lowerboundsum/
nnodes;
7299 #undef SCIPnodeGetType 7300 #undef SCIPnodeGetNumber 7301 #undef SCIPnodeGetDepth 7302 #undef SCIPnodeGetLowerbound 7303 #undef SCIPnodeGetEstimate 7304 #undef SCIPnodeGetDomchg 7305 #undef SCIPnodeGetParent 7306 #undef SCIPnodeGetConssetchg 7307 #undef SCIPnodeIsActive 7308 #undef SCIPnodeIsPropagatedAgain 7309 #undef SCIPtreeGetNLeaves 7310 #undef SCIPtreeGetNChildren 7311 #undef SCIPtreeGetNSiblings 7312 #undef SCIPtreeGetNNodes 7313 #undef SCIPtreeIsPathComplete 7314 #undef SCIPtreeProbing 7315 #undef SCIPtreeGetProbingRoot 7316 #undef SCIPtreeGetProbingDepth 7317 #undef SCIPtreeGetFocusNode 7318 #undef SCIPtreeGetFocusDepth 7319 #undef SCIPtreeHasFocusNodeLP 7320 #undef SCIPtreeSetFocusNodeLP 7321 #undef SCIPtreeIsFocusNodeLPConstructed 7322 #undef SCIPtreeInRepropagation 7323 #undef SCIPtreeGetCurrentNode 7324 #undef SCIPtreeGetCurrentDepth 7325 #undef SCIPtreeHasCurrentNodeLP 7326 #undef SCIPtreeGetEffectiveRootDepth 7327 #undef SCIPtreeGetRootNode 7328 #undef SCIPtreeProbingObjChanged 7329 #undef SCIPtreeMarkProbingObjChanged 7336 assert(node != NULL);
7346 assert(node != NULL);
7356 assert(node != NULL);
7358 return (
int) node->
depth;
7366 assert(node != NULL);
7376 assert(node != NULL);
7386 assert(node != NULL);
7397 assert(node != NULL);
7407 node->
reopttype = (
unsigned int) reopttype;
7417 assert(node != NULL);
7428 assert(node != NULL);
7429 assert(
id <= 536870911);
7441 assert(node != NULL);
7459 assert(node != NULL);
7461 count_branchings = (nbranchings != NULL);
7462 count_consprop = (nconsprop != NULL);
7463 count_prop = (nprop != NULL);
7466 if( count_branchings )
7468 if( count_consprop )
7473 if( node->
domchg != NULL )
7506 int npseudobranchvars;
7508 assert(node != NULL);
7510 if( node->
domchg == NULL )
7516 npseudobranchvars = 0;
7518 assert(boundchgs != NULL);
7519 assert(nboundchgs >= 0);
7524 for( i = nboundchgs-1; i >= 0; i--)
7535 npseudobranchvars++;
7540 return npseudobranchvars;
7559 assert(node != NULL);
7560 assert(vars != NULL);
7561 assert(bounds != NULL);
7562 assert(boundtypes != NULL);
7563 assert(nvars != NULL);
7564 assert(varssize >= 0);
7574 assert(boundchgs != NULL);
7575 assert(nboundchgs >= 0);
7580 for( i = nboundchgs-1; i >= 0; i--)
7596 if( varssize >= *nvars )
7600 for( i = i+1; i < nboundchgs; i++)
7611 vars[j] = boundchgs[i].
var;
7626 assert(node != NULL);
7647 assert(node != NULL);
7648 assert(branchvars != NULL);
7649 assert(branchbounds != NULL);
7650 assert(boundtypes != NULL);
7651 assert(nbranchvars != NULL);
7652 assert(branchvarssize >= 0);
7662 assert(boundchgs != NULL);
7663 assert(nboundchgs >= 0);
7668 for( i = 0; i < nboundchgs; i++)
7678 for( ; i < nboundchgs; i++)
7683 if( branchvarssize >= *nbranchvars )
7685 for( i = 0; i < *nbranchvars; i++)
7688 branchvars[i] = boundchgs[i].
var;
7690 branchbounds[i] = boundchgs[i].
newbound;
7707 assert(node != NULL);
7708 assert(branchvars != NULL);
7709 assert(branchbounds != NULL);
7710 assert(boundtypes != NULL);
7711 assert(nbranchvars != NULL);
7712 assert(branchvarssize >= 0);
7718 int nodenbranchvars;
7722 start = *nbranchvars < branchvarssize - 1 ? *nbranchvars : branchvarssize - 1;
7723 size = *nbranchvars > branchvarssize ? 0 : branchvarssize-(*nbranchvars);
7726 *nbranchvars += nodenbranchvars;
7745 assert(node != NULL);
7746 assert(parent != NULL);
7747 assert(branchvars != NULL);
7748 assert(branchbounds != NULL);
7749 assert(boundtypes != NULL);
7750 assert(nbranchvars != NULL);
7751 assert(branchvarssize >= 0);
7755 while( node != parent )
7757 int nodenbranchvars;
7761 start = *nbranchvars < branchvarssize - 1 ? *nbranchvars : branchvarssize - 1;
7762 size = *nbranchvars > branchvarssize ? 0 : branchvarssize-(*nbranchvars);
7765 *nbranchvars += nodenbranchvars;
7782 int conspropvarssize
7791 assert(node != NULL);
7792 assert(vars != NULL);
7793 assert(varbounds != NULL);
7794 assert(varboundtypes != NULL);
7795 assert(nconspropvars != NULL);
7796 assert(conspropvarssize >= 0);
7798 (*nconspropvars) = 0;
7806 assert(boundchgs != NULL);
7807 assert(nboundchgs >= 0);
7812 while( i < nboundchgs
7820 for(i = nskip; i < first_dual; i++)
7836 if( conspropvarssize >= *nconspropvars )
7840 for(i = nskip, pos = 0; i < first_dual; i++)
7846 vars[pos] = boundchgs[i].
var;
7848 varbounds[pos] = boundchgs[i].
newbound;
7879 assert(node != NULL);
7880 assert(vars != NULL);
7881 assert(varbounds != NULL);
7882 assert(varboundtypes != NULL);
7883 assert(nbranchvars != NULL);
7884 assert(branchvarssize >= 0);
7894 assert(boundchgs != NULL);
7895 assert(nboundchgs >= 0);
7899 while( i < nboundchgs
7907 for( ; i < nboundchgs; i++)
7920 if( branchvarssize >= *nbranchvars )
7923 for(i = first_dual, p = start; i < nboundchgs; i++)
7930 vars[p] = boundchgs[i].
var;
7932 varbounds[p] = boundchgs[i].
newbound;
7963 for( i = 0; i < nboundchgs; i++)
7971 SCIPgmlWriteNode(file, (
unsigned int)nbranchings, label,
"circle", NULL, NULL);
7973 if( nbranchings > 0 )
7975 SCIPgmlWriteArc(file, (
unsigned int)nbranchings, (
unsigned int)(nbranchings-1), NULL, NULL);
8009 assert(node != NULL);
8010 assert(branchvars != NULL);
8011 assert(branchbounds != NULL);
8012 assert(boundtypes != NULL);
8013 assert(nbranchvars != NULL);
8014 assert(branchvarssize >= 0);
8022 int nodenbranchvars;
8027 start = *nbranchvars < branchvarssize - 1 ? *nbranchvars : branchvarssize - 1;
8028 size = *nbranchvars > branchvarssize ? 0 : branchvarssize-(*nbranchvars);
8029 if( *nnodes < nodeswitchsize )
8030 nodeswitches[*
nnodes] = start;
8034 *nbranchvars += nodenbranchvars;
8047 assert(node1 != NULL);
8048 assert(node2 != NULL);
8062 return (node1 == node2);
8071 assert(node1 != NULL);
8072 assert(node2 != NULL);
8085 while( node1 != node2 )
8101 assert(node != NULL);
8111 assert(node != NULL);
8121 assert(node != NULL);
8131 assert(tree != NULL);
8141 assert(tree != NULL);
8151 assert(tree != NULL);
8161 assert(tree != NULL);
8171 assert(tree != NULL);
8188 assert(tree != NULL);
8201 assert(tree != NULL);
8214 assert(tree != NULL);
8231 assert(tree != NULL);
8248 assert(tree != NULL);
8259 assert(tree != NULL);
8269 assert(tree != NULL);
8279 assert(tree != NULL);
8289 assert(tree != NULL);
8306 assert(tree != NULL);
8323 assert(tree != NULL);
8334 assert(tree != NULL);
8345 assert(tree != NULL);
8356 assert(tree != NULL);
8367 assert(tree != NULL);
8378 assert(tree != NULL);
SCIP_RETCODE SCIPtreeClear(SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp)
static SCIP_RETCODE forkAddLP(SCIP_NODE *fork, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_LP *lp)
SCIP_DECL_SORTPTRCOMP(SCIPnodeCompLowerbound)
enum SCIP_BoundType SCIP_BOUNDTYPE
SCIP_RETCODE SCIPtreeAddDiveBoundChange(SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_VAR *var, SCIP_BRANCHDIR dir, SCIP_Real value, SCIP_Bool preferred)
SCIP_RETCODE SCIPlpGetProvedLowerbound(SCIP_LP *lp, SCIP_SET *set, SCIP_Real *bound)
SCIP_RETCODE SCIPtreeCreatePresolvingRoot(SCIP_TREE *tree, SCIP_REOPT *reopt, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_PRIMAL *primal, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_CONFLICT *conflict, SCIP_CONFLICTSTORE *conflictstore, SCIP_EVENTFILTER *eventfilter, SCIP_EVENTQUEUE *eventqueue, SCIP_CLIQUETABLE *cliquetable)
void SCIPnodeGetParentBranchings(SCIP_NODE *node, SCIP_VAR **branchvars, SCIP_Real *branchbounds, SCIP_BOUNDTYPE *boundtypes, int *nbranchvars, int branchvarssize)
void SCIPnodeGetDualBoundchgs(SCIP_NODE *node, SCIP_VAR **vars, SCIP_Real *bounds, SCIP_BOUNDTYPE *boundtypes, int *nvars, int varssize)
SCIP_Real SCIPvarGetWorstBoundLocal(SCIP_VAR *var)
SCIP_Bool SCIPsetIsInfinity(SCIP_SET *set, SCIP_Real val)
SCIP_RETCODE SCIPtreeEndProbing(SCIP_TREE *tree, SCIP_REOPT *reopt, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_LP *lp, SCIP_RELAXATION *relaxation, SCIP_PRIMAL *primal, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_CLIQUETABLE *cliquetable)
#define BMSfreeBlockMemoryArrayNull(mem, ptr, num)
internal methods for managing events
SCIP_RETCODE SCIPlpFreeNorms(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_LPINORMS **lpinorms)
SCIP_RETCODE SCIPnodepqBound(SCIP_NODEPQ *nodepq, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_TREE *tree, SCIP_REOPT *reopt, SCIP_LP *lp, SCIP_Real cutoffbound)
SCIP_Bool lpwasdualchecked
SCIP_RETCODE SCIPnodeCreateChild(SCIP_NODE **node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_Real nodeselprio, SCIP_Real estimate)
SCIP_RETCODE SCIPtreeSetProbingLPState(SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_LP *lp, SCIP_LPISTATE **lpistate, SCIP_LPINORMS **lpinorms, SCIP_Bool primalfeas, SCIP_Bool dualfeas)
SCIP_VAR ** SCIPcliqueGetVars(SCIP_CLIQUE *clique)
SCIP_Bool SCIPsetIsLE(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_PSEUDOFORK * pseudofork
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)
int SCIPlpGetNNewrows(SCIP_LP *lp)
SCIP_Bool SCIPsetIsFeasZero(SCIP_SET *set, SCIP_Real val)
void SCIPvisualRepropagatedNode(SCIP_VISUAL *visual, SCIP_STAT *stat, SCIP_NODE *node)
static SCIP_RETCODE treeEnsurePendingbdchgsMem(SCIP_TREE *tree, SCIP_SET *set, int num)
unsigned int lpwasdualfeas
void SCIPvarMarkNotDeletable(SCIP_VAR *var)
SCIP_Bool SCIPtreeHasFocusNodeLP(SCIP_TREE *tree)
static SCIP_RETCODE junctionInit(SCIP_JUNCTION *junction, SCIP_TREE *tree)
SCIP_Bool SCIPlpDiving(SCIP_LP *lp)
SCIP_RETCODE SCIPconssetchgFree(SCIP_CONSSETCHG **conssetchg, BMS_BLKMEM *blkmem, SCIP_SET *set)
#define SCIPdebugRemoveNode(blkmem, set, node)
#define BMSfreeMemoryArrayNull(ptr)
SCIP_RETCODE SCIPlpShrinkRows(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, int newnrows)
void SCIPlpSetIsRelax(SCIP_LP *lp, SCIP_Bool relax)
union SCIP_BoundChg::@12 data
static SCIP_RETCODE probingnodeUpdate(SCIP_PROBINGNODE *probingnode, BMS_BLKMEM *blkmem, SCIP_TREE *tree, SCIP_LP *lp)
internal methods for branch and bound tree
SCIP_Real SCIPtreeCalcChildEstimate(SCIP_TREE *tree, SCIP_SET *set, SCIP_STAT *stat, SCIP_VAR *var, SCIP_Real targetvalue)
SCIP_RETCODE SCIPtreeBranchVarHole(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 left, SCIP_Real right, SCIP_NODE **downchild, SCIP_NODE **upchild)
SCIP_Longint ndeactivatednodes
void SCIPtreeSetFocusNodeLP(SCIP_TREE *tree, SCIP_Bool solvelp)
SCIP_NODE * SCIPnodesGetCommonAncestor(SCIP_NODE *node1, SCIP_NODE *node2)
SCIP_RETCODE SCIPeventqueueProcess(SCIP_EVENTQUEUE *eventqueue, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_PRIMAL *primal, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTFILTER *eventfilter)
SCIP_BRANCHDIR SCIPvarGetBranchDirection(SCIP_VAR *var)
SCIP_RETCODE SCIPlpFlush(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue)
SCIP_NODE * SCIPtreeGetLowerboundNode(SCIP_TREE *tree, SCIP_SET *set)
SCIP_Real SCIPsetFloor(SCIP_SET *set, SCIP_Real val)
SCIP_Bool SCIPsetIsFeasEQ(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_RETCODE SCIPlpRemoveAllObsoletes(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter)
SCIP_Real SCIPnodeGetLowerbound(SCIP_NODE *node)
methods for implications, variable bounds, and cliques
SCIP_Real SCIPvarGetLbGlobal(SCIP_VAR *var)
int SCIPnodepqCompare(SCIP_NODEPQ *nodepq, SCIP_SET *set, SCIP_NODE *node1, SCIP_NODE *node2)
SCIP_Longint focuslpstateforklpcount
static SCIP_RETCODE pseudoforkCreate(SCIP_PSEUDOFORK **pseudofork, BMS_BLKMEM *blkmem, SCIP_TREE *tree, SCIP_LP *lp)
SCIP_RETCODE SCIPtreeSetNodesel(SCIP_TREE *tree, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, SCIP_NODESEL *nodesel)
void SCIPgmlWriteArc(FILE *file, unsigned int source, unsigned int target, const char *label, const char *color)
static SCIP_RETCODE treeEnsurePathMem(SCIP_TREE *tree, SCIP_SET *set, int num)
internal methods for clocks and timing issues
SCIPInterval pow(const SCIPInterval &x, const SCIPInterval &y)
SCIP_BRANCHDIR * divebdchgdirs[2]
SCIP_BOUNDCHG * boundchgs
SCIP_Bool SCIPsetIsPositive(SCIP_SET *set, SCIP_Real val)
int SCIPtreeGetProbingDepth(SCIP_TREE *tree)
SCIP_RETCODE SCIPnodeDelCons(SCIP_NODE *node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_CONS *cons)
SCIP_RETCODE SCIPnodeAddBoundinfer(SCIP_NODE *node, 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_CLIQUETABLE *cliquetable, SCIP_VAR *var, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype, SCIP_CONS *infercons, SCIP_PROP *inferprop, int inferinfo, SCIP_Bool probingchange)
SCIP_Real SCIPvarGetLbLocal(SCIP_VAR *var)
void SCIProwCapture(SCIP_ROW *row)
SCIP_CLIQUE ** SCIPvarGetCliques(SCIP_VAR *var, SCIP_Bool varfixing)
SCIP_PROBINGNODE * probingnode
SCIP_RETCODE SCIPtreeCreate(SCIP_TREE **tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_NODESEL *nodesel)
unsigned int repropsubtreemark
SCIP_NODE * SCIPnodeGetParent(SCIP_NODE *node)
void SCIPgmlWriteNode(FILE *file, unsigned int id, const char *label, const char *nodetype, const char *fillcolor, const char *bordercolor)
void SCIPnodeGetAddedConss(SCIP_NODE *node, SCIP_CONS **addedconss, int *naddedconss, int addedconsssize)
void SCIPnodeSetReoptID(SCIP_NODE *node, unsigned int id)
SCIP_RETCODE SCIPvarAddHoleGlobal(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_Real left, SCIP_Real right, SCIP_Bool *added)
SCIP_RETCODE SCIPtreeBacktrackProbing(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_PRIMAL *primal, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_CLIQUETABLE *cliquetable, int probingdepth)
interface methods for specific LP solvers
SCIP_Bool SCIPvarIsBinary(SCIP_VAR *var)
SCIP_NODE * SCIPtreeGetBestNode(SCIP_TREE *tree, SCIP_SET *set)
SCIP_Real SCIPsetInfinity(SCIP_SET *set)
SCIP_Longint nactiveconssadded
SCIP_NODE * SCIPtreeGetProbingRoot(SCIP_TREE *tree)
SCIP_Real SCIPvarGetSol(SCIP_VAR *var, SCIP_Bool getlpval)
SCIP_NODE * SCIPtreeGetBestChild(SCIP_TREE *tree, SCIP_SET *set)
SCIP_Real * divebdchgvals[2]
SCIP_Real SCIPvarGetRootSol(SCIP_VAR *var)
int SCIPnodepqLen(const SCIP_NODEPQ *nodepq)
SCIP_RETCODE SCIPlpFreeState(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_LPISTATE **lpistate)
void SCIPgmlWriteClosing(FILE *file)
SCIP_BOUNDTYPE SCIPboundchgGetBoundtype(SCIP_BOUNDCHG *boundchg)
unsigned int lpwasdualchecked
static SCIP_RETCODE subrootFree(SCIP_SUBROOT **subroot, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_LP *lp)
void SCIPclockStop(SCIP_CLOCK *clck, SCIP_SET *set)
static void forkCaptureLPIState(SCIP_FORK *fork, int nuses)
SCIP_Bool probdiverelaxstored
SCIP_LPINORMS * probinglpinorms
static SCIP_RETCODE focusnodeToLeaf(BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_TREE *tree, SCIP_REOPT *reopt, SCIP_LP *lp, SCIP_NODE *lpstatefork, SCIP_Real cutoffbound)
static void treeRemoveSibling(SCIP_TREE *tree, SCIP_NODE *sibling)
SCIP_Bool SCIPsetIsFeasIntegral(SCIP_SET *set, SCIP_Real val)
SCIP_RETCODE SCIPdomchgUndo(SCIP_DOMCHG *domchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue)
SCIP_Real SCIPrelDiff(SCIP_Real val1, SCIP_Real val2)
SCIP_Bool probinglpwasdualchecked
struct SCIP_LPiNorms SCIP_LPINORMS
void SCIPclockStart(SCIP_CLOCK *clck, SCIP_SET *set)
SCIP_Longint ncreatednodes
int SCIPsnprintf(char *t, int len, const char *s,...)
SCIP_Bool SCIPsetIsZero(SCIP_SET *set, SCIP_Real val)
SCIP_RETCODE SCIPeventqueueDelay(SCIP_EVENTQUEUE *eventqueue)
SCIP_NODE * SCIPnodepqGetLowerboundNode(SCIP_NODEPQ *nodepq, SCIP_SET *set)
enum SCIP_Retcode SCIP_RETCODE
SCIP_RETCODE SCIPtreeLoadLPState(SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp)
SCIP_RETCODE SCIPlpGetState(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_LPISTATE **lpistate)
int SCIPtreeGetCurrentDepth(SCIP_TREE *tree)
SCIP_Real SCIPnodepqGetLowerboundSum(SCIP_NODEPQ *nodepq)
int SCIPvarGetProbindex(SCIP_VAR *var)
int SCIPsetCalcMemGrowSize(SCIP_SET *set, int num)
SCIP_NODE * SCIPtreeGetFocusNode(SCIP_TREE *tree)
#define BMSallocMemoryArray(ptr, num)
SCIP_Bool probinglpwasflushed
static SCIP_RETCODE treeBacktrackProbing(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_PRIMAL *primal, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_CLIQUETABLE *cliquetable, int probingdepth)
SCIP_Real SCIPvarGetAvgInferences(SCIP_VAR *var, SCIP_STAT *stat, SCIP_BRANCHDIR dir)
SCIP_RETCODE SCIPlpSolveAndEval(SCIP_LP *lp, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, BMS_BLKMEM *blkmem, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_PROB *prob, SCIP_Longint itlim, SCIP_Bool limitresolveiters, SCIP_Bool aging, SCIP_Bool keepsol, SCIP_Bool *lperror)
SCIP_ROW ** SCIPlpGetRows(SCIP_LP *lp)
SCIP_RETCODE SCIPlpCleanupAll(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_Bool root)
void SCIPrelaxationSetSolValid(SCIP_RELAXATION *relaxation, SCIP_Bool isvalid, SCIP_Bool includeslp)
SCIP_Bool probingsolvedlp
SCIP_Bool SCIPrelaxationIsSolValid(SCIP_RELAXATION *relaxation)
SCIP_RETCODE SCIPlpSetNorms(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_LPINORMS *lpinorms)
int SCIPnodeGetDepth(SCIP_NODE *node)
methods for creating output for visualization tools (VBC, BAK)
static SCIP_RETCODE treeAddChild(SCIP_TREE *tree, SCIP_SET *set, SCIP_NODE *child, SCIP_Real nodeselprio)
SCIP_Bool SCIPvarIsDeletable(SCIP_VAR *var)
int SCIPvarGetConflictingBdchgDepth(SCIP_VAR *var, SCIP_SET *set, SCIP_BOUNDTYPE boundtype, SCIP_Real bound)
#define BMSfreeMemory(ptr)
SCIP_RETCODE SCIPlpEndProbing(SCIP_LP *lp)
SCIP_NODESEL * SCIPnodepqGetNodesel(SCIP_NODEPQ *nodepq)
void SCIPvarAdjustLb(SCIP_VAR *var, SCIP_SET *set, SCIP_Real *lb)
static void treeChildrenToSiblings(SCIP_TREE *tree)
unsigned int lpwasdualfeas
SCIP_CONS ** disabledconss
static SCIP_RETCODE probingnodeFree(SCIP_PROBINGNODE **probingnode, BMS_BLKMEM *blkmem, SCIP_LP *lp)
SCIP_LPSOLSTAT SCIPlpGetSolstat(SCIP_LP *lp)
SCIP_Real SCIPsetCeil(SCIP_SET *set, SCIP_Real val)
SCIP_RETCODE SCIPlpiClearState(SCIP_LPI *lpi)
static SCIP_RETCODE treeCreateProbingNode(SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_LP *lp)
#define SCIPstatIncrement(stat, set, field)
internal methods for LP management
SCIP_Bool SCIPconsIsActive(SCIP_CONS *cons)
int SCIPvarGetNCliques(SCIP_VAR *var, SCIP_Bool varfixing)
SCIP_Bool SCIPtreeIsPathComplete(SCIP_TREE *tree)
SCIP_Bool SCIPtreeIsFocusNodeLPConstructed(SCIP_TREE *tree)
void SCIPnodeGetAncestorBranchings(SCIP_NODE *node, SCIP_VAR **branchvars, SCIP_Real *branchbounds, SCIP_BOUNDTYPE *boundtypes, int *nbranchvars, int branchvarssize)
internal methods for collecting primal CIP solutions and primal informations
SCIP_Bool SCIPconsIsGlobal(SCIP_CONS *cons)
int SCIPlpGetNCols(SCIP_LP *lp)
unsigned int lpwasprimchecked
SCIP_Bool SCIPsetIsGE(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
internal methods for propagators
SCIP_Bool SCIPclockIsRunning(SCIP_CLOCK *clck)
SCIP_RETCODE SCIPnodepqInsert(SCIP_NODEPQ *nodepq, SCIP_SET *set, SCIP_NODE *node)
int SCIPtreeGetFocusDepth(SCIP_TREE *tree)
static SCIP_RETCODE pseudoforkAddLP(SCIP_NODE *pseudofork, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_LP *lp)
enum SCIP_BranchDir SCIP_BRANCHDIR
SCIP_Longint SCIPnodeGetNumber(SCIP_NODE *node)
int SCIPtreeGetNChildren(SCIP_TREE *tree)
SCIP_NODE * SCIPtreeGetBestLeaf(SCIP_TREE *tree)
static SCIP_RETCODE nodeRepropagate(SCIP_NODE *node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_REOPT *reopt, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_CONFLICT *conflict, SCIP_EVENTFILTER *eventfilter, SCIP_EVENTQUEUE *eventqueue, SCIP_CLIQUETABLE *cliquetable, SCIP_Bool *cutoff)
SCIP_RETCODE SCIPnodeCutoff(SCIP_NODE *node, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_REOPT *reopt, SCIP_LP *lp, BMS_BLKMEM *blkmem)
unsigned int lpwasprimchecked
SCIP_Real SCIPvarGetUbGlobal(SCIP_VAR *var)
SCIP_Bool SCIPsetIsLT(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_VAR * SCIPvarGetProbvar(SCIP_VAR *var)
SCIP_Bool probinglpwassolved
SCIP_RETCODE SCIPlpCleanupNew(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_Bool root)
SCIP_Real SCIPtreeCalcNodeselPriority(SCIP_TREE *tree, SCIP_SET *set, SCIP_STAT *stat, SCIP_VAR *var, SCIP_BRANCHDIR branchdir, SCIP_Real targetvalue)
SCIP_REOPTTYPE SCIPnodeGetReopttype(SCIP_NODE *node)
SCIP_Bool probingloadlpistate
static SCIP_RETCODE subrootConstructLP(SCIP_NODE *subroot, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_LP *lp)
SCIP_Bool SCIPtreeProbing(SCIP_TREE *tree)
SCIP_RETCODE SCIPprobPerformVarDeletions(SCIP_PROB *prob, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_CLIQUETABLE *cliquetable, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand)
SCIP_RETCODE SCIPlpSetState(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LPISTATE *lpistate, SCIP_Bool wasprimfeas, SCIP_Bool wasprimchecked, SCIP_Bool wasdualfeas, SCIP_Bool wasdualchecked)
SCIP_RETCODE SCIPvisualNewChild(SCIP_VISUAL *visual, SCIP_SET *set, SCIP_STAT *stat, SCIP_NODE *node)
void SCIPnodeUpdateLowerbound(SCIP_NODE *node, SCIP_STAT *stat, SCIP_SET *set, SCIP_TREE *tree, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_Real newbound)
SCIP_Real SCIPvarGetPseudocost(SCIP_VAR *var, SCIP_STAT *stat, SCIP_Real solvaldelta)
int SCIPlpGetNNewcols(SCIP_LP *lp)
#define BMSduplicateBlockMemoryArray(mem, ptr, source, num)
SCIP_RETCODE SCIPconssetchgApply(SCIP_CONSSETCHG *conssetchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, int depth, SCIP_Bool focusnode)
SCIP_Bool probingobjchanged
SCIP_RETCODE SCIPlpStartProbing(SCIP_LP *lp)
SCIP_RETCODE SCIPdomchgApplyGlobal(SCIP_DOMCHG *domchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_CLIQUETABLE *cliquetable, SCIP_Bool *cutoff)
SCIP_Bool SCIPnodesSharePath(SCIP_NODE *node1, SCIP_NODE *node2)
void SCIPnodeGetAncestorBranchingPath(SCIP_NODE *node, SCIP_VAR **branchvars, SCIP_Real *branchbounds, SCIP_BOUNDTYPE *boundtypes, int *nbranchvars, int branchvarssize, int *nodeswitches, int *nnodes, int nodeswitchsize)
#define BMSfreeMemoryArray(ptr)
static SCIP_RETCODE forkReleaseLPIState(SCIP_FORK *fork, BMS_BLKMEM *blkmem, SCIP_LP *lp)
static void treeFindSwitchForks(SCIP_TREE *tree, SCIP_NODE *node, SCIP_NODE **commonfork, SCIP_NODE **newlpfork, SCIP_NODE **newlpstatefork, SCIP_NODE **newsubroot, SCIP_Bool *cutoff)
internal methods for storing and manipulating the main problem
void SCIPmessagePrintVerbInfo(SCIP_MESSAGEHDLR *messagehdlr, SCIP_VERBLEVEL verblevel, SCIP_VERBLEVEL msgverblevel, const char *formatstr,...)
SCIP_Bool SCIPboundchgIsRedundant(SCIP_BOUNDCHG *boundchg)
SCIP_RETCODE SCIPdomchgMakeStatic(SCIP_DOMCHG **domchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp)
static SCIP_RETCODE pseudoforkFree(SCIP_PSEUDOFORK **pseudofork, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_LP *lp)
SCIP_RETCODE SCIPdomchgFree(SCIP_DOMCHG **domchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp)
SCIP_RETCODE SCIPvarChgObj(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_PROB *prob, SCIP_PRIMAL *primal, SCIP_LP *lp, SCIP_EVENTQUEUE *eventqueue, SCIP_Real newobj)
void SCIPnodeGetNDomchg(SCIP_NODE *node, int *nbranchings, int *nconsprop, int *nprop)
static SCIP_RETCODE treeAddPendingBdchg(SCIP_TREE *tree, SCIP_SET *set, SCIP_NODE *node, SCIP_VAR *var, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype, SCIP_CONS *infercons, SCIP_PROP *inferprop, int inferinfo, SCIP_Bool probingchange)
SCIP_RETCODE SCIPlpAddCol(SCIP_LP *lp, SCIP_SET *set, SCIP_COL *col, int depth)
SCIP_Bool SCIPtreeInRepropagation(SCIP_TREE *tree)
SCIP_RETCODE SCIPnodeFocus(SCIP_NODE **node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_REOPT *reopt, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_CONFLICT *conflict, SCIP_CONFLICTSTORE *conflictstore, SCIP_EVENTFILTER *eventfilter, SCIP_EVENTQUEUE *eventqueue, SCIP_CLIQUETABLE *cliquetable, SCIP_Bool *cutoff, SCIP_Bool postponed, SCIP_Bool exitsolve)
#define SCIPdebugCheckInference(blkmem, set, node, var, newbound, boundtype)
SCIP_Bool SCIPsetIsRelEQ(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_RETCODE SCIPvarRelease(SCIP_VAR **var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp)
SCIP_RETCODE SCIPlpShrinkCols(SCIP_LP *lp, SCIP_SET *set, int newncols)
SCIP_COL ** SCIPlpGetCols(SCIP_LP *lp)
SCIP_LPISTATE * probinglpistate
SCIP_RETCODE SCIPnodepqSetNodesel(SCIP_NODEPQ **nodepq, SCIP_SET *set, SCIP_NODESEL *nodesel)
void SCIPnodeMarkPropagated(SCIP_NODE *node, SCIP_TREE *tree)
static SCIP_RETCODE focusnodeToPseudofork(BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_TREE *tree, SCIP_REOPT *reopt, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_CLIQUETABLE *cliquetable)
SCIP_NODE * focuslpstatefork
const char * SCIPconsGetName(SCIP_CONS *cons)
void SCIPlpMarkSize(SCIP_LP *lp)
SCIP_RETCODE SCIPnodePrintAncestorBranchings(SCIP_NODE *node, FILE *file)
const char * SCIPvarGetName(SCIP_VAR *var)
SCIP_NODE * SCIPtreeGetBestSibling(SCIP_TREE *tree, SCIP_SET *set)
void SCIPnodeGetAncestorBranchingsPart(SCIP_NODE *node, SCIP_NODE *parent, SCIP_VAR **branchvars, SCIP_Real *branchbounds, SCIP_BOUNDTYPE *boundtypes, int *nbranchvars, int branchvarssize)
SCIP_Bool SCIPnodeIsPropagatedAgain(SCIP_NODE *node)
SCIP_Real SCIPsetFeasCeil(SCIP_SET *set, SCIP_Real val)
struct SCIP_LPiState SCIP_LPISTATE
static void treeCheckPath(SCIP_TREE *tree)
SCIP_DOMCHG * SCIPnodeGetDomchg(SCIP_NODE *node)
SCIP_RETCODE SCIPlpAddRow(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_ROW *row, int depth)
SCIP_RETCODE SCIPtreeLoadLP(SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_LP *lp, SCIP_Bool *initroot)
enum SCIP_ReoptType SCIP_REOPTTYPE
SCIP_RETCODE SCIPvarSetRelaxSol(SCIP_VAR *var, SCIP_SET *set, SCIP_RELAXATION *relaxation, SCIP_Real solval, SCIP_Bool updateobj)
int appliedeffectiverootdepth
static SCIP_RETCODE focusnodeToFork(BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_TREE *tree, SCIP_REOPT *reopt, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_CLIQUETABLE *cliquetable)
SCIP_Real SCIPvarGetLPSol(SCIP_VAR *var)
SCIP_Bool SCIPsetIsRelGT(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
static void subrootCaptureLPIState(SCIP_SUBROOT *subroot, int nuses)
internal methods for node selectors and node priority queues
SCIP_Real * probdiverelaxsol
static SCIP_RETCODE treeEnsureChildrenMem(SCIP_TREE *tree, SCIP_SET *set, int num)
#define SCIP_PROPTIMING_ALWAYS
internal methods for global SCIP settings
internal methods for storing conflicts
SCIP_Bool SCIPsetIsFeasGE(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
int SCIPlpGetNRows(SCIP_LP *lp)
SCIP_CONSSETCHG * SCIPnodeGetConssetchg(SCIP_NODE *node)
int SCIPnodeselCompare(SCIP_NODESEL *nodesel, SCIP_SET *set, SCIP_NODE *node1, SCIP_NODE *node2)
SCIP_RETCODE SCIPconsDisable(SCIP_CONS *cons, SCIP_SET *set, SCIP_STAT *stat)
SCIP_Bool probinglpwasprimchecked
internal methods for relaxators
SCIP_Bool SCIPsetIsEQ(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
#define SCIPdebugCheckLbGlobal(scip, var, lb)
SCIP_Real SCIPlpGetObjval(SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob)
SCIP_Longint ncreatednodesrun
SCIP_Bool SCIPsetIsFeasLE(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
#define SCIPdebugCheckUbGlobal(scip, var, ub)
SCIP_RETCODE SCIProwRelease(SCIP_ROW **row, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_LP *lp)
SCIP_RETCODE SCIPnodepqFree(SCIP_NODEPQ **nodepq, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_TREE *tree, SCIP_LP *lp)
SCIP_Real SCIPtreeGetAvgLowerbound(SCIP_TREE *tree, SCIP_Real cutoffbound)
void SCIPvarAdjustBd(SCIP_VAR *var, SCIP_SET *set, SCIP_BOUNDTYPE boundtype, SCIP_Real *bd)
void SCIPtreeClearDiveBoundChanges(SCIP_TREE *tree)
#define BMSfreeBlockMemory(mem, ptr)
data structures and methods for collecting reoptimization information
internal methods for problem variables
void SCIPnodeSetEstimate(SCIP_NODE *node, SCIP_SET *set, SCIP_Real newestimate)
int SCIPnodeGetNDualBndchgs(SCIP_NODE *node)
static SCIP_RETCODE nodeReleaseParent(SCIP_NODE *node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_TREE *tree, SCIP_LP *lp)
SCIP_BOUNDTYPE * SCIPvarGetImplTypes(SCIP_VAR *var, SCIP_Bool varfixing)
unsigned int boundchgtype
void SCIPnodePropagateAgain(SCIP_NODE *node, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree)
SCIP_INFERENCEDATA inferencedata
SCIP_RETCODE SCIPlpClear(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter)
static SCIP_RETCODE treeUpdatePathLPSize(SCIP_TREE *tree, int startdepth)
int SCIPtreeGetEffectiveRootDepth(SCIP_TREE *tree)
void SCIPlpRecomputeLocalAndGlobalPseudoObjval(SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob)
static SCIP_RETCODE treeSwitchPath(SCIP_TREE *tree, SCIP_REOPT *reopt, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_PRIMAL *primal, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_CONFLICT *conflict, SCIP_EVENTFILTER *eventfilter, SCIP_EVENTQUEUE *eventqueue, SCIP_CLIQUETABLE *cliquetable, SCIP_NODE *fork, SCIP_NODE *focusnode, SCIP_Bool *cutoff)
void SCIPvarCapture(SCIP_VAR *var)
SCIP_RETCODE SCIPreoptCheckCutoff(SCIP_REOPT *reopt, SCIP_SET *set, BMS_BLKMEM *blkmem, SCIP_NODE *node, SCIP_EVENTTYPE eventtype, SCIP_LP *lp, SCIP_LPSOLSTAT lpsolstat, SCIP_Bool isrootnode, SCIP_Bool isfocusnode, SCIP_Real lowerbound, int effectiverootdepth)
#define BMSallocBlockMemoryArray(mem, ptr, num)
SCIP_Bool lpwasprimchecked
int SCIPsetCalcPathGrowSize(SCIP_SET *set, int num)
SCIP_Bool focuslpconstructed
SCIP_Bool SCIPvarIsInLP(SCIP_VAR *var)
SCIP_Longint nearlybacktracks
SCIP_RETCODE SCIPtreeStartProbing(SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_LP *lp, SCIP_RELAXATION *relaxation, SCIP_PROB *transprob, SCIP_Bool strongbranching)
SCIP_RETCODE SCIPtreeCreateRoot(SCIP_TREE *tree, SCIP_REOPT *reopt, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp)
static SCIP_RETCODE nodeAssignParent(SCIP_NODE *node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_TREE *tree, SCIP_NODE *parent, SCIP_Real nodeselprio)
SCIP_ROW ** SCIPlpGetNewrows(SCIP_LP *lp)
int SCIPvarGetBranchPriority(SCIP_VAR *var)
SCIP_RETCODE SCIPnodepqRemove(SCIP_NODEPQ *nodepq, SCIP_SET *set, SCIP_NODE *node)
void SCIPtreeGetDiveBoundChangeData(SCIP_TREE *tree, SCIP_VAR ***variables, SCIP_BRANCHDIR **directions, SCIP_Real **values, int *ndivebdchgs, SCIP_Bool preferred)
unsigned int lpwasdualchecked
static SCIP_RETCODE focusnodeCleanupVars(BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_TREE *tree, SCIP_REOPT *reopt, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_CLIQUETABLE *cliquetable, SCIP_Bool inlp)
int SCIPvarGetNImpls(SCIP_VAR *var, SCIP_Bool varfixing)
#define BMSfreeBlockMemoryArray(mem, ptr, num)
SCIP_Bool SCIPlpDivingObjChanged(SCIP_LP *lp)
SCIP_Longint nrepropcutoffs
static SCIP_RETCODE probingnodeCreate(SCIP_PROBINGNODE **probingnode, BMS_BLKMEM *blkmem, SCIP_LP *lp)
SCIP_RETCODE SCIPnodepqCreate(SCIP_NODEPQ **nodepq, SCIP_SET *set, SCIP_NODESEL *nodesel)
static SCIP_RETCODE forkCreate(SCIP_FORK **fork, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_PROB *prob, SCIP_TREE *tree, SCIP_LP *lp)
SCIP_RETCODE SCIPboundchgApply(SCIP_BOUNDCHG *boundchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, int depth, int pos, SCIP_Bool *cutoff)
SCIP_VAR * SCIPboundchgGetVar(SCIP_BOUNDCHG *boundchg)
SCIP_Bool * SCIPcliqueGetValues(SCIP_CLIQUE *clique)
SCIP_RETCODE SCIPnodeAddHolechg(SCIP_NODE *node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_EVENTQUEUE *eventqueue, SCIP_VAR *var, SCIP_Real left, SCIP_Real right, SCIP_Bool probingchange, SCIP_Bool *added)
SCIP_BOUNDCHG * SCIPdomchgGetBoundchg(SCIP_DOMCHG *domchg, int pos)
#define SCIP_EVENTTYPE_NODEINFEASIBLE
SCIP_Bool SCIPsetIsRelLT(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
const char * SCIPnodeselGetName(SCIP_NODESEL *nodesel)
SCIP_NODE * SCIPnodepqFirst(const SCIP_NODEPQ *nodepq)
SCIP_Bool SCIPprobAllColsInLP(SCIP_PROB *prob, SCIP_SET *set, SCIP_LP *lp)
SCIP_Real SCIPvarGetObj(SCIP_VAR *var)
SCIP_RETCODE SCIPconshdlrsResetPropagationStatus(SCIP_SET *set, BMS_BLKMEM *blkmem, SCIP_CONSHDLR **conshdlrs, int nconshdlrs)
SCIP_RETCODE SCIPpropagateDomains(BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_REOPT *reopt, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_CONFLICT *conflict, SCIP_CLIQUETABLE *cliquetable, int depth, int maxproprounds, SCIP_PROPTIMING timingmask, SCIP_Bool *cutoff)
SCIP_Bool probinglpwasrelax
SCIP_Bool SCIPtreeHasCurrentNodeLP(SCIP_TREE *tree)
SCIP_RETCODE SCIPvisualUpdateChild(SCIP_VISUAL *visual, SCIP_SET *set, SCIP_STAT *stat, SCIP_NODE *node)
SCIP_RETCODE SCIPnodeCaptureLPIState(SCIP_NODE *node, int nuses)
void SCIPlpSetSizeMark(SCIP_LP *lp, int nrows, int ncols)
static SCIP_RETCODE forkFree(SCIP_FORK **fork, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_LP *lp)
void SCIPnodeGetBdChgsAfterDual(SCIP_NODE *node, SCIP_VAR **vars, SCIP_Real *varbounds, SCIP_BOUNDTYPE *varboundtypes, int start, int *nbranchvars, int branchvarssize)
SCIP_NODESEL * SCIPtreeGetNodesel(SCIP_TREE *tree)
SCIP_Real SCIPvarGetRelaxSol(SCIP_VAR *var, SCIP_SET *set)
SCIP_Real * SCIPvarGetImplBounds(SCIP_VAR *var, SCIP_Bool varfixing)
SCIP_Bool SCIPsetIsFeasLT(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool probdiverelaxincludeslp
SCIP_RETCODE SCIPlpGetNorms(SCIP_LP *lp, BMS_BLKMEM *blkmem, SCIP_LPINORMS **lpinorms)
#define SCIP_MAXTREEDEPTH
SCIP_RETCODE SCIPnodeReleaseLPIState(SCIP_NODE *node, BMS_BLKMEM *blkmem, SCIP_LP *lp)
const char * SCIPpropGetName(SCIP_PROP *prop)
SCIP_RETCODE SCIPvarGetProbvarBound(SCIP_VAR **var, SCIP_Real *bound, SCIP_BOUNDTYPE *boundtype)
SCIP_CONSSETCHG * conssetchg
SCIP_RETCODE SCIPtreeFree(SCIP_TREE **tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp)
SCIP_Real SCIPnodeGetEstimate(SCIP_NODE *node)
SCIP_Real SCIPlpGetModifiedPseudoObjval(SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob, SCIP_VAR *var, SCIP_Real oldbound, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype)
enum SCIP_NodeType SCIP_NODETYPE
static SCIP_RETCODE nodeToLeaf(SCIP_NODE **node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_TREE *tree, SCIP_REOPT *reopt, SCIP_LP *lp, SCIP_NODE *lpstatefork, SCIP_Real cutoffbound)
SCIP_VAR ** SCIPvarGetImplVars(SCIP_VAR *var, SCIP_Bool varfixing)
SCIP_Real SCIPsetFeasFloor(SCIP_SET *set, SCIP_Real val)
SCIP_DOMCHGBOUND domchgbound
SCIP_RETCODE SCIPvarChgBdGlobal(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_CLIQUETABLE *cliquetable, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype)
int SCIPtreeGetNSiblings(SCIP_TREE *tree)
int SCIPnodeGetNAddedConss(SCIP_NODE *node)
SCIP_Bool SCIPtreeProbingObjChanged(SCIP_TREE *tree)
SCIP_RETCODE SCIPtreeBranchVarNary(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, int n, SCIP_Real minwidth, SCIP_Real widthfactor, int *nchildren)
static void treeNextRepropsubtreecount(SCIP_TREE *tree)
SCIP_Real SCIPnodepqGetLowerbound(SCIP_NODEPQ *nodepq, SCIP_SET *set)
SCIP_RETCODE SCIPlpSetCutoffbound(SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob, SCIP_Real cutoffbound)
SCIP_NODE * SCIPtreeGetRootNode(SCIP_TREE *tree)
internal methods for main solving loop and node processing
SCIP_RETCODE SCIPconssetchgUndo(SCIP_CONSSETCHG *conssetchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat)
int SCIPdomchgGetNBoundchgs(SCIP_DOMCHG *domchg)
unsigned int SCIPnodeGetReoptID(SCIP_NODE *node)
static SCIP_RETCODE nodeDeactivate(SCIP_NODE *node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue)
SCIP_RETCODE SCIPnodeAddBoundchg(SCIP_NODE *node, 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_CLIQUETABLE *cliquetable, SCIP_VAR *var, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype, SCIP_Bool probingchange)
SCIP_RETCODE SCIPnodeAddHoleinfer(SCIP_NODE *node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_EVENTQUEUE *eventqueue, SCIP_VAR *var, SCIP_Real left, SCIP_Real right, SCIP_CONS *infercons, SCIP_PROP *inferprop, int inferinfo, SCIP_Bool probingchange, SCIP_Bool *added)
SCIP_RETCODE SCIPconssetchgAddAddedCons(SCIP_CONSSETCHG **conssetchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_CONS *cons, int depth, SCIP_Bool focusnode, SCIP_Bool active)
SCIP_RETCODE SCIPtreeMarkProbingNodeHasLP(SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_LP *lp)
SCIP_NODE * SCIPtreeGetCurrentNode(SCIP_TREE *tree)
unsigned int updatedisable
public methods for message output
SCIP_Bool SCIPsetIsGT(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_VARSTATUS SCIPvarGetStatus(SCIP_VAR *var)
SCIP_RETCODE SCIPnodepqClear(SCIP_NODEPQ *nodepq, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_TREE *tree, SCIP_LP *lp)
static SCIP_RETCODE subrootReleaseLPIState(SCIP_SUBROOT *subroot, BMS_BLKMEM *blkmem, SCIP_LP *lp)
SCIP_RETCODE SCIPtreeFreePresolvingRoot(SCIP_TREE *tree, SCIP_REOPT *reopt, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_PRIMAL *primal, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_CONFLICT *conflict, SCIP_CONFLICTSTORE *conflictstore, SCIP_EVENTFILTER *eventfilter, SCIP_EVENTQUEUE *eventqueue, SCIP_CLIQUETABLE *cliquetable)
SCIP_NODETYPE SCIPnodeGetType(SCIP_NODE *node)
static SCIP_RETCODE nodeCreate(SCIP_NODE **node, BMS_BLKMEM *blkmem, SCIP_SET *set)
void SCIPvisualCutoffNode(SCIP_VISUAL *visual, SCIP_SET *set, SCIP_STAT *stat, SCIP_NODE *node, SCIP_Bool infeasible)
internal methods for problem statistics
void SCIPstatUpdatePrimalDualIntegral(SCIP_STAT *stat, SCIP_SET *set, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_Real upperbound, SCIP_Real lowerbound)
SCIP_VAR ** divebdchgvars[2]
SCIP_RETCODE SCIPdomchgApply(SCIP_DOMCHG *domchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, int depth, SCIP_Bool *cutoff)
SCIP_RETCODE SCIPtreeStoreRelaxSol(SCIP_TREE *tree, SCIP_SET *set, SCIP_RELAXATION *relaxation, SCIP_PROB *transprob)
SCIP_Bool SCIPsetIsFeasPositive(SCIP_SET *set, SCIP_Real val)
SCIP_RETCODE SCIPtreeLoadProbingLPState(SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp)
SCIP_Longint nrepropboundchgs
SCIP_RETCODE SCIPvarGetProbvarHole(SCIP_VAR **var, SCIP_Real *left, SCIP_Real *right)
#define BMSallocMemory(ptr)
#define BMSreallocMemoryArray(ptr, num)
internal methods for constraints and constraint handlers
SCIP_NODE * SCIPtreeGetPrioChild(SCIP_TREE *tree)
SCIP_Bool SCIPlpIsRelax(SCIP_LP *lp)
static SCIP_RETCODE treeApplyPendingBdchgs(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_CLIQUETABLE *cliquetable)
SCIP_Bool SCIPnodeIsActive(SCIP_NODE *node)
SCIP_RETCODE SCIPnodeAddCons(SCIP_NODE *node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_CONS *cons)
SCIP_Longint nactivatednodes
SCIP_Bool SCIPsetIsFeasGT(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_RETCODE SCIPnodeUpdateLowerboundLP(SCIP_NODE *node, SCIP_SET *set, SCIP_STAT *stat, SCIP_TREE *tree, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_LP *lp)
SCIP_VARTYPE SCIPvarGetType(SCIP_VAR *var)
void SCIPnodeSetReopttype(SCIP_NODE *node, SCIP_REOPTTYPE reopttype)
static SCIP_RETCODE treeNodesToQueue(SCIP_TREE *tree, SCIP_REOPT *reopt, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_NODE **nodes, int *nnodes, SCIP_NODE *lpstatefork, SCIP_Real cutoffbound)
SCIP_RETCODE SCIPconssetchgMakeGlobal(SCIP_CONSSETCHG **conssetchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_REOPT *reopt)
SCIP_CLOCK * nodeactivationtime
SCIP_Real SCIPsetEpsilon(SCIP_SET *set)
SCIP_RETCODE SCIPconssetchgAddDisabledCons(SCIP_CONSSETCHG **conssetchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_CONS *cons)
SCIP_Bool probinglpwasprimfeas
SCIP_Real SCIPvarGetUbLocal(SCIP_VAR *var)
SCIP_Real SCIPtreeGetLowerbound(SCIP_TREE *tree, SCIP_SET *set)
int SCIPcliqueGetNVars(SCIP_CLIQUE *clique)
void SCIPgmlWriteOpening(FILE *file, SCIP_Bool directed)
void SCIPvarAdjustUb(SCIP_VAR *var, SCIP_SET *set, SCIP_Real *ub)
#define BMSallocBlockMemory(mem, ptr)
SCIP_RETCODE SCIPtreeCutoff(SCIP_TREE *tree, SCIP_REOPT *reopt, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp, SCIP_Real cutoffbound)
SCIP_RETCODE SCIPtreeRestoreRelaxSol(SCIP_TREE *tree, SCIP_SET *set, SCIP_RELAXATION *relaxation, SCIP_PROB *transprob)
unsigned int lpwasprimfeas
SCIP_Bool SCIPeventqueueIsDelayed(SCIP_EVENTQUEUE *eventqueue)
SCIP_RETCODE SCIPprobDelVar(SCIP_PROB *prob, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_VAR *var, SCIP_Bool *deleted)
common defines and data types used in all packages of SCIP
SCIP_Real SCIPlpGetModifiedProvedPseudoObjval(SCIP_LP *lp, SCIP_SET *set, SCIP_VAR *var, SCIP_Real oldbound, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype)
void SCIPvisualMarkedRepropagateNode(SCIP_VISUAL *visual, SCIP_STAT *stat, SCIP_NODE *node)
SCIP_PENDINGBDCHG * pendingbdchgs
SCIP_Bool probingnodehaslp
struct BMS_BlkMem BMS_BLKMEM
int SCIPtreeGetNLeaves(SCIP_TREE *tree)
SCIP_RETCODE SCIPvarGetProbvarSum(SCIP_VAR **var, SCIP_SET *set, SCIP_Real *scalar, SCIP_Real *constant)
static void treeRemoveChild(SCIP_TREE *tree, SCIP_NODE *child)
SCIP_RETCODE SCIPconshdlrsStorePropagationStatus(SCIP_SET *set, SCIP_CONSHDLR **conshdlrs, int nconshdlrs)
SCIP_COL ** SCIPlpGetNewcols(SCIP_LP *lp)
SCIP_RETCODE SCIPnodePropagateImplics(SCIP_NODE *node, 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_CLIQUETABLE *cliquetable, SCIP_Bool *cutoff)
static SCIP_RETCODE nodeActivate(SCIP_NODE *node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_REOPT *reopt, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_CONFLICT *conflict, SCIP_EVENTFILTER *eventfilter, SCIP_EVENTQUEUE *eventqueue, SCIP_CLIQUETABLE *cliquetable, SCIP_Bool *cutoff)
int SCIPtreeGetNNodes(SCIP_TREE *tree)
SCIP_Bool SCIPsetIsRelGE(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
static SCIP_RETCODE focusnodeToDeadend(BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_TREE *tree, SCIP_REOPT *reopt, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_CLIQUETABLE *cliquetable)
SCIP_Longint nprobholechgs
SCIP_Bool SCIPvarIsIntegral(SCIP_VAR *var)
void SCIPchildChgNodeselPrio(SCIP_TREE *tree, SCIP_NODE *child, SCIP_Real priority)
union SCIP_Node::@10 data
unsigned int lpwasprimfeas
void SCIPnodeGetConsProps(SCIP_NODE *node, SCIP_VAR **vars, SCIP_Real *varbounds, SCIP_BOUNDTYPE *varboundtypes, int *nconspropvars, int conspropvarssize)
SCIP_RETCODE SCIPnodeFree(SCIP_NODE **node, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_EVENTQUEUE *eventqueue, SCIP_TREE *tree, SCIP_LP *lp)
SCIP_RETCODE SCIPtreeCreateProbingNode(SCIP_TREE *tree, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_LP *lp)
void SCIPlpUnmarkDivingObjChanged(SCIP_LP *lp)
#define BMSreallocBlockMemoryArray(mem, ptr, oldnum, newnum)
SCIP_BOUNDCHG * boundchgs
SCIP_RETCODE SCIPdomchgAddBoundchg(SCIP_DOMCHG **domchg, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_VAR *var, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype, SCIP_BOUNDCHGTYPE boundchgtype, SCIP_Real lpsolval, SCIP_VAR *infervar, SCIP_CONS *infercons, SCIP_PROP *inferprop, int inferinfo, SCIP_BOUNDTYPE inferboundtype)
static SCIP_RETCODE focusnodeToJunction(BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_TREE *tree, SCIP_LP *lp)
void SCIPtreeMarkProbingObjChanged(SCIP_TREE *tree)
SCIP_Bool SCIPrelaxationIsLpIncludedForSol(SCIP_RELAXATION *relaxation)
SCIP_Bool SCIPsetIsFeasNegative(SCIP_SET *set, SCIP_Real val)
SCIP_Bool probinglpwasdualfeas
SCIP_Bool SCIPvarIsActive(SCIP_VAR *var)
SCIP_NODE * SCIPtreeGetPrioSibling(SCIP_TREE *tree)