src

libraries/parser

src/CMakeLists.txt

src/Class_of_state.h

src/DistributedSOG.cpp

src/DistributedSOG.h

src/LDDGraph.cpp

src/LDDGraph.h

src/LDDState.cpp

src/LDDState.h

src/ModelChecker.cpp

src/ModelChecker.h

src/SogTwa.cpp

src/SogTwa.h

src/SpotSogIterator.cpp

src/SpotSogIterator.h

src/SpotSogState.cpp

src/SpotSogState.h

src/main.cpp

src/threadSOG.cpp

src/threadSOG.h