Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add first go at compatibility graph construction
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 24 Feb 2023 12:30:36 +0000 (13:30 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 27 Feb 2023 08:24:17 +0000 (09:24 +0100)
commitb606642449a8aca5f340e6de33025c7099bf8385
tree4926dce77f7166c2d4747cc85190916a8ba608d5
parent6c37cd8a82aea9e0d1d5b8da897db82ad09076bc
Add first go at compatibility graph construction

This commit introduces the first (albeit incomplete)
implementation of the function which will convert
a configuration into a comptability graph which can
be iterated over with k-cliques
src/mc/explo/UdporChecker.cpp
src/mc/explo/udpor/CompatibilityGraphNode.cpp
src/mc/explo/udpor/CompatibilityGraphNode.hpp
src/mc/explo/udpor/Configuration.cpp
src/mc/explo/udpor/Configuration.hpp