modifié : src/CommonSOG.cpp

	modifié :         src/LDDState.cpp

src/CommonSOG.cpp

@@ -178,12 +178,12 @@ bool CommonSOG::Set_Div(MDD &M) const {
         }
 
         if (Reached == From) {
-            MDD Reached_obs=lddmc_false;
+            /*MDD Reached_obs=lddmc_false;
             for (i = m_observable.begin(); !(i == m_observable.end()) && (Reached_obs==lddmc_false); i++) {
                 Reached_obs= fireTransition(From, m_tb_relation[(*i)].getMinus(), m_tb_relation[(*i)].getPlus());
             }
-            if (Reached_obs==lddmc_false) return true;
-            return false;
+            if (Reached_obs==lddmc_false) return true;*/
+            return true;
         }
         From = Reached;
     } while (Reached != lddmc_false);

src/LDDState.cpp

@@ -58,23 +58,6 @@ vector<uint16_t> LDDState::getUnmarkedPlaces(set<uint16_t>& lplacesAP) {
         }
     }
     return result;
-    /*cout<<"Display begin"<<endl;
-    for (auto & iter : lplacesAP)
-        cout<<iter<<endl;
-    cout<<"Display end"<<endl;*/
-    /*uint16_t depth=0;
-    while (mdd>lddmc_true)
-    {
-        //printf("mddd : %d \n",mdd);
-        mddnode_t node=SylvanWrapper::GETNODE(mdd);
-        if (lplacesAP.find(depth)!=lplacesAP.end())
-        if (SylvanWrapper::mddnode_getvalue(node)==0) {
-            result.push_back(depth);
-        }
-        mdd=SylvanWrapper::mddnode_getdown(node);
-        depth++;
-    }
-    return result;*/
 }