---

WallClockInt.H

Go to the documentation of this file.

#ifndef __WALLCLOCKINT_H__
#define __WALLCLOCKINT_H__

#define OUTSIDE_GLUE_CORE

#include <fsa/fsa.H>
#include <dev/wall_clock.H>

class WallClockInt : public Interactor<WallClockInt>
{
protected:
  static double _wall_clock_time;
  static double _wall_clock_time_delta;
public:
  WallClockInt();
  virtual ~WallClockInt();
  void clock_update( cEVENTWallClockmsgptr &e, STATE *& ); 
  
  static double time()         { return _wall_clock_time; }
  static double time_delta()   { return _wall_clock_time_delta; }
};


#endif 

---