From 59504a80d3a06a2f9fd642f5f0a6c185c1536c37 Mon Sep 17 00:00:00 2001
From: Ghofrane Amaimi <ghofraneeamaimi@gmail.com>
Date: Mon, 9 May 2022 18:02:19 +0200
Subject: [PATCH] 2 threads work safely
---
src/algorithm/CNDFS.cpp | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/src/algorithm/CNDFS.cpp b/src/algorithm/CNDFS.cpp
index cbf1251..d2ca110 100644
--- a/src/algorithm/CNDFS.cpp
+++ b/src/algorithm/CNDFS.cpp
@@ -17,7 +17,13 @@ bool red=false;
bool blue=false;
thread_local bool cyan = false;
struct product_node{
+ ModelCheckBaseMT &left;
+ shared_ptr<spot::twa_graph> right;
+};
+struct product_node_succ{
+ vector<pair<LDDState*, int> > succ_left;
+ spot::twa_succ_iterator &succ_right;
};
std::mutex mtx;
--
GitLab