From a1f0587574a9712ec7d8bd8bdfc458444745369f Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Mon, 17 Feb 2020 07:39:19 +0100
Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?=
=?UTF-8?q?=20src/ModelCheckLace.cpp=20=09modifi=C3=A9=C2=A0:=20=20=20=20?=
=?UTF-8?q?=20=20=20=20=20src/main.cpp?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/ModelCheckLace.cpp | 19 +++----------------
src/main.cpp | 3 +--
2 files changed, 4 insertions(+), 18 deletions(-)
diff --git a/src/ModelCheckLace.cpp b/src/ModelCheckLace.cpp
index 01b157e..0002806 100644
--- a/src/ModelCheckLace.cpp
+++ b/src/ModelCheckLace.cpp
@@ -51,19 +51,7 @@ void ModelCheckLace::preConfigure() {
m_transitionName=m_net.transitionName;
m_placeName=m_net.m_placePosName;
- /* cout<<"Toutes les Transitions:"<<endl;
- map<string,int>::iterator it2=m_transitionName.begin();
- for (; it2!=m_transitionName.end(); it2++)
- {
- cout<<(*it2).first<<" : "<<(*it2).second<<endl;
- }*/
- //cout<<"Transitions observables :"<<endl;
- //Set::iterator it=m_observable.begin();
- /*for (; it!=m_observable.end(); it++)
- {
- cout<<*it<<" ";
- }
- cout<<endl;*/
+
InterfaceTrans=m_net.InterfaceTrans;
cout<<"Nombre de places : "<<m_nbPlaces<<endl;
@@ -151,8 +139,7 @@ TASK_3 (MDD, Aggregate_epsilon_lace, MDD, From, Set*, nonObservable, vector<Tran
M2=lddmc_union(succ,M2);
lddmc_refs_pop(3);
}
- cout<<"M1 :"<<M1<<endl;
- cout<<"M2 :"<<M2<<endl;
+
}
while (M1!=M2);
@@ -220,7 +207,7 @@ LDDState * ModelCheckLace::getInitialMetaState()
LDDState *reached_class;
LACE_ME;
MDD initial_meta_state(CALL(Aggregate_epsilon_lace,m_initialMarking,&m_nonObservable,&m_tb_relation));
- cout<<"Yep..."<<endl;
+
lddmc_refs_push(initial_meta_state);
Set fire=fire_obs_lace(initial_meta_state,&m_observable,&m_tb_relation);
diff --git a/src/main.cpp b/src/main.cpp
index b5febdd..52b5b3b 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -203,8 +203,7 @@ int main(int argc, char** argv)
<< std::chrono::duration_cast<std::chrono::milliseconds>(t2-t1).count()
<< " milliseconds\n";
}
- //cin>>c;
- //mcl->getGraph()->printCompleteInformation();
+
delete mcl;
}
--
GitLab