Union.hh

Go to the documentation of this file.

#ifndef __DIADES__AUTOMATA__EXPERIMENTAL__UNION__HH__
#define __DIADES__AUTOMATA__EXPERIMENTAL__UNION__HH__
#include<diades/utils/Pointer.hh>
#include<diades/utils/IdGenerators.hh>
#include<diades/automata/experimental/Event.hh>
#include<diades/automata/experimental/EventInserter.hh>
#include<diades/automata/experimental/StateInserter.hh>
#include<diades/automata/experimental/TransitionInserter.hh>
#include<diades/automata/experimental/StatePropertyManager.hh>

namespace Diades
{
   namespace Automata
   {
      namespace Experimental
      {

         template<typename TransInserter>
         void
         insertTransitions(TransInserter & inserter)
         { 
             // first insert all the states as some may no be source or target of
             // transitions
             std::for_each(inserter.source().stateBegin(),
                     inserter.source().stateEnd(),
                     [&](typename TransInserter::State s)
                     {
                        inserter.insertState(s); 
                     });
            // then insert the transitions
            std::for_each(inserter.source().transitionBegin(),
                          inserter.source().transitionEnd(),
                          [&](typename TransInserter::Transition t)
                          {
                             inserter.insertTransition(t);
                          });
         }

         template<typename TransInserterIterator>
         void
         insertRangeOfTransitions(TransInserterIterator begin, TransInserterIterator end)
         {
            while(begin != end)
            {
               insertTransitions(*begin);
               ++begin;
            }
         }
      }
   }
}



#endif /* __DIADES__AUTOMATA__EXPERIMENTAL__UNION__HH__ */