Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add clean up phase to UDPOR
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 13 Mar 2023 10:18:54 +0000 (11:18 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 13 Mar 2023 10:22:00 +0000 (11:22 +0100)
commit669d793c17f7ff44ba4b111d36d1f63512f64195
treef42ba65b1e7ec9132ed588df0723bd34714fef8b
parent2a105483866fd7f38290441de92d168596f83cc7
Add clean up phase to UDPOR

The last part of processing during UDPOR
involves removing events from the unfolding
which are no longer needed. The events in
the unfolding which must be preserved are outlined
in the UDPOR paper and are labeled Q_CDU.
src/mc/explo/UdporChecker.cpp
src/mc/explo/udpor/EventSet.cpp
src/mc/explo/udpor/EventSet.hpp
src/mc/explo/udpor/Unfolding.cpp
src/mc/explo/udpor/Unfolding.hpp
src/mc/explo/udpor/UnfoldingEvent.cpp