Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add History object skeleton
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 20 Feb 2023 13:58:51 +0000 (14:58 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 20 Feb 2023 13:58:51 +0000 (14:58 +0100)
commitd1b1a66acfcfa7948b3eaca81154e438f93c5578
tree7d20b362452e69e71db50323114cfa7db228c29e
parent753ea77ea991c7e407d6731839d5f7dbcc24f7e2
Add History object skeleton

The History class represents the entire
history of a collection of events "lazily",
i.e. without needing to compute the entire
history if it is not actually needed
MANIFEST.in
src/mc/explo/udpor/Configuration.hpp
src/mc/explo/udpor/History.cpp [new file with mode: 0644]
src/mc/explo/udpor/History.hpp [new file with mode: 0644]
src/mc/explo/udpor/udpor_forward.hpp
tools/cmake/DefinePackages.cmake