1 #ifndef __DIADES__AUTOMATA__XMLTAG__HH__ 2 #define __DIADES__AUTOMATA__XMLTAG__HH__ 7 #include"boost/date_time/posix_time/posix_time.hpp" 37 inline string tinyXmlTag(
const pair<time_duration,Event> & p)
47 std::stringstream stream;
48 stream << t.total_seconds();
const Label & label() const
string tinyXmlText(const Event &e)
string tinyXmlTag(const pair< time_duration, Event > &p)
Namespace of the Diades project.