Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move visitedState as a field of SafetyChecker
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 5 Apr 2016 08:48:08 +0000 (10:48 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 5 Apr 2016 14:32:44 +0000 (16:32 +0200)
commit7d9763f5619c35b79077e30f5d32de44699824a6
treeb9a490d18b7c7dbe4d1489cabc7889d52a7f3842
parent09477e8696995c466837f459085024435f23d34b
[mc] Move visitedState as a field of SafetyChecker
src/mc/SafetyChecker.cpp
src/mc/SafetyChecker.hpp