From 04acbf32fe916668f286b93ad8997adc238f7efa Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Mon, 27 May 2019 22:58:53 +0100
Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?=
=?UTF-8?q?=20src/SogKripkeStateOTF.cpp=20=09modifi=C3=A9=C2=A0:=20=20=20?=
=?UTF-8?q?=20=20=20=20=20=20src/SogKripkeStateOTF.h?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/SogKripkeStateOTF.cpp | 20 --------------------
src/SogKripkeStateOTF.h | 25 ++++++++++++++++++++-----
2 files changed, 20 insertions(+), 25 deletions(-)
diff --git a/src/SogKripkeStateOTF.cpp b/src/SogKripkeStateOTF.cpp
index 5c34da8..8c828f2 100644
--- a/src/SogKripkeStateOTF.cpp
+++ b/src/SogKripkeStateOTF.cpp
@@ -8,23 +8,3 @@ SogKripkeStateOTF::~SogKripkeStateOTF()
//dtor
}
-SogKripkeStateOTF* SogKripkeStateOTF::clone() const
-{
- return new SogKripkeStateOTF(*this);
-}
-
-size_t SogKripkeStateOTF::hash() const
-{
- return m_state->getLDDValue();
-}
-
-int SogKripkeStateOTF::compare(const spot::state* other) const
-{
- auto o = static_cast<const SogKripkeStateOTF*>(other);
- size_t oh = o->hash();
- size_t h = hash();
- if (h < oh)
- return -1;
- else
- return h > oh;
-}
diff --git a/src/SogKripkeStateOTF.h b/src/SogKripkeStateOTF.h
index 0e41359..7296c12 100644
--- a/src/SogKripkeStateOTF.h
+++ b/src/SogKripkeStateOTF.h
@@ -10,15 +10,30 @@ public:
SogKripkeStateOTF(LDDState *st):m_state(st) {};
virtual ~SogKripkeStateOTF();
- SogKripkeStateOTF* clone() const override;
- size_t hash() const override;
-
- int compare(const spot::state* other) const override;
+ SogKripkeStateOTF* clone() const override
+ {
+ return new SogKripkeStateOTF(m_state);
+ }
+ size_t hash() const override
+ {
+ return m_state->getLDDValue();
+ }
- LDDState* getLDDState()
+ int compare(const spot::state* other) const override
{
+ auto o = static_cast<const SogKripkeStateOTF*>(other);
+ size_t oh = o->hash();
+ size_t h = hash();
+ if (h < oh)
+ return -1;
+ else
+ return h > oh;
+ }
+ LDDState* getLDDState() {
return m_state;
}
+protected:
+
private:
LDDState *m_state;
};
--
GitLab