-/* Copyright (c) 2010-2018. The SimGrid Team.
+/* Copyright (c) 2010-2019. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
*/
std::vector<simgrid::s4u::ActorPtr> rank_to_actor_map_;
std::map<simgrid::s4u::ActorPtr, int> actor_to_rank_map_;
+ std::vector<int> index_to_rank_map_;
int refcount_;
public:
explicit Group(Group* origin);
void set_mapping(simgrid::s4u::ActorPtr actor, int rank);
+ int rank(int index);
simgrid::s4u::ActorPtr actor(int rank);
int rank(const simgrid::s4u::ActorPtr process);
void ref();