diff --git a/.kdev4/mc-sog.kdev4 b/.kdev4/mc-sog.kdev4
index 2ed6747ac4718c05600e5c5dcea9128766bcfd65..fd1c64d6c7b7c28aafc4000953bc7b1d6b297bc5 100644
--- a/.kdev4/mc-sog.kdev4
+++ b/.kdev4/mc-sog.kdev4
@@ -12,7 +12,7 @@ CMake Binary=/usr/bin/cmake
CMake Executable=/usr/bin/cmake
Environment Profile=
Extra Arguments=
-Install Directory=
+Install Directory=/usr/local
Runtime=Host System
[Project]
diff --git a/.project b/.project
index bdd428b54f85af2df86f29c11e0b024de22dc8ff..0e3c3f2b34fde5b05ee3c958833c12fab5a65642 100644
--- a/.project
+++ b/.project
@@ -1,104 +1,102 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
- <name>hybrid-sog@mc-sog</name>
+ <name>hybrid-sog-Debug@mc-sog</name>
<comment></comment>
- <projects>
- </projects>
+ <projects></projects>
<buildSpec>
<buildCommand>
<name>org.eclipse.cdt.make.core.makeBuilder</name>
<triggers>clean,full,incremental,</triggers>
<arguments>
<dictionary>
- <key>org.eclipse.cdt.core.errorOutputParser</key>
- <value>org.eclipse.cdt.core.MakeErrorParser;org.eclipse.cdt.core.GCCErrorParser;org.eclipse.cdt.core.GASErrorParser;org.eclipse.cdt.core.GLDErrorParser;</value>
+ <key>org.eclipse.cdt.make.core.cleanBuildTarget</key>
+ <value>clean</value>
+ </dictionary>
+ <dictionary>
+ <key>org.eclipse.cdt.make.core.enableCleanBuild</key>
+ <value>true</value>
</dictionary>
<dictionary>
<key>org.eclipse.cdt.make.core.append_environment</key>
<value>true</value>
</dictionary>
<dictionary>
- <key>org.eclipse.cdt.make.core.autoBuildTarget</key>
- <value>all</value>
+ <key>org.eclipse.cdt.make.core.stopOnError</key>
+ <value>true</value>
</dictionary>
<dictionary>
- <key>org.eclipse.cdt.make.core.build.arguments</key>
- <value>-j8</value>
+ <key>org.eclipse.cdt.make.core.enabledIncrementalBuild</key>
+ <value>true</value>
</dictionary>
<dictionary>
<key>org.eclipse.cdt.make.core.build.command</key>
<value>/usr/bin/make</value>
</dictionary>
<dictionary>
- <key>org.eclipse.cdt.make.core.build.location</key>
- <value>/home/chiheb/ProjectCPP/mc-sog</value>
+ <key>org.eclipse.cdt.make.core.contents</key>
+ <value>org.eclipse.cdt.make.core.activeConfigSettings</value>
</dictionary>
<dictionary>
- <key>org.eclipse.cdt.make.core.build.target.auto</key>
+ <key>org.eclipse.cdt.make.core.build.target.inc</key>
<value>all</value>
</dictionary>
<dictionary>
- <key>org.eclipse.cdt.make.core.build.target.clean</key>
- <value>clean</value>
+ <key>org.eclipse.cdt.make.core.build.arguments</key>
+ <value>-j8</value>
</dictionary>
<dictionary>
- <key>org.eclipse.cdt.make.core.build.target.inc</key>
- <value>all</value>
+ <key>org.eclipse.cdt.make.core.buildLocation</key>
+ <value>/home/chiheb/ProjectCPP/mc-sog</value>
</dictionary>
<dictionary>
- <key>org.eclipse.cdt.make.core.buildArguments</key>
- <value></value>
+ <key>org.eclipse.cdt.make.core.useDefaultBuildCmd</key>
+ <value>false</value>
</dictionary>
<dictionary>
- <key>org.eclipse.cdt.make.core.buildLocation</key>
- <value>/home/chiheb/ProjectCPP/mc-sog</value>
+ <key>org.eclipse.cdt.make.core.environment</key>
+ <value>VERBOSE=1|CMAKE_NO_VERBOSE=1|</value>
</dictionary>
<dictionary>
- <key>org.eclipse.cdt.make.core.cleanBuildTarget</key>
- <value>clean</value>
+ <key>org.eclipse.cdt.make.core.enableFullBuild</key>
+ <value>true</value>
</dictionary>
<dictionary>
- <key>org.eclipse.cdt.make.core.contents</key>
- <value>org.eclipse.cdt.make.core.activeConfigSettings</value>
+ <key>org.eclipse.cdt.make.core.build.target.auto</key>
+ <value>all</value>
</dictionary>
<dictionary>
<key>org.eclipse.cdt.make.core.enableAutoBuild</key>
<value>false</value>
</dictionary>
<dictionary>
- <key>org.eclipse.cdt.make.core.enableCleanBuild</key>
- <value>true</value>
+ <key>org.eclipse.cdt.make.core.build.target.clean</key>
+ <value>clean</value>
</dictionary>
<dictionary>
- <key>org.eclipse.cdt.make.core.enableFullBuild</key>
- <value>true</value>
+ <key>org.eclipse.cdt.make.core.fullBuildTarget</key>
+ <value>all</value>
</dictionary>
<dictionary>
- <key>org.eclipse.cdt.make.core.enabledIncrementalBuild</key>
- <value>true</value>
+ <key>org.eclipse.cdt.make.core.buildArguments</key>
+ <value></value>
</dictionary>
<dictionary>
- <key>org.eclipse.cdt.make.core.environment</key>
- <value>VERBOSE=1|CMAKE_NO_VERBOSE=1|</value>
+ <key>org.eclipse.cdt.make.core.build.location</key>
+ <value>/home/chiheb/ProjectCPP/mc-sog</value>
</dictionary>
<dictionary>
- <key>org.eclipse.cdt.make.core.fullBuildTarget</key>
+ <key>org.eclipse.cdt.make.core.autoBuildTarget</key>
<value>all</value>
</dictionary>
<dictionary>
- <key>org.eclipse.cdt.make.core.stopOnError</key>
- <value>true</value>
- </dictionary>
- <dictionary>
- <key>org.eclipse.cdt.make.core.useDefaultBuildCmd</key>
- <value>false</value>
+ <key>org.eclipse.cdt.core.errorOutputParser</key>
+ <value>org.eclipse.cdt.core.MakeErrorParser;org.eclipse.cdt.core.GCCErrorParser;org.eclipse.cdt.core.GASErrorParser;org.eclipse.cdt.core.GLDErrorParser;</value>
</dictionary>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.cdt.make.core.ScannerConfigBuilder</name>
- <arguments>
- </arguments>
+ <arguments/>
</buildCommand>
</buildSpec>
<natures>
@@ -113,11 +111,6 @@
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
- <link>
- <name>[Targets]</name>
- <type>2</type>
- <locationURI>virtual:/virtual</locationURI>
- </link>
<link>
<name>[Subprojects]/pn-parser</name>
<type>2</type>
@@ -139,12 +132,12 @@
<location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan</location>
</link>
<link>
- <name>[Targets]/[exe] RdPtest/</name>
+ <name>[Targets]</name>
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/</name>
+ <name>[Targets]/[lib] RdP</name>
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
@@ -154,122 +147,127 @@
<locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[lib] sylvan/</name>
+ <name>[Targets]/[lib] RdP/Source Files</name>
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[exe] RdPtest/CMake Rules</name>
- <type>2</type>
- <locationURI>virtual:/virtual</locationURI>
+ <name>[Targets]/[lib] RdP/Source Files/RdPMonteur.tab.cpp</name>
+ <type>1</type>
+ <location>/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/RdPMonteur.tab.cpp</location>
</link>
<link>
- <name>[Targets]/[exe] RdPtest/Header Files</name>
- <type>2</type>
- <locationURI>virtual:/virtual</locationURI>
+ <name>[Targets]/[lib] RdP/Source Files/RdPMonteur.lex.cpp</name>
+ <type>1</type>
+ <location>/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/RdPMonteur.lex.cpp</location>
</link>
<link>
- <name>[Targets]/[exe] RdPtest/Object Files</name>
- <type>2</type>
- <locationURI>virtual:/virtual</locationURI>
+ <name>[Targets]/[lib] RdP/Source Files/Net.cpp</name>
+ <type>1</type>
+ <location>/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/Net.cpp</location>
</link>
<link>
- <name>[Targets]/[exe] RdPtest/Object Libraries</name>
+ <name>[Targets]/[lib] RdP/Header Files</name>
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[exe] RdPtest/Resources</name>
- <type>2</type>
- <locationURI>virtual:/virtual</locationURI>
+ <name>[Targets]/[lib] RdP/Header Files/RdPMonteur.tab.hpp</name>
+ <type>1</type>
+ <location>/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/RdPMonteur.tab.hpp</location>
</link>
<link>
- <name>[Targets]/[exe] RdPtest/Source Files</name>
- <type>2</type>
- <locationURI>virtual:/virtual</locationURI>
+ <name>[Targets]/[lib] RdP/Header Files/Net.hpp</name>
+ <type>1</type>
+ <location>/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/Net.hpp</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/CMake Rules</name>
- <type>2</type>
- <locationURI>virtual:/virtual</locationURI>
+ <name>[Targets]/[lib] RdP/Header Files/RdPMonteur.hpp</name>
+ <type>1</type>
+ <location>/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/RdPMonteur.hpp</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files</name>
+ <name>[Targets]/[lib] RdP/CMake Rules</name>
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Object Files</name>
- <type>2</type>
- <locationURI>virtual:/virtual</locationURI>
+ <name>[Targets]/[lib] RdP/CMake Rules/RdPMonteur.tab.cpp.rule</name>
+ <type>1</type>
+ <location>/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/RdPMonteur.tab.cpp.rule</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Object Libraries</name>
- <type>2</type>
- <locationURI>virtual:/virtual</locationURI>
+ <name>[Targets]/[lib] RdP/CMake Rules/RdPMonteur.lex.cpp.rule</name>
+ <type>1</type>
+ <location>/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/RdPMonteur.lex.cpp.rule</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Resources</name>
+ <name>[Targets]/[lib] RdP/Resources</name>
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files</name>
+ <name>[Targets]/[lib] RdP/Object Files</name>
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[lib] RdP/CMake Rules</name>
+ <name>[Targets]/[lib] RdP/Object Libraries</name>
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[lib] RdP/Header Files</name>
+ <name>[Targets]/[exe] RdPtest</name>
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[lib] RdP/Object Files</name>
+ <name>[Targets]/[exe] RdPtest/</name>
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[lib] RdP/Object Libraries</name>
+ <name>[Targets]/[exe] RdPtest/Source Files</name>
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[lib] RdP/Resources</name>
+ <name>[Targets]/[exe] RdPtest/Source Files/test.cpp</name>
+ <type>1</type>
+ <location>/home/chiheb/ProjectCPP/mc-sog/libraries/parser/tests/test.cpp</location>
+ </link>
+ <link>
+ <name>[Targets]/[exe] RdPtest/Header Files</name>
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[lib] RdP/Source Files</name>
+ <name>[Targets]/[exe] RdPtest/CMake Rules</name>
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[lib] sylvan/CMake Rules</name>
+ <name>[Targets]/[exe] RdPtest/Resources</name>
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files</name>
+ <name>[Targets]/[exe] RdPtest/Object Files</name>
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Object Files</name>
+ <name>[Targets]/[exe] RdPtest/Object Libraries</name>
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Object Libraries</name>
+ <name>[Targets]/[lib] sylvan</name>
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Resources</name>
+ <name>[Targets]/[lib] sylvan/</name>
<type>2</type>
<locationURI>virtual:/virtual</locationURI>
</link>
@@ -279,454 +277,454 @@
<locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[exe] RdPtest/Source Files/test.cpp</name>
+ <name>[Targets]/[lib] sylvan/Source Files/lace.c</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/libraries/parser/tests/test.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/lace.c</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/CommonSOG.h</name>
+ <name>[Targets]/[lib] sylvan/Source Files/sha2.c</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/CommonSOG.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sha2.c</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/DistributedSOG.h</name>
+ <name>[Targets]/[lib] sylvan/Source Files/sylvan_bdd.c</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/DistributedSOG.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_bdd.c</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/HybridSOG.h</name>
+ <name>[Targets]/[lib] sylvan/Source Files/sylvan_cache.c</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/HybridSOG.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_cache.c</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/LDDGraph.h</name>
+ <name>[Targets]/[lib] sylvan/Source Files/sylvan_common.c</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/LDDGraph.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_common.c</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/LDDState.h</name>
+ <name>[Targets]/[lib] sylvan/Source Files/sylvan_gmp.c</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/LDDState.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_gmp.c</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/ModelCheckLace.h</name>
+ <name>[Targets]/[lib] sylvan/Source Files/sylvan_ldd.c</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/ModelCheckLace.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_ldd.c</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/ModelCheckerTh.h</name>
+ <name>[Targets]/[lib] sylvan/Source Files/sylvan_mt.c</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/ModelCheckerTh.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_mt.c</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/NewNet.h</name>
+ <name>[Targets]/[lib] sylvan/Source Files/sylvan_mtbdd.c</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/NewNet.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_mtbdd.c</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/SogKripke.h</name>
+ <name>[Targets]/[lib] sylvan/Source Files/sylvan_obj.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripke.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_obj.cpp</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/SogKripkeIterator.h</name>
+ <name>[Targets]/[lib] sylvan/Source Files/sylvan_refs.c</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIterator.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_refs.c</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/SogKripkeIteratorOTF.h</name>
+ <name>[Targets]/[lib] sylvan/Source Files/sylvan_seq.c</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIteratorOTF.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_seq.c</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/SogKripkeIteratorTh.h</name>
+ <name>[Targets]/[lib] sylvan/Source Files/sylvan_sl.c</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIteratorTh.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_sl.c</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/SogKripkeOTF.h</name>
+ <name>[Targets]/[lib] sylvan/Source Files/sylvan_table.c</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeOTF.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_table.c</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/SogKripkeState.h</name>
+ <name>[Targets]/[lib] sylvan/Source Files/sylvan_stats.c</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeState.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_stats.c</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/SogKripkeStateOTF.h</name>
- <type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeStateOTF.h</location>
+ <name>[Targets]/[lib] sylvan/Header Files</name>
+ <type>2</type>
+ <locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/SogKripkeStateTh.h</name>
+ <name>[Targets]/[lib] sylvan/Header Files/avl.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeStateTh.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/avl.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/SogKripkeTh.h</name>
+ <name>[Targets]/[lib] sylvan/Header Files/lace.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeTh.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/lace.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/SogTwa.h</name>
+ <name>[Targets]/[lib] sylvan/Header Files/sha2.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogTwa.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sha2.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/SpotSogIterator.h</name>
+ <name>[Targets]/[lib] sylvan/Header Files/sylvan.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SpotSogIterator.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/SpotSogState.h</name>
+ <name>[Targets]/[lib] sylvan/Header Files/sylvan_bdd.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SpotSogState.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_bdd.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Header Files/threadSOG.h</name>
+ <name>[Targets]/[lib] sylvan/Header Files/sylvan_cache.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/threadSOG.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_cache.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/CommonSOG.cpp</name>
+ <name>[Targets]/[lib] sylvan/Header Files/sylvan_config.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/CommonSOG.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_config.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/DistributedSOG.cpp</name>
+ <name>[Targets]/[lib] sylvan/Header Files/sylvan_common.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/DistributedSOG.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_common.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/HybridSOG.cpp</name>
+ <name>[Targets]/[lib] sylvan/Header Files/sylvan_gmp.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/HybridSOG.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_gmp.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/LDDGraph.cpp</name>
+ <name>[Targets]/[lib] sylvan/Header Files/sylvan_int.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/LDDGraph.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_int.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/LDDState.cpp</name>
+ <name>[Targets]/[lib] sylvan/Header Files/sylvan_ldd.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/LDDState.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_ldd.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/ModelCheckLace.cpp</name>
+ <name>[Targets]/[lib] sylvan/Header Files/sylvan_mt.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/ModelCheckLace.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_mt.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/ModelCheckerTh.cpp</name>
+ <name>[Targets]/[lib] sylvan/Header Files/sylvan_mtbdd.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/ModelCheckerTh.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_mtbdd.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/NewNet.cpp</name>
+ <name>[Targets]/[lib] sylvan/Header Files/sylvan_mtbdd_int.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/NewNet.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_mtbdd_int.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/SogKripke.cpp</name>
+ <name>[Targets]/[lib] sylvan/Header Files/sylvan_obj.hpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripke.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_obj.hpp</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/SogKripkeIterator.cpp</name>
+ <name>[Targets]/[lib] sylvan/Header Files/sylvan_refs.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIterator.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_refs.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/SogKripkeIteratorOTF.cpp</name>
+ <name>[Targets]/[lib] sylvan/Header Files/sylvan_seq.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIteratorOTF.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_seq.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/SogKripkeIteratorTh.cpp</name>
+ <name>[Targets]/[lib] sylvan/Header Files/sylvan_sl.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIteratorTh.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_sl.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/SogKripkeOTF.cpp</name>
+ <name>[Targets]/[lib] sylvan/Header Files/sylvan_table.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeOTF.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_table.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/SogKripkeState.cpp</name>
+ <name>[Targets]/[lib] sylvan/Header Files/sylvan_stats.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeState.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_stats.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/SogKripkeStateOTF.cpp</name>
+ <name>[Targets]/[lib] sylvan/Header Files/tls.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeStateOTF.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/tls.h</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/SogKripkeStateTh.cpp</name>
- <type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeStateTh.cpp</location>
+ <name>[Targets]/[lib] sylvan/CMake Rules</name>
+ <type>2</type>
+ <locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/SogKripkeTh.cpp</name>
- <type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeTh.cpp</location>
+ <name>[Targets]/[lib] sylvan/Resources</name>
+ <type>2</type>
+ <locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/SogTwa.cpp</name>
- <type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SogTwa.cpp</location>
+ <name>[Targets]/[lib] sylvan/Object Files</name>
+ <type>2</type>
+ <locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/SpotSogIterator.cpp</name>
- <type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SpotSogIterator.cpp</location>
+ <name>[Targets]/[lib] sylvan/Object Libraries</name>
+ <type>2</type>
+ <locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/SpotSogState.cpp</name>
- <type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/SpotSogState.cpp</location>
+ <name>[Targets]/[exe] hybrid-sog</name>
+ <type>2</type>
+ <locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/TransSylvan.cpp</name>
- <type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/TransSylvan.cpp</location>
+ <name>[Targets]/[exe] hybrid-sog/</name>
+ <type>2</type>
+ <locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/main.cpp</name>
- <type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/main.cpp</location>
+ <name>[Targets]/[exe] hybrid-sog/Source Files</name>
+ <type>2</type>
+ <locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/sylvan_sog.c</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/main.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/sylvan_sog.c</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/main.cpp</location>
</link>
<link>
- <name>[Targets]/[exe] hybrid-sog/Source Files/threadSOG.cpp</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/NewNet.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/src/threadSOG.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/NewNet.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] RdP/CMake Rules/RdPMonteur.lex.cpp.rule</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/CommonSOG.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/RdPMonteur.lex.cpp.rule</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/CommonSOG.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] RdP/CMake Rules/RdPMonteur.tab.cpp.rule</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/DistributedSOG.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/RdPMonteur.tab.cpp.rule</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/DistributedSOG.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] RdP/Header Files/Net.hpp</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/HybridSOG.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/Net.hpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/HybridSOG.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] RdP/Header Files/RdPMonteur.hpp</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/threadSOG.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/RdPMonteur.hpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/threadSOG.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] RdP/Header Files/RdPMonteur.tab.hpp</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/LDDGraph.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/RdPMonteur.tab.hpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/LDDGraph.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] RdP/Source Files/Net.cpp</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/LDDState.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/Net.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/LDDState.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] RdP/Source Files/RdPMonteur.lex.cpp</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/TransSylvan.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/RdPMonteur.lex.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/TransSylvan.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] RdP/Source Files/RdPMonteur.tab.cpp</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/sylvan_sog.c</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/RdPMonteur.tab.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/sylvan_sog.c</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/avl.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/SpotSogState.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/avl.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/SpotSogState.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/lace.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/SpotSogIterator.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/lace.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/SpotSogIterator.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/sha2.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/SogTwa.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sha2.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/SogTwa.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/sylvan.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/SogKripkeState.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeState.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/sylvan_bdd.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/SogKripkeIterator.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_bdd.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIterator.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/sylvan_cache.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/SogKripke.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_cache.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripke.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/sylvan_common.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/ModelCheckBaseMT.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_common.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/ModelCheckBaseMT.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/sylvan_config.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/ModelCheckLace.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_config.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/ModelCheckLace.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/sylvan_gmp.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/SogKripkeTh.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_gmp.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeTh.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/sylvan_int.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/SogKripkeStateTh.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_int.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeStateTh.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/sylvan_ldd.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/SogKripkeIteratorTh.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_ldd.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIteratorTh.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/sylvan_mt.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Source Files/ModelCheckerTh.cpp</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_mt.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/ModelCheckerTh.cpp</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/sylvan_mtbdd.h</name>
- <type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_mtbdd.h</location>
+ <name>[Targets]/[exe] hybrid-sog/Header Files</name>
+ <type>2</type>
+ <locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/sylvan_mtbdd_int.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/NewNet.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_mtbdd_int.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/NewNet.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/sylvan_obj.hpp</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/CommonSOG.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_obj.hpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/CommonSOG.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/sylvan_refs.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/DistributedSOG.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_refs.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/DistributedSOG.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/sylvan_seq.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/HybridSOG.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_seq.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/HybridSOG.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/sylvan_sl.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/threadSOG.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_sl.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/threadSOG.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/sylvan_stats.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/LDDGraph.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_stats.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/LDDGraph.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/sylvan_table.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/LDDState.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_table.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/LDDState.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Header Files/tls.h</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/SpotSogState.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/tls.h</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/SpotSogState.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Source Files/lace.c</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/SpotSogIterator.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/lace.c</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/SpotSogIterator.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Source Files/sha2.c</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/SogTwa.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sha2.c</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/SogTwa.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Source Files/sylvan_bdd.c</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/SogKripkeState.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_bdd.c</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeState.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Source Files/sylvan_cache.c</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/SogKripkeIterator.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_cache.c</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIterator.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Source Files/sylvan_common.c</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/SogKripke.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_common.c</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripke.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Source Files/sylvan_gmp.c</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/ModelCheckBaseMT.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_gmp.c</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/ModelCheckBaseMT.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Source Files/sylvan_ldd.c</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/ModelCheckLace.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_ldd.c</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/ModelCheckLace.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Source Files/sylvan_mt.c</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/SogKripkeTh.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_mt.c</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeTh.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Source Files/sylvan_mtbdd.c</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/SogKripkeStateTh.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_mtbdd.c</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeStateTh.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Source Files/sylvan_obj.cpp</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/SogKripkeIteratorTh.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_obj.cpp</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIteratorTh.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Source Files/sylvan_refs.c</name>
+ <name>[Targets]/[exe] hybrid-sog/Header Files/ModelCheckerTh.h</name>
<type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_refs.c</location>
+ <location>/home/chiheb/ProjectCPP/mc-sog/src/ModelCheckerTh.h</location>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Source Files/sylvan_seq.c</name>
- <type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_seq.c</location>
+ <name>[Targets]/[exe] hybrid-sog/CMake Rules</name>
+ <type>2</type>
+ <locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Source Files/sylvan_sl.c</name>
- <type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_sl.c</location>
+ <name>[Targets]/[exe] hybrid-sog/Resources</name>
+ <type>2</type>
+ <locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Source Files/sylvan_stats.c</name>
- <type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_stats.c</location>
+ <name>[Targets]/[exe] hybrid-sog/Object Files</name>
+ <type>2</type>
+ <locationURI>virtual:/virtual</locationURI>
</link>
<link>
- <name>[Targets]/[lib] sylvan/Source Files/sylvan_table.c</name>
- <type>1</type>
- <location>/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_table.c</location>
+ <name>[Targets]/[exe] hybrid-sog/Object Libraries</name>
+ <type>2</type>
+ <locationURI>virtual:/virtual</locationURI>
</link>
</linkedResources>
-</projectDescription>
+</projectDescription>
\ No newline at end of file
diff --git a/CMakeCache.txt b/CMakeCache.txt
index 74e203637728c48d33554389bb6618d88cd0236a..5fb56d148e5b609545cdb76cda4da6ee32fcbe5c 100644
--- a/CMakeCache.txt
+++ b/CMakeCache.txt
@@ -22,7 +22,7 @@ CMAKE_AR:FILEPATH=/usr/bin/ar
//Choose the type of build, options are: None Debug Release RelWithDebInfo
// MinSizeRel ...
-CMAKE_BUILD_TYPE:STRING=
+CMAKE_BUILD_TYPE:STRING=Debug
//Enable/Disable color output during build.
CMAKE_COLOR_MAKEFILE:BOOL=ON
@@ -114,7 +114,7 @@ CMAKE_EXE_LINKER_FLAGS_RELEASE:STRING=
CMAKE_EXE_LINKER_FLAGS_RELWITHDEBINFO:STRING=
//Enable/Disable output of compile commands during generation.
-CMAKE_EXPORT_COMPILE_COMMANDS:BOOL=OFF
+CMAKE_EXPORT_COMPILE_COMMANDS:BOOL=ON
//Install path prefix, prepended onto install directories.
CMAKE_INSTALL_PREFIX:PATH=/usr/local
diff --git a/CMakeFiles/Makefile2 b/CMakeFiles/Makefile2
index 501f37a5b751390b33e58459c52b9d2fb38584b8..fab6ed3bcb062571803bd6671540784763273953 100644
--- a/CMakeFiles/Makefile2
+++ b/CMakeFiles/Makefile2
@@ -220,7 +220,7 @@ third-party/sylvan/preinstall:
third-party/sylvan/CMakeFiles/sylvan.dir/all:
$(MAKE) -f third-party/sylvan/CMakeFiles/sylvan.dir/build.make third-party/sylvan/CMakeFiles/sylvan.dir/depend
$(MAKE) -f third-party/sylvan/CMakeFiles/sylvan.dir/build.make third-party/sylvan/CMakeFiles/sylvan.dir/build
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49 "Built target sylvan"
+ @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47 "Built target sylvan"
.PHONY : third-party/sylvan/CMakeFiles/sylvan.dir/all
# Include target in all.
@@ -276,7 +276,7 @@ src/CMakeFiles/hybrid-sog.dir/all: third-party/sylvan/CMakeFiles/sylvan.dir/all
src/CMakeFiles/hybrid-sog.dir/all: libraries/parser/src/CMakeFiles/RdP.dir/all
$(MAKE) -f src/CMakeFiles/hybrid-sog.dir/build.make src/CMakeFiles/hybrid-sog.dir/depend
$(MAKE) -f src/CMakeFiles/hybrid-sog.dir/build.make src/CMakeFiles/hybrid-sog.dir/build
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33 "Built target hybrid-sog"
+ @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31 "Built target hybrid-sog"
.PHONY : src/CMakeFiles/hybrid-sog.dir/all
# Include target in all.
@@ -286,7 +286,7 @@ all: src/CMakeFiles/hybrid-sog.dir/all
# Build rule for subdir invocation for target.
src/CMakeFiles/hybrid-sog.dir/rule: cmake_check_build_system
- $(CMAKE_COMMAND) -E cmake_progress_start /home/chiheb/ProjectCPP/mc-sog/CMakeFiles 47
+ $(CMAKE_COMMAND) -E cmake_progress_start /home/chiheb/ProjectCPP/mc-sog/CMakeFiles 45
$(MAKE) -f CMakeFiles/Makefile2 src/CMakeFiles/hybrid-sog.dir/all
$(CMAKE_COMMAND) -E cmake_progress_start /home/chiheb/ProjectCPP/mc-sog/CMakeFiles 0
.PHONY : src/CMakeFiles/hybrid-sog.dir/rule
diff --git a/CMakeFiles/progress.marks b/CMakeFiles/progress.marks
index 95f9650f0151d7c0d3aecf40355d88effbd5b7a7..abac1ea7b759d8258c9ad9e5b450f782aaa33374 100644
--- a/CMakeFiles/progress.marks
+++ b/CMakeFiles/progress.marks
@@ -1 +1 @@
-49
+47
diff --git a/Makefile b/Makefile
index d8aa44b33cb38c125e4530cda3ff1dc7bb8afc0d..c0f443c47d44bab5b3341fed0c2325460ede76b8 100644
--- a/Makefile
+++ b/Makefile
@@ -69,8 +69,8 @@ rebuild_cache/fast: rebuild_cache
# Special rule for the target edit_cache
edit_cache:
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "No interactive CMake dialog available..."
- /usr/bin/cmake -E echo No\ interactive\ CMake\ dialog\ available.
+ @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Running CMake cache editor..."
+ /usr/bin/cmake-gui -S$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR)
.PHONY : edit_cache
# Special rule for the target edit_cache
diff --git a/cmake_install.cmake b/cmake_install.cmake
index c01b73d25eb42ae13e09990e2d931d3e032ba6ee..c311157812ab19dcc93b2fc3ef9b6a257832c7d3 100644
--- a/cmake_install.cmake
+++ b/cmake_install.cmake
@@ -12,7 +12,7 @@ if(NOT DEFINED CMAKE_INSTALL_CONFIG_NAME)
string(REGEX REPLACE "^[^A-Za-z0-9_]+" ""
CMAKE_INSTALL_CONFIG_NAME "${BUILD_TYPE}")
else()
- set(CMAKE_INSTALL_CONFIG_NAME "")
+ set(CMAKE_INSTALL_CONFIG_NAME "Debug")
endif()
message(STATUS "Install configuration: \"${CMAKE_INSTALL_CONFIG_NAME}\"")
endif()
diff --git a/compile_commands.json b/compile_commands.json
new file mode 100644
index 0000000000000000000000000000000000000000..abb9143b3e54786d22bfbb51f258c0a6221e0ede
--- /dev/null
+++ b/compile_commands.json
@@ -0,0 +1,207 @@
+[
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -fpermissive -O3 -Wall -g -o CMakeFiles/RdP.dir/RdPMonteur.tab.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/RdPMonteur.tab.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/RdPMonteur.tab.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -fpermissive -O3 -Wall -g -o CMakeFiles/RdP.dir/RdPMonteur.lex.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/RdPMonteur.lex.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/RdPMonteur.lex.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -fpermissive -O3 -Wall -g -o CMakeFiles/RdP.dir/Net.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/Net.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src/Net.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/libraries/parser/tests",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -fpermissive -g -o CMakeFiles/RdPtest.dir/test.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/libraries/parser/tests/test.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/libraries/parser/tests/test.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan",
+ "command": "/usr/bin/cc -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/. -g -o CMakeFiles/sylvan.dir/lace.c.o -c /home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/lace.c",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/lace.c"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan",
+ "command": "/usr/bin/cc -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/. -g -o CMakeFiles/sylvan.dir/sha2.c.o -c /home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sha2.c",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sha2.c"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan",
+ "command": "/usr/bin/cc -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/. -g -o CMakeFiles/sylvan.dir/sylvan_bdd.c.o -c /home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_bdd.c",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_bdd.c"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan",
+ "command": "/usr/bin/cc -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/. -g -o CMakeFiles/sylvan.dir/sylvan_cache.c.o -c /home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_cache.c",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_cache.c"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan",
+ "command": "/usr/bin/cc -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/. -g -o CMakeFiles/sylvan.dir/sylvan_common.c.o -c /home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_common.c",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_common.c"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan",
+ "command": "/usr/bin/cc -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/. -g -o CMakeFiles/sylvan.dir/sylvan_gmp.c.o -c /home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_gmp.c",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_gmp.c"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan",
+ "command": "/usr/bin/cc -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/. -g -o CMakeFiles/sylvan.dir/sylvan_ldd.c.o -c /home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_ldd.c",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_ldd.c"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan",
+ "command": "/usr/bin/cc -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/. -g -o CMakeFiles/sylvan.dir/sylvan_mt.c.o -c /home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_mt.c",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_mt.c"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan",
+ "command": "/usr/bin/cc -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/. -g -o CMakeFiles/sylvan.dir/sylvan_mtbdd.c.o -c /home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_mtbdd.c",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_mtbdd.c"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/. -fpermissive -g -o CMakeFiles/sylvan.dir/sylvan_obj.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_obj.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_obj.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan",
+ "command": "/usr/bin/cc -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/. -g -o CMakeFiles/sylvan.dir/sylvan_refs.c.o -c /home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_refs.c",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_refs.c"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan",
+ "command": "/usr/bin/cc -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/. -g -o CMakeFiles/sylvan.dir/sylvan_seq.c.o -c /home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_seq.c",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_seq.c"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan",
+ "command": "/usr/bin/cc -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/. -g -o CMakeFiles/sylvan.dir/sylvan_sl.c.o -c /home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_sl.c",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_sl.c"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan",
+ "command": "/usr/bin/cc -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/. -g -o CMakeFiles/sylvan.dir/sylvan_table.c.o -c /home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_table.c",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_table.c"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan",
+ "command": "/usr/bin/cc -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/. -g -o CMakeFiles/sylvan.dir/sylvan_stats.c.o -c /home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_stats.c",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/sylvan_stats.c"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/main.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/main.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/main.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/NewNet.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/NewNet.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/NewNet.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/CommonSOG.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/CommonSOG.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/CommonSOG.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/DistributedSOG.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/DistributedSOG.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/DistributedSOG.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/HybridSOG.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/HybridSOG.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/HybridSOG.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/threadSOG.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/threadSOG.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/threadSOG.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/LDDGraph.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/LDDGraph.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/LDDGraph.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/LDDState.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/LDDState.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/LDDState.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/TransSylvan.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/TransSylvan.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/TransSylvan.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/cc -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -g -o CMakeFiles/hybrid-sog.dir/sylvan_sog.c.o -c /home/chiheb/ProjectCPP/mc-sog/src/sylvan_sog.c",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/sylvan_sog.c"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/SpotSogState.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/SpotSogState.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/SpotSogState.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/SpotSogIterator.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/SpotSogIterator.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/SpotSogIterator.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/SogTwa.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/SogTwa.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/SogTwa.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/SogKripkeState.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/SogKripkeState.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeState.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/SogKripkeIterator.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIterator.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIterator.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/SogKripke.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/SogKripke.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/SogKripke.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/ModelCheckBaseMT.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/ModelCheckBaseMT.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/ModelCheckLace.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/ModelCheckLace.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/ModelCheckLace.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/SogKripkeTh.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/SogKripkeTh.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeTh.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/SogKripkeStateTh.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/SogKripkeStateTh.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeStateTh.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/SogKripkeIteratorTh.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIteratorTh.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIteratorTh.cpp"
+},
+{
+ "directory": "/home/chiheb/ProjectCPP/mc-sog/src",
+ "command": "/usr/bin/c++ -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot -fpermissive -g -o CMakeFiles/hybrid-sog.dir/ModelCheckerTh.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/ModelCheckerTh.cpp",
+ "file": "/home/chiheb/ProjectCPP/mc-sog/src/ModelCheckerTh.cpp"
+}
+]
\ No newline at end of file
diff --git a/src/CMakeFiles/hybrid-sog.dir/DependInfo.cmake b/src/CMakeFiles/hybrid-sog.dir/DependInfo.cmake
index 7af641bc5a5b0a21425a84c221f28648a36e748d..0462c0af6fe7355b2e950dc9c216b647357dde7d 100644
--- a/src/CMakeFiles/hybrid-sog.dir/DependInfo.cmake
+++ b/src/CMakeFiles/hybrid-sog.dir/DependInfo.cmake
@@ -25,16 +25,14 @@ set(CMAKE_DEPENDS_CHECK_CXX
"/home/chiheb/ProjectCPP/mc-sog/src/HybridSOG.cpp" "/home/chiheb/ProjectCPP/mc-sog/src/CMakeFiles/hybrid-sog.dir/HybridSOG.cpp.o"
"/home/chiheb/ProjectCPP/mc-sog/src/LDDGraph.cpp" "/home/chiheb/ProjectCPP/mc-sog/src/CMakeFiles/hybrid-sog.dir/LDDGraph.cpp.o"
"/home/chiheb/ProjectCPP/mc-sog/src/LDDState.cpp" "/home/chiheb/ProjectCPP/mc-sog/src/CMakeFiles/hybrid-sog.dir/LDDState.cpp.o"
+ "/home/chiheb/ProjectCPP/mc-sog/src/ModelCheckBaseMT.cpp" "/home/chiheb/ProjectCPP/mc-sog/src/CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.o"
"/home/chiheb/ProjectCPP/mc-sog/src/ModelCheckLace.cpp" "/home/chiheb/ProjectCPP/mc-sog/src/CMakeFiles/hybrid-sog.dir/ModelCheckLace.cpp.o"
"/home/chiheb/ProjectCPP/mc-sog/src/ModelCheckerTh.cpp" "/home/chiheb/ProjectCPP/mc-sog/src/CMakeFiles/hybrid-sog.dir/ModelCheckerTh.cpp.o"
"/home/chiheb/ProjectCPP/mc-sog/src/NewNet.cpp" "/home/chiheb/ProjectCPP/mc-sog/src/CMakeFiles/hybrid-sog.dir/NewNet.cpp.o"
"/home/chiheb/ProjectCPP/mc-sog/src/SogKripke.cpp" "/home/chiheb/ProjectCPP/mc-sog/src/CMakeFiles/hybrid-sog.dir/SogKripke.cpp.o"
"/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIterator.cpp" "/home/chiheb/ProjectCPP/mc-sog/src/CMakeFiles/hybrid-sog.dir/SogKripkeIterator.cpp.o"
- "/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIteratorOTF.cpp" "/home/chiheb/ProjectCPP/mc-sog/src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.o"
"/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIteratorTh.cpp" "/home/chiheb/ProjectCPP/mc-sog/src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorTh.cpp.o"
- "/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeOTF.cpp" "/home/chiheb/ProjectCPP/mc-sog/src/CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.o"
"/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeState.cpp" "/home/chiheb/ProjectCPP/mc-sog/src/CMakeFiles/hybrid-sog.dir/SogKripkeState.cpp.o"
- "/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeStateOTF.cpp" "/home/chiheb/ProjectCPP/mc-sog/src/CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.o"
"/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeStateTh.cpp" "/home/chiheb/ProjectCPP/mc-sog/src/CMakeFiles/hybrid-sog.dir/SogKripkeStateTh.cpp.o"
"/home/chiheb/ProjectCPP/mc-sog/src/SogKripkeTh.cpp" "/home/chiheb/ProjectCPP/mc-sog/src/CMakeFiles/hybrid-sog.dir/SogKripkeTh.cpp.o"
"/home/chiheb/ProjectCPP/mc-sog/src/SogTwa.cpp" "/home/chiheb/ProjectCPP/mc-sog/src/CMakeFiles/hybrid-sog.dir/SogTwa.cpp.o"
diff --git a/src/CMakeFiles/hybrid-sog.dir/build.make b/src/CMakeFiles/hybrid-sog.dir/build.make
index fd72b777dad7f3052abc809462497c6570b63796..7224702817bd185e93d270107250d41b52485922 100644
--- a/src/CMakeFiles/hybrid-sog.dir/build.make
+++ b/src/CMakeFiles/hybrid-sog.dir/build.make
@@ -265,9 +265,22 @@ src/CMakeFiles/hybrid-sog.dir/SogKripke.cpp.s: cmake_force
@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green "Compiling CXX source to assembly CMakeFiles/hybrid-sog.dir/SogKripke.cpp.s"
cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -S /home/chiheb/ProjectCPP/mc-sog/src/SogKripke.cpp -o CMakeFiles/hybrid-sog.dir/SogKripke.cpp.s
+src/CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.o: src/CMakeFiles/hybrid-sog.dir/flags.make
+src/CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.o: src/ModelCheckBaseMT.cpp
+ @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=$(CMAKE_PROGRESS_17) "Building CXX object src/CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.o"
+ cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -o CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/ModelCheckBaseMT.cpp
+
+src/CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.i: cmake_force
+ @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green "Preprocessing CXX source to CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.i"
+ cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -E /home/chiheb/ProjectCPP/mc-sog/src/ModelCheckBaseMT.cpp > CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.i
+
+src/CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.s: cmake_force
+ @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green "Compiling CXX source to assembly CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.s"
+ cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -S /home/chiheb/ProjectCPP/mc-sog/src/ModelCheckBaseMT.cpp -o CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.s
+
src/CMakeFiles/hybrid-sog.dir/ModelCheckLace.cpp.o: src/CMakeFiles/hybrid-sog.dir/flags.make
src/CMakeFiles/hybrid-sog.dir/ModelCheckLace.cpp.o: src/ModelCheckLace.cpp
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=$(CMAKE_PROGRESS_17) "Building CXX object src/CMakeFiles/hybrid-sog.dir/ModelCheckLace.cpp.o"
+ @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=$(CMAKE_PROGRESS_18) "Building CXX object src/CMakeFiles/hybrid-sog.dir/ModelCheckLace.cpp.o"
cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -o CMakeFiles/hybrid-sog.dir/ModelCheckLace.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/ModelCheckLace.cpp
src/CMakeFiles/hybrid-sog.dir/ModelCheckLace.cpp.i: cmake_force
@@ -278,48 +291,9 @@ src/CMakeFiles/hybrid-sog.dir/ModelCheckLace.cpp.s: cmake_force
@$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green "Compiling CXX source to assembly CMakeFiles/hybrid-sog.dir/ModelCheckLace.cpp.s"
cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -S /home/chiheb/ProjectCPP/mc-sog/src/ModelCheckLace.cpp -o CMakeFiles/hybrid-sog.dir/ModelCheckLace.cpp.s
-src/CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.o: src/CMakeFiles/hybrid-sog.dir/flags.make
-src/CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.o: src/SogKripkeStateOTF.cpp
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=$(CMAKE_PROGRESS_18) "Building CXX object src/CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.o"
- cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -o CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/SogKripkeStateOTF.cpp
-
-src/CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.i: cmake_force
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green "Preprocessing CXX source to CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.i"
- cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -E /home/chiheb/ProjectCPP/mc-sog/src/SogKripkeStateOTF.cpp > CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.i
-
-src/CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.s: cmake_force
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green "Compiling CXX source to assembly CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.s"
- cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -S /home/chiheb/ProjectCPP/mc-sog/src/SogKripkeStateOTF.cpp -o CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.s
-
-src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.o: src/CMakeFiles/hybrid-sog.dir/flags.make
-src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.o: src/SogKripkeIteratorOTF.cpp
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=$(CMAKE_PROGRESS_19) "Building CXX object src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.o"
- cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -o CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIteratorOTF.cpp
-
-src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.i: cmake_force
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green "Preprocessing CXX source to CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.i"
- cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -E /home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIteratorOTF.cpp > CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.i
-
-src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.s: cmake_force
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green "Compiling CXX source to assembly CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.s"
- cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -S /home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIteratorOTF.cpp -o CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.s
-
-src/CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.o: src/CMakeFiles/hybrid-sog.dir/flags.make
-src/CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.o: src/SogKripkeOTF.cpp
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=$(CMAKE_PROGRESS_20) "Building CXX object src/CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.o"
- cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -o CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/SogKripkeOTF.cpp
-
-src/CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.i: cmake_force
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green "Preprocessing CXX source to CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.i"
- cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -E /home/chiheb/ProjectCPP/mc-sog/src/SogKripkeOTF.cpp > CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.i
-
-src/CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.s: cmake_force
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green "Compiling CXX source to assembly CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.s"
- cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -S /home/chiheb/ProjectCPP/mc-sog/src/SogKripkeOTF.cpp -o CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.s
-
src/CMakeFiles/hybrid-sog.dir/SogKripkeTh.cpp.o: src/CMakeFiles/hybrid-sog.dir/flags.make
src/CMakeFiles/hybrid-sog.dir/SogKripkeTh.cpp.o: src/SogKripkeTh.cpp
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=$(CMAKE_PROGRESS_21) "Building CXX object src/CMakeFiles/hybrid-sog.dir/SogKripkeTh.cpp.o"
+ @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=$(CMAKE_PROGRESS_19) "Building CXX object src/CMakeFiles/hybrid-sog.dir/SogKripkeTh.cpp.o"
cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -o CMakeFiles/hybrid-sog.dir/SogKripkeTh.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/SogKripkeTh.cpp
src/CMakeFiles/hybrid-sog.dir/SogKripkeTh.cpp.i: cmake_force
@@ -332,7 +306,7 @@ src/CMakeFiles/hybrid-sog.dir/SogKripkeTh.cpp.s: cmake_force
src/CMakeFiles/hybrid-sog.dir/SogKripkeStateTh.cpp.o: src/CMakeFiles/hybrid-sog.dir/flags.make
src/CMakeFiles/hybrid-sog.dir/SogKripkeStateTh.cpp.o: src/SogKripkeStateTh.cpp
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=$(CMAKE_PROGRESS_22) "Building CXX object src/CMakeFiles/hybrid-sog.dir/SogKripkeStateTh.cpp.o"
+ @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=$(CMAKE_PROGRESS_20) "Building CXX object src/CMakeFiles/hybrid-sog.dir/SogKripkeStateTh.cpp.o"
cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -o CMakeFiles/hybrid-sog.dir/SogKripkeStateTh.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/SogKripkeStateTh.cpp
src/CMakeFiles/hybrid-sog.dir/SogKripkeStateTh.cpp.i: cmake_force
@@ -345,7 +319,7 @@ src/CMakeFiles/hybrid-sog.dir/SogKripkeStateTh.cpp.s: cmake_force
src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorTh.cpp.o: src/CMakeFiles/hybrid-sog.dir/flags.make
src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorTh.cpp.o: src/SogKripkeIteratorTh.cpp
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=$(CMAKE_PROGRESS_23) "Building CXX object src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorTh.cpp.o"
+ @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=$(CMAKE_PROGRESS_21) "Building CXX object src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorTh.cpp.o"
cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -o CMakeFiles/hybrid-sog.dir/SogKripkeIteratorTh.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/SogKripkeIteratorTh.cpp
src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorTh.cpp.i: cmake_force
@@ -358,7 +332,7 @@ src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorTh.cpp.s: cmake_force
src/CMakeFiles/hybrid-sog.dir/ModelCheckerTh.cpp.o: src/CMakeFiles/hybrid-sog.dir/flags.make
src/CMakeFiles/hybrid-sog.dir/ModelCheckerTh.cpp.o: src/ModelCheckerTh.cpp
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=$(CMAKE_PROGRESS_24) "Building CXX object src/CMakeFiles/hybrid-sog.dir/ModelCheckerTh.cpp.o"
+ @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=$(CMAKE_PROGRESS_22) "Building CXX object src/CMakeFiles/hybrid-sog.dir/ModelCheckerTh.cpp.o"
cd /home/chiheb/ProjectCPP/mc-sog/src && /usr/bin/c++ $(CXX_DEFINES) $(CXX_INCLUDES) $(CXX_FLAGS) -o CMakeFiles/hybrid-sog.dir/ModelCheckerTh.cpp.o -c /home/chiheb/ProjectCPP/mc-sog/src/ModelCheckerTh.cpp
src/CMakeFiles/hybrid-sog.dir/ModelCheckerTh.cpp.i: cmake_force
@@ -387,10 +361,8 @@ hybrid__sog_OBJECTS = \
"CMakeFiles/hybrid-sog.dir/SogKripkeState.cpp.o" \
"CMakeFiles/hybrid-sog.dir/SogKripkeIterator.cpp.o" \
"CMakeFiles/hybrid-sog.dir/SogKripke.cpp.o" \
+"CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.o" \
"CMakeFiles/hybrid-sog.dir/ModelCheckLace.cpp.o" \
-"CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.o" \
-"CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.o" \
-"CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.o" \
"CMakeFiles/hybrid-sog.dir/SogKripkeTh.cpp.o" \
"CMakeFiles/hybrid-sog.dir/SogKripkeStateTh.cpp.o" \
"CMakeFiles/hybrid-sog.dir/SogKripkeIteratorTh.cpp.o" \
@@ -415,10 +387,8 @@ src/hybrid-sog: src/CMakeFiles/hybrid-sog.dir/SogTwa.cpp.o
src/hybrid-sog: src/CMakeFiles/hybrid-sog.dir/SogKripkeState.cpp.o
src/hybrid-sog: src/CMakeFiles/hybrid-sog.dir/SogKripkeIterator.cpp.o
src/hybrid-sog: src/CMakeFiles/hybrid-sog.dir/SogKripke.cpp.o
+src/hybrid-sog: src/CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.o
src/hybrid-sog: src/CMakeFiles/hybrid-sog.dir/ModelCheckLace.cpp.o
-src/hybrid-sog: src/CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.o
-src/hybrid-sog: src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.o
-src/hybrid-sog: src/CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.o
src/hybrid-sog: src/CMakeFiles/hybrid-sog.dir/SogKripkeTh.cpp.o
src/hybrid-sog: src/CMakeFiles/hybrid-sog.dir/SogKripkeStateTh.cpp.o
src/hybrid-sog: src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorTh.cpp.o
@@ -433,7 +403,7 @@ src/hybrid-sog: /usr/lib/x86_64-linux-gnu/openmpi/lib/libmpi.so
src/hybrid-sog: /usr/lib/x86_64-linux-gnu/libssl.so
src/hybrid-sog: /usr/lib/x86_64-linux-gnu/libcrypto.so
src/hybrid-sog: src/CMakeFiles/hybrid-sog.dir/link.txt
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green --bold --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=$(CMAKE_PROGRESS_25) "Linking CXX executable hybrid-sog"
+ @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --green --bold --progress-dir=/home/chiheb/ProjectCPP/mc-sog/CMakeFiles --progress-num=$(CMAKE_PROGRESS_23) "Linking CXX executable hybrid-sog"
cd /home/chiheb/ProjectCPP/mc-sog/src && $(CMAKE_COMMAND) -E cmake_link_script CMakeFiles/hybrid-sog.dir/link.txt --verbose=$(VERBOSE)
# Rule to build all files generated by this target.
diff --git a/src/CMakeFiles/hybrid-sog.dir/cmake_clean.cmake b/src/CMakeFiles/hybrid-sog.dir/cmake_clean.cmake
index 139900eb557f145bd7bd8d4360eb87211ab2d85e..4674918947824ef3b2a0c8c46f1903a0a8e188fe 100644
--- a/src/CMakeFiles/hybrid-sog.dir/cmake_clean.cmake
+++ b/src/CMakeFiles/hybrid-sog.dir/cmake_clean.cmake
@@ -15,10 +15,8 @@ file(REMOVE_RECURSE
"CMakeFiles/hybrid-sog.dir/SogKripkeState.cpp.o"
"CMakeFiles/hybrid-sog.dir/SogKripkeIterator.cpp.o"
"CMakeFiles/hybrid-sog.dir/SogKripke.cpp.o"
+ "CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.o"
"CMakeFiles/hybrid-sog.dir/ModelCheckLace.cpp.o"
- "CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.o"
- "CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.o"
- "CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.o"
"CMakeFiles/hybrid-sog.dir/SogKripkeTh.cpp.o"
"CMakeFiles/hybrid-sog.dir/SogKripkeStateTh.cpp.o"
"CMakeFiles/hybrid-sog.dir/SogKripkeIteratorTh.cpp.o"
diff --git a/src/CMakeFiles/hybrid-sog.dir/flags.make b/src/CMakeFiles/hybrid-sog.dir/flags.make
index 63dbebb173c8b853fad3b742c842c2c413b3dd3f..214a72553f912fdda15b4a5a430854dc82318f62 100644
--- a/src/CMakeFiles/hybrid-sog.dir/flags.make
+++ b/src/CMakeFiles/hybrid-sog.dir/flags.make
@@ -3,13 +3,13 @@
# compile C with /usr/bin/cc
# compile CXX with /usr/bin/c++
-C_FLAGS =
+C_FLAGS = -g
C_DEFINES =
C_INCLUDES = -I/home/chiheb/ProjectCPP/mc-sog/libraries/parser/src -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan -I/home/chiheb/ProjectCPP/mc-sog/src -I/usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -I/usr/lib/x86_64-linux-gnu/openmpi/include -I/home/chiheb/ProjectCPP/mc-sog/third-party/sylvan/src -isystem /usr/include/spot
-CXX_FLAGS = -fpermissive
+CXX_FLAGS = -fpermissive -g
CXX_DEFINES =
diff --git a/src/CMakeFiles/hybrid-sog.dir/link.txt b/src/CMakeFiles/hybrid-sog.dir/link.txt
index c24fa13f2e96b2f1edde479548b5b288e6db1b67..add1eb4b763c2306a66420a8372f7c293c2858a8 100644
--- a/src/CMakeFiles/hybrid-sog.dir/link.txt
+++ b/src/CMakeFiles/hybrid-sog.dir/link.txt
@@ -1 +1 @@
-/usr/bin/c++ -fpermissive CMakeFiles/hybrid-sog.dir/main.cpp.o CMakeFiles/hybrid-sog.dir/NewNet.cpp.o CMakeFiles/hybrid-sog.dir/CommonSOG.cpp.o CMakeFiles/hybrid-sog.dir/DistributedSOG.cpp.o CMakeFiles/hybrid-sog.dir/HybridSOG.cpp.o CMakeFiles/hybrid-sog.dir/threadSOG.cpp.o CMakeFiles/hybrid-sog.dir/LDDGraph.cpp.o CMakeFiles/hybrid-sog.dir/LDDState.cpp.o CMakeFiles/hybrid-sog.dir/TransSylvan.cpp.o CMakeFiles/hybrid-sog.dir/sylvan_sog.c.o CMakeFiles/hybrid-sog.dir/SpotSogState.cpp.o CMakeFiles/hybrid-sog.dir/SpotSogIterator.cpp.o CMakeFiles/hybrid-sog.dir/SogTwa.cpp.o CMakeFiles/hybrid-sog.dir/SogKripkeState.cpp.o CMakeFiles/hybrid-sog.dir/SogKripkeIterator.cpp.o CMakeFiles/hybrid-sog.dir/SogKripke.cpp.o CMakeFiles/hybrid-sog.dir/ModelCheckLace.cpp.o CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.o CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.o CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.o CMakeFiles/hybrid-sog.dir/SogKripkeTh.cpp.o CMakeFiles/hybrid-sog.dir/SogKripkeStateTh.cpp.o CMakeFiles/hybrid-sog.dir/SogKripkeIteratorTh.cpp.o CMakeFiles/hybrid-sog.dir/ModelCheckerTh.cpp.o -o hybrid-sog -Wl,-rpath,/usr/lib/x86_64-linux-gnu/openmpi/lib /usr/lib/x86_64-linux-gnu/libbddx.so /usr/lib/x86_64-linux-gnu/libspot.so ../third-party/sylvan/libsylvan.a ../libraries/parser/src/libRdP.a /usr/lib/x86_64-linux-gnu/openmpi/lib/libmpi_cxx.so /usr/lib/x86_64-linux-gnu/openmpi/lib/libmpi.so /usr/lib/x86_64-linux-gnu/libssl.so /usr/lib/x86_64-linux-gnu/libcrypto.so -lpthread -lgmp -lrt
+/usr/bin/c++ -fpermissive -g CMakeFiles/hybrid-sog.dir/main.cpp.o CMakeFiles/hybrid-sog.dir/NewNet.cpp.o CMakeFiles/hybrid-sog.dir/CommonSOG.cpp.o CMakeFiles/hybrid-sog.dir/DistributedSOG.cpp.o CMakeFiles/hybrid-sog.dir/HybridSOG.cpp.o CMakeFiles/hybrid-sog.dir/threadSOG.cpp.o CMakeFiles/hybrid-sog.dir/LDDGraph.cpp.o CMakeFiles/hybrid-sog.dir/LDDState.cpp.o CMakeFiles/hybrid-sog.dir/TransSylvan.cpp.o CMakeFiles/hybrid-sog.dir/sylvan_sog.c.o CMakeFiles/hybrid-sog.dir/SpotSogState.cpp.o CMakeFiles/hybrid-sog.dir/SpotSogIterator.cpp.o CMakeFiles/hybrid-sog.dir/SogTwa.cpp.o CMakeFiles/hybrid-sog.dir/SogKripkeState.cpp.o CMakeFiles/hybrid-sog.dir/SogKripkeIterator.cpp.o CMakeFiles/hybrid-sog.dir/SogKripke.cpp.o CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.o CMakeFiles/hybrid-sog.dir/ModelCheckLace.cpp.o CMakeFiles/hybrid-sog.dir/SogKripkeTh.cpp.o CMakeFiles/hybrid-sog.dir/SogKripkeStateTh.cpp.o CMakeFiles/hybrid-sog.dir/SogKripkeIteratorTh.cpp.o CMakeFiles/hybrid-sog.dir/ModelCheckerTh.cpp.o -o hybrid-sog -Wl,-rpath,/usr/lib/x86_64-linux-gnu/openmpi/lib /usr/lib/x86_64-linux-gnu/libbddx.so /usr/lib/x86_64-linux-gnu/libspot.so ../third-party/sylvan/libsylvan.a ../libraries/parser/src/libRdP.a /usr/lib/x86_64-linux-gnu/openmpi/lib/libmpi_cxx.so /usr/lib/x86_64-linux-gnu/openmpi/lib/libmpi.so /usr/lib/x86_64-linux-gnu/libssl.so /usr/lib/x86_64-linux-gnu/libcrypto.so -lpthread -lgmp -lrt
diff --git a/src/CMakeFiles/hybrid-sog.dir/progress.make b/src/CMakeFiles/hybrid-sog.dir/progress.make
index 3da44f8423c3a9000a3c1ba154271f0070437f40..8fe1b037d5272f1503c78c9317b77c76bca611f1 100644
--- a/src/CMakeFiles/hybrid-sog.dir/progress.make
+++ b/src/CMakeFiles/hybrid-sog.dir/progress.make
@@ -21,6 +21,4 @@ CMAKE_PROGRESS_20 = 28
CMAKE_PROGRESS_21 = 29
CMAKE_PROGRESS_22 = 30
CMAKE_PROGRESS_23 = 31
-CMAKE_PROGRESS_24 = 32
-CMAKE_PROGRESS_25 = 33
diff --git a/src/CMakeFiles/progress.marks b/src/CMakeFiles/progress.marks
index abac1ea7b759d8258c9ad9e5b450f782aaa33374..ea90ee31980757b2e469741512bcb39e73494e78 100644
--- a/src/CMakeFiles/progress.marks
+++ b/src/CMakeFiles/progress.marks
@@ -1 +1 @@
-47
+45
diff --git a/src/Makefile b/src/Makefile
index edf072fb9bf441d75024c674ed419b87e6a37b9d..6fa44118d15119055e824252bfa20aaa58b5ba2d 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -69,8 +69,8 @@ rebuild_cache/fast: rebuild_cache
# Special rule for the target edit_cache
edit_cache:
- @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "No interactive CMake dialog available..."
- /usr/bin/cmake -E echo No\ interactive\ CMake\ dialog\ available.
+ @$(CMAKE_COMMAND) -E cmake_echo_color --switch=$(COLOR) --cyan "Running CMake cache editor..."
+ /usr/bin/cmake-gui -S$(CMAKE_SOURCE_DIR) -B$(CMAKE_BINARY_DIR)
.PHONY : edit_cache
# Special rule for the target edit_cache
@@ -260,6 +260,33 @@ LDDState.cpp.s:
cd /home/chiheb/ProjectCPP/mc-sog && $(MAKE) -f src/CMakeFiles/hybrid-sog.dir/build.make src/CMakeFiles/hybrid-sog.dir/LDDState.cpp.s
.PHONY : LDDState.cpp.s
+ModelCheckBaseMT.o: ModelCheckBaseMT.cpp.o
+
+.PHONY : ModelCheckBaseMT.o
+
+# target to build an object file
+ModelCheckBaseMT.cpp.o:
+ cd /home/chiheb/ProjectCPP/mc-sog && $(MAKE) -f src/CMakeFiles/hybrid-sog.dir/build.make src/CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.o
+.PHONY : ModelCheckBaseMT.cpp.o
+
+ModelCheckBaseMT.i: ModelCheckBaseMT.cpp.i
+
+.PHONY : ModelCheckBaseMT.i
+
+# target to preprocess a source file
+ModelCheckBaseMT.cpp.i:
+ cd /home/chiheb/ProjectCPP/mc-sog && $(MAKE) -f src/CMakeFiles/hybrid-sog.dir/build.make src/CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.i
+.PHONY : ModelCheckBaseMT.cpp.i
+
+ModelCheckBaseMT.s: ModelCheckBaseMT.cpp.s
+
+.PHONY : ModelCheckBaseMT.s
+
+# target to generate assembly for a file
+ModelCheckBaseMT.cpp.s:
+ cd /home/chiheb/ProjectCPP/mc-sog && $(MAKE) -f src/CMakeFiles/hybrid-sog.dir/build.make src/CMakeFiles/hybrid-sog.dir/ModelCheckBaseMT.cpp.s
+.PHONY : ModelCheckBaseMT.cpp.s
+
ModelCheckLace.o: ModelCheckLace.cpp.o
.PHONY : ModelCheckLace.o
@@ -395,33 +422,6 @@ SogKripkeIterator.cpp.s:
cd /home/chiheb/ProjectCPP/mc-sog && $(MAKE) -f src/CMakeFiles/hybrid-sog.dir/build.make src/CMakeFiles/hybrid-sog.dir/SogKripkeIterator.cpp.s
.PHONY : SogKripkeIterator.cpp.s
-SogKripkeIteratorOTF.o: SogKripkeIteratorOTF.cpp.o
-
-.PHONY : SogKripkeIteratorOTF.o
-
-# target to build an object file
-SogKripkeIteratorOTF.cpp.o:
- cd /home/chiheb/ProjectCPP/mc-sog && $(MAKE) -f src/CMakeFiles/hybrid-sog.dir/build.make src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.o
-.PHONY : SogKripkeIteratorOTF.cpp.o
-
-SogKripkeIteratorOTF.i: SogKripkeIteratorOTF.cpp.i
-
-.PHONY : SogKripkeIteratorOTF.i
-
-# target to preprocess a source file
-SogKripkeIteratorOTF.cpp.i:
- cd /home/chiheb/ProjectCPP/mc-sog && $(MAKE) -f src/CMakeFiles/hybrid-sog.dir/build.make src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.i
-.PHONY : SogKripkeIteratorOTF.cpp.i
-
-SogKripkeIteratorOTF.s: SogKripkeIteratorOTF.cpp.s
-
-.PHONY : SogKripkeIteratorOTF.s
-
-# target to generate assembly for a file
-SogKripkeIteratorOTF.cpp.s:
- cd /home/chiheb/ProjectCPP/mc-sog && $(MAKE) -f src/CMakeFiles/hybrid-sog.dir/build.make src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorOTF.cpp.s
-.PHONY : SogKripkeIteratorOTF.cpp.s
-
SogKripkeIteratorTh.o: SogKripkeIteratorTh.cpp.o
.PHONY : SogKripkeIteratorTh.o
@@ -449,33 +449,6 @@ SogKripkeIteratorTh.cpp.s:
cd /home/chiheb/ProjectCPP/mc-sog && $(MAKE) -f src/CMakeFiles/hybrid-sog.dir/build.make src/CMakeFiles/hybrid-sog.dir/SogKripkeIteratorTh.cpp.s
.PHONY : SogKripkeIteratorTh.cpp.s
-SogKripkeOTF.o: SogKripkeOTF.cpp.o
-
-.PHONY : SogKripkeOTF.o
-
-# target to build an object file
-SogKripkeOTF.cpp.o:
- cd /home/chiheb/ProjectCPP/mc-sog && $(MAKE) -f src/CMakeFiles/hybrid-sog.dir/build.make src/CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.o
-.PHONY : SogKripkeOTF.cpp.o
-
-SogKripkeOTF.i: SogKripkeOTF.cpp.i
-
-.PHONY : SogKripkeOTF.i
-
-# target to preprocess a source file
-SogKripkeOTF.cpp.i:
- cd /home/chiheb/ProjectCPP/mc-sog && $(MAKE) -f src/CMakeFiles/hybrid-sog.dir/build.make src/CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.i
-.PHONY : SogKripkeOTF.cpp.i
-
-SogKripkeOTF.s: SogKripkeOTF.cpp.s
-
-.PHONY : SogKripkeOTF.s
-
-# target to generate assembly for a file
-SogKripkeOTF.cpp.s:
- cd /home/chiheb/ProjectCPP/mc-sog && $(MAKE) -f src/CMakeFiles/hybrid-sog.dir/build.make src/CMakeFiles/hybrid-sog.dir/SogKripkeOTF.cpp.s
-.PHONY : SogKripkeOTF.cpp.s
-
SogKripkeState.o: SogKripkeState.cpp.o
.PHONY : SogKripkeState.o
@@ -503,33 +476,6 @@ SogKripkeState.cpp.s:
cd /home/chiheb/ProjectCPP/mc-sog && $(MAKE) -f src/CMakeFiles/hybrid-sog.dir/build.make src/CMakeFiles/hybrid-sog.dir/SogKripkeState.cpp.s
.PHONY : SogKripkeState.cpp.s
-SogKripkeStateOTF.o: SogKripkeStateOTF.cpp.o
-
-.PHONY : SogKripkeStateOTF.o
-
-# target to build an object file
-SogKripkeStateOTF.cpp.o:
- cd /home/chiheb/ProjectCPP/mc-sog && $(MAKE) -f src/CMakeFiles/hybrid-sog.dir/build.make src/CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.o
-.PHONY : SogKripkeStateOTF.cpp.o
-
-SogKripkeStateOTF.i: SogKripkeStateOTF.cpp.i
-
-.PHONY : SogKripkeStateOTF.i
-
-# target to preprocess a source file
-SogKripkeStateOTF.cpp.i:
- cd /home/chiheb/ProjectCPP/mc-sog && $(MAKE) -f src/CMakeFiles/hybrid-sog.dir/build.make src/CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.i
-.PHONY : SogKripkeStateOTF.cpp.i
-
-SogKripkeStateOTF.s: SogKripkeStateOTF.cpp.s
-
-.PHONY : SogKripkeStateOTF.s
-
-# target to generate assembly for a file
-SogKripkeStateOTF.cpp.s:
- cd /home/chiheb/ProjectCPP/mc-sog && $(MAKE) -f src/CMakeFiles/hybrid-sog.dir/build.make src/CMakeFiles/hybrid-sog.dir/SogKripkeStateOTF.cpp.s
-.PHONY : SogKripkeStateOTF.cpp.s
-
SogKripkeStateTh.o: SogKripkeStateTh.cpp.o
.PHONY : SogKripkeStateTh.o
@@ -797,6 +743,9 @@ help:
@echo "... LDDState.o"
@echo "... LDDState.i"
@echo "... LDDState.s"
+ @echo "... ModelCheckBaseMT.o"
+ @echo "... ModelCheckBaseMT.i"
+ @echo "... ModelCheckBaseMT.s"
@echo "... ModelCheckLace.o"
@echo "... ModelCheckLace.i"
@echo "... ModelCheckLace.s"
@@ -812,21 +761,12 @@ help:
@echo "... SogKripkeIterator.o"
@echo "... SogKripkeIterator.i"
@echo "... SogKripkeIterator.s"
- @echo "... SogKripkeIteratorOTF.o"
- @echo "... SogKripkeIteratorOTF.i"
- @echo "... SogKripkeIteratorOTF.s"
@echo "... SogKripkeIteratorTh.o"
@echo "... SogKripkeIteratorTh.i"
@echo "... SogKripkeIteratorTh.s"
- @echo "... SogKripkeOTF.o"
- @echo "... SogKripkeOTF.i"
- @echo "... SogKripkeOTF.s"
@echo "... SogKripkeState.o"
@echo "... SogKripkeState.i"
@echo "... SogKripkeState.s"
- @echo "... SogKripkeStateOTF.o"
- @echo "... SogKripkeStateOTF.i"
- @echo "... SogKripkeStateOTF.s"
@echo "... SogKripkeStateTh.o"
@echo "... SogKripkeStateTh.i"
@echo "... SogKripkeStateTh.s"
diff --git a/src/cmake_install.cmake b/src/cmake_install.cmake
index 43fec582aa5e44ae76ecabf452b9215a000f03f0..ca1e8c8b878f5e81f5dfd6b4408415bd92c59804 100644
--- a/src/cmake_install.cmake
+++ b/src/cmake_install.cmake
@@ -12,7 +12,7 @@ if(NOT DEFINED CMAKE_INSTALL_CONFIG_NAME)
string(REGEX REPLACE "^[^A-Za-z0-9_]+" ""
CMAKE_INSTALL_CONFIG_NAME "${BUILD_TYPE}")
else()
- set(CMAKE_INSTALL_CONFIG_NAME "")
+ set(CMAKE_INSTALL_CONFIG_NAME "Debug")
endif()
message(STATUS "Install configuration: \"${CMAKE_INSTALL_CONFIG_NAME}\"")
endif()
diff --git a/src/main.cpp b/src/main.cpp
index 178e8e7abb7188c2eb74bfa555e6b889bcc0f0f8..eafa3f9e44c1ef8c262dc912affe8173fae1e1fe 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -303,15 +303,19 @@ int main(int argc, char** argv)
{
if(nb_th>1)
{
- cout<<"**************Hybrid version**************** \n" <<endl;
+ if (task_id==0) cout<<"**************Hybrid version**************** \n" <<endl;
if (strcmp(argv[1],"otf")) {
HybridSOG DR(R, bound);
LDDGraph g(&DR);
- cout<<"Building the Distributed SOG"<<endl;
+ if (task_id==0) cout<<"Building the Distributed SOG by "<<n_tasks<<" processes..."<<endl;
DR.computeDSOG(g);
}
else {
- cout<<"Model checking on the fly..."<<endl;
+ if (task_id==0) {
+ cout<<"Model checking on the fly..."<<endl;
+ cout<<" One process will perform Model checking"<<endl;
+ cout<<n_tasks-1<<" process will build the Distributed SOG"<<endl;
+ }
}
}