Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add ODPOR "backtracking" logic
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 15 May 2023 08:50:25 +0000 (10:50 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 16 May 2023 07:51:21 +0000 (09:51 +0200)
commitf95a31a473eb41bcabca9771fb2a1659f0dfbbd3
treebbdfc037f87cfb4bd00b92a4ff6d9949c4ba6062
parent04b710673e7f793c0cb96ef8e10c0ab9723c583b
Add ODPOR "backtracking" logic
src/mc/api/State.cpp
src/mc/api/State.hpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/odpor/WakeupTree.cpp
src/mc/transition/TransitionRandom.hpp