TimeReachabilityGraph.hh

Go to the documentation of this file.

#ifndef __DIADES__PETRI__TIMEREACHABILITYGRAPH__HH
#define __DIADES__PETRI__TIMEREACHABILITYGRAPH__HH

#include <string>
#include <set>
#include <unordered_map>
#include <diades/utils/Exceptions.hh>
#include <diades/utils/Interval.hh>
#include <diades/graph/Graph.hh>
#include <diades/graph/NodeMap.hh>
#include <diades/graph/EdgeMap.hh>
#include <diades/petri/ReachabilityGraph.hh>

using namespace std;

namespace Diades
{
  namespace Petri
  {
        class TimeReachabilityGraph: public ReachabilityGraph
        {
        public:
          static string typeName() { return "Diades::Petri::TimeReachabilityGraph"; }
          typedef Diades::Utils::Exception<TimeReachabilityGraph> Exception;
          typedef Diades::Graph::NodeMap< unordered_map< string,Diades::Utils::Interval> > TimeConstraints;
          typedef unordered_map< string,Diades::Utils::Interval>::const_iterator TimeConstraintsIterator;
        private:
          TimeConstraints _constraints;
          
        public:
          TimeReachabilityGraph(): ReachabilityGraph(),_constraints()
          {
              _constraints.init(graph());
          }
          virtual ~TimeReachabilityGraph()
          {}
          virtual void addTimeConstraint(RState state, const string & transitionName,
                                                                         const Diades::Utils::Interval & interval)
          {
                require(Exception,state.valid() && &state.owner() == &graph(),"addTimeConstraint: invalid state");
                require(Exception,!transitionName.empty(),"addTimeConstraint: empty label");      
                _constraints[state][transitionName] = interval;
          }

          TimeConstraintsIterator constraintBegin(RState state) const
          {
                require(Exception,state.valid() && &state.owner() == &graph(),"addTimeConstraint: invalid state");
                return _constraints[state].begin();
          }
          
          

          TimeConstraintsIterator constraintEnd(RState state) const
          {
                require(Exception,state.valid() && &state.owner() == &graph(),"addTimeConstraint: invalid state");
                return _constraints[state].end();
          }
          
          

          virtual bool exportGraphToDot(const string & fileDot);

        };

  };
};

#endif