Observations.hh

Go to the documentation of this file.

#ifndef __DIADES__PETRI__OBSERVATIONS__HH__
#define __DIADES__PETRI__OBSERVATIONS__HH__

#include <diades/petri/System.hh>
#include <diades/petri/Marking.hh>

namespace Diades
{
        namespace Petri
        {

                class Observations : public DdNet
                {
                public:

                        Observations() : DdNet()
                        {
                        }
                        Observations(const vector<std::string> & evtSequence, unsigned cycle = 1);
                        
                        virtual ~Observations(){}
                        
                        
                        void observations2Dot(const string & fileName) const;

                        
            virtual Transition newTransition(const set<Place> & pre,
                    const set<Place> & post,
                    const string & name,
                    Event e);

                };
        }
}
#endif /* OBSERVATIONS_HH */