diff --git a/src/ModelCheckLace.cpp b/src/ModelCheckLace.cpp index 01b157e0be74b2cd9503a18b8a3737e6c2307373..000280670863a399d44054b2caa7e8dcefb776b9 100644 --- a/src/ModelCheckLace.cpp +++ b/src/ModelCheckLace.cpp @@ -51,19 +51,7 @@ void ModelCheckLace::preConfigure() { m_transitionName=m_net.transitionName; m_placeName=m_net.m_placePosName; - /* cout<<"Toutes les Transitions:"<<endl; - map<string,int>::iterator it2=m_transitionName.begin(); - for (; it2!=m_transitionName.end(); it2++) - { - cout<<(*it2).first<<" : "<<(*it2).second<<endl; - }*/ - //cout<<"Transitions observables :"<<endl; - //Set::iterator it=m_observable.begin(); - /*for (; it!=m_observable.end(); it++) - { - cout<<*it<<" "; - } - cout<<endl;*/ + InterfaceTrans=m_net.InterfaceTrans; cout<<"Nombre de places : "<<m_nbPlaces<<endl; @@ -151,8 +139,7 @@ TASK_3 (MDD, Aggregate_epsilon_lace, MDD, From, Set*, nonObservable, vector<Tran M2=lddmc_union(succ,M2); lddmc_refs_pop(3); } - cout<<"M1 :"<<M1<<endl; - cout<<"M2 :"<<M2<<endl; + } while (M1!=M2); @@ -220,7 +207,7 @@ LDDState * ModelCheckLace::getInitialMetaState() LDDState *reached_class; LACE_ME; MDD initial_meta_state(CALL(Aggregate_epsilon_lace,m_initialMarking,&m_nonObservable,&m_tb_relation)); - cout<<"Yep..."<<endl; + lddmc_refs_push(initial_meta_state); Set fire=fire_obs_lace(initial_meta_state,&m_observable,&m_tb_relation); diff --git a/src/main.cpp b/src/main.cpp index b5febdde3b22b22f17f847a9b86cb7b7bdb5005f..52b5b3b3a19536f00d694dbc1619e30999e02667 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -203,8 +203,7 @@ int main(int argc, char** argv) << std::chrono::duration_cast<std::chrono::milliseconds>(t2-t1).count() << " milliseconds\n"; } - //cin>>c; - //mcl->getGraph()->printCompleteInformation(); + delete mcl; }