00001 00003 /* 00004 **************************************************** 00005 Convenience header file that includes all headers 00006 relevant to the timed plugin. The make system will 00007 append an include directive for this file to the 00008 "allplugins.h" include file. 00009 00010 (c) Thomas Moor 2007 00011 **************************************************** 00012 */ 00013 00014 #ifndef FAUDES_TP_INCLUDE_H 00015 #define FAUDES_TP_INCLUDE_H 00016 00017 #include "tp_timeinterval.h" 00018 #include "tp_timeconstraint.h" 00019 #include "tp_attributes.h" 00020 #include "tp_tgenerator.h" 00021 #include "tp_tparallel.h" 00022 00023 00024 00025 #endif 00026 00027 00028