From caba3f38f1ebcf647c362bc47b89e4f540dff6b2 Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Mon, 27 May 2019 23:05:24 +0100
Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?=
=?UTF-8?q?=20src/SogKripkeOTF.cpp=20=09modifi=C3=A9=C2=A0:=20=20=20=20=20?=
=?UTF-8?q?=20=20=20=20src/SogKripkeStateOTF.cpp=20=09modifi=C3=A9=C2=A0:?=
=?UTF-8?q?=20=20=20=20=20=20=20=20=20src/SogKripkeStateOTF.h?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/SogKripkeOTF.cpp | 1 +
src/SogKripkeStateOTF.cpp | 1 +
src/SogKripkeStateOTF.h | 6 +++++-
3 files changed, 7 insertions(+), 1 deletion(-)
diff --git a/src/SogKripkeOTF.cpp b/src/SogKripkeOTF.cpp
index 48584c6..61b6348 100644
--- a/src/SogKripkeOTF.cpp
+++ b/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;
}
diff --git a/src/SogKripkeStateOTF.cpp b/src/SogKripkeStateOTF.cpp
index 8c828f2..8bc377b 100644
--- a/src/SogKripkeStateOTF.cpp
+++ b/src/SogKripkeStateOTF.cpp
@@ -8,3 +8,4 @@ SogKripkeStateOTF::~SogKripkeStateOTF()
//dtor
}
+static ModelCheckLace * SogKripkeStateOTF::m_builder;
diff --git a/src/SogKripkeStateOTF.h b/src/SogKripkeStateOTF.h
index 7296c12..131787c 100644
--- a/src/SogKripkeStateOTF.h
+++ b/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
--
GitLab