Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19ac757) | patch
Add logic for subtree node removal
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 10 May 2023 13:55:18 +0000 (15:55 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 16 May 2023 07:50:34 +0000 (09:50 +0200)
commit20fabe93ac38dd554aebc5f870e01863ff016251
tree5c97cee7bb731f4186eb233e42635851d48759bbtree | snapshot
parent19ac7578ffba786dbf458aa6afc8822ea73f78b6commit | diff
Add logic for subtree node removal

ODPOR also mandates that subtrees be removed
from a wakeup tree after having finished searching
"in the direction" of the subtree. This commit
adds a method to WakeupTree which, given a handle
to a node in the tree, removes the subtree rooted at
that node.
src/mc/explo/odpor/WakeupTree.cpp diff | blob | history
src/mc/explo/odpor/WakeupTree.hpp diff | blob | history
Clone of SimGrid repository with local patches