Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00013 #ifndef DURING_ONDEMAND_H
00014 #define DURING_ONDEMAND_H
00015
00016 #include "during-if.h"
00017
00024 class sc_during_ondemand : public sc_during_if {
00025 public:
00026 sc_during_ondemand();
00027
00028 using sc_during_if::during;
00029 using sc_during_if::extra_time;
00030 using sc_during_if::catch_up;
00031
00032 void extra_time(const sc_core::sc_time & t);
00033
00034 void catch_up(const sc_core::sc_time & t);
00035
00036 void sc_call(const boost::function<void()> & f);
00037
00038 void during(const sc_core::sc_time & time, const boost::function<void()> & routine);
00039
00040 virtual ~sc_during_ondemand();
00041
00042 mode get_mode() { return ondemand; }
00043 private:
00044 };
00045
00046 #endif // DURING_ONDEMAND_H