Chronicle.hh

Go to the documentation of this file.

#ifndef __DIADES__PETRI__CHRONICLE_HH_
#define __DIADES__PETRI__CHRONICLE_HH_

#include <fstream>
#include <diades/utils/Exceptions.hh>
#include <diades/utils/Box.hh>
#include <diades/petri/TimeNet.hh>
#include <diades/petri/PriorityPetriNet.hh>

namespace Diades
{
  using namespace Utils;
  
  namespace Petri
  {
        class Chronicle : public TimeNet, public PriorityPetriNet
        {
        public:
          static std::string typeName() { return "Chronicle"; }
          typedef Diades::Utils::Exception<Chronicle> Exception;
          typedef enum {Basic,Sequence,Divergence,Convergence} ChronicleType;
          typedef Diades::Utils::Box<Chronicle const> ChronicleBox;
          
        private:
          set<Place> _oks;
          set<Place> _kos;
          set<Place> _init;
          ChronicleType _type;
        public:

          ChronicleType type() const
          {
                return _type;
          }
          Chronicle();
          Chronicle(const Event & event,int minTime);
          Chronicle(const Event & event, int minTime, int maxTime, bool presence);
          Chronicle(const vector< ChronicleBox > & chronicles, ChronicleType type);

        private:
          void sequence(const vector< ChronicleBox > & chronicles);
          void divergence(const vector< ChronicleBox > & chronicles);
          void convergence(const vector< ChronicleBox > & chronicles);
          
          

        public:

          TimeNet::PlaceIterator beginOfPlaces() const
          {
                return TimeNet::beginOfPlaces();
          }
          
          TimeNet::PlaceIterator endOfPlaces() const
          {
                return TimeNet::endOfPlaces();
          }
          TimeNet::TransitionIterator beginOfTransitions() const
          {
                return TimeNet::beginOfTransitions();
          }
          
          TimeNet::TransitionIterator endOfTransitions() const
          {
                return TimeNet::endOfTransitions();
          }
          const string & labelOfPlace(Place p) const
          {
                return TimeNet::labelOfPlace(p);
          }

          TimeNet::ConstIterator preBegin(const Transition & transition) const
          {
                return TimeNet::preBegin(transition);
          }
          
          TimeNet::ConstIterator preEnd(const Transition & transition) const
          {
                return TimeNet::preEnd(transition);
          }
          
          TimeNet::ConstIterator postBegin(const Transition & transition) const
          {
                return  TimeNet::postBegin(transition);
          }

          
          TimeNet::ConstIterator postEnd(const Transition & transition) const
          {
                return TimeNet::postEnd(transition);
          }

          const Event & getEvent(Transition t) const
          {
                return TimeNet::getEvent(t);
          }


          size_t numberOfTransitions() const
          {
                return TimeNet::numberOfTransitions();
          }

          size_t numberOfPlaces() const
          {
                return TimeNet::numberOfPlaces();
          }

          
          void setOk(Place p)
          {
                _kos.erase(p);
                _oks.insert(p);
          }
          bool isOk(Place p) const
          {
                return _oks.find(p) != _oks.end();
          }

          void setKo(Place p)
          {
                _oks.erase(p);
                _kos.insert(p);
          }
          bool isKo(Place p) const
          {
                return _kos.find(p) != _kos.end();
          }

          const set<Place> & init() const
          {
                return _init;
          }

          void setInit(Place p)
          {
                _init.insert(p);
          }


          bool isInit(Place p) const
          {
                return _init.find(p) != _init.end();
          }


         
          virtual void net2Tina(ostream & os) const;

          virtual void net2Tina(const string & name) const
          {
                ofstream file(name.c_str());
                net2Tina(file);
                file.close();
          }
          
          virtual void net2Dot(const string & name) const;


          static vector<Chronicle *> _chronicles;

          static Chronicle & event(const Event & event,int minTime);
          static Chronicle & event(const Event & event, int minTime, int maxTime);
          static Chronicle & noevent(const Event & event, int minTime, int maxTime);

          static Chronicle & div(const vector< ChronicleBox > & chronicles);
          static Chronicle & div(const Chronicle & ch1, const Chronicle & ch2);
          static Chronicle & div(const Chronicle & ch1, const Chronicle & ch2,
                                                         const Chronicle & ch3);
          static Chronicle & div(const Chronicle & ch1, const Chronicle & ch2,
                                                         const Chronicle & ch3, const Chronicle & ch4);
          static Chronicle & div(const Chronicle & ch1, const Chronicle & ch2,
                                                         const Chronicle & ch3, const Chronicle & ch4,
                                                         const Chronicle & ch5);
          static Chronicle & conv(const vector< ChronicleBox > & chronicles);
          static Chronicle & conv(const Chronicle & ch1, const Chronicle & ch2);
          static Chronicle & conv(const Chronicle & ch1, const Chronicle & ch2,
                                                          const Chronicle & ch3);
          static Chronicle & conv(const Chronicle & ch1, const Chronicle & ch2,
                                                          const Chronicle & ch3, const Chronicle & ch4);
          static Chronicle & conv(const Chronicle & ch1, const Chronicle & ch2,
                                                          const Chronicle & ch3, const Chronicle & ch4,
                                                          const Chronicle & ch5);
 
          static Chronicle & seq(const Chronicle & ch1, const Chronicle & ch2);
          static Chronicle & seq(const Chronicle & ch1, const Chronicle & ch2,
                                                          const Chronicle & ch3);
          static Chronicle & seq(const Chronicle & ch1, const Chronicle & ch2,
                                                         const Chronicle & ch3, const Chronicle & ch4);
          static Chronicle & seq(const Chronicle & ch1, const Chronicle & ch2,
                                                         const Chronicle & ch3, const Chronicle & ch4,
                                                         const Chronicle & ch5);


          static Chronicle & seq(const vector< ChronicleBox > & chronicles);
          static Chronicle & comb(Chronicle::ChronicleType type, const Chronicle & ch1, const Chronicle & ch2);
          static Chronicle & comb(Chronicle::ChronicleType type, const Chronicle & ch1, const Chronicle & ch2,
                                                          const Chronicle & ch3);
          static Chronicle & comb(Chronicle::ChronicleType type, const Chronicle & ch1, const Chronicle & ch2,
                                                          const Chronicle & ch3, const Chronicle & ch4);
          static Chronicle & comb(Chronicle::ChronicleType type, const Chronicle & ch1, const Chronicle & ch2,
                                                          const Chronicle & ch3, const Chronicle & ch4,
                                                          const Chronicle & ch5);
          static Chronicle & comb(Chronicle::ChronicleType type,const vector< ChronicleBox > & chronicles);

          static void destroy();
        };
  };
};


#endif