*/
std::vector<simgrid::s4u::ActorPtr> rank_to_actor_map_;
std::map<simgrid::s4u::ActorPtr, int> actor_to_rank_map_;
*/
std::vector<simgrid::s4u::ActorPtr> rank_to_actor_map_;
std::map<simgrid::s4u::ActorPtr, int> actor_to_rank_map_;
explicit Group(Group* origin);
void set_mapping(simgrid::s4u::ActorPtr actor, int rank);
explicit Group(Group* origin);
void set_mapping(simgrid::s4u::ActorPtr actor, int rank);