DdNet.hh

Go to the documentation of this file.

/* 
 * @file   DdNet.hh
 * @author Yannick Pencolé <yannick.pencole at laas.fr>
 *
 * @date 7 August 2018, 15:31
 */

#ifndef __DIADES__PETRI__DDNET__HH__
#define __DIADES__PETRI__DDNET__HH__

#include <unordered_set>
#include <diades/petri/LabelledPrioritizedNet.hh>


namespace Diades
{
        namespace Petri
        {

                class DdNet: public LabelledPrioritizedNet
                {
                protected:
                        std::unordered_set<Event> _observables;
                        std::unordered_set<Event> _unobservables;
                        vector<Marking> _finalMarkings;
        
                public:
                        DdNet();
                        
                        virtual ~DdNet(){}
                        
                        virtual void ddNet2Dot(const string & fileName) const;

                        virtual void
                        setObservable(Event e)
                        {
                                _observables.insert(e);
                                _unobservables.erase(e);
                        }

                        void
                        setNonObservable(Event e)
                        {
                                _observables.erase(e);
                                _unobservables.insert(e);
                        }

                        bool
                        isObservable(const Event e) const
                        {
                                return _observables.find(e) != _observables.end();
                        }

                        
                        virtual ostream & toDdnet(ostream & os) const;
                        
                        const unordered_set<Event> & observables() const
                        {
                                return _observables;
                        }
                        
                        const unordered_set<Event> & unobservables() const
                        {
                                return _unobservables;
                        }
                        
                        virtual Marking &
                        newFinalMarking()
                        {
                                _finalMarkings.emplace_back();
                                return _finalMarkings.back();
                        }

                        const vector<Marking> &
                        finalMarkings() const
                        {
                                return _finalMarkings;
                        }
        
                        
        
                        
                                        void
                ddNet2Dot(ostream & os) const;
                        
                };
        }
}


#endif /* __DIADES__PETRI__DDNET__HH__ */