00001 00004 #ifndef EXECUTION_IMPL_BASIC_H_ 00005 #define EXECUTION_IMPL_BASIC_H_ 00006 00007 #include <execution.h> 00008 #include <execution/timing.h> 00009 00010 Execution * execution_impl_basic_new(); 00011 void execution_impl_basic_init(Timing * timing, Messaging * messaging); 00012 00013 #endif /* EXECUTION_IMPL_BASIC_H_ */