+namespace simgrid {
+namespace mc {
+
+State::State()
+{
+ std::memset(&this->internal_comm, 0, sizeof(this->internal_comm));
+ std::memset(&this->internal_req, 0, sizeof(this->internal_req));
+ std::memset(&this->executed_req, 0, sizeof(this->executed_req));
+}
+
+State::~State()
+{
+ xbt_free(this->index_comm);
+ xbt_free(this->incomplete_comm_pattern);
+ xbt_free(this->proc_status);
+}
+
+}
+}
+