Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add some strategies and fix the semantics of Max/MinMatch
authormlaurent <mathieu.laurent@ens-rennes.fr>
Tue, 16 May 2023 11:09:27 +0000 (13:09 +0200)
committermlaurent <mathieu.laurent@ens-rennes.fr>
Tue, 16 May 2023 11:09:27 +0000 (13:09 +0200)
commitd8646277c6b3e1e80c499bc2d73938a0a4f555a8
tree03f18f5e867ec18415d9c08073ce38451c70127d
parent661a8292857baad7532e8c081e30455c510f2ad8
Add some strategies and fix the semantics of Max/MinMatch
src/mc/api/State.cpp
src/mc/api/strategy/BasicStrategy.hpp
src/mc/api/strategy/MaxMatchComm.hpp [new file with mode: 0644]
src/mc/api/strategy/MinMatchComm.hpp [new file with mode: 0644]
src/mc/api/strategy/Strategy.hpp
src/mc/api/strategy/UniformStrategy.hpp [new file with mode: 0644]
src/mc/api/strategy/WaitStrategy.hpp [deleted file]
src/mc/explo/DFSExplorer.cpp
src/mc/mc_config.cpp
tools/cmake/DefinePackages.cmake