Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
BasicGuide handle next_transition if asked to
authormlaurent <mathieu.laurent@ens-rennes.fr>
Sat, 18 Mar 2023 13:05:13 +0000 (14:05 +0100)
committermlaurent <mathieu.laurent@ens-rennes.fr>
Sat, 18 Mar 2023 13:05:13 +0000 (14:05 +0100)
commit39a55a31e73d079c92a37793c58453f219c341aa
tree20bab039b23822ca6e1ca98f54cf2c941571bd03
parent59a2292cca5e121a5db0c933112d4c421ded712a
BasicGuide handle next_transition if asked to
src/mc/api/State.cpp
src/mc/api/State.hpp
src/mc/api/guide/BasicGuide.hpp
src/mc/api/guide/GuidedState.hpp
src/mc/explo/DFSExplorer.cpp