Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add conflict detection to EventSet
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 8 Mar 2023 08:13:15 +0000 (09:13 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 8 Mar 2023 08:13:15 +0000 (09:13 +0100)
commitdbbec1b6c52dca870aae22b10d0a5869838bf360
tree7cf23c14333593fb755957f2672a9e143e491659
parentfcd4590468b5d531f9e95cc9972d0c8eb775661b
Add conflict detection to EventSet

Detecting whether or not a collection of events
are in conflict important for computing en(C)
and for K-partial alternatives. We simply
follow the definition of conflicts. More
esoteric methods may exist that are faster,
but for now let's keep it simple: we can always
add those in later incrementally
src/mc/explo/udpor/Configuration.cpp
src/mc/explo/udpor/EventSet.cpp
src/mc/explo/udpor/EventSet.hpp
src/mc/explo/udpor/UnfoldingEvent.cpp
src/mc/explo/udpor/UnfoldingEvent.hpp
src/mc/explo/udpor/maximal_subsets_iterator.hpp