StateTable.hh

Go to the documentation of this file.

#ifndef __DIADES__AUTOMATA__STATETABLE__HH
#define __DIADES__AUTOMATA__STATETABLE__HH


#include <vector>
#include <diades/utils/Assertion.hh>
#include <diades/graph/Graph.hh>




using namespace std;
using namespace Diades::Graph;
namespace Diades
{
  namespace Automata
  {

        typedef Node State;

        class StateTableInvalid : public runtime_error, public domain_error
        {
        
        public:
          StateTableInvalid(const string& whatArg) : runtime_error(whatArg),  domain_error(whatArg)
          {
                cerr << "EXCEPTION StateTable -> " << whatArg << endl;
          }
        };







  
        class StateNode
        {
        private:
          State _state;  // state associated to the node
          StateNode * _down;
          //    StateNode **  _array; // array of nodes associated to the current node
          //                                  // _array must contain StateNodes associated to
          //                                  // another and unique graph
          //                                  // the size of the array depends on this graph
          //    unsigned _size;
          vector<StateNode *> _array;
        
        
        public:

          StateNode(State s, unsigned size);
          ~StateNode();
          void setState(State s) { _state = s; }
          State getState() const { return _state; }
          StateNode * getSynchronisedState() const { return _array[0]; }
          StateNode * getNext(State s) const;
          StateNode * setNext(State s, unsigned size);
          StateNode * setNext(State s, const Graph::Graph & graph);
          StateNode * getDown() const { return _down; }
          void setDown(StateNode * down) { _down = down; }
          void printNode(int tabNb) const;
        };
  
  

        class StateTable
        {
        private:
          vector<StateNode *> _roots;
        
        public:
        
          StateTable(unsigned size):_roots(size){}



          ~StateTable();
        


          State insert(const vector<State> & states, State synchronisedState);


        


          State getSynchronisedState(const  vector<State> & states) const;

        
          void printTable() const;
        };

  

  };

};



#endif