From eaf6fd72d107b405bdef275d2f32cc55d7da7508 Mon Sep 17 00:00:00 2001 From: abid <chiheb.abid@gmail.com> Date: Wed, 1 May 2019 13:02:12 +0100 Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?= =?UTF-8?q?=20src/threadSOG.cpp?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/threadSOG.cpp | 11 +---------- 1 file changed, 1 insertion(+), 10 deletions(-) diff --git a/src/threadSOG.cpp b/src/threadSOG.cpp index 130d738..14e820a 100644 --- a/src/threadSOG.cpp +++ b/src/threadSOG.cpp @@ -221,8 +221,7 @@ void threadSOG::computeSeqSOG(LDDGraph &g) //sylvan_gc_seq(); reached_class->m_lddstate=Complete_meta_state; - if (is_marcked()) - reached_class->setMarked(); + // reached_class->m_lddstate=reduced_meta; LDDState* pos=g.find(reached_class); //nbnode=sylvan_pathcount(reached_class->m_lddstate); @@ -1057,12 +1056,4 @@ cout<<"\n=========================================\n"; } -bool LDDState::isMarked() { - for (set<string>::const_iterator i=m_place_proposition.begin();i!=m_place_proposition.end();i++) - { - if (i->marking>0) - return true; - } - return false; -} -- GitLab