From 16fc6375fe447ecbe7e3fae111b3be44b234bb90 Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Thu, 8 Oct 2020 22:15:15 +0100
Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?=
=?UTF-8?q?=20src/CommonSOG.cpp=20=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20?=
=?UTF-8?q?=20=20=20src/LDDState.cpp?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/CommonSOG.cpp | 6 +++---
src/LDDState.cpp | 17 -----------------
2 files changed, 3 insertions(+), 20 deletions(-)
diff --git a/src/CommonSOG.cpp b/src/CommonSOG.cpp
index 6ef5834..ab4d062 100644
--- a/src/CommonSOG.cpp
+++ b/src/CommonSOG.cpp
@@ -178,12 +178,12 @@ bool CommonSOG::Set_Div(MDD &M) const {
}
if (Reached == From) {
- MDD Reached_obs=lddmc_false;
+ /*MDD Reached_obs=lddmc_false;
for (i = m_observable.begin(); !(i == m_observable.end()) && (Reached_obs==lddmc_false); i++) {
Reached_obs= fireTransition(From, m_tb_relation[(*i)].getMinus(), m_tb_relation[(*i)].getPlus());
}
- if (Reached_obs==lddmc_false) return true;
- return false;
+ if (Reached_obs==lddmc_false) return true;*/
+ return true;
}
From = Reached;
} while (Reached != lddmc_false);
diff --git a/src/LDDState.cpp b/src/LDDState.cpp
index 0028e85..d48f621 100644
--- a/src/LDDState.cpp
+++ b/src/LDDState.cpp
@@ -58,23 +58,6 @@ vector<uint16_t> LDDState::getUnmarkedPlaces(set<uint16_t>& lplacesAP) {
}
}
return result;
- /*cout<<"Display begin"<<endl;
- for (auto & iter : lplacesAP)
- cout<<iter<<endl;
- cout<<"Display end"<<endl;*/
- /*uint16_t depth=0;
- while (mdd>lddmc_true)
- {
- //printf("mddd : %d \n",mdd);
- mddnode_t node=SylvanWrapper::GETNODE(mdd);
- if (lplacesAP.find(depth)!=lplacesAP.end())
- if (SylvanWrapper::mddnode_getvalue(node)==0) {
- result.push_back(depth);
- }
- mdd=SylvanWrapper::mddnode_getdown(node);
- depth++;
- }
- return result;*/
}
--
GitLab