Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Automatically remove nodes from parents
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 11 May 2023 12:18:56 +0000 (14:18 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 16 May 2023 07:50:34 +0000 (09:50 +0200)
commit746a2035fbbf84f8647d0badac80115ea3b00be0
tree5151c4c946a8cf604b7ca45807261c48c7154a64
parentd76deff32a7106e3c08371778d54f02f72e491bd
Automatically remove nodes from parents

After removing a node from a WakeupTree,
we need to be careful to also have any references
to the node removed, viz. that held onto the
parent of the node in the list of children.
This commit adds a back reference to the
parent node of a given WakeupTreeNode to
allow removal from the parent when destroyed.

Additionally, some bugs were fixed for creating
subtrees and removing subtrees (we forgot to remove
the root for example)
src/mc/api/State.cpp
src/mc/explo/odpor/WakeupTree.cpp
src/mc/explo/odpor/WakeupTree.hpp
src/mc/explo/odpor/WakeupTreeIterator.cpp