modifié :         src/ModelCheckLace.h
	modifié :         src/sylvan_sog.c

	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/sylvan_sog.c

	modifié :         src/HybridKripke.cpp
	modifié :         src/HybridKripkeIterator.cpp
	modifié :         src/HybridKripkeState.h
	modifié :         src/MCHybridSOG.cpp
	modifié :         src/main.cpp

	modifié :         src/HybridKripkeIterator.cpp
	modifié :         src/HybridKripkeIterator.h
	modifié :         src/HybridKripkeState.h
	modifié :         src/HybridSOG.cpp
	modifié :         src/MCHybridSOG.cpp
	modifié :         src/main.cpp

	modifié :         src/HybridKripke.cpp
	modifié :         src/HybridKripkeIterator.cpp
	modifié :         src/HybridKripkeIterator.h
	modifié :         src/HybridKripkeState.cpp
	modifié :         src/HybridKripkeState.h
	modifié :         src/LDDGraph.cpp
	modifié :         src/LDDGraph.h
	modifié :         src/LDDState.cpp
	modifié :         src/LDDState.h
	modifié :         src/MCHybridSOG.cpp
	modifié :         src/MCHybridSOG.h
	modifié :         src/NewNet.cpp
	modifié :         src/NewNet.h
	modifié :         src/SogKripke.cpp
	modifié :         src/SogKripkeTh.cpp
	modifié :         src/main.cpp
	modifié :         src/threadSOG.cpp

	modifié :         src/HybridKripke.cpp
	modifié :         src/HybridKripke.h
	modifié :         src/HybridKripkeIterator.cpp
	modifié :         src/HybridKripkeIterator.h
	modifié :         src/HybridKripkeState.cpp
	modifié :         src/HybridKripkeState.h
	modifié :         src/LDDGraph.cpp
	modifié :         src/LDDGraph.h
	modifié :         src/LDDState.h
	modifié :         src/MCHybridSOG.cpp
	modifié :         src/MCHybridSOG.h
	modifié :         src/NewNet.h
	modifié :         src/main.cpp

	modifié :         src/HybridKripke.cpp
	modifié :         src/HybridKripkeIterator.cpp
	modifié :         src/HybridKripkeIterator.h
	modifié :         src/HybridKripkeState.h
	modifié :         src/MCHybridSOG.cpp

	modifié :         src/HybridKripkeState.h
	modifié :         src/MCHybridSOG.cpp
	modifié :         src/main.cpp

	modifié :         src/HybridKripke.h
	modifié :         src/HybridKripkeIterator.cpp
	modifié :         src/HybridKripkeState.h
	modifié :         src/MCHybridSOG.cpp
	modifié :         src/MCHybridSOG.h
	modifié :         src/main.cpp

	modifié :         src/MCHybridSOG.cpp
	modifié :         src/MCHybridSOG.h
	modifié :         src/main.cpp

	modifié :         src/HybridKripke.cpp
	modifié :         src/HybridKripke.h
	modifié :         src/HybridKripkeIterator.cpp
	modifié :         src/HybridKripkeIterator.h
	modifié :         src/HybridKripkeState.cpp
	modifié :         src/HybridKripkeState.h

	nouveau fichier : src/HybridKripke.h
	nouveau fichier : src/HybridKripkeIterator.cpp
	nouveau fichier : src/HybridKripkeIterator.h
	nouveau fichier : src/HybridKripkeState.cpp
	nouveau fichier : src/HybridKripkeState.h

	nouveau fichier : src/MCHybridSOG.cpp
	nouveau fichier : src/MCHybridSOG.h

	modifié :         src/ModelCheckLace.h
	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/SogKripkeIteratorTh.cpp
	modifié :         src/SogKripkeIteratorTh.h
	modifié :         src/SogKripkeStateTh.cpp
	modifié :         src/SogKripkeStateTh.h
	modifié :         src/SogKripkeTh.cpp
	modifié :         src/SogKripkeTh.h
	modifié :         src/main.cpp

	modifié :         src/ModelCheckLace.cpp
	modifié :         src/ModelCheckLace.h
	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/ModelCheckerTh.h
	modifié :         src/SogKripkeIteratorTh.cpp
	modifié :         src/SogKripkeTh.cpp
	modifié :         src/main.cpp

	modifié :         src/main.cpp

	modifié :         src/ModelCheckBaseMT.h
	modifié :         src/ModelCheckLace.cpp
	modifié :         src/ModelCheckLace.h
	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/ModelCheckerTh.h
	modifié :         src/SogKripkeTh.cpp

	modifié :         src/threadSOG.cpp

	modifié :         src/SogKripkeIteratorTh.h
	modifié :         src/SogKripkeTh.cpp

	supprimé :        src/SogKripkeIteratorOTF.cpp
	supprimé :        src/SogKripkeIteratorOTF.h
	supprimé :        src/SogKripkeOTF.cpp
	supprimé :        src/SogKripkeOTF.h
	supprimé :        src/SogKripkeStateOTF.cpp
	supprimé :        src/SogKripkeStateOTF.h
	modifié :         src/main.cpp

	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/main.cpp

	modifié :         src/ModelCheckBaseMT.h
	modifié :         src/ModelCheckerTh.cpp
	modifié :         src/main.cpp

	modifié :         src/ModelCheckerTh.cpp

	modifié :         src/SogKripkeIteratorTh.cpp
	modifié :         src/SogKripkeIteratorTh.h
	modifié :         src/SogKripkeTh.cpp
	modifié :         src/SogKripkeTh.h
	modifié :         src/main.cpp