Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Replace todo direct access with consider methods; guided or not
authormlaurent <mathieu.laurent@ens-rennes.fr>
Sat, 18 Mar 2023 13:46:53 +0000 (14:46 +0100)
committermlaurent <mathieu.laurent@ens-rennes.fr>
Sat, 18 Mar 2023 13:46:53 +0000 (14:46 +0100)
commit639c6962daa378323864a53174e0e7fe2fcaef1e
treeab740bfdef43246c05ff5f025b8d9c74ac4e48b0
parent39a55a31e73d079c92a37793c58453f219c341aa
Replace todo direct access with consider methods; guided or not
src/mc/api/State.cpp
src/mc/api/State.hpp
src/mc/api/guide/BasicGuide.hpp
src/mc/api/guide/GuidedState.hpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/LivenessChecker.cpp
src/mc/explo/UdporChecker.cpp