modifié : src/SogKripkeOTF.cpp

	modifié :         src/SogKripkeStateOTF.cpp
	modifié :         src/SogKripkeStateOTF.h

src/SogKripkeOTF.cpp

@@ -13,6 +13,7 @@ using namespace spot;
 SogKripkeOTF::SogKripkeOTF(const bdd_dict_ptr &dict_ptr,ModelCheckLace *builder): spot::kripke(dict_ptr),m_builder(builder)
 {
     SogKripkeIteratorOTF::m_builder=builder;
+    SogKripkeStateOTF::m_builder=builder;
     SogKripkeIteratorOTF::m_dict_ptr=&dict_ptr;
 }
 

src/SogKripkeStateOTF.cpp

@@ -8,3 +8,4 @@ SogKripkeStateOTF::~SogKripkeStateOTF()
     //dtor
 }
 
+static ModelCheckLace * SogKripkeStateOTF::m_builder;

src/SogKripkeStateOTF.h

@@ -3,11 +3,15 @@
 
 
 #include "LDDState.h"
+#include "ModelCheckLace.h"
 
 class SogKripkeStateOTF : public spot::state
 {
 public:
-    SogKripkeStateOTF(LDDState *st):m_state(st) {};
+    static ModelCheckLace * m_builder;
+    SogKripkeStateOTF(LDDState *st):m_state(st) {
+            m_builder->buildSucc(st);
+    };
     virtual ~SogKripkeStateOTF();
 
     SogKripkeStateOTF* clone() const override