From fffec31f7d81c77813cc1c99845e37cd2f0df2ce Mon Sep 17 00:00:00 2001 From: ouni <ouni@lipn.univ-paris13.fr> Date: Wed, 1 May 2019 13:56:17 +0200 Subject: [PATCH] src --- src/NewNet.cpp | 7 +++++-- src/NewNet.h | 2 ++ 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/src/NewNet.cpp b/src/NewNet.cpp index 7ba29cf..3b7664c 100644 --- a/src/NewNet.cpp +++ b/src/NewNet.cpp @@ -130,6 +130,7 @@ NewNet::NewNet(const char *f, const set<string> & f_trans) { for (unsigned int i = 0; i < transitions.size(); i++) Observable.insert(i); cout << "FIN CREATION \n"; } + /*---------------------------------Init Set of transitions * ------------------------------*/ void NewNet::setListObservable(const set<string> & list_t) { @@ -143,8 +144,10 @@ NewNet::NewNet(const char *f, const set<string> & f_trans) { map<string, int>::iterator pi = placeName.find(*i); if (pi!=placeName.end()) cout<<"Place was found!"<<endl; m_formula_place.insert(pi->second); - Observable.insert(pi->first->pre); - //Observable.insert(pi->post); + for (unsigned int i = 0; i < transitions.size(); i++) + if (Observable.find(i) == Observable.end()) { + NonObservable.insert(i); + } } else { Formula_Trans.insert(pos); diff --git a/src/NewNet.h b/src/NewNet.h index 5a75757..3f3e3f5 100644 --- a/src/NewNet.h +++ b/src/NewNet.h @@ -104,6 +104,8 @@ class NewNet : public RdPMonteur { /* Visualisation */ int nbPlace() const { return places.size(); }; int nbTransition() const { return transitions.size(); }; + + }; ostream &operator<<(ostream &, const NewNet &); -- GitLab