BeliefState.hh

Go to the documentation of this file.

#ifndef __DIADES__AUTOMATA__BELIEFSTATE__HH
#define __DIADES__AUTOMATA__BELIEFSTATE__HH

#include<set>
#include<diades/utils/Assertion.hh>
#include<diades/graph/GraphInt.hh>
#include<diades/graph/GraphNodeSet.hh>
#include<diades/graph/GraphNodeSetTable.hh>


using namespace Diades::Graph;


namespace Diades
{
  namespace Automata
  {
        class BeliefStateInvalid : public runtime_error, public domain_error
        {

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

        };
        
        
        typedef Diades::Graph::Node State;

  
        typedef Diades::Graph::GraphNodeSet::Iterator BeliefStateIterator;

        class Event;
        class Component;


        class BeliefState: public GraphNodeSet
        {

        private:

          const Component & _comp;

        public:

          BeliefState(const Component & comp);

          BeliefState(const Component & comp, State s);

          BeliefState(const Component & comp, const set<State> & s);

          BeliefState(const Component & comp, const unordered_set<State> & s);

          BeliefState(const BeliefState & bs);



          BeliefState & operator=(const BeliefState & bs)
          {
              require(BeliefStateInvalid,&_grph == &bs._grph,
                      "Operator=: the belief state does not have the same graph");
              require(BeliefStateInvalid,&_comp == &bs._comp,
                      "Operator=: the belief state does not have the same component");
                if(&bs != this)
                  {
                    _nodes = bs._nodes;
                  }
                return *this;
          }


          BeliefState * nextBeliefState(Event e) const;

          BeliefState * nextBeliefState(Event e, const set<Event> & ignored) const;



          BeliefState * previousBeliefState(Event e) const;


          bool operator==(const BeliefState & bs) const
          {
                return (&_comp == &bs._comp) &&  GraphNodeSet::operator==(bs);
          }



          const Component & component() const { return _comp; }

          
        };



        


  };

};

#endif /*BELIEFSTATE_HH_*/