Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename some fields to obey our coding standard
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 2 Mar 2023 22:22:13 +0000 (23:22 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 2 Mar 2023 22:22:13 +0000 (23:22 +0100)
commit2f4e620e5247fb5cef5adbbd5773151e1abacfcc
tree634cc2212a44e075da9dac4779d9660bec4a64d0
parentdbb4b9d8b72ec01fe1748a7eb6b32222ffe3ece5
Rename some fields to obey our coding standard
src/mc/VisitedState.cpp
src/mc/VisitedState.hpp
src/mc/explo/DFSExplorer.cpp