From 41e3217cac8f032f57f8404abba697ffb008803a Mon Sep 17 00:00:00 2001
From: chihebabid <chiheb.abid@fst.utm.tn>
Date: Sun, 10 Jul 2022 22:07:47 +0100
Subject: [PATCH] Fix code for NDFS algorithm
---
src/algorithm/CNDFS.cpp | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/src/algorithm/CNDFS.cpp b/src/algorithm/CNDFS.cpp
index c983e66..9e095d4 100644
--- a/src/algorithm/CNDFS.cpp
+++ b/src/algorithm/CNDFS.cpp
@@ -30,6 +30,9 @@ CNDFS::~CNDFS() {
mlThread[i]->join();
delete mlThread[i];
}
+ // Liberate dynamic allocated memory for synchropnized product
+ for (const auto & elt : mlBuiltStates)
+ delete elt;
}
// Create threads
@@ -174,6 +177,7 @@ void CNDFS::computeSuccessors(myState_t *state) {
//Perform the dfsBlue
void CNDFS::dfsBlue(myState_t *state, vector<myState_t *> &Rp, uint8_t idThread) {
state->cyan[idThread] = true;
+ computeSuccessors(state);
for (const auto &succ: state->new_successors) {
if (!succ.first->blue && !succ.first->cyan[idThread]) {
dfsBlue(succ.first, Rp, idThread);
--
GitLab