Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members | File Members

WallClockInt.H

Go to the documentation of this file.
00001 #ifndef __WALLCLOCKINT_H__
00002 #define __WALLCLOCKINT_H__
00003 
00004 #define OUTSIDE_GLUE_CORE
00005 
00006 #include <fsa/fsa.H>
00007 #include <dev/wall_clock.H>
00008 
00009 class WallClockInt : public Interactor<WallClockInt>
00010 {
00011 protected:
00012   static double _wall_clock_time;
00013   static double _wall_clock_time_delta;
00014   static double _local_time_of_last_update;
00015 
00016 public:
00017   WallClockInt();
00018   virtual ~WallClockInt();
00019   void clock_update( cEVENTWallClockmsgptr &e, STATE *& ); 
00020   
00021   static double time()         { return _wall_clock_time; }
00022   static double time_delta()   { return _wall_clock_time_delta; }
00023 
00024   static double approx_time();
00025 };
00026 
00027 
00028 #endif 

Generated on Thu Jul 8 15:19:29 2004 for inspace by doxygen 1.3.4