diades/html/Projection_8hh_source.html

 #ifndef __DIADES__AUTOMATA__PROJECTION__HH
 #define __DIADES__AUTOMATA__PROJECTION__HH

 #include<diades/utils/Exceptions.hh>
 #include<diades/automata/Trace.hh>

 namespace Diades
 {
   namespace Automata
   {

         void project(const Trace & source, const set<Event::Id> & projectedEvents, Trace & target);

   };

 };


 #endif
Diades::Automata::project
void project(const Trace &source, const set< Event::Id > &projectedEvents, Trace &target)

Exceptions.hh

Trace.hh

Diades
Namespace of the Diades project.