@@ -4946,7 +4946,7 @@ SCIP_RETCODE separateSequLiftedMinimalCoverInequality(
4946
4946
SCIPfreeBufferArray(scip, &gubconsGC1);
4947
4947
}
4948
4948
4949
- /* checks, if lifting yielded a violated cut */
4949
+ /* checks if lifting yielded a violated cut */
4950
4950
if( SCIPisEfficacious(scip, (cutact - liftrhs)/sqrt((SCIP_Real)MAX(liftrhs, 1))) )
4951
4951
{
4952
4952
SCIP_ROW* row;
@@ -5003,7 +5003,7 @@ SCIP_RETCODE separateSequLiftedMinimalCoverInequality(
5003
5003
}
5004
5004
SCIP_CALL( SCIPflushRowExtensions(scip, row) );
5005
5005
5006
- /* checks, if cut is violated enough */
5006
+ /* checks if cut is violated enough */
5007
5007
if( SCIPisCutEfficacious(scip, sol, row) )
5008
5008
{
5009
5009
if( cons != NULL )
@@ -5114,7 +5114,7 @@ SCIP_RETCODE separateSequLiftedExtendedWeightInequality(
5114
5114
SCIP_CALL( sequentialUpAndDownLifting(scip, vars, nvars, ntightened, weights, capacity, solvals, varsT1, varsT2, varsF, varsR,
5115
5115
nvarsT1, nvarsT2, nvarsF, nvarsR, nvarsT1, liftcoefs, &cutact, &liftrhs) );
5116
5116
5117
- /* checks, if lifting yielded a violated cut */
5117
+ /* checks if lifting yielded a violated cut */
5118
5118
if( SCIPisEfficacious(scip, (cutact - liftrhs)/sqrt((SCIP_Real)MAX(liftrhs, 1))) )
5119
5119
{
5120
5120
SCIP_ROW* row;
@@ -5170,7 +5170,7 @@ SCIP_RETCODE separateSequLiftedExtendedWeightInequality(
5170
5170
}
5171
5171
SCIP_CALL( SCIPflushRowExtensions(scip, row) );
5172
5172
5173
- /* checks, if cut is violated enough */
5173
+ /* checks if cut is violated enough */
5174
5174
if( SCIPisCutEfficacious(scip, sol, row) )
5175
5175
{
5176
5176
if( cons != NULL )
@@ -5240,7 +5240,7 @@ SCIP_RETCODE separateSupLiftedMinimalCoverInequality(
5240
5240
nonmincovervars, nmincovervars, nnonmincovervars, mincoverweight, realliftcoefs, &cutact) );
5241
5241
liftrhs = nmincovervars - 1;
5242
5242
5243
- /* checks, if lifting yielded a violated cut */
5243
+ /* checks if lifting yielded a violated cut */
5244
5244
if( SCIPisEfficacious(scip, (cutact - liftrhs)/sqrt((SCIP_Real)MAX(liftrhs, 1))) )
5245
5245
{
5246
5246
SCIP_ROW* row;
@@ -5284,7 +5284,7 @@ SCIP_RETCODE separateSupLiftedMinimalCoverInequality(
5284
5284
}
5285
5285
SCIP_CALL( SCIPflushRowExtensions(scip, row) );
5286
5286
5287
- /* checks, if cut is violated enough */
5287
+ /* checks if cut is violated enough */
5288
5288
if( SCIPisCutEfficacious(scip, sol, row) )
5289
5289
{
5290
5290
if( cons != NULL )
@@ -13064,7 +13064,7 @@ SCIP_DECL_CONSRESPROP(consRespropKnapsack)
13064
13064
else
13065
13065
{
13066
13066
/* locate the inference variable and calculate the capacity that has to be used up to conclude infervar == 0;
13067
- * inferinfo stores the position of the inference variable (but maybe the variables were resorted )
13067
+ * inferinfo stores the position of the inference variable (but maybe the variables were re-sorted )
13068
13068
*/
13069
13069
if( inferinfo < consdata->nvars && consdata->vars[inferinfo] == infervar )
13070
13070
capsum = consdata->weights[inferinfo];
0 commit comments