Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add methods between EventSet and Configuration
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 6 Feb 2023 10:54:40 +0000 (11:54 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 20 Feb 2023 09:43:52 +0000 (10:43 +0100)
commit310175b532dcdbb84e22c345dafc5a5e8ce599b4
treefe68d8a55d2e852de84c12b5d22bfe4a702bed4a
parentccfeaa470e44bfcd88de96d05476c9e82e7e98d0
Add methods between EventSet and Configuration

The distinction between a Configuration and an
EventSet is a subtle one. Indeed, a configuration
in UDPOR is merely a set. There may be the opportunity
perhaps even to replace the Configuration class
with a typedef, although this may not be possible or
improve readability.
src/mc/explo/UdporChecker.hpp
src/mc/udpor_global.hpp