Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add implementation for immediate conflicts
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 9 Mar 2023 14:34:25 +0000 (15:34 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 9 Mar 2023 14:34:25 +0000 (15:34 +0100)
commit7ed8d36f850b6cd3de330cf031ebc97539e28262
treea7f09af42a1b4e464913a91b03727eb4a80ecec8
parent07f7802b2f1a6cfdf60cbd4b7155a55e10e4399a
Add implementation for immediate conflicts

Two events are said to be in immediate conflict
if they are conflicting but if the removal of
either event from their shared history would
result in a conflict-free set. That is, if
the only conflict among the set of events in
the history of the two events `e` and `e'`
is between `e` and `e'`, then `e` and `e'`
are in immediate conflict
src/mc/explo/udpor/UnfoldingEvent.cpp