X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/88daa2e6ede543b6db0fa37489e7ba26c2cc5ee8..cad6c60193432c9ec59a758b4932a3bd67382d00:/src/mc/mc_pattern.hpp?ds=sidebyside diff --git a/src/mc/mc_pattern.hpp b/src/mc/mc_pattern.hpp index be02f9839e..a901c14b2d 100644 --- a/src/mc/mc_pattern.hpp +++ b/src/mc/mc_pattern.hpp @@ -12,44 +12,6 @@ namespace simgrid { namespace mc { -enum class PatternCommunicationType { - none = 0, - send = 1, - receive = 2, -}; - -class PatternCommunication { -public: - int num = 0; - RemotePtr comm_addr{nullptr}; - PatternCommunicationType type = PatternCommunicationType::send; - unsigned long src_proc = 0; - unsigned long dst_proc = 0; - const xbt::string* src_host = nullptr; - const xbt::string* dst_host = nullptr; - std::string rdv; - std::vector data; - int tag = 0; - int index = 0; - - PatternCommunication dup() const - { - simgrid::mc::PatternCommunication res; - // num? - res.comm_addr = this->comm_addr; - res.type = this->type; - // src_proc? - // dst_proc? - res.dst_proc = this->dst_proc; - res.dst_host = this->dst_host; - res.rdv = this->rdv; - res.data = this->data; - // tag? - res.index = this->index; - return res; - } -}; - /* On every state, each actor has an entry of the following type. * This represents both the actor and its transition because * an actor cannot have more than one enabled transition at a given time.