Pattern.hh

Go to the documentation of this file.

#ifndef __DIADES_PETRI_PATTERN__HH__
#define __DIADES_PETRI_PATTERN__HH__

#include<diades/petri/DdNet.hh>

namespace Diades
{
        namespace Petri
        {

                class Pattern : public DdNet
                {
                protected:
                        string _seltFormula;
                private:



                public:

                        Pattern() : DdNet(), _seltFormula()
                        {
                                _finalMarkings.reserve(100);
                        }


                        void pattern2Dot(const string & fileName) const;

                        
                        const string &
                        seltFormula() const
                        {
                                return _seltFormula;
                        }


                        void computeSeltFormula();

                        
                        virtual void setObservable(Event e)
                        {
                                always_require(Exception,false,"setObservable: attempt to set an observable event in a Pattern. It might be due to the fact that you are trying to read a ddnet file and interpret as a Pattern.");
                        }
                };



        };
};









#endif