src/simulator/realtime-simulator-impl.h
changeset 3566 b96af8dc8abf
parent 3565 e0a429cb5811
child 3650 516c4f22d251
equal deleted inserted replaced
3565:e0a429cb5811 3566:b96af8dc8abf
    59 
    59 
    60   RealtimeSimulatorImpl ();
    60   RealtimeSimulatorImpl ();
    61   ~RealtimeSimulatorImpl ();
    61   ~RealtimeSimulatorImpl ();
    62 
    62 
    63   void Destroy ();
    63   void Destroy ();
    64 
       
    65   void EnableLogTo (char const *filename);
       
    66 
    64 
    67   bool IsFinished (void) const;
    65   bool IsFinished (void) const;
    68   Time Next (void) const;
    66   Time Next (void) const;
    69   void Stop (void);
    67   void Stop (void);
    70   void Stop (Time const &time);
    68   void Stop (Time const &time);