Fix use of SafeDequeue

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")

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*>;

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>