model checking project

CMakeLists.txt

README.md

src/CMakeLists.txt

src/Class_of_state.h

src/DistributedSOG.cpp

src/DistributedSOG.h

src/HybridSOG.cpp

src/HybridSOG.h

src/LDDGraph.cpp

src/LDDGraph.h

src/LDDState.cpp

src/LDDState.h

src/LDDStateExtend.cpp

src/LDDStateExtend.h

src/MDGraph.cpp

src/MDGraph.h

src/Modular_Class_of_state.h

src/Modular_Edge.h

src/Modular_Obs_Graph.cpp

src/Modular_Obs_Graph.h