From 67fa5e714be8037c8134012b16d2e8cd3368efdc Mon Sep 17 00:00:00 2001
From: Ghofrane Amaimi <ghofraneeamaimi@gmail.com>
Date: Mon, 9 May 2022 16:41:21 +0200
Subject: [PATCH] 2 threads work safely
---
src/algorithm/CNDFS.cpp | 4 ++--
src/algorithm/CNDFS.h | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/algorithm/CNDFS.cpp b/src/algorithm/CNDFS.cpp
index e4b188c..cbf1251 100644
--- a/src/algorithm/CNDFS.cpp
+++ b/src/algorithm/CNDFS.cpp
@@ -28,7 +28,7 @@ CNDFS::~CNDFS()=default;
//structure qui represente le produit de 2 états
void CNDFS::DfsBlue(ModelCheckBaseMT &mcl,shared_ptr<spot::twa_graph> a) {
- // mMcl = &m;
+ mMcl = &mcl;
//cout << "First state SOG from CNDFS " << mMcl->getInitialMetaState() << endl;
//cout << "First state SOG from CNDFS " << typeid(m.getGraph()->getInitialAggregate()->getSuccessors()).name() << endl;
//cout << "First state BA from CNDFS " << a->get_init_state()<<endl;
@@ -49,7 +49,7 @@ CNDFS::~CNDFS()=default;
//mtx.unlock();
//iterate succ of SOG first state
- vector<pair<LDDState*, int>> * edges =m.getGraph()->getInitialAggregate()->getSuccessors();
+ vector<pair<LDDState*, int>> * edges =mMcl->getGraph()->getInitialAggregate()->getSuccessors();
for (const auto& pair : *edges)
{
std::cout << "sog succ list "<< endl;
diff --git a/src/algorithm/CNDFS.h b/src/algorithm/CNDFS.h
index edda143..547901d 100644
--- a/src/algorithm/CNDFS.h
+++ b/src/algorithm/CNDFS.h
@@ -10,7 +10,7 @@
class CNDFS {
private:
- //ModelCheckBaseMT& mMcl;
+ static ModelCheckBaseMT *mMcl;
//shared_ptr<spot::twa_graph> mAa;
public:
//CNDFS(auto mK, const shared_ptr<spot::twa_graph> &mAa);
--
GitLab