Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c18d5ad) | patch
Add first implementation of maximal_subsets_iterator
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 2 Mar 2023 08:28:34 +0000 (09:28 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 2 Mar 2023 08:38:16 +0000 (09:38 +0100)
commit61a8bb9423361cde6dfc57a00815e5fc99320ca4
tree96ffb96959f88291604f807e542576be76ef13c0tree | snapshot
parentc18d5adfbdffe498d7ddfbf709b704a450fd1222commit | diff
Add first implementation of maximal_subsets_iterator

The maximal_subsets_iterator traverses the subsets
of events of a configuration `C` which are maximal,
viz. those subsets of `C` which are causally-free.
MANIFEST.in diff | blob | history
src/mc/explo/udpor/Configuration_test.cpp diff | blob | history
src/mc/explo/udpor/UnfoldingEvent.cpp diff | blob | history
src/mc/explo/udpor/UnfoldingEvent.hpp diff | blob | history
src/mc/explo/udpor/maximal_subsets_iterator.cpp [new file with mode: 0644] blob
src/mc/explo/udpor/maximal_subsets_iterator.hpp [new file with mode: 0644] blob
tools/cmake/DefinePackages.cmake diff | blob | history
Clone of SimGrid repository with local patches