AutomataConversion.hh

Go to the documentation of this file.

#ifndef __DIADES__PETRI__AUTOMATACONVERSION__HH
#define __DIADES__PETRI__AUTOMATACONVERSION__HH

#include <vector>
#include <diades/utils/Exceptions.hh>
#include <diades/automata/ObservableComponent.hh>
#include <diades/automata/SynchronisationRules.hh>
#include <diades/petri/Net.hh>


namespace Diades
{
  namespace Petri
  {
        using Automata::ObservableComponent;
        using Automata::SynchronisationRules;
        using Utils::FunctionException;
        
        void automataConversion(const std::vector< std::reference_wrapper<const ObservableComponent> > & automata,
                                                        const SynchronisationRules & sync,

                                                        Net & result);


        template<typename ConstReferenceIterator>
        void automataConversion(ConstReferenceIterator begin, ConstReferenceIterator end,
                                                        const SynchronisationRules & sync,

                                                        Net & result)

        {
          typedef std::vector< std::reference_wrapper<const ObservableComponent> > RefVector;
          RefVector automata;
          while(begin != end)
                {
                  automata.push_back(*begin);
                  ++begin;
                }
          if(automata.empty())
                {
                  throw FunctionException("automataConversion","empty range of automata.");
                }
          automataConversion(automata,sync,result);
        }


  };
};



#endif