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