Issue1226

Title Remove the pass_bound parameter of iterated search
Priority wish Status chatting
Superseder Nosy List jendrik, malte, simon
Assigned To Keywords
Optional summary

Created on 2026-07-23.15:04:40 by simon, last changed by simon.

Messages
msg12112 (view) Author: simon Date: 2026-07-24.13:23:37
At the moment it is possible to call the iterated search in weird ways with the 'pass_bound=false' option.

A short term improvement could be to have warnings like this in the constructor:

    if (bound < EvaluationResult::INFTY && !pass_bound) {
        if (log.is_warning()) {
            log << "Warning: defined bound will be ignored, due to 'pass_bound=false'."
                << endl;
        }
    }
    if (!pass_bound && repeat_last_phase && continue_on_solve) {
        if (log.is_warning()) {
            log << "Warning: This could lead to an infinite loop."
                << endl;
        }
    }
msg12108 (view) Author: simon Date: 2026-07-23.15:04:40
The argument `pass_bound=false` in iterated_search seems problematic.

If the inner search has a larger bound than the outer search, but the outer bound is not passed, it is unclear what should be returned when a solution lower than the inner bound but larger than the outer bound was found.

Additionally, pass_bound=false in combination with repeat_last=true could lead to an infinity loop if the last inner search does not terminate the iterated search.

It seems unclear what the purpose of the option `pass_bound=false` is in the first place.

An easy solution would be to remove the `pass_bound` parameter of the iterated search.
History
Date User Action Args
2026-07-24 13:23:37simonsetmessages: + msg12112
status: unread -> chatting
2026-07-23 15:04:40simoncreate