From 2fef92e0d0e223f3bc6ecaf8765f54f2bd8efd64 Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Mon, 17 Feb 2020 08:09:46 +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?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/ModelCheckLace.cpp | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/ModelCheckLace.cpp b/src/ModelCheckLace.cpp
index 0002806..e9d174b 100644
--- a/src/ModelCheckLace.cpp
+++ b/src/ModelCheckLace.cpp
@@ -173,7 +173,7 @@ TASK_3 (bool, SetDivL, MDD, M, Set*, nonObservable, vector<TransSylvan>*, tb_rel
if (nonObservable->empty()) return false;
Set::iterator i;
MDD Reached,From;
- //cout<<"Ici detect divergence \n";
+
Reached=lddmc_false;
From=M;
do
@@ -256,15 +256,15 @@ LDDState * ModelCheckLace::getInitialMetaState()
void ModelCheckLace::buildSucc(LDDState *agregate)
{
- cout<<__func__<<endl;
+ //cout<<__func__<<endl;
if (!agregate->isVisited()) {
// It's first time to visit agregate, then we have to build its successors
agregate->setVisited();
LDDState *reached_class=nullptr;
LACE_ME;
- displayMDDTableInfo();
+ //displayMDDTableInfo();
sylvan_gc();
- displayMDDTableInfo();
+ //displayMDDTableInfo();
MDD meta_state=agregate->getLDDValue();//(CALL(Aggregate_epsilon_lace,agregate->getLDDValue(),&m_nonObservable,&m_tb_relation));
Set fire=fire_obs_lace(meta_state,&m_observable,&m_tb_relation);
--
GitLab