Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move visited_pairs as a static field of LivenessChecker
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 30 Mar 2016 09:55:18 +0000 (11:55 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 30 Mar 2016 12:14:13 +0000 (14:14 +0200)
commita53f7d4cc60063804afca1625eae861fb890b3c5
tree8119ded7917f9c783736bea18f5fc20b59093cd1
parent23ad0edad9b87da76eb071d8402188d4506d9e44
[mc] Move visited_pairs as a static field of LivenessChecker
src/mc/LivenessChecker.cpp
src/mc/LivenessChecker.hpp