Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Convert Api::get_maxpid() into RemoteApp::get_maxpid()
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 2 Aug 2022 11:08:10 +0000 (13:08 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 2 Aug 2022 21:29:53 +0000 (23:29 +0200)
commitfe6a4a0cfb04cbe8c0bbd93c7bf6c29ec017ddec
tree42453f6ae22c139507b1f6986cf132a7b88cabcd
parent9b1267b59e70deb98dbf69b1231f597ed292aaaf
Convert Api::get_maxpid() into RemoteApp::get_maxpid()

The patch is a bit complex because RemoteApp is not a singleton, and
because I converted some pointers to references on the way.
12 files changed:
src/mc/api.cpp
src/mc/api.hpp
src/mc/api/RemoteApp.cpp
src/mc/api/RemoteApp.hpp
src/mc/explo/CommunicationDeterminismChecker.cpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/DFSExplorer.hpp
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