Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Make State::transition_ private
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 7 Feb 2022 09:18:34 +0000 (10:18 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 7 Feb 2022 15:44:30 +0000 (16:44 +0100)
commit41887885e1953cb056594145190e30088f9b6d03
tree6acaad346ad358e310dc2a0b76e401d2fe18dd19
parent157b17ef4d7aa7d34625418c27861f3f139010bd
Make State::transition_ private
src/mc/Transition.cpp
src/mc/Transition.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_state.cpp
src/mc/mc_state.hpp