Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Factorize more code between DFSExplo and LivenessExplo, and UDPOR
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 27 Apr 2023 23:25:04 +0000 (01:25 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 3 May 2023 13:50:31 +0000 (15:50 +0200)
commit76fd6cc1330945172740464411a0b2f1170dcb2a
treee1fb35db1e34365a7f0eb2e7586ea31f2b24fe87
parentde6f03f2a89a0e4810740ef55689e82cede38e31
Factorize more code between DFSExplo and LivenessExplo, and UDPOR
src/mc/explo/DFSExplorer.cpp
src/mc/explo/DFSExplorer.hpp
src/mc/explo/Exploration.cpp
src/mc/explo/Exploration.hpp
src/mc/explo/LivenessChecker.cpp
src/mc/explo/LivenessChecker.hpp
src/mc/explo/UdporChecker.cpp
src/mc/explo/UdporChecker.hpp
src/mc/mc_record.cpp
src/mc/mc_record.hpp