EventOccurrence.hh

Go to the documentation of this file.

#ifndef __DIADES__AUTOMATA__EVENTOCCURRENCE_HH_
#define __DIADES__AUTOMATA__EVENTOCCURRENCE_HH_


#include<boost/date_time/posix_time/posix_time.hpp>
#include<map>
#include"Event.hh"

namespace Diades
{
  namespace Automata
  {

        typedef std::pair< boost::posix_time::time_duration, Event > EventOccurrence;

  };
};


#endif