Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move alternative computation to Configuration for testing
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 15 Mar 2023 14:56:53 +0000 (15:56 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 15 Mar 2023 14:56:53 +0000 (15:56 +0100)
commitcf0a1a77c65746b1a40b858228bedf7a0eb63f7f
treed942511e8b9ddeb1da15209783babbf6cf1dd949
parent619e8feb6e896e993ac5a8a49e15f6fdd5b1e34f
Move alternative computation to Configuration for testing
src/mc/explo/UdporChecker.cpp
src/mc/explo/UdporChecker.hpp
src/mc/explo/udpor/Comb.hpp
src/mc/explo/udpor/Configuration.cpp
src/mc/explo/udpor/Configuration.hpp
src/mc/explo/udpor/Configuration_test.cpp
src/mc/explo/udpor/Unfolding.hpp
src/mc/explo/udpor/Unfolding_test.cpp