From 60bf156f1c128dadb05c5afcfb84dc80f1848a82 Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Fri, 10 Apr 2020 00:40:09 +0100
Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?=
=?UTF-8?q?=20src/ModelCheckerTh.cpp?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/ModelCheckerTh.cpp | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/src/ModelCheckerTh.cpp b/src/ModelCheckerTh.cpp
index 340c0d9..1e18a9e 100644
--- a/src/ModelCheckerTh.cpp
+++ b/src/ModelCheckerTh.cpp
@@ -129,8 +129,8 @@ void* ModelCheckerTh::Compute_successors() {
fire = firable_obs(Complete_meta_state);
c->m_lddstate = Complete_meta_state;
- //c->setDeadLock(Set_Bloc(Complete_meta_state));
- //c->setDiv(Set_Div(Complete_meta_state));
+ c->setDeadLock(Set_Bloc(Complete_meta_state));
+ c->setDiv(Set_Div(Complete_meta_state));
m_st[0].push(Pair(couple(c, Complete_meta_state), fire));
m_graph->setInitialState(c);
m_graph->insert(c);
@@ -181,14 +181,15 @@ void* ModelCheckerTh::Compute_successors() {
LDDState *pos = m_graph->find(reached_class);
if (!pos) {
// cout<<"not found"<<endl;
- //reached_class->blocage=Set_Bloc(Complete_meta_state);
- //reached_class->boucle=Set_Div(Complete_meta_state);
+
m_graph->addArc();
m_graph->insert(reached_class);
//reached_class->setDiv(Set_Div(reduced_meta));
//reached_class->setDeadLock(Set_Bloc(reduced_meta));
pthread_mutex_unlock(&m_graph_mutex);
+ reached_class->setDeadLock(Set_Bloc(reduced_meta));
+ reached_class->setDiv(Set_Div(reduced_meta));
e.first.first->Successors.insert(e.first.first->Successors.begin(), LDDEdge(reached_class, t));
reached_class->Predecessors.insert(reached_class->Predecessors.begin(), LDDEdge(e.first.first, t));
//pthread_mutex_lock(&m_mutex);
--
GitLab