Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
inline some functions to make livenessChecker more streamlined
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 16 Jan 2017 10:08:08 +0000 (11:08 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 16 Jan 2017 10:08:08 +0000 (11:08 +0100)
commitf12d544431f7dd3889e91793f35fec12e3ff2fa7
treec8f0c31d6c623a6075860fa0e740f40c6067a2c0
parent67ccc3846b39d92013765366e197a59a76068422
inline some functions to make livenessChecker more streamlined
src/mc/checker/LivenessChecker.cpp
src/mc/checker/LivenessChecker.hpp