Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Allow iteration over maximal subsets of an EventSet
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 7 Mar 2023 12:48:29 +0000 (13:48 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 7 Mar 2023 12:48:29 +0000 (13:48 +0100)
commit617709636478c5de87e1e6064e1093baad86021a
treeae9bc1d14cba72594b4b4ab7561fd96a9435a715
parentf5486d14082380bb49065dead209967410995a2a
Allow iteration over maximal subsets of an EventSet

The maximal_subsets_iterator was updated to allow
traversal over the subsets of events of some set `E`
which are maximal (i.e. causally-free). It is a
simple addition which extends the power of the iterator
to EventSets more generally (as opposed to strictly
for Configurations)
src/mc/explo/udpor/maximal_subsets_iterator.cpp
src/mc/explo/udpor/maximal_subsets_iterator.hpp