MarkingTable.hh

Go to the documentation of this file.

#ifndef __DIADES__PETRI__MARKINGTABLE__HH
#define __DIADES__PETRI__MARKINGTABLE__HH

#include<unordered_map>
#include "Marking.hh"

using std::unordered_map;

namespace Diades
{
  namespace Petri
  {
    class MarkingTable
    {
    private:
      unordered_map<Marking,Graph::Node> _table;
      Graph::Node _null;
      
    public:
      MarkingTable():_table(){}

     
      
      
      const Marking & assign(const Marking & marking, const Graph::Node & node)
      {
        _table[marking] = node;
        return _table.find(marking)->first;
      }
        
      const Graph::Node & get(const Marking & marking) const
      {
        unordered_map<Marking,Graph::Node>::const_iterator it = _table.find(marking);
        if(it==_table.end())
          {
            return _null;
          }
        return it->second;
      }

      unordered_map<Marking,Graph::Node>::const_iterator begin() const
      {
        return _table.begin();
      }
      unordered_map<Marking,Graph::Node>::const_iterator end() const
      {
        return _table.end();
      }

      
    };
    

  };
};



#endif