In one of the commits of issue1201 this was added:
"""
bool IteratedSearch::is_complete_within_bound() const {
/*
TODO
- return true if the first search algorithm is complete and its bound is
greater or equal to that of IteratedSearch, i.e. if it is complete
within the bound of IteratedSearch
- otherwise (the first search algorithm is not complete within
IteratedSearch's bound), return false if continue_on_fail == false
- otherwise (continue_on_fail == true and first search algorithm is not
complete within IteratedSearch's bound), return true if at least one
(other) search algorithm is complete within IteratedSearch's bound
- otherwise (continue_on_fail == true and all search algorithms are not
complete within IteratedSearch's bound), return false
Before we solve the component interaction problem (issue559), we cannot
access the necessary information from within a constant function.
Once we can implement this function we also want to change IteratedSearch
such it automatically stops once a complete search finds no solution.
In that case the continue_on_fail option would not really be useful
anymore and should be removed. (Result of discussion between Claudia,
Malte, and Gabi.)
*/
log << "Warning: the completeness check for IteratedSearch is not yet implemented."
<< endl;
return false;
}
"""
To reduce the size of the change from issue1201 this issue is about taking care of the last paragraph of the comment.
|