I added two methods to the open lists:
void boost_last_used_list() boosts the last list from
which we removed an entry.
int boost_preferred() boosts all open lists that insert
only preferred states.
From my point of view we can consider this as resolved
(if Erez does not find problems when writing the new
lazy search).
|