ControlPattern.hh

Go to the documentation of this file.

#ifndef __DIADES__AUTOMATA__CONTROLPATTERN_HH__
#define __DIADES__AUTOMATA__CONTROLPATTERN_HH__
#include <unordered_set>
#include <diades/automata/experimental/StateMachine.hh>

namespace Diades
{
  namespace Automata
  {
    namespace Experimental
    {


      template<typename Fsm>
      class ControlPattern
      {
      public:
        using Event = typename Fsm::EventPropertyId;
        using Events = std::unordered_set<Event>;
        using EventIterator = typename Events::const_iterator; 
        
      private:
        const Fsm & _fsm;
        Events _enabled;
        Events _disabled;
        
      public:

        ControlPattern(const Fsm & fsm):_fsm(fsm),_enabled(),_disabled()
        {
          _enabled.insert(_fsm.eventBegin(),_fsm.eventEnd());
        }

        bool enabled(const Event & e) const
        {
          return  _enabled.find(e) != _enabled.end();
        };
        
        bool disabled(const Event & e) const
        {
          return  _disabled.find(e) != _disabled.end();
        };

        bool unknown(const Event & e) const
        {
          return  !enabled(e) && !disabled(e);
        };

        
        bool enable(const Event & e) 
        {
          if(!_fsm.containsEvent(e))
            {
              return false;
            }
          if(enabled(e))
            {
              return false;
            }
          _disabled.remove(e);
          _enabled.insert(e);
          return true;
        };
        
        bool disable(const Event & e) 
        {
          if(!_fsm.containsEvent(e))
            {
              return false;
            }
          if(disabled(e))
            {
              return false;
            }
          _enabled.erase(e);
          _disabled.insert(e);
          return true;
        };

        EventIterator enabledEventBegin() const
        {
          return _enabled.begin();
        }
        EventIterator enabledEventEnd() const
        {
          return _enabled.begin();
        }
        EventIterator disabledEventBegin() const
        {
          return _disabled.begin();
        }
        EventIterator disabledEventEnd() const
        {
          return _disabled.begin();
        }
        
      };
      
    }
  }
}
#endif /* CONTROLPATTERN_HH */