StatePropertyManager.hh

Go to the documentation of this file.

/*
 * @file StatePropertyManager.hh
 * @author Yannick Pencolé, ypencole@laas.fr, LAAS-CNRS,Univ. Toulouse
 *
 * Created on November, 2nd 2017, 18:22
 */

#ifndef __DIADES_AUTOMATA_EXPERIMENTAL_STATEPROPERTYMANAGER_HH
#define __DIADES_AUTOMATA_EXPERIMENTAL_STATEPROPERTYMANAGER_HH
#include <limits>
#include <cstddef>
#include<unordered_map>
#include<vector>
#include <numeric>  

#include <diades/utils/Iterator.hh>
#include <diades/utils/Exceptions.hh>
#include <diades/utils/Assertion.hh>
#include <diades/utils/Verbose.hh>
#include <diades/utils/InfoManager.hh>
#include <diades/automata/experimental/StateMachine.hh>

namespace Diades
{
   namespace Automata
   {
      namespace Experimental
      {
         using Diades::Utils::Msg;

         using StatePropertyAsStringLabel = std::string;

         using StatePropertyAsUnsigned = unsigned;

         template<typename _StateProperty, typename charT, charT sep, typename BinaryDisjunction, typename Delimiter>
         class DiGraphComponentStartingWith
         {
         public:
            using StateProperty = _StateProperty;

            template<typename StatePropertyIterator>
            StateProperty operator()(StateProperty source, StatePropertyIterator begin, StatePropertyIterator end)
            {
               StateProperty disj;
               if(begin != end)
               {
                  disj = std::accumulate(++begin, end, *begin, BinaryDisjunction());
               }
               return Delimiter()(source + sep + disj);
            }
         };

         using Diades::Utils::NullValue;
         using Diades::Utils::InfoManager;
         
         template<typename _StateProperty,
         typename _StatePropertyId,
         typename NullStProperty = NullValue<_StateProperty>,
         typename NullStPropertyId = NullValue<_StatePropertyId>,
         typename Hash = std::hash<_StateProperty> >
         class StatePropertyManager :
         public InfoManager<_StateProperty,
         _StatePropertyId,
         NullStProperty,
         NullStPropertyId,
         Hash>
         {
         public:
            using IM = InfoManager<_StateProperty,
                    _StatePropertyId,
                    NullStProperty,
                    NullStPropertyId,
                    Hash>;
            using StateProperty = typename IM::Info;
            using StatePropertyId = typename IM::InfoId;

            static string
            typeName()
            {
               return "Diades::Automata::Experimental::StatePropertyManager";
            }
            using Exception = Diades::Utils::Exception<StatePropertyManager>;


           


         private:

            using StatePropertyIdIterator = typename IM::InfoIdIterator;




           

         public:




            StatePropertyManager() = default;


            StatePropertyManager(StatePropertyManager const& other) = default;

            StatePropertyManager& operator=(StatePropertyManager const& other) = default;
          
            
            
            
            StatePropertyManager(StatePropertyManager&& other) = default;
            StatePropertyManager& operator=(StatePropertyManager&& other) = default;

            virtual ~StatePropertyManager() = default;

            bool
            hasStateProperty(const StateProperty & stateProperty) const
            {
               return IM::hasInfo(stateProperty);
            }

            bool
            hasStatePropertyId(StatePropertyId id) const
            {
               return IM::hasInfoId(id);
            }

            bool
            setStateProperty(const StateProperty & stateProperty, StatePropertyId id)
            {
               
               return IM::setInfo(stateProperty,id);
            }

            StatePropertyId
            statePropertyId(const StateProperty & stateProperty)
            {
               return IM::infoId(stateProperty);
            }

            const StateProperty &
            getStateProperty(StatePropertyId id) const
            {
               return IM::getInfo(id);
            }

//            /**
//             * 
//             * @param iterator a StateInfoIdIterator (whatever iterator which refers to a StateInfoId)
//             * @return an iterator on the StateInfo from the StateInfoId range
//             * @p here is how to use this. Suppose you have a range of StateInfoId begin,end
//             * from the current manager, then  stateInfoIdRangeStateInfoIterator(begin), 
//             * stateInfoIdRangeStateInfoIterator(end) is the corresponding StateInfo Range. 
//             */
//            template<typename StatePropertyIdIterator>
//            typename IM::InfoIdRangeInfoIterator
//            statePropertyIdRangeStatePropertyIterator(StatePropertyIdIterator iterator) const
//            {
//               return IM::infoIdRangeInfoIterator(iterator);
//            }

            size_t
            numberOfStateProperties() const
            {
               return IM::numberOfInfos();
            }
         };
      }
   }
}





#endif /* __DIADES_AUTOMATA_EXPERIMENTAL_STATEINFOMANAGER_HH */