SystemPattern.hh

Go to the documentation of this file.

#ifndef __DIADES_PETRI_SYSTEMPATTERN__HH__
#define __DIADES_PETRI_SYSTEMPATTERN__HH__

#include<diades/petri/DdNet.hh>
#include<diades/petri/System.hh>
#include<diades/petri/Pattern.hh>

namespace Diades
{
        namespace Petri
        {

                class SystemPattern : public DdNet
                {
                
                public:
                        SystemPattern(const System & system,
                                                  const Pattern & pattern);

                        void systemPattern2Dot(const string & fileName) const;

                        
                };



        };
};









#endif