File tree Expand file tree Collapse file tree 3 files changed +10
-8
lines changed
Expand file tree Collapse file tree 3 files changed +10
-8
lines changed Original file line number Diff line number Diff line change @@ -2193,7 +2193,7 @@ void testIis() {
21932193 assert (iis_num_col == 0 );
21942194 assert (iis_num_row == 0 );
21952195 Highs_setIntOptionValue (highs , "iis_strategy" ,
2196- kHighsIisStrategyFromLpRowPriorityIrreducible );
2196+ kHighsIisStrategyFromLpRowPriority );
21972197 } else {
21982198 assert (iis_num_col == 3 );
21992199 assert (iis_num_row == 2 );
Original file line number Diff line number Diff line change @@ -145,10 +145,12 @@ static const char* const kHighsCallbackDataOutCutpoolUpperName =
145145 "cutpool_upper" ;
146146
147147const HighsInt kHighsIisStrategyLight = 0 ;
148- const HighsInt kHighsIisStrategyFromLpRowPriority = 2 ;
149- const HighsInt kHighsIisStrategyFromLpColPriority = 6 ;
150- const HighsInt kHighsIisStrategyFromLpRowPriorityIrreducible = 10 ;
151- const HighsInt kHighsIisStrategyFromLpColPriorityIrreducible = 14 ;
148+ // Forces full IIS calculation as before - ie with the
149+ // kIisStrategyIrreducible = 4 bit set, as well as the
150+ // kIisStrategyFromLp = 2 bit set, and possibly the
151+ // kIisStrategyColPriority = 8 bit set
152+ const HighsInt kHighsIisStrategyFromLpRowPriority = 6 ;
153+ const HighsInt kHighsIisStrategyFromLpColPriority = 14 ;
152154
153155const HighsInt kHighsIisBoundFree = 1 ;
154156const HighsInt kHighsIisBoundLower = 2 ;
Original file line number Diff line number Diff line change @@ -284,12 +284,12 @@ enum IisStrategy : int {
284284 kIisStrategyLight = kIisStrategyMin , // 0
285285 kIisStrategyFromRay = 1 ,
286286 kIisStrategyFromLp = 2 ,
287- kIisStrategyColPriority = 4 ,
288- kIisStrategyIrreducible = 8 ,
287+ kIisStrategyIrreducible = 4 ,
288+ kIisStrategyColPriority = 8 ,
289289 kIisStrategyRelaxation = 16 ,
290290 kIisStrategyDefault = kIisStrategyLight ,
291291 kIisStrategyMax = kIisStrategyFromRay + kIisStrategyFromLp +
292- kIisStrategyColPriority + kIisStrategyIrreducible +
292+ kIisStrategyIrreducible + kIisStrategyColPriority +
293293 kIisStrategyRelaxation
294294};
295295
You can’t perform that action at this time.
0 commit comments