TimeNet.hh

Go to the documentation of this file.

#ifndef __DIADES__PETRI__TIMENET_HH_
#define __DIADES__PETRI__TIMENET_HH_

#include <sstream>
#include <diades/utils/Interval.hh>
#include <diades/petri/Net.hh>


namespace Diades
{
  using namespace Utils;


namespace Petri
{


class TimeNet : public Petri::Net
{

private:
        Graph::NodeMap< Interval > _time;


public:
        TimeNet():Net(),
        _time(_graph,0,Interval(0,"+oo")){}
    TimeNet(const TimeNet & p1, const TimeNet & p2,
                                 const set<Event> & synchronisation,bool strict = true):Net(p1,p2,synchronisation,strict),
                                                                                                                                                _time()
  {
        _time.init(_graph,0,Interval(0,"+oo",false));
  }

        virtual ~TimeNet() {}

        Transition newTransition(const set<Place> & pre, const set<Place> & post,
                                                         const Event & event, const Interval & interval);
        Transition newTransition(const set<Place> & pre, const set<Place> & post,
                                                         const Event & event, const Interval & interval,
                                                         const string & label);

        const Interval & timeInterval(Transition t) const;
        void setInterval(Transition t, const Interval & interval);

        virtual void net2Dot(const string & fileName) const;
        virtual void net2Tina(const string & fileName) const;

        virtual void clear();

        virtual void tina2Net(const string & fileName);

        virtual void deleteTransition(Transition t)
        { _time[t] = Interval(); Net::deleteTransition(t); }

        virtual Transition duplicateTransition(Transition t)
        {
                Transition result = Net::duplicateTransition(t);
                _time[result]=_time[t];
                return result;
        }

  void setTemporalEvent(Transition t);
  void net2Tina(ostream & os) const;
};
  
  };
};

#endif /*TIMENET_HH_*/