Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add comments in K-partial alternatives computation
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 15 Mar 2023 08:05:11 +0000 (09:05 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 15 Mar 2023 08:05:11 +0000 (09:05 +0100)
commit3767337970b94f81e28053ec0ab517fe5c6e7280
tree1f3638e1c82c5e5a1c33cd79fb26374dfe0de76f
parent52367db30501439c2091f5dd858c8efe107e3340
Add comments in K-partial alternatives computation

The computation of k-partial alternatives was added in
a prior commit. This commit implements the function
`Configuration::is_compatible_with(const History&)`
which is used during the computation of K-partial alternatives
to determine which events go with which spikes.

Note: The implementation that currently exists for
K-partial alternatives is a first go at an implementation
of the algorithm. There are clear spots within the computation
where performance may be improved with some more clever ideas.
For now, we're working towards a proof-of-concept: we can
optimize more heavily later
src/mc/explo/UdporChecker.cpp
src/mc/explo/udpor/Configuration.cpp
src/mc/explo/udpor/Unfolding.cpp