Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename `remove()` method on `Unfolding`
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 6 Apr 2023 11:52:50 +0000 (13:52 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 6 Apr 2023 11:52:50 +0000 (13:52 +0200)
commitf5961f8e3a20cb943913a472ac8e11575470dab4
tree97598a4769bb8cc69c5459e2cf38d238524a7263
parent59eb941343a62f9f72f7fb787837a179cdfadf1d
Rename `remove()` method on `Unfolding`

Since the events aren't ever removed from the
Unfolding and are instead simply displaced,
we change the name of the method to better
reflect what is going on
src/mc/explo/UdporChecker.cpp
src/mc/explo/udpor/Unfolding.cpp
src/mc/explo/udpor/Unfolding.hpp
src/mc/explo/udpor/Unfolding_test.cpp