From 00a733f80b6f586037193c7219c09459db330eee Mon Sep 17 00:00:00 2001 From: abid <chiheb.abid@gmail.com> Date: Mon, 27 May 2019 01:00:28 +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 | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/ModelCheckLace.cpp b/src/ModelCheckLace.cpp index 69f72f8..7234338 100644 --- a/src/ModelCheckLace.cpp +++ b/src/ModelCheckLace.cpp @@ -125,3 +125,13 @@ string ModelCheckLace::getPlace(int pos) { string temp; return temp; } + +LDDState * ModelCheckLace::buildInitialMetaState() { + LDDState *c=new LDDState; + LACE_ME; + MDD initial_meta_state(CALL(Accessible_epsilon_lace,m_initalMarking,&m_nonObservable,&m_tb_relation)); + fire=firable_obs_lace(initial_meta_state,&m_observable,&m_tb_relation); + m_nbmetastate++; + c->m_lddstate=CALL(lddmc_canonize,initial_meta_state,0,*this); + return c; +} -- GitLab