Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Keep pointers to transitions instead of slices
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 25 May 2023 09:18:31 +0000 (11:18 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 25 May 2023 09:18:31 +0000 (11:18 +0200)
commit16e87acf00914bbe8a17f80a352dda60a02894ad
treee3941d425395324a25acf0af521b5352e739fca2
parent9513f2fee2b19db92ef287098fa7707d30cdce84
Keep pointers to transitions instead of slices

Prior to this commit, sleep sets contained slices
src/mc/api/State.cpp
src/mc/api/State.hpp
src/mc/explo/DFSExplorer.cpp