Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add topological sort of configuration events
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 22 Feb 2023 14:36:18 +0000 (15:36 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 24 Feb 2023 09:00:42 +0000 (10:00 +0100)
commitb01dcb515d442ab87577ef052c3dcaec50a0a65f
tree0ad3e0953ddbe08b7e226031c23b03162ad4b940
parent0321eed9a43eb7c7c7ce8ce0274963c5a4ade6ad
Add topological sort of configuration events

Topological sorting is an important first step
in determining which groups of events in a
configuration need to be tested together when
looking at all possible subsets of maximal events
of a configuration. The idea is that you first
build a compatability graph (soon to come) whose
elements represent "chains" of the event structure
that are mutually exslcusive and whose edges
describe which chains are mutually compatible
with one another. Then, you look for all possible
cliques within the graph to determine all possible
configurations of these chains. Each of the
major components of this process will be added in
subsequent commits
src/mc/explo/udpor/Configuration.cpp
src/mc/explo/udpor/Configuration.hpp