Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add reference to parent state: only use this creation in DFSexplorer
authormlaurent <mathieu.laurent@ens-rennes.fr>
Fri, 17 Mar 2023 15:55:22 +0000 (16:55 +0100)
committermlaurent <mathieu.laurent@ens-rennes.fr>
Fri, 17 Mar 2023 15:55:22 +0000 (16:55 +0100)
commit28b9e83a90c238b71d27f5cb3c6596906a3d4641
treec9838b71f9bdc711fd964b52dbc0ebf27a2a3218
parent1307506e9c5827ee74ea64e20bbef3a7a137b005
Add reference to parent state: only use this creation in DFSexplorer
src/mc/api/State.cpp
src/mc/api/State.hpp
src/mc/explo/DFSExplorer.cpp