Refactor for better performance

CMakeLists.txt

src/CommonSOG.cpp

src/CommonSOG.h

src/Hybrid/HybridKripke.cpp

src/Hybrid/HybridKripkeState.h

src/Hybrid/MCHybridPOR/MCHybridSOGPOR.cpp

src/Hybrid/MCHybridReq/MCHybridSOGReq.cpp

src/HybridSOG.cpp

src/HybridSOG.h

src/LDDGraph.cpp

src/MCMultiCore/MCCPPThPor.cpp

src/MCMultiCore/MCCPPThPor.h

src/MCMultiCore/MCThReqPor.cpp

src/MCMultiCore/MCThReqPor.h

src/MCMultiCore/ModelCheckThReq.cpp

src/MCMultiCore/ModelCheckThReq.h

src/MCMultiCore/ModelCheckerCPPThread.cpp

src/MCMultiCore/ModelCheckerCPPThread.h

src/MCMultiCore/ModelCheckerTh.cpp

src/MCMultiCore/ModelCheckerTh.h