From 0820d57a37e12b8bcace10a02caf76b8ea4eca5a Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Wed, 29 May 2019 11:27:00 +0100
Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?=
=?UTF-8?q?=20src/LDDGraph.cpp=20=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20?=
=?UTF-8?q?=20=20=20src/LDDState.cpp=20=09modifi=C3=A9=C2=A0:=20=20=20=20?=
=?UTF-8?q?=20=20=20=20=20src/SogKripkeIteratorOTF.cpp=20=09modifi=C3=A9?=
=?UTF-8?q?=C2=A0:=20=20=20=20=20=20=20=20=20src/SogKripkeOTF.cpp?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/LDDGraph.cpp | 2 +-
src/LDDState.cpp | 5 ++---
src/SogKripkeIteratorOTF.cpp | 7 +++----
src/SogKripkeOTF.cpp | 6 +++---
4 files changed, 9 insertions(+), 11 deletions(-)
diff --git a/src/LDDGraph.cpp b/src/LDDGraph.cpp
index 1e989b3..4cb6537 100644
--- a/src/LDDGraph.cpp
+++ b/src/LDDGraph.cpp
@@ -186,7 +186,7 @@ LDDState *LDDGraph::getLDDStateById(unsigned int id) {
}
string LDDGraph::getTransition(int pos) {
- cout<<"********** Pos "<<pos<<endl;
+
map<string,int>::iterator it=m_transition->begin();
while(it != m_transition->end())
{
diff --git a/src/LDDState.cpp b/src/LDDState.cpp
index 3f2ed91..04cc36e 100644
--- a/src/LDDState.cpp
+++ b/src/LDDState.cpp
@@ -36,7 +36,6 @@ vector<pair<LDDState*, int>>* LDDState::getSuccessors() {
vector<int> LDDState::getMarkedPlaces(set<int>& lplacesAP) {
vector<int> result;
MDD mdd=m_lddstate;
-
int depth=0;
while (mdd>lddmc_true)
{
@@ -45,7 +44,7 @@ vector<int> LDDState::getMarkedPlaces(set<int>& lplacesAP) {
if (lplacesAP.find(depth)!=lplacesAP.end())
if (mddnode_getvalue(node)==1) {
result.push_back(depth);
- cout<<"depth "<<depth<<endl;
+
}
mdd=mddnode_getdown(node);
@@ -67,7 +66,7 @@ vector<int> LDDState::getUnmarkedPlaces(set<int>& lplacesAP) {
if (lplacesAP.find(depth)!=lplacesAP.end())
if (mddnode_getvalue(node)==0) {
result.push_back(depth);
- cout<<"depth "<<depth<<endl;
+
}
mdd=mddnode_getdown(node);
diff --git a/src/SogKripkeIteratorOTF.cpp b/src/SogKripkeIteratorOTF.cpp
index 3c2ba89..c0a9245 100644
--- a/src/SogKripkeIteratorOTF.cpp
+++ b/src/SogKripkeIteratorOTF.cpp
@@ -20,11 +20,10 @@ SogKripkeIteratorOTF::SogKripkeIteratorOTF(const LDDState* lddstate, bdd cnd):m_
}
bool SogKripkeIteratorOTF::first() {
- // m_sog->getLDDStateById(m_id)->Successors().
- //return m_sog->get_successor()
- cout<<"entering "<<__func__<<endl;
+
+ //cout<<"entering "<<__func__<<endl;
m_current_edge=0;
- cout<<"exciting "<<__func__<<endl;
+ //cout<<"exciting "<<__func__<<endl;
return m_lsucc.size()!=0;
}
diff --git a/src/SogKripkeOTF.cpp b/src/SogKripkeOTF.cpp
index 3bc8c85..f9b3451 100644
--- a/src/SogKripkeOTF.cpp
+++ b/src/SogKripkeOTF.cpp
@@ -36,16 +36,16 @@ state* SogKripkeOTF::get_init_state() const {
// Allows to print state label representing its id
std::string SogKripkeOTF::format_state(const spot::state* s) const
{
- cout<<__func__<<endl;
+ //cout<<__func__<<endl;
auto ss = static_cast<const SogKripkeStateOTF*>(s);
std::ostringstream out;
out << "( " << ss->getLDDState()->getLDDValue() << ")";
- cout << " ( " << ss->getLDDState()->getLDDValue() << ")";
+ // cout << " ( " << ss->getLDDState()->getLDDValue() << ")";
return out.str();
}
SogKripkeIteratorOTF* SogKripkeOTF::succ_iter(const spot::state* s) const {
- cout<<__func__<<endl;
+ // cout<<__func__<<endl;
auto ss = static_cast<const SogKripkeStateOTF*>(s);
//////////////////////////////////////////////
--
GitLab