00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015 #ifndef CONFIG_INTERVAL_H
00016 #define CONFIG_INTERVAL_H
00017
00018 #include "directbase.h"
00019 #include "notifyCategoryProxy.h"
00020 #include "dconfig.h"
00021 #include "configVariableDouble.h"
00022 #include "configVariableBool.h"
00023
00024 NotifyCategoryDecl(interval, EXPCL_DIRECT, EXPTP_DIRECT);
00025
00026 extern ConfigVariableDouble interval_precision;
00027 extern EXPCL_DIRECT ConfigVariableBool verify_intervals;
00028
00029 extern EXPCL_DIRECT void init_libinterval();
00030
00031 #endif