140 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcreateVar",
FALSE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
151 initial, removable, vardelorig, vartrans, vardeltrans, varcopy, vardata) );
194 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcreateVarBasic",
FALSE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
196 SCIP_CALL(
SCIPcreateVar(
scip,
var, name, lb, ub,
obj, vartype,
TRUE,
FALSE,
NULL,
NULL,
NULL,
NULL,
NULL) );
246 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcreateVarImpl",
FALSE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
256 SCIPerrorMessage(
"using SCIP_VARTYPE_IMPLINT deprecated, define impltype instead\n");
260 switch(
scip->set->stage )
264 name, lb, ub,
obj, vartype, impltype, initial, removable, vardelorig, vartrans, vardeltrans, varcopy, vardata) );
274 name, lb, ub,
obj, vartype, impltype, initial, removable, vardelorig, vartrans, vardeltrans, varcopy, vardata) );
310 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPaddVarExactData",
FALSE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
322 switch(
scip->set->stage )
371 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPwriteVarName",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
434 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPwriteVarsList",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
436 for( v = 0; v <
nvars; ++v )
485 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPwriteVarsLinearsum",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
487 for( v = 0; v <
nvars; ++v )
496 else if( vals[v] == -1.0 )
544 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPwriteVarsLinearsumExact",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
546 for( v = 0; v <
nvars; ++v )
614 assert(monomialvars !=
NULL || nmonomials == 0);
615 assert(monomialcoefs !=
NULL || nmonomials == 0);
616 assert(monomialnvars !=
NULL || nmonomials == 0);
618 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPwriteVarsPolynomial",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
620 if( nmonomials == 0 )
626 for(
i = 0;
i < nmonomials; ++
i )
628 if( monomialcoefs[
i] == 1.0 )
633 else if( monomialcoefs[
i] == -1.0 )
638 assert(monomialvars[
i] !=
NULL || monomialnvars[
i] == 0);
640 for( v = 0; v < monomialnvars[
i]; ++v )
643 if( monomialexps !=
NULL && monomialexps[
i] !=
NULL && monomialexps[
i][v] != 1.0 )
686 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPparseVar",
FALSE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
688 switch(
scip->set->stage )
692 str, initial, removable, varcopy, vardelorig, vartrans, vardeltrans, vardata, endptr, success) );
702 str, initial, removable, varcopy, vardelorig, vartrans, vardeltrans, vardata, endptr, success) );
741 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPparseVarName",
FALSE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
753 if( *varname ==
'~' )
827 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPparseVarsList",
FALSE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
836 *endptr = (
char*)str;
847 if( ntmpvars < varssize )
848 tmpvars[ntmpvars] =
var;
854 while( *str == delimiter );
856 *endptr = (
char*)str;
859 if( (*success) && ntmpvars <= varssize )
861 for( v = 0; v < ntmpvars; ++v )
862 vars[v] = tmpvars[v];
869 (*requiredsize) = ntmpvars;
917 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPparseVarsLinearsum",
FALSE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
939 if( nmonomials == 1 && monomialnvars[0] == 0 && monomialcoefs[0] == 0.0 )
950 *requiredsize = nmonomials;
953 if( varssize >= nmonomials )
957 for( v = 0; v < nmonomials; ++v )
959 if( monomialnvars[v] == 0 )
965 if( monomialnvars[v] > 1 || monomialexps[v][0] != 1.0 )
971 assert(monomialnvars[v] == 1);
973 assert(monomialexps[v][0] == 1.0);
975 vars[v] = monomialvars[v][0];
976 vals[v] = monomialcoefs[v];
1023 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPparseVarsLinearsumExact",
FALSE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
1055 *
nvars = nmonomials;
1056 *requiredsize = nmonomials;
1059 if( varssize >= nmonomials )
1063 for( v = 0; v < nmonomials; ++v )
1067 vars[v] = monomialvars[v][0];
1106 int** monomialnvars,
1114 SCIPPARSEPOLYNOMIAL_STATE_BEGIN,
1115 SCIPPARSEPOLYNOMIAL_STATE_INTERMED,
1116 SCIPPARSEPOLYNOMIAL_STATE_COEF,
1117 SCIPPARSEPOLYNOMIAL_STATE_VARS,
1118 SCIPPARSEPOLYNOMIAL_STATE_EXPONENT,
1119 SCIPPARSEPOLYNOMIAL_STATE_END,
1120 SCIPPARSEPOLYNOMIAL_STATE_ERROR
1121 } SCIPPARSEPOLYNOMIAL_STATES;
1123 SCIPPARSEPOLYNOMIAL_STATES state;
1143 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPparseVarsPolynomial",
FALSE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
1148 *monomialvars =
NULL;
1149 *monomialexps =
NULL;
1150 *monomialcoefs =
NULL;
1151 *monomialnvars =
NULL;
1154 state = SCIPPARSEPOLYNOMIAL_STATE_BEGIN;
1163 while( *str && state != SCIPPARSEPOLYNOMIAL_STATE_END && state != SCIPPARSEPOLYNOMIAL_STATE_ERROR )
1168 assert(state != SCIPPARSEPOLYNOMIAL_STATE_END);
1172 case SCIPPARSEPOLYNOMIAL_STATE_BEGIN:
1179 if( monomialssize <= *nmonomials )
1196 (*monomialvars)[*nmonomials] =
NULL;
1197 (*monomialexps)[*nmonomials] =
NULL;
1199 (*monomialcoefs)[*nmonomials] = coef;
1200 (*monomialnvars)[*nmonomials] =
nvars;
1212 state = SCIPPARSEPOLYNOMIAL_STATE_VARS;
1215 else if( *str ==
'-' || *str ==
'+' || isdigit((
unsigned char)*str) )
1216 state = SCIPPARSEPOLYNOMIAL_STATE_COEF;
1218 state = SCIPPARSEPOLYNOMIAL_STATE_END;
1223 case SCIPPARSEPOLYNOMIAL_STATE_INTERMED:
1228 state = SCIPPARSEPOLYNOMIAL_STATE_VARS;
1230 else if( *str ==
'-' || *str ==
'+' || isdigit((
unsigned char)*str) )
1233 state = SCIPPARSEPOLYNOMIAL_STATE_BEGIN;
1236 state = SCIPPARSEPOLYNOMIAL_STATE_END;
1241 case SCIPPARSEPOLYNOMIAL_STATE_COEF:
1243 if( *str ==
'+' && !isdigit((
unsigned char)str[1]) )
1249 else if( *str ==
'-' && !isdigit((
unsigned char)str[1]) )
1261 SCIPerrorMessage(
"could not parse number in the beginning of '%s'\n", str);
1262 state = SCIPPARSEPOLYNOMIAL_STATE_ERROR;
1267 state = SCIPPARSEPOLYNOMIAL_STATE_INTERMED;
1272 case SCIPPARSEPOLYNOMIAL_STATE_VARS:
1282 if( *endptr == str )
1284 state = SCIPPARSEPOLYNOMIAL_STATE_END;
1291 state = SCIPPARSEPOLYNOMIAL_STATE_ERROR;
1296 if(
nvars + 1 > varssize )
1306 exponents[
nvars] = 1.0;
1312 state = SCIPPARSEPOLYNOMIAL_STATE_EXPONENT;
1314 state = SCIPPARSEPOLYNOMIAL_STATE_INTERMED;
1319 case SCIPPARSEPOLYNOMIAL_STATE_EXPONENT:
1328 SCIPerrorMessage(
"could not parse number in the beginning of '%s'\n", str);
1329 state = SCIPPARSEPOLYNOMIAL_STATE_ERROR;
1335 state = SCIPPARSEPOLYNOMIAL_STATE_INTERMED;
1340 case SCIPPARSEPOLYNOMIAL_STATE_END:
1342 case SCIPPARSEPOLYNOMIAL_STATE_ERROR:
1350 *endptr = (
char*)str;
1355 case SCIPPARSEPOLYNOMIAL_STATE_BEGIN:
1356 case SCIPPARSEPOLYNOMIAL_STATE_END:
1357 case SCIPPARSEPOLYNOMIAL_STATE_INTERMED:
1363 if( monomialssize <= *nmonomials )
1365 monomialssize = *nmonomials+1;
1377 (*monomialvars)[*nmonomials] =
vars;
1378 (*monomialexps)[*nmonomials] = exponents;
1384 (*monomialvars)[*nmonomials] =
NULL;
1385 (*monomialexps)[*nmonomials] =
NULL;
1387 (*monomialcoefs)[*nmonomials] = coef;
1388 (*monomialnvars)[*nmonomials] =
nvars;
1396 case SCIPPARSEPOLYNOMIAL_STATE_COEF:
1397 case SCIPPARSEPOLYNOMIAL_STATE_VARS:
1398 case SCIPPARSEPOLYNOMIAL_STATE_EXPONENT:
1400 SCIPerrorMessage(
"unexpected parsing state at end of polynomial string\n");
1403 case SCIPPARSEPOLYNOMIAL_STATE_ERROR:
1412 if( *success && *nmonomials > 0 )
1415 assert(*nmonomials <= monomialssize);
1465 SCIPPARSEPOLYNOMIAL_STATE_BEGIN,
1466 SCIPPARSEPOLYNOMIAL_STATE_INTERMED,
1467 SCIPPARSEPOLYNOMIAL_STATE_COEF,
1468 SCIPPARSEPOLYNOMIAL_STATE_VARS,
1469 SCIPPARSEPOLYNOMIAL_STATE_EXPONENT,
1470 SCIPPARSEPOLYNOMIAL_STATE_END,
1471 SCIPPARSEPOLYNOMIAL_STATE_ERROR
1472 } SCIPPARSEPOLYNOMIAL_STATES;
1474 SCIPPARSEPOLYNOMIAL_STATES state;
1491 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPparseVarsPolynomialExact",
FALSE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
1496 *monomialvars =
NULL;
1497 *monomialcoefs =
NULL;
1500 state = SCIPPARSEPOLYNOMIAL_STATE_BEGIN;
1510 while( *str && state != SCIPPARSEPOLYNOMIAL_STATE_END && state != SCIPPARSEPOLYNOMIAL_STATE_ERROR )
1515 assert(state != SCIPPARSEPOLYNOMIAL_STATE_END);
1519 case SCIPPARSEPOLYNOMIAL_STATE_BEGIN:
1526 if( monomialssize <= *nmonomials )
1540 (*monomialvars)[*nmonomials] =
NULL;
1555 state = SCIPPARSEPOLYNOMIAL_STATE_VARS;
1558 else if( *str ==
'-' || *str ==
'+' || isdigit((
unsigned char)*str) )
1559 state = SCIPPARSEPOLYNOMIAL_STATE_COEF;
1561 state = SCIPPARSEPOLYNOMIAL_STATE_END;
1566 case SCIPPARSEPOLYNOMIAL_STATE_INTERMED:
1571 state = SCIPPARSEPOLYNOMIAL_STATE_VARS;
1573 else if( *str ==
'-' || *str ==
'+' || isdigit((
unsigned char)*str) )
1576 state = SCIPPARSEPOLYNOMIAL_STATE_BEGIN;
1579 state = SCIPPARSEPOLYNOMIAL_STATE_END;
1584 case SCIPPARSEPOLYNOMIAL_STATE_COEF:
1586 if( *str ==
'+' && !isdigit((
unsigned char)str[1]) )
1592 else if( *str ==
'-' && !isdigit((
unsigned char)str[1]) )
1604 SCIPerrorMessage(
"could not parse number in the beginning of '%s'\n", str);
1605 state = SCIPPARSEPOLYNOMIAL_STATE_ERROR;
1610 state = SCIPPARSEPOLYNOMIAL_STATE_INTERMED;
1615 case SCIPPARSEPOLYNOMIAL_STATE_VARS:
1625 if( *endptr == str )
1627 state = SCIPPARSEPOLYNOMIAL_STATE_END;
1634 state = SCIPPARSEPOLYNOMIAL_STATE_ERROR;
1639 if(
nvars + 1 > varssize )
1652 state = SCIPPARSEPOLYNOMIAL_STATE_EXPONENT;
1654 state = SCIPPARSEPOLYNOMIAL_STATE_INTERMED;
1659 case SCIPPARSEPOLYNOMIAL_STATE_END:
1660 case SCIPPARSEPOLYNOMIAL_STATE_ERROR:
1661 case SCIPPARSEPOLYNOMIAL_STATE_EXPONENT:
1669 *endptr = (
char*)str;
1674 case SCIPPARSEPOLYNOMIAL_STATE_BEGIN:
1675 case SCIPPARSEPOLYNOMIAL_STATE_END:
1676 case SCIPPARSEPOLYNOMIAL_STATE_INTERMED:
1682 if( monomialssize <= *nmonomials )
1684 monomialssize = *nmonomials+1;
1693 (*monomialvars)[*nmonomials] =
vars;
1698 (*monomialvars)[*nmonomials] =
NULL;
1708 case SCIPPARSEPOLYNOMIAL_STATE_COEF:
1709 case SCIPPARSEPOLYNOMIAL_STATE_VARS:
1710 case SCIPPARSEPOLYNOMIAL_STATE_EXPONENT:
1712 SCIPerrorMessage(
"unexpected parsing state at end of polynomial string\n");
1715 case SCIPPARSEPOLYNOMIAL_STATE_ERROR:
1723 if( *success && *nmonomials > 0 )
1726 assert(*nmonomials <= monomialssize);
1760 int** monomialnvars,
1773 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPfreeParseVarsPolynomialData",
FALSE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
1775 if( nmonomials == 0 )
1783 for(
i = nmonomials - 1;
i >= 0; --
i )
1818 assert((*monomialvars !=
NULL) == (nmonomials > 0));
1819 assert((*monomialcoefs !=
NULL) == (nmonomials > 0));
1821 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPfreeParseVarsPolynomialDataExact",
FALSE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
1823 if( nmonomials == 0 )
1826 for(
i = nmonomials - 1;
i >= 0; --
i )
1858 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcaptureVar",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
1896 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPreleaseVar",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
1898 switch(
scip->set->stage )
1917 SCIPerrorMessage(
"cannot release last use of original variable while associated transformed variable exists\n");
1944 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarName",
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE) );
1949 SCIPerrorMessage(
"variable names can only be changed in problem creation stage\n");
1996 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPtransformVar",
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
2040 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPtransformVars",
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
2042 for( v = 0; v <
nvars; ++v )
2046 transvars[v] =
vars[v];
2086 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetTransformedVar",
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
2131 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetTransformedVars",
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
2133 for( v = 0; v <
nvars; ++v )
2136 transvars[v] =
vars[v];
2172 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetNegatedVar",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
2208 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetNegatedVars",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
2210 for( v = 0; v <
nvars; ++v )
2249 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetBinvarRepresentative",
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
2298 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetBinvarRepresentatives",
FALSE,
TRUE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
2309 for( v =
nvars - 1; v >= 0; --v )
2339 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPflattenVarAggregationGraph",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
2406 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetProbvarLinearSum",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
2472 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetProbvarLinearSumExact",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
2511 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetProbvarSum",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
2550 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetProbvarSumExact",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
2592 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetActiveVars",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
2620 if(
var->data.original.transvar ==
NULL )
2666 if(
var->data.original.transvar ==
NULL )
2710 if(
var->data.original.transvar ==
NULL )
2758 if( bdchgidx ==
NULL )
2763 if( bdchginfo !=
NULL )
2766 return var->glbdom.lb;
2770 return var->glbdom.lb;
2774 if(
var->data.aggregate.scalar > 0.0 )
2786 return var->data.aggregate.scalar * lb +
var->data.aggregate.constant;
2788 else if(
var->data.aggregate.scalar < 0.0 )
2800 return var->data.aggregate.scalar * ub +
var->data.aggregate.constant;
2811 if (
var->data.multaggr.nvars == 1 )
2817 if(
var->data.multaggr.scalars[0] > 0.0 )
2829 return var->data.multaggr.scalars[0] * lb +
var->data.multaggr.constant;
2831 else if(
var->data.multaggr.scalars[0] < 0.0 )
2843 return var->data.multaggr.scalars[0] * ub +
var->data.multaggr.constant;
2852 SCIPerrorMessage(
"cannot get the bounds of a multi-aggregated variable.\n");
2894 if( bdchgidx ==
NULL )
2899 if( bdchginfo !=
NULL )
2902 return var->glbdom.ub;
2906 return var->glbdom.ub;
2910 if(
var->data.aggregate.scalar > 0.0 )
2922 return var->data.aggregate.scalar * ub +
var->data.aggregate.constant;
2924 else if(
var->data.aggregate.scalar < 0.0 )
2936 return var->data.aggregate.scalar * lb +
var->data.aggregate.constant;
2947 if (
var->data.multaggr.nvars == 1 )
2953 if(
var->data.multaggr.scalars[0] > 0.0 )
2965 return var->data.multaggr.scalars[0] * ub +
var->data.multaggr.constant;
2967 else if(
var->data.multaggr.scalars[0] < 0.0 )
2979 return var->data.multaggr.scalars[0] * lb +
var->data.multaggr.constant;
2988 SCIPerrorMessage(
"cannot get the bounds of a multiple aggregated variable.\n");
3056 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarSol",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
3083 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetVarSols",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
3087 for( v = 0; v <
nvars; ++v )
3092 for( v = 0; v <
nvars; ++v )
3119 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPclearRelaxSolVals",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
3130 for( v = 0; v <
nvars; v++ )
3167 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPsetRelaxSolVal",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
3206 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPsetRelaxSolVals",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
3210 for( v = 0; v <
nvars; v++ )
3247 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPsetRelaxSolValsSol",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
3257 for( v = 0; v <
nvars; v++ )
3287 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPisRelaxSolValid",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
3309 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPmarkRelaxSolValid",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
3332 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPmarkRelaxSolInvalid",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
3356 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetRelaxSolVal",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
3382 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetRelaxSolObj",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
3404 switch(
scip->set->branch_firstsbchild )
3413 assert(
scip->set->branch_firstsbchild ==
'h');
3436 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPstartStrongbranch",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
3445 if( enablepropagation )
3449 SCIPerrorMessage(
"cannot start strong branching with propagation while in probing mode\n");
3455 SCIPerrorMessage(
"cannot start strong branching with propagation while in diving mode\n");
3494 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPendStrongbranch",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
3524 for(
i = 0, nbnds = 0;
i < nboundchgs; ++
i )
3540 SCIPdebugMsg(
scip,
"ending strong branching with probing: %d bound changes collected\n", nbnds);
3548 scip->branchcand,
scip->eventqueue,
scip->eventfilter,
scip->cliquetable) );
3551 for(
i = 0;
i < nbnds; ++
i )
3605 *downinf = downcutoff;
3613 if(
scip->set->conf_enable &&
scip->set->conf_usesb &&
scip->set->nconflicthdlrs > 0
3623 scip->cliquetable, col, downconflict, upconflict) );
3697 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetVarStrongbranchFrac",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
3700 if( downvalid !=
NULL )
3702 if( upvalid !=
NULL )
3704 if( downinf !=
NULL )
3708 if( downconflict !=
NULL )
3709 *downconflict =
FALSE;
3710 if( upconflict !=
NULL )
3711 *upconflict =
FALSE;
3738 &localdown, &localup, &localdownvalid, &localupvalid,
lperror) );
3761 if( pseudoobjval > lpobjval )
3765 if( !localdownvalid || localdown < pseudoobjval )
3767 localdown = pseudoobjval;
3768 localdownvalid =
TRUE;
3773 if( !localupvalid || localup < pseudoobjval )
3775 localup = pseudoobjval;
3776 localupvalid =
TRUE;
3792 if( downinf !=
NULL )
3802 if( downvalid !=
NULL )
3803 *downvalid = localdownvalid;
3804 if( upvalid !=
NULL )
3805 *upvalid = localupvalid;
3865 if( conflict !=
NULL )
3887 if( conflict !=
NULL )
3926 if( conflict !=
NULL )
3947 if( ndomreductions !=
NULL )
3948 *ndomreductions = ndomreds;
3960 SCIPdebugMsg(
scip,
"%s branch of var <%s> detected infeasible during propagation\n",
3980 SCIPdebugMsg(
scip,
"%s branch of var <%s> detected infeasible in LP solving: status=%d\n",
3995 SCIPdebugMsg(
scip,
"probing LP solved to optimality, objective value: %16.9g\n", *value);
4005 ++
scip->stat->nsbtimesiterlimhit;
4037 *value =
objval + looseobjval;
4092 for( v = 0; v <
nvars; ++v )
4101 for( v = 0; v <
nvars; ++v )
4106 newlbs[v] =
MIN(newlbs[v], lb);
4107 newubs[v] =
MAX(newubs[v], ub);
4192 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetVarStrongbranchWithPropagation",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
4195 propagate = (maxproprounds != 0 && maxproprounds != -3);
4206 if( maxproprounds == -2 )
4211 if( downvalid !=
NULL )
4213 if( upvalid !=
NULL )
4215 if( downinf !=
NULL )
4219 if( downconflict !=
NULL )
4220 *downconflict =
FALSE;
4221 if( upconflict !=
NULL )
4222 *upconflict =
FALSE;
4223 if( ndomredsdown !=
NULL )
4225 if( ndomredsup !=
NULL )
4275 if( upvalid !=
NULL )
4279 if( upconflict !=
NULL )
4297 if( downinf !=
NULL )
4300 if( downvalid !=
NULL )
4304 if( downconflict !=
NULL )
4305 *downconflict =
TRUE;
4319 oldniters =
scip->stat->nsbdivinglpiterations;
4324 enabledconflict =
scip->set->conf_enable;
4325 scip->set->conf_enable = (
scip->set->conf_enable &&
scip->set->conf_usesb);
4330 downvalidlocal =
FALSE;
4331 upvalidlocal =
FALSE;
4340 down, &downvalidlocal, ndomredsdown, downconflict,
lperror,
vars,
nvars, newlbs, newubs, &foundsol, &
cutoff) );
4345 if( downinf !=
NULL )
4348 if( downconflict !=
NULL
4350 *downconflict =
TRUE;
4359 upvalidlocal =
TRUE;
4366 up, &upvalidlocal, ndomredsup, upconflict,
lperror,
vars,
nvars, newlbs, newubs, &foundsol, &
cutoff) );
4374 if( upconflict !=
NULL
4382 if( downinf !=
NULL )
4385 downvalidlocal =
TRUE;
4390 downchild = !downchild;
4391 firstchild = !firstchild;
4394 while( !firstchild && ( !
cutoff ||
scip->set->branch_forceall ) );
4417 if( pseudoobjval > lpobjval )
4421 if( !downvalidlocal || *down < pseudoobjval )
4423 *down = pseudoobjval;
4424 downvalidlocal =
TRUE;
4432 if( !upvalidlocal || *up < pseudoobjval )
4435 upvalidlocal =
TRUE;
4452 *down, *up, downvalidlocal, upvalidlocal,
scip->stat->nsbdivinglpiterations - oldniters, itlim);
4455 if( downvalid !=
NULL )
4456 *downvalid = downvalidlocal;
4457 if( upvalid !=
NULL )
4458 *upvalid = upvalidlocal;
4460 scip->set->conf_enable = enabledconflict;
4510 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetVarStrongbranchInt",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
4513 if( downvalid !=
NULL )
4515 if( upvalid !=
NULL )
4517 if( downinf !=
NULL )
4521 if( downconflict !=
NULL )
4522 *downconflict =
FALSE;
4523 if( upconflict !=
NULL )
4524 *upconflict =
FALSE;
4551 &localdown, &localup, &localdownvalid, &localupvalid,
lperror) );
4574 if( pseudoobjval > lpobjval )
4578 if( !localdownvalid || localdown < pseudoobjval )
4580 localdown = pseudoobjval;
4581 localdownvalid =
TRUE;
4586 if( !localupvalid || localup < pseudoobjval )
4588 localup = pseudoobjval;
4589 localupvalid =
TRUE;
4605 if( downinf !=
NULL )
4615 if( downvalid !=
NULL )
4616 *downvalid = localdownvalid;
4617 if( upvalid !=
NULL )
4618 *upvalid = localupvalid;
4656 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetVarsStrongbranchesFrac",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
4665 for( j = 0; j <
nvars; ++j )
4670 if( downvalid !=
NULL )
4671 downvalid[j] =
FALSE;
4672 if( upvalid !=
NULL )
4674 if( downinf !=
NULL )
4678 if( downconflict !=
NULL )
4679 downconflict[j] =
FALSE;
4680 if( upconflict !=
NULL )
4681 upconflict[j] =
FALSE;
4714 down, up, downvalid, upvalid,
lperror) );
4721 for( j = 0; j <
nvars; ++j )
4724 (upinf !=
NULL) ? (&(upinf[j])) :
NULL, (downconflict !=
NULL) ? (&(downconflict[j])) :
NULL,
4725 (upconflict !=
NULL) ? (&(upconflict[j])) :
NULL) );
4769 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetVarsStrongbranchesInt",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
4777 for( j = 0; j <
nvars; ++j )
4782 if( downvalid !=
NULL )
4783 downvalid[j] =
FALSE;
4784 if( upvalid !=
NULL )
4786 if( downinf !=
NULL )
4790 if( downconflict !=
NULL )
4791 downconflict[j] =
FALSE;
4792 if( upconflict !=
NULL )
4793 upconflict[j] =
FALSE;
4826 down, up, downvalid, upvalid,
lperror) );
4833 for( j = 0; j <
nvars; ++j )
4836 (upinf !=
NULL) ? (&(upinf[j])) :
NULL, (downconflict !=
NULL) ? (&(downconflict[j])) :
NULL,
4837 (upconflict !=
NULL) ? (&(upconflict[j])) :
NULL) );
4882 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetVarStrongbranchLast",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
4886 SCIPerrorMessage(
"cannot get strong branching information on non-COLUMN variable\n");
4916 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPsetVarStrongbranchData",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
4920 SCIPerrorMessage(
"cannot set strong branching information on non-COLUMN variable\n");
4925 down, up, downvalid, upvalid, iter, itlim);
4948 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPtryStrongbranchLPSol",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
4950 if(
scip->set->branch_checksbsol )
4964 if(
scip->set->branch_roundsbsol )
4983 scip->stat->nsbsolsfound++;
4985 if(
scip->primal->nbestsolsfound != oldnbestsolsfound )
4987 scip->stat->nsbbestsolsfound++;
5024 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarStrongbranchNode",
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
5058 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarStrongbranchLPAge",
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
5090 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarNStrongbranchs",
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
5126 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPaddVarLocksType",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE) );
5130 switch(
scip->set->stage )
5183 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPaddVarLocks",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE) );
5222 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPlockVarCons",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE) );
5247 switch(
scip->set->stage )
5263 if( nlocksdown[
i] == 0 && nlocksup[
i] == 0 )
5308 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPunlockVarCons",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE,
TRUE,
TRUE,
FALSE) );
5332 switch(
scip->set->stage )
5348 if( nlocksdown[
i] == 0 && nlocksup[
i] == 0 )
5378 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarObj",
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE) );
5385 SCIPerrorMessage(
"invalid objective value: objective value is infinite\n");
5389 switch(
scip->set->stage )
5426 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarObjExact",
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE) );
5433 SCIPerrorMessage(
"invalid objective value: objective value is infinite\n");
5437 switch(
scip->set->stage )
5473 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarUbGlobalExact",
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE) );
5477 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
5498 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarLbGlobalExact",
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE) );
5502 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
5525 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPaddVarObj",
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE) );
5529 switch(
scip->set->stage )
5576 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPadjustedVarLb",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
5608 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPadjustedVarLbExactFloat",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
5640 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPadjustedVarUb",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
5672 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPadjustedVarUbExactFloat",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
5703 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarLb",
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
5717 switch(
scip->set->stage )
5723 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
5725 scip->branchcand,
scip->eventqueue, newbound) );
5731 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
5792 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarLbExact",
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
5806 switch(
scip->set->stage )
5812 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
5814 scip->branchcand,
scip->eventqueue, newbound) );
5820 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
5881 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarUb",
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
5895 switch(
scip->set->stage )
5901 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
5903 scip->branchcand,
scip->eventqueue, newbound) );
5909 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
5970 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarUbExact",
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
5984 switch(
scip->set->stage )
5990 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
5992 scip->branchcand,
scip->eventqueue, newbound) );
5998 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
6051 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarLbNode",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
6095 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarUbNode",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
6147 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarLbGlobal",
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
6161 switch(
scip->set->stage )
6166 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
6168 scip->branchcand,
scip->eventqueue, newbound) );
6175 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
6236 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarUbGlobal",
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
6250 switch(
scip->set->stage )
6255 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
6257 scip->branchcand,
scip->eventqueue, newbound) );
6264 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
6330 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarLbLazy",
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
6371 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarUbLazy",
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
6415 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPtightenVarLb",
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
6419 *infeasible =
FALSE;
6420 if( tightened !=
NULL )
6445 newbound =
MIN(newbound, ub);
6450 switch(
scip->set->stage )
6455 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
6457 scip->branchcand,
scip->eventqueue, newbound) );
6462 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
6532 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPtightenVarLbExact",
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
6536 *infeasible =
FALSE;
6537 if( tightened !=
NULL )
6579 switch(
scip->set->stage )
6584 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
6586 scip->branchcand,
scip->eventqueue, newbound) );
6591 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
6664 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPtightenVarUb",
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
6669 *infeasible =
FALSE;
6670 if( tightened !=
NULL )
6695 newbound =
MAX(newbound, lb);
6700 switch(
scip->set->stage )
6705 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
6707 scip->branchcand,
scip->eventqueue, newbound) );
6712 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
6782 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPtightenVarUbExact",
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
6786 *infeasible =
FALSE;
6787 if( tightened !=
NULL )
6829 switch(
scip->set->stage )
6834 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
6836 scip->branchcand,
scip->eventqueue, newbound) );
6841 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
6910 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPinferVarFixCons",
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
6912 if( tightened !=
NULL )
6922 scip->eventfilter,
scip->cliquetable, fixedval, infeasible, &fixed) );
6924 if( tightened !=
NULL )
6934 if( ! (*infeasible) )
6938 if( tightened !=
NULL )
6939 *tightened |= lbtightened;
6980 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPinferVarLbCons",
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
6982 *infeasible =
FALSE;
6983 if( tightened !=
NULL )
6999 newbound =
MIN(newbound, ub);
7004 switch(
scip->set->stage )
7009 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
7011 scip->branchcand,
scip->eventqueue, newbound) );
7085 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPinferVarUbCons",
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
7087 *infeasible =
FALSE;
7088 if( tightened !=
NULL )
7104 newbound =
MAX(newbound, lb);
7109 switch(
scip->set->stage )
7114 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
7116 scip->branchcand,
scip->eventqueue, newbound) );
7191 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPinferVarUbConsExact",
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
7193 *infeasible =
FALSE;
7194 if( tightened !=
NULL )
7206 goto RETURN_SCIP_OKAY;
7220 goto RETURN_SCIP_OKAY;
7224 goto RETURN_SCIP_OKAY;
7228 if( tightened !=
NULL)
7231 switch(
scip->set->stage )
7236 scip->branchcand,
scip->eventqueue,
scip->cliquetable, adjustedBound) );
7238 scip->branchcand,
scip->eventqueue, adjustedBound) );
7313 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPinferVarLbConsExact",
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
7315 *infeasible =
FALSE;
7316 if( tightened !=
NULL )
7328 goto RETURN_SCIP_OKAY;
7342 goto RETURN_SCIP_OKAY;
7346 goto RETURN_SCIP_OKAY;
7350 if( tightened !=
NULL)
7353 switch(
scip->set->stage )
7358 scip->branchcand,
scip->eventqueue,
scip->cliquetable, adjustedBound) );
7360 scip->branchcand,
scip->eventqueue, adjustedBound) );
7429 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPinferBinvarCons",
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
7431 *infeasible =
FALSE;
7432 if( tightened !=
NULL )
7443 if( (lb > 0.5) || (ub < 0.5) )
7445 *infeasible = (fixedval == (lb < 0.5));
7451 switch(
scip->set->stage )
7455 if( fixedval ==
TRUE )
7472 scip->cliquetable, (
SCIP_Real)fixedval, infeasible, &fixed) );
7477 if( fixedval ==
TRUE )
7496 if( tightened !=
NULL )
7530 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPinferVarFixProp",
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
7532 if( tightened !=
NULL )
7542 scip->cliquetable, fixedval, infeasible, &fixed) );
7544 if( tightened !=
NULL )
7554 if( ! (*infeasible) )
7558 if( tightened !=
NULL )
7559 *tightened |= lbtightened;
7600 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPinferVarLbProp",
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
7602 *infeasible =
FALSE;
7603 if( tightened !=
NULL )
7628 newbound =
MIN(newbound, ub);
7634 switch(
scip->set->stage )
7639 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
7641 scip->branchcand,
scip->eventqueue, newbound) );
7715 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPinferVarUbProp",
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
7717 *infeasible =
FALSE;
7718 if( tightened !=
NULL )
7743 newbound =
MAX(newbound, lb);
7749 switch(
scip->set->stage )
7754 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
7756 scip->branchcand,
scip->eventqueue, newbound) );
7826 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPinferBinvarProp",
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
7828 *infeasible =
FALSE;
7829 if( tightened !=
NULL )
7840 if( (lb > 0.5) || (ub < 0.5) )
7842 *infeasible = (fixedval == (lb < 0.5));
7848 switch(
scip->set->stage )
7852 if( fixedval ==
TRUE )
7869 scip->cliquetable, (
SCIP_Real)fixedval, infeasible, &fixed) );
7874 if( fixedval ==
TRUE )
7893 if( tightened !=
NULL )
7916 *infeasible =
FALSE;
7917 if( tightened !=
NULL )
7942 newbound =
MIN(newbound, ub);
7953 switch(
scip->set->stage )
7958 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newboundexact) );
7960 scip->branchcand,
scip->eventqueue, newboundexact) );
7966 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newboundexact) );
8040 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPtightenVarLbGlobal",
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
8045 *infeasible =
FALSE;
8046 if( tightened !=
NULL )
8071 newbound =
MIN(newbound, ub);
8079 switch(
scip->set->stage )
8084 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
8086 scip->branchcand,
scip->eventqueue, newbound) );
8092 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
8148 *infeasible =
FALSE;
8149 if( tightened !=
NULL )
8174 newbound =
MAX(newbound, lb);
8185 switch(
scip->set->stage )
8190 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newboundexact) );
8192 scip->branchcand,
scip->eventqueue, newboundexact) );
8198 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newboundexact) );
8271 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPtightenVarUbGlobal",
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
8276 *infeasible =
FALSE;
8277 if( tightened !=
NULL )
8302 newbound =
MAX(newbound, lb);
8310 switch(
scip->set->stage )
8315 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
8317 scip->branchcand,
scip->eventqueue, newbound) );
8323 scip->branchcand,
scip->eventqueue,
scip->cliquetable, newbound) );
8363#undef SCIPcomputeVarLbGlobal
8364#undef SCIPcomputeVarUbGlobal
8365#undef SCIPcomputeVarLbLocal
8366#undef SCIPcomputeVarUbLocal
8577 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetVarClosestVlb",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
8600 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPgetVarClosestVub",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
8633 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPaddVarVlb",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
8637 vlbconstant,
TRUE, infeasible, &nlocalbdchgs) );
8639 *nbdchgs = nlocalbdchgs;
8651 var, 1.0/vlbcoef, -vlbconstant/vlbcoef,
TRUE, infeasible, &nlocalbdchgs) );
8658 var, 1.0/vlbcoef, -vlbconstant/vlbcoef,
TRUE, infeasible, &nlocalbdchgs) );
8660 *nbdchgs += nlocalbdchgs;
8692 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPaddVarVub",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
8696 vubconstant,
TRUE, infeasible, &nlocalbdchgs) );
8698 *nbdchgs = nlocalbdchgs;
8710 var, 1.0/vubcoef, -vubconstant/vubcoef,
TRUE, infeasible, &nlocalbdchgs) );
8717 var, 1.0/vubcoef, -vubconstant/vubcoef,
TRUE, infeasible, &nlocalbdchgs) );
8719 *nbdchgs += nlocalbdchgs;
8754 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPaddVarImplication",
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
8757 *infeasible =
FALSE;
8759 if ( nbdchgs !=
NULL )
8786 vals[0] = varfixing;
8813 if( varfixing ==
TRUE )
8823 var, implbound - lby, lby,
TRUE, infeasible, nbdchgs) );
8833 var, implbound - uby, uby,
TRUE, infeasible, nbdchgs) );
8846 var, lby - implbound, implbound,
TRUE, infeasible, nbdchgs) );
8856 var, uby - implbound, implbound,
TRUE, infeasible, nbdchgs) );
8864 varfixing, implvar, impltype, implbound,
TRUE, infeasible, nbdchgs) );
8892 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPaddClique",
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
8894 *infeasible =
FALSE;
8895 if( nbdchgs !=
NULL )
8903 vars, values,
nvars, isequation, infeasible, nbdchgs) );
8909#define MAXNUMEARCHCLIQUE 10000
8922 int* cliquepartition,
8931 assert( ncliqueparts[p] == 0 );
8935 cliquepartition[
varidx] = p;
8936 ncliqueparts[p] = 1;
8950 int selectedidx = -1;
8951 int selectedsmallestidx =
nvars + 1;
8958 for( l = 0; l < nvarcliques; ++l )
8964 int smallestidx =
nvars + 1;
8967 clique = varcliques[l];
8974 for( k = 0; k < nvarclique; ++k )
8980 othervar = cliquevars[k];
8986 assert( 0 <= probidx && probidx < nbinvars );
8989 if( j >= 0 && cliquevals[k] == values[j] && cliquepartition[j] < 0 )
8994 if ( j >
varidx && j < smallestidx )
9000 if ( smallestidx ==
varidx + 1 )
9009 if( smallestidx < selectedsmallestidx )
9012 selectedsmallestidx = smallestidx;
9016 if ( smallestidx ==
varidx + 1 )
9022 if( selectedidx >= 0 )
9030 assert( selectedidx <= nvarcliques );
9031 clique = varcliques[selectedidx];
9038 for( k = 0; k < nvarclique; ++k )
9044 othervar = cliquevars[k];
9050 assert( 0 <= probidx && probidx < nbinvars );
9053 if( j >= 0 && cliquevals[k] == values[j] && cliquepartition[j] < 0 )
9057 cliquepartition[j] = p;
9058 ++(ncliqueparts[p]);
9085 int* probtoidxmapsize,
9086 int*
const cliquepartition,
9113 if ( *probtoidxmapsize < nbinvars )
9116 *probtoidxmapsize = nbinvars;
9117 idx = *probtoidxmap;
9118 for(
i = 0;
i < nbinvars; ++
i )
9122 idx = *probtoidxmap;
9127 for(
i = 0;
i < nbinvars; ++
i )
9136 cliquepartition[
i] = -1;
9140 if( probidx >= 0 && idx[probidx] < 0 )
9142 assert( probidx <= nbinvars );
9160 if( cliquepartition[
i] >= 0 )
9181 for( l = 0; l < nvarcliques && ! foundpart; ++l )
9196 for( k = 0; k < nvarclique; ++k )
9198 othervar = cliquevars[k];
9205 assert( 0 <= probidx && probidx < nbinvars );
9211 p = cliquepartition[j];
9212 if( p >= 0 && cliquevals[k] == values[j] && marked[j] !=
i )
9214 assert( 0 <= p && p < *ncliques );
9219 if( nneigh[p] == ncliqueparts[p] )
9222 cliquepartition[
i] = p;
9223 ++(ncliqueparts[p]);
9236 for( p = 0; p < *ncliques; ++p )
9237 assert( nneigh[p] < ncliqueparts[p] );
9239 assert( ncliqueparts[*ncliques] == 0 );
9247 ncliqueparts[*ncliques] = 1;
9248 cliquepartition[
i] = (*ncliques)++;
9275 const int* cliquepartition,
9282 for( p = 0; p < ncliques; ++p )
9293 assert(0 <= cliquepartition[
i] && cliquepartition[
i] < ncliques );
9294 if( cliquepartition[
i] != p )
9301 for( j =
i+1; j <
nvars; ++j )
9303 if( cliquepartition[j] != p )
9335 int* probtoidxmapsize,
9336 int* cliquepartition,
9349 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPcalcCliquePartition",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
9361 cliquepartition[
i] =
i;
9373 tmpvalues[
i] =
TRUE;
9415 int* probtoidxmapsize,
9416 int* cliquepartition,
9438 for( v =
nvars - 1; v >= 0; --v )
9477 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPcleanupCliques",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
9479 globalinfeasibility =
FALSE;
9483 &nlocalbdchgs, &globalinfeasibility) );
9485 if( infeasible !=
NULL )
9486 *infeasible = globalinfeasibility;
9488 if( globalinfeasibility )
9516 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNCliques",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
9543 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetNCliquesCreated",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
9570 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetCliques",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
9613 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPhaveVarsCommonClique",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
9674 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPwriteCliqueGraph",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
9680 if( nbinvars + nimplvars == 0 )
9690 gmlfile = fopen(fname,
"w");
9692 if( gmlfile ==
NULL )
9708 for(
c = ncliques - 1;
c >= 0; --
c )
9726 if ( writenodeweights )
9753 if ( writenodeweights )
9803 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPremoveVarFromGlobalStructures",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE) );
9836 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarBranchFactor",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
9864 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPscaleVarBranchFactor",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
9892 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPaddVarBranchFactor",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
9923 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarBranchPriority",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
9964 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPupdateVarBranchPriority",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
9997 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPaddVarBranchPriority",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
10028 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarBranchDirection",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
10052 *infeasible =
FALSE;
10121 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarType",
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE) );
10142 switch(
scip->set->stage )
10154 scip->branchcand,
scip->eventqueue,
scip->cliquetable,
var, vartype) );
10159 scip->eventqueue, vartype) );
10183 scip->branchcand,
scip->eventqueue,
scip->cliquetable,
var, vartype) );
10188 scip->eventqueue, vartype) );
10226 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPchgVarImplType",
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE) );
10247 switch(
scip->set->stage )
10259 scip->branchcand,
scip->eventqueue,
scip->cliquetable,
var, impltype) );
10264 scip->eventqueue, impltype) );
10288 scip->branchcand,
scip->eventqueue,
scip->cliquetable,
var, impltype) );
10293 scip->eventqueue, impltype) );
10330 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPfixVar",
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
10332 *infeasible =
FALSE;
10347 *infeasible =
TRUE;
10354 switch(
scip->set->stage )
10368 scip->cliquetable, fixedval, infeasible, fixed) );
10377 *infeasible =
TRUE;
10390 *infeasible =
TRUE;
10437 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPfixVarExact",
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
10439 *infeasible =
FALSE;
10449 *infeasible =
TRUE;
10461 switch(
scip->set->stage )
10487 scip->cliquetable, fixedval, infeasible, fixed) );
10496 *infeasible =
TRUE;
10509 *infeasible =
TRUE;
10569 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPaggregateVars",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE) );
10571 *infeasible =
FALSE;
10572 *redundant =
FALSE;
10573 *aggregated =
FALSE;
10583 if(
scip->set->presol_donotaggr )
10599 rhs -= (constantx + constanty);
10610 if( varx ==
NULL && vary ==
NULL )
10616 else if( varx ==
NULL )
10624 scip->cliquetable, rhs/scalary, infeasible, aggregated) );
10627 else if( vary ==
NULL )
10635 scip->cliquetable, rhs/scalarx, infeasible, aggregated) );
10638 else if( varx == vary )
10641 scalarx += scalary;
10652 scip->cliquetable, rhs/scalarx, infeasible, aggregated) );
10661 scip->eventfilter, varx, vary, scalarx, scalary, rhs, infeasible, aggregated) );
10662 *redundant = *aggregated;
10714 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPaggregateVarsExact",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE) );
10716 *infeasible =
FALSE;
10717 *redundant =
FALSE;
10718 *aggregated =
FALSE;
10728 if(
scip->set->presol_donotaggr )
10754 if( varx ==
NULL && vary ==
NULL )
10760 else if( varx ==
NULL )
10769 scip->cliquetable, rhs, infeasible, aggregated) );
10772 else if( vary ==
NULL )
10781 scip->cliquetable, rhs, infeasible, aggregated) );
10784 else if( varx == vary )
10799 scip->cliquetable, rhs, infeasible, aggregated) );
10808 scip->eventfilter, varx, vary, scalarx, scalary, rhs, infeasible, aggregated) );
10809 *redundant = *aggregated;
10845 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPmultiaggregateVar",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE) );
10858 scip->eventfilter, naggvars, aggvars,
scalars, constant, infeasible, aggregated) );
10890 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPmultiaggregateVarExact",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE) );
10903 scip->eventfilter, naggvars, aggvars,
scalars, constant, infeasible, aggregated) );
10915 return scip->set->presol_donotaggr;
10925 return scip->set->presol_donotmultaggr;
10973 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPisVarAggrCoefAcceptable",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE) );
10990 return !
scip->set->reopt_enable &&
scip->set->misc_allowstrongdualreds;
11004 return !
scip->set->reopt_enable &&
scip->set->misc_allowweakdualreds;
11033 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPmarkDoNotAggrVar",
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE) );
11066 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPmarkDoNotMultaggrVar",
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
TRUE,
FALSE,
FALSE,
FALSE,
TRUE) );
11087 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPenableVarHistory",
FALSE,
TRUE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11106 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPdisableVarHistory",
FALSE,
TRUE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11130 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPupdateVarPseudocost",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11162 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPupdateVarAncPseudocost",
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11196 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarPseudocostVal",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11222 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarAncPseudocostVal",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11250 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarPseudocostValCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11274 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarPseudocost",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11302 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarPseudocostCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11328 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarPseudocostCount",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11356 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarPseudocostCountCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11384 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarAncPseudocostCountCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11411 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarPseudocostVariance",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11434 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPcalculatePscostConfidenceBound",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11468 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPsignificantVarPscostDifference",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11496 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPpscostThresholdProbabilityTest",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11513 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPisVarPscostRelerrorReliable",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11542 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarPseudocostScore",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11582 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarDPseudocostScore",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11592 pscostdown /= (1 + discountfac);
11593 pscostup /= (1 + discountfac);
11624 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarPseudocostScoreCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11655 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarVSIDS",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11661 SCIPerrorMessage(
"invalid branching direction %d when asking for VSIDS value\n", dir);
11687 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarVSIDSCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11693 SCIPerrorMessage(
"invalid branching direction %d when asking for VSIDS value\n", dir);
11721 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarConflictScore",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11752 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarConflictScoreCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11783 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarConflictlengthScore",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11814 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarConflictlengthScoreCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11843 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarAvgConflictlength",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11869 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarAvgConflictlengthCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11897 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarAvgInferences",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11925 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarAvgInferencesCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11953 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarAvgInferenceScore",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
11984 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarAvgInferenceScoreCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
12024 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPinitVarBranchStats",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
12026 assert(downpscost >= 0.0 && uppscost >= 0.0);
12027 assert(downvsids >= 0.0 && upvsids >= 0.0);
12028 assert(downconflen >= 0.0 && upconflen >= 0.0);
12029 assert(downinfer >= 0.0 && upinfer >= 0.0);
12030 assert(downcutoff >= 0.0 && upcutoff >= 0.0);
12094 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPinitVarValueBranchStats",
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE,
FALSE) );
12096 assert(downvsids >= 0.0 && upvsids >= 0.0);
12097 assert(downconflen >= 0.0 && upconflen >= 0.0);
12098 assert(downinfer >= 0.0 && upinfer >= 0.0);
12099 assert(downcutoff >= 0.0 && upcutoff >= 0.0);
12151 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarAvgCutoffs",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
12179 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarAvgCutoffsCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
12207 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarAvgCutoffScore",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
12238 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarAvgCutoffScoreCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
12276 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarAvgInferenceCutoffScore",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
12282 avginfer = (avginferdown + avginferup)/2.0;
12289 inferdown + cutoffweight * avginfer * cutoffdown, inferup + cutoffweight * avginfer * cutoffup);
12320 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarAvgInferenceCutoffScoreCurrentRun",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
12326 avginfer = (avginferdown + avginferup)/2.0;
12333 inferdown + cutoffweight * avginfer * cutoffdown, inferup + cutoffweight * avginfer * cutoffup);
12354 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarAvgGMIScore",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
12381 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPincVarGMISumScore",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
12408 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPgetVarLastGMIScore",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
12435 SCIP_CALL_ABORT(
SCIPcheckStage(
scip,
"SCIPsetVarLastGMIScore",
FALSE,
FALSE,
FALSE,
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE,
FALSE,
FALSE) );
12471 SCIP_CALL(
SCIPcheckStage(
scip,
"SCIPprintVar",
FALSE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
TRUE,
FALSE) );
SCIP_RETCODE SCIPbranchcandUpdateVarBranchPriority(SCIP_BRANCHCAND *branchcand, SCIP_SET *set, SCIP_VAR *var, int branchpriority)
SCIP_Real SCIPbranchGetScore(SCIP_SET *set, SCIP_VAR *var, SCIP_Real downgain, SCIP_Real upgain)
internal methods for branching rules and branching candidate storage
SCIP_CERTIFICATE * SCIPgetCertificate(SCIP *scip)
SCIP_Longint SCIPcertificateGetCurrentIndex(SCIP_CERTIFICATE *certificate)
SCIP_RETCODE SCIPcertificatePrintCutoffConflictingBounds(SCIP *scip, SCIP_CERTIFICATE *certificate, SCIP_VAR *var, SCIP_RATIONAL *lb, SCIP_RATIONAL *ub, SCIP_Longint lbindex, SCIP_Longint ubindex)
methods for certificate output
void SCIPclockStop(SCIP_CLOCK *clck, SCIP_SET *set)
void SCIPclockStart(SCIP_CLOCK *clck, SCIP_SET *set)
internal methods for clocks and timing issues
internal methods for conflict analysis
int SCIPconflictGetNConflicts(SCIP_CONFLICT *conflict)
SCIP_RETCODE SCIPconflictAnalyzeStrongbranch(SCIP_CONFLICT *conflict, SCIP_CONFLICTSTORE *conflictstore, 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_EVENTFILTER *eventfilter, SCIP_CLIQUETABLE *cliquetable, SCIP_COL *col, SCIP_Bool *downconflict, SCIP_Bool *upconflict)
#define SCIPcheckStage(scip, method, init, problem, transforming, transformed, initpresolve, presolving, exitpresolve, presolved, initsolve, solving, solved, exitsolve, freetrans, freescip)
#define SCIP_MAXTREEDEPTH
#define SCIP_CALL_ABORT(x)
#define SCIP_LONGINT_FORMAT
#define SCIP_CALL_FINALLY(x, y)
void SCIPgmlWriteNodeWeight(FILE *file, unsigned int id, const char *label, const char *nodetype, const char *fillcolor, const char *bordercolor, SCIP_Real weight)
void SCIPgmlWriteNode(FILE *file, unsigned int id, const char *label, const char *nodetype, const char *fillcolor, const char *bordercolor)
void SCIPgmlWriteClosing(FILE *file)
void SCIPgmlWriteOpening(FILE *file, SCIP_Bool directed)
void SCIPgmlWriteArc(FILE *file, unsigned int source, unsigned int target, const char *label, const char *color)
SCIP_Bool SCIPisTransformed(SCIP *scip)
SCIP_STAGE SCIPgetStage(SCIP *scip)
int SCIPgetNContVars(SCIP *scip)
SCIP_RETCODE SCIPgetVarsData(SCIP *scip, SCIP_VAR ***vars, int *nvars, int *nbinvars, int *nintvars, int *nimplvars, int *ncontvars)
int SCIPgetNVars(SCIP *scip)
SCIP_VAR ** SCIPgetVars(SCIP *scip)
SCIP_VAR * SCIPfindVar(SCIP *scip, const char *name)
void SCIPhashmapFree(SCIP_HASHMAP **hashmap)
SCIP_RETCODE SCIPhashmapCreate(SCIP_HASHMAP **hashmap, BMS_BLKMEM *blkmem, int mapsize)
SCIP_Bool SCIPhashmapExists(SCIP_HASHMAP *hashmap, void *origin)
SCIP_RETCODE SCIPhashmapInsertInt(SCIP_HASHMAP *hashmap, void *origin, int image)
SCIP_Bool SCIPlpiIsInfinity(SCIP_LPI *lpi, SCIP_Real val)
SCIP_RETCODE SCIPlpiGetObjval(SCIP_LPI *lpi, SCIP_Real *objval)
SCIP_Bool SCIPlpiIsDualFeasible(SCIP_LPI *lpi)
SCIP_Bool SCIPlpiWasSolved(SCIP_LPI *lpi)
void SCIPinfoMessage(SCIP *scip, FILE *file, const char *formatstr,...)
SCIP_MESSAGEHDLR * SCIPgetMessagehdlr(SCIP *scip)
void SCIPwarningMessage(SCIP *scip, const char *formatstr,...)
SCIP_Bool SCIPshouldCertificateTrackBounds(SCIP *scip)
SCIP_Real SCIPgetColRedcost(SCIP *scip, SCIP_COL *col)
SCIP_Longint SCIPcolGetStrongbranchNode(SCIP_COL *col)
int SCIPcolGetNStrongbranchs(SCIP_COL *col)
SCIP_Bool SCIPcolIsInLP(SCIP_COL *col)
SCIP_Real SCIPgetColFarkasCoef(SCIP *scip, SCIP_COL *col)
SCIP_Bool SCIPconsIsLockedTypePos(SCIP_CONS *cons, SCIP_LOCKTYPE locktype)
SCIP_Bool SCIPconsIsLockedTypeNeg(SCIP_CONS *cons, SCIP_LOCKTYPE locktype)
SCIP_Bool SCIPisExact(SCIP *scip)
SCIP_Bool SCIPinDive(SCIP *scip)
SCIP_Bool SCIPisLPRelax(SCIP *scip)
SCIP_RETCODE SCIPgetLPI(SCIP *scip, SCIP_LPI **lpi)
SCIP_LPSOLSTAT SCIPgetLPSolstat(SCIP *scip)
SCIP_Bool SCIPallColsInLP(SCIP *scip)
SCIP_Real SCIPgetLPObjval(SCIP *scip)
#define SCIPfreeBlockMemoryArray(scip, ptr, num)
BMS_BLKMEM * SCIPblkmem(SCIP *scip)
BMS_BUFMEM * SCIPbuffer(SCIP *scip)
#define SCIPallocClearBufferArray(scip, ptr, num)
int SCIPcalcMemGrowSize(SCIP *scip, int num)
#define SCIPallocBufferArray(scip, ptr, num)
#define SCIPfreeBufferArray(scip, ptr)
#define SCIPduplicateBufferArray(scip, ptr, source, num)
#define SCIPreallocBlockMemoryArray(scip, ptr, oldnum, newnum)
#define SCIPfreeBlockMemoryArrayNull(scip, ptr, num)
#define SCIPduplicateBlockMemoryArray(scip, ptr, source, num)
SCIP_NODETYPE SCIPnodeGetType(SCIP_NODE *node)
SCIP_DOMCHG * SCIPnodeGetDomchg(SCIP_NODE *node)
int SCIPgetProbingDepth(SCIP *scip)
SCIP_RETCODE SCIPchgVarUbProbing(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound)
SCIP_RETCODE SCIPchgVarLbProbing(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound)
SCIP_RETCODE SCIPpropagateProbing(SCIP *scip, int maxproprounds, SCIP_Bool *cutoff, SCIP_Longint *ndomredsfound)
SCIP_RETCODE SCIPbacktrackProbing(SCIP *scip, int probingdepth)
SCIP_Bool SCIPinProbing(SCIP *scip)
SCIP_RETCODE SCIPnewProbingNode(SCIP *scip)
SCIP_RETCODE SCIPsolveProbingLP(SCIP *scip, int itlim, SCIP_Bool *lperror, SCIP_Bool *cutoff)
void SCIPrationalMin(SCIP_RATIONAL *res, SCIP_RATIONAL *op1, SCIP_RATIONAL *op2)
void SCIPrationalAdd(SCIP_RATIONAL *res, SCIP_RATIONAL *op1, SCIP_RATIONAL *op2)
SCIP_Real SCIPrationalGetReal(SCIP_RATIONAL *rational)
#define SCIPrationalDebugMessage
void SCIPrationalDiv(SCIP_RATIONAL *res, SCIP_RATIONAL *op1, SCIP_RATIONAL *op2)
SCIP_Bool SCIPrationalIsAbsInfinity(SCIP_RATIONAL *rational)
SCIP_Bool SCIPrationalIsLT(SCIP_RATIONAL *rat1, SCIP_RATIONAL *rat2)
void SCIPrationalSetReal(SCIP_RATIONAL *res, SCIP_Real real)
SCIP_Bool SCIPrationalIsGT(SCIP_RATIONAL *rat1, SCIP_RATIONAL *rat2)
void SCIPrationalFreeBuffer(BMS_BUFMEM *bufmem, SCIP_RATIONAL **rational)
void SCIPrationalDiff(SCIP_RATIONAL *res, SCIP_RATIONAL *op1, SCIP_RATIONAL *op2)
SCIP_RETCODE SCIPrationalCreateBuffer(BMS_BUFMEM *bufmem, SCIP_RATIONAL **rational)
SCIP_Bool SCIPrationalIsZero(SCIP_RATIONAL *rational)
void SCIPrationalSetRational(SCIP_RATIONAL *res, SCIP_RATIONAL *src)
void SCIPrationalSetString(SCIP_RATIONAL *res, const char *desc)
SCIP_Bool SCIPrationalIsIntegral(SCIP_RATIONAL *rational)
void SCIPrationalMax(SCIP_RATIONAL *res, SCIP_RATIONAL *op1, SCIP_RATIONAL *op2)
SCIP_Bool SCIPrationalIsGE(SCIP_RATIONAL *rat1, SCIP_RATIONAL *rat2)
SCIP_Bool SCIPstrToRationalValue(char *desc, SCIP_RATIONAL *value, char **endptr)
void SCIPrationalMessage(SCIP_MESSAGEHDLR *msg, FILE *file, SCIP_RATIONAL *rational)
SCIP_Bool SCIPrationalIsNegative(SCIP_RATIONAL *rational)
SCIP_Bool SCIPrationalIsInfinity(SCIP_RATIONAL *rational)
void SCIPrationalFreeBlockArray(BMS_BLKMEM *mem, SCIP_RATIONAL ***ratblockarray, int size)
SCIP_Real SCIPrationalRoundReal(SCIP_RATIONAL *rational, SCIP_ROUNDMODE_RAT roundmode)
SCIP_Bool SCIPrationalIsEQReal(SCIP_RATIONAL *rat, SCIP_Real real)
SCIP_Bool SCIPrationalIsNegInfinity(SCIP_RATIONAL *rational)
SCIP_RETCODE SCIPrationalReallocBlockArray(BMS_BLKMEM *mem, SCIP_RATIONAL ***result, int oldlen, int newlen)
SCIP_Bool SCIPrationalIsEQ(SCIP_RATIONAL *rat1, SCIP_RATIONAL *rat2)
SCIP_Bool SCIPrationalIsLE(SCIP_RATIONAL *rat1, SCIP_RATIONAL *rat2)
void SCIPsolSetStrongbranching(SCIP_SOL *sol)
SCIP_RETCODE SCIPcreateLPSol(SCIP *scip, SCIP_SOL **sol, SCIP_HEUR *heur)
SCIP_RETCODE SCIPgetSolVals(SCIP *scip, SCIP_SOL *sol, int nvars, SCIP_VAR **vars, SCIP_Real *vals)
SCIP_RETCODE SCIProundSol(SCIP *scip, SCIP_SOL *sol, SCIP_Bool *success)
SCIP_RETCODE SCIPtrySolFree(SCIP *scip, SCIP_SOL **sol, SCIP_Bool printreason, SCIP_Bool completely, SCIP_Bool checkbounds, SCIP_Bool checkintegrality, SCIP_Bool checklprows, SCIP_Bool *stored)
SCIP_Real SCIPgetSolVal(SCIP *scip, SCIP_SOL *sol, SCIP_VAR *var)
SCIP_Real SCIPgetCutoffbound(SCIP *scip)
SCIP_Bool SCIPisFeasGE(SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Real SCIPinfinity(SCIP *scip)
SCIP_Bool SCIPisGE(SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool SCIPisIntegral(SCIP *scip, SCIP_Real val)
SCIP_Bool SCIPisFeasEQ(SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Real SCIPfeasCeil(SCIP *scip, SCIP_Real val)
SCIP_Bool SCIPisLE(SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool SCIPisFeasZero(SCIP *scip, SCIP_Real val)
SCIP_Real SCIPfeasFloor(SCIP *scip, SCIP_Real val)
SCIP_Bool SCIPisInfinity(SCIP *scip, SCIP_Real val)
SCIP_Bool SCIPisFeasLT(SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool SCIPisFeasLE(SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool SCIPisFeasIntegral(SCIP *scip, SCIP_Real val)
SCIP_Bool SCIPisGT(SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool SCIPisFeasGT(SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool SCIPisZero(SCIP *scip, SCIP_Real val)
SCIP_Bool SCIPisLT(SCIP *scip, SCIP_Real val1, SCIP_Real val2)
SCIP_NODE * SCIPgetCurrentNode(SCIP *scip)
SCIP_RETCODE SCIPgetVarStrongbranchFrac(SCIP *scip, SCIP_VAR *var, int itlim, SCIP_Bool idempotent, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Bool *downinf, SCIP_Bool *upinf, SCIP_Bool *downconflict, SCIP_Bool *upconflict, SCIP_Bool *lperror)
SCIP_Real SCIPgetRelaxSolObj(SCIP *scip)
SCIP_RETCODE SCIPinitVarBranchStats(SCIP *scip, SCIP_VAR *var, SCIP_Real downpscost, SCIP_Real uppscost, SCIP_Real downvsids, SCIP_Real upvsids, SCIP_Real downconflen, SCIP_Real upconflen, SCIP_Real downinfer, SCIP_Real upinfer, SCIP_Real downcutoff, SCIP_Real upcutoff)
SCIP_Real SCIPgetVarAncPseudocostCountCurrentRun(SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_RETCODE SCIPtightenVarLb(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
SCIP_Real SCIPgetVarBdAtIndex(SCIP *scip, SCIP_VAR *var, SCIP_BOUNDTYPE boundtype, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
SCIP_RETCODE SCIPinitVarValueBranchStats(SCIP *scip, SCIP_VAR *var, SCIP_Real value, SCIP_Real downvsids, SCIP_Real upvsids, SCIP_Real downconflen, SCIP_Real upconflen, SCIP_Real downinfer, SCIP_Real upinfer, SCIP_Real downcutoff, SCIP_Real upcutoff)
SCIP_RETCODE SCIPaddVarLocks(SCIP *scip, SCIP_VAR *var, int nlocksdown, int nlocksup)
SCIP_COL * SCIPvarGetCol(SCIP_VAR *var)
SCIP_Real SCIPgetVarMultaggrLbGlobal(SCIP *scip, SCIP_VAR *var)
SCIP_Bool SCIPpscostThresholdProbabilityTest(SCIP *scip, SCIP_VAR *var, SCIP_Real frac, SCIP_Real threshold, SCIP_BRANCHDIR dir, SCIP_CONFIDENCELEVEL clevel)
SCIP_RETCODE SCIPlockVarCons(SCIP *scip, SCIP_VAR *var, SCIP_CONS *cons, SCIP_Bool lockdown, SCIP_Bool lockup)
SCIP_BOUNDTYPE SCIPvarGetBestBoundType(SCIP_VAR *var)
SCIP_RETCODE SCIPremoveVarFromGlobalStructures(SCIP *scip, SCIP_VAR *var)
SCIP_Real SCIPvarGetSol(SCIP_VAR *var, SCIP_Bool getlpval)
SCIP_RETCODE SCIPtightenVarUbExact(SCIP *scip, SCIP_VAR *var, SCIP_RATIONAL *newbound, SCIP_Bool *infeasible, SCIP_Bool *tightened)
SCIP_Bool SCIPdoNotAggrVar(SCIP *scip, SCIP_VAR *var)
void SCIPdisableVarHistory(SCIP *scip)
SCIP_Bool SCIPvarIsActive(SCIP_VAR *var)
SCIP_Bool SCIPgetVarWasFixedAtIndex(SCIP *scip, SCIP_VAR *var, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
SCIP_Bool SCIPvarIsBinary(SCIP_VAR *var)
SCIP_RETCODE SCIPincVarGMISumScore(SCIP *scip, SCIP_VAR *var, SCIP_Real gmieff)
SCIP_RETCODE SCIPinferVarFixProp(SCIP *scip, SCIP_VAR *var, SCIP_Real fixedval, SCIP_PROP *inferprop, int inferinfo, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
SCIP_BOUNDTYPE SCIPboundchgGetBoundtype(SCIP_BOUNDCHG *boundchg)
SCIP_RETCODE SCIPchgVarUbExact(SCIP *scip, SCIP_VAR *var, SCIP_RATIONAL *newbound)
SCIP_Real SCIPgetVarMultaggrLbLocal(SCIP *scip, SCIP_VAR *var)
SCIP_RETCODE SCIPinferVarUbProp(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_PROP *inferprop, int inferinfo, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
SCIP_RETCODE SCIPaddClique(SCIP *scip, SCIP_VAR **vars, SCIP_Bool *values, int nvars, SCIP_Bool isequation, SCIP_Bool *infeasible, int *nbdchgs)
SCIP_RETCODE SCIPsetRelaxSolVal(SCIP *scip, SCIP_RELAX *relax, SCIP_VAR *var, SCIP_Real val)
SCIP_RETCODE SCIPtightenVarUbGlobal(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
SCIP_Real SCIPgetVarAvgInferenceScoreCurrentRun(SCIP *scip, SCIP_VAR *var)
SCIP_RETCODE SCIPgetVarStrongbranchInt(SCIP *scip, SCIP_VAR *var, int itlim, SCIP_Bool idempotent, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Bool *downinf, SCIP_Bool *upinf, SCIP_Bool *downconflict, SCIP_Bool *upconflict, SCIP_Bool *lperror)
SCIP_VAR * SCIPboundchgGetVar(SCIP_BOUNDCHG *boundchg)
SCIP_Real SCIPgetVarPseudocostCountCurrentRun(SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_Real SCIPgetVarAvgInferenceScore(SCIP *scip, SCIP_VAR *var)
SCIP_RETCODE SCIPscaleVarBranchFactor(SCIP *scip, SCIP_VAR *var, SCIP_Real scale)
SCIP_RETCODE SCIPendStrongbranch(SCIP *scip)
SCIP_RETCODE SCIPchgVarLb(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound)
SCIP_Real SCIPgetVarMultaggrUbGlobal(SCIP *scip, SCIP_VAR *var)
SCIP_BOUNDCHG * SCIPdomchgGetBoundchg(SCIP_DOMCHG *domchg, int pos)
SCIP_RETCODE SCIPgetTransformedVars(SCIP *scip, int nvars, SCIP_VAR **vars, SCIP_VAR **transvars)
SCIP_Real SCIPgetVarPseudocostCount(SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_VARSTATUS SCIPvarGetStatus(SCIP_VAR *var)
SCIP_Real SCIPadjustedVarLbExactFloat(SCIP *scip, SCIP_VAR *var, SCIP_Real lb)
SCIP_Real SCIPgetVarPseudocostCurrentRun(SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_RETCODE SCIPwriteCliqueGraph(SCIP *scip, const char *fname, SCIP_Bool writenodeweights)
SCIP_RETCODE SCIPchgVarName(SCIP *scip, SCIP_VAR *var, const char *name)
SCIP_RETCODE SCIPcalcNegatedCliquePartition(SCIP *scip, SCIP_VAR **vars, int nvars, int **probtoidxmap, int *probtoidxmapsize, int *cliquepartition, int *ncliques)
SCIP_Bool SCIPdoNotAggr(SCIP *scip)
SCIP_Bool SCIPvarIsImpliedIntegral(SCIP_VAR *var)
SCIP_Real SCIPgetVarMultaggrUbLocal(SCIP *scip, SCIP_VAR *var)
SCIP_Real SCIPvarGetUbLocal(SCIP_VAR *var)
int SCIPvarGetNLocksDown(SCIP_VAR *var)
SCIP_RETCODE SCIPaggregateVarsExact(SCIP *scip, SCIP_VAR *varx, SCIP_VAR *vary, SCIP_RATIONAL *scalarx, SCIP_RATIONAL *scalary, SCIP_RATIONAL *rhs, SCIP_Bool *infeasible, SCIP_Bool *redundant, SCIP_Bool *aggregated)
SCIP_RETCODE SCIPupdateVarBranchPriority(SCIP *scip, SCIP_VAR *var, int branchpriority)
SCIP_Real SCIPgetVarAvgConflictlength(SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_Bool SCIPisVarPscostRelerrorReliable(SCIP *scip, SCIP_VAR *var, SCIP_Real threshold, SCIP_CONFIDENCELEVEL clevel)
SCIP_RETCODE SCIPgetBinvarRepresentatives(SCIP *scip, int nvars, SCIP_VAR **vars, SCIP_VAR **repvars, SCIP_Bool *negated)
SCIP_BDCHGINFO * SCIPvarGetLbchgInfo(SCIP_VAR *var, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
SCIP_Bool SCIPdoNotMultaggrVar(SCIP *scip, SCIP_VAR *var)
SCIP_Bool SCIPvarIsTransformed(SCIP_VAR *var)
SCIP_Real SCIPgetVarPseudocost(SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_RETCODE SCIPparseVarsList(SCIP *scip, const char *str, SCIP_VAR **vars, int *nvars, int varssize, int *requiredsize, char **endptr, char delimiter, SCIP_Bool *success)
SCIP_Real SCIPgetVarAvgCutoffScoreCurrentRun(SCIP *scip, SCIP_VAR *var)
SCIP_RETCODE SCIPaggregateVars(SCIP *scip, SCIP_VAR *varx, SCIP_VAR *vary, SCIP_Real scalarx, SCIP_Real scalary, SCIP_Real rhs, SCIP_Bool *infeasible, SCIP_Bool *redundant, SCIP_Bool *aggregated)
SCIP_RETCODE SCIPinferVarUbCons(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_CONS *infercons, int inferinfo, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
SCIP_RETCODE SCIPparseVarsPolynomialExact(SCIP *scip, char *str, SCIP_VAR ****monomialvars, SCIP_RATIONAL ***monomialcoefs, int *nmonomials, char **endptr, SCIP_Bool *success)
SCIP_Real SCIPboundchgGetNewbound(SCIP_BOUNDCHG *boundchg)
SCIP_RETCODE SCIPaddVarExactData(SCIP *scip, SCIP_VAR *var, SCIP_RATIONAL *lb, SCIP_RATIONAL *ub, SCIP_RATIONAL *obj)
SCIP_RETCODE SCIPchgVarUb(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound)
SCIP_RETCODE SCIPchgVarUbNode(SCIP *scip, SCIP_NODE *node, SCIP_VAR *var, SCIP_Real newbound)
SCIP_Real SCIPgetVarAvgInferencesCurrentRun(SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_Real SCIPvarGetObj(SCIP_VAR *var)
SCIP_VAR * SCIPvarGetProbvar(SCIP_VAR *var)
SCIP_RETCODE SCIPchgVarImplType(SCIP *scip, SCIP_VAR *var, SCIP_IMPLINTTYPE impltype, SCIP_Bool *infeasible)
SCIP_CLIQUE ** SCIPgetCliques(SCIP *scip)
SCIP_RETCODE SCIPtightenVarUb(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
SCIP_RETCODE SCIPparseVarName(SCIP *scip, const char *str, SCIP_VAR **var, char **endptr)
SCIP_RETCODE SCIPparseVar(SCIP *scip, SCIP_VAR **var, const char *str, SCIP_Bool initial, SCIP_Bool removable, SCIP_DECL_VARCOPY((*varcopy)), SCIP_DECL_VARDELORIG((*vardelorig)), SCIP_DECL_VARTRANS((*vartrans)), SCIP_DECL_VARDELTRANS((*vardeltrans)), SCIP_VARDATA *vardata, char **endptr, SCIP_Bool *success)
SCIP_VARTYPE SCIPvarGetType(SCIP_VAR *var)
SCIP_RETCODE SCIPgetProbvarSum(SCIP *scip, SCIP_VAR **var, SCIP_Real *scalar, SCIP_Real *constant)
SCIP_Real SCIPvarGetUbGlobal(SCIP_VAR *var)
SCIP_RETCODE SCIPchgVarBranchDirection(SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR branchdirection)
SCIP_VARSTATUS SCIPvarGetStatusExact(SCIP_VAR *var)
SCIP_RETCODE SCIPaddVarVub(SCIP *scip, SCIP_VAR *var, SCIP_VAR *vubvar, SCIP_Real vubcoef, SCIP_Real vubconstant, SCIP_Bool *infeasible, int *nbdchgs)
SCIP_RETCODE SCIPaddVarLocksType(SCIP *scip, SCIP_VAR *var, SCIP_LOCKTYPE locktype, int nlocksdown, int nlocksup)
SCIP_RETCODE SCIPchgVarLbGlobalExact(SCIP *scip, SCIP_VAR *var, SCIP_RATIONAL *newbound)
SCIP_RETCODE SCIPaddVarVlb(SCIP *scip, SCIP_VAR *var, SCIP_VAR *vlbvar, SCIP_Real vlbcoef, SCIP_Real vlbconstant, SCIP_Bool *infeasible, int *nbdchgs)
SCIP_RETCODE SCIPchgVarBranchPriority(SCIP *scip, SCIP_VAR *var, int branchpriority)
SCIP_RETCODE SCIPunlockVarCons(SCIP *scip, SCIP_VAR *var, SCIP_CONS *cons, SCIP_Bool lockdown, SCIP_Bool lockup)
SCIP_RETCODE SCIPchgVarUbGlobalExact(SCIP *scip, SCIP_VAR *var, SCIP_RATIONAL *newbound)
SCIP_RETCODE SCIPinferVarLbConsExact(SCIP *scip, SCIP_VAR *var, SCIP_RATIONAL *newbound, SCIP_CONS *infercons, int inferinfo, SCIP_Bool *infeasible, SCIP_Bool *tightened)
SCIP_Real SCIPgetVarFarkasCoef(SCIP *scip, SCIP_VAR *var)
SCIP_RETCODE SCIPgetVarClosestVub(SCIP *scip, SCIP_VAR *var, SCIP_SOL *sol, SCIP_Real *closestvub, int *closestvubidx)
SCIP_Real SCIPgetVarAvgCutoffsCurrentRun(SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_RETCODE SCIPcreateVarImpl(SCIP *scip, SCIP_VAR **var, const char *name, SCIP_Real lb, SCIP_Real ub, SCIP_Real obj, SCIP_VARTYPE vartype, SCIP_IMPLINTTYPE impltype, SCIP_Bool initial, SCIP_Bool removable, SCIP_DECL_VARDELORIG((*vardelorig)), SCIP_DECL_VARTRANS((*vartrans)), SCIP_DECL_VARDELTRANS((*vardeltrans)), SCIP_DECL_VARCOPY((*varcopy)), SCIP_VARDATA *vardata)
SCIP_RETCODE SCIPchgVarLbLazy(SCIP *scip, SCIP_VAR *var, SCIP_Real lazylb)
SCIP_Real SCIPgetVarUbAtIndex(SCIP *scip, SCIP_VAR *var, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
int SCIPdomchgGetNBoundchgs(SCIP_DOMCHG *domchg)
int SCIPvarGetProbindex(SCIP_VAR *var)
const char * SCIPvarGetName(SCIP_VAR *var)
SCIP_Longint SCIPgetVarStrongbranchNode(SCIP *scip, SCIP_VAR *var)
SCIP_RETCODE SCIPtransformVars(SCIP *scip, int nvars, SCIP_VAR **vars, SCIP_VAR **transvars)
SCIP_RETCODE SCIPcalcCliquePartition(SCIP *scip, SCIP_VAR **vars, int nvars, int **probtoidxmap, int *probtoidxmapsize, int *cliquepartition, int *ncliques)
SCIP_Real SCIPgetVarDPseudocostScore(SCIP *scip, SCIP_VAR *var, SCIP_Real solval, SCIP_Real discountfac)
SCIP_RETCODE SCIPmultiaggregateVar(SCIP *scip, SCIP_VAR *var, int naggvars, SCIP_VAR **aggvars, SCIP_Real *scalars, SCIP_Real constant, SCIP_Bool *infeasible, SCIP_Bool *aggregated)
void SCIPfreeParseVarsPolynomialData(SCIP *scip, SCIP_VAR ****monomialvars, SCIP_Real ***monomialexps, SCIP_Real **monomialcoefs, int **monomialnvars, int nmonomials)
SCIP_LPSOLSTAT SCIPgetLastStrongbranchLPSolStat(SCIP *scip, SCIP_BRANCHDIR branchdir)
SCIP_RETCODE SCIPaddVarBranchFactor(SCIP *scip, SCIP_VAR *var, SCIP_Real addfactor)
int SCIPgetNCliquesCreated(SCIP *scip)
SCIP_RETCODE SCIPcleanupCliques(SCIP *scip, SCIP_Bool *infeasible)
void SCIPvarMarkDeleteGlobalStructures(SCIP_VAR *var)
SCIP_RETCODE SCIPreleaseVar(SCIP *scip, SCIP_VAR **var)
SCIP_Real SCIPadjustedVarUb(SCIP *scip, SCIP_VAR *var, SCIP_Real ub)
SCIP_Longint SCIPgetVarStrongbranchLPAge(SCIP *scip, SCIP_VAR *var)
SCIP_RETCODE SCIPchgVarLbGlobal(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound)
SCIP_RETCODE SCIPgetProbvarLinearSumExact(SCIP *scip, SCIP_VAR **vars, SCIP_RATIONAL **scalars, int *nvars, int varssize, SCIP_RATIONAL *constant, int *requiredsize, SCIP_Bool mergemultiples)
SCIP_RETCODE SCIPmarkRelaxSolValid(SCIP *scip, SCIP_RELAX *relax, SCIP_Bool includeslp)
SCIP_RETCODE SCIPgetVarsStrongbranchesFrac(SCIP *scip, SCIP_VAR **vars, int nvars, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Bool *downinf, SCIP_Bool *upinf, SCIP_Bool *downconflict, SCIP_Bool *upconflict, SCIP_Bool *lperror)
SCIP_RATIONAL * SCIPvarGetUbLocalExact(SCIP_VAR *var)
SCIP_RETCODE SCIPsetVarStrongbranchData(SCIP *scip, SCIP_VAR *var, SCIP_Real lpobjval, SCIP_Real primsol, SCIP_Real down, SCIP_Real up, SCIP_Bool downvalid, SCIP_Bool upvalid, SCIP_Longint iter, int itlim)
SCIP_Real SCIPvarGetBranchFactor(SCIP_VAR *var)
SCIP_Bool SCIPdoNotMultaggr(SCIP *scip)
SCIP_Real SCIPgetVarPseudocostVal(SCIP *scip, SCIP_VAR *var, SCIP_Real solvaldelta)
SCIP_RETCODE SCIPparseVarsLinearsum(SCIP *scip, const char *str, SCIP_VAR **vars, SCIP_Real *vals, int *nvars, int varssize, int *requiredsize, char **endptr, SCIP_Bool *success)
SCIP_Real SCIPgetVarConflictlengthScore(SCIP *scip, SCIP_VAR *var)
SCIP_Bool SCIPsignificantVarPscostDifference(SCIP *scip, SCIP_VAR *varx, SCIP_Real fracx, SCIP_VAR *vary, SCIP_Real fracy, SCIP_BRANCHDIR dir, SCIP_CONFIDENCELEVEL clevel, SCIP_Bool onesided)
SCIP_RETCODE SCIPgetProbvarLinearSum(SCIP *scip, SCIP_VAR **vars, SCIP_Real *scalars, int *nvars, int varssize, SCIP_Real *constant, int *requiredsize)
SCIP_Real SCIPgetRelaxSolVal(SCIP *scip, SCIP_VAR *var)
SCIP_RETCODE SCIPgetVarStrongbranchWithPropagation(SCIP *scip, SCIP_VAR *var, SCIP_Real solval, SCIP_Real lpobjval, int itlim, int maxproprounds, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Longint *ndomredsdown, SCIP_Longint *ndomredsup, SCIP_Bool *downinf, SCIP_Bool *upinf, SCIP_Bool *downconflict, SCIP_Bool *upconflict, SCIP_Bool *lperror, SCIP_Real *newlbs, SCIP_Real *newubs)
SCIP_Real SCIPadjustedVarLb(SCIP *scip, SCIP_VAR *var, SCIP_Real lb)
SCIP_Bool SCIPvarIsIntegral(SCIP_VAR *var)
SCIP_Real SCIPgetVarAvgCutoffs(SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_Real SCIPvarGetPseudoSol(SCIP_VAR *var)
SCIP_Real SCIPgetVarAncPseudocostVal(SCIP *scip, SCIP_VAR *var, SCIP_Real solvaldelta)
SCIP_Bool SCIPisRelaxSolValid(SCIP *scip)
SCIP_RETCODE SCIPgetVarClosestVlb(SCIP *scip, SCIP_VAR *var, SCIP_SOL *sol, SCIP_Real *closestvlb, int *closestvlbidx)
SCIP_RETCODE SCIPparseVarsLinearsumExact(SCIP *scip, char *str, SCIP_VAR **vars, SCIP_RATIONAL **vals, int *nvars, int varssize, int *requiredsize, char **endptr, SCIP_Bool *success)
SCIP_RETCODE SCIPchgVarType(SCIP *scip, SCIP_VAR *var, SCIP_VARTYPE vartype, SCIP_Bool *infeasible)
SCIP_Real SCIPvarGetLPSol(SCIP_VAR *var)
SCIP_RETCODE SCIPflattenVarAggregationGraph(SCIP *scip, SCIP_VAR *var)
SCIP_Real SCIPcomputeVarLbGlobal(SCIP *scip, SCIP_VAR *var)
SCIP_Real SCIPgetVarSol(SCIP *scip, SCIP_VAR *var)
SCIP_RETCODE SCIPgetNegatedVar(SCIP *scip, SCIP_VAR *var, SCIP_VAR **negvar)
SCIP_Real SCIPgetVarPseudocostScoreCurrentRun(SCIP *scip, SCIP_VAR *var, SCIP_Real solval)
SCIP_RETCODE SCIPinferVarUbConsExact(SCIP *scip, SCIP_VAR *var, SCIP_RATIONAL *newbound, SCIP_CONS *infercons, int inferinfo, SCIP_Bool *infeasible, SCIP_Bool *tightened)
SCIP_Bool SCIPhaveVarsCommonClique(SCIP *scip, SCIP_VAR *var1, SCIP_Bool value1, SCIP_VAR *var2, SCIP_Bool value2, SCIP_Bool regardimplics)
SCIP_RETCODE SCIPaddVarImplication(SCIP *scip, SCIP_VAR *var, SCIP_Bool varfixing, SCIP_VAR *implvar, SCIP_BOUNDTYPE impltype, SCIP_Real implbound, SCIP_Bool *infeasible, int *nbdchgs)
SCIP_RETCODE SCIPsetRelaxSolVals(SCIP *scip, SCIP_RELAX *relax, int nvars, SCIP_VAR **vars, SCIP_Real *vals, SCIP_Bool includeslp)
SCIP_Real SCIPcalculatePscostConfidenceBound(SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir, SCIP_Bool onlycurrentrun, SCIP_CONFIDENCELEVEL clevel)
int SCIPvarGetNCliques(SCIP_VAR *var, SCIP_Bool varfixing)
SCIP_Real SCIPvarGetLbLocal(SCIP_VAR *var)
SCIP_Bool SCIPvarIsNegated(SCIP_VAR *var)
SCIP_RETCODE SCIPchgVarUbGlobal(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound)
SCIP_Real SCIPcomputeVarLbLocal(SCIP *scip, SCIP_VAR *var)
SCIP_RETCODE SCIPwriteVarsPolynomial(SCIP *scip, FILE *file, SCIP_VAR ***monomialvars, SCIP_Real **monomialexps, SCIP_Real *monomialcoefs, int *monomialnvars, int nmonomials, SCIP_Bool type)
SCIP_Bool SCIPboundchgIsRedundant(SCIP_BOUNDCHG *boundchg)
SCIP_Real SCIPgetVarPseudocostValCurrentRun(SCIP *scip, SCIP_VAR *var, SCIP_Real solvaldelta)
SCIP_VAR * SCIPvarGetNegationVar(SCIP_VAR *var)
SCIP_RETCODE SCIPupdateVarPseudocost(SCIP *scip, SCIP_VAR *var, SCIP_Real solvaldelta, SCIP_Real objdelta, SCIP_Real weight)
int SCIPgetNCliques(SCIP *scip)
SCIP_BDCHGINFO * SCIPvarGetUbchgInfo(SCIP_VAR *var, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
SCIP_Real SCIPgetVarAvgGMIScore(SCIP *scip, SCIP_VAR *var)
int SCIPvarGetBranchPriority(SCIP_VAR *var)
SCIP_RETCODE SCIPcreateVar(SCIP *scip, SCIP_VAR **var, const char *name, SCIP_Real lb, SCIP_Real ub, SCIP_Real obj, SCIP_VARTYPE vartype, SCIP_Bool initial, SCIP_Bool removable, SCIP_DECL_VARDELORIG((*vardelorig)), SCIP_DECL_VARTRANS((*vartrans)), SCIP_DECL_VARDELTRANS((*vardeltrans)), SCIP_DECL_VARCOPY((*varcopy)), SCIP_VARDATA *vardata)
SCIP_Real SCIPadjustedVarUbExactFloat(SCIP *scip, SCIP_VAR *var, SCIP_Real ub)
SCIP_RETCODE SCIPaddVarBranchPriority(SCIP *scip, SCIP_VAR *var, int addpriority)
SCIP_RETCODE SCIPtransformVar(SCIP *scip, SCIP_VAR *var, SCIP_VAR **transvar)
SCIP_CLIQUE ** SCIPvarGetCliques(SCIP_VAR *var, SCIP_Bool varfixing)
SCIP_Real SCIPgetVarRedcost(SCIP *scip, SCIP_VAR *var)
SCIP_Real SCIPvarGetLbGlobal(SCIP_VAR *var)
SCIP_RETCODE SCIPmarkDoNotMultaggrVar(SCIP *scip, SCIP_VAR *var)
SCIP_RETCODE SCIPfixVar(SCIP *scip, SCIP_VAR *var, SCIP_Real fixedval, SCIP_Bool *infeasible, SCIP_Bool *fixed)
SCIP_RETCODE SCIPmarkRelaxSolInvalid(SCIP *scip)
SCIP_Real SCIPgetVarAvgInferenceCutoffScoreCurrentRun(SCIP *scip, SCIP_VAR *var, SCIP_Real cutoffweight)
SCIP_RETCODE SCIPinferVarLbCons(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_CONS *infercons, int inferinfo, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
SCIP_RETCODE SCIPgetVarsStrongbranchesInt(SCIP *scip, SCIP_VAR **vars, int nvars, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Bool *downinf, SCIP_Bool *upinf, SCIP_Bool *downconflict, SCIP_Bool *upconflict, SCIP_Bool *lperror)
SCIP_RATIONAL * SCIPvarGetLbLocalExact(SCIP_VAR *var)
SCIP_Real SCIPgetVarLbAtIndex(SCIP *scip, SCIP_VAR *var, SCIP_BDCHGIDX *bdchgidx, SCIP_Bool after)
SCIP_IMPLINTTYPE SCIPvarGetImplType(SCIP_VAR *var)
SCIP_RETCODE SCIPparseVarsPolynomial(SCIP *scip, const char *str, SCIP_VAR ****monomialvars, SCIP_Real ***monomialexps, SCIP_Real **monomialcoefs, int **monomialnvars, int *nmonomials, char **endptr, SCIP_Bool *success)
SCIP_Real SCIPgetVarLastGMIScore(SCIP *scip, SCIP_VAR *var)
SCIP_Real SCIPgetVarConflictScore(SCIP *scip, SCIP_VAR *var)
SCIP_RETCODE SCIPprintVar(SCIP *scip, SCIP_VAR *var, FILE *file)
SCIP_Real SCIPgetVarAvgCutoffScore(SCIP *scip, SCIP_VAR *var)
SCIP_RETCODE SCIPchgVarLbNode(SCIP *scip, SCIP_NODE *node, SCIP_VAR *var, SCIP_Real newbound)
SCIP_RETCODE SCIPvarGetProbvarBinary(SCIP_VAR **var, SCIP_Bool *negated)
SCIP_RETCODE SCIPcreateVarBasic(SCIP *scip, SCIP_VAR **var, const char *name, SCIP_Real lb, SCIP_Real ub, SCIP_Real obj, SCIP_VARTYPE vartype)
SCIP_RETCODE SCIPsetVarLastGMIScore(SCIP *scip, SCIP_VAR *var, SCIP_Real gmieff)
SCIP_RETCODE SCIPchgVarUbLazy(SCIP *scip, SCIP_VAR *var, SCIP_Real lazyub)
SCIP_RETCODE SCIPinferBinvarCons(SCIP *scip, SCIP_VAR *var, SCIP_Bool fixedval, SCIP_CONS *infercons, int inferinfo, SCIP_Bool *infeasible, SCIP_Bool *tightened)
int SCIPvarGetNLocksUp(SCIP_VAR *var)
SCIP_RETCODE SCIPtryStrongbranchLPSol(SCIP *scip, SCIP_Bool *foundsol, SCIP_Bool *cutoff)
SCIP_RETCODE SCIPchgVarObjExact(SCIP *scip, SCIP_VAR *var, SCIP_RATIONAL *newobj)
SCIP_RETCODE SCIPwriteVarName(SCIP *scip, FILE *file, SCIP_VAR *var, SCIP_Bool type)
SCIP_RETCODE SCIPgetVarSols(SCIP *scip, int nvars, SCIP_VAR **vars, SCIP_Real *vals)
SCIP_RETCODE SCIPchgVarObj(SCIP *scip, SCIP_VAR *var, SCIP_Real newobj)
SCIP_RETCODE SCIPupdateVarAncPseudocost(SCIP *scip, SCIP_VAR *var, SCIP_Real solvaldelta, SCIP_Real objdelta, SCIP_Real weight)
SCIP_RETCODE SCIPchgVarLbExact(SCIP *scip, SCIP_VAR *var, SCIP_RATIONAL *newbound)
SCIP_RETCODE SCIPgetBinvarRepresentative(SCIP *scip, SCIP_VAR *var, SCIP_VAR **repvar, SCIP_Bool *negated)
SCIP_Real SCIPgetVarAvgInferenceCutoffScore(SCIP *scip, SCIP_VAR *var, SCIP_Real cutoffweight)
SCIP_RETCODE SCIPwriteVarsList(SCIP *scip, FILE *file, SCIP_VAR **vars, int nvars, SCIP_Bool type, char delimiter)
SCIP_Real SCIPcomputeVarUbGlobal(SCIP *scip, SCIP_VAR *var)
SCIP_Real SCIPcomputeVarUbLocal(SCIP *scip, SCIP_VAR *var)
SCIP_RETCODE SCIPgetActiveVars(SCIP *scip, SCIP_VAR **vars, int *nvars, int varssize, int *requiredsize)
int SCIPgetVarNStrongbranchs(SCIP *scip, SCIP_VAR *var)
SCIP_RETCODE SCIPwriteVarsLinearsum(SCIP *scip, FILE *file, SCIP_VAR **vars, SCIP_Real *vals, int nvars, SCIP_Bool type)
SCIP_RETCODE SCIPgetProbvarSumExact(SCIP *scip, SCIP_VAR **var, SCIP_RATIONAL *scalar, SCIP_RATIONAL *constant)
SCIP_RETCODE SCIPgetVarStrongbranchLast(SCIP *scip, SCIP_VAR *var, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Real *solval, SCIP_Real *lpobjval)
SCIP_Real SCIPgetVarVSIDS(SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_Bool SCIPvarsHaveCommonClique(SCIP_VAR *var1, SCIP_Bool value1, SCIP_VAR *var2, SCIP_Bool value2, SCIP_Bool regardimplics)
SCIP_Real SCIPgetVarConflictlengthScoreCurrentRun(SCIP *scip, SCIP_VAR *var)
SCIP_Bool SCIPisVarAggrCoefAcceptable(SCIP *scip, SCIP_VAR *var, SCIP_Real scalar)
SCIP_Real SCIPgetVarVSIDSCurrentRun(SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_Bool SCIPisStrongbranchDownFirst(SCIP *scip, SCIP_VAR *var)
SCIP_Real SCIPbdchginfoGetNewbound(SCIP_BDCHGINFO *bdchginfo)
void SCIPenableVarHistory(SCIP *scip)
SCIP_Real SCIPgetVarImplRedcost(SCIP *scip, SCIP_VAR *var, SCIP_Bool varfixing)
SCIP_Bool SCIPallowWeakDualReds(SCIP *scip)
SCIP_Real SCIPgetVarPseudocostVariance(SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir, SCIP_Bool onlycurrentrun)
SCIP_RETCODE SCIPgetNegatedVars(SCIP *scip, int nvars, SCIP_VAR **vars, SCIP_VAR **negvars)
SCIP_RETCODE SCIPgetTransformedVar(SCIP *scip, SCIP_VAR *var, SCIP_VAR **transvar)
SCIP_RETCODE SCIPmultiaggregateVarExact(SCIP *scip, SCIP_VAR *var, int naggvars, SCIP_VAR **aggvars, SCIP_RATIONAL **scalars, SCIP_RATIONAL *constant, SCIP_Bool *infeasible, SCIP_Bool *aggregated)
SCIP_Real SCIPgetVarConflictScoreCurrentRun(SCIP *scip, SCIP_VAR *var)
SCIP_RETCODE SCIPtightenVarLbExact(SCIP *scip, SCIP_VAR *var, SCIP_RATIONAL *newbound, SCIP_Bool *infeasible, SCIP_Bool *tightened)
SCIP_RETCODE SCIPcaptureVar(SCIP *scip, SCIP_VAR *var)
SCIP_Real SCIPgetVarPseudocostScore(SCIP *scip, SCIP_VAR *var, SCIP_Real solval)
SCIP_RETCODE SCIPstartStrongbranch(SCIP *scip, SCIP_Bool enablepropagation)
SCIP_RETCODE SCIPclearRelaxSolVals(SCIP *scip, SCIP_RELAX *relax)
SCIP_RETCODE SCIPmarkDoNotAggrVar(SCIP *scip, SCIP_VAR *var)
SCIP_Real SCIPgetVarAvgInferences(SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_Bool SCIPallowStrongDualReds(SCIP *scip)
SCIP_RETCODE SCIPinferBinvarProp(SCIP *scip, SCIP_VAR *var, SCIP_Bool fixedval, SCIP_PROP *inferprop, int inferinfo, SCIP_Bool *infeasible, SCIP_Bool *tightened)
SCIP_RETCODE SCIPwriteVarsLinearsumExact(SCIP *scip, FILE *file, SCIP_VAR **vars, SCIP_RATIONAL **vals, int nvars, SCIP_Bool type)
SCIP_RETCODE SCIPvarsGetProbvarBinary(SCIP_VAR ***vars, SCIP_Bool **negatedarr, int nvars)
SCIP_RETCODE SCIPinferVarFixCons(SCIP *scip, SCIP_VAR *var, SCIP_Real fixedval, SCIP_CONS *infercons, int inferinfo, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
SCIP_Real SCIPgetVarAvgConflictlengthCurrentRun(SCIP *scip, SCIP_VAR *var, SCIP_BRANCHDIR dir)
void SCIPfreeParseVarsPolynomialDataExact(SCIP *scip, SCIP_VAR ****monomialvars, SCIP_RATIONAL ***monomialcoefs, int nmonomials)
SCIP_RETCODE SCIPsetRelaxSolValsSol(SCIP *scip, SCIP_RELAX *relax, SCIP_SOL *sol, SCIP_Bool includeslp)
SCIP_RETCODE SCIPchgVarBranchFactor(SCIP *scip, SCIP_VAR *var, SCIP_Real branchfactor)
SCIP_RETCODE SCIPtightenVarLbGlobal(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
SCIP_RETCODE SCIPcomputeVarLbLocalExact(SCIP *scip, SCIP_VAR *var, SCIP_RATIONAL *result)
SCIP_RETCODE SCIPfixVarExact(SCIP *scip, SCIP_VAR *var, SCIP_RATIONAL *fixedval, SCIP_Bool *infeasible, SCIP_Bool *fixed)
SCIP_RETCODE SCIPinferVarLbProp(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_PROP *inferprop, int inferinfo, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
SCIP_RETCODE SCIPaddVarObj(SCIP *scip, SCIP_VAR *var, SCIP_Real addobj)
SCIP_RETCODE SCIPcomputeVarUbLocalExact(SCIP *scip, SCIP_VAR *var, SCIP_RATIONAL *result)
int SCIPsnprintf(char *t, int len, const char *s,...)
SCIP_Bool SCIPstrToRealValue(const char *str, SCIP_Real *value, char **endptr)
void SCIPstrCopySection(const char *str, char startchar, char endchar, char *token, int size, char **endptr)
SCIP_RETCODE SCIPskipSpace(char **s)
SCIPfreeSol(scip, &heurdata->sol))
assert(minobj< SCIPgetCutoffbound(scip))
static SCIP_Bool propagate
SCIP_Real SCIPhistoryGetAvgInferences(SCIP_HISTORY *history, SCIP_BRANCHDIR dir)
internal methods for branching and inference history
SCIP_RETCODE SCIPcliquetableAdd(SCIP_CLIQUETABLE *cliquetable, 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_EVENTFILTER *eventfilter, SCIP_VAR **vars, SCIP_Bool *values, int nvars, SCIP_Bool isequation, SCIP_Bool *infeasible, int *nbdchgs)
int SCIPcliquetableGetNCliquesCreated(SCIP_CLIQUETABLE *cliquetable)
SCIP_VAR ** SCIPcliqueGetVars(SCIP_CLIQUE *clique)
int SCIPcliqueGetNVars(SCIP_CLIQUE *clique)
SCIP_Bool * SCIPcliqueGetValues(SCIP_CLIQUE *clique)
int SCIPcliquetableGetNCliques(SCIP_CLIQUETABLE *cliquetable)
SCIP_RETCODE SCIPcliquetableCleanup(SCIP_CLIQUETABLE *cliquetable, 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_EVENTFILTER *eventfilter, int *nchgbds, SCIP_Bool *infeasible)
SCIP_CLIQUE ** SCIPcliquetableGetCliques(SCIP_CLIQUETABLE *cliquetable)
methods for implications, variable bounds, and cliques
SCIP_Real SCIPlpGetLooseObjval(SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob)
SCIP_RETCODE SCIPlpStartStrongbranch(SCIP_LP *lp)
SCIP_Real SCIPlpGetModifiedPseudoObjval(SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob, SCIP_VAR *var, SCIP_Real oldbound, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype)
void SCIPcolInvalidateStrongbranchData(SCIP_COL *col, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp)
SCIP_RETCODE SCIPcolGetStrongbranch(SCIP_COL *col, SCIP_Bool integral, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_LP *lp, int itlim, SCIP_Bool updatecol, SCIP_Bool updatestat, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Bool *lperror)
SCIP_Real SCIPlpGetObjval(SCIP_LP *lp, SCIP_SET *set, SCIP_PROB *prob)
SCIP_RETCODE SCIPlpEndStrongbranch(SCIP_LP *lp)
SCIP_Longint SCIPcolGetStrongbranchLPAge(SCIP_COL *col, SCIP_STAT *stat)
SCIP_Bool SCIPlpDiving(SCIP_LP *lp)
void SCIPcolGetStrongbranchLast(SCIP_COL *col, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Real *solval, SCIP_Real *lpobjval)
void SCIPlpStartStrongbranchProbing(SCIP_LP *lp)
void SCIPlpEndStrongbranchProbing(SCIP_LP *lp)
SCIP_Bool SCIPlpIsDualReliable(SCIP_LP *lp)
static const SCIP_Real scalars[]
void SCIPcolSetStrongbranchData(SCIP_COL *col, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_Real lpobjval, SCIP_Real primsol, SCIP_Real sbdown, SCIP_Real sbup, SCIP_Bool sbdownvalid, SCIP_Bool sbupvalid, SCIP_Longint iter, int itlim)
SCIP_RETCODE SCIPcolGetStrongbranches(SCIP_COL **cols, int ncols, SCIP_Bool integral, SCIP_SET *set, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_LP *lp, int itlim, SCIP_Real *down, SCIP_Real *up, SCIP_Bool *downvalid, SCIP_Bool *upvalid, SCIP_Bool *lperror)
internal methods for LP management
interface methods for specific LP solvers
memory allocation routines
#define BMScopyMemoryArray(ptr, source, num)
#define BMSclearMemoryArray(ptr, num)
SCIP_RETCODE SCIPprobAddVarName(SCIP_PROB *prob, SCIP_VAR *var)
SCIP_RETCODE SCIPprobRemoveVarName(SCIP_PROB *prob, SCIP_VAR *var)
SCIP_RETCODE SCIPprobChgVarImplType(SCIP_PROB *prob, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_PRIMAL *primal, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_CLIQUETABLE *cliquetable, SCIP_VAR *var, SCIP_IMPLINTTYPE impltype)
SCIP_RETCODE SCIPprobChgVarType(SCIP_PROB *prob, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_PRIMAL *primal, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_CLIQUETABLE *cliquetable, SCIP_VAR *var, SCIP_VARTYPE vartype)
SCIP_Bool SCIPprobAllColsInLP(SCIP_PROB *prob, SCIP_SET *set, SCIP_LP *lp)
internal methods for storing and manipulating the main problem
public methods for managing constraints
public methods for implications, variable bounds, and cliques
public methods for LP management
public methods for message output
public data structures and miscellaneous methods
public methods for branch and bound tree
public methods for problem variables
wrapper for rational number arithmetic
SCIP_Bool SCIPrelaxationIsSolZero(SCIP_RELAXATION *relaxation)
void SCIPrelaxationSetSolZero(SCIP_RELAXATION *relaxation, SCIP_Bool iszero)
void SCIPrelaxationSetSolValid(SCIP_RELAXATION *relaxation, SCIP_Bool isvalid, SCIP_Bool includeslp)
void SCIPrelaxationSetSolObj(SCIP_RELAXATION *relaxation, SCIP_Real obj)
SCIP_Real SCIPrelaxationGetSolObj(SCIP_RELAXATION *relaxation)
void SCIPrelaxationSetSolRelax(SCIP_RELAXATION *relaxation, SCIP_RELAX *relax)
SCIP_Bool SCIPrelaxationIsSolValid(SCIP_RELAXATION *relaxation)
internal methods for relaxators
public methods for certified solving
public methods for exact solving
public methods for the LP relaxation, rows and columns
public methods for memory management
public methods for message handling
public methods for numerical tolerances
public methods for global and local (sub)problems
public methods for the probing mode
public methods for solutions
public methods for querying solving statistics
public methods for the branch-and-bound tree
static SCIP_RETCODE analyzeStrongbranch(SCIP *scip, SCIP_VAR *var, SCIP_Bool *downinf, SCIP_Bool *upinf, SCIP_Bool *downconflict, SCIP_Bool *upconflict)
static SCIP_RETCODE performStrongbranchWithPropagation(SCIP *scip, SCIP_VAR *var, SCIP_Bool down, SCIP_Bool firstchild, SCIP_Bool propagate, SCIP_Real newbound, int itlim, int maxproprounds, SCIP_Real *value, SCIP_Bool *valid, SCIP_Longint *ndomreductions, SCIP_Bool *conflict, SCIP_Bool *lperror, SCIP_VAR **vars, int nvars, SCIP_Real *newlbs, SCIP_Real *newubs, SCIP_Bool *foundsol, SCIP_Bool *cutoff)
static SCIP_RETCODE calcCliquePartitionGreedy(SCIP *const scip, SCIP_VAR **const vars, SCIP_Bool *const values, int const nvars, int **probtoidxmap, int *probtoidxmapsize, int *const cliquepartition, int *const ncliques)
static SCIP_RETCODE SCIPtestCliquePartition(SCIP *scip, SCIP_VAR **vars, int nvars, const int *cliquepartition, int ncliques)
static void addLargestCliquePart(SCIP_VAR *var, SCIP_Bool value, int varidx, int *idx, SCIP_Bool *values, int p, int nvars, int nbinvars, int *cliquepartition, int *ncliqueparts)
static SCIP_RETCODE tightenBounds(SCIP *scip, SCIP_VAR *var, SCIP_Bool integral, SCIP_Bool *infeasible)
static SCIP_RETCODE tightenVarLbGlobalSafe(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
static SCIP_RETCODE tightenVarUbGlobalSafe(SCIP *scip, SCIP_VAR *var, SCIP_Real newbound, SCIP_Bool force, SCIP_Bool *infeasible, SCIP_Bool *tightened)
#define MAXNUMEARCHCLIQUE
public methods for SCIP variables
SCIP_Bool SCIPsetIsLbBetter(SCIP_SET *set, SCIP_Real newlb, SCIP_Real oldlb, SCIP_Real oldub)
SCIP_Bool SCIPsetIsGE(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_Real SCIPsetFeasCeil(SCIP_SET *set, SCIP_Real val)
SCIP_Bool SCIPsetIsFeasGT(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool SCIPsetIsFeasEQ(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool SCIPsetIsLE(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_Real SCIPsetFeasFloor(SCIP_SET *set, SCIP_Real val)
SCIP_Bool SCIPsetIsEQ(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool SCIPsetIsFeasLT(SCIP_SET *set, SCIP_Real val1, SCIP_Real val2)
SCIP_Bool SCIPsetIsUbBetter(SCIP_SET *set, SCIP_Real newub, SCIP_Real oldlb, SCIP_Real oldub)
SCIP_Bool SCIPsetIsInfinity(SCIP_SET *set, SCIP_Real val)
SCIP_Bool SCIPsetIsZero(SCIP_SET *set, SCIP_Real val)
SCIP_Bool SCIPsetIsFeasIntegral(SCIP_SET *set, SCIP_Real val)
internal methods for global SCIP settings
#define SCIPsetFreeBufferArray(set, ptr)
#define SCIPsetAllocBufferArray(set, ptr, num)
SCIP_Real SCIPsolGetObj(SCIP_SOL *sol, SCIP_SET *set, SCIP_PROB *transprob, SCIP_PROB *origprob)
internal methods for storing primal CIP solutions
SCIP_Bool SCIPsolveIsStopped(SCIP_SET *set, SCIP_STAT *stat, SCIP_Bool checknodelimits)
internal methods for main solving loop and node processing
void SCIPstatEnableVarHistory(SCIP_STAT *stat)
void SCIPstatDisableVarHistory(SCIP_STAT *stat)
internal methods for problem statistics
#define SCIPstatAdd(stat, set, field, val)
data structures for LP management
datastructures for block memory pools and memory buffers
datastructures for collecting primal CIP solutions and primal informations
datastructures for storing and manipulating the main problem
SCIP main data structure.
datastructures for global SCIP settings
datastructures for problem statistics
data structures for branch and bound tree
datastructures for problem variables
SCIP_RETCODE SCIPnodeAddBoundchgExact(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_LPEXACT *lpexact, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_CLIQUETABLE *cliquetable, SCIP_VAR *var, SCIP_RATIONAL *newbound, SCIP_BOUNDTYPE boundtype, SCIP_Bool probingchange)
SCIP_Bool SCIPtreeProbing(SCIP_TREE *tree)
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_EVENTFILTER *eventfilter, SCIP_CLIQUETABLE *cliquetable, SCIP_VAR *var, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype, SCIP_Bool probingchange)
int SCIPtreeGetProbingDepth(SCIP_TREE *tree)
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_NODE * SCIPtreeGetCurrentNode(SCIP_TREE *tree)
SCIP_Bool SCIPtreeHasCurrentNodeLP(SCIP_TREE *tree)
SCIP_RETCODE SCIPnodeAddBoundinferExact(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_LPEXACT *lpexact, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_CLIQUETABLE *cliquetable, SCIP_VAR *var, SCIP_RATIONAL *newbound, SCIP_BOUNDTYPE boundtype, SCIP_CONS *infercons, SCIP_PROP *inferprop, int inferinfo, SCIP_Bool probingchange)
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)
int SCIPtreeGetCurrentDepth(SCIP_TREE *tree)
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_EVENTFILTER *eventfilter, SCIP_CLIQUETABLE *cliquetable, SCIP_VAR *var, SCIP_Real newbound, SCIP_BOUNDTYPE boundtype, SCIP_CONS *infercons, SCIP_PROP *inferprop, int inferinfo, SCIP_Bool probingchange)
internal methods for branch and bound tree
struct SCIP_Cons SCIP_CONS
@ SCIP_BRANCHDIR_DOWNWARDS
enum SCIP_BranchDir SCIP_BRANCHDIR
struct SCIP_Clique SCIP_CLIQUE
enum SCIP_LPSolStat SCIP_LPSOLSTAT
enum SCIP_BoundType SCIP_BOUNDTYPE
@ SCIP_LPSOLSTAT_NOTSOLVED
@ SCIP_LPSOLSTAT_TIMELIMIT
@ SCIP_LPSOLSTAT_UNBOUNDEDRAY
@ SCIP_LPSOLSTAT_INFEASIBLE
@ SCIP_LPSOLSTAT_OBJLIMIT
@ SCIP_LPSOLSTAT_ITERLIMIT
struct SCIP_HashMap SCIP_HASHMAP
enum SCIP_Confidencelevel SCIP_CONFIDENCELEVEL
struct SCIP_Prop SCIP_PROP
struct SCIP_Rational SCIP_RATIONAL
struct SCIP_Relax SCIP_RELAX
enum SCIP_Retcode SCIP_RETCODE
@ SCIP_STAGE_INITPRESOLVE
@ SCIP_STAGE_EXITPRESOLVE
@ SCIP_STAGE_TRANSFORMING
struct SCIP_Node SCIP_NODE
@ SCIP_NODETYPE_PROBINGNODE
struct SCIP_VarData SCIP_VARDATA
#define SCIP_DEPRECATED_VARTYPE_IMPLINT_CHAR
enum SCIP_ImplintType SCIP_IMPLINTTYPE
#define SCIP_DECL_VARDELORIG(x)
#define SCIP_VARTYPE_INTEGER_CHAR
union SCIP_DomChg SCIP_DOMCHG
struct SCIP_BoundChg SCIP_BOUNDCHG
struct SCIP_BdChgIdx SCIP_BDCHGIDX
#define SCIP_DECL_VARTRANS(x)
#define SCIP_DEPRECATED_VARTYPE_IMPLINT
@ SCIP_VARTYPE_CONTINUOUS
@ SCIP_VARSTATUS_ORIGINAL
@ SCIP_VARSTATUS_MULTAGGR
@ SCIP_VARSTATUS_AGGREGATED
struct SCIP_BdChgInfo SCIP_BDCHGINFO
#define SCIP_DECL_VARCOPY(x)
#define SCIP_DECL_VARDELTRANS(x)
enum SCIP_LockType SCIP_LOCKTYPE
#define SCIP_VARTYPE_BINARY_CHAR
enum SCIP_Vartype SCIP_VARTYPE
enum SCIP_Varstatus SCIP_VARSTATUS
#define SCIP_VARTYPE_CONTINUOUS_CHAR
SCIP_Real SCIPvarGetPseudocost(SCIP_VAR *var, SCIP_STAT *stat, SCIP_Real solvaldelta)
SCIP_RETCODE SCIPvarsGetActiveVars(SCIP_SET *set, SCIP_VAR **vars, int *nvars, int varssize, int *requiredsize)
SCIP_RETCODE SCIPvarMultiaggregate(SCIP_VAR *var, 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_CLIQUETABLE *cliquetable, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, int naggvars, SCIP_VAR **aggvars, SCIP_Real *scalars, SCIP_Real constant, SCIP_Bool *infeasible, SCIP_Bool *aggregated)
SCIP_RETCODE SCIPvarTryAggregateVarsExact(SCIP_SET *set, BMS_BLKMEM *blkmem, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_REOPT *reopt, SCIP_LP *lp, SCIP_CLIQUETABLE *cliquetable, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_VAR *varx, SCIP_VAR *vary, SCIP_RATIONAL *scalarx, SCIP_RATIONAL *scalary, SCIP_RATIONAL *rhs, SCIP_Bool *infeasible, SCIP_Bool *aggregated)
SCIP_RETCODE SCIPvarIncNBranchings(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_BRANCHDIR dir, SCIP_Real value, int depth)
SCIP_RETCODE SCIPvarChgLbLazy(SCIP_VAR *var, SCIP_SET *set, SCIP_Real lazylb)
SCIP_Real SCIPvarGetPseudocostCount(SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_RETCODE SCIPvarGetTransformed(SCIP_VAR *origvar, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_VAR **transvar)
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)
SCIP_Real SCIPvarGetPseudocostVariance(SCIP_VAR *var, SCIP_BRANCHDIR dir, SCIP_Bool onlycurrentrun)
SCIP_Real SCIPvarGetImplRedcost(SCIP_VAR *var, SCIP_SET *set, SCIP_Bool varfixing, SCIP_STAT *stat, SCIP_PROB *prob, SCIP_LP *lp)
SCIP_RETCODE SCIPvarSetLastGMIScore(SCIP_VAR *var, SCIP_STAT *stat, SCIP_Real gmieff)
SCIP_RETCODE SCIPvarChgUbGlobalExact(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LPEXACT *lpexact, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_CLIQUETABLE *cliquetable, SCIP_RATIONAL *newbound)
SCIP_Real SCIPvarGetAncPseudocostCountCurrentRun(SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_RETCODE SCIPvarIncInferenceSum(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_BRANCHDIR dir, SCIP_Real value, SCIP_Real weight)
SCIP_RETCODE SCIPvarChgLbGlobalExact(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LPEXACT *lpexact, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_CLIQUETABLE *cliquetable, SCIP_RATIONAL *newbound)
SCIP_RETCODE SCIPvarTryAggregateVars(SCIP_SET *set, BMS_BLKMEM *blkmem, SCIP_STAT *stat, SCIP_PROB *transprob, SCIP_PROB *origprob, SCIP_PRIMAL *primal, SCIP_TREE *tree, SCIP_REOPT *reopt, SCIP_LP *lp, SCIP_CLIQUETABLE *cliquetable, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_VAR *varx, SCIP_VAR *vary, SCIP_Real scalarx, SCIP_Real scalary, SCIP_Real rhs, SCIP_Bool *infeasible, SCIP_Bool *aggregated)
SCIP_RETCODE SCIPvarIncVSIDS(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_BRANCHDIR dir, SCIP_Real value, SCIP_Real weight)
SCIP_RETCODE SCIPvarChgUbLocalExact(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LPEXACT *lpexact, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_RATIONAL *newbound)
SCIP_Real SCIPvarGetAvgCutoffs(SCIP_VAR *var, SCIP_STAT *stat, SCIP_BRANCHDIR dir)
SCIP_RETCODE SCIPvarGetProbvarSumExact(SCIP_VAR **var, SCIP_RATIONAL *scalar, SCIP_RATIONAL *constant)
SCIP_RETCODE SCIPvarGetMultaggrUbLocalExact(SCIP_VAR *var, SCIP_SET *set, SCIP_RATIONAL *result)
SCIP_RETCODE SCIPvarUpdatePseudocost(SCIP_VAR *var, SCIP_SET *set, SCIP_STAT *stat, SCIP_Real solvaldelta, SCIP_Real objdelta, SCIP_Real weight)
SCIP_RETCODE SCIPvarTransform(SCIP_VAR *origvar, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_OBJSENSE objsense, SCIP_VAR **transvar)
SCIP_Real SCIPvarGetAvgInferencesCurrentRun(SCIP_VAR *var, SCIP_STAT *stat, SCIP_BRANCHDIR dir)
SCIP_RETCODE SCIPvarRelease(SCIP_VAR **var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LP *lp)
void SCIPvarGetClosestVub(SCIP_VAR *var, SCIP_SOL *sol, SCIP_SET *set, SCIP_STAT *stat, SCIP_Real *closestvub, int *closestvubidx)
SCIP_RETCODE SCIPvarIncNActiveConflicts(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_BRANCHDIR dir, SCIP_Real value, SCIP_Real length)
void SCIPvarAdjustLb(SCIP_VAR *var, SCIP_SET *set, SCIP_Real *lb)
void SCIPvarAdjustLbExact(SCIP_VAR *var, SCIP_SET *set, SCIP_RATIONAL *lb)
SCIP_RETCODE SCIPvarChgLbGlobal(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_Real SCIPvarCalcPscostConfidenceBound(SCIP_VAR *var, SCIP_SET *set, SCIP_BRANCHDIR dir, SCIP_Bool onlycurrentrun, SCIP_CONFIDENCELEVEL clevel)
SCIP_Bool SCIPvarIsPscostRelerrorReliable(SCIP_VAR *var, SCIP_SET *set, SCIP_STAT *stat, SCIP_Real threshold, SCIP_CONFIDENCELEVEL clevel)
SCIP_RETCODE SCIPvarChgLbOriginal(SCIP_VAR *var, SCIP_SET *set, SCIP_Real newbound)
SCIP_RETCODE SCIPvarPrint(SCIP_VAR *var, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, FILE *file)
SCIP_Real SCIPvarGetAvgGMIScore(SCIP_VAR *var, SCIP_STAT *stat)
SCIP_Real SCIPvarGetVSIDS(SCIP_VAR *var, SCIP_STAT *stat, SCIP_BRANCHDIR dir)
SCIP_RETCODE SCIPvarIncCutoffSum(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_BRANCHDIR dir, SCIP_Real value, SCIP_Real weight)
SCIP_Real SCIPvarGetMultaggrLbLocal(SCIP_VAR *var, SCIP_SET *set)
SCIP_Bool SCIPvarSignificantPscostDifference(SCIP_SET *set, SCIP_STAT *stat, SCIP_VAR *varx, SCIP_Real fracx, SCIP_VAR *vary, SCIP_Real fracy, SCIP_BRANCHDIR dir, SCIP_CONFIDENCELEVEL clevel, SCIP_Bool onesided)
void SCIPvarCapture(SCIP_VAR *var)
SCIP_RETCODE SCIPvarChgBranchDirection(SCIP_VAR *var, SCIP_BRANCHDIR branchdirection)
SCIP_Real SCIPvarGetPseudocostCurrentRun(SCIP_VAR *var, SCIP_STAT *stat, SCIP_Real solvaldelta)
SCIP_Bool SCIPvarDoNotAggr(SCIP_VAR *var)
SCIP_RETCODE SCIPvarChgType(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_PRIMAL *primal, SCIP_LP *lp, SCIP_EVENTQUEUE *eventqueue, SCIP_VARTYPE vartype)
SCIP_RETCODE SCIPvarFlattenAggregationGraph(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue)
void SCIPvarAdjustUbExact(SCIP_VAR *var, SCIP_SET *set, SCIP_RATIONAL *ub)
SCIP_RETCODE SCIPvarCreateOriginal(SCIP_VAR **var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, const char *name, SCIP_Real lb, SCIP_Real ub, SCIP_Real obj, SCIP_VARTYPE vartype, SCIP_IMPLINTTYPE impltype, SCIP_Bool initial, SCIP_Bool removable, SCIP_DECL_VARDELORIG((*vardelorig)), SCIP_DECL_VARTRANS((*vartrans)), SCIP_DECL_VARDELTRANS((*vardeltrans)), SCIP_DECL_VARCOPY((*varcopy)), SCIP_VARDATA *vardata)
void SCIPvarUpdateBestRootSol(SCIP_VAR *var, SCIP_SET *set, SCIP_Real rootsol, SCIP_Real rootredcost, SCIP_Real rootlpobjval)
SCIP_RETCODE SCIPvarFixExact(SCIP_VAR *var, 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_EVENTFILTER *eventfilter, SCIP_CLIQUETABLE *cliquetable, SCIP_RATIONAL *fixedval, SCIP_Bool *infeasible, SCIP_Bool *fixed)
SCIP_RETCODE SCIPvarChgImplType(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_PRIMAL *primal, SCIP_LP *lp, SCIP_EVENTQUEUE *eventqueue, SCIP_IMPLINTTYPE impltype)
SCIP_Real SCIPvarGetAvgConflictlength(SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_Real SCIPvarGetPseudocostCountCurrentRun(SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_RETCODE SCIPvarChgUbGlobal(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_RETCODE SCIPvarMultiaggregateExact(SCIP_VAR *var, 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_LPEXACT *lpexact, SCIP_CLIQUETABLE *cliquetable, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, int naggvars, SCIP_VAR **aggvars, SCIP_RATIONAL **scalars, SCIP_RATIONAL *constant, SCIP_Bool *infeasible, SCIP_Bool *aggregated)
SCIP_RETCODE SCIPvarChgUbOriginalExact(SCIP_VAR *var, SCIP_SET *set, SCIP_RATIONAL *newbound)
SCIP_RETCODE SCIPvarCreateTransformed(SCIP_VAR **var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, const char *name, SCIP_Real lb, SCIP_Real ub, SCIP_Real obj, SCIP_VARTYPE vartype, SCIP_IMPLINTTYPE impltype, SCIP_Bool initial, SCIP_Bool removable, SCIP_DECL_VARDELORIG((*vardelorig)), SCIP_DECL_VARTRANS((*vartrans)), SCIP_DECL_VARDELTRANS((*vardeltrans)), SCIP_DECL_VARCOPY((*varcopy)), SCIP_VARDATA *vardata)
SCIP_RETCODE SCIPvarParseTransformed(SCIP_VAR **var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, const char *str, SCIP_Bool initial, SCIP_Bool removable, SCIP_DECL_VARCOPY((*varcopy)), SCIP_DECL_VARDELORIG((*vardelorig)), SCIP_DECL_VARTRANS((*vartrans)), SCIP_DECL_VARDELTRANS((*vardeltrans)), SCIP_VARDATA *vardata, char **endptr, SCIP_Bool *success)
SCIP_Real SCIPvarGetAncPseudocost(SCIP_VAR *var, SCIP_STAT *stat, SCIP_Real solvaldelta)
SCIP_RETCODE SCIPvarChgUbOriginal(SCIP_VAR *var, SCIP_SET *set, SCIP_Real newbound)
SCIP_Real SCIPvarGetAvgInferences(SCIP_VAR *var, SCIP_STAT *stat, SCIP_BRANCHDIR dir)
SCIP_RETCODE SCIPvarAddObj(SCIP_VAR *var, 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_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_Real addobj)
SCIP_Real SCIPvarGetMultaggrUbGlobal(SCIP_VAR *var, SCIP_SET *set)
void SCIPvarGetClosestVlb(SCIP_VAR *var, SCIP_SOL *sol, SCIP_SET *set, SCIP_STAT *stat, SCIP_Real *closestvlb, int *closestvlbidx)
SCIP_RETCODE SCIPvarChgUbLazy(SCIP_VAR *var, SCIP_SET *set, SCIP_Real lazyub)
SCIP_RETCODE SCIPvarChgLbOriginalExact(SCIP_VAR *var, SCIP_SET *set, SCIP_RATIONAL *newbound)
SCIP_Bool SCIPvarPscostThresholdProbabilityTest(SCIP_SET *set, SCIP_STAT *stat, SCIP_VAR *var, SCIP_Real frac, SCIP_Real threshold, SCIP_BRANCHDIR dir, SCIP_CONFIDENCELEVEL clevel)
SCIP_RETCODE SCIPvarAddVlb(SCIP_VAR *var, 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_CLIQUETABLE *cliquetable, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_VAR *vlbvar, SCIP_Real vlbcoef, SCIP_Real vlbconstant, SCIP_Bool transitive, SCIP_Bool *infeasible, int *nbdchgs)
SCIP_RETCODE SCIPvarUpdateAncPseudocost(SCIP_VAR *var, SCIP_SET *set, SCIP_STAT *stat, SCIP_Real solvaldelta, SCIP_Real objdelta, SCIP_Real weight)
SCIP_Real SCIPvarGetRelaxSol(SCIP_VAR *var, SCIP_SET *set)
SCIP_RETCODE SCIPvarMarkDoNotAggr(SCIP_VAR *var)
SCIP_RETCODE SCIPvarChgLbLocal(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_Real newbound)
SCIP_RETCODE SCIPvarChgBranchPriority(SCIP_VAR *var, int branchpriority)
SCIP_RETCODE SCIPvarChgLbLocalExact(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LPEXACT *lpexact, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_RATIONAL *newbound)
SCIP_RETCODE SCIPvarMarkDoNotMultaggr(SCIP_VAR *var)
SCIP_RETCODE SCIPvarAddLocks(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_EVENTQUEUE *eventqueue, SCIP_LOCKTYPE locktype, int addnlocksdown, int addnlocksup)
SCIP_RETCODE SCIPvarNegate(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_VAR **negvar)
SCIP_Real SCIPvarGetMultaggrUbLocal(SCIP_VAR *var, SCIP_SET *set)
SCIP_RETCODE SCIPvarGetProbvarSum(SCIP_VAR **var, SCIP_SET *set, SCIP_Real *scalar, SCIP_Real *constant)
SCIP_Bool SCIPvarIsAggrCoefAcceptable(SCIP_SET *set, SCIP_VAR *var, SCIP_Real scalar)
SCIP_RETCODE SCIPvarAddExactData(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_RATIONAL *lb, SCIP_RATIONAL *ub, SCIP_RATIONAL *obj)
SCIP_RETCODE SCIPvarIncGMIeffSum(SCIP_VAR *var, SCIP_STAT *stat, SCIP_Real gmieff)
SCIP_Real SCIPvarGetLastGMIScore(SCIP_VAR *var, SCIP_STAT *stat)
void SCIPvarAdjustUb(SCIP_VAR *var, SCIP_SET *set, SCIP_Real *ub)
SCIP_RETCODE SCIPvarGetActiveRepresentatives(SCIP_SET *set, SCIP_VAR **vars, SCIP_Real *scalars, int *nvars, int varssize, SCIP_Real *constant, int *requiredsize)
SCIP_RETCODE SCIPvarFix(SCIP_VAR *var, 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_EVENTFILTER *eventfilter, SCIP_CLIQUETABLE *cliquetable, SCIP_Real fixedval, SCIP_Bool *infeasible, SCIP_Bool *fixed)
SCIP_Real SCIPvarGetAvgConflictlengthCurrentRun(SCIP_VAR *var, SCIP_BRANCHDIR dir)
SCIP_RETCODE SCIPvarChgUbLocal(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_STAT *stat, SCIP_LP *lp, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_Real newbound)
SCIP_RETCODE SCIPvarParseOriginal(SCIP_VAR **var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, SCIP_STAT *stat, const char *str, SCIP_Bool initial, SCIP_Bool removable, SCIP_DECL_VARCOPY((*varcopy)), SCIP_DECL_VARDELORIG((*vardelorig)), SCIP_DECL_VARTRANS((*vartrans)), SCIP_DECL_VARDELTRANS((*vardeltrans)), SCIP_VARDATA *vardata, char **endptr, SCIP_Bool *success)
SCIP_RETCODE SCIPvarAddVub(SCIP_VAR *var, 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_CLIQUETABLE *cliquetable, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_VAR *vubvar, SCIP_Real vubcoef, SCIP_Real vubconstant, SCIP_Bool transitive, SCIP_Bool *infeasible, int *nbdchgs)
SCIP_Real SCIPvarGetVSIDSCurrentRun(SCIP_VAR *var, SCIP_STAT *stat, SCIP_BRANCHDIR dir)
SCIP_RETCODE SCIPvarChgName(SCIP_VAR *var, BMS_BLKMEM *blkmem, const char *name)
void SCIPvarAdjustUbExactFloat(SCIP_VAR *var, SCIP_SET *set, SCIP_Real *ub)
SCIP_Real SCIPvarGetMultaggrLbGlobal(SCIP_VAR *var, SCIP_SET *set)
SCIP_RETCODE SCIPvarSetRelaxSol(SCIP_VAR *var, SCIP_SET *set, SCIP_RELAXATION *relaxation, SCIP_Real solval, SCIP_Bool updateobj)
void SCIPvarAdjustLbExactFloat(SCIP_VAR *var, SCIP_SET *set, SCIP_Real *lb)
SCIP_RETCODE SCIPvarChgBranchFactor(SCIP_VAR *var, SCIP_SET *set, SCIP_Real branchfactor)
SCIP_RETCODE SCIPvarAddImplic(SCIP_VAR *var, 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_CLIQUETABLE *cliquetable, SCIP_BRANCHCAND *branchcand, SCIP_EVENTQUEUE *eventqueue, SCIP_EVENTFILTER *eventfilter, SCIP_Bool varfixing, SCIP_VAR *implvar, SCIP_BOUNDTYPE impltype, SCIP_Real implbound, SCIP_Bool transitive, SCIP_Bool *infeasible, int *nbdchgs)
SCIP_RETCODE SCIPvarChgObjExact(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_SET *set, SCIP_PROB *prob, SCIP_PRIMAL *primal, SCIP_LPEXACT *lp, SCIP_EVENTQUEUE *eventqueue, SCIP_RATIONAL *newobj)
SCIP_Real SCIPvarGetAvgCutoffsCurrentRun(SCIP_VAR *var, SCIP_STAT *stat, SCIP_BRANCHDIR dir)
SCIP_Bool SCIPvarDoNotMultaggr(SCIP_VAR *var)
SCIP_RETCODE SCIPvarRemoveCliquesImplicsVbs(SCIP_VAR *var, BMS_BLKMEM *blkmem, SCIP_CLIQUETABLE *cliquetable, SCIP_SET *set, SCIP_Bool irrelevantvar, SCIP_Bool onlyredundant, SCIP_Bool removefromvar)
SCIP_RETCODE SCIPvarGetMultaggrLbLocalExact(SCIP_VAR *var, SCIP_SET *set, SCIP_RATIONAL *result)
SCIP_RETCODE SCIPvarGetActiveRepresentativesExact(SCIP_SET *set, SCIP_VAR **vars, SCIP_RATIONAL **scalars, int *nvars, int varssize, SCIP_RATIONAL *constant, int *requiredsize, SCIP_Bool mergemultiples)
internal methods for problem variables