BranchingProcess.hh

Go to the documentation of this file.

#ifndef __DIADES__PETRI__BRANCHINGPROCESS_HH_
#define __DIADES__PETRI__BRANCHINGPROCESS_HH_

#include <diades/utils/Exceptions.hh>
#include <diades/utils/Box.hh>
#include <diades/petri/Net.hh>
#include <diades/petri/Extensions.hh>



namespace Diades
{
  namespace Petri
  {
        class Configuration;
        
        
        class BranchingProcess: public Net
        {
        public:
          typedef Place Condition;

          typedef Transition Event;


          
        private:
          typedef Diades::Utils::Box<Net> NetBox;

          
        public:
          static string typeName() { return "Diades::Petri::BranchingProcess"; }

          typedef Diades::Utils::Exception<BranchingProcess> Exception;


        private:
          NetBox _net;

          Diades::Graph::ConstNodeMap<Place> _bmap;
          


          set<Condition> _min;


          set<Condition> _max;




          set<Transition> _involvedTransitions;






          Diades::Graph::ConstNodeMap<Extensions> _possibleExtensions;


          
        public:
          BranchingProcess();


          BranchingProcess(Net & net);



          void setNet(Net & net);




          Net & net() 
          {
                return _net.obj();
          }


          void initProcess();


          void clear();

          const set<BranchingProcess::Condition> & min() const
          {
                return _min;
          }


          const set<BranchingProcess::Condition> & max() const
          {
                return _max;
          }


          void unfold();



          void getPossibleExtensions(Extensions & extensions);


          Event addExtension(const Extension & extension);
          


          bool isCutOff(const Event & e) const; 



          Configuration configuration(set<Event> & events) const;
          
        };
  };
};




#endif