MarkingGraph.hh

Go to the documentation of this file.

#ifndef __DIADES__PETRI_MARKINGGRAPH__HH__
#define __DIADES__PETRI_MARKINGGRAPH__HH__
#include<diades/graph/EdgeMap.hh>
#include<diades/graph/Graph.hh>
#include<diades/petri/MarkingTable.hh>
#include<diades/petri/TwinPattern.hh>

namespace Diades
{
  namespace Petri
  {

    class MarkingGraph: public Diades::Graph::Graph
    {
    private:
      MarkingTable _table;
      const TwinPattern & _net;
      Diades::Graph::EdgeMap<std::string> _edgeLabel;
    public:
      MarkingGraph(const TwinPattern & net):_net(net),_edgeLabel()
      {
        
        _edgeLabel.init(*this);
      }

      ~MarkingGraph() {  }
      
      const TwinPattern & net() const { return _net; }

      
      MarkingTable & table()
      {
        return _table;
      }

      const MarkingTable & table() const
      {
        return _table;
      }
      
       Diades::Graph::Edge newEdge( Diades::Graph::Node source, Diades::Graph::Node target,const string & label)
      {
         Diades::Graph::Edge edge = Diades::Graph::Graph::newEdge(source,target);
        _edgeLabel[edge] = label;
        return edge;
      }
      void markingGraph2Dot(const string & filename);
    };
    

  };
};




#endif