Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc::api: Inline a useless function
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 12 Jul 2022 21:31:23 +0000 (23:31 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 13 Jul 2022 16:16:13 +0000 (18:16 +0200)
commit6a9973e1a193ec4dde4a05835af703b9fbd5e6f0
treeba86eb50be9ad5edd4fb9dfe4410ae24af4422d6
parente0a3bd4de8a3104771a0e138694f6748c92d1c00
mc::api: Inline a useless function
src/mc/VisitedState.cpp
src/mc/api.cpp
src/mc/api.hpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/LivenessChecker.cpp