Unfolding.hh

Go to the documentation of this file.

#ifndef UNFOLDING_H_
#define UNFOLDING_H_

#include<set>
#include<unordered_map>
#include<diades/graph/Graph.hh>
#include<diades/graph/NodeMap.hh>
#include<diades/graph/EdgeMap.hh>
#include<diades/sdmdl/ComponentType.hh>
#include<diades/sdmdl/UnfoldingState.hh>

using namespace std;
using namespace Diades::Graph;

namespace Diades
{

  namespace Sdmdl
  {

        class Unfolding
        {
        private:
          ComponentType * const _comp;  
          Diades::Graph::Graph graph;
          Node initial;
          EdgeMap<string> transLabel;
          NodeMap<string> stateLabel;
          NodeMap<int>    synchronousState;
          set<string> observableEvents;
          map<string,UnfoldingState> _infoOfStateLabel;
        
        public:
          Unfolding(ComponentType & component,  const set<string> & triggerableEvents, 
                                unordered_map<string,string> & dictionnary, const string & name);
          virtual ~Unfolding();
          void unfold( const set<string> & triggerableEvents);
          void writeFile(unordered_map<string,string> & dictionnary, const set<string> & triggerableEvents, const string & name);
          const UnfoldingState & infoOfStateLabel(const string & label) { return _infoOfStateLabel[label]; }
        };

  };
};

#endif /*UNFOLDING_H_*/