Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Cleanups in class mc::Region
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 3 Jun 2019 22:38:19 +0000 (00:38 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 3 Jun 2019 22:55:07 +0000 (00:55 +0200)
commitd2435e5aed6141ff0d9e97bc341ff0225c29adca
treef2024f6e7afb0c8b23a37b9ebf87ee6ade7733ed
parent03e8b8cf9bdee0b2057c65daf2c162c219a5d0de
Cleanups in class mc::Region

- former name was mc::RegionSnapshot
- please sonar: mark fields private, and kill copy constructor
- mc::Region cannot be of type Unknown anymore
- and other cleanups
src/mc/compare.cpp
src/mc/sosp/Region.cpp
src/mc/sosp/Region.hpp
src/mc/sosp/Snapshot.cpp
src/mc/sosp/Snapshot.hpp
src/mc/sosp/Snapshot_test.cpp