Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Finish the removal of mc::api by moving the last bits to the side
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 6 Aug 2022 23:33:18 +0000 (01:33 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 6 Aug 2022 23:36:21 +0000 (01:36 +0200)
commitaf6d6b158ab3c99f190cb670b1918bbadaa9e250
tree862ffcced00141f55fc3900810c779e538444bc9
parent77385a2b4bc1518d701cbf33acc04d16ae3b640b
Finish the removal of mc::api by moving the last bits to the side

I would prefer to directly kill the templated structure, but I fail to
write a correct comparison lambda because it's used over a
std::vector<std::unique_ptr<simgrid::mc::VisitedState>>

All my attempts lead to either "no conversion to std::unique_ptr<VisitedState>",
or an error saying that I try to copy a unique_ptr when my lambda
takes unique_ptr as a parameter.

Please someone better at C++ than I am, please kill it.
src/mc/VisitedState.cpp
src/mc/api.hpp [deleted file]
src/mc/api/State.cpp
src/mc/explo/Exploration.hpp
src/mc/explo/LivenessChecker.cpp
tools/cmake/DefinePackages.cmake