Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename `EventSet::is_maximal_event_set()`
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 7 Mar 2023 09:05:45 +0000 (10:05 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 7 Mar 2023 09:05:45 +0000 (10:05 +0100)
commitfa640887e373f7bf7dcba89d3e07a44dd9028b7b
tree5f2d40413f8cf36c9bd23f144aeade8232ecc6b0
parentf6d79f0d52fecb70338e9028adeafe5b196ea4a2
Rename `EventSet::is_maximal_event_set()`

The method `is_maximal_event_set()` was renamed
to simply `is_maximal()`, since the question is
already being asked about some event set (i.e.
the `_event_set` bit is redundant)
src/mc/explo/udpor/Configuration_test.cpp
src/mc/explo/udpor/EventSet.cpp
src/mc/explo/udpor/EventSet.hpp
src/mc/explo/udpor/EventSet_test.cpp