From 6fc23102105f525433bf4e4d7a27b2fb062000b6 Mon Sep 17 00:00:00 2001
From: chihebabid <chiheb.abid@fst.utm.tn>
Date: Tue, 28 Jun 2022 11:26:27 +0100
Subject: [PATCH] Fix use of SafeDequeue
---
src/CMakeLists.txt | 7 ++++---
src/misc/SafeDequeue.cpp | 1 +
src/misc/SafeDequeue.h | 1 -
3 files changed, 5 insertions(+), 4 deletions(-)
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 2bdab4d..6b34686 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -49,8 +49,6 @@ add_executable(pmc-sog main.cpp
LDDState.cpp
LDDState.h
TransSylvan.cpp
- algorithm/CNDFS.h
- algorithm/CNDFS.cpp
SpotSogState.cpp
SpotSogState.h
SpotSogIterator.cpp
@@ -99,7 +97,10 @@ add_executable(pmc-sog main.cpp
Hybrid/MCHybridReq/MCHybridSOGReq.h
Hybrid/MCHybridReqPOR/MCHybridSOGReqPOR.cpp
Hybrid/MCHybridReqPOR/MCHybridSOGReqPOR.h
- misc/md5_hash.h Hybrid/MCHybridPOR/MCHybridSOGPOR.cpp Hybrid/MCHybridPOR/MCHybridSOGPOR.h)
+ misc/md5_hash.h Hybrid/MCHybridPOR/MCHybridSOGPOR.cpp Hybrid/MCHybridPOR/MCHybridSOGPOR.h
+ algorithm/CNDFS.h
+ algorithm/CNDFS.cpp
+ )
target_include_directories(pmc-sog PUBLIC "${PROJECT_BINARY_DIR}/src")
diff --git a/src/misc/SafeDequeue.cpp b/src/misc/SafeDequeue.cpp
index 8834583..aca8c11 100644
--- a/src/misc/SafeDequeue.cpp
+++ b/src/misc/SafeDequeue.cpp
@@ -107,4 +107,5 @@ template class SafeDequeue<couple_th>;
template class SafeDequeue<coupleSuccessor>;
template class SafeDequeue<spot::formula>;
+//typedef pair<struct myState*, int> coupleSuccessor;
template class SafeDequeue<struct myState*>;
diff --git a/src/misc/SafeDequeue.h b/src/misc/SafeDequeue.h
index eea1e20..b4ddbb2 100644
--- a/src/misc/SafeDequeue.h
+++ b/src/misc/SafeDequeue.h
@@ -20,7 +20,6 @@
#define SAFEDEQUEUE_H
#include <memory>
#include "LDDState.h"
-#include "algorithm/CNDFS.h"
#include <queue>
#include <mutex>
#include <functional>
--
GitLab