| 7 | using namespace aff3ct::module; |
| 8 | |
| 9 | Monitor ::Monitor() |
| 10 | : spu::module::Stateful() |
| 11 | { |
| 12 | const std::string name = "Monitor"; |
| 13 | this->set_name(name); |
| 14 | this->set_short_name(name); |
| 15 | |
| 16 | this->tasks_with_nullptr.resize((size_t)mnt::tsk::SIZE); |
| 17 | } |
| 18 | |
| 19 | Monitor* |
| 20 | Monitor ::clone() const |