From 1859c281d4c07c20b60b366b56e2c05f5eeed72e Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Mon, 27 May 2019 23:56: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 | 13 +++++--------
1 file changed, 5 insertions(+), 8 deletions(-)
diff --git a/src/ModelCheckLace.cpp b/src/ModelCheckLace.cpp
index 69d802d..a66b767 100644
--- a/src/ModelCheckLace.cpp
+++ b/src/ModelCheckLace.cpp
@@ -107,25 +107,22 @@ ModelCheckLace::ModelCheckLace(const NewNet &R, int BOUND,int nbThread)
ldd_refs_push(_plus);
m_tb_relation.push_back(TransSylvan(_minus,_plus));
}
-
- // sylvan_gc_seq();
-
-
delete [] prec;
delete [] postc;
+ m_graph=new LDDGraph(this);
+ m_graph->setTransition(m_transitionName);
+ m_graph->setPlace(m_placeName);
}
string ModelCheckLace::getTransition(int pos)
{
- string temp;
- return temp;
+ m_graph->getTransition(pos);
}
string ModelCheckLace::getPlace(int pos)
{
- string temp;
- return temp;
+ m_graph->getPlace(pos);
}
TASK_3 (MDD, Aggregate_epsilon_lace, MDD, From, Set*, nonObservable, vector<TransSylvan>*, tb_relation)
--
GitLab