diff --git a/src/NewNet.cpp b/src/NewNet.cpp index 7ba29cf236d0c9aebf5e6b9f838f81daecb05435..3b7664c5b7229f867b3769ddf8e94f1efed63c5b 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 5a75757e0363086f24364a7197f230300f207fce..3f3e3f524129ff069bb8cb06bb9a4581eb81e2b7 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 &);