Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Lazily compute the recipe of a state, on need only
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 27 Apr 2023 13:41:03 +0000 (15:41 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 27 Apr 2023 13:49:14 +0000 (15:49 +0200)
commit1d26e0477628060de75cc46dc90fe7ecf98f8ab6
treef43e15bf166f6be3b15fe9dd46fcc07c65912416
parent75c4f9295f59dab2c9085c966c769196997b6c93
Lazily compute the recipe of a state, on need only

This will be useful when leveraging intermediate states during
backtracks. In that case, we need to compute partial recipes, up to
the advanced restaure point.
src/mc/api/State.cpp
src/mc/api/State.hpp