Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Examine all opened_states_ to find the best candidate.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 5 Apr 2023 14:26:27 +0000 (16:26 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 5 Apr 2023 20:13:36 +0000 (22:13 +0200)
commitfc86b6e6fc5e566fdd9bc384c49e38d3e3805d0e
tree335f3b68876a21bee2fc12f8d5fbe1956ff96553
parent7550a5357fdf5d3b9e41a07c5e05487b80df0ff0
Examine all opened_states_ to find the best candidate.

We cannot use a std::multiset, nor a std::priority_queue as before since
the value for the priority may change, even for states already stored in
opeened_states_.

Citing mlaurent:
 "Le problème c'est que dans run() la partie gestion de "persistent set" peut
  modifier des acteurs de State déjà dans opened_states_ en les passant à Todo.
  Et ça, ça peut modifier la valeur renvoyée par next_transition_guided()."
src/mc/explo/DFSExplorer.cpp
src/mc/explo/DFSExplorer.hpp