Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Filter events before performing iteration
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 3 Mar 2023 08:00:25 +0000 (09:00 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 3 Mar 2023 08:00:25 +0000 (09:00 +0100)
commitbf876e9b67288a7d6fa732153144f2a05f036333
treeac7fef24651b0c6dc42ae47cfde1147aff1daa0b
parent4ad8fb30a6c148bd84029350b77fbb001c13cf56
Filter events before performing iteration

A filter can be supplied to the maximal subset
iterator to remove events from consideration in
maximal subsets. Instead of needlessly processing
events that will never be considered, we can
instead remove those events at the beginning while
perserving the relative ordering among events that
we do actually care about. This both simplifies the
bookkeeper's code slightly and reduces the number
of times we need to invoke the filter function drastically
(once per event instead of multiple times per combination).
src/mc/explo/udpor/maximal_subsets_iterator.cpp
src/mc/explo/udpor/maximal_subsets_iterator.hpp